Hacker News

1.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		83 points by ColinWright 2 hours ago \| hide \| 36 comments
2.		Show HN: Boulette - Protect you from yourself (even as root). (github.com/pipelight)
		14 points by jean_dupont 45 minutes ago \| hide \| 2 comments
3.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		22 points by drcwpl 2 hours ago \| hide \| 2 comments
4.		The Tedious Heroism of David Ruggles (commonplace.online)
		9 points by samclemens 56 minutes ago \| hide \| discuss
5.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		70 points by thunderbong 5 hours ago \| hide \| 8 comments
6.		Visualizing All ISBNs (annas-archive.org)
		227 points by RyanShook 10 hours ago \| hide \| 64 comments
7.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		60 points by mihaid150 5 hours ago \| hide \| 13 comments
8.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		55 points by networked 4 hours ago \| hide \| 15 comments
9.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		81 points by freetonik 6 hours ago \| hide \| 28 comments
10.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		81 points by geon 7 hours ago \| hide \| 2 comments
11.		Show HN: Tetris in a PDF (th0mas.nl)
		1026 points by ThomasRinsma 1 day ago \| hide \| 182 comments
12.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		2 hours ago \| hide
13.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		122 points by bookofjoe 10 hours ago \| hide \| 33 comments
14.		Making Beautiful API Keys (agentstation.ai)
		47 points by savannahkc 57 minutes ago \| hide \| 52 comments
15.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		39 points by robin_reala 6 hours ago \| hide \| 5 comments
16.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		197 points by timr 14 hours ago \| hide \| 135 comments
17.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		328 points by notmine1337 22 hours ago \| hide \| 95 comments
18.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		53 points by ecliptik 9 hours ago \| hide \| 73 comments
19.		Musings on Tracing in PyPy (pypy.org)
		3 points by matt_d 2 hours ago \| hide \| discuss
20.		Ask HN: Books about people who did hard things
		277 points by zachlatta 22 hours ago \| hide \| 229 comments
21.		Time Dilation Formula / Calculator (timedilationformula.com)
		24 points by mpclarkson 6 hours ago \| hide \| 14 comments
22.		How Britain got its first internet connection (2015) (theconversation.com)
		143 points by samizdis 18 hours ago \| hide \| 74 comments
23.		SQL nulls are weird (jirevwe.github.io)
		149 points by subomi 21 hours ago \| hide \| 176 comments
24.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		163 points by ColinWright 21 hours ago \| hide \| 41 comments
25.		Rational or not? This basic math question took decades to answer (quantamagazine.org)
		149 points by nsoonhui 1 day ago \| hide \| 111 comments
26.		Show HN: Kate's App (katesapp.org)
		110 points by bhpreece 22 hours ago \| hide \| 125 comments
27.		MacBASIC (apple.fandom.com)
		76 points by rbanffy 17 hours ago \| hide \| 51 comments
28.		We are teen hackers from around the world who code together (hackclub.com)
		317 points by mooreds 19 hours ago \| hide \| 70 comments
29.		Musings on Tracing in PyPy (pypy.org)
		72 points by 082349872349872 14 hours ago \| hide \| 4 comments
30.		The Patterns of Barricelli (2024) (akkartik.name)
		47 points by surprisetalk 13 hours ago \| hide \| 5 comments
		More