Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
Handbook of Satisfiability (2021)
iospress.com·28m·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·21h·
Discuss: Substack
⚡Process Calculi
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·20h·
Discuss: Hacker News
📝Nix Language
Flag this post
A Hybrid Reconstruction Framework for Efficient High-Order Shock-Capturing on Unstructured Meshes
arxiv.org·2d
🔲Cellular Automata
Flag this post
Where to Buy or Rent GPUs for LLM Inference: The 2026 GPU Procurement Guide
bentoml.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Open Deep Research Internals: A Step-by-Step Architecture Guide
dev.to·2h·
Discuss: DEV
🛡️seL4
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·3d
🐫OCaml
Flag this post
Stacking Threads
netmeister.org·3d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·2d·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Flag this post
Smaller Surfaces
nrempel.com·14h·
Discuss: Hacker News
💎Refinement Types
Flag this post
How fast can an LLM go?
fergusfinn.com·3d·
Discuss: Hacker News
👁️System Observability
Flag this post
The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.com·22h
🔄Reproducible Builds
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
λFunctional Programming
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post