Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Types
Broad
type theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26028
posts in
20.2
ms
Equality
in Dependent Type
Theories
nadrieril.github.io
·
1d
💻
Programming languages
Analysis Of
Linguistic
Stereotypes
in Single and Multi-Agent Generative AI Architectures
arxiv.org
·
1d
🔤
Tokenization
Infinite
Lists in
Lean
unnamed.website
·
7h
💻
Programming languages
Seeing
types
where others don't
lobste.rs
·
2d
·
Discuss:
Lobsters
🔺
GATs
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
5d
💻
Programming languages
The Agent that Doesn’t Know
Itself
johncarlosbaez.wordpress.com
·
11h
·
Discuss:
Hacker News
💻
Coding Agents
Finit
- Set theory
applied
to data structures
github.com
·
10h
·
Discuss:
r/rust
🌸
Bloom Filters
Does
Hebrew
Have
Verbs
?
lesswrong.com
·
1d
💻
Programming languages
Data is Code (2016)
haskellforall.com
·
2d
·
Discuss:
Lobsters
💻
Programming languages
Formalization
of
QFT
?
math.columbia.edu
·
2d
💻
Programming languages
A with-based
effect
notation
blog.yoshuawuyts.com
·
1d
⚙
Rust Compiler Internals
LISP Programming And Proving : John McCarthy;
Carolyn
Talcott
: Free Download, Borrow, and Streaming
archive.org
·
4h
·
Discuss:
Hacker News
💻
Programming languages
Making our own
String
type
in Rust
artificialworlds.net
·
20h
⚙
Rust Compiler Internals
Robin James -
Aesthetic
Taste in the AI era: emotional labor, executive authority, and bourgeois good taste without the
bourgeoisie
its-her-factory.com
·
12h
🤔
Philosophy of Tech
Reviewing the design of OpenClaw, Gas Town, and
Cantrip
through the lens of
ontological
hardness and…
tumblr.thejaymo.net
·
1d
🤔
Philosophy of Tech
Separation
of Concerns
en.wikipedia.org
·
8h
·
Discuss:
Hacker News
🪄
Prompt Engineering
The math that explains why bell
curves
are
everywhere
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
What should we think about
shard
theory in light of
chain-of-thought
agents?
lesswrong.com
·
2d
🧠
Agent Memory
The "Billion Dollar
Mistake
"
Lives
On In Rust
joel.place
·
11h
·
Discuss:
r/rust
⚙
Rust Compiler Internals
type-latex
jaidenratti.com
·
2d
📝
Typst
Loading...
Loading more...
Page 2 »
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