GoKawiil
Conversations with a six-year-old on functional programming (2018)
(news.ycombinator.com)
1.
2.
What Do Gödel's Incompleteness Theorems Mean?
(news.ycombinator.com)
3.
What's a Mathematician to Do?
(news.ycombinator.com)
4.
5.
Pentagon Begins Releasing New Files On UFOs
(slashdot.org)
6.
7.
8.
First Segment of the Fehmarnbelt Tunnel Is In Place
(slashdot.org)
9.
Sam Altman Had a Bad Day In Court
(slashdot.org)
10.
IMF Warns New AI Models Risk 'Systemic' Shock To Finance
(slashdot.org)
11.
60% of MD5 Password Hashes Are Crackable In Under an Hour
(slashdot.org)
12.
Fun with polynomials and linear algebra; or, slight abstract nonsense
(news.ycombinator.com)
13.
Fundamental Theorem of Calculus
(news.ycombinator.com)
14.
Laws of Software Engineering
(news.ycombinator.com)
15.
The math that explains why bell curves are everywhere
(news.ycombinator.com)
16.
18.
CAP theorem – Partition is a verb
(news.ycombinator.com)
19.
The Four-Color Theorem 1852–1976
(news.ycombinator.com)
20.
21.
22.
50 years of proof assistants
(news.ycombinator.com)
23.
Are you the asshole? Of course not!—quantifying LLMs’ sycophancy problem
(arstechnica.com)
24.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
(news.ycombinator.com)
25.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
26.
The math is haunted
(news.ycombinator.com)
27.
The Math Is Haunted
(news.ycombinator.com)