• 106 Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
  by mfornet 6 days ago | 28 comments
• 164 PowerFox Browser (powerfox.jazzzny.me)
  by thisislife2 2 days ago | 48 comments
• 1374 Midjourney Medical (midjourney.com)
  by ricochet11 6 days ago | 874 comments
• 6 Openresearch: GLM 5.2 for Autoresearch (openresearch.sh)
  by ilreb a day ago | 1 comments
• 94 Two Qwen3 models on one DGX Spark: the residency math (devashish.me)
  by devashish86 6 days ago | 48 comments
• 5 FEXPRs vs. vtable: how LispE interpreter works (github.com)
  by birdculture 9 hours ago | discuss
• 7 Throwing My Roku in the Trash (coryd.dev)
  by cdrnsf 9 hours ago | 2 comments
• 982 I found 10k GitHub repositories distributing Trojan malware (orchidfiles.com)
  by theorchid 6 days ago | 248 comments
• 159 Surprising economics of load-balanced systems (brooker.co.za)
  by KraftyOne 5 days ago | 37 comments
• 112 PostgresBench: A Reproducible Benchmark for Postgres Services (clickhouse.com)
  by saisrirampur 4 days ago | 24 comments
• 96 My 1992 view of the problems of computer programming in 1992 (blog.plover.com)
  by speckx 5 days ago | 52 comments
• 267 W Social, public institutions and the theater of European digital sovereignty (blog.elenarossini.com)
  by nemoniac 6 days ago | 168 comments
• 156 NSF slashes research programs to support new tech initiative, insiders say (science.org)
  by strangeloops85 2 days ago | 93 comments
• 216 Mexican government unveils a prototype for a new homegrown, ultra-affordable EV (gizmodo.com)
  by speckx 2 days ago | 198 comments
• 259 Epoll vs. io_uring in Linux (sibexi.co)
  by Sibexico 3 days ago | 70 comments
• 5 SpaceX Falls for Third Day, Erases $600B in Market Value (bloomberg.com)
  by 1vuio0pswjnm7 9 hours ago | discuss
• 16 In memory of the man who put red and green squiggles under words (devblogs.microsoft.com)
  by tyoma 2 days ago | 3 comments
• 14 Patch the Planet: a Daybreak initiative to support open source maintainers (openai.com)
  by conslit 2 days ago | discuss
• 15 Chinese supercomputer leapfrogs best US machines to be ranked fastest (theguardian.com)
  by jethronethro 7 hours ago | discuss
• 6 Geothermal Startup Plans to Use Oil Tech for Green Energy (insurancedimes.com)
  by crookedroad44 11 hours ago | discuss
• 229 Running MicroVMs in Proxmox VE, the Easy Way (taoofmac.com)
  by zdw 5 days ago | 49 comments
• 157 A 3D voxel game engine written in APL (github.com)
  by sph 3 days ago | 14 comments
• 407 The Wholesale Plagiarism of Obscure Sorrows (waxy.org)
  by ridesisapis 4 days ago | 164 comments
• 206 How Alberta Eradicated Rats (worksinprogress.co)
  by tzury 6 days ago | 136 comments
• 239 Show HN: Gerrymandle - Daily puzzle game where you redraw electoral districts (gerrymandle.cc)
  by realmofthemad 6 days ago | 78 comments
• 61 Guide to the TD4 4-bit DIY CPU (philipzucker.com)
  by andrewstuart 6 days ago | 6 comments
• 264 Nearly half of LG smart TV apps contain residential proxy SDKs (spur.us)
  by microcode a day ago | 170 comments
• 9 US announces $17.5B in loans for nuclear power supply chain (reuters.com)
  by alephnerd 12 hours ago | 2 comments
• 281 DOS Game "F-15 Strike Eagle II" reversing project needs DOS test pilots (neuviemeporte.github.io)
  by LowLevelMahn 4 days ago | 75 comments
• 246 Temporary Cloudflare accounts for AI agents (blog.cloudflare.com)
  by farhadhf 4 days ago | 151 comments