liate's Likes

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