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
17851
posts in
234.5
ms
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
15h
🦀
Rust Verification
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
15h
✅
Formal Methods
When cost models hit the wall
clock
futhark-lang.org
·
6d
📼
Tape Combinators
OSTEP
Chapters
6,7
muratbuffalo.blogspot.com
·
5d
·
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
·
5d
·
Discuss:
DEV
🎯
Performance Proofs
AL,
Logical
mathhombre.blogspot.com
·
6d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
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
·
4d
·
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
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Software Engineering Is Back
blog.alaindichiappari.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Build Archaeology
The
Tipping
Point: The collective
awakening
to agentic programming
dimillian.medium.com
·
4d
·
Discuss:
Hacker News
🌍
Cultural Algorithms
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
Loading...
Loading more...
« Page 8
•
Page 10 »
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