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
🧮 Theoretical Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16907
posts in
349.8
ms
Codes for
Metastability-Containing
Addition
arxiv.org
·
1d
🌍
Topological Codes
The First Known Problem That Is FPT with Respect to Node
Scanwidth
but Not
Treewidth
arxiv.org
·
1d
🧮
Kolmogorov Complexity
When cost models hit the wall
clock
futhark-lang.org
·
6d
📼
Tape Combinators
Automatic
Programming
notes.billmill.org
·
5d
⚡
Proof Automation
OSTEP
Chapters
6,7
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Blogger
⚡
CPU Microarchitecture
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
2d
·
Discuss:
DEV
⚡
Incremental Computation
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
4d
·
Discuss:
DEV
🎯
Performance Proofs
AL,
Logical
mathhombre.blogspot.com
·
5d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Automatic
Programming
Returns
cyber-omelette.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Archaeology
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🦀
Rust Verification
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🔗
Functional Compilers
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
WASM Runtime
Meta's internal
memo
signals AI comeback after
rocky
year
the-decoder.com
·
5d
🏴
Scottish Computing
Economics
Puzzle Leads to a New Understanding of a
Fundamental
Law of Physics
caltech.edu
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🎯
Performance Proofs
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
5d
💻
Programming languages
C Isn't A
Programming
Language
Anymore
faultlore.com
·
4d
·
Discuss:
Hacker News
🔩
Systems Programming
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
6d
🔗
Lisp
The Only Thing Standing Between
Humanity
and AI
Apocalypse
Is … Claude?
wired.com
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Loading...
Loading more...
« Page 7
•
Page 9 »
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