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. Ask HN: Douglas Hofstadter's 2^5 page letter to Robert Burninger
   1 points by snthpy 15 days ago | discuss
2. Telemetry in Go 1.23 and Beyond (go.dev)
   39 points by dpiddy 16 days ago | 10 comments
3. Competing in Search (www.ben-evans.com)
   1 points by goeldhru 30 days ago | discuss
4. Diffusion models are real-time game engines (gamengen.github.io)
   1149 points by jmorgan 23 days ago | 409 comments
5. Notes on OpenAI's new o1 chain-of-thought models (simonwillison.net)
   697 points by loganfrederick 7 days ago | 629 comments
6. OpenSCAD: The Programmer's Solid 3D CAD Modeller (openscad.org)
   474 points by LorenDB 5 days ago | 187 comments
7. Moshi: A speech-text foundation model for real time dialogue (github.com)
   311 points by gkucsko 1 day ago | 53 comments
8. Llama 3.1 Omni Model (github.com)
   289 points by taikon 1 day ago | 40 comments
9. What's Going on in Machine Learning? Some Minimal Models (writings.stephenwolfram.com)
   239 points by taywrobel 28 days ago | 70 comments
10. Reflection 70B, the top open-source model (twitter.com)
    234 points by GavCo 14 days ago | 95 comments
11. Tutorial on diffusion models for imaging and vision (arxiv.org)
    220 points by Anon84 9 days ago | 18 comments
12. Reader-LM: Small Language Models for Cleaning and Converting HTML to Markdown (jina.ai)
    199 points by matteogauthier 8 days ago | 43 comments
13. Radiology-specific foundation model (harrison.ai)
    183 points by pyromaker 10 days ago | 140 comments
14. Mistral releases Pixtral 12B, its first multimodal model (techcrunch.com)
    163 points by jerbear4328 8 days ago | 40 comments
15. The Waterfall Model was a straw man argument from the beginning (2015) (www.jjinux.com)
    161 points by ern 4 days ago | 170 comments
16. Qwen2.5: A Party of Foundation Models (qwenlm.github.io)
    158 points by apsec112 about 23 hours ago | 35 comments
17. Graph Language Models (aclanthology.org)
    123 points by Anon84 16 days ago | 14 comments
18. Transfusion: Predict the next token and diffuse images with one multimodal model (www.arxiv.org)
    121 points by fzliu 10 days ago | 10 comments
19. Foundation for Human Vision Models (github.com)
    110 points by yoknapathawa 26 days ago | 21 comments
20. Launch HN: Outerport (YC S24) – Instant hot-swapping for AI model weights
    93 points by tovacinni 29 days ago | 24 comments
21. ClickHouse Data Modeling for Postgres Users (clickhouse.com)
    80 points by saisrirampur 9 days ago | 9 comments
22. Sapiens: Foundation for Human Vision Models (arxiv.org)
    58 points by soulofmischief 22 days ago | 1 comments
23. OpenAI and Anthropic agree to send models to US Government for safety evaluation (venturebeat.com)
    57 points by RafelMri 16 days ago | 59 comments
24. Apple to upgrade base Macs to 16GB RAM, starting from Apple M4 models (www.business-standard.com)
    56 points by ripjaygn 24 days ago | 103 comments
25. Data Modeling SaaS Entitlements and Pricing (garrettdimon.com)
    51 points by jnunemaker 28 days ago | 2 comments
26. Open Source is not a Business Model (cra.mr)
    47 points by Brajeshwar 9 days ago | 30 comments
27. OpenAI's new models 'instrumentally faked alignment' (www.transformernews.ai)
    46 points by nickthegreek 7 days ago | 13 comments
28. Manipulating large language models to increase product visibility (arxiv.org)
    45 points by bookofjoe 13 days ago | 19 comments
29. Provable Security of Linux-DRBG in the Seedless Robustness Model [pdf] (eprint.iacr.org)
    43 points by zx2c4 3 days ago | 3 comments
30. Talaria: Interactively Optimizing Machine Learning Models for Efficient Inferenc (arxiv.org)
    41 points by quantisan 10 days ago | 5 comments