📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Archaeologists perplexed to find west African ancestry in early medieval England
the-independent.com·2d
🧮Programming Language Theory
Following the digital footprints: how we uncovered a global scam network
thebureauinvestigates.com·14h
🔐Cryptography
A discovery sheds new light on how different types of early humans co-existed long ago
npr.org·12h
🧮Programming Language Theory
Interleaving for Retrieval Augmented Generation
maxirwin.com·2d·
Discuss: Hacker News, Hacker News, r/programming
🎲Probabilistic Programming
original ↗
crookedtimber.org·2d
🤖Sci-Fi
Harvesting Contextuality from the Vacuum
arxiv.org·2d
🎲Probabilistic Programming
Under the hood: how AWS Lambda SnapStart optimizes function startup latency
aws.amazon.com·1d
📦WebAssembly
Building a Privacy-First Document QA System with Gaia and Qdrant
dev.to·20h·
Discuss: DEV
🏗️Software Architecture
ryoppippi/ccusage v16.0.0
github.com·1d
🦀Rust
Show HN: Stop hoarding content – I built a tool to make it useful
news.ycombinator.com·16h·
Discuss: Hacker News
📦WebAssembly
Am I the only one feeling like learning new programming languages in the age of AI is futile?
reddit.com·22h·
Discuss: r/webdev
🔧Compiler Design
Beyond Code: The Soft Skills That Make You a 10x Teammate
dev.to·1d·
Discuss: DEV
👐Open Source Software
Mitigating Hallucinations in Large Language Models via Causal Reasoning
arxiv.org·2d
⚖️Logic Programming
Thymic epithelial cells amplify epigenetic noise to promote immune tolerance
nature.com·16h
🧫Cellular Automata
ChatGPT Taught Me Special Relativity—And Changed How I Learn
every.to·23h
🧩Theorem Proving
Documentation That Scales: Building Knowledge Systems for Growing Dev Agencies
dev.to·4h·
Discuss: DEV
🔧Compiler Design
We built something kinda crazy: open-source Al eval toolkit for LLMs feedback wanted!
reddit.com·4h·
Discuss: r/opensource
🔧Compiler Design
Monad annoyance
macwright.com·2d
⚙Functional Programming
Rust in 2025: Why Developers Can’t Afford to Ignore It
dev.to·2d·
Discuss: DEV
🦀Rust
BLIPs: Bayesian Learned Interatomic Potentials
arxiv.org·1d
🎲Probabilistic Programming