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
🔢 Discrete Math
Logic, Proofs, Set Theory, Graph Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80601
posts in
663.7
ms
[2602.08851]
Koszul
duality for algebras over
infinity-operads
arxiv.org
·
3h
🧩
Algorithms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
12h
🤖
Automation
Mapping
Dissent
theschoolofmakingthinking.com
·
6d
📝
Note Taking
Counter
intelligence
news.mit.edu
·
6d
💻
Programming
The Quiet
Math
Revolution: How a $150 Million Bet Signals AI’s Next
Frontier
Beyond Language Models
webpronews.com
·
6d
🤖
Automation
The Zen of the
Bronze
Layer: Embracing
Schema
Chaos
dev.to
·
4d
·
Discuss:
DEV
📝
Note Taking
⚖️ Beginner-Friendly Guide 'Minimum
Removals
to Balance
Array
' - Problem 3634 (C++, Python, JavaScript)
dev.to
·
4d
·
Discuss:
DEV
🧩
Algorithms
Digging into
UUID
,
ULID
, and implementing my own
atlas9.dev
·
6d
·
Discuss:
Hacker News
🧩
Algorithms
Fragments
: February 4
martinfowler.com
·
5d
📝
Note Taking
CAP
Theorem
Explained, Part 1: The Problem With “Pick Two”
hackernoon.com
·
6d
🧩
Algorithms
**Abstract:** Enhancing the efficiency of legal professionals requires automated tools capable of rapidly
synthesizing
information from vast legal
repositori
...
freederia.com
·
4d
🤖
Automation
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
4d
🧩
Algorithms
How to Become an AI
Engineer
in 2026: A Self-Study
Roadmap
kdnuggets.com
·
6d
🤖
Automation
Chromosome-level genome assembly and annotation of the critically endangered
Siberian
crane (
Leucogeranus
leucogeranus
)
nature.com
·
3d
🧩
Algorithms
Zero-Knowledge
Proofs
: Powering
Web3
Privacy and Trust
future.forem.com
·
6d
·
Discuss:
DEV
🧩
Algorithms
Show HN:
FalseWork
– Extract
transferable
structural mechanisms from works
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🧩
Algorithms
outer
measure in
nLab
ncatlab.org
·
6d
🧩
Algorithms
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
6d
💻
Programming
About
kanamastery.com
·
6d
🌿
Git
suzgunmirac/belief-in-the-machine
: Belief in the Machine: Investigating
Epistemological
Blind Spots of Language Models
github.com
·
6d
📝
Note Taking
Loading...
Loading more...
« Page 13
•
Page 15 »
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