🔤 Type Theory

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

Harriette Cole: Apparently I crossed a line when I asked my ex for a favor
mercurynews.com·1d
💻Local first
Holiday sewing
rousette.org.uk·1d
⭐Awesome lists
[RIDGELINE] Eating Linoliem in Karuizawa
craigmod.com·6h
🗃archives
Congestion Control at IETF 123
potaroo.net·1d
📡Network Calculus
Starting with pytest’s parametrize
nedbatchelder.com·3d·
Discuss: Lobsters, r/programming
⚡Proof Automation
Docker @ Black Hat 2025: CVEs have everyone’s attention, here’s the path forward
docker.com·1d
📦Container Security
Rubygems.org March 2025 Ecosystem Report
rubyelders.com·4d·
Discuss: Hacker News
❄️Nix Flakes
Opencode Tool Review (is this the Open-Source answer to Claude Code?)
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🔓Open Source Software
How I Went From Chartered Accountant to QA Engineer in the UK
hackernoon.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com·6d·
Discuss: Hacker News
🧠Lisp Dialects
🚀 Python for DevOps Week 2 & Week 3: Automating Daily Ops & Containerizing with Docker
dev.to·3d·
Discuss: DEV
🔩Systems Programming
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·3d
🧠Intelligence Compression
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Multi-Modal Input Fusion and Bayesian Hierarchical Clustering for Dynamic Financial Risk Assessment
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
The Evolution of AI in SEO: Current Trends and Future Predictions
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Pragmatics beyond humans: meaning, communication, and LLMs
arxiv.org·6d
🎭Cultural Informatics
Adaptive Group Normalization with Dynamic Kernel Rotation for Convolutional Neural Network Generalization
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Automated Geochemical Anomaly Detection in Martian Regolith Using Bayesian Hierarchical Modeling
dev.to·2d·
Discuss: DEV
📄Document Digitization
Adaptive Exploration-Exploitation Balancing via Bayesian Meta-Reinforcement Learning for Dynamic Grid Navigation
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Fed-TGAN: Federated Learning Framework for Synthesizing Tabular Data
arxiv.org·5d
🧠Machine Learning