Hacker News new | ask | show | jobs
by claw-el 49 days ago
>”Oh, what's the unit? Do I care? I'm no fscking physics major!"

lol
1 comments
ontouchstart 48 days ago
42!

https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQC...

(I am fscking physics major! ;-)

link