liate's Likes

What is cosh(List(Bool))? Or beyond algebra: analysis of data types
cofault.com·19w·
Discuss: Hacker News
📐Type Theory
Flag this post
Lessons along the EndBOX journey
jmmv.dev·19w
⚡Systems Programming
Flag this post
Monads are not like burritos
byorgey.github.io·19w·
Discuss: Lobsters, Hacker News
🔧Functional Programming
Flag this post
Rust Could be a Good Beginner Language
scp-iota.github.io·20w
⚡Systems Programming
Flag this post
Following the Unix philosophy without getting Left Pad
raku-advent.blog·20w·
Discuss: Hacker News
⚡Systems Programming
Flag this post
Writing a Verified Postfix Calculator in Ada/Spark
pyjarrett.github.io·20w·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Flag this post
Legal Version Control Is 30 Years Out of Date
theredline.versionstory.com·20w·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Abstraction boundaries are optimization boundaries
blog.snork.dev·20w·
Discuss: Hacker News, r/programming
🏗️Compiler Design
Flag this post
Iterators: Signs of Weakness in Object-Oriented Languages (By H. G. Baker, 1992)
xahlee.info·20w·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
Zig-style generics are not well-suited for most languages
typesanitizer.com·20w·
Discuss: Lobsters, r/programming
🏗️Compiler Design
Flag this post
Why doesn't Rust care more about compiler performance?
kobzol.github.io·20w·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
⚡Systems Programming
Flag this post
Zero-cost Functional Records in Rust
ecency.com·20w
⚡Systems Programming
Flag this post
Is Rust faster than C?
steveklabnik.com·20w·
Discuss: Lobsters, Hacker News, r/programming
⚡Systems Programming
Flag this post
Unison Lang: A big idea of content-addressed code
unison-lang.org·21w·
Discuss: Hacker News
⚡Systems Programming
Flag this post
Distance-Based ISA for Efficient Register Management
sigarch.org·21w·
Discuss: Lobsters, Hacker News, r/programming
⚡Systems Programming
Flag this post
A programming system
andreyor.st·21w·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Flag this post
Dogfooding the _Optional qualifier
itnext.io·21w·
Discuss: r/C_Programming
🔍Static Analysis
Flag this post
Subtype Inference by Example
blog.polybdenum.com·21w·
Discuss: Lobsters, Hacker News, r/programming
📐Type Theory
Flag this post
Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
cacm.acm.org·22w
📐Type Theory
Flag this post
(An ((Even Better) Lisp) Interpreter (in Python))
norvig.com·21w
🧠Lisp Dialects
Flag this post