Don't Let Your Mocks Mock You
revontulet.dev·16h·
Discuss: Hacker News
📊Type systems
The Capability-Tractability Tradeoff (2023)
buttondown.com·14h·
Discuss: Hacker News
📊Type systems
Show HN: Flo Is a Rust/Vulkan 3D Renderer for the Bevy Game Engine
github.com·9h·
Discuss: Hacker News
🦀Programming languages
Trusting builds with Bazel remote execution
jmmv.dev·20h·
Discuss: Hacker News
🌐Web
DHH is immortal, and costs $200M
danieltenner.com·21h·
Discuss: Hacker News
🦀Programming languages
Why Most LLM Chatbots Never Make It to Production
humansignal.com·22h·
Discuss: Hacker News
🌐Web
Tool-space interference in the MCP era: Designing for agent compatibility at scale
microsoft.com·1d·
Discuss: Hacker News
🌐Web
Debunking the Claims of K2-Think
sri.inf.ethz.ch·22h·
Discuss: Hacker News, r/LocalLLaMA
📊Type systems
Defeating Nondeterminism in LLM Inference
simonwillison.net·2d
📊Type systems
The Trellis: A Gardening Metaphor for Software Engineering
sinclairtarget.com·22h·
Discuss: Hacker News
📊Type systems
MiniRust
github.com·11h·
Discuss: Hacker News
🦀Programming languages
From Legal Documents to Knowledge Graphs
neo4j.com·1h·
Discuss: Hacker News
🌐Web
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·1d·
Discuss: Hacker News
📊Type systems
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
📊Type systems
Betrusted – Building transparent, secure computing from the silicon up
betrusted.io·32m·
Discuss: Hacker News
👐Open source software
Writing effective tools for LLM agents–using LLM agents
anthropic.com·1d·
Discuss: Hacker News
🦀Programming languages
Choosing Rust for LLM-generated code
runmat.org·17h·
Discuss: Hacker News
🦀Programming languages
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·1d·
Discuss: Substack
📊Type systems
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·3d·
Discuss: Hacker News
🌐Web
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·1d·
Discuss: Hacker News
📊Type systems