🔤 Type Theory

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

European and Iranian diplomats fail to agree on how to avoid reviving UN sanctions
euronews.com·22h
🔐Quantum Security
Fine-grained permissions for job tokens is now GA
about.gitlab.com·22h
🔒Linear Types
Ordering
theprogrammersparadox.blogspot.com·4d·
Discuss: theprogrammersparadox.blogspot.com
🔗Topological Sorting
Tot 2.0: A Thoughtful Extension of an Already Elegant Note-Taking App
macstories.net·8h
🔠Terminal Fonts
Jen Calleja on Markus Werner's "Festland"
dalkeyarchive.substack.com·2h·
Discuss: Substack
🏛Digital humanities
How to deliver social value? Think small.
blog.scottlogic.com·10h
🔗Supply Chain
Prosecutions Under New "Prosecuting Burning of the American Flag" Order Would Violate First Amendment
reason.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Gemini image generation is adding more editing tools
engadget.com·8h
⟷Bidirectional Programming
Proposal to Ban Ghost Jobs: The Truth in Job Advertising and Accountability Act
cnbc.com·6h·
Discuss: Hacker News
🎯Threat Hunting
Japanese Media Groups Sue AI Search Engine Perplexity Over Alleged Copyright Infringement
slashdot.org·16h
🔍BitFunnel
Finger on the Trigger: The Strategic Risk of Building Businesses on AI Without Human Wisdom
the-independent.com·6h
🎯Threat Hunting
Enshittification Is Our Fault
theahura.substack.com·22h·
Discuss: Substack
📰Content Curation
Codeminer42 Dev Weekly #75
blog.codeminer42.com·4d
📏Code Metrics
AI Agents Need Data Integrity
schneier.com·4d·
Discuss: www.schneier.com
🛡️Preservation Proofs
Why Restaurants Are Switching to Digital Billing Solutions?
dev.to·10h·
Discuss: DEV
📝Database WAL
Centrally Collecting Events from Go Microservices
pliutau.com·4d·
Discuss: r/golang
📝Log Parsing
Frizzante, an opinionated web framework that renders Svelte.
reddit.com·4d·
Discuss: r/golang
🔒Linear Types
Is Prompt Engineering Just Hype for Now?
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Adaptability: The Superpower Developers Need in 2025
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Deep learning-enabled virtual multiplexed immunostaining of label-free tissue for vascular invasion assessment
arxiv.org·1d
🌀Riemannian Computing