HN Explorer

Browse Hacker News

7,135 matching stories

[ 194 ms ] page + count
  1. Formalizing Julia in Lean (and finding 400 bugs in Base) (discourse.julialang.org)
    1 points by anewhnaccount2 0
  2. Agents don't suggest the use of LLMs for problems where they should (arbustoemchamas.substack.com)
    1 points by pajtai 0
  3. Spec-driven AI development for insurance claims rule changes [video] (youtube.com)
    1 points by Harish_0089 0
  4. An alternative to sharding a MongoDB replica set that outgrew its memory (percona.com)
    1 points by 0xKelsey 0
  5. The Psychology of Seduction: How to Become Impossible to Ignore – Robert Greene (youtube.com)
    1 points by mehtahet619 0
  6. Some Memories of Early Anthropic (nothinghuman.substack.com)
    1 points by chasingbrains 0
  7. Aleph – a declarative programming language for AI agents (aleph-lang.com)
    1 points by Matangub 0
  8. Geolocating any audio recording using flight data and the Doppler Effect (techradar.com)
    1 points by vrganj 0
  9. Show HN: Vitekube – Vitest on real Kubernetes clusters (github.com)

    I got tired of trying to run k8s integration tests with spaghetti mess of docker compose files + orchestration scripts. So I rebuilt my custom stuff as plain Vitest extension. If you know how to use Vitest you already…

    1 points by kodisha 0
  10. Show HN: teletap – Your remote coding agents ask you when stuck

    Hi HN! I'm Manuel, CTO of Tandem. Most of our PRs are now written by custom coding agents on remote hosts. But we had a recurring problem: they sometimes lacked product context and consequently guessed too much. This…

    1 points by megalomanu 2
  11. "Communion of Saints" on reaching new spiritual echelons via LLMs (harpers.org)
    1 points by YPGolyadkin 0
  12. Machines Building Machines (anderegg.ca)
    1 points by Brajeshwar 0
  13. Independent Digital Media Is Not a Privilege Governments Can Revoke (eff.org)
    1 points by hn_acker 1
  14. Ask HN: How are you making sites/APIs agent-ready?

    Are you doing anything special or just being predictable and explicit?

    1 points by dieselgate 3
  15. The MustCreate Pattern for Go Tests (mtlynch.io)
    1 points by birdculture 1
  16. MarQ – Project board where AI agents lease tasks over MCP (marqpm.com)
    1 points by andreuvm 0
  17. Australia's Canva to cut 22% of jobs as growth slows for first time in a decade (reuters.com)
    1 points by frank_clover 1
  18. Show HN: Search Everywhere at Once. Instantly (antisoftworks.com)

    I've made AntiFind, to allow you to search everywhere at once, vastly increasing the efficency of LLM's and your own searches: AntiFind indexes filesystems, not folders. It maintains a live view of storage by reading…

    1 points by civnode 1
  19. A Farewell to Swift (science.nasa.gov)
    1 points by titusblair 1
  20. Show HN: Continuum Verifier – offline checks for AI data-provenance records (github.com)
    1 points by PampersMuffin 0
  21. Foundations of Large Language Models (arxiv.org)
    1 points by manojbajaj95 0
  22. USA vs China: Who Spent $4T Better? [video] (youtube.com)
    1 points by karakoram 0
  23. Ask HN: Is MCP's real moat now adoption?

    MCP was pitched as a fix for M*N integration problem, expose your data and tools through MCP once, and any compatible agent can use them. Two things have since kinda changed? 1. An agent can now lookup APIs,…

    1 points by mahulbh 5
  24. Your Cryptography Conspiracy Theory Is Wrong (soatok.blog)
    1 points by zdw 4
  25. Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing (arxiv.org)
    1 points by measurablefunc 0