🔤 Type Theory

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

Why we need better software identification
softwareheritage.org·3d
🔗Binary Similarity
AI LLMs are now so clever that they can independently plan and execute cyberattacks without human intervention — and I fear that it is only going to get worse
techradar.com·21h
🎯Threat Hunting
Photon-Lines Tech Notes - July 2025
photonlines.substack.com·3d·
Discuss: Substack
🔍Vector Forensics
Kano Model
en.wikipedia.org·2h·
Discuss: Hacker News
🔐Capability Systems
Injecting Java from native libraries on Android
octet-stream.net·6h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·2d·
Discuss: Hacker News
📡Network Protocol Design
Shape complementarity enables precise protein binder design
phys.org·4d
🌐Computational Topology
Compostable Reusable Applications Platform (Crap)
maccriosta.ie·9h·
Discuss: Hacker News
🦋Format Metamorphosis
Tokens are getting more expensive
ethanding.substack.com·6h·
Discuss: Substack
🖥️Terminal Renaissance
Vibe-coding yourself into irrelevance
osnews.com·1d·
Discuss: Hacker News
📏Code Metrics
Show HN: Send real-time updates to your mobile apps with Stac Framework
github.com·4d·
Discuss: Hacker News
📝Concrete Syntax
LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration
arxiv.org·2d
💻Local LLMs
Python Fundamentals: conda
dev.to·1d·
Discuss: DEV
🔄Archive Workflows
Sketch 'n' Scribble: Scene and Dialogue Generator using Google AI Studio
dev.to·3h·
Discuss: DEV
🏛Digital humanities
Building Trust in the AI Agent Economy: Sigstore Meets Agent2Agent
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
How to Use NLP to Extract Business Insights from Chat Data
dev.to·17h·
Discuss: DEV
📄Text Mining
A Hands-On Guide to Model Context Protocol (MCP)!
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
DICOM De-Identification via Hybrid AI and Rule-Based Framework for Scalable, Uncertainty-Aware Redaction
arxiv.org·2d
🔄Archival Workflows
Show HN: HydraFlow – Type-safe ML experiment tracking with Hydra and MLflow
github.com·2d·
Discuss: Hacker News
💧Liquid Types
Improving Task Diversity in Label Efficient Supervised Finetuning of LLMs
arxiv.org·4d
🔗Monadic Parsing