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, Mathematical Structures, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5283
posts in
15.3
ms
Irreducibility
of Semigroup
Morphisms
arxiv.org
·
1d
🧮
Lambda Calculus
Vector
, the Journal of the British
APL
Association
web.archive.org
·
4h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
Topo-R1
: Detecting Topological
Anomalies
via Vision-Language Models
arxiv.org
·
2d
🕸️
Graph Theory
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
5h
·
Discuss:
Hacker News
📐
Hoare Logic
Zelph
is a
logic
programming system, but not in the traditional sense
acrion.github.io
·
1d
·
Discuss:
Hacker News
📝
Term Rewriting
Good
Haskell
Libraries
jackkelly.name
·
2d
·
Discuss:
Lobsters
🏢
Jane Street Core
Ask HN: I built a
geometric
reasoning
engine
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🧩
Separation Logic
Loft – a
statically
typed language where null
propagates
instead of crashes
github.com
·
14h
·
Discuss:
Hacker News
🎯
GADT
Contextual Bohmian Quantum Field Theories: A
Hylomorphic
Approach to
QFT
link.springer.com
·
9h
·
Discuss:
Hacker News
🔢
Philosophy of Mathematics
Less-relevant results
ifttt-lint
i.redd.it
·
1d
🔤
Kleene Algebra
<
h1
>Rob
Pike
's 5 Rules of Programming</
h1
>
cs.unc.edu
·
14h
·
Discuss:
Lobsters
,
Hacker News
🧮
Lean4
Demystifying
and Improving Lazy Promotion in Cache
Eviction
pdl.cmu.edu
·
2d
·
Discuss:
r/programming
⚡
Process Calculi
Why Testing is Hard and How to Fix it [audio]
signalsandthreads.com
·
4h
·
Discuss:
Hacker News
🎮
Verification Games
(I am
confused
about) Non-linear
utilitarian
scaling
lesswrong.com
·
3d
🔀
Brzozowski Derivatives
Mamba-3
together.ai
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
📚
Automata Learning
iPhone 18
rumors
say Pro models will get exclusive camera upgrade
9to5mac.com
·
7h
🍎
Apple
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
2h
📺
Vintage Apple
The
joy
of
reading
the code
pdole.ga
·
1d
·
Discuss:
Lobsters
🎯
GADT
Mapping
the Privacy
Workforce
in the AI Era
usenix.org
·
4h
🛡️
Privacy Engineering
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
