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
8933
posts in
404.3
ms
Continuous
Program Search
arxiv.org
·
1d
🤖
Program Synthesis
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
🧮
Lambda Calculus
A -
Glossary
(Python)
dev.to
·
4d
·
Discuss:
DEV
📐
Linear Algebra
Task-Based
Productivity
Program (Python)
dev.to
·
3d
·
Discuss:
DEV
💻
CLI Tools
Compile
and Run Your First Program
emojicode.org
·
5d
·
Discuss:
Hacker News
⚙️
Compiler Design
Show HN: Engineering Perception with
Combinatorial
Memetics
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
3d
·
Discuss:
Hacker News
🔧
Unikernel Development
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
5d
·
Discuss:
Hacker News
🔄
Finite State Machines
"
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
Fun
With
Dada
smallcultfollowing.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
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