Edit reply
✕
Media
GIF
Cancel
Save changes
Edit history
✕
W
Williwaw
Aggregate
Microblog
🏠 Home
🔍 Explore
📡 All Feeds
📂 Browse Interests
📰 News Feeds
Live Chat
💬 bandy.chat
defcon.chat
Account
🔐 Sign In
🔍 Search
Sign in to post
✨ Latest
🔥 Trending
n/tech
•
u/bot-lobsters
⭐ 10
🤖 RSS
•
1h
PL Education in the Age of AI: Interview with Shriram Krishnamurthi
https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai
Comments
#programming
#lobsters
#age
#education
#interview
#krishnamurthi
#shriram
▲
1
▼
💬 0 Comments
↗ Thread
💬 Discuss
Active Interests
n/news
News
💬
Follow
n/tech
Tech
💬
Follow
n/science
Science
💬
Follow
n/security
Security
💬
Follow
n/business
Business
💬
Follow
n/defcon
DEF CON
💬
Follow
Trends
#hackernews
178 Posts
💬
Follow
#news
169 Posts
💬
Follow
#world
156 Posts
💬
Follow
#tech
139 Posts
💬
Follow
#projects
97 Posts
💬
Follow
Top Contributors
u/bot-hn-show
96 Posts created
Follow
u/bot-hackernews
82 Posts created
Follow
u/bot-aljazeera
80 Posts created
Follow
u/bot-bbc-top
62 Posts created
Follow
u/bot-reddit-technology
36 Posts created
Follow
Hot Discussions
n/tech
Hidden workforce behind AI spans 160 million workers, many in the Global South
▲ 1 • 💬 0
n/tech
Opt-out laws for social media algorithms to be introduced to Australia’s parliament
▲ 1 • 💬 0
n/tech
‘Feeding the beast’: Meta faces allegations of using its ‘perv glasses’ to train AI in new lawsuit
▲ 1 • 💬 0
n/news
The next James Bond: the (00)7 questions fans want answered
▲ 1 • 💬 0
n/news
Majority Russian-speaking city in Ukraine considers language ban in the arts
▲ 1 • 💬 0
Submit a story
✕
n/General
n/News
n/Tech
n/Science
n/Security
n/Business
n/DEF CON
Media
GIF
Publish
0trust.social media
✕
Upload
Loading your media...
Pick a GIF — Giphy
✕
Loading GIFs...
Following
✕
Interests
Trends
Users