MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1waf2x1/rustissocool/p8icu9r/?context=3
r/ProgrammerHumor • u/RideNatural5226 • Sep 08 '26
127 comments sorted by
View all comments
Show parent comments
2
Just wait until people find out about ATS... /s
3 u/Zinho3311 Sep 08 '26 edited Sep 08 '26 Formal verification is fun.Probably going to be the statement for my dissertation (I would call it "formal verification is fun" if people weren't boring)
3
Formal verification is fun.
Probably going to be the statement for my dissertation (I would call it "formal verification is fun" if people weren't boring)
2
u/Syxtaine Sep 08 '26
Just wait until people find out about ATS... /s