Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)AP
Posts
263
Comments
35
Joined
2 yr. ago

Programming Languages @programming.dev

Austral (language with linear types) Interview

Programming Languages @programming.dev

Ownership you can count on

Programming Languages @programming.dev

MOPping it up - Building a simple Metaobject Protocol

Programming Languages @programming.dev

Interface Dispatch in C++, Java, C#, Go, and Rust

Programming Languages @programming.dev

Security and Crashing with Modal Logic (blog post)

Programming Languages @programming.dev

3-lisp: an infinite tower of meta-circular interpreters (blog post)

Programming Languages @programming.dev

tree-shaking, the horticulturally misguided algorithm (blog post)

Programming Languages @programming.dev

We Need Type Information, Not Stable ABI

Programming Languages @programming.dev

Implicit Products: A Better Type-Theoretic "Forall"

Programming Languages @programming.dev

Scottish PL Seminar (program and abstracts)

Programming Languages @programming.dev

New Semantic Model (for KCL-lang)

Programming Languages @programming.dev

POPL 2024 Accepted Papers

Programming Languages @programming.dev

Improving programming language performance (blog post, sophia-lang)

Haskell @programming.dev

Zero to Hero | A Haskell Puzzle

Programming Languages @programming.dev

Coccinelle For Rust (Automated complex syntax transforms)

Programming Languages @programming.dev

December 2023 monthly "What are you working on?" thread

Programming Languages @programming.dev

A response to "A decade of developing a programming language"

Programming Languages @programming.dev

A History of Subtyping / What Does Subtyping Mean? (Video / Slides)

Programming Languages @programming.dev

The Bosque Programming Language

Programming Languages @programming.dev

Write your own tiny programming system(s)! (Online course)