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
🎯 Fixed Point Theory
Tarski, Knaster, Recursion Schemes, Domain Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9268
posts in
1.07
s
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
·
1d
🔠
Type-Level Programming
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
λ
Functional Programming
Ordinals
and recursively defined functions on the
reals
arxiv.org
·
2d
λ
Functional Programming
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
10h
🧩
Parser Combinators
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
19h
·
Discuss:
r/programming
🔢
Algebraic Data Types
Functional
Programming
in an LLM World
notes.druchan.com
·
5h
·
Discuss:
Hacker News
λ
Functional Programming
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
5h
·
Discuss:
Hacker News
🏗️
Dune
C-- Home
cs.tufts.edu
·
1d
·
Discuss:
Lobsters
⚙️
Compiler Design
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
3d
·
Discuss:
DEV
🧠
Automated Reasoning
Row
Polymorphism
without the
Jargon
(2020)
jadon.io
·
19m
·
Discuss:
Hacker News
🔢
Algebraic Data Types
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
1d
🔢
Philosophy of Mathematics
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
📦
Module Systems
Three
Utilities
Problem
en.wikipedia.org
·
8h
·
Discuss:
Hacker News
🕸️
Graph Theory
So we have any for
interface
{} and
nil
reddit.com
·
3d
·
Discuss:
r/golang
❓
Existential Types
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
1d
·
Discuss:
Hacker News
🧩
Parser Combinators
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
2d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
20h
·
Discuss:
Hacker News
➡️
Category Theory
cargo-selector
i.redd.it
·
1h
📦
OPAM
Logic
That
Patterns
Find
udara.io
·
5h
·
Discuss:
Hacker News
📚
Automata Learning
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
