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. Show HN: Empire Compression – 2GB → 8MB (99.6% SHA-Verified, CPU Only) (gist.githubusercontent.com)
   1 points by EntropyRaider 11 days ago | 4 comments
2. A Global Database of Society (www.gdeltproject.org)
   2 points by doener 5 days ago | discuss
3. Show HN: I invented a new generative model and got accepted to ICLR (discrete-distribution-networks.github.io)
   656 points by diyer22 15 days ago | 91 comments
4. Gemini 2.5 Computer Use model (blog.google)
   636 points by mfiguiere 17 days ago | 325 comments
5. Your data model is your destiny (notes.mtb.xyz)
   401 points by hunglee2 10 days ago | 107 comments
6. Why the push for Agentic when models can barely follow a simple instruction? (forum.cursor.com)
   328 points by fork-bomber 11 days ago | 378 comments
7. A Gemma model helped discover a new potential cancer therapy pathway (blog.google)
   225 points by alexcos 9 days ago | 59 comments
8. New coding models and integrations (ollama.com)
   221 points by meetpateltech 9 days ago | 70 comments
9. Extract-0: A specialized language model for document information extraction (arxiv.org)
   195 points by henriquegodoy 24 days ago | 58 comments
10. Mesh2Motion – Open-source web application to animate 3D models (mesh2motion.org)
    176 points by Splizard about 13 hours ago | 33 comments
11. Recursive Language Models (RLMs) (alexzhang13.github.io)
    135 points by talhof8 9 days ago | 35 comments
12. The Dragon Hatchling: The missing link between the transformer and brain models (arxiv.org)
    133 points by thatxliner 2 days ago | 95 comments
13. Antislop: A framework for eliminating repetitive patterns in language models (arxiv.org)
    118 points by Der_Einzige 1 day ago | 109 comments
14. Modeling Others' Minds as Code (arxiv.org)
    66 points by PaulHoule 4 days ago | 43 comments
15. Reasoning is not model improvement (manidoraisamy.com)
    62 points by QueensGambit 1 day ago | 84 comments
16. New computer model helps reveal how the brain both adapts and misfires (now.tufts.edu)
    60 points by XzetaU8 8 days ago | 19 comments
17. Grok is now the most popular model on OpenRouter (openrouter.ai)
    58 points by surprisetalk 25 days ago | 46 comments
18. Show HN: Modeling the human body in Rust so I can cmd+click through it (github.com)
    46 points by lleong1618 14 days ago | 47 comments
19. Self-supervised learning, JEPA, world models, and the future of AI [video] (www.youtube.com)
    46 points by twoodfin 22 days ago | 46 comments
20. Tesla unveils cheaper versions of its Model 3 and Model Y (www.cnn.com)
    44 points by supportengineer 17 days ago | 45 comments
21. RTFM: A Real-Time Frame Model (www.worldlabs.ai)
    44 points by lairv 8 days ago | 13 comments
22. Digital Threat Modeling Under Authoritarianism (www.schneier.com)
    37 points by baobun 26 days ago | 1 comments
23. Samsung released a 7M model that achieved 45% on ARC-AGI-1 (arxiv.org)
    34 points by chintler 16 days ago | 12 comments
24. Why We Need Arabic Language Models (www.natureasia.com)
    33 points by thinkingemote 5 days ago | 10 comments
25. Understanding RL for model training, and future directions with GRAPE (arxiv.org)
    33 points by sonabinu 28 days ago | 1 comments
26. Thread First – A model for chat experiences (progressdb.dev)
    27 points by hasante 12 days ago | 8 comments
27. The optimistic case for protein foundation model companies (www.owlposting.com)
    18 points by crescit_eundo 13 days ago | discuss
28. Fine-Tune Black Box Embedding Models (arxiv.org)
    10 points by mingtianzhang 26 days ago | 1 comments
29. Krea Realtime 14B: an open-source real-time video model (www.krea.ai)
    9 points by dvrp 4 days ago | discuss
30. Tesla's 'affordable' EVs are just stripped down versions of the Model 3 and Y (www.theverge.com)
    8 points by ceejayoz 17 days ago | 1 comments