⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·14h
🎯NTLM Attacks
[$] How to write Rust in the kernel: part 3
lwn.net·2d
🔩Systems Programming
CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·3d
🌐WASI
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🔩Systems Programming
Responsible AI in Enterprise Applications: A Practitioner's View
jjude.com·5h·
Discuss: Lobsters, Hacker News
🔐Capability Systems
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·22h·
Discuss: Hacker News
🏗️Compiler Archaeology
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
An Introduction to GPU Profiling and Optimization
bitsand.cloud·13h·
Discuss: Hacker News, r/programming
📊Performance Profiling
Canadian Cross
en.wikipedia.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Google DeepMind Formal Conjectures
google-deepmind.github.io·1h·
Discuss: Hacker News
🕸️Algebraic Topology
I built an MCP server for observability, here's my unhyped take
signoz.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·22h·
Discuss: Hacker News
🔒Secure Boot
[R] SherlockBench benchmark and paper
reddit.com·15h·
Discuss: r/MachineLearning
🌊Streaming Algorithms
How to keep up with AI progress
news.ycombinator.com·13h·
Discuss: Hacker News
🌀Brotli Internals
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
Go's Last Words on Error Handling Syntax
dev.to·19h·
Discuss: DEV
📜Proof Carrying Code
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·6h·
Discuss: Hacker News
💻Local LLMs
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·4d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security