📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Illustrated GPT-OSS
newsletter.languagemodels.co·2d
🧭SMT Solvers
2025-08-21 An Unresolved Dialectic (and Towel-Throw)
stucky.tech·12h
🧮Programming Language Theory
What I learned about productivity this year
platformer.news·8h
🤖Sci-Fi
Can AI generate truly novel algorithms?
research.ibm.com·4d
📈Complexity Theory
A new spin on SDLC is solving a big problem in industrial AI
nordot.app·16h
🔧Compiler Design
Need this small function converted to Zig. AI models are not helping.
reddit.com·22h·
Discuss: r/Zig
🧭SMT Solvers
The 'Demo Spell' and 'Production Dilemma' of AI Agents: How I Built a Self-Learning Agent System
github.com·1d·
Discuss: DEV
🧩Theorem Proving
Amazon is betting on agents to win the AI race
theverge.com·18h
🤖Sci-Fi
The Growing Need for Tools in 2025
dev.to·1d·
Discuss: DEV
🛡️IoT Security
Show HN: Imagenai – generate images directly from <img alt>
npmjs.com·18h·
Discuss: Hacker News
🧫Cellular Automata
Conference Chatter: What, You Too?
dev.to·20h·
Discuss: DEV
🧮Programming Language Theory
Towards Skeletal and Signer Noise Reduction in Sign Language Production via Quaternion-Based Pose Encoding and Contrastive Learning
arxiv.org·1d
🔗Parser Combinators
Why was this paper rejected by arXiv?
reddit.com·8h·
Discuss: r/compsci
🧩Theorem Proving
Why Lightweight Language Models Might Be More Important Than Ever
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Unifying Multiple Data Pipelines with SeaTunnel: Practical Notes from Tongcheng Travel
dev.to·2d·
Discuss: DEV
👐Open Source Software
How to make bold (and smart) College Football Playoff predictions using the preseason Top 25
nytimes.com·1d
🧮Programming Language Theory
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·12h·
Discuss: DEV
🔌Network Programming