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
Functors, Monads, Morphisms, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
101541
posts in
865.6
ms
Monoidal
categorifications
on twisted product of flag varieties
arxiv.org
·
21h
📐
Type Theory
Category
Theory, AI and Jobs
deadneurons.substack.com
·
11h
·
Discuss:
Substack
⚓
Anchors
[2602.09674] A
homotopical
Dold-Kan correspondence for
Joyal
's category $Θ$ and other test categories
arxiv.org
·
2d
📐
Type Theory
Programming
languages
mothcodes.bearblog.dev
·
15h
🔬
Static Analysis
The
Univalence
Principle
golem.ph.utexas.edu
·
2d
📐
Type Theory
Associative
Methods
dev.to
·
1d
·
Discuss:
DEV
#️⃣
Perfect Hashing
From
Chunks
to Connections: The
Intuitive
Guide to Graph RAG
pub.towardsai.net
·
21h
🕸️
GraphBLAS
Swift
Concurrency
from Zero to
Hero
| Reading List
swiftology.io
·
2h
🔄
Concurrency
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
13h
🧮
Vector Databases
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
1d
💫
Effect Systems
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
15h
🔢
Homomorphic Encryption
Knotty
Problems
alanweiss.com
·
9h
🦀
Rust
Discovered
or
invented
?
cameroncounts.wordpress.com
·
16h
🔢
Homomorphic Encryption
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
📝
Parsing
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
11h
·
Discuss:
freedommathdance.blogspot.com
🔍
Type Inference
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
✓
Formal Verification
Scientific
Computing in Rust
Monthly
#15
scientificcomputing.rs
·
14h
⚡
Ruff
Cantor
Normal
Form
infinitelymore.xyz
·
1d
🔢
Homomorphic Encryption
Differential
Logic
• 6
inquiryintoinquiry.com
·
1d
🔍
Type Inference
Structure
by
exclusion
nature.com
·
9h
🔢
Homomorphic Encryption
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