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
8639
posts in
364.9
ms
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
·
3d
🔀
Brzozowski Derivatives
A -
Glossary
(Python)
dev.to
·
5d
·
Discuss:
DEV
📐
Linear Algebra
Task-Based
Productivity
Program (Python)
dev.to
·
4d
·
Discuss:
DEV
💻
CLI Tools
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🧮
Lambda Calculus
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
🛡️
seL4
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
3d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Automatic
Programming
Returns
cyber-omelette.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🤖
Program Synthesis
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite State Machines
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
5d
·
Discuss:
Hacker News
⏱️
Computational Complexity
The Future of Systems
novlabs.ai
·
4d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Fun
With
Dada
smallcultfollowing.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
3d
·
Discuss:
Hacker News
🔧
DevOps
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
5d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2d
·
Discuss:
Hacker News
⚙
Operational Semantics
Vibe
Coding
tosbourn.com
·
2d
·
Discuss:
Hacker News
🔧
DevOps
AI
Follows
the 80/20
Rule
buchanan.one
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 5
•
Page 7 »
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