🔤 Type Theory

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

2025 Week 34
paultraylor.net·2d
📦Container Security
“Scamlexity”
jmason.ie·1d
🚀Indie Hacking
Perceived Personality in Generative AI
joshtronic.com·2d
🎙️Whisper
Moving away from Mercator for maps of the world
flowingdata.com·1d
🔶Voronoi Diagrams
Open Source Outperforms Proprietary Counterparts and Benefits Communities
linuxfoundation.org·3h·
Discuss: Hacker News
🔓Open Source Software
Double Bishops: The Silent Killers of Chess
lichess.org·1d·
Discuss: Hacker News
🎯Proof Tactics
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Keepa extension is deceptively scraping Amazon in the background
groups.google.com·3d·
Discuss: Hacker News
📰RSS Reading Practices
Q&A about the Windows Start Menu and Taskbar
archive.blogs.harvard.edu·2d·
Discuss: Hacker News
🎮Switch Archaeology
Physics of why Belgian beer foam is so stable
arstechnica.com·1h·
Discuss: Hacker News
☕Coffee Chemistry
Brazil, India and Other Countries Fight Back Against Trump’s Tariffs
nytimes.com·11h
🔐Systems Hardening
Being confidently wrong is the only thing holding AI back
promptql.io·4d·
Discuss: Hacker News
🧠Intelligence Compression
How to Show that Studying Philosophy Improves Thinking Skills
dailynous.com·1d
🏛️Philosophy
How much do you trust your cloud? Hackers exploit weakness to target customers - here's what we know
techradar.com·1h
🔓Hacking
AI Agents: The Silent Revolution Transforming the Software Supply Chain
dev.to·1d·
Discuss: DEV
🔗Supply Chain
7 Best Bitbucket Code Review Tools to Speed Up Your Workflow in 2025
dev.to·12h·
Discuss: DEV
🌳Git Internals
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·6d
📋Document Grammar
Contrastive Learning on Multimodal Analysis of Electronic Health Records
arxiv.org·6d
🧠Machine Learning
The best hair dryers for smooth, speedy styling at home – whatever your hair type
theguardian.com·1h
⚙️DIY Electronics
The Pain of Building My Own Fully-Featured Locally Hosted ChatGPT Out of Open Source Tools And a Franken Laptop
dev.to·2d·
Discuss: DEV
🖥️Terminal Renaissance