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
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
78
posts in
14.0
ms
The design principles of the Elixir
type
system
💻
programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
Static
types
and shovels (2026)
💻
programming
carefully.understood.systems
·
3h
3 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
💻
programming
lix.polytechnique.fr
·
12h
12 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
New comment by dsign in "Are you expected to run five Python
type-checkers
now?"
💻
programming
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?"
nixidy part 4:
Typed
resource options and CRD generation
💻
programming
codedbearder.com
·
2d
2 days ago
Actions for nixidy part 4: Typed resource options and CRD generation
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
💻
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
💻
programming
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Breaking Circular Imports in Python Without Losing
Type
Safety
🐍
python
Content type:
Blog
orcaset.com
·
6d
6 days ago
·
Hacker News
,
Hacker News
Actions for Breaking Circular Imports in Python Without Losing Type Safety
Language Models for Programming — Will Richardson
💻
programming
willhbr.net
·
1d
1 day ago
Actions for Language Models for Programming — Will Richardson
One Language To Rule Them All
💻
programming
Content type:
Blog
programmingsimplicity.substack.com
·
6d
6 days ago
·
Substack
Actions for One Language To Rule Them All
Proof
System
Timelines
💻
programming
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Zephir: PHP Extension Language
💻
programming
zephir-lang.com
·
5d
5 days ago
·
Hacker News
Actions for Zephir: PHP Extension Language
Lucas127128/better-event: A better event emitter! (inspired by emittery)
💻
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
💻
programming
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
What’s Coming in Swift 6.4
💻
programming
wadetregaskis.com
·
2d
2 days ago
Actions for What’s Coming in Swift 6.4
A programming language for humans.
💻
programming
crowdhailer.me
·
2d
2 days ago
·
Lobsters
Actions for A programming language for humans.
Running Dialyzer for Elixir Projects in GitHub Actions
🐍
python
Content type:
Blog
stratus3d.com
·
5d
5 days ago
Actions for Running Dialyzer for Elixir Projects in GitHub Actions
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
How
TypeScript
infers
type variables
💻
programming
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
When
Types
Intersect and Effects Get Handled
💻
programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
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