Hacker News

1.		Show HN: Boulette - Protect you from yourself (even as root). (github.com/pipelight)
		49 points by jean_dupont 1 hour ago \| hide \| 39 comments
2.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		109 points by ColinWright 3 hours ago \| hide \| 56 comments
3.		I've Acquired a New Superpower (danielwirtz.com)
		34 points by wirtzdan 1 hour ago \| hide \| 23 comments
4.		Formal Methods: Just Good Engineering Practice? (brooker.co.za)
		13 points by aiono 34 minutes ago \| hide \| 6 comments
5.		The Tedious Heroism of David Ruggles (commonplace.online)
		30 points by samclemens 1 hour ago \| hide \| 4 comments
6.		Web apps built with Ruby on Rails (weuserails.com)
		15 points by kyrylo 20 minutes ago \| hide \| 3 comments
7.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		48 points by drcwpl 3 hours ago \| hide \| 7 comments
8.		Visualizing All ISBNs (annas-archive.org)
		244 points by RyanShook 11 hours ago \| hide \| 69 comments
9.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		81 points by thunderbong 6 hours ago \| hide \| 11 comments
10.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		62 points by networked 5 hours ago \| hide \| 18 comments
11.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		94 points by freetonik 7 hours ago \| hide \| 28 comments
12.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		3 hours ago \| hide
13.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		90 points by geon 8 hours ago \| hide \| 4 comments
14.		Show HN: Tetris in a PDF (th0mas.nl)
		1046 points by ThomasRinsma 1 day ago \| hide \| 186 comments
15.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		135 points by bookofjoe 11 hours ago \| hide \| 44 comments
16.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		70 points by mihaid150 6 hours ago \| hide \| 15 comments
17.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		59 points by robin_reala 7 hours ago \| hide \| 14 comments
18.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		75 points by ecliptik 10 hours ago \| hide \| 115 comments
19.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		208 points by timr 15 hours ago \| hide \| 144 comments
20.		HTML Is a Programming Language. Fight Me (wired.com)
		3 points by TheIronYuppie 1 hour ago \| hide \| 1 comment
21.		Musings on Tracing in PyPy (pypy.org)
		16 points by matt_d 3 hours ago \| hide \| 1 comment
22.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		331 points by notmine1337 23 hours ago \| hide \| 100 comments
23.		Time Dilation Formula / Calculator (timedilationformula.com)
		31 points by mpclarkson 7 hours ago \| hide \| 21 comments
24.		Ask HN: Books about people who did hard things
		297 points by zachlatta 23 hours ago \| hide \| 256 comments
25.		There are no pure cultures – we have always been global (aeon.co)
		26 points by Tomte 2 hours ago \| hide \| 28 comments
26.		How Britain got its first internet connection (2015) (theconversation.com)
		148 points by samizdis 19 hours ago \| hide \| 78 comments
27.		SQL nulls are weird (jirevwe.github.io)
		157 points by subomi 22 hours ago \| hide \| 191 comments
28.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		168 points by ColinWright 22 hours ago \| hide \| 41 comments
29.		Show HN: Kate's App (katesapp.org)
		118 points by bhpreece 23 hours ago \| hide \| 130 comments
30.		Rational or not? This basic math question took decades to answer (quantamagazine.org)
		154 points by nsoonhui 1 day ago \| hide \| 114 comments
		More