
alaska
@145k4 • 8,215 subscribers
Shorts
Videos

upping my (Lean)DOOM i got curious about math proofs and Lean formalization, found out you can do general programming in lean, and i wanted to learn more so i did the obvious thing. (Lean)DOOM is entirely written in lean, and has presently a couple proofs where they make sense
alaska30,390 views • 27 days ago

i made a website where you kill a "Real" Simulated Fruit Fly™️ for credits. credits can be used to feed the fruit fly an orange, an apple, give it water, or expand its habitat. alternatively, you can spend lots of credits to talk to the fruit fly. theyre really friendly!! :D
alaska18,883 views • 1 month ago
No more content to load