Full QuickJS Support for Nginx
blog.nginx.org·23h·
Discuss: Hacker News
🌐NetworkProtocols
Open Source Tools to Detect CVE-2024-54085
eclypsium.com·1d·
Discuss: Hacker News
🛡️seL4
Grok 4
x.ai·2h·
Discuss: Hacker News
🎮Verification Games
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Clustered PostgreSQL
arch.dog·16h·
Discuss: Lobsters, Hacker News
🏠HomeLab
Beyond Console.log: Smarter Debugging with Modern JavaScript Tooling
blog.appsignal.com·2d·
Discuss: Hacker News
👁️System Observability
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Unikernels
A Mental Model for C++ Coroutine
uvdn7.github.io·8h·
Discuss: Hacker News
🏹Effect Systems
A Collection of System Prompts for Agentic Code Review
awesomereviewers.com·5d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·22h
✓Automated Theorem Proving
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·2d
🎮Verification Games
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·22h
🐫OCaml
Stop Converting Your REST APIs to MCP
jlowin.dev·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·2d
📦Unikernel Systems
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·14h
🤖Program Synthesis
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·22h
🐫OCaml