🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Chip Verification

RISC-V Testing, Hardware Validation, Formal Methods, SystemVerilog

Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
🧩Low-code
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·1d·
Discuss: Hacker News
🧩RISC-V
Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·22h·
Discuss: DEV
🔌Embedded Rust
Some Thoughts On The Future “Doudna” NERSC-10 Supercomputer
nextplatform.com·14h·
Discuss: Hacker News
⚡Hardware Acceleration
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔍Static Analysis
The V&V method – A step towards safer AGI
lesswrong.com·7h·
Discuss: Hacker News
🧩Low-code
Teaching an Emulator How to Talk
mrcat.au·2d·
Discuss: Hacker News
⚙Risc-v
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
λFunctional Programming
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🔍Static Analysis
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🔍Static Analysis
Supporting Deterministic Traffic on Standard NICs
arxiv.org·1d
🕸️Mesh Networks
Xunit.v3, Testcontainers, and .NET
azan-n.com·2d·
Discuss: Hacker News
☁️Serverless Rust
Accelerating hardware development to improve national security and innovation
news.mit.edu·14h·
Discuss: Hacker News
🔌Embedded Rust
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·14h
🏗️AI Infrastructure
Getting an LLM to set its own temperature
amanvir.com·19h·
Discuss: Hacker News
💻Local LLMs
Design high-confidence computers using trusted instructional set architecture and emulators
arxiv.org·1d
⚖️Consensus Networks
**Master Rust Testing: Essential Strategies for Bulletproof Code Quality and Development Efficiency**
dev.to·2d·
Discuss: DEV
☁️Serverless Rust
Acore-CIM: build accurate and reliable mixed-signal CIM cores with RISC-V controlled self-calibration
arxiv.org·6d
🧩RISC-V
PDP-11 Replica: The PiDP-11
obsolescence.dev·5h·
Discuss: Hacker News
⚙Risc-v
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
λFunctional Programming
Loading...Loading more...
AboutBlogChangelogRoadmap