تاکچه – Telegram
تاکچه
1.63K subscribers
56 photos
7 videos
14 files
75 links
🔹سلسله جلسات تاکچه
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف

🔹دبیر: امیرحسین شایان
Download Telegram
🪙 ارائه تاکچه با موضوع پرده‌هایی از بلاک‌چین

🔸 بیش از ۱۵ سال از بوجود آمدن بیت‌کوین و آغاز عصر بلاکچین می‌گذره؛ دورانی که پس از رکود اقتصادی سال ۲۰۰۸ با هدف ایجاد پولی غیرمتمرکز و مقاوم در برابر کنترل و سانسور آغاز شد. امروز هرچند بیت‌کوین هنوز همون بیت‌کوینه (صرفا با ارزشی خیلی بیشتر)، بلاک‌چین‌ها تغییرات خیلی زیادی کردند و بستری برای نوآوری‌های متنوع در حوزه‌های مختلف از جمله اقتصاد، رمزنگاری، امنیت و مالکیت دیجیتال شدند.

🔸 توی این ارائه، در مورد مهم‌ترین ترندهای حال حاضر دنیای بلاکچین و مسیرهایی که آیندش رو شکل می‌دن صحبت می‌کنم: از ظهور بلاکچین‌های نسل جدید با تمرکز بر مقیاس‌پذیری (Scale) و سرعت می‌گم، تا پیشرفت‌های باورنکردنی در حوزه رمزنگاری مانند اثبات‌های دانایی صفر (Zero-Knowledge Proofs). کنارش در مورد دنیای مالی غیرمتمرکز (DeFi)، جایگاه امروز NFTها و Meme Coinها صحبت می‌کنم.

🎙ارائه دهنده: #علی_بهجتی

📆 زمان: سه‌شنبه ۲۱ اسفند ساعت ۱۸

🏛 مکان: اتاق مجازی دوم انجمن علمی دانشکده مهندسی کامپیوتر

☕️ @cafe_ssc
🎓 @ssc_talkche
15🔥5👍2👎1
🤥 ارائه تاکچه با موضوع پینوکیوی دیجیتال

🔹 آیا مدل‌های زبانی بزرگ (LLMها) آن طور که فکر می‌کردیم صادق‌ و ایمن‌اند؟ ظاهراً نه!

🔹 برای مثال در هفته‌های گذشته شرکت Anthropic گزارش داد که چگونه مدل Claud-Opus-4 اقدام به اخاذی از توسعه‌دهندگان خود کرد، زمانی که مطلع شد قرار است به زودی خاموش (Shut Down) شود.

🔹 شواهد جدید نشان می‌دهد که ما با «پینوکیوهای دیجیتال» طرف هستیم؛ مدل‌هایی که با مهارت دروغ می‌گویند و فریب می‌دهند؛ البته فعلاً دروغ‌هایشان (مثل دماغ پینوکیو) تا حدی قابل تشخیص است. اما این فریبکاری‌ها که به نظر محصول اجتناب‌ناپذیر هوشمندی هستند، به زودی می‌تواند به یک خطر وجودی برای انسان تبدیل شوند‌.

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

🎙ارائه دهنده: #آرش_ماری_اوریاد

📆 زمان: یک‌شنبه ۲۳ شهریور ساعت ۱۸

🏛 مکان: اتاق مجازی دوم انجمن علمی دانشکده مهندسی کامپیوتر

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

☕️ @cafe_ssc
🎙 @ssc_talkche
🔥155
ارائه تاکچه با موضوع همش ادا، همش پز

🔸فکر می‌کنی وقتی از GPT یه سؤال سخت می‌پرسی، واقعاً داره فکر می‌کنه؟ یا فقط سیس فکر کردن به خودش می‌گیره؟

🔸مدل‌های زبانی بزرگ (LLMها) مثل GPT و Gemini شدن نابغه‌های دیجیتال! از حل تمرین درسی تا پیشنهاد پیکاپ‌لاین، همه‌چیز رو با اعتمادبه‌نفس انجام می‌دن، تازه کلی هم با استدلال‌های قانع‌کنند‌ه‌شون برات شوآف می‌کنن!

🔸ولی اگه مدل از قبل جواب رو بدونه و بعد فقط وانمود کنه همین حالا بهش رسیده چی؟ مثل اون دوست روی مخی که روز قبل درس رو پیش‌خونی کرده ولی سر کلاس جوری وانمود میکنه که انگار همه چیز رو در لحظه داره میفهمه و جواب میده.

🔸توی این ارائه می‌ریم سراغ پشت‌صحنه‌ی ذهن GPT، جایی که زنجیره‌ی افکار تبدیل میشه به زنجیره‌ی فلکس کردن. توجه شود شرکت در این جلسه نیازی به دانش یا پیش‌زمینه‌ی قبلی ندارد.


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

