a pessimistic researcher
Open in Telegram
2 256
Subscribers
+2924 hours
+517 days
+12830 days
Data loading in progress...
Similar Channels
Tags Cloud
Incoming and Outgoing Mentions
---
---
---
---
---
---
Attracting Subscribers
September '26
September '26
+63
in 3 channels
August '26
+121
in 4 channels
Get PRO
July '26
+93
in 1 channels
Get PRO
June '260
in 0 channels
Get PRO
May '26
+2
in 0 channels
Get PRO
April '26
+2
in 0 channels
Get PRO
March '26
+4
in 0 channels
Get PRO
February '26
+6
in 0 channels
Get PRO
January '26
+20
in 3 channels
Get PRO
December '25
+99
in 0 channels
Get PRO
November '25
+129
in 3 channels
Get PRO
October '25
+114
in 1 channels
Get PRO
September '25
+176
in 2 channels
Get PRO
August '25
+121
in 2 channels
Get PRO
July '25
+178
in 4 channels
Get PRO
June '25
+207
in 4 channels
Get PRO
May '25
+49
in 0 channels
Get PRO
April '25
+24
in 0 channels
Get PRO
March '25
+47
in 1 channels
Get PRO
February '25
+55
in 2 channels
Get PRO
January '25
+84
in 1 channels
Get PRO
December '24
+76
in 2 channels
Get PRO
November '24
+44
in 0 channels
Get PRO
October '24
+60
in 2 channels
Get PRO
September '24
+45
in 1 channels
Get PRO
August '24
+58
in 3 channels
Get PRO
July '24
+93
in 6 channels
Get PRO
June '24
+37
in 2 channels
Get PRO
May '24
+104
in 6 channels
Get PRO
April '24
+41
in 2 channels
Get PRO
March '24
+72
in 5 channels
Get PRO
February '24
+63
in 0 channels
Get PRO
January '24
+98
in 5 channels
Get PRO
December '23
+112
in 4 channels
Get PRO
November '23
+65
in 3 channels
Get PRO
October '23
+26
in 0 channels
Get PRO
September '23
+14
in 0 channels
Get PRO
August '23
+15
in 0 channels
Get PRO
July '23
+66
in 0 channels
Get PRO
June '23
+179
in 0 channels
Get PRO
May '23
+38
in 0 channels
Get PRO
April '23
+80
in 0 channels
Get PRO
March '23
+4
in 0 channels
Get PRO
February '230
in 0 channels
Get PRO
January '230
in 0 channels
Get PRO
December '22
+1
in 0 channels
Get PRO
November '22
+1
in 0 channels
Get PRO
October '22
+11
in 0 channels
Get PRO
September '22
+14
in 0 channels
Get PRO
August '22
+24
in 0 channels
Get PRO
July '22
+29
in 0 channels
Get PRO
June '22
+15
in 0 channels
Get PRO
May '22
+27
in 0 channels
Get PRO
April '22
+27
in 0 channels
Get PRO
March '22
+12
in 0 channels
Get PRO
February '22
+54
in 0 channels
Get PRO
January '22
+32
in 0 channels
Get PRO
December '21
+25
in 0 channels
Get PRO
November '21
+22
in 0 channels
Get PRO
October '21
+55
in 0 channels
Get PRO
September '21
+94
in 0 channels
Get PRO
August '21
+76
in 0 channels
Get PRO
July '21
+64
in 0 channels
Get PRO
June '21
+5
in 0 channels
Get PRO
May '21
+8
in 0 channels
Get PRO
April '21
+20
in 0 channels
Get PRO
March '21
+8
in 0 channels
Get PRO
February '21
+9
in 0 channels
Get PRO
January '21
+15
in 0 channels
Get PRO
December '20
+376
in 0 channels
| Date | Subscriber Growth | Mentions | Channels | |
| 09 September | +6 | |||
| 08 September | +29 | |||
| 07 September | +2 | |||
| 06 September | +4 | |||
| 05 September | +2 | |||
| 04 September | +6 | |||
| 03 September | +3 | |||
| 02 September | +9 | |||
| 01 September | +2 |
Channel Posts
🎓 IMDEA Software is hiring a PhD Student in Machine Learning in Synthesis!
Join Kaushik Mallik and Alessio Mansutti to work on combining machine learning with formal verification.
This project aims to develop a general, learning-enabled CEGIS framework for Skolem function synthesis to tackle complex synthesis problems across a variety of domains, including solving partial differential equations.
🔹 Who should apply:
Candidates holding a Master’s degree in Computer Science (or close to completing one). Prior background in formal verification and/or machine learning is appreciated, but not required.
📍 Location: Madrid, Spain
🗓 Application deadline: September 30th
🔗 Apply here: https://c.madrid/45zb2
| 2 | are you proving p vs np son? | 348 |
| 3 | زندگی چیست؟ پرامپت ورزیدن
پرامپت را به Claude بخشیدن | 630 |
| 4 | دوستانی که دستور خمیر رو پرسیدن قبلا نوشتم اینجا | 555 |
| 5 | سیسیها و جوجوهایی که تازه اومدن
خیلی به کسشرای اخیری که گذاشتم توجه نکنید
اگر میخواید بدونید اینجا کجاست و چطور جاییه اینا رو بخونی | 741 |
| 6 | دوستان من دو سه ماهی هست که داشتم روی اثبات P != NP کار میکردم با کمک Claude و Codex. الان مشغول فرمالسازی اثبات با Lean هستم. منتهی با خبر شدم که OpenAI از روی پرامپتهام فهمیده که تونستم با موفقیت اثبات کنم و یه تیم هزار نفری با صد هزار agent گذاشته وسط تا کار رو زودتر از من منتشر کنه. خلاصه اگر همین روزا اثبات اومد بیرون خایه نکنید کار من بوده. | 1 005 |
| 7 | خب یکم دور شم از این فضا
بذار ببینم
آهان یه ایمیل الان گرفتم از یکی از دانشجوهای مستر که به کارای من علاقه منده. آخیش برم بخونم یکم امید بگم حداقل یکم از محتوای AI دور بشم. ایمیلش:
Hello,
I’m [Censored], currently completing my M.Sc. in Computer Science at RPTU and looking for a Master’s thesis.
I came across your work in Cyber-Physical Systems at MPI-SWS and was particularly interested in the intersection of software, intelligent systems and real-world system behavior.
My background combines professional software development and testing experience with hands-on research in machine learning and explainable AI. In my current project, I developed an explainable decision-support system integrating ML models, SHAP-based explanations, what-if analysis and an interactive interface.
I am very open to expanding beyond my current research area and learning the CPS-specific methods required for the project. I would particularly enjoy a thesis with a strong implementation, software or data-driven component where I could contribute from the beginning.
If you have a current or upcoming Master’s thesis problem where my background could be useful, I would be very interested in discussing it with you.
I’ve attached my CV for context.
Best regards, | 811 |
| 8 | تک درختم سوخت
سیکیم جنگ صاحابی | 787 |
| 9 |  +5No text... | 802 |
| 10 |  +1No text... | 786 |
| 11 | به زودی کانالم رو به
a pessimistic chef
تغییر میدم | 942 |
| 12 | پیش میاد | 753 |
| 13 | میتونم بگم امروز اون لحظهایه که مهره شاه شطرنجم رو میخوابونم روی صفحه و میگم که تمام شد. توی این کانال هر چی در گذشته پیرامون AI گفتم اشتباه بود. کار همه مون تمومه. | 888 |
| 14 | https://openai.com/index/navier-stokes-solution/
مبارک شد
تمام خیلیها | 1 352 |
| 15 | [Recruiting Undergraduate Intern / Visiting Graduate Student / New Graduate Student]
Hi all!
I am recruiting passionate, motivated, and talented undergraduate and graduate students for Data, Interaction, Context, & Experience Lab (Dice Lab) at the School of Computing, KAIST (Daejeon, South Korea).
Research topics
🔊 Sonification-driven data accessibility
⚛️ Interface & visualization for quantum computing*
📊 Automation for empirical experiment stimuli design
Detailed descriptions are available at: https://lnkd.in/gv6vnn5v
If you’re interested, send me the following materials via my email (available in the website).
For Undergraduate Interns and Visiting Graduate Students (all paid, for Winter break, 2026-2027) send me the followings:
(1) Statement about which research project you’re interested in and why (up to 1 page, but if you have already written one, just send me that)–feel free to suggest a new research project!
(2) A soft copy of your transcript
Note: if you’re international, please contact early!
If you’re thinking a graduate position (Master’s or Ph.D.), details are also in the above page. Currently, the admission for Spring 2027 is completed. Fall application is planned for late March (for domestic), early March (for international), and early December (for International, Early track). Yet, you can still do an internship before applying!
Postdoc candidates are also welcome! Take a look at the above-linked page for details.
Feel free to send me an email for any questions as well! I’ll be at VIS 2026 in Boston if you want to talk to me in person.
*You don’t have to know quantum computing. You can learn during the internship. | 802 |
| 16 | 📢 Fully Funded PhD Openings in Machine Learning and AI for Science at NUS Computer Science
Blue Whale Lab @ NUS is recruiting PhD students for:
• Fall 2027
• Spring 2028
• Fall 2028
Research areas include Reasoning AI for Science, Machine Learning, LLMs/Agents for Science
We welcome highly motivated applicants from computer science, machine learning, and relevant scientific disciplines.
-> Details: https://lnkd.in/gVsRfpaj
and: https://yataobian.com
Please feel free to share! | 719 |
| 17 | The Department of Computer Science at TU Braunschweig (Germany, https://www.tu-braunschweig.de/en/fk1) is establishing a research group on Formal Methods for Trustworthy Systems and AI, offering several PhD positions. Topics of interest include formal verification, symbolic methods, and automated reasoning, with applications in AI and explainability.
# Positions
The positions are full-time, paid according to the German salary scale TV-L 13, and offered in a stimulating work environment that is well-embedded nationally (e.g., CPEC: https://cpec.science) and internationally (e.g., TU Eindhoven: https://fsa.win.tue.nl/).
# Requirements
Candidates are required to have
- a very good Master's degree in computer science, mathematics, or a closely related field,
- a strong background in theoretical computer science,
- motivation to conduct theoretical research with applications in practice,
- proficiency in English, and willingness to learn German.
Good programming skills in Rust and knowledge of automated reasoning, model checking, and logics are considered a plus.
# Applications
Interested candidates are requested to send the following documents to Clemens Dubslaff, head of the group (clemens.dubslaff@tu-braunschweig.de):
- A short letter of motivation and curriculum vitae,
- transcripts of records (Bachelor and Master studies),
- Bachelor thesis, and Master thesis (or a draft of the latter).
Please consider sharing this call also with colleagues and potential candidates in your network. | 757 |
| 18 | Indila - Parle A Ta Tete (320) (Iromusic).mp3 | 763 |
| 19 | چنان که خواهد رفت از یاد کسان
افسانه ما نیز | 907 |
| 20 |  No text... | 940 |
