Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. CobaltC now has a compiler (for Linux)(github.com/strawberry9)
    1 pointsby 3 minutes ago
    —discuss
  2. First Petabit-Class Transoceanic Subsea Cable(fb.com)
    1 pointsby 6 minutes ago
    —discuss
  3. Ask HN: Engineers on highly polished products, how are you using agentic coding?
    2 pointsby 9 minutes ago
    1comments
  4. Which AI model should your team use for Ansible(steampunk.si)
    2 pointsby 9 minutes ago
    —discuss
  5. Unreal Agent An async-first agent harness(github.com/unreallabsai)
    1 pointsby 15 minutes ago
    —discuss
  6. Transformers now runs llama.cpp quants(huggingface.co)
    1 pointsby 16 minutes ago
    —discuss
  7. Australia's giant data-centre boom(economist.com)
    1 pointsby 20 minutes ago
    —discuss
  8. Avhash: BlurHash replacement, using a AV1 frame with container headers stripped(github.com/keithamus)
    2 pointsby 23 minutes ago
    —discuss
  9. Show HN: Ceptile AI Search platform which combines web results with AI chat(ceptile.com)
    1 pointsby 24 minutes ago
    —discuss
  10. Claude Opus 5.5 – Pelican Game(riba2534.cn)
    3 pointsby 27 minutes ago
    2comments
  11. I Gave My Life over to Meta's A.I. Agent and Was Blown Away(nytimes.com)
    2 pointsby 28 minutes ago
    1comments
  12. El Niño projected to cause 450k deaths in next six months(theguardian.com)
    5 pointsby 31 minutes ago
    1comments
  13. Mastering LLM Inference Optimization(machinelearningmastery.com)
    2 pointsby 32 minutes ago
    —discuss
  14. The Rio Grande's pecan problem (2025)(hcn.org)
    2 pointsby 38 minutes ago
    —discuss
  15. Show HN: Visually orchestrate Claude Code AI agents(github.com/rondoflow)
    2 pointsby 39 minutes ago
    —discuss
  16. Benzi – Code Intelligence MCP/Harness beating Claude Code and CodeGraph(varianttech.net)
    2 pointsby 41 minutes ago
    1comments
  17. A Summer of AI Optimization(lemire.me)
    2 pointsby 43 minutes ago
    —discuss
  18. Serious editors are a commitment (at least for me)(utcc.utoronto.ca)
    2 pointsby 47 minutes ago
    1comments
  19. Empire of Grift(theatlantic.com)
    1 pointsby 47 minutes ago
    —discuss
  20. CIC + EM ⊢ Con(ZF)(arxiv.org)
    1 pointsby 48 minutes ago
    —discuss
  21. Fifty Years of Open Source Software Supply Chain Security(acm.org)
    3 pointsby 48 minutes ago
    —discuss
  22. One public idea you can take further(actwise.ai)
    1 pointsby 49 minutes ago
    1comments
  23. Three brain myths that need to die(nicholaraihani.substack.com)
    1 pointsby 49 minutes ago
    —discuss
  24. Let's make billion dollar companies richer
    2 pointsby 53 minutes ago
    3comments
  25. Province of BC Sues OpenAI and Sam Altman over Tumbler Ridge School Shooting(theguardian.com)
    4 pointsby 59 minutes ago
    3comments
  26. Cat of War(medium.com/luminasticity)
    1 pointsby 1 hour ago
    —discuss
  27. Modern Mac Hosts-File editor «Hedit» now open source and free to use(github.com/valtlfelipe)
    1 pointsby 1 hour ago
    —discuss
  28. How often do you think about the 1893 World's Fair?(thebirthofacapital.info)
    2 pointsby 1 hour ago
    —discuss
  29. Dan Greenheck: "I think it's time to hang up my Three.js hat."(twitter.com/dangreenheck)
    4 pointsby 1 hour ago
    —discuss
  30. Opus 5.5 turned Ozymandias into a cinematic browser animation(echohive.ai)
    1 pointsby 1 hour ago
    —discuss

CIC + EM ⊢ Con(ZF)

1 pointsby 48m agoarxiv.org
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