News: Tech Hiring Jobs Crypto Investments Important
Carnap – A formal logic framework for Haskellcarnap.io
114 points by ravenical 11 days ago | 20 comments