🔤 Type Theory

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

Newsletters I read
hamatti.org·16h
📰RSS Feed Discovery
Setting mqweb trace on z/OS and other useful hints on tracing
colinpaice.blog·1d
📋Format Specification
A stern letter to the drawbridge operator
taylor.town·16h·
Discuss: Hacker News
🎯Gradual Typing
Show HN: Crudloop – On-Demand Voice AI, Meeting Bots and Full-Stack Development
crudloop.com·1d·
Discuss: Hacker News
🌊Stream Processing
SAT Requires Exhaustive Search
link.springer.com·6d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Building a Redis Clone – Part 2.0: Turning a Single Node into a Distributed Cluster
beyondthesyntax.substack.com·1d·
Discuss: Substack, r/programming
💾Storage Replication
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
Funding cuts upend projects piecing together saga of human history
phys.org·19m
📊Citation Graphs
Memorable Primes
johndcook.com·4h
📊APL Heritage
Optimized Autonomous Inference
outerbounds.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
BEST BLOGPOST ABOUT INTIALIZATION AND NORAMLIZATION I COULD FIND!!
dev.to·1d·
Discuss: DEV
📰RSS Feed Discovery
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·5d
💎Information Crystallography
VS-LLM: Visual-Semantic Depression Assessment based on LLM for Drawing Projection Test
arxiv.org·3d
🤖Advanced OCR
Microbial Resilience Profiling for Longevity Prediction via Multi-Omics Integration and Bayesian Optimization
dev.to·13h·
Discuss: DEV
🔄Archival Workflows
Automated Multi-Metric Scoring System for Serum Amyloid A (SAA) Isoform Profiling in Acute Inflammation
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Bio-Scaffold Compatibility Prediction via Multi-Scale Bayesian Network Analysis
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Machine Learning Fundamentals: model overfitting tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Automated High-Throughput Antibody Affinity Maturation via Multi-Objective Optimization and Predictive Modeling
dev.to·1d·
Discuss: DEV
🔍RegEx Engines
Large Language Model's Multi-Capability Alignment in Biomedical Domain
arxiv.org·4d
💻Programming languages