Dockerize Your Integration Tests with Testcontainers
medium.com·13h·
Discuss: r/programming
🐳Containerization
JSON Streaming in OpenAPI v3.2.0
bump.sh·11h·
Discuss: Hacker News
🌐NetworkProtocols
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
JWTs and OAuth suck for AI agents. Meet Wafers
positiveblue.substack.com·9h·
Discuss: Substack
🌐NetworkProtocols
The Gabian History of Mathematics
cognition.cafe·4h·
Discuss: Hacker News
🧠Automated Reasoning
AI collaborator wrote a working C compiler from scratch
reddit.com·3d·
Discuss: r/programming
🤖Program Synthesis
Show HN: sy_callback.hpp – High-performance, header-only C++11 callback library
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·1d·
Discuss: Hacker News
🧩Parser Combinators
Igniting Creative Writing in Small Language Models: LLM-as-a-Judge versus Multi-Agent Refined Rewards
arxiv.org·1d
🧩Parser Combinators
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·2d·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp, r/programming
🐫Embedded OCaml
Benchmarking compression programs
maskray.me·2d·
Discuss: Hacker News
🔄Reproducible Builds
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
Server-side rendering is dead, long live server-side rendering
pageo.us·7h·
Discuss: Hacker News
🔬Unikernels
JetBrains removes commercial license for its LSP API
neowin.net·1d·
Discuss: Hacker News
📦Unikernel Systems
What's cooking on SourceHut? Q3 2025
sourcehut.org·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Scott Kim's Inversions: Dream and Level
nkanaev.com·11h·
Discuss: Hacker News
🐫OCaml
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab
A letter to the C-suite: think carefully before hiring MLEs
parsed.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
How do you handle JDK/JRE patch updates for Java apps on K8s?
news.ycombinator.com·13h·
Discuss: Hacker News
❄️Nixified Development
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving