🔤 Type Theory

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

Varaldo’s _Shahrazad_ and Chiti’s _Centunesimo Canto_
quuxplusone.github.io·22h
📜Text Collation
Keys to the Kingdom: Erlang/OTP SSH Vulnerability Analysis and Exploits Observed in the Wild
unit42.paloaltonetworks.com·12h
🎫Kerberos Exploitation
Django Weblog: Welcome Our New Fellow - Jacob Tyler Walls
djangoproject.com·2h
🎹MIDI Archaeology
Cryptoasset Realization: How Cryptocurrencies Are Frozen, Seized, and Forfeited
chainalysis.com·1d·
Discuss: Hacker News
🔗Hash Chains
Amazon EC2 defenses against L1TF Reloaded
aws.amazon.com·4h
🌳Archive Merkle Trees
Post-Startup Life: Reflecting on My First 18 Months Living in Denver (2019)
daniellemorrill.com·2h·
Discuss: Hacker News
🏠Personal Archives
Why Is Stream Processing Hard?
blog.epsiolabs.com·1d·
Discuss: Hacker News, Hacker News
🌊Streaming Systems
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·1d·
Discuss: Hacker News
🌀Brotli Internals
Claude Is the Drug, Cursor Is the Dealer
middlelayer.substack.com·6h·
Discuss: Substack
🖥️Terminal Renaissance
Virtual 6NF
minimalmodeling.substack.com·3d·
Discuss: Substack
💾Database Formats
Designing for humans: Why most enterprise adoptions of AI fail
markgreville.ie·8h·
Discuss: Hacker News
🌍Cultural Algorithms
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·5d
⬆️Lambda Lifting
Bridging Farm Economics and Landscape Ecology for Global Sustainability through Hierarchical and Bayesian Optimization
arxiv.org·18h
🏺Computational Archaeology
Federated Learning with Differential Privacy for Edge-Based Anomaly Detection in Industrial IoT
dev.to·1d·
Discuss: DEV
🛡️Differential Privacy
Enhanced Anomaly Detection in Network Traffic via Multi-Modal Data Fusion and Deep Reinforcement Learning
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·5d
🔗Functional Compilers
ViFP: A Framework for Visual False Positive Detection to Enhance Reasoning Reliability in VLMs
arxiv.org·4d
👁️OCR Verification
Smart Image Tagger
dev.to·9h·
Discuss: DEV
⚡Redis Internals
Redis Place: Building r/place with 9 Redis Data Structures
dev.to·15h·
Discuss: DEV
⚡Redis Internals
Building a Real-Time Network Monitor with Python and Scapy
dev.to·15h·
Discuss: DEV
📡Network Monitoring