PLT

📐 PLTSpecific

programming language theory, type theory, semantics, formal methods

Feeds to Scour
SubscribedAll
Scoured 176 posts in 9.1 ms

Formal methods and the future of programming

 🔢Functional Programming  Content type: Blog
blog.janestreet.com··Lobsters

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔢Functional Programming
lix.polytechnique.fr·

Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’

 🦸Superhero Fiction  Content type: News
the-independent.com·

Don’t make James Bond woke, warns Idris Elba as Brit star, 53, reveals why he WON’T be the next 007

 🦸Superhero Fiction  Content type: News
thesun.co.uk·

A Proof in Coq that Core Logic is not Paraconsistent

 λHaskell  Content type: Academic
arxiv.org·

Subversion-Resistance for Free from Formal Verification

 🔢Functional Programming
lesswrong.com·

Idris Elba: 'Don't try to make James Bond woke'

 🦸Superhero Fiction  Content type: News
bbc.com·

Idris Elba Says Some Audiences Won’t Accept Black James Bond

 🦸Superhero Fiction  Content type: News
theonion.com·

Proof System Timelines

 🔢Functional Programming  Content type: Blog
klatz.co·
Less-relevant results

cryspen/hax: A Rust verification tool

 🔢Functional Programming  Content type: Code
github.com··Lobsters

Idris Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007

 🦸Superhero Fiction
easternherald.com·

Idris Elba says Bond audiences “won’t go” for a Black man playing 007

 🦸Superhero Fiction
nme.com·

Idris Elba Reveals the Bond Rumors Were ‘Never Legit’

 🦸Superhero Fiction  Content type: News
vulture.com·

Idris Elba says James Bond audiences wouldn’t accept a Black actor playing spy

 🦸Superhero Fiction  Content type: News
ctvnews.ca·

'Some Markets Just Don't Go For That': Idris Elba Says James Bond Casting Hope Was Never 'Realistic'

 🦸Superhero Fiction  Content type: News
ign.com·

Dr. Renata Goncalves recognized with Outstanding Manuscript Award

 λHaskell  Content type: Academic
hsph.harvard.edu·

Idris Elba says him playing James Bond not ‘realistic,’ some audiences won’t accept ‘Black male’ in role

 🦸Superhero Fiction  Content type: News  Content type: Reference
nbcnews.com·

Programming Languages Software Award

 ⚙️Compilers
sigplan.org·

Idris Elba Reveals if James Bond Rumors Were “Legit,” Knows Why Audiences Would Never Accept His 007

 🦸Superhero Fiction  Content type: News
movieweb.com·

Issue 528

 🔢Functional Programming
haskellweekly.news·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help