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
Specific
type theory, static typing, type inference, type checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
54
posts in
9.1
ms
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
λ
Functional Programming
alternativeto.net
·
5d
5 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
λ
PLT
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Less-relevant results
Create Your Own Programming Language with Rust
⚙️
Compilers
createlang.rs
·
15h
15 hours ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
New comment by dsign in "Are you expected to run five Python
type-checkers
now?"
λ
PLT
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for New comment by dsign in "Are you expected to run five Python type-checkers now?"
Running Dialyzer for Elixir Projects in GitHub Actions
🔌
APIs
Content type:
Blog
stratus3d.com
·
4d
4 days ago
Actions for Running Dialyzer for Elixir Projects in GitHub Actions
Proof
System
Timelines
λ
PLT
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
One Language To Rule Them All
λ
PLT
Content type:
Blog
programmingsimplicity.substack.com
·
6d
6 days ago
·
Substack
Actions for One Language To Rule Them All
nixidy part 4:
Typed
resource options and CRD generation
🔌
APIs
codedbearder.com
·
1d
1 day ago
Actions for nixidy part 4: Typed resource options and CRD generation
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
λ
PLT
Content type:
Academic
nature.com
·
2d
2 days ago
Actions for Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae
What’s Coming in Swift 6.4
λ
Functional Programming
wadetregaskis.com
·
1d
1 day ago
Actions for What’s Coming in Swift 6.4
How
TypeScript
infers
type variables
λ
Functional Programming
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
λ
PLT
Content type:
Discussion
news.ycombinator.com
·
15h
15 hours ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
Release 0.0.43 ·
astral-sh/ty
🔓
Open Source
Content type:
Code
github.com
·
6d
6 days ago
Actions for Release 0.0.43 · astral-sh/ty
a topos-oriented language with a content-addressed lattice heap
λ
PLT
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
The Boot.dev Beat. June 2026
🤖
LLMs
Content type:
Blog
boot.dev
·
1d
1 day ago
Actions for The Boot.dev Beat. June 2026
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
λ
PLT
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
true-myth.dev — Sympolymathesy, by Chris Krycho
λ
PLT
v5.chriskrycho.com
·
6d
6 days ago
Actions for true-myth.dev — Sympolymathesy, by Chris Krycho
nixidy part 5: Build-time assertions and warnings
🛠️
Developer Tools
codedbearder.com
·
1d
1 day ago
Actions for nixidy part 5: Build-time assertions and warnings
0059: NYC and SF?
💬
Relationships
scattered-thoughts.net
·
5d
5 days ago
Actions for 0059: NYC and SF?
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