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 languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20736
posts in
226.0
ms
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
3d
·
Discuss:
Hacker News
📏
Linear Types
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
🔤
Tokenization
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
12h
🚀
Async Optimization
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
4h
🌳
B+ Trees
Making
Waffles
with Group
Theory
hmpcabral.com
·
3h
·
Discuss:
Hacker News
➕
Sum Types
Scheme-JS: A Scheme
Interpreter
with Transparent JavaScript
Interoperability
furious-ideas.blogspot.com
·
7h
📘
Typescript
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
·
7h
⚡
Comptime Programming
Coding Agents with Environment
Interaction
: A
Theoretical
Perspective
arxiv.org
·
13h
👨💻
AI Coding
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
1d
✨
Code Aesthetics
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
13h
📏
Linear Types
On
Linguistic
Precision
blog.firedrake.org
·
2d
🔤
Tokenization
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
5d
⚙️
Language Runtimes
CRML: CRML is a
declaritive
language for writing
cyberrisk
as code
producthunt.com
·
13h
📝
Markdown Parsers
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
2d
·
Discuss:
Hacker News
,
r/Compilers
🌳
B+ Trees
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Portable
C
Compiler
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
⚙️
Language Runtimes
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
7h
·
Discuss:
Hacker News
🪄
Prompt Engineering
Anthropics
Compiler
Challenge
corsix.org
·
1d
🧮
Compute Optimization
string
theory -
spqr
archiveofourown.org
·
16h
🧩
Types
Loading...
Loading more...
« Page 1
•
Page 3 »
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