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
19457
posts in
525.6
ms
Linear Systems and
Eigenvalue
Problems: Open Questions from a
Simons
Workshop
arxiv.org
·
1d
📐
Linear Algebra
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
1d
🔄
Finite State Machines
Building Systems That
Survive
Real Life
towardsdatascience.com
·
4d
💾
Persistence Strategies
How not to program in
Dyalog
APL
toolofthought.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
3d
·
Discuss:
Hacker News
🔐
Quantum Cryptography
Composition of
attractor
lattices
topos.institute
·
6d
🔲
Cellular Automata
Brain-like
Computers
Can Do
Math
, Too
spectrum.ieee.org
·
4d
🎞️
Tape Combinatorics
Writing
the Code That
Powers
Your Code
thelinell.com
·
3d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Show HN: Build a coding agent in 500 lines (Pure Python, No
Vector
DBs
)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
[
Yang-Hui
He] Presents to The Royal
Institution
About AI and Mathematics
hackaday.com
·
4d
🏴
Scottish Computing
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust Borrowing
Some
Libraries
funcall.blogspot.com
·
5d
·
Discuss:
Blogger
🧠
Lisp Dialects
The Fax Numbers of the Beast, and Other Mathematical Sports: An Interview with Neil
Sloane
| Margaret
Wertheim
and Neil
Sloane
cabinetmagazine.org
·
4d
·
Discuss:
Hacker News
📐
Mathematical Art
Dark
Alley
Mathematics
blog.szczepan.org
·
4d
·
Discuss:
Hacker News
📐
Linear Algebra
Frontier Radar #1: From
chatbots
to problem
solvers
- the state of AI agents in 2026
the-decoder.com
·
4d
⚡
Proof Automation
A
dilettante
’s
philosophy
of mind
mtmason.com
·
4d
·
Discuss:
Hacker News
🧲
Magnetic Philosophy
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
3d
·
Discuss:
Lobsters
🎯
Gradual Typing
The Internet of
Babel
dolphinmade.com
·
4d
·
Discuss:
Hacker News
,
r/InternetIsBeautiful
📰
RSS Archaeology
Programming
with AI, Without the
Hype
albertovarela.net
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Programming
Principles
in the Age of AI:
DRY
kirilltolmachev.dev
·
5d
·
Discuss:
Lobsters
🏗️
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