🔤 Type Theory

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

Boom in Bespoke ETFs Drives Growth of Niche ‘A-La-Carte’ Options
bloomberg.com·21h
🔬Refinement Types
BetterExplained | Understanding Beyond Your Textbook
betterexplained.com·1d
📚Proof Pedagogy
Evaluating Document Extraction Accuracy
runpulse.com·5d·
Discuss: Hacker News
📋Document Layout
Our DevOps stack and recent improvements
ngrok.com·3d·
Discuss: Hacker News
❄️Nix Flakes
Migrating from Monolith to Serverless
news.ycombinator.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Learning Go / Eventually getting employed an issue for entry level?
reddit.com·3d·
Discuss: r/golang
🧠Lisp Dialects
Understanding Protein Language Models Series
chrishayduk.com·6d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Distributional Robustness in Output Feedback Regret-Optimal Control
arxiv.org·2d
🛡️Error Boundaries
Day 28: GraphQL in System Design – A Beginner-Friendly Guide
dev.to·3d·
Discuss: DEV
📊Graph Databases
FLUID: Flow-Latent Unified Integration via Token Distillation for Expert Specialization in Multimodal Learning
arxiv.org·5d
🧠Machine Learning
Blending Imitation and Reinforcement Learning for Robust Policy Improvement
arxiv.org·5d
🔲Cellular Automata
Beyond the Golden Ratio: Exploring the Full Energy Spectrum
dev.to·1d·
Discuss: DEV
⏰Time Crystals
Automated High-Resolution Microscopy Image Enhancement via Adaptive Wavelet Deconvolution
dev.to·16h·
Discuss: DEV
📊Quantization
MedPatch: Confidence-Guided Multi-Stage Fusion for Multimodal Clinical Data
arxiv.org·3d
🧠Machine Learning
Numerical Considerations in Weighted Model Counting
arxiv.org·6d
📐Error Bounds
SQL vs NoSQL: 7 Key Differences You Must Know day 30 f system design basics
dev.to·1d·
Discuss: DEV
🌊Streaming Databases
StrangEars
dev.to·3d·
Discuss: DEV
🎙️Whisper
Enhanced Spider Silk Biomimicry: Dynamic Self-Assembly via Controlled Polymer Crosslinking
dev.to·1d·
Discuss: DEV
📜Document Physics
Sub-field Selected: **Automated Protocol Generation for Cell-Free Protein Synthesis**
dev.to·4d·
Discuss: DEV
🔲Cellular Automata
Everything I Know About GitHub Copilot Instructions — From Zero to Onboarded (For Real) ⚡
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming