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
16756
posts in
352.7
ms
SCONE
: A Practical,
Constraint-Aware
Plug-in for Latent Encoding in Learned DNA Storage
arxiv.org
·
1d
🧠
Learned Compression
Hermitian
Self-dual Generalized
Reed-Solomon
Codes
arxiv.org
·
1d
🔧
Reed-Solomon Decoders
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
5d
·
Discuss:
Substack
✨
Effect Handlers
Fibonacci
number
certificates
johndcook.com
·
4d
·
Discuss:
Hacker News
✅
Document Verification
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
5d
·
Discuss:
Hacker News
⚡
Compression Hardware
My Take on
Vibe
Coding
cedardb.com
·
6d
🔗
Concatenative Programming
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust Verification
The
Classifier
Cage
dev.to
·
4d
·
Discuss:
DEV
🎯
Threat Hunting
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🔗
Concatenative Programming
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
·
2h
·
Discuss:
Hacker News
⚡
Proof Automation
EFTA00400459
has been cracked,
DBC12.pdf
liberated
neosmart.net
·
2d
·
Discuss:
Hacker News
👁️
Constructive OCR
Films Change the World to shine a light on the
responsibilities
and consequences of documentary
filmmaking
cineuropa.org
·
45m
🎞️
Video Archives
EU lawmakers agree on migration policies
easing
deportations
, drawing criticism
the-independent.com
·
43m
⚖️
Legal Compliance
Mikaela
Shiffrin
’s Winter Olympics drought continues after slalom slump in team event
theguardian.com
·
35m
🔐
Systems Hardening
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