#plt — Public Fediverse posts

Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods

Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods

Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods

Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods

Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong

https://fed.brid.gy/r/https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong

https://fed.brid.gy/r/https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

A Personal Computer For Children Of All Cultures https://lobste.rs/s/ikeag0 #plt #practices
https://www.deconstructconf.com/2019/ramsey-nasser-a-personal-computer-for-children-of-all-cultures

A Personal Computer For Children Of All Cultures https://lobste.rs/s/ikeag0 #plt #practices
https://www.deconstructconf.com/2019/ramsey-nasser-a-personal-computer-for-children-of-all-cultures

A Personal Computer For Children Of All Cultures https://lobste.rs/s/ikeag0 #plt #practices
https://www.deconstructconf.com/2019/ramsey-nasser-a-personal-computer-for-children-of-all-cultures