A Short Introduction to Categorical Logic
youtube.com·5d
✅Lean Theorem Prover
Flag this post
Taking steps to end abusive traffic from cloud providers
anubis.techaro.lol·3d·
Discuss: Hacker News
🛡️Memory Safety
Flag this post
Free software scares normal people
danieldelaney.net·4d·
Discuss: Hacker News
💻Programming
Flag this post
Caddy snippets for static sites
willnorris.com·5d
🔍Static Analysis
Flag this post
Sigsum
sigsum.org·2d
🔍Static Analysis
Flag this post
Horn Clauses
youtube.com·3d
✅Lean Theorem Prover
Flag this post
Saber: Handwritten Notes
saber.adil.hanney.org·5d
🛡️Memory Safety
Flag this post
Database backups, dump files and restic
strugglers.net·6d·
Discuss: Lobsters, Hacker News
🛡️Memory Safety
Flag this post
In Praise of Drinking (A Little)
speakandregret.michaelinzlicht.com·6d
✅Lean Theorem Prover
Flag this post
[Vegan] Glazed Eggplant Bowl "Eel" Kabayaki Donburi | Japanese Recipes - YouTube
youtube.com·6d
💻Programming
Flag this post
HOW TO MAKE VEGETABLE BIRYANI (STEP BY STEP GUIDE FOR BEGINNERS) - YouTube
youtube.com·3d
💻Programming
Flag this post