Carbon Memory Safety first deep dive via @nikola https://lobste.rs/s/rdg7lw #video #plt
https://drive.google.com/file/d/1tQlzpnbWZfn2WtTFMoJgF93QteByBBwm/view
plt
Spatial languages: writing code in 2D https://lobste.rs/s/gb2xwu #plt
https://shukla.io/blog/2026-07/cccx.html
Manual Memory Management https://lobste.rs/s/29finy #plt
https://dayvster.com/blog/manual-memory-management/
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
One week of view_types https://lobste.rs/s/opwgjp #plt #rust
https://scrabsha.dev/articles/one-week-of-view-types.html
A Path Not Taken for OxCaml https://lobste.rs/s/ik5vhe #ml #plt
https://joel.place/blog/path-not-taken/
A behavioral notion of subtyping (1994) https://lobste.rs/s/ivh29f #pdf #plt
https://www.cs.cmu.edu/~wing/publications/LiskovWing94.pdf
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
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
Notes: Scratch, The Programming Language https://lobste.rs/s/hivadd #plt
https://www.sheeeeeeeep.art/notes-scratch-events.html
Meet Kiki - an array language https://lobste.rs/s/cwxvlh #apl #plt
https://eli.li/kiki
EsoNatLangs Bring the Complexity of Natural Language into Code https://lobste.rs/s/fzwy8c #plt
https://esoteric.codes/blog/five-esonatlangs
Automatic Programming Should Be More Like SQL https://lobste.rs/s/oh7zna #formalmethods #plt #vibecoding
https://stng.substack.com/p/automatic-programming-should-be-more
Liquid Types as a behavioural sandbox for agents https://lobste.rs/s/9oy4ao #ai #plt
https://wiki.alcidesfonseca.com/blog/aeonbox-logical-guardrails-for-agents/
Building an Unverified Compiler with Agents https://lobste.rs/s/fkxdc8 #formalmethods #plt #vibecoding
https://www.basis.ai/blog/verified-compiler/
The Namespace Problem https://lobste.rs/s/lhbfld #plt
https://www.alialmutawajr.com/blog/post1
Partial static single information form https://lobste.rs/s/c2zvef #plt
https://bernsteinbear.com/blog/partial-ssi/
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
Reflections on 30 Years of HPC Programming: So many hardware advances, so little adoption of new languages via @fanf https://lobste.rs/s/b75v6m #performance #plt
https://chapel-lang.org/blog/posts/30years/
Lenses in Rust and My Solution https://lobste.rs/s/i0tuyd #plt #rust
https://lambdalemon.gay/posts/grist-lens
Type-Error Ablation and AI Coding Agents https://lobste.rs/s/jg1dx4 #pdf #plt
https://arxiv.org/pdf/2606.01522
How TypeScript infers type variables https://lobste.rs/s/32tphq #javascript #plt
https://norswap.com/typescript-type-variable-inference/