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
28211
posts in
15.9
ms
Approximation
Game
lcamtuf.substack.com
·
22h
·
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
·
20h
🌳
Huffman Trees
The
troubles
with
Boolean
inversion in Python
lwn.net
·
1d
🔲
Proof Irrelevance
Differential
Logic
• 13
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
Accuracy
vs. Speed in Local LLMs: Finding Your
Sweet
Spot
grigio.org
·
15h
·
Discuss:
Hacker News
💻
Local LLMs
On This Day in
Math
pballew.blogspot.com
·
19h
·
Discuss:
Blogger
📐
Mathematical Art
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
An
Introduction
to
Lean
4
uv.es
·
13h
⚔️
Lean Tactics
Perfect 10?
seekingalpha.com
·
19h
🎯
Arithmetic Coding Theory
Gödel
,
slowly
…
logicmatters.net
·
7h
λ
Lambda Formalization
Verification
Is
Easier
Than Discovery
chatbotkit.com
·
2h
·
Discuss:
Hacker News
🛡️
Archive Verification
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
Projects
morling.dev
·
1d
🔄
Reproducible Builds
Verifying
accuracy of
PTP
synchronization
blog.meinbergglobal.com
·
3d
⏱️
SMPTE Timecode
Show HN:
PyTorch/FEniCSx
pipeline for
elastocaloric
metamaterial optimization
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🌐
Computational Topology
Discovering
a new class of
primes
fur the fun of it
nibblestew.blogspot.com
·
2d
·
Discuss:
nibblestew.blogspot.com
🔱
Galois Cryptography
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