🔤 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·1d
📜Text Collation
Keys to the Kingdom: Erlang/OTP SSH Vulnerability Analysis and Exploits Observed in the Wild
unit42.paloaltonetworks.com·15h
🎫Kerberos Exploitation
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·3d
📝ABNF Parsing
Cryptoasset Realization: How Cryptocurrencies Are Frozen, Seized, and Forfeited
chainalysis.com·1d·
Discuss: Hacker News
🔗Hash Chains
Why Is Stream Processing Hard?
blog.epsiolabs.com·1d·
Discuss: Hacker News, Hacker News
🌊Streaming Systems
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com·6h·
Discuss: Hacker News
🔓Open Source Software
Visualizing Tree Data Structures in 3D with JavaScript and Three.js
youtube.com·4d
📐Mathematical Art
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·1d·
Discuss: Hacker News
🌀Brotli Internals
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·5d
⬆️Lambda Lifting
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·4d·
Discuss: Substack
⚔️Lean Tactics
Bridging Farm Economics and Landscape Ecology for Global Sustainability through Hierarchical and Bayesian Optimization
arxiv.org·21h
🏺Computational Archaeology
Algorithmic Equity Gradient Optimization for Resource Allocation in Disaster Relief
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Adaptive Multi-Modal Data Fusion for Anomaly Detection in Spacecraft Thermal Management Systems
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Enhanced Targeted Drug Delivery via Bio-Responsive Peptide-Polymer Nanocarriers: A Computational & Experimental Framework
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Federated Learning with Differential Privacy for Edge-Based Anomaly Detection in Industrial IoT
dev.to·1d·
Discuss: DEV
🛡️Differential Privacy
Enhanced QSVM Kernel Optimization via Adaptive Feature Space Projection
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
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·6d
🔗Functional Compilers
ViFP: A Framework for Visual False Positive Detection to Enhance Reasoning Reliability in VLMs
arxiv.org·4d
👁️OCR Verification
Redis Place: Building r/place with 9 Redis Data Structures
dev.to·18h·
Discuss: DEV
⚡Redis Internals