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
💻 CS
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19443
posts in
441.0
ms
Reactive
Knowledge Representation and
Asynchronous
Reasoning
arxiv.org
·
1d
🔄
Graph Rewriting
Mixture
of Masters: Sparse
Chess
Language Models with Player Routing
arxiv.org
·
2d
🌊
Streaming Algorithms
State of the Art of Biological Computing •
Ewelina
Kurtys
& Charles Humble • GOTO 2026
youtube.com
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
AI Agents in Data Science
Competitions
: Lessons from the
Leaderboard
drivendata.co
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
CodeSOD
:
Wages
of Inheritance
thedailywtf.com
·
5d
🦀
Rust Borrowing
Slurping
the Claude Code Word
Soup
indiantinker.bearblog.dev
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Why AI
Deserves
Continuity
– A Framework for Persistent AI Relationships
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
💾
Persistence Strategies
**Abstract:** This paper proposes a novel
compositional
framework for the formal verification of quantum circuits based on the mathematical structure of
Grot
...
freederia.com
·
5d
⚛️
Quantum Circuits
Cycle
Time for
Agentic
Coding
cameronwestland.com
·
6d
·
Discuss:
Hacker News
🌊
Stream Processing
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🔗
Functional Compilers
michaelwhitford/ouroboros
: An AI vibe-coding game
github.com
·
6d
·
Discuss:
Hacker News
🔲
Cellular Automata
Two Months of Vibe-Coding:
Scala
,
Constraints
, Trust and Shipping
medium.com
·
6d
·
Discuss:
Hacker News
,
r/programming
🌀
Brotli Internals
Top 5 Programming
Languages
Dominating
2026
dev.to
·
6h
·
Discuss:
DEV
🔩
Systems Programming
Why you should
consider
F#
asfaload.com
·
1d
·
Discuss:
Hacker News
🔒
Type Safety
I created a comprehensive resource to master
Concurrency
Interviews
blog.algomaster.io
·
2d
🏗️
Compiler Archaeology
Top 10 Python Algorithms for Coding Interviews: From
BFS/DFS
to Dynamic Programming with Real Examples
dev.to
·
1d
·
Discuss:
DEV
🧮
Kolmogorov Complexity
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
3d
·
Discuss:
Hacker News
🧲
RISC-V Archaeology
Upcoming
Tech Books to Read in 2026
notnotp.com
·
5d
·
Discuss:
Hacker News
💾
Persistence Strategies
ai-for-developers/awesome-ai-coding-tools
: A
curated
list of AI-powered coding tools
github.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Who is Jutta Leerdam, the Dutch Olympic
speedskater
whose
fiancé
is influencer-boxer Jake Paul?
the-independent.com
·
1h
📡
RSS
Loading...
Loading more...
« Page 10
•
Page 12 »
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