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
7758
posts in
277.5
ms
Shadows
of the
Afterland
Released
bluesnews.com
·
15h
🌟
Ray Tracing
WARSHIFT
2 Announced
bluesnews.com
·
15h
🔄
Operational Transforms
CBP
Signs
Clearview
AI Deal to Use Face Recognition for ‘Tactical Targeting’
wired.com
·
15h
·
Discuss:
Hacker News
🧠
AI
A team of agents (PM,
Eng
, QA)
tackles
my Linear tickets while I'm driving
agent-army.ai
·
15h
·
Discuss:
Hacker News
🧠
AI
Ask HN: Do
freelancers
manually
scan social media for leads?
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
📡
Content Syndication
"
Atto
" from
Xtra
: The Best Wearable 4K Action Camera for Hands-Free Creation
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🏙️
Smart Cities
Podium
Voices: multi-agent AI hosts for live audio
rooms
(turn coordination)
github.com
·
10h
·
Discuss:
Hacker News
🎤
Voice Interfaces
adnanbasil10/LogSlash
: Rust-based pre-ingestion log firewall that suppresses duplicate noise and reduces observability costs.
github.com
·
10h
·
Discuss:
Hacker News
,
r/selfhosted
☁️
Cloudflare Workers
A Completely
Innocuous
Blog Post about
vPMU
in QEMU
vulpinecitrus.info
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
2d
·
Discuss:
Hacker News
🔄
C to Rust Translation
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
2d
·
Discuss:
Hacker News
,
r/embedded
⚙️
LLVM
Challenging
Assumptions
in Technology: From Being Right to Getting It Right
platformtoolsmith.com
·
1d
·
Discuss:
Hacker News
🏗️
System Design
Reverse Engineering the
Prom
for the
SGI
O2
mattst88.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔍
Reverse Engineering
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
1d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🤖
AI agents
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
2d
·
Discuss:
Hacker News
📝
Parser Combinators
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
OLIX
: Compute
Manifesto
olix.com
·
17h
·
Discuss:
Hacker News
⚡
Hardware Acceleration
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
10h
·
Discuss:
Hacker News
🤖
AI Coding Tools
GPT-5.3-Codex and Claude
Opus
4.6: More System Card
Shenanigans
ignorance.ai
·
10h
·
Discuss:
Hacker News
🤖
Anthropic Claude
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Loading...
Loading more...
« Page 31
•
Page 33 »
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