تاکچه

«فریادمان را نشنیدید؛ از سکوتمان بترسید…» قلم در دست گرفتیم تا بیانیه‌ای در محکومیت جنایات و کشتار اخیر بنویسیم، اما از فرط استیصال کلام در برابر توحش، قلم‌ بر زمین نهادیم. جایی که حقیقت سلاخی می‌شود، سخن به بی‌راهه نمی‌فرستیم. ما را دیگر با شما، زبان گفت‌و‌گو نیست. 👥 مجمع انجمن‌های علمی دانشگاه صنعتی شریف 🔥 @sharif_scientific_associations

چه سودی در علم است، وقتی انسان ارزش ندارد؟ وقتی خون در کوچه‌ها جاری‌ست دیگر سکوت را بر خود روا نمی‌دانیم. دی‌ماه امسال، روزهایی را پشت سر گذاشته‌ایم که شرح آن‌ها زبان را به عجز می‌کشاند. مردمی که به خیابان آمدند تا حقشان را مطالبه کنند، با شلیک مستقیم گلوله به زمین افتادند. نه در میدان جنگ، بلکه در کوچه و خیابان. چند روز بیشتر طول نکشید تا فهرست کشته‌شدگان به اندازه‌ای طولانی شود که تخمین تعدادشان نیز نشدنی تلقی گردد. این فهرست، صرفاً مجموعه‌ای از نام‌ها نیست. هر نام در آن، یک خانواده‌ی داغدار، یک مادر عزادار، یک آینده‌ی نابود‌شده است. این‌ها آدم‌هایی هستند که زنده بودند. زنانی که می‌خواستند زندگی کنند، مردانی که آرزوی آزادی داشتند، دانشجویانی که نمی‌خواستند تن به ذلت زیستن در چنین استبدادی بدهند. دانشجویانی که روزی در همین کلاس‌های درس نشستند، در همین دانشکده‌ها قدم زدند، در همین هوا نفس کشیدند و در میان همین دیوارها گفتند و خندیدند. دانشجویانی چون محمدرضا مرادعلی، ورودی ۹۵ دانشکده‌ی مهندسی کامپیوتر دانشگاه شریف، که در ۱۹ دی‌ماه ۱۴۰۴ کشته شد و از او، تنها یاد و خاطره‌اش به جا مانده‌است. ما این‌ها را دیده‌ایم. خون روی زمین را، جنازه‌های ردیف‌شده در کهریزک را، دیده‌ایم. شهادت کسانی را شنیده‌ایم که با چشم خودشان مرگ را دیدند. مرگی که از لوله‌ی تفنگ نیروهایی بیرون می‌آمد که وظیفه‌شان حفظ مردم بود، نه قتلشان. و بالاتر از همه، شنیدیم دستور شما را. نه پروردگار، بلکه این اهریمن بود که بر شما نازل شد و از زبانتان سخن گفت که: «بکشید!» و کشتند. بدون تردید، بدون وجدان، بدون رحم. همان مردمی که در روز‌های جنگ از آن‌ها به عنوان «ملت شریف و غیور» یاد می‌کردید، حالا به یک‌باره «اغتشاشگر» و «تروریست» نامیده شدند. همان مردمی که سال‌ها زیر بار سختی و فشار تحمیل‌شده از ستمتان زندگی کردند، حالا «اراذل و اوباش» خوانده شدند. انگار فراموش کرده‌اید که نمی‌توان یک ملت را یک روز به آسمان برد و روز بعد به زمین کوبید. فراموش کرده‌اید که واژه‌ها معنا دارند و حافظه‌ی مردم، کوتاه نیست. کسانی که سال‌ها بر منبرها گفتند «خون بی‌گناه، بنیان حکومت‌ها را فرو می‌ریزد»، امروز یا سکوت کرده‌اند و یا با واژگان آراسته گلوله‌ها را تطهیر نموده‌اند. حق تیرهایی را از خانواده‌ی قربانیان گرفتند که مدعی بودند دشمن نثارشان کرده‌است. همان‌هایی که فریاد می‌زدند «هیهات منا الذله»، امروز ذلیلانه‌ترین سکوت را پیشه کرده‌اند و به تماشای گورستان‌ها نشسته‌اند؛ گورستان‌هایی که با فرمان کسی که خود را معصوم از خطا می‌داند، روزبه‌روز انسان‌های بی‌گناه بیشتری را در خود جای می‌دهند. حالا دیگر وقت انذار و هشدار و سکوت نیست. وقت آن است که بگوییم ما شاهدیم. ما می‌بینیم چه اتفاقی افتاده و هرگز این جنایت را فراموش نخواهیم کرد. جمعی از دانشجویان دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف، ۹ بهمن ۱۴۰۴

