🔤 Type Theory

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

Mullvad: QUIC Obfuscation for WireGuard
mullvad.net·8h·
Discuss: Hacker News
🔐Privacy Codecs
PoseGeni – AI Pose Generator MVP
posegeni.com·2d·
Discuss: Hacker News
🔗Concatenative Languages
The Biological Rulebook Was Just Rewritten—by Ants
404media.co·3d
🦴Database Paleontology
Prompt injection as a solution to make agents reliable
controlpla.in·3d·
Discuss: Hacker News
⚡Proof Automation
Satellite tagging reveals birthing migration of critically endangered scalloped hammerhead shark
phys.org·8h
💧Manuscript Watermarks
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·5d
🌳Archive Merkle Trees
Chelsea grit out victory over Man City in injury-marred WSL opener
the-independent.com·4d
💻Local first
Enhanced Regional Resilience Forecasting via Multi-modal Data Fusion and Bayesian Hybridization
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Is the Browser Becoming the New Endpoint?
darkreading.com·3h
🛡Cybersecurity
InvisiCaps: The Fil-C capability model
fil-c.org·5d·
Discuss: Hacker News
🏷️Memory Tagging
Enhanced Solvent Blending Prediction via Hierarchical Thermodynamics and Machine Learning
dev.to·3d·
Discuss: DEV
☕Precision Brewing
A Machine Learning-Based Study on the Synergistic Optimization of Supply Chain Management and Financial Supply Chains from an Economic Perspective
arxiv.org·4d
🧠Machine Learning
F&C Investment Trust PLC (FLIVF) Shareholder/Analyst Call Transcript
seekingalpha.com·1h
⚡HTMX
My AI/ML learning journey (so far...)
dev.to·3d·
Discuss: DEV
🎙️Whisper
IDEXX Laboratories, Inc. (IDXX) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference Transcript
seekingalpha.com·1h
🔗Data Provenance
Avoid RYTHM, Inc. For Now
seekingalpha.com·6h
🔍BitFunnel
ProCause: Generating Counterfactual Outcomes to Evaluate Prescriptive Process Monitoring Methods
arxiv.org·6d
⚡Proof Automation
DevOps Practice at Home?
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Orchestration
From Roleplay to Business: How Free AI Chat Generators Are Changing Conversations
dev.to·1d·
Discuss: DEV
🎙️Whisper
Dynamic Resource Orchestration via Predictive Container Scaling in Kubernetes
dev.to·4d·
Discuss: DEV
🌊Streaming Systems