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 Systems
type theory, static typing, dependent types, type inference
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171613
posts in
20.2
ms
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
4d
Π
Dependent Types
TypeScript
vs
JavaScript
: Should You Switch? (Complete 2026 Guide)
dev.to
·
11h
·
Discuss:
DEV
λ
Functional Programming
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
2d
⚙️
Compilers
Equality
in Dependent Type
Theories
nadrieril.github.io
·
10h
Π
Dependent Types
The Secret Life of Go:
Generics
dev.to
·
3d
·
Discuss:
DEV
λ
Functional Programming
read a
couple
of books about
compilers
redplait.blogspot.com
·
2d
·
Discuss:
redplait.blogspot.com
⚙️
Compilers
Data is Code (2016)
haskellforall.com
·
1d
·
Discuss:
Lobsters
λ
Functional Programming
CodeCity
: Turning a Codebase into a
Skyline
verial.xyz
·
1h
·
Discuss:
Hacker News
🔍
Abstract Interpretation
gvergnaud/ts-pattern
: 🎨 The
exhaustive
Pattern Matching library for TypeScript, with smart type inference.
github.com
·
5d
·
Discuss:
Hacker News
λ
Functional Programming
familial
2-monad
in
nLab
ncatlab.org
·
5h
🔄
Category Theory
The Art of
Self-Healing
Code:
Malware
that fixes itself
infosecwriteups.com
·
11h
⚙️
Systems Programming
Programming
mason.bearblog.dev
·
8h
💻
Programming
Many
Meanings
of the
Word
Model
0byte.io
·
22h
·
Discuss:
Hacker News
λ
Functional Programming
Design
Principles
Behind
Smalltalk
cs.virginia.edu
·
2d
⚙️
Systems Programming
Seeing
types
where others don't
lobste.rs
·
1d
·
Discuss:
Lobsters
Π
Dependent Types
Structured
Outputs
— The Type System for Agents
medium.com
·
2d
Π
Dependent Types
Issue 516
haskellweekly.news
·
1d
🦥
Haskell
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
1h
·
Discuss:
r/LocalLLaMA
🧮
Lean
What Will Future
Programming
Languages
Look Like?
jackwsmth.com
·
2d
📐
PLT
The Cost of
Indirection
in Rust
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦥
Haskell
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