⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Switching from NVIDIA GPU to AMD GPU
kenhys.hatenablog.jp·2h
🎯Emulator Accuracy
'If a dictator issued a call for tenders to reopen gulags, some consulting firms would be ready to bid'
lemonde.fr·22h
🖋Typography
You Don't Need a Vendor to Automate Security Questionnaires
blog.marcolancini.it·2d
⚡Proof Automation
Channel-level EEG analysis systematically misattributes cortical source
neuromechanist.github.io·5h·
Discuss: Hacker News
👁️Perceptual Coding
Microsoft prepares Copilot for GPT-5 with new Smart mode in development
testingcatalog.com·2h·
Discuss: Hacker News
🔍Concolic Testing
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·1d·
Discuss: Hacker News
⚔️Lean Tactics
Bringing a Decade Old Bicycle Navigator Back to Life with Open Source Software (and DOOM)
raymii.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🕸️WASM Archives
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·4d·
Discuss: Hacker News
⚡Proof Automation
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·6d·
Discuss: Lobsters, r/programming
🔤Type Theory
ViGuard™ — Intelligent Vehicle Shielding System
dev.to·9h·
Discuss: DEV
🎯Threat Hunting
The Pg_meminfo Postgres Extension
github.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Clarifying "AI First" – What It Means for Rsyslog
rsyslog.com·2d·
Discuss: Hacker News
👁️System Observability
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Rust Embedded Drivers (RED) - Open Source Book
reddit.com·1d·
Discuss: r/rust
🦀Embedded Rust
Data Engineering in the Age of AI: Skills To Master Now
thenewstack.io·1d
🌊Stream Processing
Interfacing HLK LD2420 24GHz Radar Sensor with Arduino
hackster.io·4d
🔍FPGA Verification
Paper Notes - From Mind to Machine: The Rise of Manus AI as a Fully Autonomous Digital Agent
dev.to·16h·
Discuss: DEV
⚙️TLA+
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
A lightweight library for portable low-level GPU computation using WebGPU
github.com·1d·
Discuss: Hacker News
🔩Systems Programming
What is Machine Learning?
dev.to·11h·
Discuss: DEV
🧠Machine Learning