Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⊢ Symbolic Logic
Formal Systems, Proof Theory, Metamathematics, Logical Foundations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81199
posts in
334.9
ms
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
💱
Political Economy
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
1d
🤖
Critical Theory of AI
Graph
algebra
en.wikipedia.org
·
15h
🤖
Critical Theory of AI
Universal
Turing
Machine
universalturingmachine.org
·
5h
🌍
Postcolonial Computing
Formal
Methods
Practice and Theory
adacore.com
·
5h
·
Discuss:
Hacker News
🤖
Critical Theory of AI
intersection
type in
nLab
ncatlab.org
·
6h
🔄
Cybernetics
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
14h
🔄
Cybernetics
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
📡
Information Theory
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
⚡
Dialectical Materialism
Concludia
concludia.org
·
1d
🏛
Frankfurt School
Domain
Specific
Languages
martinfowler.com
·
5h
🌍
Postcolonial Computing
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
23h
💱
Political Economy
Trapped Between Pitch,
Disclaimer
, and
Confession
gilpignol.substack.com
·
14h
·
Discuss:
Substack
⚡
Dialectical Materialism
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
5h
·
Discuss:
Hacker News
📡
Information Theory
Making
Waffles
with Group
Theory
hmpcabral.com
·
1d
·
Discuss:
Hacker News
🪞
Lacan
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
18h
🔄
Cybernetics
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
44m
·
Discuss:
Hacker News
📡
Information Theory
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
23h
🤖
Critical Theory of AI
Introduction
msgvault.io
·
9h
🌍
Postcolonial Computing
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
3h
·
Discuss:
Hacker News
⚡
Dialectical Materialism
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