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
🔬 programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123509
posts in
1.80
s
Universal
Turing
Machine
universalturingmachine.org
·
23h
🎯
Finite Automata
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🔧
Scheme Macros
CodeSOD
:
Cover
Up
thedailywtf.com
·
7h
🔬
Code Analysis
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASM Runtimes
Some are
happier
writing code by
hand
birchtree.me
·
18h
📚
Self-Documenting Code
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
✨
Gleam
The
Illusion
of
AGI
, or What Language Models Can Do Without Thought
techpolicy.press
·
1d
🎯
Finite Automata
When Trust
Becomes
the Core Problem of
AI-Native
Software Engineering
hackernoon.com
·
7h
🎭
Program Synthesis
The
Joy
of
Programming
deanclatworthy.com
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Software at the speed of AI
infoworld.com
·
5h
🎭
Program Synthesis
punctilio
: the best text
prettifier
lesswrong.com
·
9h
📚
Factor
Rise of the
Cowboy
Coder
jollycoder.com
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
λ
Lambda Calculus
Differential
Logic
• 3
inquiryintoinquiry.com
·
3d
🔗
Category Theory
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪄
C Metaprogramming
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
20h
📏
Linear Memory
charleskawczynski/CodeComplexity.jl
: A package for estimating code complexity in Julia
github.com
·
1d
🚀
Code Motion
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Loading...
Loading more...
« Page 8
•
Page 10 »
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