Making your own programming language is easier than you think (but also harder) via @lesley@mastodon.gamedev.place https://lobste.rs/s/vqjc0e #plt
https://lisyarus.github.io/blog/posts/making-your-own-programming-language.html
0
2
0
A behavioral notion of subtyping (1994) https://lobste.rs/s/ivh29f #pdf #plt
https://www.cs.cmu.edu/~wing/publications/LiskovWing94.pdf
0
0
0
A Path Not Taken for OxCaml https://lobste.rs/s/ik5vhe #ml #plt
https://joel.place/blog/path-not-taken/
0
0
0
One week of view_types https://lobste.rs/s/opwgjp #plt #rust
https://scrabsha.dev/articles/one-week-of-view-types.html
0
0
0
Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based https://lobste.rs/s/gsjskz #plt #python
https://microsoft.github.io/bocpy/
0
0
0
A bidirectional typechecking puzzle https://lobste.rs/s/rsj8sx #plt
https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle
0
0
0
A little comparison between R and Kap https://lobste.rs/s/pxb7yu #apl #plt
https://blog.dhsdevelopments.com/a-little-comparison-between-r-and-kap
0
0
0
C3 | Blog | Unsigned sizes: a five year mistake via @chandlerc@hachyderm.io https://lobste.rs/s/bzltqt #c #plt
https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/
0
0
0
Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt
https://www.kmjn.org/notes/microgpt_futhark.html
0
0
0
Thoughts on WebAssembly as a stack machine via @lesley@mastodon.gamedev.place https://lobste.rs/s/et1uux #plt #wasm
https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/
0
0
0
Breaking ten years of C API compatibility in Futhark https://lobste.rs/s/wedwdu #compilers #plt
https://futhark-lang.org/blog/2026-04-29-breaking-api-compatibility.html
0
0
0
Basic Type System Terminology https://lobste.rs/s/yhzg6d #plt
https://lewiscampbell.tech/blog/250817.html
0
0
0
Borrow-checking without type-checking https://lobste.rs/s/5jkwmc #plt
https://www.scattered-thoughts.net/writing/borrow-checking-without-type-checking/
0
0
0
nondescript: a simple embedded programming language by @rk@mastodon.well.com https://lobste.rs/s/ivj2o8 #show #plt
https://github.com/deadpixi/nondescript
0
0
0
An Algorithmic Reconstruction of Normalisation by Evaluation via @fanf@mendeddrum.org https://lobste.rs/s/lfkjpt #plt
https://yangzhixuan.github.io/NbE.html
0
0
0
2
0
0
GraalVM JavaScript Sandboxing https://lobste.rs/s/ygbtbm #java #javascript #plt #security
https://www.graalvm.org/latest/security-guide/sandboxing/
0
0
0
Lenses in Rust and My Solution https://lobste.rs/s/i0tuyd #plt #rust
https://lambdalemon.gay/posts/grist-lens
0
0
0
Reflections on 30 Years of HPC Programming: So many hardware advances, so little adoption of new languages via @fanf@mendeddrum.org https://lobste.rs/s/b75v6m #performance #plt
https://chapel-lang.org/blog/posts/30years/
0
0
1