Hacker News

1.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		38 points by aiono 1 hour ago \| hide \| 22 comments
2.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		122 points by ColinWright 4 hours ago \| hide \| 63 comments
3.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		70 points by drcwpl 4 hours ago \| hide \| 16 comments
4.		The Tedious Heroism of David Ruggles (commonplace.online)
		53 points by samclemens 2 hours ago \| hide \| 5 comments
5.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		104 points by thunderbong 7 hours ago \| hide \| 18 comments
6.		Visualizing All ISBNs (annas-archive.org)
		259 points by RyanShook 12 hours ago \| hide \| 74 comments
7.		I've Acquired a New Superpower (danielwirtz.com)
		98 points by wirtzdan 2 hours ago \| hide \| 65 comments
8.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		65 points by networked 6 hours ago \| hide \| 19 comments
9.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		103 points by freetonik 8 hours ago \| hide \| 28 comments
10.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		103 points by geon 9 hours ago \| hide \| 8 comments
11.		Show HN: Tetris in a PDF (th0mas.nl)
		1060 points by ThomasRinsma 1 day ago \| hide \| 195 comments
12.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		81 points by mihaid150 7 hours ago \| hide \| 19 comments
13.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		92 points by ecliptik 11 hours ago \| hide \| 138 comments
14.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		148 points by bookofjoe 12 hours ago \| hide \| 47 comments
15.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		4 hours ago \| hide
16.		Show HN: Boulette - Protect you from yourself (even as root). (github.com/pipelight)
		56 points by jean_dupont 2 hours ago \| hide \| 60 comments
17.		Musings on Tracing in PyPy (pypy.org)
		24 points by matt_d 4 hours ago \| hide \| 1 comment
18.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		69 points by robin_reala 8 hours ago \| hide \| 15 comments
19.		Deformable Image Registration KU Repository (github.com/thomasalscher1991)
		3 points by alonfnt 2 hours ago \| hide \| discuss
20.		Web apps built with Ruby on Rails (weuserails.com)
		91 points by kyrylo 1 hour ago \| hide \| 63 comments
21.		Time Dilation Formula / Calculator (timedilationformula.com)
		37 points by mpclarkson 8 hours ago \| hide \| 27 comments
22.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		214 points by timr 16 hours ago \| hide \| 158 comments
23.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		331 points by notmine1337 1 day ago \| hide \| 107 comments
24.		Ask HN: Books about people who did hard things
		326 points by zachlatta 1 day ago \| hide \| 279 comments
25.		How Britain got its first internet connection (2015) (theconversation.com)
		153 points by samizdis 20 hours ago \| hide \| 79 comments
26.		I Program with LLMs (arstechnica.com)
		13 points by Brajeshwar 1 hour ago \| hide \| 8 comments
27.		SQL nulls are weird (jirevwe.github.io)
		168 points by subomi 23 hours ago \| hide \| 209 comments
28.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		174 points by ColinWright 23 hours ago \| hide \| 46 comments
29.		Show HN: Kate's App (katesapp.org)
		122 points by bhpreece 1 day ago \| hide \| 140 comments
30.		Rational or not? This basic math question took decades to answer (quantamagazine.org)
		156 points by nsoonhui 1 day ago \| hide \| 119 comments
		More