• 259 Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)
  by mean_mistreater 4 days ago | 185 comments
• 228 Alzheimer's disease mortality among taxi and ambulance drivers (2024) (bmj.com)
  by bookofjoe 3 days ago | 137 comments
• 65 Google's insecure-by-default API keys and 30h billing lag cost my startup $15k (old.reddit.com)
  by tertervat 2 days ago | 5 comments
• 11 Foxing aspires to be an eBPF-powered replication engine for Linux filesystems (codeberg.org)
  by tanelpoder 2 days ago | discuss
• 354 ‘Energy independence feels practical’: Europeans building mini solar farms (euronews.com)
  by vrganj 5 days ago | 349 comments
• 7 Congressman Calls for FBI Help over Missing General, Scientists (newsweek.com)
  by gradus_ad 6 hours ago | 1 comments
• 90 Lat.md: Agent Lattice: a knowledge graph for your codebase, written in Markdown (github.com)
  by doppp 3 days ago | 61 comments
• 69 DigitalOcean Seeks $800M in Funding (datacenterdynamics.com)
  by herbertl 2 days ago | 56 comments
• 156 OpenBSD on Motorola 88000 Processors (miod.online.fr)
  by rbanffy 5 days ago | 37 comments
• 87 Cat Itecture: Better Cat Window Boxes (2023) (gwern.net)
  by gggscript 4 days ago | 14 comments
• 309 AMD's Ryzen 9 9950X3D2 Dual Edition crams 208MB of cache into a single chip (arstechnica.com)
  by zdw 4 days ago | 171 comments
• 31 Claude usage limits hitting faster than expected (old.reddit.com)
  by Austin_Conlon a day ago | 4 comments
• 71 Euro-Office Wants to Replace Google Docs and Microsoft Office (howtogeek.com)
  by rapnie 2 days ago | 12 comments
• 40 Show HN: The Alphabetical Clock (boat.horse)
  by secretdark 2 days ago | 24 comments
• 660 Hold on to Your Hardware (xn--gckvb8fzb.com)
  by LucidLynx 5 days ago | 533 comments
• 10 Rust's next-generation trait solver (lwn.net)
  by dabinat a day ago | discuss
• 37 Show HN: I made a "programming language" looking for feedback (github.com)
  by alonsovm 3 days ago | 39 comments
• 196 OpenCiv1 – open-source rewrite of Civ1 (github.com)
  by caminanteblanco 4 days ago | 70 comments
• 8 Why some American accents have endured – while others have faded away (vox.com)
  by speckx 16 hours ago | 1 comments
• 5 Why Nvidia paid $20B for Groq instead of fixing the GPU (twitter.com)
  by sarahxc 14 hours ago | discuss
• 813 Spanish legislation as a Git repo (github.com)
  by enriquelop 4 days ago | 233 comments
• 26 Quantum frontiers may be closer than they appear (blog.google)
  by OJFord 3 days ago | 9 comments
• 19 Mad Bugs: Vim vs. Emacs vs. Claude (blog.calif.io)
  by unacorner a day ago | 1 comments
• 71 Iran says it will target US tech companies in Middle East (thehill.com)
  by golfer 14 hours ago | 57 comments
• 108 Why are executives enamored with AI, but ICs aren't? (johnjwang.com)
  by johnjwang 4 days ago | 168 comments
• 394 South Korea Mandates Solar Panels for Public Parking Lots (reutersconnect.com)
  by _____k 3 days ago | 220 comments
• 48 A second Starlink satellite exploded in orbit (twitter.com)
  by wmf a day ago | 21 comments
• 462 Desk for people who work at home with a cat (soranews24.com)
  by zdw 5 days ago | 166 comments
• 6 OpenAI Valued at $852B After Completing $122B Round (bloomberg.com)
  by matthieu_bl 11 hours ago | 1 comments
• 76 Sylve – Proxmox Alternative by FreeBSD (sylve.io)
  by imbobbytables 4 days ago | 23 comments