Show HN: You can continue a Claude session in Codex, and vice versagithub.com3 points·by hargup·3 วันที่ผ่านมา·3 comments
We rewrote an ML Framework* in Lean, (and yes it is faster*)theoric.com2 points·by hargup·12 วันที่ผ่านมา·0 comments
hargup·3 เดือนที่ผ่านมา·discussJustin Lebar (he built xla compiler and worked at OpenAI) has an amazing talk about this subject https://youtu.be/cyJU32ivIlk?si=gYuHtzMJIvaSqcht
hargup·5 เดือนที่ผ่านมา·discussI've been meaning to do something like this for the books I want to read, and things I want to learn.