📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Spectral: A Screen-First Typeface (2017)
design.google·3h·
Discuss: Hacker News
🧮Programming Language Theory
I will hire you immediately, no questions asked, if you read this entire list of textbooks
lama.gg·15h
🔢Mathematical Logic
Rob Pike's Rules of Programming (1989)
users.ece.utexas.edu·8h·
Discuss: Hacker News
📈Complexity Theory
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·11h
✅Formal Verification
Custom blog theme
squar3s-netshack.bearblog.dev·3h
🦀Rust
Let's hax0r a GC… (eventually)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
True names matter in C++
quuxplusone.github.io·4d
🧮Programming Language Theory
Assessing the Reliability and Validity of Large Language Models for Automated Assessment of Student Essays in Higher Education
arxiv.org·14h
🧮Programming Language Theory
Web Developer Travis McCracken on When to Use GraphQL vs REST
dev.to·2d·
Discuss: DEV
🦀Rust
Lobsters Interview with Icefox
lobste.rs·4d·
Discuss: Lobsters
🔧Compiler Design
[D] reflecting on 8 years of model inference
reddit.com·2d·
Discuss: r/MachineLearning
🎲Probabilistic Programming
Building and Aligning Comparable Corpora
arxiv.org·14h
🔗Parser Combinators
Fusion Sampling Validation in Data Partitioning for Machine Learning
arxiv.org·14h
🎲Probabilistic Programming
print — самая сложная для понимания функция
dev.to·2h·
Discuss: DEV
📝Lisp
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·14h
🔗Parser Combinators
Laravel Actions and Services
dev.to·10h·
Discuss: DEV
🏗️Software Architecture
🚀 Just Launched: My New Project is Live!
dev.to·4h·
Discuss: DEV
🔧Compiler Design
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems + Kotlin POC
reddit.com·1d·
Discuss: r/compsci
⚡Concurrency
JSON Serialize vs. WebForms Class Performance Comparison
dev.to·20h·
Discuss: DEV
📦WebAssembly
USER
dev.to·25m·
Discuss: DEV
🗄️Database Theory