📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Scholars on the Hill: Chinese Folklore
folkloreweaver.com·19h·
Discuss: r/folklore
🧮Programming Language Theory
Three questions define the top of the 2026 NFL Draft TE class
sportingnews.com·9h
🔌Network Programming
Episode 163 - Ever Heard of the PDP-11?
adventofcomputing.libsyn.com·1d
💾Retrocomputing
Bearblog Theme CSS Update
anarchaeopteryx.bearblog.dev·13h
📦WebAssembly
The Ordeal of Momentum - Blaugust the Twenty-fourth
angrybunnyman.com·2d
🧮Programming Language Theory
.NET Preview 7 Adds XAML Source Generator
i-programmer.info·11h
📦WebAssembly
Authorization 101: What I Learned from Oso’s “What is Authorization?” Guide
dev.to·3h·
Discuss: DEV
🔌Network Programming
More aliens, more rain and camping - W34
joelchrono.xyz·5h
🔄Category Theory
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·17h·
Discuss: Hacker News, r/programming
🧩Theorem Proving
The long season of langdev
blog.fogus.me·6d
🧮Programming Language Theory
Simulation modeling and physical testing for latticed bionic limbs match, but is it a real study?
techxplore.com·11h
🤖Sci-Fi
How the Community Turned Into a SaaS Commercial
luminousmen.com·17h
💾Retrocomputing
Rohbau3D: A Shell Construction Site 3D Point Cloud Dataset
nature.com·19h
🏗️Software Architecture
相模原の下水道事故、現場監督ら書類送検
news.jp·1d
📊Information Theory
How to Use DeepSeek-V3.1 API — a practical developer tutorial
dev.to·16h·
Discuss: DEV
🤝Protocol Design
Contributions to Label-Efficient Learning in Computer Vision and Remote Sensing
arxiv.org·1d
🔗Parser Combinators
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·5d
🔗Parser Combinators
無料の3DCG統合環境「Blender」最新版はスカルプトのブラシがペンの傾きに対応【Blender ウォッチング】
news.jp·22h
🧫Cellular Automata
The "Shitty First Draft"
dev.to·5d·
Discuss: DEV
🧮Programming Language Theory
Text Takes Over: A Study of Modality Bias in Multimodal Intent Detection
arxiv.org·1d
🔧Compiler Design