HNHacker News
TopNewBestAskShowJobs

teh_matt

17 karma · joined May 14, 2020

https://programsareproofs.com
submissionscomments

Code Reviews for Fun and Profit

programsareproofs.com·1 pts·teh_matt·
0

Solving a Puzzlehunt with Satisfiability Modulo Theories

programsareproofs.com·3 pts·teh_matt·
0