🔤 Type Theory

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

Free course: Cheat at Search: Essentials
softwaredoug.com·2d
👤Search Personalization
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·1d
🔓Hacking
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·3d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
The Reviewer is Dead, Long Live the Review: Re-engineering Peer Review for the Age of AI
sigarch.org·1d·
Discuss: Hacker News
🤖AI Curation
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Alternating Sets against Two Better Opponents
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🎯Proof Tactics
CI in the Age of AI
dagger.io·1d·
Discuss: Hacker News
📏Code Metrics
Parallel PLL on DAGs
arxiv.org·3d
🔗Topological Sorting
Benchmarking Fraud Detectors on Private Graph Data
arxiv.org·2d
🌳Archive Merkle Trees
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·1d
🧠Machine Learning
VibeTDD Lessons After 3 Phases: What Actually Works with AI
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
I Know When You're Vibe Coding
alexkondov.com·3d·
Discuss: Hacker News, Hacker News, r/programming
📜Proof Carrying Code
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·3d·
Discuss: DEV
🐚Nordic Shell
Hybrid Particle Swarm Optimization for Fast and Reliable Parameter Extraction in Thermoreflectance
arxiv.org·1d
📊Quantization
CST Anti-UAV: A Thermal Infrared Benchmark for Tiny UAV Tracking in Complex Scenes
arxiv.org·1d
👁️Perceptual Hashing
You’re Building AI Apps Backwards: The Model-Product Problem
thenewstack.io·1d
🔌Interface Evolution
That Moment When Your Selenium Tests Pass But Your App Is Broken
dev.to·2h·
Discuss: DEV
🐛Fuzzing
Multi-Hazard Early Warning Systems for Agriculture with Featural-Temporal Explanations
arxiv.org·1d
🧠Machine Learning
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·2d
🔄Language Evolution
DAG-AFL:Directed Acyclic Graph-based Asynchronous Federated Learning
arxiv.org·4d
🤝Consensus Networks