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
7717
posts in
235.2
ms
An Analysis of User-space
Idle
State Instructions on
x86
Processors
danglingpointers.substack.com
·
6d
·
Discuss:
Substack
⚙️
CPU Microarchitecture
Can We
Classify
Flaky
Tests Using Only Test Code? An LLM-Based Empirical Study
arxiv.org
·
6d
🔍
Static Analysis
Time-Complexity Characterization of
NIST
Lightweight
Cryptography
Finalists
arxiv.org
·
6d
🔢
Homomorphic Encryption
Impact of the Gate and Fin Space Variation on Stress Modulation and
FinFET
Transistor
Performance
semiengineering.com
·
2d
🧠
Neuromorphic Chips
AFMTJ
Model For In-Memory Computing (University of
Arizona
)
semiengineering.com
·
1d
🧠
Memory Models
The Fast-Track to Local Intelligence: Optimizing Linux for
Llama
4 and
SLMs
dev.to
·
5d
·
Discuss:
DEV
🏗️
AI Infrastructure
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
5d
·
Discuss:
DEV
🔓
Binary Exploitation
Python Is for Everyone: Inside the
PSF
's D&I Work Group
georgiker.com
·
20m
·
Discuss:
Hacker News
🧩
Low-code
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
4d
·
Discuss:
Hacker News
✨
vibe-coding
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
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
5d
·
Discuss:
Hacker News
🎵
Audio DSP
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
⚙️
LLVM
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🤖
AI Inference
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
4d
·
Discuss:
Hacker News
🌸
Bloom Filters
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
"
Compiled
"
Specs
deepclause.substack.com
·
4d
·
Discuss:
Substack
🔍
Query Compilers
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
🔢
Homomorphic Encryption
Claude's C
Compiler
vs.
GCC
harshanu.space
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
CPU Microarchitecture
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