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

Standardization Of HDMs For Hierarchical CDC And RDC Analysis
semiengineering.com·23h
🚂Cranelift IR
Flag this post
Superhuman Announces Winners of its Inaugural Grammarly Vanguard Awards
grammarly.com·17h
🔍Tokenizers
Flag this post
Picture Parlour — The Parlour
diymag.com·23h
🏠indieweb
Flag this post
Bklyn Sounds 11/12/2025—11/18/2025
dadastrain.substack.com·8h·
Discuss: Substack
🏠indieweb
Flag this post
You can read the web seasonally
blog.pabloecortez.com·2h
🏠indieweb
Flag this post
Backblaze Performance Stats for Q3 2025
backblaze.com·17h·
Discuss: Hacker News
📊Profiling
Flag this post
Matrix Arcade
yizhe-ang.github.io·19h·
Discuss: Hacker News
🧮Linear Algebra
Flag this post
My loot drop if life were a PVP RPG
ginoz.bearblog.dev·1d
📝Rope Editors
Flag this post
now
yasmeenfahmy.com·15h
📝Editor Buffers
Flag this post
Kubecon: VCluster’s K8s Platform to Manage GPUs as a Service
thenewstack.io·2d
📦Monorepos
Flag this post
A comparative analysis of optimizing hydrogen and battery shared energy storage in hybrid power generation systems
sciencedirect.com·11h
🛡️Capability VMs
Flag this post
Pixel-level fishing bot for WoW
reddit.com·2d·
Discuss: r/golang
🌙Lua
Flag this post
Tiny Plaintext-based Password Manager
reddit.com·15h·
Discuss: r/rust
🛡️Security Type Systems
Flag this post
Lessons from the DeepChip Wars: What a Decade-old Debate Teaches Us About Tech Evolution
semiwiki.com·2d
🧠Memory Hierarchy
Flag this post
Understanding the Impact of Proportionality in Approval-Based Multiwinner Elections
arxiv.org·2h
Partial Evaluation
Flag this post
Any-Depth Alignment: Unlocking Innate Safety Alignment of LLMs to Any-Depth
dev.to·15h·
Discuss: DEV
🪜Recursive Descent
Flag this post
Spilling the Beans: Teaching LLMs to Self-Report Their Hidden Objectives
arxiv.org·2d
🔍ML Language
Flag this post