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
8981
posts in
368.4
ms
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🧮
Lambda Calculus
Wheeler
Bisimulations
arxiv.org
·
1d
📐
Hoare Logic
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
📦
Module Systems
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
3d
·
Discuss:
r/programming
🤖
Program Synthesis
Efficiency
and Performance
dev.to
·
4d
·
Discuss:
DEV
🔤
DSLs
Building
Scalable
AI Applications: Architecture
Patterns
That Actually Work
dev.to
·
3d
·
Discuss:
DEV
📊
Runtime Verification
Hello
,
Dada
!
smallcultfollowing.com
·
2d
·
Discuss:
Hacker News
📺
Vintage Apple
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
3d
·
Discuss:
Hacker News
🔤
Language Design
Autobiolocation
autobiolocation.is
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
🔧
ppx
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
4d
·
Discuss:
Hacker News
🐫
OCaml
How to Program
Computers
(
KOS
)
fall.tr
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙️
PL Implementation
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Stack
Overflow
for AI Coding Agents
shareful.ai
·
2d
·
Discuss:
Hacker News
,
Hacker News
✓
Automated Theorem Proving
A Language For Agents
lucumr.pocoo.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔤
Language Design
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
Portable
C
Compiler
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
3d
·
Discuss:
Hacker News
🏃
Escape Analysis
Loading...
Loading more...
« Page 2
•
Page 4 »
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