🔤 Type Theory

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

Banner Ads and Pop-Ups: The First Growth Hacks
brajeshwar.com·9h
🚀Indie Hacking
Height limits raise housing prices
hardlyworking1.substack.com·7h·
Discuss: Substack
⚡Incremental Computation
You Really Need to See Epstein’s Birthday Book for Yourself - The Atlantic
theatlantic.com·3h
🌐WARC Forensics
Image descriptions (alt text) on Bluesky
digitalseams.com·2d·
Discuss: Hacker News
📰RSS Reading Practices
Show HN: I Built Logstalgia for the Web
tailstream.io·2d·
Discuss: Hacker News
🌊Streaming Systems
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🌊Stream Processing
The Divine Drudgery of Chores and Art
sothismedias.com·1h·
Discuss: Hacker News
⬜Minimalism
Reddit, Yahoo, Medium and more are adopting a new licensing standard to get compensated for AI scraping
engadget.com·15h
📰RSS Archaeology
The Technology That Brought Down Medieval Castles and Changed the Middle Ages
openculture.com·1h
🏺Media Archaeology
These Two New Features Cement Google’s NotebookLM As One of My Favorite Study Apps
lifehacker.com·15h
🌱Personal Wikis
Tadpole Charts: Clarity in Change
dev.to·5h·
Discuss: DEV
📊Count-Min Sketch
How Indigenous fire stewardship continues to shape North American forests
phys.org·15h
🌍Cultural Computing
Tiny Tubes Reveal Clues to the Evolution of Complex Life
quantamagazine.org·2d·
Discuss: Hacker News
🦴Database Paleontology
Tests on superconducting materials for world's largest fusion energy project show reliable measurement protocol
phys.org·1h
🧲Magnetic Resonance
18 Popular Code Packages Hacked, Rigged to Steal Crypto
krebsonsecurity.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Run Python in Your Browser with PyScript
dev.to·2d·
Discuss: DEV
🛡️WASM Sandboxing
Get More Done with Better Contact Center Software
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Loblaw: Deserves A Premium--But How Much Is Too Much?
seekingalpha.com·19h
🏠Personal Archives
How does AI affect how we learn? A cognitive psychologist explains why you learn when the work is hard
phys.org·17h
🤖AI Curation
Scalable Viscosity Anomaly Detection via Hybrid Multi-Modal Analysis and Predictive Modeling
dev.to·4d·
Discuss: DEV
🌊Stream Processing