⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·18h
🎯NTLM Attacks
CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·3d
🌐WASI
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·4h·
Discuss: Substack
🌀Brotli Internals
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·3h·
Discuss: Hacker News
🎫Kerberos Exploitation
[R] SherlockBench benchmark and paper
reddit.com·19h·
Discuss: r/MachineLearning
🌊Streaming Algorithms
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·2d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nix Flakes
Rethinking CLI Interfaces for AI
notcheckmark.com·1d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
Nobody Knows How to Build with AI Yet
worksonmymachine.substack.com·1d·
Discuss: Substack
⚙️Build Archaeology
LLMs Are Still in Their Infancy, or Why Programmers Aren't Being Replaced
amatriz.net·10h·
Discuss: Hacker News
💻Local LLMs
Don't Trust Machines
campbellramble.ai·2h·
Discuss: Hacker News
🔲Cellular Automata
This Should Not Be Possible
ghuntley.com·1d·
Discuss: Hacker News
🛡️eBPF Security
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·5d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Walking You Through WASI Support in Go
hackernoon.com·11h
🌐WASI
Vibe-Coding AI "Panicks" and Deletes Production Database
xcancel.com·1h·
Discuss: r/programming
🌀Brotli Internals
Why QA Teams Are Switching to Codeless Automation
dev.to·4h·
Discuss: DEV
🔍Concolic Testing
Integrating Model Context Protocol with Gemini: The Definitive Guide to Modern Tool Calling (Agentic-AI)
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
You Can't Buy Integration (2021)
martinfowler.com·1d·
Discuss: Hacker News
⚡SMT Integration
Deeper Theories of Program Design
typesanitizer.com·4h·
Discuss: Hacker News
🐚Shell Calculus
Solving a Childhood Mystery: How BASIC Games Learned to Win
sublevelgames.github.io·8h·
Discuss: Hacker News
🔲Cellular Automata
HC-05 Bluetooth Module with Arduino via AT Command Mode
hackster.io·17h
🔌Single Board PC