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. The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)
   223 points by birriel 1 day ago | 192 comments
2. Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents (arxiv.org)
   6 points by hardmaru 1 day ago | 1 comments
3. What Gödel's Theorem Reveals About AI Coding Agents (ducky.ai)
   5 points by supercoKyle 4 days ago | 3 comments
4. I Don't Love Gödel, Escher, Bach (2018) (journal.infinitenegativeutility.com)
   5 points by Tomte 12 days ago | 1 comments
5. The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)
   2 points by hardmaru 2 days ago | 1 comments
6. Godel Terminal – web-based Bloomberg Terminal alternative (app.godelterminal.com)
   1 points by zdgeier 20 days ago | discuss
7. An India-Pakistan nuclear war could start–and have global consequences [pdf] (climate.envsci.rutgers.edu)
   2 points by godelmachine 18 days ago | 1 comments
8. China's Superstition Boom in a Godless State (sinopsis.cz)
   4 points by Michelangelo11 10 days ago | 5 comments
9. Rahul Goel (NordSpace) – Building Canada's Sovereign Space Launch Capability [video] (www.youtube.com)
   3 points by Olshansky 25 days ago | discuss
10. Together through the storm: How our university withstood the cyberattack (www.tue.nl)
    1 points by Gadellza 26 days ago | discuss
11. Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)
    381 points by brig90 13 days ago | 132 comments
12. FastVLM: Efficient vision encoding for vision language models (github.com)
    367 points by nhod 19 days ago | 74 comments
13. AniSora: Open-source anime video generation model (komiko.app)
    356 points by PaulineGar 14 days ago | 218 comments
14. Ollama's new engine for multimodal models (ollama.com)
    353 points by LorenDB 16 days ago | 84 comments
15. Ash Framework – Model your domain, derive the rest (ash-hq.org)
    277 points by lawik 21 days ago | 121 comments
16. Type-constrained code generation with language models (arxiv.org)
    257 points by tough 18 days ago | 127 comments
17. Bagel: Open-source unified multimodal model (bagel-ai.org)
    219 points by tosh 6 days ago | 33 comments
18. Intellect-2 Release: The First 32B Model Trained Through Globally Distributed RL (www.primeintellect.ai)
    201 points by Philpax 20 days ago | 65 comments
19. Windsurf SWE-1: Our First Frontier Models (windsurf.com)
    190 points by arittr 16 days ago | 62 comments
20. The Blowtorch Theory: A new model for structure formation in the universe (theeggandtherock.com)
    186 points by surprisetalk 3 days ago | 170 comments
21. Diffusion models explained simply (www.seangoedecke.com)
    168 points by onnnon 12 days ago | 36 comments
22. Loading Pydantic models from JSON without running out of memory (pythonspeed.com)
    133 points by itamarst 9 days ago | 45 comments
23. Show HN: Plexe – ML Models from a Prompt (github.com)
    130 points by vaibhavdubey97 25 days ago | 49 comments
24. Alignment is not free: How model upgrades can silence your confidence signals (www.variance.co)
    121 points by karinemellata 25 days ago | 67 comments
25. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver 9 days ago | 30 comments
26. KumoRFM: A Foundation Model for In-Context Learning on Relational Data (kumo.ai)
    110 points by cliffly 9 days ago | 19 comments
27. What even is a small language model now? (jigsawstack.com)
    109 points by yoeven 11 days ago | 75 comments
28. ACE-Step: A step towards music generation foundation model (github.com)
    109 points by wertyk 25 days ago | 52 comments
29. Launch HN: Relace (YC W23) – Models for fast and reliable codegen
    107 points by eborgnia 4 days ago | 51 comments
30. Tokenization for language modeling: BPE vs. Unigram Language Modeling (2020) (ndingwall.github.io)
    75 points by phewlink 1 day ago | 38 comments