Hacker News

1.		I've Acquired a New Superpower (danielwirtz.com)
		361 points by wirtzdan 4 hours ago \| hide \| 176 comments
2.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		97 points by aiono 3 hours ago \| hide \| 57 comments
3.		Getting silly with C, part (void*)2 (lcamtuf.substack.com)
		19 points by justmarc 1 hour ago \| hide \| 8 comments
4.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		114 points by drcwpl 6 hours ago \| hide \| 30 comments
5.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		143 points by ColinWright 6 hours ago \| hide \| 78 comments
6.		Doing Hard Things While Living Life: Why We Built Vade Studio in Clojure (vadelabs.com)
		24 points by puredanger 3 hours ago \| hide \| 1 comment
7.		Starlink is now cheaper than leading internet provider in some African countries (restofworld.org)
		100 points by impish9208 1 hour ago \| hide \| 56 comments
8.		The Tedious Heroism of David Ruggles (commonplace.online)
		80 points by samclemens 4 hours ago \| hide \| 7 comments
9.		I got OpenTelemetry to work. But why was it so complicated? (iconsolutions.com)
		72 points by paltaie 6 hours ago \| hide \| 49 comments
10.		Visualizing All ISBNs (annas-archive.org)
		289 points by RyanShook 14 hours ago \| hide \| 84 comments
11.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		116 points by thunderbong 9 hours ago \| hide \| 18 comments
12.		Stone selection by wild chimpanzees shares patterns with Oldowan hominins (sciencedirect.com)
		3 points by benbreen 1 hour ago \| hide \| 1 comment
13.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		124 points by freetonik 10 hours ago \| hide \| 35 comments
14.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		118 points by geon 11 hours ago \| hide \| 15 comments
15.		Show HN: Tetris in a PDF (th0mas.nl)
		1083 points by ThomasRinsma 1 day ago \| hide \| 198 comments
16.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		120 points by ecliptik 13 hours ago \| hide \| 195 comments
17.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		163 points by bookofjoe 14 hours ago \| hide \| 53 comments
18.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		6 hours ago \| hide
19.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		99 points by mihaid150 9 hours ago \| hide \| 23 comments
20.		Meta's memo to employees rolling back DEI programs (axios.com)
		167 points by bsilvereagle 1 hour ago \| hide \| 197 comments
21.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		69 points by networked 8 hours ago \| hide \| 26 comments
22.		Experiments with Byte Matrix Multiplication (github.com/serge-sans-paille)
		6 points by serge-ss-paille 3 hours ago \| hide \| 1 comment
23.		Ask HN: Books about people who did hard things
		369 points by zachlatta 1 day ago \| hide \| 313 comments
24.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		78 points by robin_reala 10 hours ago \| hide \| 17 comments
25.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		334 points by notmine1337 1 day ago \| hide \| 122 comments
26.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		224 points by timr 18 hours ago \| hide \| 166 comments
27.		How Britain got its first internet connection (2015) (theconversation.com)
		160 points by samizdis 22 hours ago \| hide \| 83 comments
28.		Time Dilation Formula / Calculator (timedilationformula.com)
		47 points by mpclarkson 10 hours ago \| hide \| 35 comments
29.		SQL nulls are weird (jirevwe.github.io)
		178 points by subomi 1 day ago \| hide \| 227 comments
30.		"Twelfth Night Till Candlemas" – A 40-year book-quest (davidallengreen.com)
		177 points by ColinWright 1 day ago \| hide \| 49 comments
		More