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
Binary Analysis, Protocol Discovery, Format Recovery, Disassembly
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23317
posts in
724.4
ms
How to Design a
Backpack
, According to Designers (with Mark
Thibadeau
)
carryology.com
·
2d
⬜
Minimalism
Rubenerd
: Childhood Melbourne
i486
Progress
rubenerd.com
·
3d
🕹️
Retro Gaming
Navigating
CRAN
's Reverse
Dependency
Check Logs
yihui.org
·
2d
⚙️
Build Archaeology
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
💧
Liquid Types
Stop
Guessing
Code
Complexity
: Why Your Team Needs a Health Score"
dev.to
·
3d
·
Discuss:
DEV
📏
Code Metrics
The “
Remask
&
Refine
” Coding Model That Beats Its AR Twin
hackernoon.com
·
2d
🗜️
LZW Variants
How Industrial Quality Thinking Exposes the Limits of
Agile
Rituals
hackernoon.com
·
3d
📏
Code Metrics
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
✅
Formal Methods
Software Testing at the Network
Layer
: Automated
HTTP
API Quality Assessment and Security Analysis of Production Web Applications
arxiv.org
·
1d
🧪
Protocol Fuzzing
Last Generation of
Coder
medium.com
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Soft
Delete
Is a
Workaround
docs.eventsourcingdb.io
·
2d
·
Discuss:
Hacker News
⛏️
SQL Archaeology
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
3d
·
Discuss:
Hacker News
,
r/programming
👁️
Observatory Systems
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
The
silent
death of Good Code
amit.prasad.me
·
3d
·
Discuss:
Hacker News
,
r/programming
📏
Code Metrics
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Software Engineering Is Back
blog.alaindichiappari.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Build Archaeology
The cost of a
function
call
lemire.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔗
Concatenative Programming
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
3d
·
Discuss:
Hacker News
🌳
Incremental Parsing
gRPC
deep dive: from service
definition
to wire format
kreya.app
·
2d
·
Discuss:
Hacker News
⚡
gRPC
Loading...
Loading more...
« Page 5
•
Page 7 »
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