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
19376
posts in
1.06
s
I built a Python
LSP
in Go!
reddit.com
·
9h
·
Discuss:
r/golang
🧠
Lisp Dialects
Type
Variance
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
4d
🔗
Lisp
Sixteen
Claude AI agents working together created a new C
compiler
arstechnica.com
·
1d
·
Discuss:
r/programming
,
r/technews
🏗️
Compiler Archaeology
Early History of a Perfect Join
Algorithm
remy.wang
·
11h
🚀
Query Optimization
From Turbo
Pascal
to TypeScript: Anders
Hejlsberg
on Language Design, Scale, and AI
dev.to
·
1d
·
Discuss:
DEV
🛠
Language Design
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
·
2d
🔀
Category Theory
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
·
4h
·
Discuss:
r/node
,
r/reactjs
🦀
Rust Macros
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
16h
·
Discuss:
Hacker News
🔩
Systems Programming
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
2d
·
Discuss:
Hacker News
🔗
Functional Compilers
Programming Language
Implementation
: In Theory, We Understand. In Practice, We
Wish
We Would.
stefan-marr.de
·
5d
🛠
Language Design
Differential
Logic
• 1
inquiryintoinquiry.com
·
2d
📏
Linear Logic
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
2d
✨
Effect Handlers
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
5h
·
Discuss:
Hacker News
⚙️
Proof Engineering
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
3d
🔗
Concatenative Programming
Show HN: A
Prompting
Framework for
Non-Vibe-Coders
github.com
·
2h
·
Discuss:
Hacker News
⚔️
Lean Tactics
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
3d
🦀
Rust Verification
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