Hacker News

1.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		74 points by aiono 2 hours ago \| hide \| 39 comments
2.		I've Acquired a New Superpower (danielwirtz.com)
		224 points by wirtzdan 3 hours ago \| hide \| 112 comments
3.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		133 points by ColinWright 5 hours ago \| hide \| 73 comments
4.		Meta's memo to employees rolling back DEI programs (axios.com)
		25 points by bsilvereagle 11 minutes ago \| hide \| 2 comments
5.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		97 points by drcwpl 5 hours ago \| hide \| 27 comments
6.		The Tedious Heroism of David Ruggles (commonplace.online)
		67 points by samclemens 3 hours ago \| hide \| 6 comments
7.		Starlink is now cheaper than leading internet provider in some African countries (restofworld.org)
		43 points by impish9208 34 minutes ago \| hide \| 9 comments
8.		I got OpenTelemetry to work. But why was it so complicated? (iconsolutions.com)
		44 points by paltaie 5 hours ago \| hide \| 19 comments
9.		Visualizing All ISBNs (annas-archive.org)
		275 points by RyanShook 13 hours ago \| hide \| 81 comments
10.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		113 points by thunderbong 8 hours ago \| hide \| 18 comments
11.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		113 points by freetonik 9 hours ago \| hide \| 29 comments
12.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		112 points by geon 10 hours ago \| hide \| 10 comments
13.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		67 points by networked 7 hours ago \| hide \| 25 comments
14.		Show HN: Tetris in a PDF (th0mas.nl)
		1074 points by ThomasRinsma 1 day ago \| hide \| 196 comments
15.		Doing Hard Things While Living Life: Why We Built Vade Studio in Clojure (vadelabs.com)
		5 points by puredanger 2 hours ago \| hide \| discuss
16.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		104 points by ecliptik 12 hours ago \| hide \| 174 comments
17.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		5 hours ago \| hide
18.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		157 points by bookofjoe 13 hours ago \| hide \| 52 comments
19.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		90 points by mihaid150 8 hours ago \| hide \| 21 comments
20.		Ask HN: How to approach first days on a new job as a senior engineer?
		42 points by rolothrow 2 hours ago \| hide \| 22 comments
21.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		76 points by robin_reala 9 hours ago \| hide \| 17 comments
22.		Ask HN: Books about people who did hard things
		350 points by zachlatta 1 day ago \| hide \| 301 comments
23.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		333 points by notmine1337 1 day ago \| hide \| 108 comments
24.		Review: Reentry, by Eric Berger (thepsmiths.com)
		3 points by TimTheTinker 10 minutes ago \| hide \| discuss
25.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		218 points by timr 17 hours ago \| hide \| 163 comments
26.		Web apps built with Ruby on Rails (weuserails.com)
		114 points by kyrylo 2 hours ago \| hide \| 85 comments
27.		Deformable Image Registration KU Repository (github.com/thomasalscher1991)
		4 points by alonfnt 3 hours ago \| hide \| 1 comment
28.		How Britain got its first internet connection (2015) (theconversation.com)
		158 points by samizdis 21 hours ago \| hide \| 81 comments
29.		Time Dilation Formula / Calculator (timedilationformula.com)
		42 points by mpclarkson 9 hours ago \| hide \| 33 comments
30.		SQL nulls are weird (jirevwe.github.io)
		177 points by subomi 1 day ago \| hide \| 219 comments
		More