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
8620
posts in
399.4
ms
An Analysis of User-space
Idle
State Instructions on
x86
Processors
danglingpointers.substack.com
·
6d
·
Discuss:
Substack
⚙️
CPU Microarchitecture
Resistance
In Advanced
Packages
Is Now A System-Level Problem
semiengineering.com
·
1d
🌪️
Chaos Engineering
Chip Industry
Technical
Paper Roundup:
Feb
. 9
semiengineering.com
·
2d
⚡
Hardware Acceleration
Testing a 6200
68kmla.org
·
5d
⚙️
Performance Profiling
Can We
Classify
Flaky
Tests Using Only Test Code? An LLM-Based Empirical Study
arxiv.org
·
5d
🔍
Static Analysis
Time-Complexity Characterization of
NIST
Lightweight
Cryptography
Finalists
arxiv.org
·
5d
🔢
Homomorphic Encryption
**Title**
dev.to
·
4d
·
Discuss:
DEV
📡
Edge Computing
The Fast-Track to Local Intelligence: Optimizing Linux for
Llama
4 and
SLMs
dev.to
·
4d
·
Discuss:
DEV
🏗️
AI Infrastructure
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
6d
·
Discuss:
Hacker News
⚙️
Zig
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
3d
·
Discuss:
Hacker News
✨
vibe-coding
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
4d
·
Discuss:
Hacker News
🎵
Audio DSP
Blog: I
Benchmarked
Popular
MLX
Models That Fit on iPhone and iPad — Here's How Fast On-Device LLMs Actually Are
rickytakkar.com
·
3d
·
Discuss:
Hacker News
⚙️
Performance Profiling
To Be
Determined
anekstein.com
·
3d
·
Discuss:
Hacker News
🔗
Dependent Types
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
⚙️
LLVM
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
🔍
Query Compilers
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🤖
AI Inference
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔄
C to Rust Translation
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
2d
·
Discuss:
Hacker News
🏗️
AI Infrastructure
Loading...
Loading more...
« Page 3
•
Page 5 »
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