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
🔤 Type Theory
Dependent Types, Type Systems, Lambda Calculus, Curry-Howard
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
157869
posts in
18.3
ms
Constructing
(Co)
inductive
Types via Large Sizes
arxiv.org
·
1d
🔢
Kolmogorov Complexity
SCHEME An
Interpreter
For Extended Lambda
Calculus
(The Lambda Papers)
research.scheme.org
·
2d
·
Discuss:
Hacker News
🏭
Code Generation
Stop Writing
Spaghetti
Code: How I Learned to Love
TypeScript
's Type System
dev.to
·
1d
·
Discuss:
DEV
🏭
Code Generation
Cosmin
Pohoata
: The
Cayley-Bacharach
theorem and its applications
gilkalai.wordpress.com
·
9h
📐
Category Theory
A
Calculus
of
Overlays
arxiv.org
·
1d
📐
Category Theory
Typhoon’s Papers
Acceptances
at
ICLR
2025: Advancing Open Science for Low-Resource Language AI
opentyphoon.ai
·
6h
💬
Natural Language Processing
Dyn
Box Vs.
Generics
blog.veeso.dev
·
11h
📐
Category Theory
It’s Not Magic, It’s
Metapragmatic
:
Memetics
Through the Lens of Semiotic Treachery
sublius.substack.com
·
7h
·
Discuss:
Substack
🫧
Filter Bubbles
Specification
; communication;
computation
– no, programming isn't dead
twey.io
·
5h
·
Discuss:
Hacker News
🔢
Kolmogorov Complexity
Recursion
Schemes in
Haskell
quelklef.notion.site
·
1d
📐
Category Theory
Devirtualization
and Static Polymorphism | David
Álvarez
Rosa
david.alvarezrosa.com
·
10h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🏭
Code Generation
https://
www.rwx.com/blog/how-roc-compiles-closures
rwx.com
·
6h
🏭
Code Generation
Pairing-based Functional
Commitments
for Circuits with
Shorter
Parameters
eprint.iacr.org
·
1d
🤝
Consensus Protocols
Notes on Linear
Algebra
for
Polynomials
eli.thegreenplace.net
·
2h
🔢
NumPy
Python Type
Checker
Comparison:
Empty
Container Inference
pyrefly.org
·
1d
·
Discuss:
Hacker News
🏭
Code Generation
bern-lang/Bern
:
Interpreted
Dynamically Typed Programming Language
github.com
·
12h
🏭
Code Generation
Python
Morsels
:
Lexicographical
ordering in Python
pythonmorsels.com
·
13h
🔢
NumPy
Launch:
Calljmp
— TypeScript agentic
backend
for real AI workflows
devhunt.org
·
11h
·
Discuss:
DEV
,
Hacker News
💻
Creative Coding
Dictionary
of Algorithms and Data
Structures
xlinux.nist.gov
·
12h
·
Discuss:
Lobsters
🧮
Algorithms
Tool use and
notation
as shaping LLM
generalization
the.scapegoat.dev
·
4h
·
Discuss:
Hacker News
🔢
Kolmogorov Complexity
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