⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

That Windy City Keeb Meet 2025 recap
cassidoo.co·1d
⌨️Mechanical Keyboards
Reporting from the Born-Digital Collections, Archives and Memory Conference 2025
blogs.bodleian.ox.ac.uk·3h
🏛️PREMIS
EU Regulations will change everything with Daniel Thompson
opensourcesecurity.io·13h
🔓Open Source Software
vi.mock Is a Footgun: Why vi.spyOn Should Be Your Default
laconicwit.com·1h·
Discuss: Hacker News, r/javascript, r/programming
🐛Fuzzing
Approve pull requests with your eyes closed
blog.jse.li·16h·
Discuss: Lobsters, Hacker News
📡RSS
Object deserialization attacks using Ruby's Oj JSON parser
hezmatt.org·2d·
Discuss: Hacker News, Hacker News
🛡️CBOR Security
Ouroboros Water Cooled PC
macpierce.com·2d·
Discuss: Hacker News
🎮Switch Archaeology
Exploring Windows XP on macOS ARM64
milen.me·1d·
Discuss: Hacker News
🖥️Vintage Macintosh
Age and Authenticated Encryption
words.filippo.io·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·3d·
Discuss: Hacker News
🧪CBOR Fuzzing
Thinking of an Animal: the classic guessing game
thepottshouse.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Lost Path to Seniorhood
gizvault.com·1d·
Discuss: r/linux, r/opensource, r/programming
🐧FOSS
Living Memory Attacks: Code Injection Without Files
infosecwriteups.com·4d
🧠Memory Forensics
Interfaces for representing uncertainty
digitalseams.com·21h·
Discuss: Hacker News
🌊Streaming Algorithms
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·3d·
Discuss: Hacker News
🔌Operating system internals
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·4d
💣ZIP Vulnerabilities
Python Fundamentals: code coverage
dev.to·3d·
Discuss: DEV
📏Code Metrics
Show HN: I'm not a developer, but I spent a year architecting a compassionate AI
github.com·3d·
Discuss: Hacker News
⚡Incremental Computation
The Complete DevOps Roadmap for 2025 🚀
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
ylmmcl at Multilingual Text Detoxification 2025: Lexicon-Guided Detoxification and Classifier-Gated Rewriting
arxiv.org·9h
🔤Character Classification