#plt — Public Fediverse posts

https://www.europesays.com/si/100731/ Šok v zadnjem kolu: Triglav pokvaril lendavsko fešto, v prvo ligo Brinje Grosuplje! #2SNL #BrinjeGrosuplje #NDGorica #NKKrskoPosavje #NKNaftaLendava #NKTriglav #PLT #PrvaLiga #PrvaLigaTelemach #SI #Slovene #Slovenia #Slovenija #Slovenščina #Šport #Sports

minc — A minimal language for building native software https://lobste.rs/s/zipfsh #c #games #plt
https://minc.dev/

Bytecode Interpretation From Scratch in C via @andrew_chou https://lobste.rs/s/vwywsp #c #plt
https://williamalexakis.com/interpreter-in-c

Bournegol (2014) https://lobste.rs/s/g20jxv #historical #plt
https://oldhome.schmorp.de/marc/bournegol.html

Spectre is a programming language meant for safe and contract based low-level systems programming.
It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

https://spectre-docs.pages.dev/

#spectrelang #languages #plt

Spectre is a programming language meant for safe and contract based low-level systems programming.
It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

https://spectre-docs.pages.dev/

#spectrelang #languages #plt

Spectre is a programming language meant for safe and contract based low-level systems programming.
It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

https://spectre-docs.pages.dev/

#spectrelang #languages #plt

Spectre is a programming language meant for safe and contract based low-level systems programming.
It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

https://spectre-docs.pages.dev/

#spectrelang #languages #plt

Spectre is a programming language meant for safe and contract based low-level systems programming.
It allows for type-level invariants, and function-level preconditions and postconditions, it enables safety through use of immutability by default.

https://spectre-docs.pages.dev/

#spectrelang #languages #plt

Bidirectional Typechecking That Does Not Stop via @brendan https://lobste.rs/s/r07ede #plt
https://semantic-domain.blogspot.com/2026/05/bidirectional-typechecking-that-does.html

🦀 rlisp
Rust semantics with LISP syntax. A transparent s-expression frontend that compiles directly to Rust — no runtime, no GC, just (s-expr → .rs → binary). https://github.com/ThatXliner/rust-but-lisp

#rust #lisp #plt

Pyrefly v1.0 is here via @dayanruben https://lobste.rs/s/qevzpl #plt #python #rust
https://pyrefly.org/blog/v1.0/

5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake | Wasp https://lobste.rs/s/pfbph4 #plt #web
https://wasp.sh/blog/2026/05/13/new-language-for-web-dev-was-a-mistake

Categorical Programming Language Tutorial https://lobste.rs/s/n55iup #plt
https://msakai.github.io/cpl/tutorial.html

Designing a Custom Query Language for Non-Technical Analysts https://lobste.rs/s/c5tybg #databases #plt
https://nchammas.com/writing/custom-query-language-design

Partial static single information form https://lobste.rs/s/c2zvef #plt
https://bernsteinbear.com/blog/partial-ssi/

Partial static single information form

https://fed.brid.gy/r/https://bernsteinbear.com/blog/partial-ssi/

Extraordinary Ordinals https://lobste.rs/s/gp48cv #art #plt
https://text.marvinborner.de/2026-04-09-17.html

Scripty https://lobste.rs/s/xsuypk #plt #zig
https://kristoff.it/blog/scripty/

Scripty https://lobste.rs/s/xsuypk #plt #zig
https://kristoff.it/blog/scripty/

Scripty https://lobste.rs/s/xsuypk #plt #zig
https://kristoff.it/blog/scripty/

Scripty https://lobste.rs/s/xsuypk #plt #zig
https://kristoff.it/blog/scripty/

Scripty https://lobste.rs/s/xsuypk #plt #zig
https://kristoff.it/blog/scripty/

The Namespace Problem https://lobste.rs/s/lhbfld #plt
https://www.alialmutawajr.com/blog/post1

Poop - a functional esolang https://lobste.rs/s/qwnm5w #plt
https://github.com/pstron/poop

Mojo v1.0.0b1 https://lobste.rs/s/zys8hd #ai #plt #release
https://mojolang.org/releases/v1.0.0b1

Making your own programming language is easier than you think (but also harder) via @lesley https://lobste.rs/s/vqjc0e #plt
https://lisyarus.github.io/blog/posts/making-your-own-programming-language.html

Making your own programming language is easier than you think (but also harder)

https://fed.brid.gy/r/https://lisyarus.github.io/blog/posts/making-your-own-programming-language.html

A behavioral notion of subtyping (1994) https://lobste.rs/s/ivh29f #pdf #plt
https://www.cs.cmu.edu/~wing/publications/LiskovWing94.pdf

A Path Not Taken for OxCaml https://lobste.rs/s/ik5vhe #ml #plt
https://joel.place/blog/path-not-taken/

One week of view_types https://lobste.rs/s/opwgjp #plt #rust
https://scrabsha.dev/articles/one-week-of-view-types.html

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase via @eh https://lobste.rs/s/njja19 #plt #release
https://types.pl/@amy/116522250630340534

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based https://lobste.rs/s/gsjskz #plt #python
https://microsoft.github.io/bocpy/

A bidirectional typechecking puzzle https://lobste.rs/s/rsj8sx #plt
https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle

A bidirectional typechecking puzzle

https://fed.brid.gy/r/https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle

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

C3 | Blog | Unsigned sizes: a five year mistake via @chandlerc https://lobste.rs/s/bzltqt #c #plt
https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/

Unsigned sizes: a five year mistake

https://fed.brid.gy/r/https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/

Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt
https://www.kmjn.org/notes/microgpt_futhark.html

Porting microgpt to Futhark, Part I

https://fed.brid.gy/r/https://www.kmjn.org/notes/microgpt_futhark.html

Thoughts on WebAssembly as a stack machine via @lesley https://lobste.rs/s/et1uux #plt #wasm
https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/

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

I really love the combination of Sorbet+RBS to add types to Ruby programs, so I also decided to add gradually typing out of the box. You don't need to add a single type signature, but it will try to infer types where possible, and you could add types if you want to.

#ruby #sorbet #rbs #plt

apl\? (1990) https://lobste.rs/s/foahht #apl #plt
https://www.jsoftware.com/papers/J1990.htm

How To Make a Fast Dynamic Language Interpreter https://lobste.rs/s/vrmjge #compilers #performance #plt
https://zef-lang.dev/implementation

Amazing post! A little mind bending but worth to try and learn something.

––––

Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

https://moleike.github.io/blog/staged-parser-combinators/

#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators

Amazing post! A little mind bending but worth to try and learn something.

––––

Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

https://moleike.github.io/blog/staged-parser-combinators/

#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators

Amazing post! A little mind bending but worth to try and learn something.

––––

Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

https://moleike.github.io/blog/staged-parser-combinators/

#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators

Amazing post! A little mind bending but worth to try and learn something.

––––

Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

https://moleike.github.io/blog/staged-parser-combinators/

#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators

Amazing post! A little mind bending but worth to try and learn something.

––––

Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)

https://moleike.github.io/blog/staged-parser-combinators/

#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators