⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

'If a dictator issued a call for tenders to reopen gulags, some consulting firms would be ready to bid'
lemonde.fr·20h
🖋Typography
Visualizing TCP
research.swtch.com·12h·
Discuss: Hacker News
📡Network Archaeology
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·1d
📊Count-Min Sketch
AIDE – a file and directory integrity checker
aide.github.io·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·1d·
Discuss: Hacker News
⚔️Lean Tactics
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·4d·
Discuss: Hacker News
⚡Proof Automation
AI Is Power-Hungry
intelligent-people.org·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·6d·
Discuss: Lobsters, r/programming
🔤Type Theory
ViGuard™ — Intelligent Vehicle Shielding System
dev.to·7h·
Discuss: DEV
🎯Threat Hunting
The Pg_meminfo Postgres Extension
github.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Clarifying "AI First" – What It Means for Rsyslog
rsyslog.com·2d·
Discuss: Hacker News
👁️System Observability
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·1d·
Discuss: r/rust
🦀Embedded Rust
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·4d
🔍FPGA Verification
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
Python Fundamentals: collections module
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
A lightweight library for portable low-level GPU computation using WebGPU
github.com·1d·
Discuss: Hacker News
🔩Systems Programming
Paper Notes - From Mind to Machine: The Rise of Manus AI as a Fully Autonomous Digital Agent
dev.to·14h·
Discuss: DEV
⚙️TLA+
What is Machine Learning?
dev.to·9h·
Discuss: DEV
🧠Machine Learning
Intel promises sweeping changes to combat stagnation with new foundry strategy, AI focus, and the return of Hyper-Threading — but losses threaten to curtail amb...
tomshardware.com·2d
🖥️Terminal Renaissance