Hackernews posts about VictorTaelin

RSS feed for VictorTaelin

01
newGitHub has taken down Bend's repositorytwitter.com
▲ 6marvinborner 15d discuss
02
newOptChat: An endless chat where the AI remembers everythinggist.github.com
▲ 1simonpure 45h discuss
03
newVictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theoremstwitter.com
▲ 38hyperbrainer 624d 💬 5
04
newVictorTaelin/Nanoproofgithub.com
▲ 1surprisetalk 64d discuss
05
newLambda Calculus Benchmark for AIvictortaelin.github.io
▲ 143marvinborner 164d 💬 43
06
newWebMonkeys: parallel GPU programming in JavaScript (2016)github.com
▲ 115surprisetalk 520d 💬 28
07
newImplementing complex numbers and FFT with just datatypes (2023)gist.github.com
▲ 38surprisetalk 499d 💬 3
08
newFable moved to Usage Credits only 2 days earlytwitter.com
▲ 6rsingel 81d 💬 2
09
newHave you noticed degradation in Opus 4.5 in the last few daystwitter.com
▲ 3mesmertech 292d 💬 1
10
newInvert a Binary Tree – $10k AI Reasoning Challenge (v2)gist.github.com
▲ 3YeGoblynQueenne 724d discuss
11
newOptMem – Permanent memory for AI agentsgithub.com
▲ 2pwmglenn 70d discuss
12
newHVM3's Optimal Atomic Linker (With Polarization)gist.github.com
▲ 2LightMachine 704d discuss
13
newWhy can't he get funding and support?xcancel.com
▲ 1hmokiguess 202d 💬 7
14
newOptMem: Plug-and-play infinite memory for any agentgithub.com
▲ 1LightMachine 72d 💬 3
15
newLeaving AI to Code 24/7 Doesn't Worktwitter.com
▲ 1jamesy0ung 221d 💬 2
16
newHumanity has designed an AGI architecture – it is just prohibitively expensivetwitter.com
▲ 1tosh 585d 💬 1
17
newMy Notes on Gemini 3twitter.com
▲ 1amrrs 321d discuss
18
newOptimal context passing with HVM's "pure mutable references"gist.github.com
▲ 1LightMachine 677d discuss