Hacker News

1.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		61 points by ColinWright 1 hour ago \| hide \| 23 comments
2.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		47 points by networked 3 hours ago \| hide \| 12 comments
3.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		55 points by thunderbong 4 hours ago \| hide \| 6 comments
4.		Visualizing All ISBNs (annas-archive.org)
		211 points by RyanShook 9 hours ago \| hide \| 59 comments
5.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		61 points by freetonik 5 hours ago \| hide \| 17 comments
6.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		44 points by mihaid150 4 hours ago \| hide \| 11 comments
7.		Show HN: Tetris in a PDF (th0mas.nl)
		1008 points by ThomasRinsma 23 hours ago \| hide \| 179 comments
8.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		60 points by geon 6 hours ago \| hide \| 1 comment
9.		Wasmer (YC S19) Is Hiring a Rust Engineer in Europe (workatastartup.com)
		1 hour ago \| hide
10.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		99 points by bookofjoe 9 hours ago \| hide \| 30 comments
11.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		194 points by timr 13 hours ago \| hide \| 130 comments
12.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		29 points by robin_reala 5 hours ago \| hide \| 4 comments
13.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		319 points by notmine1337 21 hours ago \| hide \| 90 comments
14.		Ask HN: Books about people who did hard things
		250 points by zachlatta 21 hours ago \| hide \| 203 comments
15.		How Britain got its first internet connection (2015) (theconversation.com)
		137 points by samizdis 17 hours ago \| hide \| 73 comments
16.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		157 points by ColinWright 20 hours ago \| hide \| 38 comments
17.		SQL nulls are weird (jirevwe.github.io)
		141 points by subomi 20 hours ago \| hide \| 158 comments
18.		Time Dilation Formula / Calculator (timedilationformula.com)
		16 points by mpclarkson 5 hours ago \| hide \| 11 comments
19.		Bird Buddy Launches 'Wonder' Camera for Watching Insects (macrumors.com)
		3 points by Tomte 3 hours ago \| hide \| discuss
20.		Musings on Tracing in PyPy (pypy.org)
		67 points by 082349872349872 13 hours ago \| hide \| 4 comments
21.		MacBASIC (apple.fandom.com)
		75 points by rbanffy 16 hours ago \| hide \| 47 comments
22.		Show HN: Kate's App (katesapp.org)
		97 points by bhpreece 21 hours ago \| hide \| 116 comments
23.		Rational or not? This basic math question took decades to answer (quantamagazine.org)
		139 points by nsoonhui 23 hours ago \| hide \| 106 comments
24.		We are teen hackers from around the world who code together (hackclub.com)
		304 points by mooreds 18 hours ago \| hide \| 67 comments
25.		Soldering the Tek way (hackaday.com)
		169 points by zdw 15 hours ago \| hide \| 81 comments
26.		The Patterns of Barricelli (2024) (akkartik.name)
		46 points by surprisetalk 12 hours ago \| hide \| 5 comments
27.		David Lodge, British novelist who satirized academic life, has died (nytimes.com)
		83 points by lermontov 19 hours ago \| hide \| 15 comments
28.		Show HN: TabPFN v2 – A SOTA foundation model for small tabular data (nature.com)
		123 points by onasta 19 hours ago \| hide \| 32 comments
29.		Show HN: Bin - AI business intelligence analyst that turns data into dashboards (bi.new)
		36 points by austinwang115 11 hours ago \| hide \| 9 comments
30.		Shaping ligatures in monospace fonts (joshleeb.com)
		66 points by todsacerdoti 15 hours ago \| hide \| 16 comments
		More