An accessible introduction to type theory and implementing a type-checkermukulrathi.co.uk·5 pts·mrathi12·1
An accessible introduction to type theory and implementing a type-checkermukulrathi.co.uk·7 pts·mrathi12·3
Do technical mechanisms for building ‘trust’ help people trust systems?mukulrathi.co.uk·2 pts·mrathi12·0
17 Tips to Convert an Internship to a Full-Time Offer from a Former FB Internmukulrathi.co.uk·1 pts·mrathi12·0
17 Tips for Converting Your Internship at FAANG to a Full-Time Offermukulrathi.co.uk·2 pts·mrathi12·0
Git Good – The Ultimate Beginner Reference with Diagrams and Code GIFsmukulrathi.co.uk·3 pts·mrathi12·0
Creating our own language part 6: desugaring high-level language featuresmukulrathi.co.uk·1 pts·mrathi12·0
Implementing Our Own Version of Rust's Non-Lexical Lifetimes in Boltmukulrathi.co.uk·3 pts·mrathi12·0
Show HN: Bolt: A research language with finer-grained concurrency than Rustgithub.com·103 pts·mrathi12·24
Beginner's Guide to Postgres Database Server with Docker and Flaskmukul-rathi.github.io·2 pts·mrathi12·0