Elektrine
Log in Register

#plt

22 posts · Last used 2d

Back to Timeline
@lobsters@mastodon.social · 2d ago
Basic Type System Terminology https://lobste.rs/s/yhzg6d #plt https://lewiscampbell.tech/blog/250817.html
0
0
0
@lobsters@mastodon.social · 4d ago
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
@lobsters@mastodon.social · 5d ago
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
@lobsters@mastodon.social · 5d ago
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
@lobsters@mastodon.social · 5d ago
The Edge of Safe Rust https://lobste.rs/s/hkwyrc #plt #rust https://kyju.org/blog/tokioconf-2026/
2
0
0
@lobsters@mastodon.social · 6d ago
GraalVM JavaScript Sandboxing https://lobste.rs/s/ygbtbm #java #javascript #plt #security https://www.graalvm.org/latest/security-guide/sandboxing/
0
0
0
@lobsters@mastodon.social · Apr 18, 2026
Lenses in Rust and My Solution https://lobste.rs/s/i0tuyd #plt #rust https://lambdalemon.gay/posts/grist-lens
0
0
0
@lobsters@mastodon.social · Apr 17, 2026
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
@lobsters@mastodon.social · Apr 16, 2026
Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding https://www.basis.ai/blog/verified-compiler/
0
0
0
@lobsters@mastodon.social · Apr 15, 2026
Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region https://lobste.rs/s/mt33ed #plt #swift https://github.com/inamiy/swift-concurrency-type-system
1
0
0
@lobsters@mastodon.social · Apr 15, 2026
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt https://github.com/solomon-b/lambda-calculus-hs
0
0
0
@lobsters@mastodon.social · Apr 14, 2026
The thrilling adventures of Lovelace and Babbage https://lobste.rs/s/iayq9d #book #design #historical #plt https://archive.org/details/thrillingadventu0000padu_a0v1
0
0
0
@lobsters@mastodon.social · Apr 13, 2026
Everything Should Be Typed: Scalar Types Are Not Enough https://lobste.rs/s/0ib4h6 #plt #programming https://sot.dev/everything-should-be-typed.html
0
0
0
@lobsters@mastodon.social · Apr 13, 2026
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
2
0
0
@lobsters@mastodon.social · Apr 08, 2026
1SubML: Plan vs Reality https://lobste.rs/s/f3qxk6 #plt https://blog.polybdenum.com/2026/04/05/1subml-plan-vs-reality.html
0
0
0
@lobsters@mastodon.social · Apr 06, 2026
Retargeting JIT compilers by using C-compiler generated executable code (2004) https://lobste.rs/s/etfkgx #pdf #compilers #concatenative #plt https://www.cs.arizona.edu/~collberg/Teaching/553/2011/Resources/jit.pdf
0
0
0
@lobsters@mastodon.social · Apr 05, 2026
A tail-call interpreter in (nightly) Rust https://lobste.rs/s/ektobz #plt #rust https://www.mattkeeter.com/blog/2026-04-05-tailcall/
3
0
0
@lobsters@mastodon.social · Apr 03, 2026
Lisette — Rust syntax, Go runtime https://lobste.rs/s/rw62j7 #go #plt #rust https://lisette.run
1
1
3
@lobsters@mastodon.social · Apr 02, 2026
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
0
0
1
@lobsters@mastodon.social · Apr 02, 2026
Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu@social.treehouse.systems https://lobste.rs/s/yoq0e6 #formalmethods #plt https://notes.8pit.net/notes/y7n8.html
1
0
0