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
Type Systems, Generics, Traits, Static Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
135072
posts in
42.6
ms
Beyond Basic Types:
Mastering
TypeScript
's Advanced Type System for Robust Applications
typescriptlang.org
·
17h
·
Discuss:
DEV
🦕
Deno
What If
Traits
Carried
Values
nadrieril.github.io
·
13h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Lifetimes
Maximally
minimal
view types, a follow-up
smallcultfollowing.com
·
2h
👻
Phantom Types
Proof
Theory and
Logic
Programming
lix.polytechnique.fr
·
13h
·
Discuss:
Hacker News
📊
Datalog
TypeScript
Utility
Types Complete Guide
dev.to
·
21h
·
Discuss:
DEV
📘
TypeScript
Python
Polymorphism
: One Interface, Many
Behaviors
boot.dev
·
2d
💎
Refinement Types
Seeing
types
where others don't
lobste.rs
·
3d
·
Discuss:
Lobsters
🔍
Type Inference
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
4d
📏
Linear Types
familial
2-monad
in
nLab
ncatlab.org
·
2d
∘
Category Theory
Architecting Real
Typst
Templates (
realraum
)
cdn.media.ccc.de
·
1d
🏭
Code Generation
Uses for
nested
promises
blog.jcoglan.com
·
3h
🔮
Folly Futures
Equality
in Dependent Type
Theories
nadrieril.github.io
·
2d
🔍
Type Inference
Linux Applications Programming by
Example
: The
Fundamental
APIs (2nd Edition)
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🔧
Abseil
Maximally
minimal
view types
smallcultfollowing.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔀
Crossbeam
Typechecking
mCRL2
emi-h.com
·
1d
·
Discuss:
Lobsters
🔍
Type Inference
Making our own
String
type
in Rust
artificialworlds.net
·
2d
📦
Serde
Play the System:
Parametric
Design Approaches in
Graphic
Design
abduzeedo.com
·
3h
🎨
Design Systems
Avoiding
Overflow
Bugs in Fixed-Point
Arithmetic
with Formal Verification
github.com
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Formal verification of tree-based machine learning models for
lateral
spreading
arxiv.org
·
3d
📐
TLA+
The tools of an
Agentic
Engineer
davidvujic.blogspot.com
·
6h
⚓
Anchors
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