• 2There Are Only Four Billion Floats–So Test Them All (2014) (randomascii.wordpress.com)
  by downbad_ 6 hours ago | discuss
• 2Show HN: Cordial — Roblox on Linux, Fully Open source, Yours (github.com)
  by neil_luo 6 hours ago | 1 comments
• 2Buğuyu Silmeden Manzarayı Göremezsin (ruhumdan.substack.com)
  by Banuche 6 hours ago | discuss
• 4China's free Kimi K3 AI model shakes up global tech market (restofworld.org)
  by donohoe 6 hours ago | discuss
• 2Agreement Is Not Understanding (ianberdin.com)
  by ianberdin 6 hours ago | discuss
• 2See in yourself. Then, evolve at sleek.silisleek.com ()
  by silisleek 6 hours ago | discuss
• 1Show HN: How I learn and review jargon of different fields nowadays (jargon-gym.vercel.app)
  by behnamazimi 6 hours ago | discuss
• 4Giving and taking credit in big tech companies (seangoedecke.com)
  by lalitmaganti 6 hours ago | 1 comments
• 2Designing APIs for Agents (webflow.com)
  by msolujic 6 hours ago | discuss
• 3Show HN: Loop-me – my simple generative art loop project (john-paul-ruf.github.io)
  by john_paul_ruf 6 hours ago | discuss
• 115Twenty Years of RISC OS Open (riscosopen.org)
  by AlexeyBrin 6 hours ago | 20 comments
• 105F*: A general-purpose proof-oriented programming language (fstar-lang.org)
  by ducktective 7 hours ago | 35 comments
• 5An exam leak in India exposed a Gen Z jobs crisis that goes much deeper (cnbc.com)
  by cramer4next 7 hours ago | discuss
• 1The future is for everyone [video] (youtube.com)
  by firstSpeaker 7 hours ago | discuss
• 1When Verification Explores Too Far: LLM Test Coverage vs. Validity (zenodo.org)
  by haitamk 7 hours ago | discuss
• 1Show HN: DesktopAudio, a tool to record what your Mac plays (desktopaudio.app)
  by AquiGorka 7 hours ago | discuss
• 3The TEMU-Fication of Software, Digital Goods and Services (xn--gckvb8fzb.com)
  by wrxd 7 hours ago | discuss
• 1Show HN: Handoff is await human() for AI agents (github.com)
  by LivingGlitcher 7 hours ago | 1 comments
• 1Transformer Models in Financial Forecasting: Outperforming LSTMs (algo-finance.com)
  by anonymoussala 7 hours ago | discuss
• 1Velocity a proof of linear-scaling long context for existing LLMs, no retraining (github.com)
  by Veloresearch 7 hours ago | discuss
• 3An AI TikTok Shop Slop Factory That Shills Supplements the FDA Recalled (404media.co)
  by Dfol 7 hours ago | discuss
• 1The Simple Elegance of the Integrated Timing Belt Loopback Fastener (danielmangum.com)
  by hasheddan 7 hours ago | discuss
• 1Show HN: Type a formula, watch it become Clique, Hamiltonian Cycle, and Knapsack (aidoctrine.github.io)
  by AlekseN 7 hours ago | discuss
• 3Don't Take the Black Pill (Text Adaptation) (andrewkelley.me)
  by Tomte 7 hours ago | discuss
• 1Shadscan – Deterministic UI Audits for Shadcn Apps (github.com)
  by javatuts 7 hours ago | discuss
• 2MapLibre GL JavaScript – WebGL library for interactive vector maps (maplibre.org)
  by javatuts 7 hours ago | discuss
• 1Will Self-Hosted Local AI Go Mainstream, or Stay a Niche for Nerds? (grigio.org)
  by grigio 7 hours ago | 3 comments
• 1JavaScript Obfuscator (jstools.space)
  by javatuts 7 hours ago | discuss
• 30GPUs could explode to multiple TB with new storage-inspired memory tech (theregister.com)
  by jacquesm 7 hours ago | 7 comments
• 44An internal OpenAI Astra model solved 10 major open math and CS problems (twitter.com)
  by wa5ina 7 hours ago | 44 comments