Hackernews posts about VictorTaelin

  1. VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com)
    38 points by hyperbrainer 3 months ago | 5 comments
  2. Discovering algorithms by enumerating terms in Haskell (twitter.com)
    143 points by agomez314 9 months ago | 48 comments
  3. HVM updates: simplifications, finally runs on GPUs, 80x speedup on RTX 4090 (twitter.com)
    91 points by LightMachine over 1 year ago | 29 comments
  4. LLMs can't simulate a Turing machine reliably (twitter.com)
    56 points by Michelangelo11 about 1 year ago | 66 comments
  5. Implementing complex numbers and FFT with just algebraic datatypes (no floats) (gist.github.com)
    8 points by LightMachine almost 2 years ago | discuss
  6. Bend: High-level language that runs on GPUs (twitter.com)
    7 points by drak0n1c 11 months ago | 1 comments
  7. A::B (twitter.com)
    7 points by pierre about 1 year ago | 1 comments
  8. Show HN: ChatSH – a terminal where GPT writes the commands for you (github.com)
    7 points by LightMachine almost 2 years ago | discuss
  9. SAT can be solved surprisingly quickly via superposed bools on Interaction Nets (gist.github.com)
    6 points by LightMachine over 1 year ago | 1 comments
  10. "Impossible" GPT Challenge Beaten in Hours (twitter.com)
    5 points by bratao about 1 year ago | 1 comments
  11. A simple puzzle GPTs will NEVER solve (twitter.com)
    3 points by tosh about 1 year ago | 2 comments
  12. Invert a Binary Tree – $10k AI Reasoning Challenge (v2) (gist.github.com)
    3 points by YeGoblynQueenne 6 months ago | discuss
  13. Claude-3 emulates Pokémon Red (twitter.com)
    3 points by LightMachine about 1 year ago | discuss
  14. Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM (gist.github.com)
    3 points by LightMachine about 1 year ago | discuss
  15. $100k bet: AGI by end of 2025 (twitter.com)
    2 points by kvpan 10 months ago | 1 comments
  16. HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com)
    2 points by LightMachine 6 months ago | discuss
  17. Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com)
    2 points by LightMachine 7 months ago | discuss
  18. Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com)
    2 points by LightMachine 8 months ago | discuss
  19. PSA: GPT-4 Is Obsolete (twitter.com)
    2 points by LightMachine about 1 year ago | discuss
  20. A Lock-Free Interaction Combinator Evaluator to Fix LoL' Client Performance (twitter.com)
    2 points by LightMachine over 1 year ago | discuss
  21. Implementing complex numbers and FFT with just datatypes (no floats) (gist.github.com)
    2 points by g0xA52A2A almost 2 years ago | discuss
  22. Humanity has designed an AGI architecture – it is just prohibitively expensive (twitter.com)
    1 points by tosh about 2 months ago | 1 comments
  23. Optimal context passing with HVM's "pure mutable references" (gist.github.com)
    1 points by LightMachine 5 months ago | discuss
  24. Interaction Calculus (github.com)
    1 points by beefman 12 months ago | discuss
  25. HVM2: Run Python-like programs in 10000's of GPU cores (twitter.com)
    1 points by davikr about 1 year ago | discuss
  26. We can solve 3-SAT "quickly" via superposed booleans on interaction nets (twitter.com)
    1 points by LightMachine over 1 year ago | discuss
  27. wrong url :( (twitter.com)
    1 points by LightMachine over 1 year ago | discuss