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
type theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
33102
posts in
12.6
ms
[2602.21330] Classifying anima of
condensed
$
infty
$-categories of points
arxiv.org
·
2d
📏
Linear Types
Coherent
Care
lesswrong.com
·
1d
💻
Programming languages
Custom Data
Structures
in
E-Graphs
uwplse.org
·
8h
·
Discuss:
Lobsters
,
Hacker News
🔢
Algebraic Data Types
On language models and
intuition
aleksei.dev
·
9h
🧠
LLM Inference
Constructing
(Co)
inductive
Types via Large Sizes
arxiv.org
·
4d
📏
Linear Types
SHELL-AGENT: A
Dynamical
Systems Framework for Symmetry Discovery with Empirical Validation in
Propositional
Logic
hal.science
·
1d
·
Discuss:
Hacker News
🧠
Agent Memory
Osterwalder-Schrader
and Euclidean
Spinor
Fields
math.columbia.edu
·
7h
⚛️
Physics
The
Double-Edged
Sword of
Anthropomorphism
in LLMs
pmc.ncbi.nlm.nih.gov
·
1d
🎭
Claude
Isotype
Catalogue
isotype.infowetrust.com
·
17h
🔡
Type Foundries
Reconstructing
OPL
: Joseph
Weizenbaum
's Online Programming Language
timereshared.com
·
3h
·
Discuss:
Hacker News
💻
Programming languages
Schelling
Goodness
, and Shared Morality as a Goal
lesswrong.com
·
1d
📋
MCP
[
Python/Sage
]
Extended
Hidden Number Problem
leetarxiv.substack.com
·
1d
·
Discuss:
r/programming
🧮
SMT Solvers
Language models can only
write
ransom
notes
posts.decontextualize.com
·
9h
🔤
Tokenization
Reified
generics
by
php-generics
· Pull Request #21317
github.com
·
7h
·
Discuss:
Hacker News
🔄
Serde
Learning Python, Day 8
blog.katemonkey.com
·
1d
📑
Inverted Indexes
perghosh/Data-oriented-design
: DOD or data
oriented
design development, what is it and how to do it
github.com
·
1d
·
Discuss:
r/programming
✨
Code Aesthetics
NeurIPS
2021
Papers
(2021)
tanelp.github.io
·
1h
·
Discuss:
Hacker News
📊
Embeddings
https://
www.rwx.com/blog/how-roc-compiles-closures
rwx.com
·
3d
📏
Linear Types
Identify
different classes of
classifiers
handspeak.com
·
23h
📊
Vector Clustering
Small Models Can
Introspect
, Too
vgel.me
·
2d
·
Discuss:
Lobsters
🧠
LLM Inference
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