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
🧩 Types
type theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20717
posts in
285.0
ms
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
💻
Programming languages
V.I.
Arnold
, On teaching
mathematics
karlin.mff.cuni.cz
·
2h
·
Discuss:
Hacker News
🌌
Liu Cixin
Pluribus
: The Power of
Division
- Notes
e-flux.com
·
2h
🎭
Claude
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
47m
🔤
Tokenization
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
23h
·
Discuss:
Hacker News
💻
Programming languages
Same
Surface
, Different
Weight
robpanico.com
·
4h
·
Discuss:
Hacker News
🤝
Inclusive Design
Build a
Compiler
in Five Projects
kmicinski.com
·
9h
⚙
Rust Compiler Internals
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
3h
·
Discuss:
Hacker News
🌳
B+ Trees
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
2d
·
Discuss:
Substack
💻
Programming languages
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
3d
💻
Programming languages
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
1d
·
Discuss:
Hacker News
🌳
B+ Trees
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
18h
·
Discuss:
Hacker News
,
r/javascript
✏️
Code Editors
What do LLMs think when you don't
tell
them what to think about?
together.ai
·
1d
🏗️
LLM Infrastructure
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
3d
💻
Programming languages
Brains as Computers:
Metaphor
,
Analogy
, Theory or Fact?
frontiersin.org
·
2d
🎭
Claude
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Reflections
on Reflection
blog.nyxcode.com
·
5d
·
Discuss:
r/rust
⚙
Rust Compiler Internals
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Private Data Space Model
privatedata.space
·
2d
📏
Linear Types
Economics
Puzzle Leads to a New Understanding of a
Fundamental
Law of Physics
caltech.edu
·
17h
·
Discuss:
Hacker News
⚛️
Physics
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