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
9523
posts in
146.9
ms
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
·
2d
🔀
Brzozowski Derivatives
A -
Glossary
(Python)
dev.to
·
4d
·
Discuss:
DEV
📐
Linear Algebra
A Small-Scale System for
Autoregressive
Program Synthesis Enabling Controlled
Experimentation
arxiv.org
·
14h
🐫
Embedded OCaml
Task-Based
Productivity
Program (Python)
dev.to
·
3d
·
Discuss:
DEV
💻
CLI Tools
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🧮
Lambda Calculus
Compile
and Run Your First Program
emojicode.org
·
5d
·
Discuss:
Hacker News
⚙️
Compiler Design
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
🔍
Formal Verification
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
3d
·
Discuss:
Hacker News
⏱️
Computational Complexity
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
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite State Machines
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
The Future of Systems
novlabs.ai
·
4d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Fun
With
Dada
smallcultfollowing.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Rise of the
Cowboy
Coder
jollycoder.com
·
1d
·
Discuss:
Hacker News
🔧
DevOps
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
« Page 4
•
Page 6 »
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