🔤 Type Theory

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

Staff Spotlight: My Law Clerkship with OGIS
foia.blogs.archives.gov·1d
⚖️Legal Compliance
[Guest post] Fight against online piracy: dynamic injunctions in Belgium
ipkitten.blogspot.com·15h·
Discuss: ipkitten.blogspot.com
🌐BGP Security
Exploiting Firebase Apps with Baserunner: Bibliography
davidyat.es·18h
🔍BitFunnel
My Keyboard Is Driving Me Nuts
theworksofegan.net·1d
⌨️Mechanical Keyboards
Classifiers and cosmotechnics
daverupert.com·1d
🔍Vector Forensics
Do Large Language Models Dream of AI Agents?
wired.com·5h
🌍Cultural Algorithms
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·5d·
Discuss: Hacker News
💧Liquid Types
Google Assistant moves out: Gemini comes to the smart home
heise.de·3h
🏠Home Automation
Is my friend mad at me or am I just insecure?
theguardian.com·7h
🛡Cybersecurity
Infusing AI into Your Java Applications – InfoQ
infoq.com·1d·
Discuss: Hacker News
🌊Streaming Systems
The lottery ticket hypothesis: why neural networks work
nearlyright.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Building a Blog from Scratch in 90 Minutes with 233 LOC
elliotbonneville.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Stephen Curry is bringing his elite athlete insights to Google products
blog.google·9h
💾SQLite
Smart engineers are failing embedded interviews because of one keyword
medium.com·1d·
Discuss: Hacker News
🔩Systems Programming
Balancing Coupling in Software Design • Vlad Khononov & Sheen Brisals
youtube.com·5d
🧩WASM Components
Capitalism's Next Act
democracyjournal.org·3h·
Discuss: Hacker News
🧲Magnetic Philosophy
Optimizing Multi-Zone Restaurant Service with Computer Vision for Hospitality
dev.to·9h·
Discuss: DEV
🌊Stream Processing
EGOILLUSION: Benchmarking Hallucinations in Egocentric Video Understanding
arxiv.org·1d
📊Learned Metrics
Hyperdimensional Semantic Alignment via Learned Kernel Regression for Enhanced Knowledge Graph Triplet Extraction
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
How to Read a Book: 008, More On the Activiy and the Art of Reading
janusworx.com·1d
🏛️Philosophy