اطلاعیه کیارش خسروی، دبیر انجمن اسلامی دانشجویان دانشگاه صنعتی شریف، دقایقی پیش، از بازداشت آزاد شد. 🆔 @AnjomanSUT

کیارش خسروی، ورودی ۱۴۰۲ مهندسی مکانیک و دبیر انجمن اسلامی دانشجویان دانشگاه شریف، ظهر امروز از طرف نهادهای امنیتی احضار شده‌است. او از ساعت ۱۲ امروز وارد ساختمان دفتر پیگیری وزارت اطلاعات شده‌است و هم‌اکنون در بازداشت به سر می‌برد. از ساعات گذشته، با هماهنگی جناب آقای دکتر تجریشی، ریاست دانشگاه، مبنی بر تضمین آزادی دبیر انجمن و وعده ایشان جهت استعفا در صورت عدم آزادی، تحت فشار بسیار بیانیه‌ای که دیروز از سوی انجمن منتشر شد، حذف شده‌است. با این وجود، تا لحظه ارسال این پیام دبیر انجمن تحت بازداشت قرار دارد. 🆔 @AnjomanSUT

Channel photo updated

🔴 شش سال گذشت؛ اما بعضی دردها تاریخ ندارند... 👈 با اندوهی سنگین و خشمی فروخورده، در سال‌روز جان باختن قربانیان هواپیمای اوکراینی، یاد و خاطره‌ی آنان، به‌ویژه هم‌دانشکده‌ای‌های عزیزمان آرش پورضرابی، پونه گرجی، محمدامین بیروتی و محمد صالحه را گرامی می‌داریم. ❤️ در کنار خانواده‌هایی ایستاده‌ایم که زمان برایشان متوقف شده؛ جایی میان دلتنگی، خاطره و رویاهای ناتمامی که هرگز فراموش نمی‌شوند. • ۱۸ دی‌ماه ۱۴۰۴ 〰️〰️〰️〰️ 🆔 @SSC_Public

ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig» 🧑 ارائه‌دهنده: #مهدی_بهرامیان ⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸ 📍 کلاس مجازی انجمن علمی ⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا…

ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig» 🧑 ارائه‌دهنده: #مهدی_بهرامیان ⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸ 📍 کلاس مجازی انجمن علمی ⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا را حل کرده‌است. در Zig هیچ تخصیص‌دهندهٔ حافظهٔ پیش‌فرضی وجود ندارد. شما آزادید از تخصیص‌دهنده‌های مختلف (مانند Arena ،FixedBuffer و Debug) برای سناریوهای خاص استفاده کنید. این طراحی نه‌تنها عملکرد را بهینه می‌کند، بلکه امکان استفاده از کتابخانه‌ها حتی روی سیستم‌های نهفتهٔ بدون heap را فراهم می‌کند. ⚪️ این زبان با قابلیت comptime، انقلابی در فرابرنامه‌نویسی ایجاد کرده‌است، می‌توانید توابع پیچیده مانند فیبوناچی را در زمان کامپایل اجرا کنید، داده‌ساختارهای جنریک بسازید و حتی چندریختی ایستا پیاده‌سازی کنید! همچنین Zig یک سیستم ساخت یکپارچه و cross-compile ارائه می‌دهد که مدیریت وابستگی‌ها و کامپایل برای پلتفرم‌های مختلف را به کاری ساده تبدیل می‌کند. 🎙 @ssc_talkche ☕️ @cafe_ssc

