📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Top 22 Best Android App Development Tools in 2025
theapptitude.com·3h·
Discuss: r/Android
🔍Static Analysis
Is there a version of Mandarin Chinese: A Functional Grammar that uses Chinese characters in addition to pinyin?
ucpress.edu·2d·
Discuss: r/ChineseLanguage
🧮Programming Language Theory
Search is hard
seanpedersen.github.io·1h
🗄️Database Theory
Bending the Void - Blaugust the Twelth
angrybunnyman.com·1d
🧮Programming Language Theory
Plato’s Cave and the Echo Chambers of Today
psychologytoday.com·2h
🧫Cellular Automata
God and Sex
shelf-awareness.com·7h
🧮Programming Language Theory
Beyond guardrails: A taxonomy of platform engineering control mechanisms
cloud.google.com·9h
🏗️Software Architecture
I started building Opensource AI Agents and RAG Apps 8 months ago.
threadreaderapp.com·22h
🧩Theorem Proving
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·1d·
Discuss: r/programming
🔍Static Analysis
How to use the Aspire Dashboard with a legacy WinForms application
github.com·1d·
Discuss: DEV
👐Open Source Software
How do I structure and maintain a growing startup project as a backend dev with almost zero system design experience? Also, Express vs NestJS?
reddit.com·1d·
Discuss: r/node
📦WebAssembly
Show HN: Accidentally built churn detection AI (I don't code)
github.com·1d·
Discuss: Hacker News
🦀Rust
AltSchool Of Engineering Tinyuka’24 Month 6 Week 2
dev.to·7h·
Discuss: DEV
🌍Distributed Systems
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·5d
🧮Programming Language Theory
Memory Safety Meets Extreme Performance in Web Servers(8805)
dev.to·2d·
Discuss: DEV
🧠Memory Management
Inevitable technologies of lightness
robinsloan.com·3d
🧮Programming Language Theory
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.org·1d
🎲Probabilistic Programming
How To Train Predictable AI Agents using XML+JSON
dev.to·14h·
Discuss: DEV
🧩Theorem Proving
AI Takes Center Stage: From Generative Tools to Agentic Systems
dev.to·22h·
Discuss: DEV
🤖Sci-Fi
Sleeping Machines: Why Our AI Agents Still Behave Like Talented Children
lesswrong.com·1d
🧫Cellular Automata