Mastodawn

https://lobste.rs/s/3fprl8/slap_functional_concatenative_language

#concatenative #plt #stack

Slap: Functional Concatenative Language... with a Borrow Checker?

3 comments

Lobsters

Lobsters 11h ago

Slap: Functional Concatenative Language... with a Borrow Checker?

https://fed.brid.gy/r/https://taylor.town/slap-000

Lobsters 9h ago

Lisette — Rust syntax, Go runtime https://lobste.rs/s/rw62j7 #go #plt #rust
https://lisette.run

Lisette — Rust syntax, Go runtime

0 comments

Lobsters

Lobsters 11h ago

Slap: Functional Concatenative Language... with a Borrow Checker? https://lobste.rs/s/3fprl8 #compilers #concatenative #graphics #plt
https://taylor.town/slap-000

Slap: Functional Concatenative Language... with a Borrow Checker?

0 comments

Lobsters

Why Lean? - by Leonardo de Moura

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

#Lean #FormalVerification #SMT #PLT

Why Lean? — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

Lobsters 1d ago

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding

https://fed.brid.gy/r/https://gist.github.com/MostAwesomeDude/560185c24f959f6fec229739cb5a6735

Lobsters 22h ago

Formal Methods https://lobste.rs/s/letcxt #formalmethods #plt
https://www.formalmethods.dk

Formal Methods

0 comments

Lobsters

Lobsters 1d ago

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding https://lobste.rs/s/8lbmm8 #ai #math #plt #python #vibecoding
https://gist.github.com/MostAwesomeDude/560185c24f959f6fec229739cb5a6735

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding

1 comment

Lobsters

Lobsters 1d ago

Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu https://lobste.rs/s/yoq0e6 #formalmethods #plt
https://notes.8pit.net/notes/y7n8.html

Validating Hare’s Sort Module using Symbolic Execution

0 comments

Lobsters

Lobsters 2d ago

Linear types proposal for Hare

https://fed.brid.gy/r/https://yerinalexey.srht.site/borrow/notes.html