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
7712
posts in
453.0
ms
MobileManiBench
:
Simplifying
Model Verification for Mobile Manipulation
arxiv.org
ยท
6d
๐ก๏ธ
ARM TrustZone
JPEG
XL
is the best image format that nobody's using
xda-developers.com
ยท
17h
โก๏ธ
Arrow Format
[DRIVERS] Intel Chipset/MEI/VMD/Serial IO/GNA/DTT/HID/PMT (
6xx/7xx/8xx
)
elevenforum.com
ยท
4d
๐ฑ
Laptops
Morning
Patches
bluesnews.com
ยท
14h
๐
CMS
Morning
Multiplex
bluesnews.com
ยท
14h
๐๏ธ
Audio Codecs
Show HN:
Cheap
Flights
from Your Airport
homebaseflights.com
ยท
17h
ยท
Discuss:
Hacker News
๐ป
Local first
AI-Driven
SRE
Tools.
Please
stop.
yesthatblog.com
ยท
18h
ยท
Discuss:
Hacker News
๐ค
AI Coding Tools
โSo Tired I Want to Cryโ: Chinaโs AI
Subsidy
War
Swamps
Shops
sixthtone.com
ยท
17h
ยท
Discuss:
Hacker News
๐ง
AI
Thoma
Bravo
, Vista Seek to Calm Fears Over AI Threat to Software
bloomberg.com
ยท
17h
ยท
Discuss:
Hacker News
๐งฉ
Low-code
Frederick
Douglass
and the Power of the Photograph
worldhistory.substack.com
ยท
17h
ยท
Discuss:
Substack
โ๏ธ
Creative Writing
The
inverted
index
pattern
jamesg.blog
ยท
17h
ยท
Discuss:
Hacker News
๐ณ
B-Trees
Aligning
one
matrix
with another
johndcook.com
ยท
17h
ยท
Discuss:
Hacker News
๐
Computational Geometry
Show HN: A
minimal
online decision maker
decisionmaker.online
ยท
17h
ยท
Discuss:
Hacker News
๐ค
Reinforcement Learning
Create
Cinematic
Videos from Text, Images and
Prompts
seedance2.fun
ยท
17h
ยท
Discuss:
Hacker News
๐ป
Creative Coding
Report: One in Four
Smartphones
Are Now
iPhones
macrumors.com
ยท
17h
ยท
Discuss:
Hacker News
๐๏ธ
Smart Cities
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
ยท
17h
ยท
Discuss:
Hacker News
๐ฅ
PyTorch
Securing
OpenClaw
access with an identity-aware proxy
pomerium.com
ยท
17h
ยท
Discuss:
Hacker News
๐จโ๐ป
Self-Hosting
El Paso flights
grounded
as FAA
cites
security reasons in 10-day airspace ban
elpasotimes.com
ยท
17h
ยท
Discuss:
Hacker News
๐ป
Local first
Embrace
Your
Laziness
in the Age of AI
matthiasplappert.com
ยท
17h
ยท
Discuss:
Hacker News
๐ค
AI Coding Tools
Your
Peon
pings
you the instant Claude Code finishes
peon-ping.vercel.app
ยท
17h
ยท
Discuss:
Hacker News
๐
CoT Prompting
Loading...
Loading more...
« Page 35
โข
Page 37 »
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