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
16815
posts in
1.01
s
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
🔮
Proof Search
Stop the
Flip-Flop
: Context-Preserving Verification for Fast
Revocable
Diffusion Decoding
arxiv.org
·
1d
✅
Verification Codecs
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
4d
·
Discuss:
DEV
🎯
Performance Proofs
Hello Edge: Keyword
Spotting
on
Microcontrollers
dev.to
·
3d
·
Discuss:
DEV
🔢
Bitwise Algorithms
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
6d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
outer
measure in
nLab
ncatlab.org
·
5d
🔢
Denotational Semantics
AL,
Logical
mathhombre.blogspot.com
·
5d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Surgery for quantum bits: Bit-flip errors
corrected
during
superconducting
qubit operations
phys.org
·
4d
⚛️
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
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
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust Verification
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🔗
Functional Compilers
Agent4Agent
: Using a
Jailbroken
Gemini to Make Opus 4.6 Architect a Kinetic Kill Vehicle
recursion.wtf
·
4d
·
Discuss:
Hacker News
⚙️
Cassette Mechanics
Type
Variance
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔍
RegEx Engines
Eclipse
: A
Hexagonal
Strategy Game
hermandaniel.com
·
4d
·
Discuss:
Hacker News
🎯
Emulation Accuracy
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
6d
⚙️
Proof Engineering
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