Python heapq.nlargest vs list.sort
ddaa.net·21h·
Discuss: r/programming
🏹Effect Systems
Defold editor scripting adds scene editing in 1.10.4
defold.com·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
Stacked Pull Requests FTW
git-tower.com·20h·
Discuss: Hacker News
🔄Reproducible Builds
Why RAII Matters in Modern C++
en.cppreference.com·2d·
Discuss: r/programming
🧱Immutable Infrastructure
Let It Snow
arraythinking.wordpress.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·1d·
Discuss: Hacker News
👁️System Observability
Lisp error handling (advanced): how handler-bind doesn't unwind the stack
lisp-journey.gitlab.io·3d·
Discuss: Hacker News
🛡️seL4
AI Agent Benchmarks Are Broken
ddkang.substack.com·18h·
Discuss: Substack
👁️System Observability
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·2d·
Discuss: Hacker News
💾Retro Computing
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
🐫OCaml
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
🐫OCaml
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·4d·
Discuss: Hacker News
🔬Unikernels
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·1d·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
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·16h·
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·4d
🎮Verification Games
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
🐫OCaml