sudo-rs Headed to Ubuntu
memorysafety.org·1d
🛡️WASM Security
Signed and stealing: uncovering new insights on Odyssey infostealer
jamf.com·13h
🔓Password Cracking
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Cognida.ai Launches Codien: An AI Agent to Modernize Legacy Test Automation and Fast-Track Test Creation
darkreading.com·10h
🔍Concolic Testing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·13h
🤝Distributed Consensus
Training a Chunker with Burn
elijahpotter.dev·7h·
Discuss: Hacker News
📝Concrete Syntax
AwesomeAssertions/AwesomeAssertions
github.com·13h
✅Format Verification
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·2d
🔐Cryptographic Archaeology
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·15h·
Discuss: DEV
📝Concrete Syntax
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
Building Robust Filesystem Interactions in Rust
tangramvision.com·1d·
Discuss: Hacker News
📂Directory Synchronization
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·13h·
Discuss: Hacker News
🌊Stream Processing
How to generate a TypeScript SDK for your API spec
buildwithfern.com·10h·
Discuss: Hacker News
⚡gRPC
oapi-codegen v2.5.0 is out
github.com·1d·
Discuss: r/golang
📜Proof Carrying Code
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Zero-cost statics in C++
cofault.com·3d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros