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
Static Typing, Type Inference, Generics, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
67
posts in
24.5
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔤
Type Theory
lix.polytechnique.fr
·
10h
10 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Breaking Circular Imports in Python Without Losing
Type
Safety
🐫
OCaml
Content type:
Blog
orcaset.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for Breaking Circular Imports in Python Without Losing Type Safety
Static
types
and shovels (2026)
λ
Functional Programming
carefully.understood.systems
·
1h
1 hour ago
·
Lobsters
Actions for Static types and shovels (2026)
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
·
19h
19 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 ...
When
Types
Intersect and Effects Get Handled
🔤
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
λ
Functional Programming
alternativeto.net
·
6d
6 days ago
Actions for Elixir 1.20 adds type inference, boosts compilation speed, and debuts new compiler options
Create Your Own Programming Language with Rust
⚙️
Compilers
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Lucas127128/better-event: A better event emitter! (inspired by emittery)
⚡
Reactive Programming
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for Lucas127128/better-event: A better event emitter! (inspired by emittery)
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Proof
System
Timelines
✓
Formal Verification
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
🎾
Racket
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
a topos-oriented language with a content-addressed lattice heap
⚙️
LLVM
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
What’s Coming in Swift 6.4
🎼
F#
wadetregaskis.com
·
2d
2 days ago
Actions for What’s Coming in Swift 6.4
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
🔤
Type Theory
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
🦀 Custom Allocators in Rust
⚙️
Systems Programming
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for 🦀 Custom Allocators in Rust
TanStack AI: Your MCP, your way
🔗
Unison
Content type:
Blog
tanstack.com
·
5d
5 days ago
·
Hacker News
Actions for TanStack AI: Your MCP, your way
Show HN: The first agentic coding engine that hot-reloads the full stack
📚
Forth
Content type:
Blog
serverpod.dev
·
1d
1 day ago
·
Hacker News
Actions for Show HN: The first agentic coding engine that hot-reloads the full stack
Introduction - Rust for Python Programmers
🦀
Rust
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
Strict stability of extension
types
🔤
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
Implementation contracts in Go
🎼
F#
Content type:
Blog
titpetric.com
·
1d
1 day ago
·
r/golang
Actions for Implementation contracts in Go
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