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
🔓 Reverse engineering
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23102
posts in
1.10
s
Full Disclosure: Certified
Asterisk
Security Release
certified-20.7-cert9
seclists.org
·
4d
❄️
Nixpkgs
Rubenerd
: Childhood Melbourne
i486
Progress
rubenerd.com
·
4d
🕹️
Retro Gaming
When Clever Hardware Hacks Bite Back: A Password
Keeper
Device
Autopsy
hackaday.com
·
4d
🔓
Hacking
Error
'd: When All You Have is a
Nail
thedailywtf.com
·
6d
🔓
Hacking
Full
Disclosure
:
Asterisk
Security Release 23.2.2
seclists.org
·
4d
🔤
EBCDIC Privacy
rut
: A Python Test Runner That Skips
Unaffected
Tests
dev.to
·
4d
·
Discuss:
DEV
🔍
Concolic Testing
6
Patterns
That
Changed
How I Use Claude Code
dev.to
·
4d
·
Discuss:
DEV
🌳
Incremental Parsing
Let
Lambda
Come Over
yamlscript.org
·
5d
⬆️
Lambda Lifting
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
✅
Formal Methods
Craig
Interpolation
in Program Verification
arxiv.org
·
2d
⚖️
Verification Calculi
Oddly
Simple
GUI
Programs
simonsafar.com
·
4d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Take Back the EM
Dash
spin.atomicobject.com
·
4d
·
Discuss:
Hacker News
🖋
Typography
Generative
Pen-Trained
Transformer
theodore.net
·
6d
·
Discuss:
Hacker News
📟
Terminal Physics
To Be
Determined
anekstein.com
·
3d
·
Discuss:
Hacker News
🧮
Z3 Solver
Jokes
on You AI: Turning the
Tables
dev-log.me
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
The
logs
I never read
pydantic.dev
·
4d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
I Let an AI Agent
Migrate
My Entire Server While I Ate Dinner (
Unsupervised
)
michaelchinen.com
·
3d
·
Discuss:
Hacker News
🚀
Indie Hacking
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Proof Engineering
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 17
•
Page 19 »
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