📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Spectral: A Screen-First Typeface (2017)
design.google·1h·
Discuss: Hacker News
🧮Programming Language Theory
I will hire you immediately, no questions asked, if you read this entire list of textbooks
lama.gg·13h
🔢Mathematical Logic
Rob Pike's Rules of Programming (1989)
users.ece.utexas.edu·6h·
Discuss: Hacker News
📈Complexity Theory
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·9h
✅Formal Verification
Custom blog theme
squar3s-netshack.bearblog.dev·1h
🦀Rust
True names matter in C++
quuxplusone.github.io·4d
🧮Programming Language Theory
Let's hax0r a GC… (eventually)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·2d·
Discuss: DEV
📝Lisp
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems
developer.porn·1d·
Discuss: r/SoftwareEngineering, r/programming
🤝Protocol Design
Dart Lesson 21: code conventions and static analysis
dev.to·1h·
Discuss: DEV
🔍Static Analysis
Legacy code: How bad are comments (really)?
dev.to·1h·
Discuss: DEV
🔍Static Analysis
Web Developer Travis McCracken on When to Use GraphQL vs REST
dev.to·2d·
Discuss: DEV
🦀Rust
Introduction to System Design for Interviews
dev.to·3h·
Discuss: DEV
🌍Distributed Systems
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·18h·
Discuss: Hacker News
🧮Programming Language Theory
Breaking Ecosystem Lock-in in Google's Gemini CLI
dev.to·22h·
Discuss: DEV
🏗️Software Architecture
Scaling Laws for LLM Based Data Compression
lesswrong.com·9h
🔗Parser Combinators
Building a Powerful Geocoding Solution with OpenCage and Thunderforest Maps
dev.to·7h·
Discuss: DEV
🧮Programming Language Theory
Assessing the Reliability and Validity of Large Language Models for Automated Assessment of Student Essays in Higher Education
arxiv.org·12h
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🔧Compiler Design
[D] reflecting on 8 years of model inference
reddit.com·1d·
Discuss: r/MachineLearning
🎲Probabilistic Programming