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 Theory
📐 Type Theory
Specific
dependent types, type inference, category theory, Hindley-Milner
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
174
posts in
6.5
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Functional Programming
lix.polytechnique.fr
·
1d
1 day ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Don’t make James Bond woke, warns
Idris
Elba as Brit star, 53, reveals why he WON’T be the next 007
🦞
Boston
Content type:
News
thesun.co.uk
·
3d
3 days 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
Less-relevant results
cryspen/hax: A Rust verification tool
✔️
Formal Verification
Content type:
Code
github.com
·
12h
12 hours ago
·
Lobsters
Actions for cryspen/hax: A Rust verification tool
Proof System Timelines
✔️
Formal Verification
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
A Proof in
Coq
that Core Logic is not Paraconsistent
✔️
Formal Verification
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
Idris
Elba: 'Don't try to make James Bond woke'
🦞
Boston
Content type:
News
bbc.com
·
3d
3 days ago
Actions for Idris Elba: 'Don't try to make James Bond woke'
Kemi Badenoch agrees with
Idris
Elba that Bond should not be ‘woke’
🦞
Boston
Content type:
News
the-independent.com
·
2d
2 days ago
Actions for Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’
Idris
Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role
🦞
Boston
Content type:
News
Content type:
Reference
nbcnews.com
·
3d
3 days ago
Actions for Idris Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role
Idris
Elba Says Some Audiences Won’t Accept Black James Bond
🦞
Boston
Content type:
News
theonion.com
·
1d
1 day ago
Actions for Idris Elba Says Some Audiences Won’t Accept Black James Bond
Idris
Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
🦞
Boston
easternherald.com
·
2d
2 days ago
Actions for Idris Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
Idris
Elba Reveals the Bond Rumors Were ‘Never Legit’
🦞
Boston
Content type:
News
vulture.com
·
3d
3 days ago
Actions for Idris Elba Reveals the Bond Rumors Were ‘Never Legit’
Idris
Elba says James Bond audiences wouldn’t accept a Black actor playing spy
🦞
Boston
Content type:
News
ctvnews.ca
·
2d
2 days ago
Actions for Idris Elba says James Bond audiences wouldn’t accept a Black actor playing spy
'Some Markets Just Don't Go For That':
Idris
Elba Says James Bond Casting Hope Was Never 'Realistic'
🦞
Boston
Content type:
News
ign.com
·
3d
3 days ago
Actions for 'Some Markets Just Don't Go For That': Idris Elba Says James Bond Casting Hope Was Never 'Realistic'
Idris
Elba says Bond audiences “won’t go” for a Black man playing 007
🦞
Boston
nme.com
·
2d
2 days ago
Actions for Idris Elba says Bond audiences “won’t go” for a Black man playing 007
Programming Languages Software Award
✔️
Formal Verification
sigplan.org
·
1d
1 day ago
Actions for Programming Languages Software Award
Idris
Elba Reveals if James Bond Rumors Were “Legit,” Knows Why Audiences Would Never Accept His 007
🦞
Boston
Content type:
News
movieweb.com
·
3d
3 days ago
Actions for Idris Elba Reveals if James Bond Rumors Were “Legit,” Knows Why Audiences Would Never Accept His 007
Dr. Renata Goncalves recognized with Outstanding Manuscript Award
✔️
Formal Verification
Content type:
Academic
hsph.harvard.edu
·
2d
2 days ago
Actions for Dr. Renata Goncalves recognized with Outstanding Manuscript Award
How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
🏙️
Rochester
Content type:
News
scmp.com
·
6d
6 days ago
Actions for How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
James Bond Audiences 'Won't Go for Black 007':
Idris
Elba Rules Himself Out of Playing Super Spy and Pleads with Bosses 'Don't Go Woke'
🦞
Boston
Content type:
News
radaronline.com
·
2d
2 days ago
Actions for James Bond Audiences 'Won't Go for Black 007': Idris Elba Rules Himself Out of Playing Super Spy and Pleads with Bosses 'Don't Go Woke'
A First Look at the Art in the New Obama Presidential Center
🦞
Boston
hyperallergic.com
·
2d
2 days ago
Actions for A First Look at the Art in the New Obama Presidential Center
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