🎙ارائه دهنده: #آرش_ماری_اوریاد

📆 زمان: دوشنبه 5 آبان

☕️ @cafe_ssc
🎙 @ssc_talkche
23🥴4🔥3👍1🤩1
تاکچه
ارائه تاکچه با موضوع همش ادا، همش پز 🔸فکر می‌کنی وقتی از GPT یه سؤال سخت می‌پرسی، واقعاً داره فکر می‌کنه؟ یا فقط سیس فکر کردن به خودش می‌گیره؟ 🔸مدل‌های زبانی بزرگ (LLMها) مثل GPT و Gemini شدن نابغه‌های دیجیتال! از حل تمرین درسی تا پیشنهاد پیکاپ‌لاین، همه‌چیز…
⚪️ با تشکر از #آرش_ماری_اوریاد بابت ارائه‌ی همش ادا، همش پز در تاریخ ۵ آبان ۱۴۰۴

🔗 از طریق این آدرس می‌تونید به اسلایدهای ارائه‌دهنده دسترسی داشته باشید.

📊 همچنین، اگه در ارائه حضور داشتید، لطفاً زمان کوتاهی بذارید و فرم نظرسنجی رو تکمیل کنید تا بتونیم طبق نظراتتون ارائه‌هارو بهبود بدیم.

☕️ @cafe_ssc
🎙 @ssc_talkche
22
لب‌تاک تاکچه با موضوع «از IoT تا هوش مصنوعی»

🧑 ارائه دهندگان:
#مجید_حاجیلو
#محمدهادی_کشاورزی

⏰️ سه‌شنبه ۲ دی‌ماه، ساعت ۱۸
📍 سالن خوارزمی، طبقهٔ ۴ دانشکدهٔ کامپیوتر

⚪️ سامانه‌های رایافیزیکی (Cyber-Physical Systems) یا CPS امروز به نقطهٔ تلاقی بسیاری از حوزه‌های کلیدی مهندسی تبدیل شده‌اند؛ سامانه‌هایی که در آن‌ها رایانش، حسگرها، ارتباطات، کنترل، هوش مصنوعی و دنیای فیزیکی در قالب یک بستر یکپارچه و هوشمند به هم می‌پیوندند. به همین دلیل، CPS تنها یک حوزهٔ پژوهشی نیست، بلکه یک چتر جامع است که مفاهیمی چون اینترنت اشیاء، سیستم‌های بی‌درنگ، یادگیری ماشین تعبیه‌شده، شبکه‌های هوشمند، سامانه‌های خودران و بسیاری از فناوری‌های دیگر را در بر می‌گیرد.

⚪️ در این ارائه تلاش می‌کنیم نشان دهیم که چگونه پروژه‌ها و تحقیقات آزمایشگاه ما در این طیف گسترده قرار می‌گیرند، چگونه به حل چالش‌های دنیای واقعی کمک می‌کنند و چرا آیندهٔ بسیاری از فناوری‌های هوشمند در گرو نگاه یکپارچهٔ CPS است.


⬅️ علاقه‌مندان می‌توانند برای شرکت در جلسه، این فرم را تا پایان روز دوشنبه تکمیل کنند.

🎙 @ssc_talkche
☕️ @cafe_ssc
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥111👍1
ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig»

🧑 ارائه‌دهنده: #مهدی_بهرامیان

⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸
📍 کلاس مجازی انجمن علمی

⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا را حل کرده‌است. در Zig هیچ تخصیص‌دهندهٔ حافظهٔ پیش‌فرضی وجود ندارد. شما آزادید از تخصیص‌دهنده‌های مختلف (مانند Arena ،FixedBuffer و Debug) برای سناریوهای خاص استفاده کنید. این طراحی نه‌تنها عملکرد را بهینه می‌کند، بلکه امکان استفاده از کتابخانه‌ها حتی روی سیستم‌های نهفتهٔ بدون heap را فراهم می‌کند.

⚪️ این زبان با قابلیت comptime، انقلابی در فرابرنامه‌نویسی ایجاد کرده‌است، می‌توانید توابع پیچیده مانند فیبوناچی را در زمان کامپایل اجرا کنید، داده‌ساختارهای جنریک بسازید و حتی چندریختی ایستا پیاده‌سازی کنید! همچنین Zig یک سیستم ساخت یکپارچه و cross-compile ارائه می‌دهد که مدیریت وابستگی‌ها و کامپایل برای پلتفرم‌های مختلف را به کاری ساده تبدیل می‌کند.


🎙 @ssc_talkche
☕️ @cafe_ssc
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥24👎1