📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Reassembly of the 1132 printer - part 7
rescue1130.blogspot.com·15h·
Discuss: rescue1130.blogspot.com
💾Retrocomputing
validating json structure before/when unmarshaling
go.dev·1d·
Discuss: r/golang
🔗Parser Combinators
New Blocks Alert: A Huge Collection of Tables!
ui.angular-material.dev·1d·
Discuss: DEV
🏗Computer Architecture
Your code is more strongly coupled than you think
infoworld.com·4d
🔧Compiler Design
Attractive serial dependence arises during decision-making
journals.plos.org·2d
🎲Probabilistic Programming
Exactly-Once Processing Across Kafka and Databases: Using Kafka Transactions + Idempotent Writes
medium.com·17h·
Discuss: r/programming
⚡Concurrency
Why Is This Hard?
programmersstone.blog·4d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Monad Annoyance
macwright.com·5d·
Discuss: Lobsters, Hacker News
⚙Functional Programming
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·4d·
Discuss: Hacker News
🔗Parser Combinators
Global ‘beta’ mode: The massive AI experiment - EL PAÍS English
news.google.com·1d
🤖Sci-Fi
Files Officially Recognized by Claude Code
reddit.com·1d·
Discuss: r/ClaudeAI
👐Open Source Software
Time-Optimal Directed q-Analysis
arxiv.org·3d
📈Complexity Theory
A Brief Guide to Setting Up Claude Code from Scratch
reddit.com·2d·
Discuss: r/ClaudeAI
🧩Theorem Proving
🚀 FastAPI vs Rails — Notes from a Rails Developer Learning FastAPI
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
首相、小泉純一郎氏と会食 戦後80年見解が話題に
news.jp·17h
🧮Programming Language Theory
Cognitive Surgery: The Awakening of Implicit Territorial Awareness in LLMs
arxiv.org·4d
🔧Compiler Design
Is Burnout Inevitable in the World of Tech? Let's Talk About It
dev.to·2h·
Discuss: DEV
🤖Sci-Fi
CoFE: A Framework Generating Counterfactual ECG for Explainable Cardiac AI-Diagnostics
arxiv.org·3h
🎲Probabilistic Programming
TPA: Temporal Prompt Alignment for Fetal Congenital Heart Defect Classification
arxiv.org·3d
🎲Probabilistic Programming
Causal Modelling of Cryptocurrency Price Movements Using Discretisation-Aware Bayesian Networks
arxiv.org·3d
🎲Probabilistic Programming