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. Nanopositioning Metrology, Gödel, and Bootstraps (www.pi-usa.us)
   3 points by nill0 4 days ago | discuss
2. What do you think about the Huxley Godel machine (arxiv.org)
   2 points by pranav_dhoolia 20 days ago | 1 comments
3. Show HN: The Participatory Interface Theory
   1 points by bobsh 11 days ago | 1 comments
4. Show HN: Gemini made a game to destroy all websites (twitter.com)
   3 points by godlabs 19 days ago | discuss
5. Show HN: Micdrop – open-source web framework for voice conversational AI (github.com)
   3 points by Godefroy 24 days ago | discuss
6. Show HN: Multi langugage parser for local code comprenhension (substack.com)
   1 points by Aelune_GoDev 7 days ago | discuss
7. DeepSeek-v3.2: Pushing the frontier of open large language models [pdf] (huggingface.co)
   982 points by pretext 7 days ago | 464 comments
8. Yann LeCun to depart Meta and launch AI startup focused on 'world models' (www.nasdaq.com)
   841 points by MindBreaker2605 27 days ago | 653 comments
9. Mistral 3 family of models released (mistral.ai)
   822 points by pember 7 days ago | 236 comments
10. Heretic: Automatic censorship removal for language models (github.com)
    745 points by melded 23 days ago | 380 comments
11. Meta Segment Anything Model 3 (ai.meta.com)
    692 points by lukeinator42 19 days ago | 134 comments
12. A new Google model is nearly perfect on automated handwriting recognition (generativehistory.substack.com)
    553 points by scrlk 28 days ago | 313 comments
13. Apple Releases Open Weights Video Model (starflow-v.github.io)
    450 points by vessenes 7 days ago | 169 comments
14. Gemini 3 Pro Model Card (pixeldrain.com)
    431 points by Topfi 21 days ago | 2 comments
15. Z-Image: Powerful and highly efficient image generation model with 6B parameters (github.com)
    392 points by doener 9 days ago | 150 comments
16. Olmo 3: Charting a path through the model flow to lead open-source AI (allenai.org)
    390 points by mseri 18 days ago | 125 comments
17. WeatherNext 2: Our most advanced weather forecasting model (blog.google)
    291 points by meetpateltech 22 days ago | 131 comments
18. Gemini 3 Pro Model Card [pdf] (storage.googleapis.com)
    280 points by virgildotcodes 21 days ago | 335 comments
19. Marble: A Multimodal World Model (www.worldlabs.ai)
    267 points by meetpateltech 26 days ago | 83 comments
20. The Principles of Diffusion Models (arxiv.org)
    239 points by Anon84 29 days ago | 31 comments
21. The current state of the theory that GPL propagates to AI models (shujisado.org)
    221 points by jonymo 12 days ago | 309 comments
22. Show HN: OCR Arena – A playground for OCR models (www.ocrarena.ai)
    216 points by kbyatnal 17 days ago | 63 comments
23. We ran over 600 image generations to compare AI image models (latenitesoft.com)
    204 points by kalleboo 27 days ago | 103 comments
24. Fara-7B: An efficient agentic model for computer use (github.com)
    191 points by maxloh 12 days ago | 85 comments
25. Meta Segment Anything Model 3 (ai.meta.com)
    178 points by alcinos 19 days ago | 48 comments
26. Show HN: Tiny Diffusion – A character-level text diffusion model from scratch (github.com)
    172 points by nathan-barry 29 days ago | 20 comments
27. Sharper MRI scans may be on horizon thanks to new physics-based model (news.rice.edu)
    159 points by hhs 17 days ago | 35 comments
28. Why Fei-Fei Li and Yann LeCun are both betting on "world models" (entropytown.com)
    141 points by signa11 25 days ago | 95 comments
29. Exploring the limits of large language models as quant traders (nof1.ai)
    137 points by rzk 20 days ago | 99 comments
30. Multimodal Diffusion Language Models for Thinking-Aware Editing and Generation (github.com)
    136 points by lnyan 20 days ago | 12 comments