logoalt Hacker News

rawdod • yesterday at 11:53 PM • 0 replies • view on HN

I vibe-made a Russian life simulator called Frontline Rush:

https://rawdod.com

I vibe-proofed the ABC conjecture (IUT LEAN Fable):

https://github.com/oneman/motizukipdf and https://1234567890.help/

Yeah