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
💾 Binary codes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17851
posts in
354.1
ms
Specification
Vibing
for Automated Program Repair
arxiv.org
·
15h
🔓
Decompilation
Geo-Code
: A Code Framework for
Reverse
Code Generation from Geometric Images Based on Two-Stage Multi-Agent Evolution
arxiv.org
·
15h
📊
Computational Geometry
Fibonacci
number
certificates
johndcook.com
·
5d
·
Discuss:
Hacker News
✅
Document Verification
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust Verification
My Take on
Vibe
Coding
cedardb.com
·
6d
🔗
Concatenative Programming
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
5d
·
Discuss:
Hacker News
⚡
Compression Hardware
The
Classifier
Cage
dev.to
·
4d
·
Discuss:
DEV
🎯
Threat Hunting
Programming
Your Own Modern
BBS
with Python
retrogamecoders.com
·
6d
·
Discuss:
Hacker News
🎮
Vintage Gaming
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
5d
·
Discuss:
DEV
🔤
Type Theory
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
6d
·
Discuss:
Hacker News
📏
Code Metrics
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
6d
·
Discuss:
Hacker News
🔐
Quantum Cryptography
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
6d
·
Discuss:
Hacker News
,
r/programming
⚔️
Lean Tactics
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
5h
·
Discuss:
Hacker News
⚡
Proof Automation
EFTA00400459
has been cracked,
DBC12.pdf
liberated
neosmart.net
·
2d
·
Discuss:
Hacker News
👁️
Constructive OCR
UK’s
busiest
railway station to undergo £1.2 billion
redevelopment
as controversial plans approved
the-independent.com
·
42m
🖥️
Terminal Renaissance
The Women’s List Launches Third Annual Search for
Scripts
Written
by Women
hollywoodreporter.com
·
16m
⭐
Awesome lists
‘The
Lincoln
Lawyer
’ Season 4 Debuts With 9 Million Views in Four Days
variety.com
·
17m
🎬
Video Codecs
Self-esteem
may predict who
pursues
leadership roles
phys.org
·
8m
🎯
Threat Hunting
Amoako
Boafo
Weaves His Portraiture into an Architectural Replica of His Accra Studio
thisiscolossal.com
·
25m
🎭
Cinema Architecture
Loading...
Loading more...
« Page 3
•
Page 5 »
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