Hackernews posts about Nexus

1. AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures (cryptobriefing.com)
   24 points by hackernj 29 days ago | 2 comments
2. Nexus – open-source AI gateway for enterprise LLM traffic (github.com)
   4 points by jjrhodes 26 days ago | discuss
3. Nexus Q Revival (mikevoyt.github.io)
   2 points by tmp10423288442 11 days ago | discuss
4. NexusOS v2.0 – A zero-dependency pipeline streaming server chaos to Parquet (huggingface.co)
   2 points by nexus_os 13 days ago | discuss
5. Show HN: Nexus, ask AI about sensitive spreadsheets locally (github.com)
   2 points by scottbuilds 17 days ago | discuss
6. Attow Nexus – Git for AI agent state (github.com)
   2 points by Suleiman_Harb 17 days ago | discuss
7. Safe, LeSS and Nexus don't work (www.leadinginproduct.com)
   2 points by benkan 19 days ago | discuss
8. Google DeepMind's AlphaProof Nexus solves decades-old math problems (the-decoder.com)
   2 points by gmays 23 days ago | discuss
9. AlphaProof Nexus is out, but Hassabis said solving Erdős isn't real invention (www.youtube.com)
   1 points by muditsrivastava 27 days ago | discuss
10. Show HN: Dense NYT style crossword puzzle generation with Rust and Claude (github.com)
    3 points by ekorbia 14 days ago | discuss
11. Show HN: Glq LLM quantization using E8 lattice (github.com)
    2 points by acd 20 days ago | discuss
12. Offres D'emploi EN RDC – Disponibles Sur Kivuhub Emplois (Kivuhub.net) June 2026
    1 points by kivuhub 16 days ago | discuss
13. LifeOS – you’re bad at running your life, hand it over to AI. (lifeos.nexus)
    7 points by andrewstuart 1 day ago | discuss
14. Show HN: AgentNexus – coordinate LLM agents by service boundary, not role (github.com)
    6 points by dugubuyan 8 days ago | discuss
15. Why local AI – and why it matters (nexusfoundation.ngo)
    3 points by kris_osiadacz 2 days ago | discuss
16. Building a zero-cloud, local semantic indexing engine for AI agents (entempsllc.github.io)
    1 points by Singhucla 16 days ago | discuss
17. Ask HN: Favorite aspects of Cocoa/NeXTSTEP for app dev?
    3 points by elcritch about 10 hours ago | discuss
18. Tell HN: A new Nginx 0-day just dropped
    11 points by etenal 3 days ago | 2 comments
19. DOGE plan would have marked 2.7M living people as dead: Whistleblower (thehill.com)
    16 points by hn_acker 15 days ago | discuss
20. Against an Increasingly User-Hostile Web (2017) (neustadt.fr)
    3 points by arunc 16 days ago | discuss
21. Apple WWDC 2026 (www.apple.com)
    265 points by nextstep 13 days ago | 533 comments
22. Prosody IM 13.0.6 released – An XMPP/Jabber server written in Lua (blog.prosody.im)
    27 points by neustradamus 25 days ago | discuss
23. Wine 11.10 – Run Windows Applications on Linux, BSD, Solaris and macOS (www.winehq.org)
    13 points by neustradamus 23 days ago | 3 comments
24. Openfire Java XMPP/Jabber 5.1.0 Released with Channel Binding for More Security (discourse.igniterealtime.org)
    4 points by neustradamus 18 days ago | 1 comments
25. Slixmpp 1.16.0 – XMPP/Jabber Library for Python – SleekXMPP (blog.mathieui.net)
    3 points by neustradamus 11 days ago | discuss
26. Why Switzerland Needs a Population Cap and a Fiscal Shift Beyond Labour (rdellatorre.substack.com)
    3 points by nextstep 24 days ago | discuss
27. Proxmox Mail Gateway 9.1 released (proxmox.com)
    2 points by neustradamus 10 days ago | discuss
28. Picomemo 1.2.0 – Portable OMEMO implementation in C (github.com)
    2 points by neustradamus 20 days ago | discuss
29. Monal IM 6.4.21 released – open-source Jabber/XMPP client for macOS and iOS (monal-im.org)
    2 points by neustradamus 21 days ago | discuss
30. WinMerge 2.16.56.2 – A Windows tool for visual difference display and merging (github.com)
    2 points by neustradamus 24 days ago | discuss