📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Missing Link Between Purpose and Performance
sloanreview.mit.edu·3h
🔌Network Programming
Topological water waves
mappingignorance.org·1h
🔄Category Theory
Clojure Deref (Aug 19, 2025)
clojure.org·2d
🔧Compiler Design
Ultra-fast random numbers: New generator boosts security and speed
techxplore.com·21h
🔐Cryptography
Your weekly reading: The Punctuated Equilibrium of Web Development
webdirections.org·3d
🏗️Software Architecture
Andrea Corbellini: It will take decades to undo the damage done by "AI"
andrea.corbellini.name·21h
🧩Theorem Proving
The State of Python 2025
blog.jetbrains.com·3d·
Discuss: Hacker News
🔌Network Programming
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·3d
🎲Probabilistic Programming
Quark’s Outlines: Python Complex Numbers
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
Co-op roguelike Out of Time shows off its gameplay trailer for Gamescom - Massively Overpowered
news.google.com·1d
🤖Sci-Fi
Extraction of classical ergotropy
arxiv.org·2d
📊Information Theory
Build a Serverless Contact Form with Lambda + API Gateway + SES 📩
dev.to·11h·
Discuss: DEV
📦WebAssembly
LeetCode #387. Find Unique Character in a String
dev.to·2d·
Discuss: DEV
⚙Functional Programming
[Media] I've been working on a text editor that is written and configured in Rust. Is there any interest in this?
reddit.com·1d·
Discuss: r/rust
🦀Rust
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
vibe.forem.com·1d·
Discuss: DEV
👐Open Source Software
The Silent Doubt: Why I Built My First VS Code Extension 🤔
dev.to·2d·
Discuss: DEV
👐Open Source Software
Ambient-Adaptive Noise monitoring in real time
hackster.io·2d
👐Open Source Software
College Football Playoff 2025 projections: Ohio State, Clemson lead field of contenders
nytimes.com·4h
🧫Cellular Automata
Small round cell sarcoma tumoroid biobank reveals CIC::DUX4 sarcoma vulnerability to MCL-1 inhibition
nature.com·4h
🧫Cellular Automata
Vikings trade veteran DT Harrison Phillips to Jets for 2026 draft pick, 2027 pick swap: Sources
nytimes.com·15h
🎲Probabilistic Programming