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
≤ Order Theory
Posets, Monotonicity, Continuity, Domain Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5433
posts in
14.5
ms
Monoidal categories graded by partial
commutative
monoids
arxiv.org
·
1d
➡️
Category Theory
A comprehensive database of
categories
and their
properties
catdat.app
·
5h
·
Discuss:
Hacker News
➡️
Category Theory
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
6h
🔍
Formal Verification
A Dynamic Survey of Fuzzy, Intuitionistic Fuzzy,
Neutrosophic
,
Plithogenic
, and Extensional Sets
arxiv.org
·
1d
🔁
Fixpoint Theory
Contraposition
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
📝
Term Rewriting
workflow
loops
for Claude Code, Codex, and
OpenCode
rjcorwin.github.io
·
3h
·
Discuss:
Hacker News
🔧
ppx
Less-relevant results
Demystifying
and Improving Lazy Promotion in Cache
Eviction
pdl.cmu.edu
·
2d
·
Discuss:
r/programming
⚡
Process Calculi
How to not do decision theory
backwards
lesswrong.com
·
1d
🔢
Philosophy of Mathematics
Vector
, the Journal of the British
APL
Association
web.archive.org
·
10h
·
Discuss:
Hacker News
🧮
Lambda Calculus
notque/ai-overkill
: the ai system i use, just point your ai system to it and ask it if anything is useful to
incorporate
into yours.
github.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
The
Paxos
algorithm, when
presented
in plain English, is very simple
mydistributed.systems
·
1d
·
Discuss:
Lobsters
,
r/programming
⏱️
Computational Complexity
An alternative
derivation
of
Shannon
entropy.
iczelia.net
·
7h
·
Discuss:
Hacker News
🧮
Lambda Calculus
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
7h
📺
Vintage Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
3h
🖥️
KVM
AirPods
Max 2 are here, but rumors say a bigger
overhaul
might be coming
9to5mac.com
·
14h
🍎
Apple
New randomized, double-blind,
placebo-controlled
trial suggests CBD (
cannabidiol
) oil could improve certain social behaviors and lower anxiety in autistic child...
psypost.org
·
7h
🔠
Type-Level Programming
Privacy Review for
Non-Maniacs
usenix.org
·
10h
🛡️
Privacy Engineering
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
8h
📺
Vintage Apple
I wrote a
concrete
proposal for how search should work
differently
, with code and an interactive prototype
joostboer.com
·
2d
·
Discuss:
r/programming
🌐
ActivityPub
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