📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

HTTP is not simple
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·5d
🔐Cryptography
Stories, satires and ‘experiments’: 3 vibrant new collections show the range and wit of Australian fiction
theconversation.com·1d
🧮Programming Language Theory
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
🔗Parser Combinators
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·2h·
Discuss: Hacker News, r/programming
👐Open Source Software
The World According to LLMs: How Geographic Origin Influences LLMs' Entity Deduction Capabilities
arxiv.org·1d
🎲Probabilistic Programming
As a 15 year old, I built an AI Bot to Beat Four Pattern-Based Rock-Paper-Scissors Bots!
github.com·1d·
Discuss: DEV
🧫Cellular Automata
A causal inference-based root cause analysis framework using multi-modal data in large-complex system
sciencedirect.com·1d
🎲Probabilistic Programming
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
dev.to·21h·
Discuss: DEV
🧩Theorem Proving
Sorting Algorithms
dev.to·1d·
Discuss: DEV
🧠Memory Management
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·1d
🧭SMT Solvers
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
🔗Parser Combinators
Circular Dependencies: The Hidden Killer Of Your Microservices! Fix It NOW.
dev.to·1d·
Discuss: DEV
🌍Distributed Systems
\textsc{SimInstruct}: A Responsible Tool for Collecting Scaffolding Dialogues Between Experts and LLM-Simulated Novices
arxiv.org·2d
🔧Compiler Design
Computer Science Education
reddit.com·1d·
Discuss: r/linux
🧮Programming Language Theory
Expert-Level Low-Level Design Template
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
Federated Data Harmonization via Dynamic Schema Alignment & Semantic Graph Enrichment
dev.to·15h·
Discuss: DEV
🔗Parser Combinators
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Is anyone using fp-ts? How was your experience and was it worth it?
reddit.com·1d·
Discuss: r/typescript
🦀Rust
🦀 Rust’s Phantom Power: Why PhantomData Matters More Than You Think
medium.com·2d·
Discuss: DEV
🦀Rust