🔤 Type Theory

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

Tom Hopper Unpacks the Psychological Perils in ‘The Terminal List: Dark Wolf’
hollywoodreporter.com·23h
📟Terminal Forensics
Green Touring and Concert Travel Are the Future: Guest Post by Guster Guitarist and Reverb Co-Founder Adam Gardner
variety.com·7m
🎵Music Universality
Your elected leaders: Taiji Kimura, Routing Security SIG Acting Chair
blog.apnic.net·1d
🌐Network Security
U.S. Gov’t & Tech Giants Unite Against ISP Piracy Liability Ruling at Supreme Court
torrentfreak.com·4h·
Discuss: r/Piracy
🏴‍☠️Piracy
Data processing pipeline for MIMIC-IV an open electronic health record dataset
proceedings.mlr.press·6d·
Discuss: Hacker News
📊Count-Min Sketch
Business Rules In Database Movement
medium.com·3d·
Discuss: r/programming
🏺Database Archaeology
The Newfoundland-Azores High-Speed Duplex Cable (1931)
atlantic-cable.com·1d·
Discuss: Hacker News
🔧Cassette Engineering
‘Communities already have the solutions’: why I advocate for Indigenous knowledge
nature.com·1d
🌍Cultural Computing
AI Isn't Biased Enough
hedgehogreview.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Local, extensible and fast macOS transcription app
github.com·23h·
Discuss: Hacker News
🎙️Whisper
I’ve been looking forward to this as a general train...
lmika.org·1d
📰RSS Reading Practices
Malware found hidden in image files, can dodge antivirus detection entirely — VirusTotal discovers undetected SVG phishing campaign
tomshardware.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
Notes on Etymology and History of Math Terms - Tangrams
pballew.blogspot.com·3d·
Discuss: www.blogger.com
🇨🇳Chinese Computing
Mathematical framework uncovers key to decoupling economic growth from pollution in developing countries
phys.org·23h
💰Preservation Economics
[D] The apparent randomness of residual block design
reddit.com·2d·
Discuss: r/MachineLearning
🧠Neural Compression
mooR (MOO server in Rust) development blog post
reddit.com·3d·
Discuss: r/rust
🔒Linear Types
The power of AI in driving personalized product discovery at Snoonu
aws.amazon.com·23h
👤Search Personalization
I have never had a homelab!
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
Turn pose photos into editable animation code
news.ycombinator.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
New AI Native Language
github.com·6d·
Discuss: Hacker News
🗣️Domain-Specific Languages