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
49
posts in
5.5
ms
Static
types
and shovels (2026)
📘
TypeScript
carefully.understood.systems
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Static types and shovels (2026)
pdtpartners/typol
: A
typed
layer on top of Polars, for
statically
enforcing schema types for dataframes
🦀
Rust
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for pdtpartners/typol: A typed layer on top of Polars, for statically enforcing schema types for dataframes
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 ...
🔨
Compilers
lmika.org
·
1d
1 day 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 ...
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔨
Compilers
lix.polytechnique.fr
·
1d
1 day ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System
Timelines
🔨
Compilers
Content type:
Blog
klatz.co
·
3d
3 days ago
Actions for Proof System Timelines
When
Types
Intersect and Effects Get Handled
📘
TypeScript
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for When Types Intersect and Effects Get Handled
Book note: The Open Logic FOL texts
🔨
Compilers
Content type:
Blog
logicmatters.net
·
21h
21 hours ago
Actions for Book note: The Open Logic FOL texts
Create Your Own Programming Language with Rust
🔨
Compilers
createlang.rs
·
2d
2 days ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
a topos-oriented language with a content-addressed lattice heap
🔨
Compilers
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog
🦀
Rust
Content type:
Blog
rue-lang.dev
·
20h
20 hours ago
·
Hacker News
Actions for An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog
TanStack AI: Your MCP, your way
🦕
Deno
Content type:
Blog
tanstack.com
·
6d
6 days ago
·
Hacker News
Actions for TanStack AI: Your MCP, your way
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
🤖
AI
Content type:
Discussion
news.ycombinator.com
·
2d
2 days ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
What’s Coming in Swift 6.4
📘
TypeScript
wadetregaskis.com
·
3d
3 days ago
Actions for What’s Coming in Swift 6.4
Show HN: The first agentic coding engine that hot-reloads the full stack
🦀
SWC
Content type:
Blog
serverpod.dev
·
2d
2 days ago
·
Hacker News
Actions for Show HN: The first agentic coding engine that hot-reloads the full stack
A programming language for humans.
🦀
Rust
crowdhailer.me
·
3d
3 days ago
·
Lobsters
Actions for A programming language for humans.
Implementation contracts in Go
🦕
Deno
Content type:
Blog
titpetric.com
·
2d
2 days ago
·
r/golang
Actions for Implementation contracts in Go
nixidy part 4:
Typed
resource options and CRD generation
⚡
ESBuild
codedbearder.com
·
3d
3 days ago
Actions for nixidy part 4: Typed resource options and CRD generation
Strict stability of extension
types
🦕
Deno
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Strict stability of extension types
Co-Creator of Haskell: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
🔨
Compilers
Content type:
News
developing.dev
·
3d
3 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Introducing Jo — Secure Programming for the AI Era
🦕
Deno
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
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