< Prev

Page -1264

More >

20

The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)

by ghuntley 36 minutes ago | hide | 5 comments

229

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" (rvembedded.com)

by Narishma 4 hours ago | hide | 121 comments

437

Claude: System Prompts (platform.claude.com)

by tosh 8 hours ago | hide | 190 comments

51

Protobuf has LSP support. You're welcome (buf.build)

by theanonymousone 2 hours ago | hide | 20 comments

23

SIMD in the 90s: Programming Intel's Pentium MMX (pikuma.com)

by ibobev 3 days ago | hide | 2 comments

149

Models Are Getting Dumber on Purpose (w4g1.dev)

by hruvhwe 2 hours ago | hide | 94 comments

187

The AI Credit Resale Economy (vectoral.com)

by mlenhard 7 hours ago | hide | 69 comments

23

Low-Tech Ceramic Water Filter (wiki.lowtechlab.org)

by Bluestein 5 days ago | hide | 7 comments

112

NIH is ending a key grant for budding clinical researchers (science.org)

by brandonb 5 hours ago | hide | 55 comments

31

MathCode, Mathematical Coding Agent (math-ai-org.github.io)

by homarp 3 hours ago | hide | 9 comments

125

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core (wptv.com)

by toomuchtodo 6 hours ago | hide | 90 comments

62

Clamiga: Common Lisp for the Amiga (nnamgreb.de)

by emptybits 4 days ago | hide | 4 comments

44

Anton Chekhov played at love most of his life (commonreader.wustl.edu)

by lermontov 2 days ago | hide | 6 comments

446

Firefox for iOS now has a native adblocker (support.mozilla.org)

by pentagrama 8 hours ago | hide | 189 comments

27

Plastic mechanical computer from 1963: The Digi-Comp 1 [video] (youtube.com)

by tobr a day ago | hide | 6 comments

147

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

by stagas 3 hours ago | hide | 38 comments

19

Before Rightmove, there was the Cosmorama (ianvisits.co.uk)

by brod_ie 5 days ago | hide | 2 comments

62

ICE Shot a Journalist and Threw Him in Detention. He's Approaching 300 Days (theintercept.com)

by Jimmc414 an hour ago | hide | 27 comments

20

Archie G. Norcross' Maine Forest Fire Maps (1918–22) (publicdomainreview.org)

by samclemens 4 days ago | hide | 3 comments

149

The weekend is 100 years old (theguardian.com)

by lentil_soup 6 hours ago | hide | 83 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering (tasklet.ai)

by null 8 hours ago | hide | 0 comments

15

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter (bloomberg.com)

by zacharyozer 44 minutes ago | hide | 7 comments

71

A True Telnet BBS on a Casio Calculator (ei3lh.eu)

by austinallegro 9 hours ago | hide | 9 comments

17

The deep history behind the Road to Nowhere inside the Great Smoky Mountains (wunc.org)

by yareally 4 days ago | hide | 5 comments

122

Chestnut – eGPU dock with open-source firmware (hwbusters.com)

by txrx0000 3 days ago | hide | 35 comments

588

Asus Bike Booster (asus.com)

by wiradikusuma 5 days ago | hide | 410 comments

72

A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)

by matt_d 5 days ago | hide | 29 comments

62

GPS and the Lost Art of Getting Lost (newyorker.com)

by karakoram 6 hours ago | hide | 51 comments

323

Research papers using "kidney disappointment" instead of "kidney failure" (scholar.google.com)

by Alifatisk 9 hours ago | hide | 115 comments

263

Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)

by pdet 6 days ago | hide | 28 comments

< Prev

Page -1264

More >