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
PL Theory
λ PL Theory
programming languages, type theory, semantics, formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
130
posts in
8.3
ms
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
📐
Mathematics
lix.polytechnique.fr
·
8h
8 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Abduction
Prover
in
Isabelle/HOL
📐
Mathematics
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Abduction Prover in Isabelle/HOL
Proof
System
Timelines
📐
Mathematics
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Idris
Elba Says Some Audiences Won’t Accept Black James Bond
🎯
Embedding Models
Content type:
News
theonion.com
·
22h
22 hours ago
Actions for Idris Elba Says Some Audiences Won’t Accept Black James Bond
Kemi Badenoch agrees with
Idris
Elba that Bond should not be ‘woke’
🔄
Eventual Consistency
Content type:
News
the-independent.com
·
1d
1 day ago
Actions for Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’
Idris
Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
🔧
Linkers
bgr.com
·
6d
6 days ago
Actions for Idris Elba's Role In This Obscure '90s Sci-Fi Series Is Genuinely Baffling
Don’t make James Bond woke, warns
Idris
Elba as Brit star, 53, reveals why he WON’T be the next 007
📐
TLA+
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
Neon NTT - (Auto)
formalised
📐
Mathematics
eprint.iacr.org
·
12h
12 hours ago
Actions for Neon NTT - (Auto)formalised
Idris
Elba: 'Don't try to make James Bond woke'
🌐
XDP
Content type:
News
bbc.com
·
2d
2 days ago
Actions for Idris Elba: 'Don't try to make James Bond woke'
AWS can now mathematically
prove
your VMs are isolated
🐧
Operating Systems
thenewstack.io
·
1h
1 hour ago
Actions for AWS can now mathematically prove your VMs are isolated
Programming
Languages
Software Award
📐
Mathematics
sigplan.org
·
10h
10 hours ago
Actions for Programming Languages Software Award
How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
🔄
Replication
Content type:
News
scmp.com
·
5d
5 days ago
Actions for How a pig farm dispute exposed fault lines in Malaysia’s multiracial politics
Idris
Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
🧊
Iceberg
easternherald.com
·
1d
1 day ago
Actions for Idris Elba, Newly Knighted, Closes the Book on Bond — and Says Global Markets Would Never Accept a Black 007
Idris
Elba says Bond audiences “won’t go” for a Black man playing 007
📐
TLA+
nme.com
·
1d
1 day ago
Actions for Idris Elba says Bond audiences “won’t go” for a Black man playing 007
a topos-oriented
language
with a content-addressed lattice heap
⚙️
Compilers
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Idris
Elba Reveals the Bond Rumors Were ‘Never Legit’
🧊
Iceberg
Content type:
News
vulture.com
·
2d
2 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
🔍
Information Retrieval
Content type:
News
ctvnews.ca
·
1d
1 day 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'
🗳️
Raft Consensus
Content type:
News
ign.com
·
2d
2 days ago
Actions for 'Some Markets Just Don't Go For That': Idris Elba Says James Bond Casting Hope Was Never 'Realistic'
Nigerian army rescues 360 Boko Haram captives in Borno State
🤝
Paxos Consensus
Content type:
Video
youtube.com
·
3d
3 days ago
Actions for Nigerian army rescues 360 Boko Haram captives in Borno State
Idris
Elba Reveals if James Bond Rumors Were “Legit,” Knows Why Audiences Would Never Accept His 007
🎯
Embedding Models
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
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