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
8942
posts in
360.5
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
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
3d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Hello
,
Dada
!
smallcultfollowing.com
·
2d
·
Discuss:
Hacker News
📺
Vintage Apple
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Learning by
hand
is better than learning by AI
blog.engora.com
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
4d
·
Discuss:
Hacker News
⏱️
Computational Complexity
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
4d
·
Discuss:
Hacker News
🐫
OCaml
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
A Language For Agents
lucumr.pocoo.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔤
Language Design
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
3d
·
Discuss:
Hacker News
🔤
Language Design
Portable
C
Compiler
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
How to Program
Computers
(
KOS
)
fall.tr
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙️
PL Implementation
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
3d
·
Discuss:
Hacker News
🏃
Escape Analysis
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
3d
·
Discuss:
Hacker News
🔧
DevOps
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
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