🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Warning about spam emails
ests.wordpress.com·1d
📡Information theory
CISA orders agencies to deal with Microsoft Exchange fixes by Monday
metacurity.com·1d
🚨Incident Response
Fitness Landscape
baku89.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Wordle" with the first 1000 Digits of Pi
subjectle.com·1d·
Discuss: Hacker News
🌳Trie Structures
Show HN: (YC S23) OCR that works on the messiest PDFs
trycardinal.ai·2d·
Discuss: Hacker News
🤖Advanced OCR
From Chrome renderer code exec to kernel with MSG_OOB
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔍eBPF
Achieving 10,000x training data reduction with high-fidelity labels
research.google·2d·
Discuss: Hacker News
📰Content Curation
AI must RTFM: Why tech writers are becoming context curators
passo.uno·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
No title
dev.to·2d·
Discuss: DEV
🏴‍☠️Piracy
Actual LLM agents are coming
pleias.fr·2d·
Discuss: Hacker News
🔲Cellular Automata
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·5d
📐Mathematical Art
Building PhAlS - A Phishing Alert System using Google AI Studio.
dev.to·20h·
Discuss: DEV
👑Isabelle
Efficient Ride-Sharing Optimization via Multi-Agent Reinforcement Learning with Dynamic Zone Allocation
dev.to·8h·
Discuss: DEV
🔄Lens Laws
Creating a REST API in Go with Gin: A Pragmatic, Spec-First Guide
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
OpenAI’s GPT-OSS Models vs Claude 4.1: How Open-Weight and Closed-Source AI Are Redefining the Future
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Alignment Monitoring
arxiv.org·5d
⚙️Assembly Verification
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.org·4d
🤖Advanced OCR
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·4d
🧮Kolmogorov Complexity
LostFound AI: Real-Time Lost & Found Matching with Redis 8 Vector Search
dev.to·13h·
Discuss: DEV
⚡Redis Internals
Future of AI in Software Development
dev.to·16h·
Discuss: DEV
⚙️Proof Engineering