Elektrine
Log in Register

#plt

26 posts · Last used 1d

Back to Timeline
@lobsters@mastodon.social · 1d ago
C3 | Blog | Unsigned sizes: a five year mistake via @chandlerc@hachyderm.io https://lobste.rs/s/bzltqt #c #plt https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/
0
0
0
@lobsters@mastodon.social · 3d ago
Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt https://www.kmjn.org/notes/microgpt_futhark.html
0
0
0
@lobsters@mastodon.social · 4d ago
Thoughts on WebAssembly as a stack machine via @lesley@mastodon.gamedev.place https://lobste.rs/s/et1uux #plt #wasm https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/
0
0
0
@lobsters@mastodon.social · 4d ago
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
0
0
0
@lobsters@mastodon.social · Apr 25, 2026
Basic Type System Terminology https://lobste.rs/s/yhzg6d #plt https://lewiscampbell.tech/blog/250817.html
0
0
0
@lobsters@mastodon.social · Apr 23, 2026
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 · Apr 22, 2026
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 · Apr 22, 2026
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 · Apr 22, 2026
The Edge of Safe Rust https://lobste.rs/s/hkwyrc #plt #rust https://kyju.org/blog/tokioconf-2026/
2
0
0
@lobsters@mastodon.social · Apr 21, 2026
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
5
0
2
@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
1
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
1
0
1
@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
1
0
0