⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·8h
⚡Proof Automation
My VL-Bus i486 board lives! I’m incredibly happy
rubenerd.com·22h
⚡Circuit Archaeology
RTL generation for custom CPU Mrav
popovicu.com·1d
⚙️Modern Assembly
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·5h·
Discuss: r/linux
🔌Operating system internals
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Capture Checking in Scala
nrinaudo.github.io·6h·
Discuss: Hacker News
🧪Binary Fuzzing
Reverse Engineered Raspberry Pi Compute Module 5
github.com·15h·
Discuss: Hacker News
🔌Single Board PC
Code does not lie
nocomplexity.com·4h
🔒Language-based security
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·1d·
Discuss: DEV
⚡Circuit Verification
Evaluation of Hashing Algorithms Ascon, SHA256, SHA512 and BLAKE3 on a Cortex M7
aa55.dev·19h·
Discuss: Hacker News
🦾ARM Cortex-M
When functions dissolve
rubber-duck-typing.com·21h·
Discuss: Hacker News
🐚Shell Calculus
NEWS ROUNDUP – 25th August 2025
digitalforensicsmagazine.com·1h
🎯Threat Hunting
Dealing With the 1970s EPROM Chaos in 2025
hackaday.com·1d
🖥Retro Computing
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·4h
🔍eBPF
Renesas RA4C1 Arm Cortex-M33 MCU targets Smart Meters and energy-efficient IoT applications
cnx-software.com·3d
🔌Microcontrollers
Certificate Transparency - Part 3 - Operations
ipng.ch·1d
🔒Hardware Attestation
ColecoVision: The Shooting Gallery Platform Layer
bumbershootsoft.wordpress.com·1d
🎮Gameboy Emulation
Research Worth Reading Week 32/2025
pentesterlab.com·12h
🔓Hacking