A composable pattern for pure state machines with effects
gist.github.com·11h·
Discuss: Hacker News
💻Programming languages
Timed Prediction Problem for Sandpile Models
arxiv.org·15h
🧮SMT Solvers
Techniques for handling failure scenarios in microservice architectures
cerbos.dev·8h·
Discuss: r/programming
🌐Distributed systems
The State of Agentic AI and the Need for Agentic Memory
surrealdb.com·19h
🆕New AI
Ken Kocienda - Coding With AI using Cursor
kocienda.micro.blog·13h
👨‍💻AI Coding
Update on memX: a shared memory for LLM agents
reddit.com·13h·
Discuss: r/LocalLLaMA
🐑Ollama
Encountering the idea of Git in a Leetcode problem
medium.com·4h
🌳Data Structures
Armor, Fear, and the Spark That Stayed
write.as·6h
😊Emojis
Mssql MCP Server (Preview)
devblogs.microsoft.com·4h·
Discuss: Hacker News
💾Databases
Blazing matrix products
panadestein.github.io·22h·
Discuss: Lobsters, Hacker News
🔄SIMD Programming
Architecting J.A.R.V.I.S. With the Gemini API and Concurrency in Rust
rohan.ga·14h·
Discuss: Hacker News
💾Prompt Caching
May-June 2025 Progress in Guaranteed Safe AI
lesswrong.com·21h
🛡️AI Safety
monads at a practical level
nyadgar.com·7h·
Discuss: r/programming
💻Programming languages
Private Credit
news.ycombinator.com·6h·
Discuss: Hacker News
👨‍💻Solo SaaS
Yet another DI library
github.com·21h·
Discuss: r/typescript
🦕Deno
Combinatorial Explosion of Versions 5 Years Later
worklifenotes.com·2h·
Discuss: Hacker News
🌐Distributed systems
Inside the vLLM Inference Server: From Prompt to Response
thenewstack.io·6h
🧠LLM Inference
Memory Safety Is Merely Table Stakes
usenix.org·23h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Normalizing Flows are Capable Generative Models
machinelearning.apple.com·19h
🧠Inference Serving
Next Generation of Red Teaming for LLM Agents
promptfoo.dev·23h·
Discuss: Hacker News
🕳LLM Vulnerabilities