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, Abstract Algebra, Mathematical Foundations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
111888
posts in
630.6
ms
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🧮
Functional Programming
Categorical
Flow
Maps
arxiv.org
·
1d
🧮
Functional Programming
Charlie
McAvoy
’s Olympic diary: On the Quad God, a
Latvian
apology and my family
nytimes.com
·
5h
🦀
Rust
Houses
and
Utilities
pballew.blogspot.com
·
12h
·
Discuss:
Blogger
🧮
Functional Programming
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
1d
🧮
Functional Programming
Chained
Assignment in Python
Bytecode
loriculus.org
·
11h
·
Discuss:
Hacker News
🌳
Elm
Understanding the Go
Compiler
: The
Linker
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🧮
Functional Programming
Data Engineering for Large Models:
Architecture
,
Algorithms
& Projects
github.com
·
17h
·
Discuss:
Hacker News
🧮
Functional Programming
Differential
Logic
• 6
inquiryintoinquiry.com
·
2d
🧮
Functional Programming
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
1d
·
Discuss:
freedommathdance.blogspot.com
🧮
Functional Programming
Finding
and
trusting
the meaning
forher.casa
·
1h
🧮
Functional Programming
caecus
en.wiktionary.org
·
20h
📐
Haskell
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
3d
·
Discuss:
Hacker News
🧮
Functional Programming
Lorentzian
Logic: Solving Unknown Cluster Numbers via
Differentiable
Graph Entropy
hackernoon.com
·
16h
🧮
Functional Programming
Discovered
or
invented
?
cameroncounts.wordpress.com
·
1d
🧮
Functional Programming
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
1d
·
Discuss:
Substack
🌳
Elm
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
5d
📐
Haskell
What's
cooking
with
Pystd
, the experimental C++ standard library?
nibblestew.blogspot.com
·
1h
·
Discuss:
nibblestew.blogspot.com
🧮
Functional Programming
read
theory
bsky.app
·
1d
·
Discuss:
Bluesky
🧮
Functional Programming
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
1d
·
Discuss:
Hacker News
🧮
Functional Programming
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