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. Ordinal definability–how did Gödel do it? (www.infinitelymore.xyz)
   2 points by baruchel 1 day ago | discuss
2. Ask HN: New way of organizing Mathematical Research
   2 points by youoy 10 days ago | 4 comments
3. Ask HN: What is one plausible path to 'AI extinction'?
   3 points by GodelNumbering 1 day ago | 5 comments
4. There is no way to get ChatGPT to stop injecting your location in context (chatgpt.com)
   2 points by GodelNumbering about 16 hours ago | 2 comments
5. GoBench: Evaluating LLMs on 9×9 Go using KataGo opponents as Elo anchors (rolandgao.com)
   2 points by GodelNumbering 5 days ago | 1 comments
6. Show HN: Pinocchio: Harness for Verifiable Work (pinocchio.goedelmachines.com)
   1 points by lazaruslong 8 days ago | discuss
7. Show HN: Multistack, a TUI environment for parallel coding agents (github.com)
   5 points by gidellav 14 days ago | 1 comments
8. Show HN: Otter, a multi-threaded JavaScript runtime capable of 1k+ threads (github.com)
   4 points by gidellav 14 days ago | discuss
9. USD Grants for OSS, Made by Guillermo Rauch (CEO Vercel) (rauchg-oss-grants.vercel.app)
   3 points by gidellav 13 days ago | discuss
10. Show HN: Otter: experimental multi-threaded JavaScript runtime written in Rust (github.com)
    3 points by gidellav 27 days ago | discuss
11. Show HN: Anypick, open library for filtering LLMs based on capabilites and price (github.com)
    1 points by gidellav 14 days ago | discuss
12. Introducing System One Models and Jev (typesafe.ai)
    1946 points by albelfio 6 days ago | 511 comments
13. I built non-autoregressive decision models with RL a year ago (laya.convaiinnovations.com)
    1328 points by nandakishor_ml 3 days ago | 314 comments
14. Anthropic's best AI model struggles to attract users as cheaper tools thrive (www.ft.com)
    821 points by naves 29 days ago | 701 comments
15. Small Models Have Arrived (calv.info)
    800 points by tosh 26 days ago | 347 comments
16. I spent $266 and four AI models to own my tablet. GLM-5.3 finished it in a day (ericpardee.github.io)
    706 points by dr_pardee 30 days ago | 293 comments
17. Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
    698 points by polyphilz 5 days ago | 144 comments
18. Pirate Face Rescues LLM Models from Deletion (pirateface.co)
    548 points by skepticalgenius 1 day ago | 146 comments
19. Desert Ant Labs: local, fast models that run on device (desertant.com)
    489 points by willwhitedc 13 days ago | 104 comments
20. Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra (cognition.com)
    446 points by seelos 12 days ago | 194 comments
21. Z.ai confirms Ox Alpha is a new GLM-series model and will release its weights (www.bloomberg.com)
    435 points by garo-pro 27 days ago | 146 comments
22. Kev: Tiny Jev-like family of decision models built on top of Qwen3.5 (github.com)
    420 points by tosh about 22 hours ago | 191 comments
23. Garry Tan wants US open-weight AI labs to 'distill' frontier models, too (techcrunch.com)
    416 points by TheJCDenton 9 days ago | 239 comments
24. CCC invites all model citizens to 40C3 (events.ccc.de)
    372 points by antonly 5 days ago | 230 comments
25. My local model setup on an M4 Pro Mac Mini (lws.io)
    336 points by raybb 20 days ago | 199 comments
26. K2 Horizon: A connected fleet of six open models (ifm.ai)
    335 points by karimf 19 days ago | 131 comments
27. David Sacks: OpenAI and Anthropic Don't Need Regulations to Pace Frontier Models (twitter.com)
    332 points by kolanos 8 days ago | 262 comments
28. Fable 5.1 World Modeling (github.com)
    327 points by surreal_ 19 days ago | 108 comments
29. Real-SWE: Benchmarking AI models on private, real-world, enterprise codebases (withspecific.com)
    275 points by theanonymousone 9 days ago | 157 comments
30. Atlas: A World Model for Spatial Intelligence (www.worldlabs.ai)
    271 points by johnsutor 20 days ago | 59 comments