Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Chip Verification
RISC-V Testing, Hardware Validation, Formal Methods, SystemVerilog
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7677
posts in
136.5
ms
From
RTL
to Prompt Coding: Empowering the Next Generation of Chip
Designers
through LLMs
arxiv.org
·
1d
⚙️
LLVM
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-Modal Program
Verification
in
Velvet
proofsandintuitions.net
·
1d
·
Discuss:
Hacker News
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
There's a secret computer inside your computer
xda-developers.com
·
12h
🔍
eBPF
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pushing the
Packed
SIMD
Extension Over the Line: An Update on the Progress of Key RISC-V Extension
semiwiki.com
·
1d
🧩
RISC-V
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An Explosion In
Interconnect
Complexity
semiengineering.com
·
1h
⚡
Circuit Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Hint-Based
SMT
Proof Reconstruction
arxiv.org
·
4h
🧩
Constraint Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The fix for a
segfault
that never
shipped
recall.ai
·
1d
·
Discuss:
Hacker News
🔄
C to Rust Translation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Polimi
chip speeds up computing and
drastically
reduces energy consumption
polimi.it
·
2h
·
Discuss:
Hacker News
🧠
Neuromorphic Chips
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Can We Build an
NX
Bit
for LLMs
bogdandeac.com
·
1d
·
Discuss:
Hacker News
⚡
Hardware Acceleration
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What does an AI
QA
actually do? Breaking down the role everyone’s
curious
about but few understand
dev.to
·
6h
·
Discuss:
DEV
🤖
AI Coding Tools
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Soundness
bugs
in Rust libraries: can't live with 'em, can't live without 'em
docs.rs
·
18h
·
Discuss:
Hacker News
⚠️
Unsafe Rust
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ra0x3/mcpkit-rs
: PoC MCP WebAssembly (WASM) integration, forked from the official Rust SDK for the Model Context Protocol
github.com
·
18h
·
Discuss:
Hacker News
🧩
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Don't Trip[wire]
Yourself
: Testing Error Recovery in
Zig
mitchellh.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Zig
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Graph-based
refactor
analysis for Go projects ,
Arbor
v1.4
reddit.com
·
1d
·
Discuss:
r/golang
🔍
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
System Specs • Re:
Socket
7 and
Socket
A
shenanigans
. 2 (or possibly 3) retro builds
vogons.org
·
3d
⚙
Risc-v
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Heaps
do lie: debugging a memory leak in
vLLM
.
mistral.ai
·
18h
·
Discuss:
Hacker News
🧠
Memory Models
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
LLMs Under
Siege
: The Red Team
Reality
Check of 2026
eddieoz.com
·
13h
·
Discuss:
Hacker News
🚀
MLOps
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
remontsuri/EV-QA-Framework
: Mini QA Framework for EV & IoT Testing - AI-powered battery management system testing framework with
pytest
and CAN protocol support. Includes telemetry monitoring, ML-based anomaly detection, and GitLab CI/CD integration.
github.com
·
2d
·
Discuss:
Hacker News
🔌
Embedded Systems
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
High-Availability Feature
Flagging
at
Databricks
databricks.com
·
13h
·
Discuss:
Hacker News
☁️
Serverless Rust
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
RISC-V
and Post-Quantum
Cryptography
fprox.substack.com
·
1d
·
Discuss:
Substack
🔐
Cryptography
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help