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
170
posts in
10.8
ms
A
Proof
in
Coq
that Core Logic is not Paraconsistent
Â
đ§
Critical Thinking
Â
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
Kemi Badenoch agrees with
Idris
Elba that Bond should not be âwokeâ
Â
đ§
Psychological Thriller
Â
Content type:
News
the-independent.com
·
18h
18 hours ago
Actions for Kemi Badenoch agrees with Idris Elba that Bond should not be âwokeâ
Sir
Idris
Elba Has Been Awarded a Knighthood
Â
đș
Prestige Television
ign.com
·
6d
6 days ago
Actions for Sir Idris Elba Has Been Awarded a Knighthood
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 ...
Â
đź
Game Development
lmika.org
·
6h
6 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 ...
Donât make James Bond woke, warns
Idris
Elba as Brit star, 53, reveals why he WONâT be the next 007
Â
đ§
Psychological Thriller
Â
Content type:
News
thesun.co.uk
·
1d
1 day ago
Actions for Donât make James Bond woke, warns Idris Elba as Brit star, 53, reveals why he WONâT be the next 007
Idris
Elba says James Bond audiences wouldnât accept a Black actor playing spy
Â
đŹ
Crime Documentaries
Â
Content type:
News
ctvnews.ca
·
15h
15 hours ago
Actions for Idris Elba says James Bond audiences wouldnât accept a Black actor playing spy
Idris
Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
Â
đ
Star Trek
bgr.com
·
5d
5 days ago
Actions for Idris Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
Idris
Elba: 'Don't try to make James Bond woke'
Â
đ§
Psychological Thriller
Â
Content type:
News
bbc.com
·
1d
1 day ago
Actions for Idris Elba: 'Don't try to make James Bond woke'
Idris
Elba Says Some Audiences Wonât Accept Black James Bond
Â
đș
Prestige Television
Â
Content type:
News
theonion.com
·
10h
10 hours ago
Actions for Idris Elba Says Some Audiences Wonât Accept Black James Bond
Proof
System
Timelines
Â
đ§
Critical Thinking
Â
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Idris
Elba, Newly Knighted, Closes the Book on Bond â and Says Global Markets Would Never Accept a Black 007
Â
đ
Star Trek
easternherald.com
·
17h
17 hours ago
Actions for Idris Elba, Newly Knighted, Closes the Book on Bond â and Says Global Markets Would Never Accept a Black 007
Issue 527
Â
đ„ïž
Frontend Dev
haskellweekly.news
·
5d
5 days ago
Actions for Issue 527
Idris
Elba Reveals the Bond Rumors Were âNever Legitâ
Â
đ§
Psychological Thriller
Â
Content type:
News
vulture.com
·
1d
1 day ago
Actions for Idris Elba Reveals the Bond Rumors Were âNever Legitâ
Idris
Elba says Bond audiences âwonât goâ for a Black man playing 007
Â
đș
Prestige Television
nme.com
·
19h
19 hours ago
Actions for Idris Elba says Bond audiences âwonât goâ for a Black man playing 007
Idris
Elba Reveals if James Bond Rumors Were âLegit,â Knows Why Audiences Would Never Accept His 007
Â
đ§
Psychological Thriller
Â
Content type:
News
movieweb.com
·
1d
1 day ago
Actions for Idris Elba Reveals if James Bond Rumors Were âLegit,â Knows Why Audiences Would Never Accept His 007
How a pig farm dispute exposed fault lines in Malaysiaâs multiracial politics
Â
đ
Food Anthropology
Â
Content type:
News
scmp.com
·
4d
4 days ago
Actions for How a pig farm dispute exposed fault lines in Malaysiaâs multiracial politics
Idris
Elba says him playing James Bond not ârealistic,â some audiences wonât accept âBlack maleâ in role
Â
đ€
Cyberpunk
Â
Content type:
News
Â
Content type:
Reference
nbcnews.com
·
1d
1 day ago
Actions for Idris Elba says him playing James Bond not ârealistic,â some audiences wonât accept âBlack maleâ in role
Idris
Elba: Letâs Not Make Bond âWokeâ
Â
đ§
Psychological Thriller
darkhorizons.com
·
23h
23 hours ago
Actions for Idris Elba: Letâs Not Make Bond âWokeâ
Abduction Prover in Isabelle/HOL
Â
đ§©
Puzzles
Â
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
Idris
Elbaâs upset wife Sabrina hits out after âracistâ confrontation with driver who hit her car
Â
đ§
Psychological Thriller
Â
Content type:
News
thesun.co.uk
·
1d
1 day ago
Actions for Idris Elbaâs upset wife Sabrina hits out after âracistâ confrontation with driver who hit her car
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