are-dependent-types-actually-erased
🔗Dependent Types
Flag this post
Links 05/11/2025: Medicare Privatisation and "Breaker Box Economy"
techrights.org·9h
🛡️Security Type Systems
Flag this post
I tried to go with Google's Flow, but it's a creative gamble — I'm not falling for it
androidpolice.com·1d
🏠indieweb
Flag this post
Do I want Coders to Code?
🌳Tree Shaking
Flag this post
Quoting Barry Warsaw
simonwillison.net·1d
💬Interactive REPLs
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔄Subinterpreters
Flag this post
Looking for an actor library
🎪Actor Frameworks
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🗺️Region Inference
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·1d
🎲Parser Fuzzing
Flag this post
7 Essential Java Kafka Techniques for Building Reliable Event-Driven Systems That Scale
📮Message Queues
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·12h
📡Async Channels
Flag this post
Some thoughts on AI and coding
infoworld.com·8h
🎭Program Synthesis
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
🗃️Query Compilation
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
🚂Cranelift IR
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·1d
🎯Bit Vectors
Flag this post
How Databricks Implemented Intelligent Kubernetes Load Balancing
blog.bytebytego.com·1h
📮Persistent Queues
Flag this post
Loading...Loading more...