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, dependent types, type inference, generics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
38
posts in
8.9
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🤖
AI
lix.polytechnique.fr
·
8h
8 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Elixir 1.20 adds
type
inference
, boosts compilation speed, and debuts new compiler options
🎭
Actor Model
alternativeto.net
·
6d
6 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
🎭
Actor Model
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
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 ...
🗂
data structures
lmika.org
·
17h
17 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 ...
Create Your Own Programming Language with Rust
🔧
Compiler Design
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Issue 527
⚡
Async Rust
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
Proof
System
Timelines
📡
Protocol Design
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
How
TypeScript
infers
type variables
⚡
Async Rust
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?
🦀
Rust
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?
What’s Coming in Swift 6.4
⚡
Async 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
🔧
Compiler Design
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
Less-relevant results
lbj96347/nemotron-3.5-asr-ios: On-device, offline speech recognition for iPhone/iPad using NVIDIA's Nemotron-3.5-ASR Streaming 0.6B (multilingual) via CoreML.SwiftUI app with mic capture + audio file import, RNN-Tdecoding, and live benchmark metrics (latency, RTF, memory).
🤖
AI
Content type:
Code
github.com
·
13h
13 hours ago
·
Hacker News
Actions for lbj96347/nemotron-3.5-asr-ios: On-device, offline speech recognition for iPhone/iPad using NVIDIA's Nemotron-3.5-ASR Streaming 0.6B (multilingual) via CoreML.SwiftUI app with mic capture + audio file import, RNN-Tdecoding, and live benchmark metrics (latency, RTF, memory).
Introducing Jo — Secure Programming for the AI Era
🏛️
Software Architecture
Content type:
Blog
jo-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
A programming language for humans.
⚡
Developer Productivity
crowdhailer.me
·
2d
2 days ago
·
Lobsters
Actions for A programming language for humans.
Introduction - Rust for Python Programmers
🦀
Rust
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
Fewer False Positives in RustRover 2026.2|The RustRover Blog
⚡
Developer Productivity
Content type:
Blog
blog.jetbrains.com
·
1d
1 day ago
Actions for Fewer False Positives in RustRover 2026.2|The RustRover Blog
Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
🦀
Rust
Content type:
Blog
Content type:
Discussion
serokell.io
·
2d
2 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Validate and Transform Your
Data
with Schematic
🎭
Actor Model
mitchellhanberg.com
·
4d
4 days ago
Actions for Validate and Transform Your Data with Schematic
Strict stability of extension
types
🏛️
Software Architecture
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
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