Litex: Formal math for everyone – set theory examples with Lean comparison L:
Litex: A Simple Formal Language Learnable in 2 Hours
 C: https://news.ycombinator.com/item?id=46325073 posted on 2025.12.19 at 07:25:40 (c=1, p=6)
The Government Unconstitutionally Labels ICE Observers as Domestic Terrorists L: https://www.cato.org/blog/dhs-policy-threatening-arresting-ice-observers-violates-their-rights C: https://news.ycombinator.com/item?id=46378804 posted on 2025.12.24 at 15:11:10 (c=1, p=7)
Spaced Repetition for Efficient Learning L:
Spaced Repetition for Efficient Learning Β· Gwern.net
Efficient memorization using the spacing effect: literature review of widespread applicability, tips on use & what it’s good for.
 C: https://news.ycombinator.com/item?id=46379076 posted on 2025.12.24 at 15:48:53 (c=0, p=3)
Google Cloud Run cost me $4,676 in 6 weeks with zero traff C: https://news.ycombinator.com/item?id=46378065 posted on 2025.12.24 at 13:43:15 (c=2, p=5)
Qntm's Power Tower Toy L:
qntm's power tower toy
 C: https://news.ycombinator.com/item?id=46335370 posted on 2025.12.20 at 06:19:21 (c=0, p=3)
Can eating high fat cheese and cream reduce dementia risk,as new study suggests? L:
The Conversation
Can eating high fat cheese and cream reduce dementia risk, as a new study suggests?
Research linking cheese and cream to lower dementia risk has made headlines, but the story is more nuanced than it might sound.
 C: https://news.ycombinator.com/item?id=46378557 posted on 2025.12.24 at 14:42:36 (c=1, p=3)
European Majority favours more tech regulation L:
European Political Monthly: Where do Europeans stand on social media regulation? | YouGov
 C: https://news.ycombinator.com/item?id=46378469 posted on 2025.12.24 at 14:32:51 (c=1, p=3)
China Is Worried AI Threatens Party Rule–and Is Trying to Tame It L: https://www.wsj.com/tech/ai/china-is-worried-ai-threatens-party-ruleand-is-trying-to-tame-it-bfdcda2d C: https://news.ycombinator.com/item?id=46378747 posted on 2025.12.24 at 15:04:52 (c=1, p=3)
Show HN: Minimalist editor that lives in browser, stores everything in the URL L:
GitHub
GitHub - antonmedv/textarea: A minimalist text editor that lives in URL
A minimalist text editor that lives in URL. Contribute to antonmedv/textarea development by creating an account on GitHub.
 C: https://news.ycombinator.com/item?id=46378554 posted on 2025.12.24 at 14:42:25 (c=2, p=6)
Looking for Decent Conversation? C: https://news.ycombinator.com/item?id=46378431 posted on 2025.12.24 at 14:28:18 (c=0, p=5)