Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
164 points by addaon 3 days ago | 71 comments
241A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards) (benjoffe.com)
392 points by benjoffe 7 days ago | 93 comments
242Show HN: I turned algae into a bio-altimeter and put it on a weather balloon (radi8.dev)
140 points by radeeyate 8 days ago | 13 comments
243Jedi Blue (en.wikipedia.org)
51 points by redbell 2 days ago | 1 comment
244Tom Stoppard, playwright of dazzling wit and playful erudition, dies aged 88 (theguardian.com)
9 points by mellosouls 15 hours ago | 1 comment
245Japan's gamble to turn island of Hokkaido into global chip hub (bbc.com)
325 points by 1659447091 6 days ago | 469 comments
246How stealth addresses work in Monero (johndcook.com)
103 points by ibobev 6 days ago | 57 comments
247Lobsters Interview (susam.net)
98 points by blenderob 2 days ago | 82 comments
248Making Crash Bandicoot (2011) (all-things-andy-gavin.com)
246 points by davikr 5 days ago | 40 comments
249Switzerland: Data Protection Officers Impose Broad Cloud Ban for Authorities (heise.de)
92 points by TechTechTech 2 days ago | 43 comments
250Archaeologists Find 2,250-Year-Old Monument Beneath Ancient Roman City (scitechdaily.com)
10 points by bookofjoe 16 hours ago | 0 comments
251Ilya Sutskever: We're moving from the age of scaling to the age of research (dwarkesh.com)
440 points by piotrgrabowski 5 days ago | 354 comments
252Xkcd: Python Environment (2018) (m.xkcd.com)
30 points by thunderbong 15 hours ago | 8 comments
253Music eases surgery and speeds recovery, study finds (bbc.com)
221 points by 1659447091 3 days ago | 97 comments
254Bonsai_term: A library for building dynamic terminal apps by Jane Street (github.com)
68 points by azhenley 3 days ago | 11 comments
255Show HN: Spikelog – A simple metrics service for scripts, cron jobs, and MVPs (spikelog.com)
35 points by dsmurrell 3 days ago | 17 comments
256Show HN: DB Pro – A Modern Desktop Client for Postgres, MySQL, SQLite and LibSQL (dbpro.app)
29 points by upmostly 2 days ago | 11 comments
257NASA's Tess Spacecraft Triples Size of Pleiades Star Cluster (science.nasa.gov)
8 points by bryanrasmussen 15 hours ago | 0 comments
258Show HN: SyncKit – Offline-first sync engine (Rust/WASM and TypeScript) (github.com)
87 points by danbitengo 3 days ago | 36 comments
259Ruby Was Ready from the Start (obie.medium.com)
75 points by thunderbong 6 days ago | 30 comments
260Compressed filesystems à la language models (grohan.co)
66 points by grohan 4 days ago | 14 comments
261Constant-time support coming to LLVM: Protecting cryptographic code (blog.trailofbits.com)
112 points by ahlCVA 5 days ago | 60 comments
262Fara-7B: An efficient agentic model for computer use (github.com)
186 points by maxloh 4 days ago | 85 comments
263Running Unsupported iOS on Deprecated Devices (nyansatan.github.io)
220 points by OuterVale 4 days ago | 117 comments
264Google's new 'Aluminium OS' project brings Android to PC (androidauthority.com)
192 points by jmsflknr 6 days ago | 305 comments
265Tell HN: Want a better HN? Visit /newest
287 points by alecco 2 days ago | 85 comments
266Show HN: Safe-NPM – only install packages that are +90 days old (github.com)
89 points by kevinslin 7 days ago | 64 comments
267Antifragile Programming and Why AI Won't Steal Your Job (lemire.me)
8 points by ibobev 16 hours ago | 0 comments
268Fran Sans – font inspired by San Francisco light rail displays (emilysneddon.com)
1168 points by ChrisArchitect 7 days ago | 140 comments
269Image Diffusion Models Exhibit Emergent Temporal Propagation in Videos (arxiv.org)
124 points by 50kIters 4 days ago | 22 comments
270