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
🧩 Category Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112322
posts in
297.6
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🔐
Cryptography
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔐
Cryptography
Proving
What's Possible
buttondown.com
·
1d
🔐
Cryptography
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
3d
🔐
Cryptography
Dada
|>
Structures
|> Algorithms
oskipa.github.io
·
3d
🔐
Cryptography
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
2d
·
Discuss:
Hacker News
🔐
Cryptography
Python to
Wisp
: The Lisp That Stole Python's
Indentation
dev.to
·
23h
·
Discuss:
DEV
⚗️
Elixir
Ackman
's hedge fund
Pershing
Square bets on Meta, exits Hilton
finance.yahoo.com
·
59m
🔐
Cryptography
Endomorphisms
via
splittings
eprint.iacr.org
·
3d
🔐
Cryptography
Making
Gender
Salient
cambridge.org
·
2d
🦀
Rust
EMERSON
--"CIRCLES"
hypertext
archive.vcu.edu
·
2d
🔐
Cryptography
(Re)
Discovering
Natural
Laws
lesswrong.com
·
10h
🔐
Cryptography
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
1d
🦀
Rust
NCAA Tournament
Bracket
Watch: Can Duke,
UConn
lose their No. 1 seeds?
nytimes.com
·
2d
🦀
Rust
Things
Organized
Neatly
kk.org
·
2d
🔐
Cryptography
Literary
Theory
theatlantic.com
·
4d
🦀
Rust
(a → a) → a
kivikakk.ee
·
5d
🔐
Cryptography
Understanding the
Archetypes
involving the eight functions of type (
Beebe
model)
personalitycafe.com
·
4d
🔐
Cryptography
Measure
Twice
, Prompt Once
ignasibosch.com
·
2d
·
Discuss:
DEV
🔐
Cryptography
Mortgage
rates drop to new three-year low
finance.yahoo.com
·
59m
🔐
Cryptography
Sign up or log in to see more results
Sign Up
Login
« 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