🔤 Type Theory

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

Spotlight on childcare reforms reveals how far there is to go
abc.net.au·17h
🔐Archive Encryption
Vale: Your style, our editor
vale.sh·2d
🔓Open Source Software
Fans loved her new album. The thing was, she hadn't released one
bbc.co.uk·5h·
Discuss: Hacker News
💿FLAC Archaeology
Justice Jackson Correctly Defines The John Roberts Supreme Court As The Calvinball Court
techdirt.com·23h
🔲Proof Irrelevance
Unpicking the mental load of 'mankeeping' amid a male loneliness epidemic
abc.net.au·17h
🏠Personal Archives
Week note 2025-08-21
underlap.org·2d
📲syncthing
Complex Workload Deployment with Will Stewart
softwareengineeringdaily.com·2d
🌊Streaming Systems
Her ex forgot his computer. That’s how Fremont woman found the ‘pedophile manual,’ police say
mercurynews.com·1d
🗜️ZIP Forensics
The End of Big, Dumb AI Data
procurefyi.substack.com·4d·
Discuss: Substack
🤖AI Curation
Why Combine Python and Excel?
thenewstack.io·23h
🦀Rust Macros
Top 10 vs code extension
dev.to·3d·
Discuss: DEV
🪟Awesome windows command-line
How AI ‘digital minds’ startup Delphi stopped drowning in user data and scaled up with Pinecone
venturebeat.com·2d·
Discuss: Hacker News
⚡Performance Mythology
SRE.ai Looks to Unify DevOps Workflows Across Multiple SaaS Applications
devops.com·21h
🏠Homelab Orchestration
Cabinet: Dynamically Weighted Consensus Made Fast
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🤝Paxos Consensus
Wikimania 2025 from My Virtual Seat
diff.wikimedia.org·1d
🌍Cultural Computing
Is It Still Worth Learning to Code in an Age of AI and Automation?
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Automated Calibration of Microbalance Sensors via Bayesian Optimization and Neural Network Emulation
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Building a Privacy-First Document QA System with Gaia and Qdrant
dev.to·3d·
Discuss: DEV
🤖Archive Automation
Bring Your Own Model to Chat in Visual Studio
devblogs.microsoft.com·1d·
Discuss: Hacker News
🎙️Whisper
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
vibe.forem.com·3d·
Discuss: DEV
⚔️Lean Tactics