a pessimistic researcher

@apessimisticresearcher

جهان ما از دیتابیس و فرمال متد شروع میشه و به پوچی ختم میشه!

Iran111 052Farsi104 087Education67 484

Advertising posts

1 286

Subscribers

+624 hours

+87 days

+2630 days

710

Post views

No data24 hours

No data48 hours

55.17%

Engagement rate

No data24 hours

No data48 hours

Mentions

No data7 days

No data30 days

No data

Posts per day

~ 39

Reactions

~ 3

Comments

~ 8

Reposts

Subscribers
Post coverage
ER - engagement ratio

Data loading in progress...

آن روز ولی از ما یادی به میان آور رفتیم غریبانه بی‌صدا و پنهانی

Show all...

❤ 10👏 6💩 1

دوستان کمک 😂 آقا توی فرانسه چرا معلوم نیست که قطارا توی کدوم خط سوار و پیاده میکنن؟ نه توی ایستگاه نوشته نه توی اپلیکیشن هاشون. راهی هست بشه فهمید؟

Show all...

آپدیتی در راه است...

Show all...

🔥 28❤ 4💩 3⚡ 1👎 1🍓 1🗿 1

خب دوستان، امروز هم جلسه‌ی چهارم و پایانی این رویداد برگزار میشه.

Show all...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه چهارم Towards a Big-step Higher-Order Mathematical Operational Semantics پویا پرتو ⏰ یکشنبه ۱۳ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۰۷ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

👍 3💩 1

دوستان جلسه‌ی سوم این رویداد امروز ساعت ۱۸ برگزار می‌شود

Show all...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه سوم آشنایی با نظریه زبان‌های برنامه‌نویسی اشا سروش‌پور ⏰ شنبه ۱۲ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

🔥 5👍 1💩 1

پارسال دقیقا همین موقع‌ها بود یکی از دوستانِ کانال بهم پیام داد و گفت میخواد برای کنکور ارشد بخونه و یه گپ و گفت کوتاهی داشتیم. امروز بهم پیام داد و گفت رتبه‌ی تک رقمی علوم کامپیوتر آورده. هم همه حیرتم از همتش هم جوری خوشحالم که انگار خودم رتبه آوردم. روزم خوش شد.

Show all...

❤ 50💩 1

دوستان جلسه‌ی دوم این رویداد امروز ساعت ۱۸:۳۰ آغاز خواهد شد.

Show all...

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

#عصرانه_ریاضی از منطق و نظریه‌ی انواع تا درستی‌یابی صوری جلسه دوم دنیای برهان‌ها و نرم‌افزار‌های بدون باگ محسن لیاقت ⏰ دوشنبه ۷ خرداد، ساعت ۱۸:۳۰ این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

😍 11🤪 1

"PhD in Formal Proofs @ University of Lille" ————————————————————— Dear all, We are pleased to announce the availability of 1-2 PhD positions at the University of Lille, starting on September 1, 2024, as part of a European project. These positions will focus on the intersection of formal proof in Coq, low-level code, mobile code, certified compilation, and separation logic. If you are interested in applying, please email me with a brief description of your background and interests, along with your CV. Your CV should include the names and contact details of two references. Best regards, David -- David Nowak https://www.cristal.univ-lille.fr/~nowakd/

Show all...

David Nowak

David Nowak - Centre de Recherche en Informatique, Signal et Automatique de Lille - CRIStAL - UMR 9189 - CNRS and University of Lille

👍 4💩 1

لینک رو هم گذاشتن

Show all...

❤ 1

لینک رو می‌ذارن توی کانال به زودی، یادش بخیر همیشه درب قدس رو سر ساعت ۶ می‌بستن :)) چه روزایی بود اسماعیل

Show all...

❤ 4👍 1

Choose a Different Plan

Your current plan allows analytics for only 5 channels. To get more, please choose a different plan.