Overengineered calculator: #Zig + #QBE
https://tomekw.com/overengineered-calculator-zig-qbe/
#compilers #plt #programming
Tracked Capabilities for Safer Agents https://lobste.rs/s/prpmkw #plt #scala #vibecoding
https://martinodersky.substack.com/p/tracked-capabilities-for-safer-agents
The Unreasonable Effectiveness of Constructive Data Modeling via @nemin@ohai.social https://lobste.rs/s/vptzoz #video #plt
https://www.youtube.com/watch?v=0BXuYlNrUmE
Functional programming from first principles, part 1 – motivation https://lobste.rs/s/ajqxvq #plt #programming
https://www.endoflineblog.com/functional-programming-from-first-principles-part-1-motivation
Languages as designed latent spaces https://lobste.rs/s/ljg2qr #ai #plt
https://blog.jsbarretto.com/post/languages-as-latent-spaces
Verse: A New Scripting Language https://lobste.rs/s/usdhrd #video #logiclangs #plt
https://youtube.com/watch?v=ebqKYLKjL6U
Existentials on a Leash https://lobste.rs/s/ncpthq #compsci #haskell #plt
https://cdfa.github.io/existentials-on-a-leash
Spatial languages: writing code in 2D https://lobste.rs/s/gb2xwu #plt
https://shukla.io/blog/2026-07/cccx.html
Carbon Memory Safety first deep dive via @nikola@mathstodon.xyz https://lobste.rs/s/rdg7lw #video #plt
https://drive.google.com/file/d/1tQlzpnbWZfn2WtTFMoJgF93QteByBBwm/view
Algebraic effects and handlers in portable C99 https://lobste.rs/s/nohrpm #plt
https://github.com/koka-lang/libhandler
Rewriting the Futhark type checker via @abnv@fantastic.earth https://lobste.rs/s/roovnv #plt
https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html
Capture Clauses as Effects https://lobste.rs/s/nlhmco #plt #rust
https://blog.yoshuawuyts.com/capture-clauses-as-effects/#optimizing-for-writes
Thoughts On Integers (2023) via @abnv@fantastic.earth https://lobste.rs/s/s4gljc #plt
https://blog.xoria.org/integers/
An informal tutorial on Joy https://lobste.rs/s/93norp #plt
https://www.kevinalbrecht.com/code/joy-mirror/j01tut.html
i've been thinking about null pointers via @RunxiYu@social.treehouse.systems https://lobste.rs/s/tnlxmc #plt
https://sebsite.pw/w/20260715-null.html
Simple Hindley-Milner in Practice (2025) via @abnv@fantastic.earth https://lobste.rs/s/ksxquq #haskell #plt
https://www.andrevdm.com/posts/2025-05-29-simple-hm-in-practice.html
Here's my #introductions post, lost by the account migration:
I'm a Cyber Security Consultant and do pentests for a living. Before that I used to do software, mostly web development. I speak German, English and Russian. Things fascinating me:
- #Cooking
- #Design
- #Emacs
- #Infosec
- #Keyboards
- #Lisp
- Japanese and Soviet-era culture
- #PLT
- #Reversing
- #Science