Understanding multi GPU Parallelism paradigms
datta0.github.io·1d·
Discuss: Hacker News
⚡CUDA
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·3h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·7h·
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
Zed Editor in 2025: Your Guide to the High-Performance, Rust-Based Code Editor
toolshelf.tech·1d·
Discuss: Hacker News
✅Formal Methods
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
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
Using VS Code, GitHub, and AMP Code for Technical Writing on macOS
simpletechguides.com·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Coding on Paper
thepalindrome.org·5h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Storybook 10
storybook.js.org·7h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Intervaltree with Rust Back End
github.com·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
✅Formal Methods
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·16h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Ripple – the elegant TypeScript UI framework
github.com·53m·
Discuss: Hacker News
✅Formal Methods
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·20h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
I Drew the Julia Logo Using an MRI Machine
cncastillo.github.io·1d·
Discuss: Hacker News
🎨Rendering
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Inception releases upgraded Mercury dLLM with improved coding and reasoning
inceptionlabs.ai·2h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post