Modern vehicle cybersecurity trends
securelist.com·1d
🔌Operating system internals
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
‘The Immutable Laws of Security’ at 25: 5 corollaries for a new era
reversinglabs.com·3d
🔒WASM Capabilities
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
The "impossibly small" Microdot web framework
lwn.net·18h·
Discuss: Hacker News
🌐Web Standards
Luhn algorithm – Credit card number verification
en.wikipedia.org·2h·
Discuss: Hacker News
🔄CRC Algorithms
Qimem: Open-Source Rust Crypto Toolkit. Help Us Build It
github.com·16h·
Discuss: Hacker News
🦀Rust Macros
APT36 Malware Campaign Using Desktop Entry Files and Google Drive Payload Delivery
cloudsek.com·21h·
Discuss: r/linux
💣ZIP Vulnerabilities
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·1d·
Discuss: Hacker News
🚚Data Migration
Cerbos vs OPA: comparing policy language, developer experience, performance, and scalability (useful if you are evaluating authorization for Kubernetes)
cerbos.dev·4d
🔌Interface Evolution
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·1d·
Discuss: Hacker News
⚡Proof Automation
Slice: SAST + LLM Interprocedural Context Extractor
noperator.dev·5d·
Discuss: Lobsters, Hacker News
🔓Decompilation
SecureBitChat v4.01.412 Release
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Fearless Programming with Rust
infoq.com·2d·
Discuss: Hacker News
🦀Rust Macros
Structured (Synchronous) Concurrency
fsantanna.github.io·5d·
Discuss: Lobsters, Hacker News
📞Session Types
Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.com·4d·
Discuss: Hacker News
🔒Linear Types
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·2d·
Discuss: DEV
✅Archive Validation
Adaptive Resonance LLC Converter Control via Meta-Learning and Bayesian Optimization
dev.to·3h·
Discuss: DEV
⚙️Cassette Mechanics