RavenDB & Distributed Debugging
ayende.comยท15h
๐Ÿ—„๏ธDatabase Sharding
Security Principles for Designing an Unhackable Crypto Wallet
cacm.acm.orgยท1d
๐ŸŒณArchive Merkle Trees
Unmoved Centre - NixOS Secrets Management
unmovedcentre.comยท3d
โ„Nix
Mkosi โ€“ Build Bespoke OS Images
mkosi.systemd.ioยท2dยท
Discuss: Hacker News
โ„Nix
Hack, Hacky, Hacker
aneeshsathe.comยท6hยท
Discuss: Hacker News
๐Ÿ”“Hacking
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.aiยท21hยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Non-Profit FOSS Solves the Conflict of Interest
home.expurple.meยท2dยท
Discuss: Hacker News, r/linux
๐ŸงFOSS
H-Nets โ€“ The Future
goombalab.github.ioยท18hยท
Discuss: Hacker News
๐Ÿ“ผCassette Combinators
3 Ways Security Teams Can Minimize Agentic AI Chaos
darkreading.comยท13h
๐Ÿ”Capability Systems
Trying Guix: A Nixer's Impressions
tazj.inยท3dยท
Discuss: Lobsters, Hacker News, Hacker News
โ„๏ธNix Adoption
What people said about an OpenZFS bug
despairlabs.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”’Type Safety
Three unrelated thoughts about working with LLMs
henrycourse.comยท2dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Dotenv's Promotion on Runtime Message
github.comยท20hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
How to connect Jira MCP and Claude Code for effortless project management
dev.toยท1dยท
Discuss: DEV
๐ŸชŸAwesome windows command-line
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.orgยท1d
๐Ÿ“Linear Logic
What Most AI Tools Get Wrong About Real Productivity
dev.toยท15hยท
Discuss: DEV
โšกProof Automation
I'm Switching to Python and Actually Liking It
cesarsotovalero.netยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Managing Permissions in Kubernetes Clusters: Balancing Security and Team Needs
reddit.comยท3dยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.comยท2dยท
Discuss: Hacker News
๐Ÿค–Network Automation
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing