HNNewShowAskJobs Built with Analog
  • 1 Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    by PaulHoule 2 minutes ago discuss
  • 1 Terence Tao: AI contributions to Erdős problems (github.com)
    by frozenseven 3 minutes ago discuss
  • 1 Parsing Advances (matklad.github.io)
    by mfrw 5 minutes ago discuss
  • 3 Ask HN: Best Podcasts of 2025? ()
    by adriancooney 7 minutes ago 1 comments
  • 1 Jensen Huang meets with former hostage and Nvidia employee Avinatan Or (ynetnews.com)
    by thenaturalist 8 minutes ago discuss
  • 1 Git and Markdown are all you need (galiglobal.com)
    by antonmry 9 minutes ago 1 comments
  • 1 The Optimal Architecture for Small Language Models (huggingface.co)
    by simonpure 9 minutes ago discuss
  • 1 Nvidia deal a big win for Groq employees (axios.com)
    by seanlinehan 10 minutes ago discuss
  • 1 Show HN: Meter – Web scraping that syncs only what changed (meter.sh)
    by mckinnonr 10 minutes ago discuss
  • 1 Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI (medium.com)
    by sumoaps 10 minutes ago 1 comments
  • 1 Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python (southernadd-cmyk.github.io)
    by adamclement 11 minutes ago discuss
  • 1 Microsoft Open Specifications (learn.microsoft.com)
    by vitorsr 12 minutes ago discuss
  • 1 Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video] (youtube.com)
    by jcsoft 13 minutes ago discuss
  • 3 Bluetooth Headphone Jacking: A Key to Your Phone [video] (media.ccc.de)
    by willnix 13 minutes ago 1 comments
  • 1 Mitra 15 (French minicomputer from the 1970) (en.wikipedia.org)
    by JPLeRouzic 16 minutes ago discuss
  • 3 People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year (wired.com)
    by beardyw 16 minutes ago discuss
  • 1 Radioscope: A device that turns Wi-Fi activity into sound (github.com)
    by simg 17 minutes ago 1 comments
  • 1 Playing Factorio from 1k floppy disks (youtube.com)
    by kllrnohj 18 minutes ago discuss
  • 1 Secret code break that 'solved' the Zodiac killer case (papalinc.com)
    by goloroden 18 minutes ago discuss
  • 1 Show HN: Better Git for KiCad (paplix.io)
    by Mechse 22 minutes ago discuss
  • 1 Show HN: Codenhack – An interactive terminal and live editor for beginners (codenhack.com)
    by codenhack 24 minutes ago discuss
  • 1 Toward Training Superintelligent Software Agents Through Self-Play SWE-RL (arxiv.org)
    by pama 25 minutes ago discuss
  • 1 Do You Remember ISDN? (youtube.com)
    by linsomniac 26 minutes ago 1 comments
  • 1 Zero-days in GPG out in the wild [video] (media.ccc.de)
    by l1am0 26 minutes ago discuss
  • 3 Country makes call to cancel all visas for Americans (thestreet.com)
    by sipofwater 31 minutes ago 1 comments
  • 2 Show HN: mdfocus – A distraction free Markdown reader for your localhost (github.com)
    by timz 31 minutes ago discuss
  • 6 Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler (github.com)
    by pierridotite 32 minutes ago 3 comments
  • 2 GA4 Has Become More Complex – and That's Changing Analytics in the EU ()
    by CheckAnalytic 33 minutes ago discuss
  • 2 Ancient Greek Geometry (sciencevsmagic.net)
    by birdculture 34 minutes ago discuss
  • 1 Show HN: Control Your Telegram with AI (medium.com)
    by orrbenyamini 35 minutes ago discuss