• 20 A Crash Course in Predicate Logic (hillelwayne.com)
  by surprisetalk 2 days ago | discuss
• 5 PythonOS – A tiny OS that boots into Python (github.com)
  by indigodaddy a day ago | discuss
• 110 On Really Trying (2009) (gwern.net)
  by whoami_nr 3 days ago | 66 comments
• 50 Show HN: Self-hosted company OS, Claude Code and Codex agents in departments (github.com)
  by dimitrismrtzs 3 days ago | 15 comments
• 41 CXMT Pioneers Mass-Production of LPDDR6 (cxmt.com)
  by ENOMEM 3 days ago | 25 comments
• 108 ZX Spectrum: Experimenting with 1-Bit Sound (bumbershootsoft.wordpress.com)
  by ibobev 4 days ago | 37 comments
• 78 The Microeconomics of Artificial Intelligence (2025) (direct.mit.edu)
  by neehao 6 days ago | 47 comments
• 58 Why Emacs Consult async searches feel slow and how to speed them up (jamescherti.com)
  by mpweiher 3 days ago | 23 comments
• 436 Astra for Coding: Why Are We Doing This Again? (lucumr.pocoo.org)
  by manojbajaj95 a day ago | 328 comments
• 83 We accidentally built a synthetic cell factory (bnext.bio)
  by rajivm 3 days ago | 8 comments
• 64 Playing whack-a-mole is losing (dadrian.io)
  by surprisetalk 3 days ago | 23 comments
• 15 Open-weights world models' parameter size doubles every ~6 months (twitter.com)
  by kaarelson a day ago | 8 comments
• 58 DeepSeek v4.1 Flash Uncensored (huggingface.co)
  by soltanov a day ago | 26 comments
• 808 Ask HN: Can we please limit the AI news flood?
  by cromka a day ago | 377 comments ask
• 285 Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses (quesma.com)
  by stared 4 days ago | 140 comments
• 4 Show HN: HolaOS––An Opensourced workspace that alternative to Claude (github.com)
  by TommyKKam a day ago | discuss
• 247 Mercury 2.5 (inceptionlabs.ai)
  by Topfi 4 days ago | 54 comments
• 13 Michigan coal plant [J.H. Campbell] set to close was illegally kept open (freep.com)
  by toomuchtodo 19 hours ago | 1 comments
• 66 ElevenLabs Music v2.5 (elevenmusic.io)
  by sigvef 20 hours ago | 78 comments
• 79 Show HN: Toast, a beautiful by default in terminal IDE (github.com)
  by dividedcomet a day ago | 88 comments
• 93 Connecting the machines (herdr.dev)
  by collinmanderson 4 days ago | 35 comments
• 8 Thinking with Looped Flows (arxiv.org)
  by E-Reverance a day ago | 1 comments
• 277 Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs (github.com)
  by Argonautlabs 4 days ago | 155 comments
• 71 1M+ German households have hung solar panels off their balcony railings (spacedaily.com)
  by nixass 2 days ago | 22 comments
• 35 New app: Yesterday, an iPhone app for yesterday's weather (interconnected.org)
  by surprisetalk 3 days ago | 6 comments
• 130 Google stole open source code without crediting the authors (Artemis/Minitap) (minitap.ai)
  by MysteryPancake 14 hours ago | 25 comments
• 198 Live map of public transport in Belgium (openbaarvervoerbelgie.be)
  by coinfused 5 days ago | 79 comments
• 56 The Gemini app is now available for Windows (blog.google)
  by quysala12 a day ago | 44 comments
• 11 UK Police to crack down on face coverings at protests (bbc.co.uk)
  by a2fz 18 hours ago | 2 comments
• 17 Paying for Driving (maxmautner.com)
  by mslate 20 hours ago | 1 comments