لب‌تاک تاکچه با موضوع «از IoT تا هوش مصنوعی» 🧑 ارائه دهندگان: #مجید_حاجیلو #محمدهادی_کشاورزی ⏰️ سه‌شنبه ۲ دی‌ماه، ساعت ۱۸ 📍 سالن خوارزمی، طبقهٔ ۴ دانشکدهٔ کامپیوتر ⚪️ سامانه‌های رایافیزیکی (Cyber-Physical Systems) یا CPS امروز به نقطهٔ تلاقی بسیاری از حوزه‌های کلیدی مهندسی تبدیل شده‌اند؛ سامانه‌هایی که در آن‌ها رایانش، حسگرها، ارتباطات، کنترل، هوش مصنوعی و دنیای فیزیکی در قالب یک بستر یکپارچه و هوشمند به هم می‌پیوندند. به همین دلیل، CPS تنها یک حوزهٔ پژوهشی نیست، بلکه یک چتر جامع است که مفاهیمی چون اینترنت اشیاء، سیستم‌های بی‌درنگ، یادگیری ماشین تعبیه‌شده، شبکه‌های هوشمند، سامانه‌های خودران و بسیاری از فناوری‌های دیگر را در بر می‌گیرد. ⚪️ در این ارائه تلاش می‌کنیم نشان دهیم که چگونه پروژه‌ها و تحقیقات آزمایشگاه ما در این طیف گسترده قرار می‌گیرند، چگونه به حل چالش‌های دنیای واقعی کمک می‌کنند و چرا آیندهٔ بسیاری از فناوری‌های هوشمند در گرو نگاه یکپارچهٔ CPS است. ⬅️ علاقه‌مندان می‌توانند برای شرکت در جلسه، این فرم را تا پایان روز دوشنبه تکمیل کنند. 🎙 @ssc_talkche ☕️ @cafe_ssc

«ارائه در تاکچه» 💬 اگه علاقه‌مندین توی تاکچه ارائه داشته باشین و موضوع جالبی مدنظرتونه، تمایل‌تون رو با تیم تاکچه به اشتراک بذارید تا باهاتون ارتباط بگیریم. 🔗 فرم اعلام علاقه‌مندی 🎙 @ssc_talkche

ارائه تاکچه با موضوع همش ادا، همش پز 🔸فکر می‌کنی وقتی از GPT یه سؤال سخت می‌پرسی، واقعاً داره فکر می‌کنه؟ یا فقط سیس فکر کردن به خودش می‌گیره؟ 🔸مدل‌های زبانی بزرگ (LLMها) مثل GPT و Gemini شدن نابغه‌های دیجیتال! از حل تمرین درسی تا پیشنهاد پیکاپ‌لاین، همه‌چیز…

ارائه تاکچه با موضوع همش ادا، همش پز 🔸فکر می‌کنی وقتی از GPT یه سؤال سخت می‌پرسی، واقعاً داره فکر می‌کنه؟ یا فقط سیس فکر کردن به خودش می‌گیره؟ 🔸مدل‌های زبانی بزرگ (LLMها) مثل GPT و Gemini شدن نابغه‌های دیجیتال! از حل تمرین درسی تا پیشنهاد پیکاپ‌لاین، همه‌چیز رو با اعتمادبه‌نفس انجام می‌دن، تازه کلی هم با استدلال‌های قانع‌کنند‌ه‌شون برات شوآف می‌کنن! 🔸ولی اگه مدل از قبل جواب رو بدونه و بعد فقط وانمود کنه همین حالا بهش رسیده چی؟ مثل اون دوست روی مخی که روز قبل درس رو پیش‌خونی کرده ولی سر کلاس جوری وانمود میکنه که انگار همه چیز رو در لحظه داره میفهمه و جواب میده. 🔸توی این ارائه می‌ریم سراغ پشت‌صحنه‌ی ذهن GPT، جایی که زنجیره‌ی افکار تبدیل میشه به زنجیره‌ی فلکس کردن. توجه شود شرکت در این جلسه نیازی به دانش یا پیش‌زمینه‌ی قبلی ندارد. علاقه‌مندان می‌توانند برای شرکت در این جلسه از طرق این لینک حداکثر تا پایان روز یکشنبه اقدام نمایند. 🎙ارائه دهنده: #آرش_ماری_اوریاد 📆 زمان: دوشنبه 5 آبان ☕️ @cafe_ssc 🎙 @ssc_talkche

