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
19400
posts in
225.6
ms
First
Proof
arxiv.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🎯
Proof Tactics
On
Computation
and
Reinforcement
Learning
arxiv.org
·
2d
🔲
Cellular Automata
The Architecture of Open Source Applications (Volume 1)
Berkeley
DB
aosabook.org
·
5d
·
Discuss:
Hacker News
📦
CBOR Extensions
flux2.c
notes.billmill.org
·
5d
🏛
Digital humanities
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
5d
·
Discuss:
Substack
,
r/cpp
🦀
Rust Borrowing
Software
Engineer
andreasgerstmayr.at
·
6d
🔗
Concatenative Programming
Safeclaw
the safe
OpenClaw
alternative with no language model and no APIs
github.com
·
5d
·
Discuss:
Hacker News
,
r/selfhosted
📝
ABNF Parsing
My Experience with
Vibe
Coding
haskellforall.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Selection
Rather
Than Prediction
voratiq.com
·
5d
·
Discuss:
Hacker News
🌸
Bloom Variants
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
5d
·
Discuss:
Hacker News
💻
Programming languages
Beyond Giant Models: Why AI
Orchestration
Is the New
Architecture
kdnuggets.com
·
4d
⚙️
TLA+
Stratum
: Architecting a
Configurable
Cache Simulator with C++ and Racket
thecloudlet.github.io
·
6d
·
Discuss:
Hacker News
⚡
CPU Microarchitecture
From Simple
Circuits
to
Powerful
Systems
spin.atomicobject.com
·
5d
⚡
Circuit Design
Floating-point accuracy
visualization
example: the
ULP
error for each math function coming with Julia
discourse.julialang.org
·
6d
·
Discuss:
Hacker News
📐
Error Bounds
Show HN:
DNA
Platform
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔌
Interface Evolution
Show HN: Database
Internals
, a book by Claude
Opus
4.5
cloudstreet-dev.github.io
·
6d
·
Discuss:
Hacker News
🗄️
Database Internals
Simple Made Easy (2011)
infoq.com
·
5d
·
Discuss:
Hacker News
🔗
Concatenative Programming
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
I
struggled
to code with AI until I learned this
workflow
newsletter.systemdesign.one
·
5d
·
Discuss:
r/programming
⚡
Proof Automation
The
Verification
Conundrum
semiengineering.com
·
6d
🔧
Hardware Verification
Loading...
Loading more...
« Page 9
•
Page 11 »
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