📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

✨ Another amazing revelation came to me today.
threadreaderapp.com·15h
🧮Programming Language Theory
The Art of Starting Over
yuricunha.bearblog.dev·11h
🧮Programming Language Theory
Can AI generate truly novel algorithms?
research.ibm.com·3d
📈Complexity Theory
The Illustrated GPT-OSS
newsletter.languagemodels.co·2d
🧭SMT Solvers
2025-08-21 An Unresolved Dialectic (and Towel-Throw)
stucky.tech·8h
🧮Programming Language Theory
What I learned about productivity this year
platformer.news·4h
🤖Sci-Fi
3D Printing
tomshardware.com·6h
🤖Sci-Fi
The lesson
thecherrynotesdev.bearblog.dev·1d
🧫Cellular Automata
Functional Analysis of Variance for Association Studies
arxiv.org·4d
⚙Functional Programming
Just discovered the secret to a happy marriage from Claude Code
reddit.com·15h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Why was this paper rejected by arXiv?
reddit.com·4h·
Discuss: r/compsci
🧩Theorem Proving
Why Lightweight Language Models Might Be More Important Than Ever
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
HEIR: A Universal Compiler for Homomorphic Encryption
arxiv.org·4d
🔐Cryptography
Peeking Under the Hood of Claude Code
medium.com·1d·
Discuss: Hacker News
🧩Theorem Proving
On the Interplay between Graph Structure and Learning Algorithms in Graph Neural Networks
arxiv.org·1d
🕸️Graph Theory
ViExam: Are Vision Language Models Better than Humans on Vietnamese Multimodal Exam Questions?
arxiv.org·2d
🔧Compiler Design
Transdisciplinary Philosophy Book Prize Long List Released
dailynous.com·3d
🧮Programming Language Theory
Angular Goes AI-Native: Building Smarter Dev Workflows
dev.to·8h·
Discuss: DEV
🔌Network Programming
Neuro-inspired Ensemble-to-Ensemble Communication Primitives for Sparse and Efficient ANNs
arxiv.org·1d
🎲Probabilistic Programming
College Student & Course Management System
dev.to·14h·
Discuss: DEV
🗄️Database Theory