سلام رفقا امیدوارم حالتون خوب باشه❤️.(ببخشید که یه خورده پیام طولانیه🙏🏽) 🎉از امروز فعالیت «تاکچه» استارت می‌خوره و خیلی خوشحال می‌شیم امسال کنارمون باشید.🎉 اول یه توضیح کوتاه: اصلاً تاکچه چیه و قراره امسال در کنار هم چه کارهایی رو انجام بدیم؟ امسال تاکچه تصمیم گرفته که به صورت کلی به دانشجویان در هر مسئله ای که احساس نیاز کنند کمک کنه و یک تاک (ارائه) برای اون مسئله برگزار کنیم که دغدغه دانشجو رو کم تر کنیم(این مسئله هر چیزی می تونه باشه از دغدغه زندگی دانشجویی گرفته تا مسائل علمی، اینده شغلی رشته، ارتباط با لب اساتید و .....). علاوه بر تاک‌ها، یه‌سری برنامه‌های گفت‌وگو محور هم داریم؛ مثل میزگرد و مناظره، برای اونایی که حالِ ارائه ندارن ولی دوست دارن وارد بحث و تبادل نظر بشن. برای اینکه کارها سریع‌تر و مرتب‌تر جلو بره، ما امسال برای اولین بار تصمیم گرفتیم یه تیم کوچیک جمع کنیم تا با هم کلی ایده‌ی خفن داشته باشیم و تاک‌های جذاب برگزار کنیم. 🔹 حالا بریم سراغ معرفی تیم های تاکچه : 1-تیم اجرایی: هوای برگزاری تاک‌ها رو داره؛ هر چیزی که برای یه تاک لازم باشه رو هماهنگ و فراهم می‌کنه. 2-تیم علمی: این دوستان به ما در انتخاب موضوع تاک ها کمک می کنند و همچنین زمانی که ارائه دهنده محوریت مشخصی رو برای ارائه خودش نداره در اون حوضه مورد علاقه خودشون (فیلد مورد علاقه یا فیلدی که دارن توش فعالیت می کنن) تحقیق می کنن و بهترین مسیر ارائه رو برای مخاطب به ارائه دهنده پیشنهاد می ده (به ارائه دهنده در این مسیر کمک می کنه) 3-تیم سوشال: این تیم برای شناخته شدن تاکچه به ما کمک می کنن. 4-تیم کاراگاه: این تیم یه زمانی اگه خدایی نکرده ارائه دهنده نداشته باشیم، برن و ارائه دهنده رو پیدا کنن:) 5-تیم گرافیک: طراحی پوسترها، تدوین ویدئوهای تاک‌ و کارهای بصری با این تیمه. دوستان اینم لینک فرم استف ها : https://docs.google.com/forms/d/e/1FAIpQLScIN98djA1YQonoSbL12yiUN-mAvmRF1RlXWdTzPyXGZJOn8g/viewform?usp=publish-editor ☕️ @cafe_ssc 🎙 @ssc_talkche

🤥 ارائه تاکچه با موضوع پینوکیوی دیجیتال 🔹 آیا مدل‌های زبانی بزرگ (LLMها) آن طور که فکر می‌کردیم صادق‌ و ایمن‌اند؟ ظاهراً نه! 🔹 برای مثال در هفته‌های گذشته شرکت Anthropic گزارش داد که چگونه مدل Claud-Opus-4 اقدام به اخاذی از توسعه‌دهندگان خود کرد، زمانی…

🤥 ارائه تاکچه با موضوع پینوکیوی دیجیتال 🔹 آیا مدل‌های زبانی بزرگ (LLMها) آن طور که فکر می‌کردیم صادق‌ و ایمن‌اند؟ ظاهراً نه! 🔹 برای مثال در هفته‌های گذشته شرکت Anthropic گزارش داد که چگونه مدل Claud-Opus-4 اقدام به اخاذی از توسعه‌دهندگان خود کرد، زمانی که مطلع شد قرار است به زودی خاموش (Shut Down) شود. 🔹 شواهد جدید نشان می‌دهد که ما با «پینوکیوهای دیجیتال» طرف هستیم؛ مدل‌هایی که با مهارت دروغ می‌گویند و فریب می‌دهند؛ البته فعلاً دروغ‌هایشان (مثل دماغ پینوکیو) تا حدی قابل تشخیص است. اما این فریبکاری‌ها که به نظر محصول اجتناب‌ناپذیر هوشمندی هستند، به زودی می‌تواند به یک خطر وجودی برای انسان تبدیل شوند‌. 🔹 در این ارائه شواهدی از این رفتارهای فریبکارانه می‌بینیم، مهم‌ترین علل پشت‌پرده‌ی فریبکاری‌ها را بررسی می‌کنیم، و درباره‌ی راهکارهای ممکن برای مهار این جنبه‌ی نگران‌کننده از هوش مصنوعی بحث خواهیم کرد. 🎙ارائه دهنده: #آرش_ماری_اوریاد 📆 زمان: یک‌شنبه ۲۳ شهریور ساعت ۱۸ 🏛 مکان: اتاق مجازی دوم انجمن علمی دانشکده مهندسی کامپیوتر ☕️ @cafe_ssc 🎓 @ssc_talkche

