A safer memcpy with very limited use cases
subethasoftware.com·13h
✅Format Verification
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Protocol Fuzzing
Python Fundamentals: concatenate
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Lobsters Interview with Icefox
lobste.rs·14h·
Discuss: Lobsters
🦀Rust Macros
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Vibe coding complex changes in Rust
youtube.com·10h
🦀Rust Macros
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·3d
✅Format Verification
Accelerating Offensive R&D with Large Language Models
outflank.nl·1d
🔒WASM Capabilities
LLMs' AI-Generated Code Remains Wildly Insecure
darkreading.com·16h
📏Code Metrics
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·19h·
Discuss: Hacker News
🛡️RISC-V Security
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·3d
🛡️Proof-Carrying Archives
DeepGo: Predictive Directed Greybox Fuzzing
arxiv.org·3d
🐛Fuzzing
Python Scripts – From Classroom to Community - 1
brezular.com·13h
🔗Concatenative Programming
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·17h
🔓Hacking
Hack The Box Academy Writeup — PASSWORD ATTACKS — Writing Custom Wordlists and Rules
infosecwriteups.com·1d
🔓Password Cracking
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Ladybird Browser July Update
ladybird.org·44m·
Discuss: Hacker News
🌐Web Standards
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
💧Liquid Types
Partner with the AI, throw away the code
martinfowler.com·1d
🦀Rust Macros
Why we need better software identification
softwareheritage.org·1d
🔗Binary Similarity