Python heapq.nlargest vs list.sort
ddaa.net·1d·
Discuss: r/programming
🏹Effect Systems
Defold editor scripting adds scene editing in 1.10.4
defold.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Stacked Pull Requests FTW
git-tower.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Why RAII Matters in Modern C++
en.cppreference.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Let It Snow
arraythinking.wordpress.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·2d·
Discuss: Hacker News
👁️System Observability
Copyleft-Next Building the NextGen Copyleft License
fossforce.com·6h·
Discuss: Hacker News
🔬Unikernels
AI Agent Benchmarks Are Broken
ddkang.substack.com·1d·
Discuss: Substack
👁️System Observability
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·2d·
Discuss: Hacker News
💾Retro Computing
An overlapping domain decomposition method for parametric Stokes and Stokes-Darcy problems via proper generalized decomposition
arxiv.org·2d
🐫OCaml
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·1d
🧪Property-Based Testing
Decode Any Python Code With This 5-Step Method
thenewstack.io·5d
🎮Verification Games
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·1d
🤖Program Synthesis
METR's AI productivity study is really good
seangoedecke.com·1d·
Discuss: Hacker News
👁️System Observability
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·2d·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
🐫OCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·3d
✓Automated Theorem Proving
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1d
🎮Verification Games