Hackernews posts about VictorTaelin

  1. VictorTaelin/Nanoproof (github.com)
    1 points by surprisetalk 19 days ago | discuss
  2. OptMem – Permanent memory for AI agents (github.com)
    2 points by pwmglenn 25 days ago | discuss
  3. OptMem: Plug-and-play infinite memory for any agent (github.com)
    1 points by LightMachine 27 days ago | 3 comments
  4. VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com)
    38 points by hyperbrainer over 1 year ago | 5 comments
  5. Lambda Calculus Benchmark for AI (victortaelin.github.io)
    143 points by marvinborner 4 months ago | 43 comments
  6. WebMonkeys: parallel GPU programming in JavaScript (2016) (github.com)
    115 points by surprisetalk over 1 year ago | 28 comments
  7. Implementing complex numbers and FFT with just datatypes (2023) (gist.github.com)
    38 points by surprisetalk about 1 year ago | 3 comments
  8. Fable moved to Usage Credits only 2 days early (twitter.com)
    6 points by rsingel about 1 month ago | 2 comments
  9. Have you noticed degradation in Opus 4.5 in the last few days (twitter.com)
    3 points by mesmertech 8 months ago | 1 comments
  10. Invert a Binary Tree – $10k AI Reasoning Challenge (v2) (gist.github.com)
    3 points by YeGoblynQueenne almost 2 years ago | discuss
  11. HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com)
    2 points by LightMachine almost 2 years ago | discuss
  12. Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com)
    2 points by LightMachine almost 2 years ago | discuss
  13. Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com)
    2 points by LightMachine almost 2 years ago | discuss
  14. Why can't he get funding and support? (xcancel.com)
    1 points by hmokiguess 5 months ago | 7 comments
  15. Leaving AI to Code 24/7 Doesn't Work (twitter.com)
    1 points by jamesy0ung 6 months ago | 2 comments
  16. Humanity has designed an AGI architecture – it is just prohibitively expensive (twitter.com)
    1 points by tosh over 1 year ago | 1 comments
  17. My Notes on Gemini 3 (twitter.com)
    1 points by amrrs 9 months ago | discuss
  18. Optimal context passing with HVM's "pure mutable references" (gist.github.com)
    1 points by LightMachine over 1 year ago | discuss