🔤 Type Theory

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

Issue 91 – GDP on the blockchain
citationneeded.news·1d
🔗Blockchain Archives
The Vanishing Art Of Building Sacred Spaces
noemamag.com·19h·
Discuss: Hacker News
🌍Cultural Computing
Ostapenko 'no education' comments terrible - Osaka
bbc.com·3h
🖋Typography
Crypto ATMs fueling criminal activity, Treasury warns
therecord.media·5h·
Discuss: Hacker News
🔤EBCDIC Privacy
Photos of a Gambian village where a 'sea war' is brewing
the-independent.com·11h
📦Container Security
Tot 2.0: Small text editor for the Mac menu bar gets an update
heise.de·23h
🔠Terminal Fonts
Was Jesus's body wrapped in the Shroud of Turin? Newly discovered medieval document suggests not
phys.org·17h
💧Manuscript Watermarks
Open Source is one person
opensourcesecurity.io·1d·
Discuss: Lobsters, Hacker News
🚀Indie Hacking
Gershwin: OS X-like desktop for BSD
github.com·5h·
Discuss: Hacker News
📟Terminals
Redesigning the First Website in the World, A Tribute to Tim Berners-Lee
dev.to·1d·
Discuss: DEV
📡DNS Archaeology
Is AI taking developer jobs?
yourweekly.dev·1d·
Discuss: Hacker News
⚙️Proof Engineering
Fixing Plausible Geolocation
nkantar.com·1d
🛣️BGP Hijacking
Bacteria that 'breathe' iron minerals while detoxifying sulfide outpace chemical reactions
phys.org·19h
🌈Spectroscopy
Introducing keegees: Query and manage GNOME keybindings from the CLI with style
github.com·1d
⌨️Terminal Customization
WunderGraph Uses AI To Challenge Apollo’s GraphQL Empire
thenewstack.io·1d
🔓Open Source Software
White mold fungi split their genome across several nuclei, with implications for future gene-editing
phys.org·13h
🧬Copy Number Variants
Deep Learning-Enhanced Real-Time Myocardial Perfusion Mapping via Dynamic Contrast-Enhanced MRI
dev.to·15h·
Discuss: DEV
🧲Magnetic Resonance
State-of-the-art image generation Leonardo models and text-to-speech Deepgram models now available in Workers AI
blog.cloudflare.com·1d
🎙️Whisper
Live: Pentagon denies Marles and Hegseth meeting, says it was a 'happenstance encounter'
abc.net.au·1d
🚨Incident Response
Hosting Private AI with Railway - Tech Breakdown
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance