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
82578
posts in
1.28
s
The
Leibniz
adjunction
in homotopy type theory, with an application to simplicial type theory
arxiv.org
·
4d
🔗
Parser Combinators
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Composition of
attractor
lattices
topos.institute
·
2d
🌪️
Chaos Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An
Elementary
Theory of the
Category
of Sets
golem.ph.utexas.edu
·
6d
💾
information theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Kolakoski
Sequence
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
➡️
Arrows
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Almost-trivial
theorems
blog.plover.com
·
6d
📐
Stochastic Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
On the
computability
of
cofinal
Fra\"iss\'e limits
arxiv.org
·
1d
➡️
Arrows
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Beta Release:
Predicated
Recursive
Descent
for Rust
wareya.wordpress.com
·
2d
·
Discuss:
Hacker News
🔗
Parser Combinators
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Understanding the
Monad
Design Pattern in
Kotlin
lasantha.org
·
4d
·
Discuss:
Hacker News
λ
Haskell
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
no-bullshit
introduction
to groups: Part 1.
iczelia.net
·
3d
·
Discuss:
Hacker News
λ
Haskell
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces Algorithmic Kernel Descent (
AKD
), a novel computational framework for exploring motivated
cohomology
within twisted motiv...
freederia.com
·
2d
🌲
Persistent Data Structures
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Haskell
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Understanding
Recursion
using the
Fibonacci
Sequence with Ruby
dev.to
·
6d
·
Discuss:
DEV
🎓
Scheme
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Challenge:
Explain
all of it
thalescircles.tumblr.com
·
3d
🔗
Parser Combinators
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lambda
cube
en.wikipedia.org
·
1d
·
Discuss:
Lobsters
➡️
Arrows
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Indecomposable
Ordinals
infinitelymore.xyz
·
2d
➡️
Arrows
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Unified Treatment of
Reachability
and
Indistinguishability
Properties: First-Order Logic with Overwhelming Truth
eprint.iacr.org
·
5d
🎲
Property-Based Testing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Uniqueness
of
Purifications
Is Equivalent to Haag Duality
link.aps.org
·
3d
📐
Stochastic Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Theory of
self-reproducing
automata : Von
Neumann
, John, 1903-1957 : Free Download, Borrow, and Streaming
archive.org
·
5d
😴
Lazy Evaluation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The path to
noncommutative
function
theory: a research story
noncommutativeanalysis.wordpress.com
·
11h
➡️
Arrows
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Some
Libraries
funcall.blogspot.com
·
2d
·
Discuss:
Blogger
🔮
Lisp Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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