PhD in TCS @ Warwick University
—————————————————————

PhD positions are available at the Theory and Foundations group in the Department of Computer Science, University of Warwick, UK. The group works on various aspects of theoretical computer science including:

* algorithmic game theory
* approximation algorithms
* automata and formal languages
* combinatorics and graph algorithms
* computational complexity
* logic and games
* online and dynamic algorithms
* parallel algorithms and distributed computing
* parameterized complexity and structural graph theory
* random structures and randomized algorithms
* sublinear and streaming algorithms
* theoretical foundations of machine learning

The group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP), established in 2007 jointly with Warwick Mathematics Institute and Warwick Business School. Together with DIMAP, the group is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science.

The Department of Computer Science at Warwick offers an excellent research environment. It was ranked 4th in the latest UK research assessment in Research Excellence Framework (REF) in 2021.

The university campus is located on the border of two counties, West Midlands and Warwickshire, is about one hour train ride from London, and 15 minutes from Birmingham International Airport.

The applicants are expected to have a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in computer science, mathematics, or related disciplines. The position(s) will be fully funded, and the successful applicant(s) will be receiving a stipend at rate in line with current Research Councils UK rates.

If you are interested in this opening, please send an email with subject line `Application for PhD position’ to either Sayan Bhattacharya <[email protected]> or Dmitry Chistikov <[email protected]> with a SINGLE .pdf file containing: (i) your CV, (ii) contact email address, and (iii) the names and email addresses of two references. The deadline for receiving the applications is 11 November 2025.

You are strongly encouraged to informally contact faculty members in the group you might want to work with prior to submitting your application. Only those candidates whose applications are endorsed by a faculty member in the group will be interviewed informally during the week of 17 November 2025. The following subset of faculty members of the group are looking for PhD students this year.

* Dmitry Chistikov
* Artur Czumaj
* Charilaos Efthymiou
* Matthias Englert
* Christian Ikenmeyer
* Marcin Jurdzinski
* Ranko Lazic

Relevant links:
Theory and Foundations research group
Department of Computer Science at Warwick
List of all faculty members in the group

اینم بگم که Dmitry دانشجوی قدیم استاد من بوده و هر از چندگاهی هنوز میاد MPI و باهاش کار می‌کنیم. فوق‌العاده آدم نایس و گلیه و امان از هوش و قدرت انتقال مطلبش :) خلاصه که برای دکتری بسیار بسیار پیشنهاد میشه

«افراط و خودبرتربینی مانع پیشرفته»


توسعه دهنده ارشد کی‌دی‌ای نیت گراهام، یک پستی توی بلاگ شخصی خودش گذاشته:

https://pointieststick.com/2025/10/04/a-mac-like-experience-on-linux/

که اگر بخاطر Liquid Glass دارید مهاجرت می‌کنید باید چیکار کنید.


اولین میزکاری که پیشنهاد کرده گنوم بوده، و این برای من قابل اهمیته که چرا این مدل افراط درمورد میزکار فقط توی جوامع ایرانی وجود داره؟ :))


الان شاید بگید مگه خودت طرفدار افراطی کی‌دی‌ای نیستی؟ من از گنوم هم استفاده می‌کنم روی موبایل شخصی خودم، و صرفاً وقتی یکی میاد افراطی نظر میده منم یکمی اذیتش می‌کنم:))



ولی جدای از این‌ها، امیدوارم این رفتارها رو کمتر ببینیم‌.


@SohrabContents

جمهوری اسلامی ایران آماده‌ ابلاغ و اجرای قانونی شده که برای استفاده‌کنندگان از اینترنت #استارلینک، مجازات اعدام وضع کرده است.
اهمیت این مصوبه در آن است که برای اولین‌بار در جهان استفاده از فناوری‌های اینترنت ماهواره‌ای با مجازات مرگ روبه‌رو شده و این رکورد به نام جمهوری اسلامی ثبت شده است.

© iranwire

🔍 ircf.space
@ircfspace

🔶 لاراول ایده برنامه دارد که فیلدهای جدیدی برای رابط کاربری مدل لاراول در PHPStorm اضافه کند.

مانند فیلد جدید Index و Filament resource

#لاراول

@TheRaymondDev

وقتی دچار بیماری خود بزرگ پنداری به توان 1000 میشی.

از اینکه کانال امیریا گیر همچین آدمی افتاده واقعا متاسفم 😄

نمونه این افراد زیاده، وقتی ممبرهاشون از 1k میگذره کلا خودشون رو گم میکنن از خدای هوش مصنوعی گرفته تا …

🔶 پاول دروف : من ۴۱ ساله می‌شوم، اما حس و حال جشن گرفتن ندارم.

نسل ما دارد زمان را از دست می‌دهد تا اینترنت آزادی را که پدرانمان برای ما ساختند، نجات دهد و چیزی که زمانی نماد تبادل آزاد اطلاعات بود، حالا به ابزار نهایی کنترل و نظارت تبدیل شده است.

کشورهایی که زمانی آزاد بودند، حالا در حال اجرای تدابیر تاریک و ضد آزادی‌اند مانند شناسه ‌های دیجیتال در بریتانیا، بررسی سن کاربران در استرالیا، و اسکن گسترده پیام‌های خصوصی در اتحادیه اروپا.

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

جهانی تاریک و ویران ‌شده با شتاب در حال نزدیک شدن است در حالی که ما در خوابیم. نسل ما در خطر آن است که در تاریخ به عنوان آخرین نسلی شناخته شود که آزادی داشت و اجازه داد آن آزادی از بین برود.

به ما دروغ گفته‌اند.

به ما القا کرده‌اند که بزرگ ‌ترین نبرد نسل ما، نابود کردن همه چیزهایی است که نیاکان ‌مان برایمان به ‌جا گذاشتند: سنت، حریم خصوصی، استقلال، بازار آزاد، و آزادی بیان.

با خیانت به میراث گذشتگانمان، خود را در مسیری رو به نابودی قرار داده‌ایم نابودی اخلاقی، فکری، اقتصادی، و در نهایت زیستی.

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

@TheRaymondDev

اینم قسمت آخر از آموزش شطرنج. حداقل قسمت آخر از خود آموزش. در این قسمت یه بازی می کنیم که خیلی خنده داره چون طرف خیلی قوی تر است و هی می گم «من می دونم من می ‌بازم»؛ حتی وقتی جلوترم. و بعدش هم در مورد زبان خوندن و نوشتن حرکات شطرنج گپ می زنیم و به نتیجه بازی می‌خندیم. می دونین که؟ گاهی برد. وباخت مهم نیست، مهم اینه که بازی کنیم و تلاش. بالاخره یکی از این بارها خواهیم برد!

https://youtu.be/t2R_0OeHCf8

اگر رقابت بدنسازی مسترالمپیا2025 رو زنده دوست داشتید ببینید
https://t.iss.one/persianfitnews

📣 معرفی ICRev v1.0

🔻 ابزار جدید ما برای تونلینگ از طریق ICMP و برقراری reverse‑shell رمزنگاری‌شده — ساخته‌شده با Go و بدون وابستگی خارجی.

ویژگی‌های کلیدی:

‏AES-256-CBC: تمامی payloadها رمزنگاری می‌شوند و هر پکت با IV منحصربه‌فرد تولید می‌شود تا الگوهای قابل پیش‌بینی ایجاد نشود.

‏HMAC-SHA256: تضمین یکپارچگی و اصالت داده‌ها، جلوگیری از جعل بسته‌ها و حملات replay.

بدون وابستگی خارجی: کاملاً self-contained با کتابخانه استاندارد Go، کاهش footprint و افزایش قابلیت حمل.

حالت‌های سرور و ایجنت با Jitter و Heartbeat: برای عملیات طولانی‌مدت و مخفیانه مناسب است.

استفاده از ICMP: عبور از محدودیت‌های شبکه و کاهش احتمال شناسایی توسط IDS/IPS، بدون نیاز به پورت باز.

چرا ICMP؟

ترافیک ICMP مشابه فعالیت‌های شبکه‌ای معمول (ping) است، بنابراین شناسایی آن دشوارتر است.

امکان انتقال داده‌های کوچک برای ارسال دستورات یا exfiltration بدون نیاز به پورت‌های خاص.

تمام جزئیات نصب، اجرای سرور و ایجنت، و نکات مربوط به دسترسی‌ها در README گیت‌هاب موجود است.


👁‍🗨 Github
💬 Forum
📣 DarkBit

اما تو همون چیزی باش که بهش باور داری؛ دور شدن از باورات، دور شدن از خودته‌.

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۴۹۲

آن کس که از آب و گل نگاری دارد
روزی به وصال او قراری دارد
ای نادره آنکه زاب و گل بیرون شد
کو چون تو غریب شهریاری دارد

#مولانا | گنجور
📍@iipoem

🔵 عنوان مقاله
be experimenting with

🟢 خلاصه مقاله:
از کتابخانه‌های زیادی که می‌خواهند به مخاطبان بیشتری برسند، در حال حاضر نسخه‌های JavaScript ارائه می‌شود تا هم در مرورگر و هم در محیط‌های Node.js، Deno و Bun در دسترس باشند. مزیت اصلی، دسترسی گسترده، توزیع ساده از طریق npm و تجربه کاربری یکپارچه بین فرانت‌اند و بک‌اند است.

دو مسیر رایج وجود دارد: بازنویسی بومی با TypeScript برای ارائه APIهای استاندارد، تایپ‌های دقیق و قابلیت tree-shaking؛ یا پورت از زبان‌های سطح پایین به WebAssembly برای حفظ کارایی و استفاده مجدد از کد موجود. ابزارهایی مانند Emscripten، wasm-bindgen و ابزارهای Go این کار را تسهیل می‌کنند و با ارائه TypeScript declarations سطح استفاده‌پسند ایجاد می‌شود.

چالش‌ها شامل انتخاب بین ESM و CJS، بهینه‌سازی اندازه باندل و دارایی‌های WASM، محدودیت‌های مرورگر (فایل‌سیستم و سوکت خام)، تفاوت‌های اجرا در Node.js/Deno/Bun، و مدیریت کارایی و زمان راه‌اندازی است. استفاده از Web Workers، بارگذاری تدریجی، بنچمارک‌گیری در محیط‌های مختلف و مستندسازی دقیق کمک‌کننده است. در حوزه امنیت نیز باید مراقب زنجیره تأمین، نسخه‌بندی SemVer، تست و انتشار مرحله‌ای بود.

نمونه‌های موفق شامل OpenCV.js، نسخه WASM از SQLite، TensorFlow.js، ONNX Runtime Web و Pyodide است که نشان می‌دهند با طراحی API مناسب و ابزار درست، پورت‌های جدی عملی است. قاعده تصمیم‌گیری: اگر کتابخانه سنگین و بهینه است، WASM انتخاب خوبی است؛ اگر هدف تجربه توسعه‌دهنده در اکوسیستم JavaScript است، بازنویسی با TypeScript بهتر است؛ و برای قابلیت‌های سخت‌افزاری/سیستمی، رویکرد هیبریدی یا سمت سرور منطقی است. با پیشرفت WebAssembly/WASI، WebGPU و پلتفرم‌های edge مانند Cloudflare Workers و Vercel Edge، زمان مناسبی برای آزمایش و تکرار است.

#JavaScript #WebAssembly #TypeScript #NodeJS #Deno #npm #OpenSource

🟣لینک مقاله:
https://golangweekly.com/link/175359/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

اگر علاقمند به اینترنال cni ها هستین این ارتیکل سرراست و پرکتیکال هست
https://devopsdoctors.com/blogs/cni-storties-how-calico-bgp-works

اگه به اینترنت اشیاء علاقه دارید این پلتفرم حسابی به دردتون می‌خوره ThingsBoard یه پلتفرم متن‌باز برای ساخت و مدیریت راهکارهای IoT هستش که همه‌چیز رو براتون ساده می‌کنه. باهاش می‌تونید دستگاه‌هاتون رو به سرور وصل کنید، داده‌هاشون رو جمع‌آوری و تحلیل کنید، برای رویدادها قانون تعریف کنید و در نهایت، همه‌چیز رو توی یه داشبورد گرافیکی و قابل تنظیم ببینید.

از کنترل دمای یه گلخانه گرفته تا مانیتورینگ وسایل نقلیه یا مدیریت چراغ‌های شهری، ThingsBoard بهتون اجازه می‌ده بدون نیاز به زیرساخت پیچیده، یه سیستم کامل و حرفه‌ای بسازید.

کته جالبش اینه که ThingsBoard به راحتی با انواع پروتکل‌های ارتباطی مثل MQTT، HTTP و CoAP کار می‌کنه و می‌تونه داده‌ها رو همزمان از ده‌ها یا حتی هزاران دستگاه مختلف جمع‌آوری و پردازش کنه. این یعنی شما می‌تونید یه شبکه بزرگ از سنسورها و دستگاه‌ها داشته باشید و همه چیز رو بدون دردسر زیر نظر بگیرید، داشبورد بسازید و تصمیم‌های هوشمندانه در لحظه بگیرید، بدون اینکه نیاز باشه هر دستگاه رو جداگانه مدیریت کنید.

توضیحات کامل ترش رو توی سایت خودشون ببینید:
thingsboard.io

@Linuxor