⚖️ RISC-V Formal - matmat · Scour

One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon

riscv.org·17h

🧲RISC-V Preservation

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

⚖️Verification Calculi

Hint-Based SMT Proof Reconstruction

arxiv.org·8h

🧮SMT Solvers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025

elisa.tech·18h

BPF Verifier State Pruning: Timeline

pchaigno.github.io·2d

🛡️Archive Verification

Can We Build an NX Bit for LLMs

bogdandeac.com·1d·

Discuss: Hacker News

🖥️Modern Terminals

Effect Oriented Programming • Bill Frasure, Bruce Eckel, James Ward & Andrew Harmel-Law • GOTO 2026

youtube.com·37m

⚡Effectful Programming

Pushing the Packed SIMD Extension Over the Line: An Update on the Progress of Key RISC-V Extension

semiwiki.com·1d

📊RISC-V Vectors

I am performing chipset-level repair on a Biostar B460GTA Rev 5.0 motherboard and I need help.

forums.anandtech.com·1d

⚡Circuit Archaeology

Making a Language

thunderseethe.dev·15h

🛠Language Design

haskellweekly.news·2h

🔗Functional Compilers

RISC-V and Post-Quantum Cryptography

fprox.substack.com·2d·

Discuss: Substack

🔐Quantum Security

VCP v1.1: Cryptographic Audit Trails for AI Trading Systems (EU AI Act Ready)

dev.to·4h·

Discuss: DEV

🌳Archive Merkle Trees

High-Performance Industrial Control Platform Using MST3576

hackster.io·3d

⚙️RISC-V Microcode

Building Your Own Efficient uint128 in C++

solidean.com·2d·

Discuss: Lobsters, Hacker News, Hacker News, r/cpp

🧮Algebraic Datatypes

In Praise of APL (1977)

jsoftware.com·4h·

Discuss: Hacker News

📊APL Heritage

Every Mini PC & SFF Hardware Announced at CES 2026

williamlam.com·22h

🖥️Terminal Renaissance

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·1d

🔬Binary Analysis

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·21h·

Discuss: Hacker News

🔒Type Safety

Loading more...