⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔐Systems Hardening
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·1d·
Discuss: Hacker News
🇩🇪German Computing
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM
arxiv.org·1d
🏭Compiler Backends
HariSekhon/DevOps-Bash-tools
github.com·16h
🐚Shell Automation
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
Introduction to the DCJ11 , PDP-11 on a Chip
5volts.ch·2d·
Discuss: Lobsters, Hacker News
🔍RISC-V Debug
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Keynote: Revolutionize your OS deploy and management with bootc containers - DevConf.CZ 2025
youtube.com·2h
⚙️Operating System Design
Accelerating hardware development to improve national security and innovation
news.mit.edu·14h·
Discuss: Hacker News
🖥️Modern Terminals
Enhancing AMD Radeon GPU Detective Output with DirectX Debug Information
gpuopen.com·1d·
Discuss: Hacker News
🎨LUT Compression
Teaching an Emulator How to Talk
mrcat.au·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·14h
🌀Fractal Compression
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
BNFGen: A random text generator based on context-free grammars
baturin.org·52m·
Discuss: Hacker News
🌳Context free grammars