⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·58m·
Discuss: Hacker News
🖥️Terminal Renaissance
Quantifying Thermal Gradient Impact on 40-Layer Stack Die Reliability through Bayesian Network Analysis
dev.to·19h·
Discuss: DEV
⚙️Modern Assembly
Renesas RA4C1 Arm Cortex-M33 MCU targets Smart Meters and energy-efficient IoT applications
cnx-software.com·1d
🔌Microcontrollers
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·4d
🦀Rust Macros
Show HN: Novel GPT-2 sampling and memory architecture
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·22h·
Discuss: Substack
🖥️Game Emulation
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·1d
💻Local LLMs
Back to the 90s on Real Hardware
hackaday.com·8h
🕹️Retro Gaming
Get Back To WARP
binary.ninja·19h
🧪Binary Fuzzing
LGA1700 2u coolers
reddit.com·2d·
Discuss: r/homelab
🧲RISC-V Preservation
ReVault Flaw Exposed Millions of Dell Laptops to Malicious Domination
darkreading.com·17h
🔓Hacking
Robotic Arm - IRAS 6dof
hackster.io·5h
⚡Proof Automation
AI Code Generation: Trust and Verify, Always
thenewstack.io·23h
⚙️Proof Engineering
Lobsters Interview with Matklad
lobste.rs·23h·
Discuss: Lobsters
🦀Rust Macros
Building a Computer in the 90s (2019)
dfarq.homeip.net·4h·
Discuss: Hacker News
🍎Apple Computing
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
Dell T320 H310 RAID and IT Mode
etbe.coker.com.au·21h
🔒Secure Boot
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·10h·
Discuss: Hacker News
📼Tape Combinators
Fuzzing Hardware Like Software (2021)
arxiv.org·3d·
Discuss: Hacker News
🧪Hardware Fuzzing