Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🐛Vulnerability Research
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·15h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·4d·
Discuss: Hacker News, r/rust
🐛Vulnerability Research
Flag this post
OpenAI Model Spec
model-spec.openai.com·7h·
Discuss: Hacker News
✅Formal Methods
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·15h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·23h·
Discuss: Hacker News
✅Formal Methods
Flag this post
build system tradeoffs
jyn.dev·4d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Using VS Code, GitHub, and AMP Code for Technical Writing on macOS
simpletechguides.com·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·4d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·15h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·21h·
Discuss: Hacker News
⚡CUDA
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·2h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Context Engineering: The New Skill for Working with AI Agents
benr.build·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Coding on Paper
thepalindrome.org·1h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🐛Vulnerability Research
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🐛Vulnerability Research
Flag this post