Hacker News

1.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		35 points by ColinWright 38 minutes ago \| hide \| 3 comments
2.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		39 points by networked 2 hours ago \| hide \| 11 comments
3.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		49 points by thunderbong 3 hours ago \| hide \| 5 comments
4.		Visualizing All ISBNs (annas-archive.org)
		191 points by RyanShook 8 hours ago \| hide \| 46 comments
5.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		51 points by freetonik 4 hours ago \| hide \| 9 comments
6.		Show HN: Tetris in a PDF (th0mas.nl)
		993 points by ThomasRinsma 22 hours ago \| hide \| 178 comments
7.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		184 points by timr 12 hours ago \| hide \| 116 comments
8.		Wasmer (YC S19) Is Hiring a Rust Engineer in Europe (workatastartup.com)
		59 minutes ago \| hide
9.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		30 points by mihaid150 3 hours ago \| hide \| 8 comments
10.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		43 points by geon 5 hours ago \| hide \| 1 comment
11.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		86 points by bookofjoe 8 hours ago \| hide \| 23 comments
12.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		313 points by notmine1337 20 hours ago \| hide \| 87 comments
13.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		18 points by robin_reala 4 hours ago \| hide \| 3 comments
14.		Ask HN: Books about people who did hard things
		228 points by zachlatta 20 hours ago \| hide \| 175 comments
15.		How Britain got its first internet connection (2015) (theconversation.com)
		133 points by samizdis 16 hours ago \| hide \| 71 comments
16.		Musings on Tracing in PyPy (pypy.org)
		63 points by 082349872349872 12 hours ago \| hide \| 2 comments
17.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		153 points by ColinWright 19 hours ago \| hide \| 38 comments
18.		SQL nulls are weird (jirevwe.github.io)
		136 points by subomi 19 hours ago \| hide \| 148 comments
19.		A visual demo of Ruby's lazy enumerator (joyofrails.com)
		22 points by thunderbong 7 hours ago \| hide \| discuss
20.		Time Dilation Formula / Calculator (timedilationformula.com)
		10 points by mpclarkson 4 hours ago \| hide \| 2 comments
21.		MacBASIC (apple.fandom.com)
		73 points by rbanffy 15 hours ago \| hide \| 44 comments
22.		Koa – Next generation web framework for Node.js (koajs.com)
		3 points by edweis 3 hours ago \| hide \| 2 comments
23.		Soldering the Tek way (hackaday.com)
		168 points by zdw 14 hours ago \| hide \| 75 comments
24.		Rational or not? This basic math question took decades to answer (quantamagazine.org)
		135 points by nsoonhui 22 hours ago \| hide \| 106 comments
25.		Show HN: Kate's App (katesapp.org)
		92 points by bhpreece 20 hours ago \| hide \| 113 comments
26.		We are teen hackers from around the world who code together (hackclub.com)
		295 points by mooreds 17 hours ago \| hide \| 68 comments
27.		The Patterns of Barricelli (2024) (akkartik.name)
		44 points by surprisetalk 12 hours ago \| hide \| 5 comments
28.		Show HN: TabPFN v2 – A SOTA foundation model for small tabular data (nature.com)
		120 points by onasta 18 hours ago \| hide \| 31 comments
29.		David Lodge, British novelist who satirized academic life, has died (nytimes.com)
		80 points by lermontov 18 hours ago \| hide \| 14 comments
30.		Shaping ligatures in monospace fonts (joshleeb.com)
		63 points by todsacerdoti 14 hours ago \| hide \| 13 comments
		More