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
225.4
ms
My smart home still works without the internet, and it's all
thanks
to one app
xda-developers.com
·
48m
🔌
Offline-first Apps
No Man's Sky
Remnant
Update Adds
Gravity
Gun
bluesnews.com
·
54m
🎮
Godot
Holy
shit
, music festival tickets are expensive here
whateverthewindbrings.com
·
55m
💻
Local first
Morning Safety
Dance
bluesnews.com
·
54m
✨
vibe-coding
How I Built My Project in
Haskell
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
6d
λ
Functional Programming
The AI Prediction Audit: Ten Years of Radical Claims,
Scored
and
Time-Checked
davidwsilva.substack.com
·
50m
·
Discuss:
Substack
🏗️
AI Infrastructure
Oatly
loses long-running 'milk' battle with dairy
lobby
bbc.co.uk
·
51m
·
Discuss:
Hacker News
🥒
Lacto-fermentation
"Hack the Planet " an
Oral
History of Hackers'
Soundtrack
and Score
grammy.com
·
54m
·
Discuss:
Hacker News
🤖
Cyberpunk
Show HN:
Brighten
– Employee recognition platform with
peer-to-peer
rewards
hellobrighten.com
·
30m
·
Discuss:
Hacker News
💫
Apache Pulsar
Camera that captures photos to
cassette
tape
hackaday.io
·
20m
·
Discuss:
Hacker News
🔌
Microcontrollers
Postgres
Locks
Explained
postgreslocksexplained.com
·
47m
·
Discuss:
Hacker News
🔀
Concurrency
Show HN: Protect Against Prompt
Injection
in
OpenClaw
npmjs.com
·
35m
·
Discuss:
Hacker News
☁️
Cloudflare Workers
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
58m
·
Discuss:
Hacker News
🔢
Homomorphic Encryption
The Perfect
Device
sometimes.digital
·
31m
·
Discuss:
Hacker News
🎚️
Audio Codecs
Prove
_it – Force Claude to
verify
its work
github.com
·
3d
·
Discuss:
Hacker News
💻
CLI Tools
The Evolution of a
Lean
Programmer
unnamed.website
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
joshLong145/ambits
: TUI tool for visualizing and reporting code coverage within llm sessions
github.com
·
2d
·
Discuss:
Hacker News
🤖
AI Coding Tools
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🤖
AI Coding Tools
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 8
•
Page 10 »
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