🔤 Type Theory

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

Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·3d
🔄Reproducible Builds
Proficient Python: Course Overview
proficientpython.com·1d
🔗Concatenative Programming
OpenDylan sheds some parentheses in 2025.1 update
theregister.com·4h
🧠Lisp Dialects
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·10h
💻Local LLMs
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·10h
🎯Performance Proofs
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Using PhantomData and Zero-Sized Types
dev.to·23h·
Discuss: DEV
🔒Type Safety
The "C" in CSS: A Guide to Cascade, Specificity, and Inheritance
dev.to·1d·
Discuss: DEV
🖋Typography
Entelligence vs CodeRabbit
dev.to·1h·
Discuss: DEV
🌳Incremental Parsing
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
Self-referential structs that can actually move in Rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Machine Learning Fundamentals: active learning with python
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·10h
🧠Machine Learning
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·19h·
Discuss: DEV
🌊Stream Processing
100 days of coding! Day 23
dev.to·18h·
Discuss: DEV
📏Code Metrics
Beyond switch-case: Type-safe Pattern Matching in TypeScript
dev.to·5d·
Discuss: DEV
🎯Gradual Typing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🐛Fuzzing