📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

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
The Generativity Pattern in Rust
arhan.sh·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
Why Computer Science Is No Good, Redux
cacm.acm.org·4d
🌍Distributed Systems
Parametric Matrix Models
nature.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·5h·
Discuss: Hacker News, r/programming
👐Open Source Software
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
🔗Parser Combinators
\textsc{SimInstruct}: A Responsible Tool for Collecting Scaffolding Dialogues Between Experts and LLM-Simulated Novices
arxiv.org·2d
🔧Compiler Design
How I code with AI on a budget/free
wuu73.org·1h·
Discuss: Hacker News
🧩Theorem Proving
Accelerating AI Development Workflows: The Kiro Best Practices Boilerplate
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Is anyone using fp-ts? How was your experience and was it worth it?
reddit.com·1d·
Discuss: r/typescript
🦀Rust
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·18h·
Discuss: DEV
🔗Parser Combinators
🦀 Rust’s Phantom Power: Why PhantomData Matters More Than You Think
medium.com·2d·
Discuss: DEV
🦀Rust
A Bird in the Hand is worth... a Pigeon Hole Principle
pballew.blogspot.com·18h·
Discuss: www.blogger.com
📈Complexity Theory
redb 3.0.0 - pure Rust embedded key-value store
github.com·7h
🦀Rust
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·2h·
Discuss: DEV
🔍Static Analysis
Built With Borrowed Hands
cra.mr·2d·
Discuss: Hacker News
🧩Theorem Proving
Automated Microbial Strain Optimization via Bio-Digital Twin Simulation and Bayesian Reinforcement Learning
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming