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

Solving for incentives and Mechanism Design
boydkane.com·13h
🧩Constraint Solvers
Flag this post
Sunday open line
arktimes.com·6h
🏠indieweb
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·5d·
Interpreter Optimization
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·4d·
Discuss: Hacker News
⏱️Real-Time GC
Flag this post
Permission To Start Again | Weeknotes
thejaymo.net·6h
🏠indieweb
Flag this post
Full Debunking of the Martha's Vineyard Connection
reddit.com·2h·
🔗Concatenative Theory
Flag this post
Ask HN: Is AI code assistance fundamentally unenforceable without hooks?
news.ycombinator.com·2h·
Discuss: Hacker News
🔧Error Recovery
Flag this post
I use this perfect 7-Zip alternative that nobody knows about
xda-developers.com·2h
📦Executable Size
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·1d·
Discuss: DEV
🌉Cross-Platform FFI
Flag this post
Myopia Mythology
lesswrong.com·1d
🔍Lens Libraries
Flag this post
Building a Mini Build System in Go: Understanding How Bazel Works Under the Hood
dev.to·2d·
Discuss: DEV
🏗️Build Systems
Flag this post
A diffusion-based multi-modal anomaly detection approach for data communication in TACS
sciencedirect.com·1d
🚂Error Propagation
Flag this post
Advice Seeking, unRAID server / Local LLM setup
reddit.com·13h·
Discuss: r/LocalLLaMA
🛡️Capability VMs
Flag this post
Agentic AI: How Autonomous AI Agents Will Transform Business Workflows
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Cut AI Costs Without Losing Capability: The Rise of Small LLMs
dev.to·1d·
Discuss: DEV
🖥️Minimal VMs
Flag this post
Down the rabbit hole
reddit.com·1h·
Discuss: r/selfhosted
🛡️Capability VMs
Flag this post
We Stopped Reaching for PySpark by Habit. Polars Made Our Small Jobs Boringly Fast.
dev.to·2d·
Discuss: DEV
📊DataFrame Types
Flag this post
My Quest for Speed: How a Clickhouse Type Improvement Led Me Down a Caching Rabbit Hole in Rust
dev.to·3d·
Discuss: DEV
🔗Weak References
Flag this post
LLMs Talking in Tongues: A New Era of Semantic AI Collaboration?
dev.to·23h·
Discuss: DEV
🌉Language Bridges
Flag this post