📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

F*ck School
warandpeas.com·3h
🧮Programming Language Theory
Retirement party
cameroncounts.wordpress.com·3d
🔢Mathematical Logic
Faster Index I/O with NVMe SSDs
marginalia.nu·1d·
Discuss: Lobsters, Hacker News
🏗Computer Architecture
Babbage – The Language of the Future
tlc-systems.com·2d·
Discuss: Hacker News
💾Retrocomputing
Sergey Solovev: The PostgreSQL Hacker Helper extension is one year old
postgr.es·3d
🔍Static Analysis
reply in favorite fonts by TachyonREB
basementcommunity.com·19h
🧮Programming Language Theory
[FM] The Zone of Obscurity
stacker.news·31m
👐Open Source Software
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·33m·
Discuss: Substack
👐Open Source Software
⭐ rwhitt2049 log_to_json
waylonwalker.com·23h
🧮Programming Language Theory
A Phylogeny of Agents
lesswrong.com·2d
🤖Sci-Fi
impro-by-keith-johnstone
chadnauseam.com·23h
🧮Programming Language Theory
Intriguing Properties of gpt-oss Jailbreaks
lesswrong.com·3d
🔧Compiler Design
🔒 JavaScript Closures: A Complete Guide with Examples, Pros & Cons
dev.to·10h·
Discuss: DEV
⚙Functional Programming
The Collider Bias Theory of (Not Quite) Everything
lesswrong.com·23h
🎲Probabilistic Programming
30 Days of code- Day 23
dev.to·21h·
Discuss: DEV
👐Open Source Software
Automated Open Data Integrity Verification via Multi-Modal Anomaly Detection and Recursive Scoring
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Introducing Nuskha
engineering.hackerearth.com·23h
👐Open Source Software
⭐ AntonOsika gpt-engineer
waylonwalker.com·23h
🧮Programming Language Theory
Listing of tools that replace the reflection involving code with type safe code by generation
reddit.com·6d·
Discuss: r/golang
🔧Compiler Design
Structured binding packs in GCC 16!
reddit.com·4d·
Discuss: r/cpp
🔧Compiler Design