[Boost]
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·3h·
Discuss: Hacker News
🔩Systems Programming
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
graven-image: Portability library for CL image in REPL
github.com·12h·
Discuss: Lobsters
🦀Rust Macros
Exposure Protocol: Information Disclosure in the Wild [Part 3]
infosecwriteups.com·1d
🏺ZIP Archaeology
My first experience with Formal Methods | ZipCPU
zipcpu.com·21h
🔧Hardware Verification
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·15h·
Discuss: Hacker News
🔩Systems Programming
Towards Bug-Free Distributed Go Programs
arxiv.org·1d
⚖️Hoare Logic
Feeling Blue(Noroff): Inside a Sophisticated DPRK Web3 Intrusion
huntress.com·5h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
GCC, glibc, stack unwinding and relocations – A war story
blog.sergiodj.net·2d·
Discuss: Lobsters
🦀Rust Macros
The Less Humble Programmer (2023)
digitalhumanities.org·11h·
Discuss: Lobsters, Hacker News
📊APL Heritage
OWASP Top for Business Logic Abuse
owasp.org·16h·
Discuss: Hacker News
🔒WASM Capabilities
Beyond Code-Centric: Agents Code but the Problem of Clear Specification Remains
gregceccarelli.com·16h·
Discuss: Hacker News
📏Code Metrics
The Unreasonable Effectiveness of Fuzzing for Porting Programs
notes.billmill.org·16h·
Discuss: Hacker News
🐛Fuzzing
Can't We Have Nice Things?
queue.acm.org·12h·
Discuss: Hacker News
🏠Homelab Archaeology
**Rust FFI: Integrating C Libraries with Memory Safety and Performance**
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
The Poetry and Horizon of Code Framework（1750328992658200）
dev.to·20h·
Discuss: DEV
🔌Interface Evolution
uber/h3
github.com·5h
🦀Rust Macros
Accessibility Programming Doesn't Feel Accessible
acidiclight.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros