🔤 Type Theory

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

Kigen eUICC issue (custom backdoor vs. FW update bug)
seclists.org·3d
🛡️eBPF Security
The WETC Double-Spend
blog.verichains.io·2d
🎫Kerberos Attacks
I Suggest Giving Your Kid A Math Book And Pay Them For Right Answers
forums.anandtech.com·17h
📐Arithmetic Precision
A clear prompt
nature.com·4h
🔗Concatenative Languages
Finding MLB Player Types with K-Means Clustering
runningonnumbers.com·2d·
Discuss: Hacker News
🌊Spectral Clustering
MCP is an open protocol that standardizes how apps provide context to LLMs
modelcontextprotocol.io·1d·
Discuss: Hacker News
🏺Protocol Archaeology
Using Grover's algorithm to efficiently prepare collective quantum states in optical cavities
phys.org·3h
⚛️Quantum Algorithms
From Frustration to Contribution: My Journey Into the Heart of Open Source HTTP
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Most AI Fails Quietly. Graph Thinking Doesn’t.
dev.to·48m·
Discuss: DEV
🧮Datalog Systems
Automated Knowledge Synthesis Network for Dynamic Scientific Discovery (AKS-DSD)
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
Improving watermelon (Citrullus lanatus) disease classification with generative artificial intelligence (GenAI)-based synthetic and real-field images via a cust...
arxiv.org·10h
🤖Advanced OCR
I'm Building an AI Agent to Write My Unit Tests
dev.to·21h·
Discuss: DEV
⚡Proof Automation
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·4d·
Discuss: DEV
🔗Constraint Handling
Word Clouds as Common Voices: LLM-Assisted Visualization of Participant-Weighted Themes in Qualitative Interviews
arxiv.org·3d
🏛Digital humanities
Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
arxiv.org·3d
🎯Threat Hunting
A Physics-informed Deep Operator for Real-Time Freeway Traffic State Estimation
arxiv.org·3d
🧠Machine Learning
Dual Information Speech Language Models for Emotional Conversations
arxiv.org·3d
🧠Intelligence Compression
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·3d
📊Learned Metrics
CSRF Testing Methodology: From Detection to Exploitation
infosecwriteups.com·7h
🧪Protocol Fuzzing
Algorithmic Fairness amid Social Determinants: Reflection, Characterization, and Approach
arxiv.org·2d
🌍Cultural Algorithms