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
📐 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
16767
posts in
279.9
ms
Balancing
Inexactness
in Mixed Precision Matrix
Computations
arxiv.org
·
5d
📐
Error Bounds
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
🔮
Proof Search
Convolutional
Neural Networks using
Logarithmic
Data Representation
dev.to
·
2d
·
Discuss:
DEV
🧠
Machine Learning
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
I Automated a $5,000
Forensic
Accounting
Job with Python (and why they hate me for it)
medium.com
·
3d
·
Discuss:
Hacker News
🧬
PostgreSQL Forensics
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
3d
·
Discuss:
Hacker News
⏰
Time Crystals
A New AI Math Startup Just
Cracked
4 Previously
Unsolved
Problems
wired.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
,
r/technews
📐
Mathematical Art
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
5d
🔗
Topological Sorting
EBM
vs. LLMs: Our
Kona
EBM
a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com
·
4d
·
Discuss:
Hacker News
🧮
SMT Solvers
Making Your Own
Examples
Is One of the Most Powerful
Math
Skills
kidswholovemath.substack.com
·
4d
·
Discuss:
Substack
📚
Proof Pedagogy
Fibonacci
number
certificates
johndcook.com
·
5d
·
Discuss:
Hacker News
✅
Document Verification
When cost models hit the wall
clock
futhark-lang.org
·
6d
📼
Tape Combinators
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
6d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
5d
·
Discuss:
Lobsters
,
Hacker News
🌳
Archive Merkle Trees
Solving NYT
Pips
with
DLX
github.com
·
3d
·
Discuss:
Hacker News
✅
Format Verification
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
3d
⚛️
Quantum Channels
Boundary
Engineering
cabreza.substack.com
·
3d
·
Discuss:
Substack
🛡️
Error Boundaries
How to
effectively
write
quality code with AI
heidenstedt.org
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Matrices
and Magic
Squares
pballew.blogspot.com
·
5d
·
Discuss:
Blogger
📐
Linear Algebra
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
📼
Tape Combinators
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