Hackernews posts about Gödel

Gödel is Kurt Friedrich Gödel, an Austrian mathematician and logician who made groundbreaking contributions to the fields of mathematics, philosophy, and computer science in the early 20th century.

1. Gödel and Turing outlined the limits of AI (www.heise.de)
   2 points by bertman 21 days ago | discuss
2. Outsourcing plus local AI will soon become more economical vs. frontier labs (www.signalbloom.ai)
   323 points by GodelNumbering 29 days ago | 374 comments
3. OSS models decisively overtook Proprietary models in openrouter market share (dirac.run)
   4 points by GodelNumbering 6 days ago | 1 comments
4. Don't Conflate 'Minimal' with Minimal Effort (dirac.run)
   2 points by GodelNumbering 4 days ago | discuss
5. GMass CEO Ajay Goel grew to $8.6M revenue and 200K customers in 2024 (getlatka.com)
   2 points by mmarian 10 days ago | discuss
6. Oracles and Recursive Self Improvement
   2 points by rando77 4 days ago | discuss
7. Zerostack v1.3.4 released – Lightweight Unix-inspired coding agent (crates.io)
   13 points by gidellav 24 days ago | 3 comments
8. Zerostack v1.3.4 released – Lightweight Unix-like coding agent (github.com)
   6 points by gidellav 25 days ago | discuss
9. Claude Code is dead, the future is open (claude-code-is-dead.vercel.app)
   4 points by gidellav 9 days ago | discuss
10. Claude Code Is Dead (claude-code-is-dead.vercel.app)
    4 points by gidellav 10 days ago | discuss
11. What we built in 2 weeks zerostack – the lightweight coding agent (rocketup.pages.dev)
    4 points by gidellav 24 days ago | discuss
12. Zerostack v1.5 – Lightweight Unix-inspired coding agent (github.com)
    3 points by gidellav 10 days ago | discuss
13. Show HN: Zerostack, an open coding agent optimized for memory footprint (gi-dellav.github.io)
    3 points by gidellav 20 days ago | discuss
14. Claude Code Is Dead (claude-code-is-dead.vercel.app)
    2 points by gidellav 9 days ago | 1 comments
15. Multistack 1.0 – Lightweight TUI for orchestrating coding agents (crates.io)
    2 points by gidellav 9 days ago | discuss
16. Zerostack 1.5 – Lightweight Unix-inspired coding agent (crates.io)
    2 points by gidellav 9 days ago | discuss
17. Zerostack v1.5 – A Unix-inspired coding agent written in pure Rust (crates.io)
    2 points by gidellav 9 days ago | discuss
18. Multistack – Lightweight TUI for orchestrating coding agents (github.com)
    2 points by gidellav 10 days ago | discuss
19. Simple memory design for AI agents (from zerostack's dev) (rocketup.pages.dev)
    2 points by gidellav 23 days ago | discuss
20. Custom Prompts: a minimal, customizable alternative to Skills (rocketup.pages.dev)
    1 points by gidellav 12 days ago | discuss
21. Running local models is good now (vickiboykis.com)
    1589 points by jfb 8 days ago | 606 comments
22. Ask HN: Has anyone replaced Claude/GPT with a local model for daily coding?
    1311 points by cloudking 9 days ago | 562 comments
23. Gemma 4 12B: A unified, encoder-free multimodal model (blog.google)
    1062 points by rvz 21 days ago | 401 comments
24. GLM-5.2 is the new leading open weights model on Artificial Analysis (artificialanalysis.ai)
    911 points by himata4113 7 days ago | 444 comments
25. Amazon CEO's talks with U.S. officials triggered crackdown on Anthropic models (www.wsj.com)
    800 points by ls612 11 days ago | 594 comments
26. Apple reveals new AI architecture built around Google Gemini models (www.macrumors.com)
    738 points by unclefuzzy 16 days ago | 566 comments
27. MiMo-v2.5-Pro-UltraSpeed: 1T model with 1000 tokens per second (mimo.xiaomi.com)
    628 points by gainsurier 16 days ago | 489 comments
28. CS336: Language Modeling from Scratch (cs336.stanford.edu)
    558 points by kristianpaul 23 days ago | 51 comments
29. Apertus – Open Foundation Model for Sovereign AI (apertvs.ai)
    531 points by T-A 2 days ago | 182 comments
30. FUTO Swipe – A new swipe typing model (swipe.futo.tech)
    511 points by futohq about 15 hours ago | 160 comments