🔤 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·5h·
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
Myths, Mess, and What Actually Matters - by Zoe Scaman
zoescaman.substack.com·23h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·4d·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
From Chrome renderer code exec to kernel with MSG_OOB
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔍eBPF
Vision model brings almost unsupervised crop segmentation to the field
phys.org·1d
📐Projective Geometry
AI must RTFM: Why tech writers are becoming context curators
passo.uno·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Actual LLM agents are coming
pleias.fr·3d·
Discuss: Hacker News
🔲Cellular Automata
No title
dev.to·2d·
Discuss: DEV
🏴‍☠️Piracy
Beyond ChatGPT: How One Founder Combined 100+ AI Models Into a Single Platform
hackernoon.com·1d
🌀Brotli Internals
How to Check if a Python List Is Empty
dev.to·3d·
Discuss: DEV
🔗Lisp
I Started Learning to Code… And Accidentally Tried to Hack My Own Wi-Fi
dev.to·2d·
Discuss: DEV
🔓Hacking
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·6d
⚙️Assembly Verification
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·5d
🧮Kolmogorov Complexity
ROVER: Recursive Reasoning Over Videos with Vision-Language Models for Embodied Tasks
arxiv.org·5d
🤖Advanced OCR