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

Solving for incentives and Mechanism Design
boydkane.com·11h
🧩Constraint Solvers
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·5d·
Interpreter Optimization
Flag this post
Tracking Down Progressively-Enhanceable APIs
willhbr.net·2d
📝Rope Editors
Flag this post
Building Real-Time ML Feature Pipelines with Streaming SQL
timeplus.com·4d·
Discuss: Hacker News
⏱️Real-Time GC
Flag this post
Supercharging Real-Time Applications with TiDB and DragonflyDB
pingcap.com·2d
📮Message Queues
Flag this post
Dialing this number unlocks a menu you probably didn't know existed
makeuseof.com·13h
📊Profiling
Flag this post
How I Leverage LLMs
indiethinkers.com·3d·
Discuss: Hacker News
🌊Gradual Effects
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
How to KISS your projects?
reddit.com·2d·
Discuss: r/godot
Partial Evaluation
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
I made two plugins I like you to test
reddit.com·5h·
Discuss: r/neovim
📝Text Editors
Flag this post
Advice Seeking, unRAID server / Local LLM setup
reddit.com·11h·
Discuss: r/LocalLLaMA
🛡️Capability VMs
Flag this post
A diffusion-based multi-modal anomaly detection approach for data communication in TACS
sciencedirect.com·1d
🚂Error Propagation
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·20h·
Discuss: DEV
🌉Language Bridges
Flag this post
Cohere in .NET in 10 Minutes: Microsoft.Extensions.AI + the Cohere.Extensions.AI NuGet Package
dev.to·8h·
Discuss: DEV
🌉Language Bridges
Flag this post
🧩 Part 1: The Ultimate 2025 SaaS Tech Stack — Build, Launch, and Monetize in Under 10 Minutes
dev.to·12h·
Discuss: DEV
Live Programming
Flag this post
Modeling and Optimization of Reliability Reallocation for Modified Systems
sciencedirect.com·9h
🚂Error Propagation
Flag this post