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
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2610
posts in
119.1
ms
Why is Singapore no
longer
“
cool
”?
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Most Indians don’t read for
pleasure
– so why does the country have 100 literature
festivals
?
theguardian.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Comic
Code
Reviews
, Part 2
jona.ca
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
That's AI (2026) - Short Film (
Sebastian
Lopez
youtube.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
China Urges Banks to Curb US
Treasuries
Exposures
on Market Risk
bloomberg.com
·
1d
·
Discuss:
Hacker News
,
r/China
,
r/Economics
📡
Side-Channel Attacks
What is an Event
Sourcing
Database? Performance Over
Complexity
genesisdb.io
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
pitch
deck is dead. Write a
pitch.md
instead.
joanwestenberg.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
1d
·
Discuss:
Substack
📡
Side-Channel Attacks
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Economic growth is still
heating
the
planet
. Is there any way out?
theguardian.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
1d
·
Discuss:
Hacker News
,
r/golang
📡
Side-Channel Attacks
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
ArkWatch
–
Uptime
monitoring with zero dependencies
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Rule
#1 for coding with AI agents
zknill.io
·
23h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Can
Artemis
Overcome
Challenges to Win the New Space Race?
spectrum.ieee.org
·
20h
·
Discuss:
Hacker News
,
r/space
,
r/technews
🔒
Cryptography
simplyblock/vela
: Postgres Backend Platform with full stack (auth, APIs, functions), instant cloning, branching and separation of compute and storage. Built for self-hosting.
github.com
·
14h
·
Discuss:
Hacker News
🦀
Rust
OrthoRay
– A native, lightweight
DICOM
viewer written in Rust/wgpu by a surgeon
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🎨
Rendering
Using Claude Code as a general agent
raahelbaig.com
·
22h
·
Discuss:
Hacker News
🦀
Rust
Why demand for code is
infinite
: How AI
creates
more developer jobs
stackoverflow.blog
·
17h
·
Discuss:
Hacker News
🦀
Rust
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