🔤 Type Theory

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

Proficient Python: Course Overview
proficientpython.com·1d
🔗Concatenative Programming
A Rubyist's guide to big-O notation
honeybadger.io·1d
🌳Trie Structures
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·4h
💻Local LLMs
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·4h
🎯Performance Proofs
Function Currying in Modern JavaScript: Why, When, and How
dev.to·3d·
Discuss: DEV
⬆️Lambda Lifting
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Using PhantomData and Zero-Sized Types
dev.to·17h·
Discuss: DEV
🔒Type Safety
The "C" in CSS: A Guide to Cascade, Specificity, and Inheritance
dev.to·1d·
Discuss: DEV
🖋Typography
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Machine Learning Fundamentals: active learning with python
dev.to·15h·
Discuss: DEV
🧠Machine Learning
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·4h
🧠Machine Learning
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·14h·
Discuss: DEV
🌊Stream Processing
daily quizzz
dev.to·19h·
Discuss: DEV
λLambda Encodings
100 days of coding! Day 23
dev.to·13h·
Discuss: DEV
📏Code Metrics
Beyond switch-case: Type-safe Pattern Matching in TypeScript
dev.to·5d·
Discuss: DEV
🎯Gradual Typing