TGViewer
a pessimistic researcher a pessimistic researcher @apessimisticresearcher · 2.38K subscribers
Post #5552 584
The Formal Semantics of Programming Languages: An Introduction - Glynn Winskel - The MIT Press - 1993 @debrary
بر اساس این کتاب دارم یک سری ویدوی ضبط میکنم که به نظرم شروع خوبی برای ورود به دنیای PL و Verification هستش. و قصد دارم توی ویدیو اول بهتون بگم که چرا باید امروز کتابی که سال ۱۹۹۳ چاپ شده رو خوند.
Open in Telegram All posts from @apessimisticresearcher
More from @apessimisticresearcher
  1. Oct 15, 2026از اونجایی که ما جلسه آنلاین و پرسش و پاسخ نخواهیم داشت، حوصله گروه و این داستان‌ها هم نیس…
  2. Oct 9, 2026The sweeter lessson
  3. Oct 8, 2026تک درختم سوخت سیکیم جنگل صاحابی
  4. Oct 8, 2026دیدید ترسم بی‌جا نبود؟ آقای Jukka Suomela توی لینکدین امشب پست گذاشته: I think our researc…
  5. Oct 8, 2026دلم اون دورانی رو میخواد که کدکس برند کاندوم بود و نه چیز بیشتر
  6. Oct 8, 2026شب‌ها به کنج codex ام آواز می‌دهند کای Astra گنج فرمالیان باز می‌دهند
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →