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
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
120
posts in
7.4
ms
The design principles of the Elixir
type
system
λ
Functional Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Π
Dependent Types
lix.polytechnique.fr
·
7h
7 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.
💻
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.
Create Your Own Programming Language with Rust
💻
Programming
createlang.rs
·
23h
23 hours ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
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
New comment by dsign in "Are you expected to run five Python
type-checkers
now?"
📐
PLT
Content type:
Discussion
news.ycombinator.com
·
2d
2 days ago
·
Hacker News
Actions for New comment by dsign in "Are you expected to run five Python type-checkers now?"
WebAssembly Specification
⚗️
Program Synthesis
webassembly.github.io
·
7h
7 hours ago
·
Hacker News
Actions for WebAssembly Specification
Breaking Circular Imports in Python Without Losing
Type
Safety
λ
Functional Programming
Content type:
Blog
orcaset.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for Breaking Circular Imports in Python Without Losing Type Safety
A programming language for humans.
💻
Programming
crowdhailer.me
·
1d
1 day ago
·
Lobsters
Actions for A programming language for humans.
Records in Production: Where They Shine and Where They Silently Fail
🧠
Language Acquisition
javacodegeeks.com
·
29m
29 minutes ago
Actions for Records in Production: Where They Shine and Where They Silently Fail
PyCoder’s Weekly: Issue #738: sleep(), Polars Workflows, Iterators, and More (2026-06-09)
💻
Programming
pycoders.com
·
20h
20 hours ago
Actions for PyCoder’s Weekly: Issue #738: sleep(), Polars Workflows, Iterators, and More (2026-06-09)
Proof
System
Timelines
🧮
Lean
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
ty
🦀
Rust
notes.billmill.org
·
3d
3 days ago
Actions for ty
Introducing Soteria: A New Generation of
Static
Analysis for Rust
🛡️
Memory Safety
Content type:
Blog
soteria-tools.com
·
1h
1 hour ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Co-Creator of Haskell: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
λ
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Issue 527
λ
Functional Programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
What’s Coming in Swift 6.4
🦀
Rust
wadetregaskis.com
·
1d
1 day ago
Actions for What’s Coming in Swift 6.4
a topos-oriented language with a content-addressed lattice heap
💻
Programming
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
🦀
Rust
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
Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
💻
Programming
Content type:
Blog
theaileverageweekly.com
·
16h
16 hours ago
·
Hacker News
Actions for Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
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