BYOVD to the next level (part 2) โ€” rootkit like it's 2025
blog.quarkslab.comยท3d
๐Ÿ”eBPF
Three ways formally verified code can go wrong in practice
buttondown.comยท1d
๐Ÿ“œProof Carrying Code
Running new applications on old glibc
lightofdawn.orgยท2dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท1dยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Three gripes about Go modules
jotaen.netยท1dยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Preference-aware routing for Claude Code 2.0
archgw.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.comยท2dยท
Discuss: Hacker News
โ„๏ธNix Adoption
[OC] Built this because I kept losing track of which of my 30+ servers I was on
reddit.comยท3hยท
Discuss: r/homelab
๐ŸชŸAwesome windows command-line
Let's Write a Macro in Rust
hackeryarn.comยท1dยท
๐Ÿฆ€Rust Macros
Beating the L1 cache with value speculation (2021)
mazzo.liยท5dยท
โšกCPU Microarchitecture
Building A Real-Time Communication System Using Go and WebSocket
dev.toยท1dยท
Discuss: DEV
๐ŸŒWebSocket Framing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท1d
๐Ÿ”—Parser Combinators
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Tactics
Show HN: OpenRun โ€“ Declarative web app deployment
github.comยท10hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Introducing Honey Nudger, and Why We're Launching with a Founder's Circle
dev.toยท22hยท
Discuss: DEV
๐Ÿค–AI Curation
Shadow AI: The Risks of Employees Using Unapproved AI Tools
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กAudio Modulation
Can You Really Trust Code-Generation Tools?
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
The AI Teaching Toolkit: Practical Guidance for Teams
oreilly.comยท3d
โšกProof Automation
We Bet on Rust to Supercharge Feature Store at Agoda
medium.comยท3dยท
๐Ÿฆ€Rust Borrowing