🔤 Type Theory

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

Twenty Years of Blog Posts
charlespetzold.com·1d·
Discuss: Hacker News
📰RSS Feed Discovery
Why is D3 so Verbose?
theheasman.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Constraints on axions from active galactic nuclei seen through galaxy clusters
nature.com·1d·
Discuss: Hacker News
🌡️Preservation Physics
Great Programmers Write Debuggable Code (2013)
henrikwarne.com·4d·
Discuss: Hacker News
👁️Observatory Systems
Am I Just Passing Time in University… or Building My Future?
dev.to·21h·
Discuss: DEV
🗺️Competency Maps
Welsh Fire Women finally celebrate first win of this year’s Hundred
the-independent.com·2d
⚡Proof Automation
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·5d·
Discuss: Hacker News
⚙️Proof Engineering
Utilizing the RAIN method and Graph SAGE Model to Identify Effective Drug Combinations for Gastric Neoplasm Treatment
arxiv.org·5d
🔗Topological Sorting
AI Agents for Business Efficiency: Transforming Customer Interactions with 7Chats
dev.to·23h·
Discuss: DEV
🤖AI Curation
PB-IAD: Utilizing multimodal foundation models for semantic industrial anomaly detection in dynamic manufacturing environments
arxiv.org·4d
🤖Advanced OCR
Reinforcement Learning to Rank Using Coarse-grained Rewards
arxiv.org·4d
📊Search Ranking
Is there a sane way to create effective namespaces for Go's "enums"?
reddit.com·5d·
Discuss: r/golang
💧Liquid Types
Automated Regression Testing Prioritization with Hyperdimensional Semantic Embeddings
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
The Small Coding Habit That Made Me a Better Developer
dev.to·5d·
Discuss: DEV
📏Code Metrics
Building Apps for Nano Needling Clinics With Python
dev.to·2d·
Discuss: DEV
✋Tactile Computing
The Human-in-the-Loop Factor: Partnering With Amazon Q During a Production Incident
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Automated Anomaly Detection in Microfluidic Devices via Hybrid Tensor Decomposition and Spectral Analysis
dev.to·1d·
Discuss: DEV
🌊Stream Processing
What I Learned From a Week of AI-Assisted Coding: The Good, The Bad, and The Surprisingly Counterintuitive
dev.to·5d·
Discuss: DEV
🔄Language Evolution
The Rise of Open AI Models: Privacy, Control, and a New Era
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·5d
🎯Proof Tactics