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
2609
posts in
154.3
ms
Show HN: Nick the
Groq
– AI
Poker
Coach- Open Source
poker-coacher.vercel.app
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Electric Cars Are Making It
Easier
To
Breathe
: Study
thedrive.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
On
Famous
Disease
weblog.snats.xyz
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Secure Boot (
Gentoo
Wiki
)
wiki.gentoo.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Big Tech groups race to fund unprecedented $
660bn
AI spending
spree
ft.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
EU AI Act:
Practical
Risk
Classification
for Business AI Use Cases
jaikin.eu
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Corporations
Don't Have to
Maximize
Profits (2015)
nytimes.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
OpenAI's GPT-4
Discontinuation
: Consumer Fraud and
Regulatory
Scrutiny
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust
Goes Out to Everyone Trying Their Best and Top Things I
Learned
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
CodeGraphContext/CodeGraphContext
: An MCP server plus a CLI tool that
indexes
local code into a graph database to provide context to AI assistants.
github.com
·
17h
·
Discuss:
Hacker News
🦀
Rust
Discord quietly rolls out
mandatory
face
scans
that could lock millions out of their accounts
secom.es
·
19h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
youngkent/clawtime
: An engaging 1-on-1 chat interface between you and your AI agent.
github.com
·
16h
·
Discuss:
Hacker News
🦀
Rust
96%
Engineers
Don’t Fully Trust AI Output, Yet Only 48%
Verify
It
newsletter.eng-leadership.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🐛
Vulnerability Research
Show HN: We added
AGENTS.md
to 120 challenges so AI
teaches
instead of codes
frontendmentor.io
·
21h
·
Discuss:
Hacker News
🦀
Rust
Trying out
Coder
(
attempting
to rebuild Ramp's background agents setup in a weekend, part 2)
eliot.blog
·
1d
·
Discuss:
Hacker News
🦀
Rust
LLMs Are Prediction
Machines
kaelandt.github.io
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Single-capillary endothelial dysfunction resolved by
optoacoustic
mesoscopy
nature.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Loading...
Loading more...
« Page 30
•
Page 32 »
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