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
8381
posts in
281.7
ms
Shadows
of the
Afterland
Released
bluesnews.com
·
8h
🌟
Ray Tracing
WARSHIFT
2 Announced
bluesnews.com
·
8h
🔄
Operational Transforms
CBP
Signs
Clearview
AI Deal to Use Face Recognition for ‘Tactical Targeting’
wired.com
·
8h
·
Discuss:
Hacker News
🧠
AI
A team of agents (PM,
Eng
, QA)
tackles
my Linear tickets while I'm driving
agent-army.ai
·
8h
·
Discuss:
Hacker News
🧠
AI
"
Atto
" from
Xtra
: The Best Wearable 4K Action Camera for Hands-Free Creation
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
🏙️
Smart Cities
Ask HN: What have you built for
yourself
using AI
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
🤖
AI agents
RobIW-dev/aist-protocol
: Open protocol for preserving AI project state across sessions. 60x compression. Model-agnostic. Plain text.
github.com
·
4h
·
Discuss:
Hacker News
🕸️
Actix-Web
CapSoftware/globlin
: A high-performance glob pattern matcher for Node.js, built in Rust.
github.com
·
4h
·
Discuss:
Hacker News
🥖
Bun
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
➡️
Arrow Format
State of
HLSL
: February 2026
abolishcrlf.org
·
1d
·
Discuss:
Hacker News
⚙️
LLVM
Getting Started with
Sapphire
Edge+ and AMD
Embedded
+
hackster.io
·
1d
·
Discuss:
Hacker News
⚡
Hardware Acceleration
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
2d
·
Discuss:
Hacker News
☁️
Serverless Rust
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
☁️
Serverless Rust
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
AI Coding Tools
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
1d
·
Discuss:
Hacker News
🔌
Embedded Rust
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🏭
Code Generation
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
λ
Functional Programming
Redefining
Go
Functions
pboyd.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🔄
C to Rust Translation
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/ClaudeAI
,
r/programming
🔍
Reverse Engineering
Loading...
Loading more...
« Page 22
•
Page 24 »
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