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
🦋 Idris
Specific
idris2, dependent types, Idris language, type-driven development
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
182111
posts in
26.3
ms
Syntax
and
Semantics
of Linear Dependent Types
🔗
Linear Types
arxiv.org
·
1d
What’s New To Streaming: April 30, 2026
🔄
Differential Dataflow
crimereads.com
·
6d
At
GQ
’s Met Gala After-Party, Chase Infiniti,
Damson
Idris, Lisa, and Paul Anthony Kelly Hosted an A+ Crowd
🏳
lgbt
vogue.com
·
2d
Knifonium
Modular FX Brings Tube-Based Effects To
5U
Format
🎛️
Spectral Synthesis
synthtopia.com
·
3d
Forget the leaks about Sony's new high-end '
WH-1000XX
ColleXion
' headphones — the company is straight-up teasing us now, highlighting high-res photos of a mystery pair being worn by 'F1: The Movie' star Damson Idris
🌫️
Noise Functions
techradar.com
·
3d
Sony
WH-1000XX
headphones spotted in the wild ahead of its official launch
🎛️
Spectral Synthesis
digitaltrends.com
·
3d
Apple
exec
expects
F1 movie sequel to happen
💾
Flash Storage
awfulannouncing.com
·
5d
Type
Theory With
Erasure
λ
Type Theory
arxiv.org
·
4d
Polymorphism
Meets
DHOL
λ
Type Theory
arxiv.org
·
4d
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