Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Language Theory
Type Systems, Formal Methods, Lambda Calculus, Category Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
182885
posts in
14.2
ms
Hello
World in 1009 Programming
Languages
🧩
programming
youtube.com
·
2d
·
r/programming
Why I still reach for
Lisp
and Scheme instead of
Haskell
🧩
programming
news.ycombinator.com
·
6d
·
Hacker News
Nassi
–
Shneiderman
Diagram
🎨
Graphics Programming
en.wikipedia.org
·
1d
·
Hacker News
Architecture by
Autocomplete
🧩
programming
cekrem.github.io
·
2d
·
r/coding
,
r/programming
,
r/typescript
Reducing
LLM
epistemic
slop
⚙️
Compilers
emiruz.com
·
3d
A quick
demonstration
on how LLM
understands
meaning
⚙️
Compilers
howsofthings.com
·
1d
·
r/coding
On the coherence of the
Rawlsian
non-minimalist
methodological
approach
⚙️
Compilers
tandfonline.com
·
5d
The Shape of Code » Taking a new
GLR
parser
generator for a spin
⚙️
Compilers
shape-of-code.com
·
2d
CSI
:
Grammar
– How Investigators Catch Criminals Through Writing
⚙️
Compilers
geeksaresexy.net
·
2d
Types
and
Tokens
🧩
programming
plato.stanford.edu
·
5d
METAPHORS
, MODELS &
THEORIES
🧩
programming
edge.org
·
2d
How AI Works Under the
Hood
- LLMs
Explained
with Code
⚙️
Compilers
nitayneeman.com
·
1d
·
Hacker News
,
r/LLM
,
r/javascript
Dabbling
in
Erlang
, part 2: A minimal introduction (2013)
🧩
programming
agis.io
·
4d
·
Hacker News
If conditionals and for-loops. ·
laharitenneti/Kaleidoscope
@
5ba5803
🧩
programming
github.com
·
10h
·
DEV
Rambles
around computer science
🧩
programming
humprog.org
·
2d
·
Hacker News
Smugglers of reference:
Expressivist-inferentialism
and the inevitability of model denotation
⚙️
Compilers
philsci-archive.pitt.edu
·
5d
A
bidirectional
typechecking
puzzle>
🧩
programming
haskellforall.com
·
1d
·
Lobsters
,
Hacker News
,
Hacker News
Luke Plant: Inverse
Sapir-Whorf
and programming languages
🧩
programming
lukeplant.me.uk
·
5d
·
Lobsters
The
artful
way of the
stack-machine
🧩
programming
pepnom.org
·
1d
·
Hacker News
Can you help me add
nouns
to, and stress test,
Tana
?
🧩
programming
docs.google.com
·
2d
·
r/conlangs
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
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
Save / unsave
s
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