Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

A Week of Teaching
fivetwelvethirteen.substack.com·1d·
Discuss: Substack
🧸Toy Compilers
Flag this post
Learning to Model the World with Language
dynalang.github.io·2d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
No AI in Agents
thestoicprogrammer.substack.com·1d·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Immutable by Design: The Deep Tech Behind Tigris Bucket Forking
tigrisdata.com·3d
🌳Persistent Data
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·5d
📚Self-Documenting Code
Flag this post
Why Code Execution is Eating Tool Registries
levelup.gitconnected.com·2d·
Discuss: r/programming
🎭Staged Interpreters
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·2d·
Discuss: Hacker News
Zig
Flag this post
Meta’s ‘Rule of Two’ Is Dangerous: The AI Security Crisis No One’s Admitting
pub.towardsai.net·2d
🔐Security Types
Flag this post
How I Solved a Data-Driving Challenge while Building My Quote Gallery SPA
github.com·3h·
Discuss: DEV
📚Factor
Flag this post
I'm doing something wrong. I want my notes to be alive
reddit.com·19h·
Discuss: r/ObsidianMD
🤐Zipper Structures
Flag this post
Question about handling modifiers as resources.
reddit.com·4d·
Discuss: r/godot
🔗Lexical Scoping
Flag this post
So, I made a cross-platform 2D MMORPG with +20k registered accounts with Godot.
reddit.com·15h·
Discuss: r/godot
🏠indieweb
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·1d·
Discuss: Hacker News
🛡️Capability VMs
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.org·2d
Gleam
Flag this post
⚙️ Ansible Roles Unleashed: From Ad-Hoc Automation to Production-Grade Cloud Deployments [Week-8] 🚀
dev.to·1d·
Discuss: DEV
🛡️Capability VMs
Flag this post
Toward fast, containerized, user-space filesystems
lwn.net·2d·
Discuss: Hacker News
📁File Systems
Flag this post
The Secret Life of Python: The String Intern Pool - When Two Strings Are One Object
dev.to·2d·
Discuss: DEV
📝String Interning
Flag this post
MoM: Mixtures of Scenario-Aware Document Memories for Retrieval-AugmentedGeneration Systems
paperium.net·2d·
Discuss: DEV
🧠Semantic Parsing
Flag this post
XSTD - Attempt at better C standard library, need feedback please!
reddit.com·2d·
🪄C Metaprogramming
Flag this post