PLT

📐 PLTSpecific

programming language theory, type theory, semantics, formal methods

Feeds to Scour
SubscribedAll
Scoured 172 posts in 6.3 ms

Ankura launches Financial Services Advisory practice in the Middle East

 🧙Fantasy  Content type: News
consultancy-me.com·

Strict stability of extension types

 🔢Functional Programming  Content type: Academic
arxiv.org·

UK Watchdog Opens Formal Probe Into Paramount’s $110 Billion Warner Takeover, Sets August 7 Deadline

 📡OpenTelemetry
easternherald.com·

Idris Elba says audiences would never accept a black actor playing James Bond: ‘That’s not what they like in their culture’

 🦸Superhero Fiction  Content type: News
theguardian.com·

Pride Month means more ‘rainbow washing’ faux pas – Ladybird’s lesbian cartoon was bad, but Hello Fresh took the biscuit

 ⚔️LitRPG  Content type: News
thesun.co.uk
·

Blindfolded ‘Love Island USA’ Contestants Challenged To Guess Who Saying Slur

 🗣️Language Learning  Content type: News
theonion.com·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 λHaskell  Content type: Code
github.com··Hacker News

From Ariana Grande to Connor Storrie: Which ‘SNL’ Hosts Were Submitted for Emmys and Who Was Snubbed?

 🧪Food Science  Content type: News
variety.com·

A Better World at the Obama Center

 🦸Superhero Fiction
hyperallergic.com·

Idris Elba Says Bond Rumors Were ‘Never Legit’ and ‘Not Realistic’: Audiences ‘Won’t Go for a Black Male Playing Bond’

 🦸Superhero Fiction  Content type: News
variety.com·

1,200-Year-Old Game Board Found in Ancient Volubilis Carved into the Steps of a Medieval Public Bath

 ⚔️LitRPG
labrujulaverde.com·

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🔢Functional Programming  Content type: News
developing.dev·

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 🔢Functional Programming  Content type: Academic
arxiv.org·

The only reason to make this movie was money

 🦸Superhero Fiction  Content type: Blog
freethoughtblogs.com·

George Clooney shares his personal pick for ‘perfect’ James Bond: ‘He’s tall and handsome’

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

Artificial intelligence 'promising and problematic' for courts, chief justice says

 🗑️Garbage Collection  Content type: News
ctvnews.ca·

'Masters of the Universe' Post-Credits Scene Details Revealed as Reboot Introduces Key Character

 🦸Superhero Fiction  Content type: News
movieweb.com·

Sean ‘Diddy’ Combs Sued by Former Child Actor Over Alleged 2007 Hollywood Assault

 🦸Superhero Fiction
easternherald.com·

Oliver Ginkel vs Norbert Ruzicka: Time, card, TV channel & live stream for TONIGHT’S Fame Fighting vs Misfits Boxing

 📡OpenTelemetry  Content type: News
thesun.co.uk·

Inside Chicago’s Obama Center

 🦸Superhero Fiction
hyperallergic.com·
Sign up or log in to see more results
Sign UpLogin

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