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
♾️ Set Theory
Infinity, Ordinals, Cardinals, Forcing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7557
posts in
7.1
ms
Effectful
Toposes
and Their
Lawvere-Tierney
Topologies
arxiv.org
·
1d
🔷
Category Theory
Approximation
Game
lcamtuf.substack.com
·
13h
·
Discuss:
Substack
🤖
Automated Reasoning
Coherent
Care
lesswrong.com
·
18h
∀
Mathematical Logic
Differential
Logic
• 12
inquiryintoinquiry.com
·
2d
∀
Mathematical Logic
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
23h
·
Discuss:
DEV
🔗
Concatenative Languages
[2602.21330] Classifying anima of
condensed
$
infty
$-categories of points
arxiv.org
·
1d
🔷
Category Theory
[
Python/Sage
]
Extended
Hidden Number Problem
leetarxiv.substack.com
·
1d
·
Discuss:
r/programming
🔐
Cryptography
🔗 Three ways to
solve
problems
yellowduck.be
·
2h
✍️
Prompt Engineering
Data
Structures
and
Algorithms
Introduction
hellointerview.com
·
11h
⚙️
Algorithms
Discovering
human-understandable
concepts in
Steerling-8B
guidelabs.ai
·
17h
·
Discuss:
Hacker News
🤖
Machine Learning
Schelling
Goodness
, and Shared Morality as a Goal
lesswrong.com
·
11h
♟️
Game Theory
Learning Python, Day 8
blog.katemonkey.com
·
1d
🔗
Concatenative Languages
Determining
those Boolean functions whose restrictions to affine spaces are
plateaued
eprint.iacr.org
·
3d
🧮
Complexity Theory
SHELL-AGENT: A
Dynamical
Systems Framework for Symmetry Discovery with Empirical Validation in
Propositional
Logic
hal.science
·
16h
·
Discuss:
Hacker News
🤖
Game AI
KV
Caching
in LLMs: A Guide for Developers
machinelearningmastery.com
·
2d
⚡
Speculative Decoding
Lazy
BDDs
with eager literal
intersections
elixir-lang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🤖
Automated Reasoning
Orion
Nebula
in Texas
cloudynights.com
·
1h
✨
Computer Graphics
bntre/visual-lambda
: Visual environment for manipulation the lambda
calculus
expressions
github.com
·
9h
·
Discuss:
Hacker News
🔗
Concatenative Languages
Succinct
Arguments for
BatchQMA
and Friends under 6 Rounds
eprint.iacr.org
·
2d
⚛️
Quantum Computing
The Ultimate
GOTO
(The
Lambda
Papers)
research.scheme.org
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Languages
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