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

Taking off the Mask: Forensic Analysis of Google Voice
blogs.dsu.edu·7h
🛡️Parser Security
Flag this post
celebrating a decade of storytelling with data
storytellingwithdata.com·7h
📚Self-Documenting Code
Flag this post
QUIC-MLS: Making a Space Security Draft Standard Resilient for Disconnected Environments
eprint.iacr.org·3d
📡Binary Protocols
Flag this post
Hire Me in Japan
overreacted.io·3h·
Discuss: r/javascript
🎮Language Ergonomics
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·4d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
🎲 How I Write on Internet
abhinavsarkar.net·9h
🎮Language Ergonomics
Flag this post
Show HN: Pingu Unchained an Unrestricted LLM for High-Risk AI Security Research
pingu.audn.ai·3d·
Discuss: Hacker News
Gleam
Flag this post
What We Value
windowsir.blogspot.com·9h·
📊Code Metrics
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·4d·
Discuss: Substack
📡Erlang BEAM
Flag this post
America's Historic 40-Day Shutdown and Its Ripple Effects on Singapore - Maxthon
blog.maxthon.com·23h
📋JSON Parsing
Flag this post
AI/ LLM Hacking — Part 6 — Excessive Agency | Insecure Plugin
infosecwriteups.com·1d
🛡️Parser Security
Flag this post
Simpler, Faster, and More Powerful Way to Transform Documents in Unstructured
unstructured.io·1d
🔄Incremental Lexing
Flag this post
Introducing squeeel - Make your raw SQL queries type-safe
github.com·19h·
Discuss: r/node
📋Souffle Datalog
Flag this post
Learn Kubernetes
reddit.com·1d·
Discuss: r/kubernetes
🔗Redis Protocols
Flag this post
Fair-Mutex - an RWMutex implementation which gives equal priority to read and write locks
reddit.com·1d·
Discuss: r/golang
🎯Ring Buffers
Flag this post
Building a Scalable Agent-to-Agent (A2A) Communication Protocol on AWS
dev.to·1d·
Discuss: DEV
📮Message Queues
Flag this post
SurgiATM: A Physics-Guided Plug-and-Play Model for Deep Learning-Based Smoke Removal in Laparoscopic Surgery
arxiv.org·22h
Effect Inference
Flag this post
Truth Over Hype: A Builder’s Playbook for Credible Storytelling
dev.to·16h·
Discuss: DEV
🧱First Principles
Flag this post