Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Theory
📐 Type Theory
Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
45
posts in
14.9
ms
🦀
Rust
arxiv.org
·
2d
2 days ago
Effect
Systems
as Abstract Interpretations
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Effect Systems as Abstract Interpretations
🐪
ocaml
jcreedcmu.github.io
·
6d
6 days ago
One More
Type
in the Tiny
Type
Theory
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for One More Type in the Tiny Type Theory
💻
programming
nLab
·
2d
2 days ago
Jonathan Prieto-Cubides
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Jonathan Prieto-Cubides
🔧
functional programming languages
Nature
·
17h
17 hours ago
The impact of leadership, social interaction, and support on subjective well-being among employees in a Malaysian public university: the mediating role of self-...
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The impact of leadership, social interaction, and support on subjective well-being among employees in a Malaysian public university: the mediating role of self-...
🔧
functional programming languages
link.springer.com
·
5d
5 days ago
The French School of Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
🔄
Async Rust
SceneSource
·
15h
15 hours ago
Masters of the Universe 2026 WEBRIP TELESYNC x264-MUSiCANA
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Masters of the Universe 2026 WEBRIP TELESYNC x264-MUSiCANA
🔧
functional programming languages
biffweb.com
·
5d
5 days ago
Biff.fx: lightweight
effects
system
for Clojure
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Biff.fx: lightweight effects system for Clojure
🔄
Async Rust
Artforum
·
2d
2 days ago
Barack and Michelle Obama Unveil First Dual Portrait Painted By Artist Njideka Akunyili Crosby
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Barack and Michelle Obama Unveil First Dual Portrait Painted By Artist Njideka Akunyili Crosby
Less-relevant results
🔄
Async Rust
Spitalfields Life
·
17h
17 hours ago
Midsummer With The Druids
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Midsummer With The Druids
💻
programming
youtube.com
Content type:
Video
·
6d
6 days ago
Churches across Nigeria mark ‘Black Sunday’ over violence, kidnappings
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Churches across Nigeria mark ‘Black Sunday’ over violence, kidnappings
🦀
Rust
The Defence Blog
·
1d
1 day ago
UK startup tests new long-range strike missile
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UK startup tests new long-range strike missile
⚠️
Error Handling
xavierleroy.org
·
6d
6 days ago
Control structures in programming languages From goto to algebraic
effects
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Control structures in programming languages From goto to algebraic effects
🦀
Rust
nLab
·
2d
2 days ago
Fredrik Bakke
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Fredrik Bakke
🔧
functional programming languages
Serokell Blog
·
5d
5 days ago
How Serokell Contributes to the Future of Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
🦀
Rust
arxiv.org
·
2d
2 days ago
Process-Verified Reinforcement Learning for
Theorem
Proving via Lean
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Process-Verified Reinforcement Learning for Theorem Proving via Lean
💻
programming
blog.adafruit.com
·
2d
2 days ago
WLED 16: What’s New #LED Matrices #AdafruitLearningSystem @Adafruit
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for WLED 16: What’s New #LED Matrices #AdafruitLearningSystem @Adafruit
🔧
functional programming languages
VICE
·
5d
5 days ago
From Odysseus to MC: Matt Damon is Becoming a Rapper Now for a Good Cause
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From Odysseus to MC: Matt Damon is Becoming a Rapper Now for a Good Cause
🔧
Tooling
The Art Newspaper
·
2d
2 days ago
Obama Presidential Center opens, offering an art-filled, hopeful view of US history
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Obama Presidential Center opens, offering an art-filled, hopeful view of US history
🔧
functional programming languages
GitHub
·
6d
6 days ago
JacobAsmuth/qed: A formally-verified web frontend framework in Lean 4
Covers
Lean: Programming Language and Theorem Prover
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for JacobAsmuth/qed: A formally-verified web frontend framework in Lean 4
🔧
functional programming languages
RadarOnline
·
2d
2 days ago
Inside Tom Hardy's 'MobLand' Wild Drama: Actor's Show Status Remains in Flux After He's Accused of Diva Behavior and On-Set Feud With A-List Co-Star
Covers
2 stories
See all stories this covers
including
Tom Hardy ‘Was Not Fired’ From ‘MobLand’ and Discussions Are Underway for His Return: ‘Things Are Being Worked Through Creatively’ (EXCLUSIVE)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Inside Tom Hardy's 'MobLand' Wild Drama: Actor's Show Status Remains in Flux After He's Accused of Diva Behavior and On-Set Feud With A-List Co-Star
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report