Tag "GitHub"

2021

December

Dec 24: Is It Even Worth Working on FOSS Anymore?

October

Oct 27: My Whitepaper About GitHub Copilot

July

Jul 7: Poisoning GitHub Copilot and Machine Learning

2020

April

Apr 8: I Am Moving Away from GitHub

Recent Posts

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

How I Solved the Expression Problem