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 Undecidability of BB(748) & Understanding Godel's Incompleteness Theorems [pdf] (www.ingo-blechschmidt.eu)
   3 points by pillars 28 days ago | discuss
2. Gödelian limits of prompt-safe AI (matthodges.com)
   2 points by m-hodges 14 days ago | discuss
3. The Incompleteness of Ethics (aeon.co)
   8 points by i7l 25 days ago | 1 comments
4. ETFs now hold more than $3.1T worth of just top US companies (www.signalbloom.ai)
   91 points by GodelNumbering 18 days ago | 103 comments
5. Show HN: A natural language search interface to ETF (and deep insights on each) (www.signalbloom.ai)
   2 points by GodelNumbering 20 days ago | 1 comments
6. The math, mechanics, and risks of leveraged ETFs (www.signalbloom.ai)
   2 points by GodelNumbering 6 days ago | discuss
7. Building GoReleaser: from shell script to paid product (carlosbecker.com)
   2 points by levlaz 28 days ago | discuss
8. Show HN: I built a free worldwide holiday and disruption tracker (alarms.global)
   9 points by reverseblade2 18 days ago | discuss
9. Wikipedia as a Graph (wikigrapher.com)
   253 points by gidellav 19 days ago | 57 comments
10. Anscombe's Quartet (en.wikipedia.org)
    133 points by gidellav 10 days ago | 26 comments
11. The Helix Text Editor (2024) (jonathan-frere.com)
    111 points by gidellav 10 days ago | 58 comments
12. The rules behing Rust functions (blog.cuongle.dev)
    53 points by gidellav 7 days ago | 14 comments
13. Reusing Computation in Text-to-Image Diffusion for Efficient Image Generation (arxiv.org)
    41 points by gidellav 19 days ago | 2 comments
14. Rust tool for generating random fractals (github.com)
    34 points by gidellav 11 days ago | discuss
15. Sleeper AI agents and how Anthropic detects them [video] (www.youtube.com)
    25 points by gidellav 18 days ago | discuss
16. Microsoft BASIC, now open source (www.pcworld.com)
    15 points by gidellav 11 days ago | 1 comments
17. Dynamically scalable agent-based simulation framework, written in Rust (github.com)
    11 points by gidellav 11 days ago | discuss
18. Bill Gates says that AI will never replace programmers, even in 100 years (www.leravi.org)
    4 points by gidellav 15 days ago | 3 comments
19. LLMs Don't Know Their Own Decision Boundaries (arxiv.org)
    4 points by gidellav 3 days ago | discuss
20. ButterflyQuant: Ultra-low-bit LLM Quantization (arxiv.org)
    4 points by gidellav 3 days ago | discuss
21. Learning on the Fly: Rapid Policy Adaptation via Differentiable Simulation (arxiv.org)
    4 points by gidellav 19 days ago | discuss
22. Pipes: A Meta-Dataset of Machine Learning Pipelines (arxiv.org)
    3 points by gidellav 3 days ago | discuss
23. Secure, Headless, Self-Hosted CI Runner Written in Rust (github.com)
    3 points by gidellav 17 days ago | discuss
24. Bonini's paradox – The more complete a model is, the harder it is to understand (en.wikipedia.org)
    2 points by gidellav 10 days ago | discuss
25. Hakani – one-time secret sharing software, written in Rust (hakanai.link)
    2 points by gidellav 10 days ago | discuss
26. Typeman, a neat typing test for the terminal (github.com)
    2 points by gidellav 11 days ago | discuss
27. 2D Blackhole Simulation, Compiled to WASM (dr0pdev.github.io)
    1 points by gidellav 11 days ago | discuss
28. WhichLang: Language Detection Library in Rust (quickwit.io)
    1 points by gidellav 17 days ago | discuss
29. A multi-task neural network for atypical mitosis recognition under domain shift (arxiv.org)
    1 points by gidellav 19 days ago | discuss
30. Models of European metro stations (stations.albertguillaumes.cat)
    735 points by tcumulus 4 days ago | 159 comments