🧪 RISC-V Fuzzing

Hardware Testing, Instruction Validation, Security Research, Open Architecture

ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·4d
🔍eBPF
Flag this post
Adversarial Poetry as a Universal Single-Turn Jailbreak Mechanism in Large Language Models
arxiv.org·2d·
Discuss: Lobsters
🧪CBOR Fuzzing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Perennial Technical Reading List
parallelprogrammer.substack.com·3d·
Discuss: Substack
🔩Systems Programming
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·22h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
Apple shows how much faster the M5 runs local LLMs compared to the M4
9to5mac.com·2d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
How to Use Unsafe in Go Without Killing Your Service
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
I turned my PC into a Linux gaming console
antonkuzmenko.dev·1d·
Discuss: Hacker News
🕹️Retro Gaming
Flag this post
Announcing Lix 2.94 “Açaí na tigela”
lix.systems·4d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Flag this post
OSI Layer 4 Security Vulnerabilities & Resolutions
dev.to·18h·
Discuss: DEV
📡Network Monitoring
Flag this post
The Sacrilegious Coder
dev.to·9h·
Discuss: DEV
🎯Gradual Typing
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Speedrunning a CPU: RISC-V in a Week
daymare.net·6d·
Discuss: Hacker News, r/programming, r/rust
🖥️Game Emulation
Flag this post
moss: a Rust Linux-compatible kernel in about 26,000 lines of code
reddit.com·1d·
Discuss: r/linux
🔩Systems Programming
Flag this post
In What Universe Is Thinking Machines Lab Worth $50B
tickerfeed.net·18h·
Discuss: Hacker News
🔍BitFunnel
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASI
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post