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
123695
posts in
1.04
s
Universal
Turing
Machine
universalturingmachine.org
·
1d
🎯
Finite Automata
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🔧
Scheme Macros
CodeSOD
:
Cover
Up
thedailywtf.com
·
12h
🔬
Code Analysis
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Some are
happier
writing code by
hand
birchtree.me
·
23h
📚
Self-Documenting Code
The
Illusion
of
AGI
, or What Language Models Can Do Without Thought
techpolicy.press
·
2d
🎯
Finite Automata
The
Joy
of
Programming
deanclatworthy.com
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Rise of the
Cowboy
Coder
jollycoder.com
·
1d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Software at the speed of AI
infoworld.com
·
9h
🎭
Program Synthesis
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
λ
Lambda Calculus
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏗️
MLIR
punctilio
: the best text
prettifier
lesswrong.com
·
13h
📚
Factor
Model
Integrity
and
Character
lesswrong.com
·
2d
⚖️
Inference Rules
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
1d
📏
Linear Memory
When Trust
Becomes
the Core Problem of
AI-Native
Software Engineering
hackernoon.com
·
11h
🎭
Program Synthesis
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
🔗
Category Theory
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
When One AI
Designs
Communication
Protocols
for Another
dev.to
·
1d
·
Discuss:
DEV
🔄
Protocol State Machines
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🤖
Abstract Machines
I Started Programming When I Was 7. I'm 50 Now, and the Thing I
Loved
Has
Changed
jamesdrandall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🎮
Language Ergonomics
Loading...
Loading more...
« Page 11
•
Page 13 »
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