Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
145091
posts in
26.3
ms
Borel
and
shifted
category O
arxiv.org
·
7h
🔍
Type Inference
extended C*-
algebra
in
nLab
ncatlab.org
·
17h
📏
Linear Types
[2602.21330] Classifying anima of
condensed
$
infty
$-categories of points
arxiv.org
·
4d
📐
Type Theory
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
14h
·
Discuss:
Hacker News
λ
Functional Programming
Differential
Logic
• 15
inquiryintoinquiry.com
·
18h
⏰
Lamport Clocks
Tsonnet
#31 - Taking back control of
equality
dev.to
·
16h
·
Discuss:
DEV
📦
Serde
Fixpoints
to think
clearly
blog.yellowflash.in
·
2h
·
Discuss:
Hacker News
📊
Dynamic Programming
Neat
representation of
polymorphic
data types
gist.github.com
·
4h
·
Discuss:
r/C_Programming
📏
Linear Types
Coding and Validation for Breadth and
Desirability
of 1,214 English
Adjectives
nature.com
·
6h
📝
NLP
Hyperfunctions
math.columbia.edu
·
20h
λ
Functional Programming
Online
Philosophy
Resources
Weekly Update
dailynous.com
·
1d
🤔
Philosophy
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Transformers Can Overcome the Curse of
Dimensionality
: A
Theoretical
Study from an Approximation Perspective
jmlr.org
·
1d
🤖
Transformers
Monuses
and
Heaps
doisinkidney.com
·
12h
🌳
Data Structures
State of
Haskell
2025 results
discourse.haskell.org
·
16h
·
Discuss:
Lobsters
,
r/programming
📐
Type Theory
Integral
theory
en.wikipedia.org
·
2d
👁️
Phenomenology
On This Day in
Math
pballew.blogspot.com
·
6h
·
Discuss:
Blogger
🔢
Homomorphic Encryption
everything is
connected
to something
velcro-city.co.uk
·
3h
📵
Digital Minimalism
The
Geometry
of Attention: One Space, Two
Operators
pub.towardsai.net
·
1d
🧮
Embeddings
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
19h
✓
Formal Verification
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