Hacker News

1.		I've acquired a new superpower (danielwirtz.com)
		507 points by wirtzdan 5 hours ago \| hide \| 229 comments
2.		Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
		116 points by aiono 4 hours ago \| hide \| 67 comments
3.		Cuttle – a MTG like game using a standard 52 card deck (pagat.com)
		21 points by 7thaccount 1 hour ago \| hide \| 5 comments
4.		Getting silly with C, part (void*)2 (lcamtuf.substack.com)
		55 points by justmarc 2 hours ago \| hide \| 18 comments
5.		Mercury's shadowy North Pole revealed by M-CAM 1 (esa.int)
		13 points by divbzero 1 hour ago \| hide \| 3 comments
6.		Doing Hard Things While Living Life: Why We Built Vade Studio in Clojure (vadelabs.com)
		49 points by puredanger 4 hours ago \| hide \| 4 comments
7.		Learning How to Think with Meta Chain-of-Thought (arxiv.org)
		125 points by drcwpl 7 hours ago \| hide \| 34 comments
8.		Who Can Understand the Proof? A Window on Formalized Mathematics (stephenwolfram.com)
		150 points by ColinWright 7 hours ago \| hide \| 80 comments
9.		The Tedious Heroism of David Ruggles (commonplace.online)
		88 points by samclemens 5 hours ago \| hide \| 10 comments
10.		I got OpenTelemetry to work. But why was it so complicated? (iconsolutions.com)
		94 points by paltaie 7 hours ago \| hide \| 69 comments
11.		Stone selection by wild chimpanzees shares patterns with Oldowan hominins (sciencedirect.com)
		8 points by benbreen 2 hours ago \| hide \| 1 comment
12.		Visualizing All ISBNs (annas-archive.org)
		301 points by RyanShook 15 hours ago \| hide \| 91 comments
13.		Why is hash(-1) == hash(-2) in Python? (omairmajid.com)
		4 points by alexmolas 1 hour ago \| hide \| 1 comment
14.		Starlink is now cheaper than leading internet provider in some African countries (restofworld.org)
		134 points by impish9208 2 hours ago \| hide \| 83 comments
15.		Glimmer: DSL Framework for Ruby GUI and More (github.com/andyobtiva)
		122 points by thunderbong 10 hours ago \| hide \| 19 comments
16.		Tactility: OS for the ESP32 Microcontroller Family (tactility.one)
		129 points by freetonik 11 hours ago \| hide \| 36 comments
17.		Show HN: Tetris in a PDF (th0mas.nl)
		1091 points by ThomasRinsma 1 day ago \| hide \| 200 comments
18.		Parsing the C64 Bubble Bobble Wind Currents (geon.github.io)
		126 points by geon 12 hours ago \| hide \| 22 comments
19.		Before Squid Game, there was Battle Royale (tokyoweekender.com)
		129 points by ecliptik 14 hours ago \| hide \| 203 comments
20.		Show HN: KeyTik: The All-in-One Input Automation Tool (keytik.com)
		3 points by Fajar_Rahmad 1 hour ago \| hide \| discuss
21.		Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote) (workatastartup.com)
		7 hours ago \| hide
22.		Bird-inspired drone uses legs to walk and jump into the air (ieee.org)
		166 points by bookofjoe 15 hours ago \| hide \| 54 comments
23.		Experiments with Byte Matrix Multiplication (github.com/serge-sans-paille)
		15 points by serge-ss-paille 4 hours ago \| hide \| 2 comments
24.		lc: List files in categories (and columns) – from Coherent Unix clone (github.com/gdm85)
		70 points by networked 9 hours ago \| hide \| 27 comments
25.		Nvidia-Ingest: Multi-modal data extraction (github.com/nvidia)
		109 points by mihaid150 10 hours ago \| hide \| 28 comments
26.		Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting (cispa.de)
		83 points by robin_reala 11 hours ago \| hide \| 22 comments
27.		Ask HN: Books about people who did hard things
		388 points by zachlatta 1 day ago \| hide \| 332 comments
28.		WorstFit: Unveiling Hidden Transformers in Windows ANSI (blog.orange.tw)
		340 points by notmine1337 1 day ago \| hide \| 126 comments
29.		Predictions Scorecard, 2025 January 01 (rodneybrooks.com)
		228 points by timr 19 hours ago \| hide \| 172 comments
30.		Meta's memo to employees rolling back DEI programs (axios.com)
		227 points by bsilvereagle 2 hours ago \| hide \| 292 comments
		More