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
2641
posts in
111.0
ms
Comic
Code
Reviews
, Part 2
jona.ca
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
‘They want their pound of
flesh
’: why bank bosses are pushing strict return-to-office
mandates
ft.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
I
Bought
an iPhone 17
bboy.app
·
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
The
craft
of screen graphics and movie user
interfaces
(2014)
pushing-pixels.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
From the stupid
DNS
tricks department:
ipasn.net
blog.apnic.net
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Caffeine
content for coffee, tea,
soda
and more
mayoclinic.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Let’s Get Back to Real Human
Thought
with
dwrite.me
dwrite.me
·
1d
·
Discuss:
DEV
,
Hacker News
📡
Side-Channel Attacks
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
China Urges Banks to Curb US
Treasuries
Exposures
on Market Risk
bloomberg.com
·
1d
·
Discuss:
Hacker News
,
r/China
,
r/Economics
📡
Side-Channel Attacks
Monopoly
Round-Up: The $2 Trillion Collapse of Bitcoin and
Terrible
Software Companies
thebignewsletter.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
We All Have Steam
Libraries
. What
Happens
When They're Gone?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Discord will soon require face
scans
or ID for all users, or
restrict
access
9to5mac.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Trump
threatens
to block opening of US-Canada
bridge
bbc.com
·
16h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Irish man with
valid
US work
permit
held in ICE detention for five months
theguardian.com
·
1d
·
Discuss:
Hacker News
,
r/europe
,
r/news
🦀
Rust
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
mikro-orm/mikro-orm
: TypeScript ORM for Node.js based on Data Mapper, Unit of Work and Identity Map patterns. Supports MongoDB, MySQL, MariaDB, MS SQL Server, PostgreSQL and
SQLite/libSQL
databases.
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
cmader/MailReader
: A Wear OS IMAP read-only mail client
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 33
•
Page 35 »
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