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
♻️ Recursion Schemes
Catamorphisms, Anamorphisms, Hylomorphisms, Fixed Points
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112171
posts in
354.7
ms
Monads,
Applicatives
&
Functors
slicker.me
·
1h
➡️
Arrows
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔗
Parser Combinators
Self-Similar Inverse
Cascade
from Generalized
Symmetries
link.aps.org
·
6h
🌪️
Chaos Engineering
Monoidal
categorifications
on twisted product of flag varieties
arxiv.org
·
1d
➡️
Arrows
Department of Computer Science and Technology – Course
pages
2017–18:
Computation
Theory
cl.cam.ac.uk
·
8h
➡️
Arrows
Endomorphisms
via
splittings
eprint.iacr.org
·
4d
🧗
climbing
Introduction
faiface.github.io
·
3h
🔗
Parser Combinators
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
1d
➡️
Arrows
Houses
and
Utilities
pballew.blogspot.com
·
12h
·
Discuss:
Blogger
💼
Portfolio Theory
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
1d
·
Discuss:
freedommathdance.blogspot.com
🎲
Property-Based Testing
The
Univalence
Principle
golem.ph.utexas.edu
·
3d
➡️
Arrows
Differential
Logic
• 6
inquiryintoinquiry.com
·
2d
🔲
Paredit
The missing
call-assign
operator
kevincox.ca
·
1d
·
Discuss:
Hacker News
😴
Lazy Evaluation
models have some pretty
funny
attractor
states
lesswrong.com
·
1d
🌪️
Chaos Engineering
A Proof of the
Collatz
Conjecture
github.com
·
2d
·
Discuss:
Hacker News
➡️
Arrows
Designing
Polynomials
Using the Sum of
Gradients
at the Roots
pub.towardsai.net
·
2d
➡️
Arrows
Cantor
Normal
Form
infinitelymore.xyz
·
2d
➡️
Arrows
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🔵
Clojure
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔗
Parser Combinators
what is the vertical
categorification
of inverse
semigroups
bsky.app
·
4d
·
Discuss:
Bluesky
🔗
Parser Combinators
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