Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Interval Arithmetic
Numerical Analysis, Verified Computing, Error Bounds, Precision
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28219
posts in
15.4
ms
Approximation
Game
lcamtuf.substack.com
·
1d
·
Discuss:
Substack
📐
Error Bounds
Certified
Circuits: Stability Guarantees for
Mechanistic
Circuits
arxiv.org
·
1d
⚡
Circuit Verification
Fast
nonbinary
arithmetic
fredrikj.net
·
3d
🔢
Bitwise Algorithms
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
22h
🌳
Huffman Trees
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
1h
·
Discuss:
Hacker News
🧪
Binary Fuzzing
The
troubles
with
Boolean
inversion in Python
lwn.net
·
1d
🔲
Proof Irrelevance
Linkage
11011110.github.io
·
8h
🕳️
Persistent Homology
Differential
Logic
• 13
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
1d
🧠
Lisp Dialects
Mitigating
Legibility
Tax with Decoupled
Prover-Verifier
Games
arxiv.org
·
1d
🛡️
Proof-Carrying Data
Super
Basic
SDFs
luten.dev
·
19h
🔬
Floppy imaging
On This Day in
Math
pballew.blogspot.com
·
20h
·
Discuss:
Blogger
📐
Mathematical Art
An
Introduction
to
Lean
4
uv.es
·
15h
⚔️
Lean Tactics
Accuracy
vs. Speed in Local LLMs: Finding Your
Sweet
Spot
grigio.org
·
17h
·
Discuss:
Hacker News
💻
Local LLMs
Perfect 10?
seekingalpha.com
·
21h
🎯
Arithmetic Coding Theory
Gödel
,
slowly
…
logicmatters.net
·
9h
λ
Lambda Formalization
Dictionary
of Algorithms and Data
Structures
xlinux.nist.gov
·
3d
·
Discuss:
Lobsters
🌳
Trie Structures
What does it mean to compute? Framework
maps
hidden
computations
running inside natural dynamic systems
phys.org
·
2d
🔲
Cellular Automata
Verifying
accuracy of
PTP
synchronization
blog.meinbergglobal.com
·
3d
⏱️
SMPTE Timecode
Verification
Is
Easier
Than Discovery
chatbotkit.com
·
4h
·
Discuss:
Hacker News
🛡️
Archive Verification
Loading...
Loading more...
Page 2 »
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