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, type inference, generics, dependent types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
38
posts in
5.8
ms
When
Types
Intersect and Effects Get Handled
🔧
Compilers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Functional Programming
lix.polytechnique.fr
·
1h
1 hour 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
λ
Functional Programming
alternativeto.net
·
5d
5 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
·
17h
17 hours ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Fewer False Positives in RustRover 2026.2|The RustRover Blog
🔧
Compilers
Content type:
Blog
blog.jetbrains.com
·
1d
1 day ago
Actions for Fewer False Positives in RustRover 2026.2|The RustRover Blog
a topos-oriented language with a content-addressed lattice heap
🔧
Compilers
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
🔧
Compilers
wadetregaskis.com
·
1d
1 day ago
Actions for What’s Coming in Swift 6.4
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
🔧
Compilers
Content type:
Discussion
news.ycombinator.com
·
17h
17 hours ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
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
Introducing Jo — Secure Programming for the AI Era
🔧
Compilers
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.
🔧
Compilers
crowdhailer.me
·
1d
1 day ago
·
Lobsters
Actions for A programming language for humans.
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
🕸️
Distributed Systems
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
Patoline
λ
Functional Programming
patoline.github.io
·
6d
6 days ago
Actions for Patoline
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).
📊
Benchmarking
Content type:
Code
github.com
·
6h
6 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).
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
When AI builds itself 👷, AI is not a
line
item 📝, local LLMs for agentic coding 🤖
λ
Functional Programming
tldr.tech
·
5d
5 days ago
Actions for When AI builds itself 👷, AI is not a line item 📝, local LLMs for agentic coding 🤖
Go: The Language That Just Works
🔌
APIs
go.dev
·
6d
6 days ago
·
DEV
Actions for Go: The Language That Just Works
Building with AI Agents: Mapbox DevKit MCP Server Demo at BUILD 2025
🛠️
Developer Experience
Content type:
Blog
mapbox.com
·
1d
1 day ago
Actions for Building with AI Agents: Mapbox DevKit MCP Server Demo at BUILD 2025
How
TypeScript
infers
type variables
🔧
Compilers
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
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