Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Systems
🔷 Type Systems
typed languages, static typing, type inference, generics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
215
posts in
8.7
ms
Static
types
and shovels (2026)
λ
Functional Programming
carefully.understood.systems
·
4h
4 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
🧠
Lisp Dialects
alternativeto.net
·
6d
6 days ago
Actions for Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options
When
Types
Intersect and Effects Get Handled
⚡
Effect Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer
types
, I wished Go had unions too. In fact, Go should just ...
λ
Functional Programming
lmika.org
·
22h
22 hours ago
Actions for Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...
Create Your Own Programming
Language
with Rust
☕
JVM
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
CellClick: an interactive platform for adjustable and accurate cell
type
annotation
in single-cell and spatial omics
data
🔥
GraalVM
Content type:
Academic
biorxiv.org
·
6d
6 days ago
Actions for CellClick: an interactive platform for adjustable and accurate cell type annotation in single-cell and spatial omics data
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
nixidy part 4:
Typed
resource options and CRD generation
⚙️
Backend Dev
codedbearder.com
·
2d
2 days ago
Actions for nixidy part 4: Typed resource options and CRD generation
WebAssembly Specification
📋
Org-mode
webassembly.github.io
·
14h
14 hours ago
·
Hacker News
Actions for WebAssembly Specification
One
Language
To Rule Them All
🧠
Lisp Dialects
Content type:
Blog
programmingsimplicity.substack.com
·
6d
6 days ago
·
Substack
Actions for One Language To Rule Them All
DotFox/transit.c: A
data
interchange format and set of libraries for conveying values between applications written in different programming
languages
.
λ
Functional Programming
Content type:
Code
github.com
·
2d
2 days ago
·
Lobsters
Actions for DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.
Records in Production: Where They Shine and Where They Silently Fail
🗑️
JVM GC
javacodegeeks.com
·
6h
6 hours ago
Actions for Records in Production: Where They Shine and Where They Silently Fail
Changelog #331
📋
Org-mode
rust-analyzer.github.io
·
2d
2 days ago
·
r/rust
Actions for Changelog #331
a topos-oriented
language
with a content-addressed lattice heap
λ
Type Theory
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Introducing Soteria: A New Generation of
Static
Analysis for Rust
🌳
Persistent Data Structures
Content type:
Blog
soteria-tools.com
·
8h
8 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Principal Component Analysis (PCA):
Theory
, Mathematics, and Applications
⚡
Query Tuning
Content type:
Blog
towardsai.net
·
2d
2 days ago
Actions for Principal Component Analysis (PCA): Theory, Mathematics, and Applications
Understanding Principal Component Analysis (PCA)
📐
Data Modeling
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Understanding Principal Component Analysis (PCA)
How
TypeScript
infers
type variables
📘
TypeScript
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
🌍
Open Source
Content type:
Code
github.com
·
1h
1 hour ago
Actions for Release Pyrefly v1.1.0-dev.2 · facebook/pyrefly
Proof
System
Timelines
λ
Type Theory
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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