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, Computability, Gödel, Formal Systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3669
posts in
12.4
ms
Gödel
,
Escher
, Bach, Wallace: The "O's, D's and P's" in Infinite Jest
🧠
Polymath
chiply.dev
·
6d
·
Hacker News
Why Math’s Final
Axiom
Proved
So Controversial
📊
Mathematics
quantamagazine.org
·
1d
·
Hacker News
Numbers
No Machine Can Reach
📊
Mathematics
darkomulej.substack.com
·
6h
·
Substack
Issue 649
🔢
Homomorphic Encryption
datascienceweekly.substack.com
·
4h
·
Substack
Axiomism
: A Developer's
Perspective
on the Foundation of Reality
🌐
Complex Systems
github.com
·
1d
·
Hacker News
Wakil
Ahmad Hakimi, The
Impossibility
of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure
🌐
Complex Systems
philarchive.org
·
13h
·
Hacker News
The
monstrous
number
sequences
that break the rules of mathematics
📊
Mathematics
newscientist.com
·
6d
·
Hacker News
Soundness
Failures in
LaBRADOR
Implementations from NTT -Friendly Rings
✅
Formal Verification
blog.zksecurity.xyz
·
18h
·
Hacker News
,
r/crypto
Vector
, the Journal of the British
APL
Association
⚛️
Quantum Computing
web.archive.org
·
1d
·
Hacker News
Evaluative
AI and Semantic
Topology
🌐
Complex Systems
gsnv.substack.com
·
5h
·
Substack
Constraints
That Compute: A Unified Framework for Efficient Intelligence from Prime
Harmonics
to Latent Reasoning
🔢
Homomorphic Encryption
zenodo.org
·
9h
·
Hacker News
The Mutable Value Semantics (
MVS
): A
Non-Superficial
Study
🔢
Homomorphic Encryption
federicobruzzone.github.io
·
4h
·
Hacker News
Hyperstatistics
⚛️
Physics
arxiv.org
·
1d
·
Hacker News
Self-Reference
🧬
Cognitive Science
en.wikipedia.org
·
6d
·
Hacker News
Forging
ZK
proofs to mint arbitrary
DUSK
tokens
✅
Formal Verification
osec.io
·
6h
·
Hacker News
Why Law Is
Law-Shaped
🔢
Homomorphic Encryption
lawvm.org
·
1d
·
Hacker News
Show HN: Just
Math
It. Learn
math
interactively
📊
Mathematics
justmathit.com
·
10h
·
Hacker News
What
ORMs
have
taught
me: just learn SQL (2014)
✅
Formal Verification
wozniak.ca
·
4h
·
Hacker News
Understanding systems
🌐
Complex Systems
entropicthoughts.com
·
3d
·
Hacker News
From
Convergence
to Confidence: Push-Button Verification for
RDTs
✅
Formal Verification
kcsrk.info
·
2d
·
Hacker News
,
Hacker News
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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