FormalMoss, seriously.

FormalMoss, seriously :)

First seen on Oct 19, 2014 and last seen on Aug 9, 2022.

FormalMoss typed 5,344 lines on #limittheory – an average of 43 lines per day.
Most active day was Jan 29, 2018 with a total of 236 lines typed.

Activity

Activity Distribution by Hour
2.7%	2.3%	4.7%	3.6%	3.9%	7.1%	8.4%	12%	11%	12%	9.5%	5.6%	3.2%	3.8%	2.3%	0.4%	1.1%	0.2%	0.8%	0.8%	1.2%	0.6%	0.9%	1.4%
0h	1h	2h	3h	4h	5h	6h	7h	8h	9h	10h	11h	12h	13h	14h	15h	16h	17h	18h	19h	20h	21h	22h	23h

Activity Distribution by Day
12%	12%	10%	20%	15%	18%	14%
Mon	Tue	Wed	Thu	Fri	Sat	Sun

Activity by Year
391	762	1309	864	1784	n/a	233	n/a	1	n/a	n/a	n/a
'14	'15	'16	'17	'18	'19	'20	'21	'22	'23	'24	'25

Rankings

Rankings
Rank			Lines		Percentage		Lines/Day		Activity		Top Day
65		Dec 2025	5,344		0.13%		43.1		3.62%		n/a
65		Nov 2025	5,344		0.13%		43.1		3.62%		n/a
65		Oct 2025	5,344		0.13%		43.1		3.62%	-0.01	n/a
65		Sep 2025	5,344		0.13%		43.1		3.63%	-0.01	n/a
65		Aug 2025	5,344		0.13%		43.1		3.64%	-0.01	n/a
65		Jul 2025	5,344		0.13%		43.1		3.65%		n/a
65		Jun 2025	5,344		0.13%		43.1		3.65%	-0.01	n/a
65		May 2025	5,344		0.13%		43.1		3.66%		n/a
65		Apr 2025	5,344		0.13%		43.1		3.66%	-0.01	n/a
65		Mar 2025	5,344		0.13%		43.1		3.67%	-0.01	n/a
65		Feb 2025	5,344		0.13%		43.1		3.68%		n/a
65		Jan 2025	5,344		0.13%		43.1		3.68%	-0.01	n/a
65		Dec 2024	5,344		0.13%		43.1		3.69%	-0.01	n/a
65		Nov 2024	5,344		0.13%		43.1		3.70%		n/a
65		Oct 2024	5,344		0.13%		43.1		3.70%		n/a
65		Sep 2024	5,344		0.13%		43.1		3.70%	-0.01	n/a
65		Aug 2024	5,344		0.13%		43.1		3.71%	-0.01	n/a
65		Jul 2024	5,344		0.13%		43.1		3.72%	-0.01	n/a
65		Jun 2024	5,344		0.13%		43.1		3.73%	-0.02	n/a
65		May 2024	5,344		0.13%		43.1		3.75%	-0.02	n/a
65		Apr 2024	5,344		0.13%		43.1		3.77%	-0.03	n/a
65		Mar 2024	5,344		0.13%		43.1		3.80%	-0.03	n/a
65		Feb 2024	5,344		0.13%		43.1		3.83%	-0.03	n/a
65		Jan 2024	5,344		0.13%		43.1		3.86%	-0.02	n/a
65		Dec 2023	5,344		0.13%		43.1		3.88%		n/a
65		Nov 2023	5,344		0.13%		43.1		3.88%	-0.01	n/a
65		Oct 2023	5,344		0.13%		43.1		3.89%	-0.02	n/a
65		Sep 2023	5,344		0.13%		43.1		3.91%	-0.03	n/a
65		Aug 2023	5,344		0.13%		43.1		3.94%	-0.03	n/a
65		Jul 2023	5,344		0.13%		43.1		3.97%	-0.03	n/a
65		Jun 2023	5,344		0.13%		43.1		4.00%	-0.03	n/a
65		May 2023	5,344		0.13%		43.1		4.03%	-0.04	n/a
65		Apr 2023	5,344		0.13%		43.1		4.07%	-0.03	n/a
65		Mar 2023	5,344		0.13%		43.1		4.10%	-0.03	n/a
65		Feb 2023	5,344		0.13%		43.1		4.13%	-0.04	n/a
65		Jan 2023	5,344		0.13%		43.1		4.17%	-0.04	n/a
65		Dec 2022	5,344		0.13%		43.1		4.21%	-0.03	n/a
65		Nov 2022	5,344		0.13%		43.1		4.24%	-0.04	n/a
65		Oct 2022	5,344		0.13%		43.1		4.28%	-0.03	n/a
65		Sep 2022	5,344		0.13%		43.1		4.31%	-0.04	n/a
65		Aug 2022	5,344	+1	0.13%		43.1	-0.3	4.35%	-0.01	1
65		Jul 2022	5,343		0.13%		43.4		4.36%	-0.04	n/a
65		Jun 2022	5,343		0.13%		43.4		4.40%	-0.05	n/a
65		May 2022	5,343		0.13%		43.4		4.45%	-0.04	n/a
65		Apr 2022	5,343		0.13%		43.4		4.49%	-0.05	n/a
65		Mar 2022	5,343		0.13%		43.4		4.54%	-0.05	n/a
65		Feb 2022	5,343		0.13%		43.4		4.59%	-0.05	n/a
65		Jan 2022	5,343		0.13%		43.4		4.64%	-0.05	n/a
65		Dec 2021	5,343		0.13%		43.4		4.69%	-0.06	n/a
65		Nov 2021	5,343		0.13%		43.4		4.75%	-0.05	n/a
65		Oct 2021	5,343		0.13%		43.4		4.80%	-0.06	n/a
65		Sep 2021	5,343		0.13%		43.4		4.86%	-0.06	n/a
65		Aug 2021	5,343		0.13%		43.4		4.92%	-0.06	n/a
65		Jul 2021	5,343		0.13%		43.4		4.98%	-0.07	n/a
65		Jun 2021	5,343		0.13%		43.4		5.05%	-0.06	n/a
65		May 2021	5,343		0.13%		43.4		5.11%	-0.06	n/a
65		Apr 2021	5,343		0.13%		43.4		5.17%	-0.07	n/a
65		Mar 2021	5,343		0.13%		43.4		5.24%	-0.07	n/a
65		Feb 2021	5,343		0.13%		43.4		5.31%	-0.07	n/a
65		Jan 2021	5,343		0.13%		43.4		5.38%	-0.07	n/a
65		Dec 2020	5,343		0.13%		43.4		5.45%	-0.08	n/a
65		Nov 2020	5,343		0.13%		43.4		5.53%	-0.07	n/a
65		Oct 2020	5,343		0.13%		43.4		5.60%	-0.08	n/a
65		Sep 2020	5,343		0.13%		43.4		5.68%	-0.08	n/a
65		Aug 2020	5,343		0.13%	-0.01	43.4		5.76%	-0.09	n/a
65	-1	Jul 2020	5,343		0.14%		43.4		5.85%	-0.08	n/a
64	-1	Jun 2020	5,343		0.14%		43.4		5.93%	-0.09	n/a
63		May 2020	5,343		0.14%		43.4		6.02%	-0.09	n/a
63		Apr 2020	5,343	+70	0.14%		43.4	-0.5	6.11%	+0.06	51
63	+2	Mar 2020	5,273	+163	0.14%	+0.01	43.9	+0.6	6.05%		127
65		Feb 2020	5,110		0.13%		43.3		6.05%	-0.09	n/a
65	-1	Jan 2020	5,110		0.13%	-0.01	43.3		6.14%	-0.10	n/a
64		Dec 2019	5,110		0.14%		43.3		6.24%	-0.10	n/a
64		Nov 2019	5,110		0.14%		43.3		6.34%	-0.11	n/a
64		Oct 2019	5,110		0.14%		43.3		6.45%	-0.11	n/a
64		Sep 2019	5,110		0.14%		43.3		6.56%	-0.11	n/a
64		Aug 2019	5,110		0.14%		43.3		6.67%	-0.12	n/a
64		Jul 2019	5,110		0.14%		43.3		6.79%	-0.12	n/a
64		Jun 2019	5,110		0.14%		43.3		6.91%	-0.13	n/a
64		May 2019	5,110		0.14%		43.3		7.04%	-0.13	n/a
64	-1	Apr 2019	5,110		0.14%		43.3		7.17%	-0.13	n/a
63	-1	Mar 2019	5,110		0.14%	-0.01	43.3		7.30%	-0.14	n/a
62		Feb 2019	5,110		0.15%		43.3		7.44%	-0.14	n/a
62		Jan 2019	5,110		0.15%		43.3		7.58%	-0.15	n/a
62		Dec 2018	5,110		0.15%		43.3		7.73%	-0.16	n/a
62		Nov 2018	5,110	+7	0.15%		43.3	-0.3	7.89%	-0.10	7
62	-1	Oct 2018	5,103	+14	0.15%		43.6	-0.3	7.99%	-0.10	14
61		Sep 2018	5,089		0.15%	-0.01	43.9		8.09%	-0.17	n/a
61		Aug 2018	5,089		0.16%		43.9		8.26%	-0.19	n/a
61	-1	Jul 2018	5,089	+95	0.16%		43.9	+0.1	8.45%	-0.04	79
60		Jun 2018	4,994		0.16%		43.8		8.49%	-0.20	n/a
60		May 2018	4,994		0.16%	-0.01	43.8		8.69%	-0.21	n/a
60		Apr 2018	4,994		0.17%		43.8		8.90%	-0.21	n/a
60	-1	Mar 2018	4,994	+104	0.17%		43.8	+0.1	9.11%	-0.07	58
59	+5	Feb 2018	4,890	+816	0.17%	+0.02	43.7	+4.1	9.18%	+0.54	226
64	+4	Jan 2018	4,074	+748	0.15%	+0.03	39.6	+3.4	8.64%	+0.72	236
68	-1	Dec 2017	3,326		0.12%	-0.01	36.2		7.92%	-0.22	n/a
67	-1	Nov 2017	3,326		0.13%		36.2		8.14%	-0.22	n/a
66	+1	Oct 2017	3,326	+28	0.13%	-0.01	36.2		8.36%	-0.15	28
67	-1	Sep 2017	3,298	+115	0.14%		36.2	-0.8	8.51%	+0.23	34
66	-1	Aug 2017	3,183	+128	0.14%		37.0	+0.6	8.28%	-0.05	107
65	-1	Jul 2017	3,055		0.14%		36.4		8.33%	-0.27	n/a
64		Jun 2017	3,055		0.14%	-0.01	36.4		8.60%	-0.27	n/a
64		May 2017	3,055		0.15%	-0.01	36.4		8.87%	-0.30	n/a
64	-1	Apr 2017	3,055		0.16%	-0.01	36.4		9.17%	-0.31	n/a
63		Mar 2017	3,055	+222	0.17%	+0.01	36.4	+1.9	9.48%	-0.11	209
63	-1	Feb 2017	2,833	+67	0.16%	-0.01	34.5	-0.5	9.59%	+0.04	41
62	+1	Jan 2017	2,766	+304	0.17%	+0.01	35.0	+1.7	9.55%	+0.25	136
63		Dec 2016	2,462	+34	0.16%		33.3	-0.4	9.30%	-0.11	25
63	-1	Nov 2016	2,428	+41	0.16%		33.7	+0.1	9.41%	-0.25	41
62		Oct 2016	2,387	+28	0.16%	-0.01	33.6	-1.6	9.66%	+0.14	16
62	+2	Sep 2016	2,359	+331	0.17%	+0.02	35.2	+2.5	9.52%	+0.32	142
64	-2	Aug 2016	2,028		0.15%	-0.01	32.7		9.20%	-0.43	n/a
62	-1	Jul 2016	2,028	+29	0.16%		32.7	-0.1	9.63%	-0.32	29
61		Jun 2016	1,999	+75	0.16%	-0.01	32.8	+0.7	9.95%	-0.34	75
61	-1	May 2016	1,924		0.17%	-0.02	32.1		10.29%	-0.58	n/a
60	-2	Apr 2016	1,924	+295	0.19%		32.1	+0.8	10.87%	+0.91	100
58	-6	Mar 2016	1,629	+11	0.19%	-0.02	31.3	-1.1	9.96%	-0.22	7
52	+3	Feb 2016	1,618	+145	0.21%	-0.01	32.4	-0.3	10.18%	+0.44	73
55	-8	Jan 2016	1,473	+320	0.22%	+0.01	32.7	+0.7	9.74%	+1.39	123
47	-3	Dec 2015	1,153	+164	0.21%		32.0	-2.1	8.35%	+1.10	83
44	-2	Nov 2015	989		0.21%	-0.02	34.1		7.25%	-0.34	n/a
42	+1	Oct 2015	989	+276	0.23%	+0.03	34.1	-10.5	7.59%	+3.03	75
43	-2	Sep 2015	713	+251	0.20%	+0.03	44.6	+9.1	4.56%	+0.51	181
41	-1	Aug 2015	462		0.17%	-0.03	35.5		4.05%	-0.43	n/a
40	-4	Jul 2015	462		0.20%	-0.05	35.5		4.48%	-0.54	n/a
36	-8	Jun 2015	462		0.25%	-0.14	35.5		5.02%	-0.66	n/a
28	-2	May 2015	462		0.39%	-0.12	35.5		5.68%	-0.89	n/a
26	-2	Apr 2015	462		0.51%	-0.12	35.5		6.57%	-1.17	n/a
24	-4	Mar 2015	462	+9	0.63%	-0.10	35.5	-5.7	7.74%	-0.29	8
20	-1	Feb 2015	453		0.73%	-0.10	41.2		8.03%	-2.06	n/a
19	-1	Jan 2015	453	+62	0.83%	-0.08	41.2	-14.7	10.09%	+1.12	43
18	+6	Dec 2014	391	+302	0.91%	+0.52	55.9	+26.2	8.97%	+2.59	124
24		Nov 2014	89		0.39%		29.7		6.38%		74

Statistics created with superseriousstats on Fri, 19 Dec 2025 07:44:37 +0000.