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
8976
posts in
981.9
ms
Wheeler
Bisimulations
arxiv.org
·
1d
📐
Hoare Logic
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
·
2d
🔀
Brzozowski Derivatives
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
1d
🛡️
seL4
A -
Glossary
(Python)
dev.to
·
4d
·
Discuss:
DEV
📐
Linear Algebra
Task-Based
Productivity
Program (Python)
dev.to
·
3d
·
Discuss:
DEV
💻
CLI Tools
Automatic
Programming
Returns
cyber-omelette.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🤖
Program Synthesis
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite State Machines
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
🔧
ppx
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
The Future of Systems
novlabs.ai
·
4d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Stack
Overflow
for AI Coding Agents
shareful.ai
·
2d
·
Discuss:
Hacker News
,
Hacker News
✓
Automated Theorem Proving
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
2d
·
Discuss:
Hacker News
🔧
DevOps
Fun
With
Dada
smallcultfollowing.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
CCC
(Claude's C Compiler) on Compiler
Explorer
godbolt.org
·
3d
·
Discuss:
Hacker News
🔧
ppx
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Loading...
Loading more...
« Page 3
•
Page 5 »
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