🔤 Type Theory

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

Google says Steph Curry will use its AI to get better at basketball
engadget.com·18h
🤖AI Curation
Anthropic lawsuit
rhollick.wordpress.com·1d
🏛Digital humanities
Design Spells · Design details that feel like magic
designspells.com·1d
📖Nordic Typography
Avi Loeb: Is 3I/Atlas Our Turing Test by a Superior Alien Intelligence?
avi-loeb.medium.com·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
History of IRC (Internet Relay Chat)
daniel.haxx.se·2d·
Discuss: Hacker News
📡Network Archaeology
Generative AI loves it and so the em dash — the elegant, gentle friend to all writers — is under attack
theringer.com·10h·
Discuss: Hacker News
📝Punctuation Engines
What is the point of libraries now that you can just generate them?
ghuntley.com·22h·
Discuss: Hacker News
🔓Open Source Software
Let's Talk About AI Workflows
rkayg.com·2d·
Discuss: Hacker News
🗣️Domain-Specific Languages
AI 'Map Reduce': Scaling AI Tasks
danielsada.tech·3d·
Discuss: Hacker News
⚙️Batch Processing
Building a better database to detect designer drugs
phys.org·1d
🧲Magnetic Resonance
Making Finance Teams Love You: A Guide to Razorpay's Smart Collect
dev.to·1d·
Discuss: DEV
🔗Data Provenance
A Dynamic Matching Framework for Faster Child Adoptions
arxiv.org·3d
🔲Cellular Automata
Causally-Guided Pairwise Transformer -- Towards Foundational Digital Twins in Process Industry
arxiv.org·2d
🧠Machine Learning
Automated Open Data Integrity Verification via Multi-Modal Anomaly Detection and Recursive Scoring
dev.to·4d·
Discuss: DEV
🌲B-tree Forensics
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.to·4d·
Discuss: DEV
🔍Vector Forensics
Automated Microfluidic Device Calibration via Reinforcement Learning & Digital Twin Simulation
dev.to·18h·
Discuss: DEV
🌊Stream Processing
Sep 21 2025 : Learn to Use a Laser Cutter to Cut and Etch Your Own Designs
nycresistor.com·5h
⚙️DIY Electronics
Unveiling the Unseen: A Comprehensive Survey on Explainable Anomaly Detection in Images and Videos
arxiv.org·2d
🔍Vector Forensics
Exploit weaponizes SAP NetWeaver bugs for full system compromise
securityaffairs.com·1d
🔓Hacking
Day 3 of Experimenting with Open Source AI
dev.to·1d·
Discuss: DEV
🤖Archive Automation