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
124047
posts in
2.28
s
Universal
Turing
Machine
universalturingmachine.org
·
1d
🎯
Finite Automata
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🔧
Scheme Macros
CodeSOD
:
Cover
Up
thedailywtf.com
·
16h
🔬
Code Analysis
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Some are
happier
writing code by
hand
birchtree.me
·
1d
📚
Self-Documenting Code
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
2d
🌐
WASM Runtimes
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
2d
✨
Gleam
The
Joy
of
Programming
deanclatworthy.com
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
Software at the speed of AI
infoworld.com
·
13h
🎭
Program Synthesis
The
Illusion
of
AGI
, or What Language Models Can Do Without Thought
techpolicy.press
·
2d
🎯
Finite Automata
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
λ
Lambda Calculus
punctilio
: the best text
prettifier
lesswrong.com
·
18h
📚
Factor
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🏗️
MLIR
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
·
16h
🎭
Program Synthesis
Model
Integrity
and
Character
lesswrong.com
·
2d
⚖️
Inference Rules
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
🔗
Category Theory
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
Value
Receivers
vs
Pointer
Receivers
in Go (A Practical Explanation)
dev.to
·
1d
·
Discuss:
DEV
🔗
Go Generics
The
Monad
Called
Free
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🔗
Parser Combinators
Loading...
Loading more...
« Page 13
•
Page 15 »
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