📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

I’m 37
scotthyoung.com·18h
🧮Programming Language Theory
Property Wrappers in Swift explained with code examples
avanderlee.com·21h
⚙Functional Programming
original ↗
boston.conman.org·1d
📊Information Theory
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🏗️Software Architecture
Readers Respond to the April 2025 Issue
scientificamerican.com·23h
🧫Cellular Automata
The future of ChatGPT and AI in academia and education
vincentl3.substack.com·11h·
Discuss: r/longform
🧭SMT Solvers
Joy & Curiosity #50
registerspill.thorstenball.com·3d
💾Retrocomputing
RTOS Task Design Question
reddit.com·6h·
Discuss: r/embedded
🌍Distributed Systems
Introducing SCAN - A Must Have Plugin
dev.to·22h·
Discuss: DEV
🔍Static Analysis
Image placeholders in pure CSS — or: Defying gods with math and color
dev.to·1d·
Discuss: DEV
🤝Protocol Design
How to Register a Service Worker With Vite and Rollup Without Plugins
dev.to·1d·
Discuss: DEV
🦀Rust
Born's Rule from Quantum Frequentism
arxiv.org·1d
🔢Mathematical Logic
Robust Data Fusion via Subsampling
arxiv.org·1d
🎲Probabilistic Programming
Game-Theoretic and Reinforcement Learning-Based Cluster Head Selection for Energy-Efficient Wireless Sensor Network
arxiv.org·1d
⚖Algorithmic Game Theory
Running KittenTTS in the Browser: A Deep Dive into WASM and ONNX
dev.to·1h·
Discuss: DEV
🔗Parser Combinators
I took a break
waylonwalker.com·3d
🧮Programming Language Theory
Why did I build a transparent, account-free, open-source URL shortener?
dev.to·1d·
Discuss: DEV
🦀Rust
You're Already Using Distributed Systems (You Just Don't Know It) - Part 3
dev.to·2d·
Discuss: DEV
🌍Distributed Systems
Inverse-LLaVA: Eliminating Alignment Pre-training Through Text-to-Vision Mapping
arxiv.org·1d
🔗Parser Combinators
I Tried AI Coding Tools. Now I Want to Learn to Code.
every.to·10m
🔌Network Programming