#plt — Public Fediverse posts

🦀 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

The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages

https://www.iqiipi.com/the-quiet-colossus.html

#plt #programming #ada #adalang

Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding
https://www.basis.ai/blog/verified-compiler/

Lean proved this program was correct; then I found a bug https://lobste.rs/s/wwr6zu #formalmethods #plt #security
https://kirancodes.me/posts/log-who-watches-the-watchers.html

Lean proved this program was correct; then I found a bug

https://fed.brid.gy/r/https://kirancodes.me/posts/log-who-watches-the-watchers.html

Why Lean? - by Leonardo de Moura

https://leodemoura.github.io/blog/2026-4-2-why-lean/

#Lean #FormalVerification #SMT #PLT

Coeffects: Context-aware programming languages

https://tomasp.net/coeffects/

#plt #programmingLanguages #functionalProgramming #FP

https://www.europesays.com/it/413358/ Mps, ribaltone al vertice: Lovaglio resta senza deleghe e viene sospeso anche da direttore generale #advisor #Affari #assemblea #baj #banca #banchiere #board #Business #candidato #cda #CdaMonte #ceo #confronti #ConfrontiCda #consigliere #decisione #deleghe #dialoghi #dimissioni #direttore #escluso #holding #investitori #IT #Italia #Italy #legali #lista #Lovaglio #LovaglioResta #LovaglioRestaPoteri #maione #manager #monte #MPS #plt #poteri #proxy #resta

Haskell for all: Data is Code

https://haskellforall.com/2016/04/data-is-code

#programming #LambdaCalculus #plt #FunctionalProgramming #FP #Haskell #Scala

Fuego de Dragón: Sistema de Seguimiento de Tendencias para Swing Trading#MT4MT5yEA #AnáliseTécnica #DragonFire #estratégiadeseguimentodetendências #Forex #IGentorLSMA #IndicadoresdeTrading #MetaTrader #PLT #StopLoss #SwingTrading Descubre Fuego de Dragón, un sistema de seguimiento de tendencias para swing trading que simplifica tus decisiones de negociación en el mercado forex.
https://djltrading.com/fuego-dragon-sistema-seguimiento-tendencias-swing-trading/?fsp_sid=41049

Fuego de Dragón: Sistema de Seguimiento de Tendencias para Swing Trading#MT4MT5yEA #AnáliseTécnica #DragonFire #estratégiadeseguimentodetendências #Forex #IGentorLSMA #IndicadoresdeTrading #MetaTrader #PLT #StopLoss #SwingTrading Descubre Fuego de Dragón, un sistema de seguimiento de tendencias para swing trading que simplifica tus decisiones de negociación en el mercado forex.
https://djltrading.com/fuego-dragon-sistema-seguimiento-tendencias-swing-trading/?fsp_sid=41049

Fuego de Dragón: Sistema de Seguimiento de Tendencias para Swing Trading#MT4MT5yEA #AnáliseTécnica #DragonFire #estratégiadeseguimentodetendências #Forex #IGentorLSMA #IndicadoresdeTrading #MetaTrader #PLT #StopLoss #SwingTrading Descubre Fuego de Dragón, un sistema de seguimiento de tendencias para swing trading que simplifica tus decisiones de negociación en el mercado forex.
https://djltrading.com/fuego-dragon-sistema-seguimiento-tendencias-swing-trading/?fsp_sid=41049

Some pretty cool visualizations here :blobcatcoffee:

--

An Interactive Intro to CRDTs

https://jakelazaroff.com/words/an-interactive-intro-to-crdts/

by @jakelazaroff
linked from https://lobste.rs/s/oe6l1z/interactive_intro_crdts

#crdt #crdts #javascript #plt #programming #dataStructures

Meet #Rust + #DependencyInjection #MacroCrimes:

Supercharge Rust functions with implicit arguments using CGP v0.7.0

https://contextgeneric.dev/blog/v0.7.0-release/

Absolutely mind-blowing stuff! 🤯

I think this can be very useful for e.g. #UI libraries - really reminds me of #Vue's provide/inject mechanism:

https://vuejs.org/guide/components/provide-inject.html#provide-inject

#RustLang #Macros #plt

Meet #Rust + #DependencyInjection #MacroCrimes:

Supercharge Rust functions with implicit arguments using CGP v0.7.0

https://contextgeneric.dev/blog/v0.7.0-release/

Absolutely mind-blowing stuff! 🤯

I think this can be very useful for e.g. #UI libraries - really reminds me of #Vue's provide/inject mechanism:

https://vuejs.org/guide/components/provide-inject.html#provide-inject

#RustLang #Macros #plt