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
17849
posts in
639.1
ms
ElliCE
: Efficient and Provably Robust Algorithmic Recourse via the
Rashomon
Sets
arxiv.org
·
14h
🧮
SMT Solvers
Codes for
Metastability-Containing
Addition
arxiv.org
·
1d
🌍
Topological Codes
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
5d
·
Discuss:
DEV
🎯
Performance Proofs
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
6d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
outer
measure in
nLab
ncatlab.org
·
6d
🔢
Denotational Semantics
AL,
Logical
mathhombre.blogspot.com
·
5d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🦀
Rusty Databases
Surgery for quantum bits: Bit-flip errors
corrected
during
superconducting
qubit operations
phys.org
·
5d
⚛️
Quantum Error Correction
Robust
Majorana
Qubit Encoding in Disordered Two‑Dimensional Topological
Superconductors
Using Adaptive Surface Codes — ### Abstract This study present...
freederia.com
·
5d
⚛️
Quantum Error Correction
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust Verification
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🐚
Shell Monads
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
4d
·
Discuss:
Hacker News
🎯
Gradual Typing
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
·
4d
·
Discuss:
Hacker News
🧠
Intelligence Compression
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🔗
Functional Compilers
Type
Variance
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Agent4Agent
: Using a
Jailbroken
Gemini to Make Opus 4.6 Architect a Kinetic Kill Vehicle
recursion.wtf
·
4d
·
Discuss:
Hacker News
⚙️
Cassette Mechanics
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔍
RegEx Engines
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Eclipse
: A
Hexagonal
Strategy Game
hermandaniel.com
·
4d
·
Discuss:
Hacker News
🎯
Emulation Accuracy
Loading...
Loading more...
« Page 6
•
Page 8 »
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