Skip to main content
Scour
Browse
Getting Started
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
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8611
posts in
161.1
ms
Grouped
Blockscaled
Gemm
veitner.bearblog.dev
·
3d
🦀
Rust Macros
Testing a 6200
68kmla.org
·
5d
⚙️
Performance Profiling
When Clever Hardware Hacks Bite Back: A Password
Keeper
Device
Autopsy
hackaday.com
·
3d
🔓
Binary Exploitation
Comprehensive System-Level Performance Model For
p-SRAM-Based
IMC
(USC, UW-Madison)
semiengineering.com
·
4d
🔁
Cache Coherence
Demonstrating
ARG-V
's Generation of Realistic Java Benchmarks for SV-COMP
arxiv.org
·
6d
🦀
Rust Macros
**Hybrid Adaptive On‑Road Dynamic
Load
Calibration
System for Automotive Test Vehicles**
dev.to
·
4d
·
Discuss:
DEV
🔌
Embedded Systems
Chiplets
Add More
Inspection
And Test Steps
semiengineering.com
·
1d
🔌
Electronics Repair
Certifiable
Boolean
Reasoning Is Universal
arxiv.org
·
5d
🧩
Constraint Programming
**Title**
dev.to
·
4d
·
Discuss:
DEV
📡
Edge Computing
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
6d
·
Discuss:
Hacker News
⚙️
Zig
The
CPUs
of
Spacecraft
Computers in Space (2012)
cpushack.com
·
5d
·
Discuss:
Hacker News
🏗
Computer Architecture
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Tell
it your hardware, get the
exact
local AI model to run
localcoder.xyz
·
6d
·
Discuss:
Hacker News
🏗️
AI Infrastructure
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
4d
·
Discuss:
Hacker News
✨
vibe-coding
From
Flops
to
Finality
: Solving Proof-of-Compute with Verifiable Intelligence
daifi.ai
·
6d
·
Discuss:
Hacker News
🛡️
Byzantine Consensus
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
3d
·
Discuss:
Hacker News
🔗
CoT Prompting
Portable
C
Compiler
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🔨
Compilers
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
2d
·
Discuss:
Hacker News
🧠
AI
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
2d
·
Discuss:
Hacker News
🏗️
AI Infrastructure
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
🔢
Homomorphic Encryption
Loading...
Loading more...
« Page 4
•
Page 6 »
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