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
∀ Mathematical Logic
Proof Theory, Model Theory, Gödel
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7557
posts in
11.9
ms
Differential
Logic
• 13
inquiryintoinquiry.com
·
23h
🤖
Automated Reasoning
Representation Theorems for Cumulative
Propositional
Dependence
Logics
arxiv.org
·
2d
♾️
Set Theory
Coherent
Care
lesswrong.com
·
18h
♟️
Game Theory
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
23h
·
Discuss:
DEV
🔗
Concatenative Languages
Differential
Logic
• 12
inquiryintoinquiry.com
·
2d
♾️
Set Theory
The logic of KM belief update is
contained
in the logic of
AGM
belief revision
arxiv.org
·
1d
⚡
Speculative Decoding
SHELL-AGENT: A
Dynamical
Systems Framework for Symmetry Discovery with Empirical Validation in
Propositional
Logic
hal.science
·
16h
·
Discuss:
Hacker News
🤖
Game AI
An
Introduction
to
Lean
4
uv.es
·
4h
🤖
Automated Reasoning
RKGF
Loop
mdh.bearblog.dev
·
13h
🤖
Automated Reasoning
Schelling
Goodness
, and Shared Morality as a Goal
lesswrong.com
·
11h
♟️
Game Theory
[
Python/Sage
]
Extended
Hidden Number Problem
leetarxiv.substack.com
·
1d
·
Discuss:
r/programming
🔐
Cryptography
Determining
those Boolean functions whose restrictions to affine spaces are
plateaued
eprint.iacr.org
·
3d
🧮
Complexity Theory
Learn you
Galois
Fields
for Great Good
xorvoid.com
·
18h
🔷
Category Theory
Solving
hard
problems
marcg.net
·
1d
🧮
Complexity Theory
The Potential of
CoT
for Reasoning: A Closer Look at
Trace
Dynamics
machinelearning.apple.com
·
4d
🤖
Automated Reasoning
Show HN: Marcus –AI math
tutor
that
guides
you to answers instead of giving them
marcusmath.com
·
2d
·
Discuss:
Hacker News
📈
Optimization
bntre/visual-lambda
: Visual environment for manipulation the lambda
calculus
expressions
github.com
·
9h
·
Discuss:
Hacker News
🔗
Concatenative Languages
It’s Not Magic, It’s
Metapragmatic
:
Memetics
Through the Lens of Semiotic Treachery
sublius.substack.com
·
2d
·
Discuss:
Substack
🕸️
Network Effects
Orion
Nebula
in Texas
cloudynights.com
·
1h
✨
Computer Graphics
Lazy
BDDs
with eager literal
intersections
elixir-lang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🤖
Automated Reasoning
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