State of the art for reducing executable size with optimized program
discourse.llvm.org·3h·
Discuss: Lobsters, Hacker News
⚙️systems programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·4h·
Discuss: Lobsters, Hacker News
⚙️systems programming
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News, r/programming
✅formal methods
What’s Next for Kotlin Multiplatform and Compose Multiplatform – August 2025 Update
blog.jetbrains.com·1d·
Discuss: Hacker News
🐫ocaml
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
⚙️systems programming
Mojo Vision
docs.modular.com·1d·
Discuss: Hacker News
⚙️systems programming
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·13h·
Discuss: Lobsters, Hacker News, Hacker News
⚙️systems programming
C++ or Rust: Differences Explained
harshal.is-cool.dev·4h·
Discuss: Hacker News
⚙️systems programming
Implementing Forth in Go and C
eli.thegreenplace.net·11h·
Discuss: Lobsters, Hacker News, Hacker News
✅formal methods
TempleOS
en.wikipedia.org·1h·
Discuss: Hacker News
⚙️systems programming
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·21h·
Discuss: Hacker News
🗄️databases
A Model for all Ranges
qt.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫ocaml
Grok Code Fast 1 is rolling out in public preview for GitHub Copilot
github.blog·2h·
Discuss: Hacker News
⚙️systems programming
Popsicle: Linux Rust utility for flashing multiple USB devices in parallel
github.com·12h·
Discuss: Hacker News
⚙️systems programming
The Emacs thread-related code needs a maintainer
lists.gnu.org·5h·
Discuss: Hacker News
⚙️systems programming
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·15h·
Discuss: Hacker News
⚙️systems programming
Hot Reloading for Rust Gamedev
rygoldstein.com·1d·
Discuss: Hacker News
⚙️systems programming
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🐫ocaml
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·3h·
Discuss: Lobsters, Hacker News
✅formal methods
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·2h·
Discuss: Hacker News
⚙️systems programming