Christopher 🌵 Brown (@BowToChris) header
Christopher 🌵 Brown (@BowToChris) profile picture

Software Assurance. IV&V. Type theory.

Huntsville, AL
Joined June 2009
Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)Photo by Christopher 🌵 Brown (@BowToChris)
Christopher 🌵 Brown retweeted
Allison Montgomery has won Alabama's State House District 25 election, flipping the seat from Republican to Democratic. She becomes the first transgender woman to be elected to the Alabama Legislature.
1,630
35,074
6,910
331,322
10,603,807
Christopher 🌵 Brown retweeted
we should bring back the concept of software being finished. like yeah it works. we're done. go home
39
97
7
1,781
20,358
Christopher 🌵 Brown retweeted
Replying to @Uncle_Ramrod
People on X meming:
1
4
323
9,556
Christopher 🌵 Brown retweeted
Replying to @Noahpinion
I think your commentary on this stuff would be improved by learning something about what professional mathematicians do.
10
14
5
1,003
36,496
⚠️ Attention Duelists! ⚠️ Here are the upcoming updates to the #YuGiOhTCG Advanced Forbidden & Limited List, effective October 19, 2026.
53
183
37
1,614
88,193
Christopher 🌵 Brown retweeted
Arguably the scariest Halloween costume ever
21
156
18
1,267
32,157
Christopher 🌵 Brown retweeted
what the hell omg this is amazing but he’s doing WAY TOO MUCH😭😭
155
417
102
4,524
344,479
Christopher 🌵 Brown retweeted
She wants to be somebody's pumpkin
8
74
2
997
7,589
Christopher 🌵 Brown retweeted
they did surgery on a Sh(X)
1
9
75
2,601
This is a long shot but can everyone reading this PLEASE reply with your favorite picture of yourself? Doesn’t matter what kind of picture, just quote, reply whatever
104
Kirk'd up kicks
Erika Kirk’s SHOES featuring her late husband’s image go viral
67
Christopher 🌵 Brown retweeted
Rumors are swirling that I have made significant progress (though not yet a full solution) on understanding what the Hodge conjecture says.
10
41
1
1,068
24,710
Christopher 🌵 Brown retweeted
Overall, Americans took 9/11 pretty calmly. Notably, there wasn't a mass outbreak of anti-Muslim sentiment and violence, which could all too easily have happened. And while GW Bush was a terrible president, to his credit he tried to calm prejudice, not feed it 2/
12,552
751
30,916
4,280
Christopher 🌵 Brown retweeted
the sluttiest thing a man can do is be a loving father to his cat
297
5,322
1,331
51,250
4,011,784
Christopher 🌵 Brown retweeted
WHAT BOOK IS SO GOOD THAT AFTER READING IT, YOU BUY EVERY OTHER BOOK PUBLISHED BY ITS AUTHOR.
8
33
5
275
13,487
Christopher 🌵 Brown retweeted
5
203
3
2,016
25,677
6
48
1
1,129
15,939
Christopher 🌵 Brown retweeted
Replying to @RazorwireRPG
21
591
29
6,567
388,932
General Mathematics for a new generation.
Introducing: Palomar - an archive for formalized mathematics. Formalized mathematics is proliferating rapidly—accelerated by AI—but remains scattered across repositories, announcements, and private links, without common standards for finding, citing, or evaluating results. Palomar is a public, searchable registry of machine-checked Lean formalizations, giving each result a durable and inspectable record. Crucially, this infrastructure and its standards must remain under the stewardship of the mathematical community, rather than being determined solely by technology companies or automated systems. Palomar is jointly incubated by the nonprofit Lean FRO and the NSF institute ICARM. The initial advisory board is Jeremy Avigad, Matthew Ballard, Jaume de Dios, Nestor Guillen, Bryna Kra, Kim Morrison, Terence Tao, Ravi Vakil, and Akshay Venkatesh. Read more on Terence Tao's blog or visit the archive. Links in comments.
1
212