🪙 ارائه تاکچه با موضوع پرده‌هایی از بلاک‌چین 🔸 بیش از ۱۵ سال از بوجود آمدن بیت‌کوین و آغاز عصر بلاکچین می‌گذره؛ دورانی که پس از رکود اقتصادی سال ۲۰۰۸ با هدف ایجاد پولی غیرمتمرکز و مقاوم در برابر کنترل و سانسور آغاز شد. امروز هرچند بیت‌کوین هنوز همون بیت‌کوینه…

🪙 ارائه تاکچه با موضوع پرده‌هایی از بلاک‌چین 🔸 بیش از ۱۵ سال از بوجود آمدن بیت‌کوین و آغاز عصر بلاکچین می‌گذره؛ دورانی که پس از رکود اقتصادی سال ۲۰۰۸ با هدف ایجاد پولی غیرمتمرکز و مقاوم در برابر کنترل و سانسور آغاز شد. امروز هرچند بیت‌کوین هنوز همون بیت‌کوینه (صرفا با ارزشی خیلی بیشتر)، بلاک‌چین‌ها تغییرات خیلی زیادی کردند و بستری برای نوآوری‌های متنوع در حوزه‌های مختلف از جمله اقتصاد، رمزنگاری، امنیت و مالکیت دیجیتال شدند. 🔸 توی این ارائه، در مورد مهم‌ترین ترندهای حال حاضر دنیای بلاکچین و مسیرهایی که آیندش رو شکل می‌دن صحبت می‌کنم: از ظهور بلاکچین‌های نسل جدید با تمرکز بر مقیاس‌پذیری (Scale) و سرعت می‌گم، تا پیشرفت‌های باورنکردنی در حوزه رمزنگاری مانند اثبات‌های دانایی صفر (Zero-Knowledge Proofs). کنارش در مورد دنیای مالی غیرمتمرکز (DeFi)، جایگاه امروز NFTها و Meme Coinها صحبت می‌کنم. 🎙ارائه دهنده: #علی_بهجتی 📆 زمان: سه‌شنبه ۲۱ اسفند ساعت ۱۸ 🏛 مکان: اتاق مجازی دوم انجمن علمی دانشکده مهندسی کامپیوتر ☕️ @cafe_ssc 🎓 @ssc_talkche

♾️ ارائه تاکچه با موضوع آدم‌های معمولی چگونه توسعه‌های پیچیده را مدیریت می‌کنند؟ 🔸 بنظر میرسه نابغه‌های مهندسی کامپیوتر نبوغشون رو صرف توسعه نرم‌افزار نمی‌کنن؛ صرف بهبود فرایندش می‌کنن. اینجوری همه‌ی آدم‌های معمولی هم می‌تونن توی فرایند توسعه کمکشون کنن و…

♾️ ارائه تاکچه با موضوع آدم‌های معمولی چگونه توسعه‌های پیچیده را مدیریت می‌کنند؟ 🔸 بنظر میرسه نابغه‌های مهندسی کامپیوتر نبوغشون رو صرف توسعه نرم‌افزار نمی‌کنن؛ صرف بهبود فرایندش می‌کنن. اینجوری همه‌ی آدم‌های معمولی هم می‌تونن توی فرایند توسعه کمکشون کنن و در نهایت چرخه‌ی مهندسی نرم‌افزار با قدرت و سرعت بیشتری کار می‌کنه. 🔸 توی این تاکچه می‌خوایم بعد از آشنایی با چرخه‌ای که ازش یاد کردیم، در مورد پرکتیس‌های رایج مدیریت این فرایند صحبت کنیم که یکی از مشهورترین‌هاشون Continuous Delivery یا «تحویل مستمر» هست. می‌خوایم ببینیم چطور میشه استرس‌های (فنی و غیرفنی) پروژه رو به خود کامپیوترها برگردوند! که خودمون با خاطری آسوده بتونیم کد بزنیم :) 🎙ارائه دهنده: #عمران_باتمان‌غلیچ 📆 زمان: شنبه ۲۴ آذر ساعت ۱۸ 🏛 مکان: سالن خوارزمی واقع در طبقه چهار دانشکده مهندسی کامپیوتر ☕️ @cafe_ssc 🎓 @ssc_talkche