🔤 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
OpenDylan sheds some parentheses in 2025.1 update
theregister.com·12h
🧠Lisp Dialects
A Rubyist's guide to big-O notation
honeybadger.io·1d
🌳Trie Structures
The time is right for a DOM templating API
justinfagnani.com·2h·
Discuss: Hacker News
🌐Web Standards
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Summary and Sharing of Data Types in the Cangjie development Language for HarmonyOS Next
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
daily quizzz
dev.to·1d·
Discuss: DEV
λLambda Encodings
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·4d·
Discuss: DEV
🧬Functional Programming
Coccinelle for Rust progress report (Collabora blog)
lwn.net·7h
🦀Rust Borrowing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.org·18h
📄Document Digitization
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Writing Toy Software Is a Joy
quiz.businessexplain.com·19h·
Discuss: Hacker News
🔩Systems Programming
Just a Baby in Coding (That's Okay)
dev.to·6h·
Discuss: DEV
λLambda Formalization
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing
Declarative Programming: SQL, HTML, CSS, Prolog Guide
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis