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
馃搻 Type Theory
Type Systems, Static Typing, Dependent Types, Lambda Calculus
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74139
posts in
1.25
s
Type
Variance
en.wikipedia.org
路
1d
路
Discuss:
Hacker News
馃敭
Effect Systems
Build a
Compiler
in Five Projects
kmicinski.com
路
4h
鈿欙笍
Compiler Design
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
路
1d
馃捇
Programming
Railway
Oriented
Programming
fsharpforfunandprofit.com
路
23h
路
Discuss:
Hacker News
馃敭
Effect Systems
Categorical
systems
theory
danmackinlay.name
路
2d
馃敭
Effect Systems
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
路
2h
路
Discuss:
DEV
馃
Rust
Let
Lambda
Come Over
yamlscript.org
路
9h
馃捇
Programming
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
路
3d
路
Discuss:
Lobsters
馃捇
Programming
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
路
1d
路
Discuss:
Hacker News
馃敭
Effect Systems
Lambda
cube
en.wikipedia.org
路
5d
路
Discuss:
Lobsters
馃摑
Parser Combinators
Kotlin Symbol Processing:
褋芯蟹写邪褢屑
褋胁芯泄
锌褉芯褑械褋褋芯褉
habr.com
路
1d
馃敜
Font Engineering
Do Developers Read Type Information? An
Eye-Tracking
Study on
TypeScript
arxiv.org
路
2d
馃敜
Font Engineering
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
路
2d
馃摑
Parser Combinators
A Neighborhood of Infinity: You Could Have
Invented
Monads
! (And Maybe You Already Have.)
blog.sigfpe.com
路
20h
馃摑
Parser Combinators
Waterloo
Style
theprogrammersparadox.blogspot.com
路
21h
路
Discuss:
Hacker News
馃
Rust
From Turbo
Pascal
to TypeScript: Anders
Hejlsberg
on Language Design, Scale, and AI
dev.to
路
9h
路
Discuss:
DEV
馃
Rust
Field theory and the rise of
ambition
machines
fieldtheory.dev
路
20h
路
Discuss:
Hacker News
馃尡
Digital Gardens
Agentic
Proof-Oriented
Programming
risemsr.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃敭
Effect Systems
learning by
reverse
engineering
clymup.com
路
26m
鈿欙笍
LLVM
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
路
1d
馃
Rust
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