اولین لپ‌تاپ رول‌شونده جهان با قیمت ۳۵۰۰ دلار معرفی شد

لنوو سرانجام در نمایشگاه CES 2025 از اولین لپ‌تاپ رول‌شونده جهان با نام ThinkBook Plus Gen 6 رونمایی کرد. به گفته لنوو، عرضه این محصول در سه‌ماهه اول سال ۲۰۲۵ آغاز می‌شود و قیمت آن نیز ۳۵۰۰ دلار خواهد بود. اگرچه با قیمت بالایی روبه‌رو هستیم، اما شاید نمایشگر ثانویه که از نوع OLED است بتواند این قیمت بالا را توجیه کند.

لنوو ThinkBook Plus Gen 6 به یک نمایشگر OLED منعطف با موتورهای کوچک در لولاها مجهز شده است که می‌توانند نمایشگر را باز کرده یا آن را به سمت پایین حرکت دهند. در نگاه اول شاید این محصول شبیه به یک لپ‌تاپ ۱۴ اینچی معمولی به نظر برسد، اما با فشاردادن یک دکمه مخصوص، نمایشگر دوم شروع به بازشدن می‌کند و اندازه نمایشگر را به ۱۶.۸۷ اینچ و رزولوشن آن را به ۲۰۰۰ در ۲۳۵۰ پیکسل ارتقا می‌دهد.

از دیگر مشخصات این لپ‌تاپ می‌توان به پردازنده Core Ultra 7 سری ۲ اینتل، ۱ ترابایت SSD و ۳۲ گیگابایت رم اشاره کرد. همچنین این محصول تنها ۲ پورت تاندربولت ۴ و جک هدفون دارد.

@DevTwitter | <Digiato/>

‏استفاده از جنگو لذت بخشه
البته به شرطی که از لاراول استفاده نکرده باشی

<Ali Firouzbakhsh/>

@DevTwitter

‏واقعا از برنامه‌نویسی دسکتاپ چیزی در نمیاد، کم کم باید پی وب یا موبایل رو بمالم به تنم.
مدت کمی Flutter کار کردم، ازش خوشم اومد، اما حس می‌کنم web آینده‌ی بهتری داره.
برم سمت جنگو؟ موندم، ولی اگر گازانبری شروع به یادگیری کنم، حس می‌کنم ۳ ماهه بشه به نقطه خوبی رسید

<Aref/>

@DevTwitter

‏حقیقتا این که جنگو به این خوبی سرعت پایینی داره، منو خیلی میسوزونه. کاش این پایتون این طوری نبود.

<Amirmahdi Tafreshi/>

@DevTwitter

‏نفرت درونی یعنی چی؟ یعنی جنگو رست فرمورک رو کمتر از ۳ روز یاد گرفتم و یه پروژه کامل باهاش زدم، اما بعد ۳ ماه هنوز لاراول رو درست حسابی بلد نیستم :))

<Muhammadreza Haghiri/>

@DevTwitter

بازم بگید جنگو توی اینستا گرام و پینترست به کار رفته ://
اینم از نتیجه ی مقایسه اش حتی اونقد پرفورمنس جنگو بد بوده سال 2021 توی بنچمارک قرار نگرفت.
این یک لیست از دیتابیس به همراه تیبل های رابط این لیست رو استخراج میکنه( حالا تا اونجایی که خبر دارم. )
اون پرفورمنسشون هست.
زنده باد لاراول و میکرو فریموک قدرتمند lumen

@DevTwitter | <mamad shirazi/>

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

@DevTwitter | <amir_valizadeh/>

ما اینجا نشستیم داریم فرمال مون رو میخونیم ولی این برف نمیذاره لعنتی. شرمنده دوربین گوشی هم کیفیتش پایینه :)

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

یکی از کار های تکراری هکر ها اسکن کردن پورت های سرور شماست برای اینکه بفهمن چه پورت بازی دارین و متناسب با سرویس روی اون حمله رو انجام بدن.

ابزار Portspoof همه پورت‌ هاتون رو به عنوان پورت‌های باز نشون می‌ده و جواب پکت هارو فیک میده. در نتیجه مهاجم موقع اسکن کردن گمراه می‌شه و نمی‌تونه متوجه شه کدوم پورت واقعاً بازه و کدوم بسته.

https://github.com/drk1wi/portspoof


@Linuxor

پیامی یک‌طرفه از فردی ناشناس با پیوست تصویری منتسب به #سگارو به دستم رسید، اما متاسفانه نه راهی برای ارتباط‌گرفتن گذاشته، نه برای بازنشر از اصالتش مطمئنم. سعی میکنم با چندنفر چک کنم و اگر کمی مطمئن‌شدم، اطلاع‌رسانی بشه.

🔍 ircf.space
@ircfspace

"باگ نه تنها در سافتور، بلکه در ریاضیات"
پیرو کشف یک باگ در اثبات یکی از قضایای مهم ریاضی بعد از ۶۰ سال
——————————————

با پیدایش روش‌ها فرمال برای اثبات correctness برنامه‌ها و پیدا کردن باگ و توسعه‌ی فریمورک‌ها و ابزارها، به مرور زمان کاربردهای دیگری هم برای این روش‌ها پیدا شد و یکی از اون‌ها توصیف فرمال قضایای ریاضی با این روش‌ها و اثبات درستی‌شون بود. درسته که برای هر قضیه یک اثبات وجود داره، منتهی اکثر این اثبات‌ها Machine-readable نیست و درستی‌شون توسط آدم‌هایی که اون‌ها رو خوندن تایید شده. ولی خب آدم هم اشتباه می‌کنه و شاید نتونه اگر اثبات مشکلی داره اونو پیدا کنه. آقای Kevin Buzzard از دانشگاه امپریال کالج با همکاراشون یک پروژه‌ی جاه‌طلبانه پیرامون فرمال کردن اثبات قضیه‌ی آخر فرما رو شروع کردند. اثبات این قضیه شامل برنچ‌های نوینی از ریاضیات میشه که بخش قابل توجهی ازش رو کسی Machine-readable یا فرمال نکرده. یکی از این بخش‌ها مربوط به هندسه میشه که بهش میگن crystalline cohomology. زمانی که داشتن این مفهوم رو به یک زبان فرمال machine-readable ترجمه می‌کردند، آقای Antoine Chambert-Loir از دانشگاه Paris Cité به یک اروری بر میخورن. این ارور مربوط میشد به بخشی از یک اثبات قدیمی که پایه‌های crystalline cohomology رو شکل میداد. این اثبات توسط یک ریاضی‌دان فرانسوی به نام Norbert Roby در سال ۱۹۶۵ در یک مقاله انجام شده بود و مشخص شده که اشکال داره. وقتی دقیق شدن به اثبات دریافتن که آقای Roby یادشون رفته بود یک سیمبلی رو بین دو خط قرار بدن و باعث invalid شدن اثبات شده بود. از اونجایی که برای crystalline cohomology اثبات‌هایی با استراتژی‌های مختلفی داده بودن مشکل بزرگی پیش نیومد ولی اگر تنها اثبات موجود همین اثبات آقای Roby بود اون وقت تمام کارای جدیدی که روی crystalline cohomology انجام شده بود هم زیر سوال میرفت.

بعد از اینکه آقای Buzzard این ارور رو با آقای Brian Conrad که استاد دانشگاه Stanford هستند در میون گذاشت، یک اثبات جدای درست دیگه پیدا کرد برای اون چیزی که آقای Roby قصد داشت اثبات کنه و خب این نشون داد که باگ پیدا شده به قولی Fatal Error نیست.

خلاصه این بار ارور پیدا شده خیلی خطرناک نبود ولی کسی چه میدونه که چقدر اثبات‌هایی که برای قضایا دیگه داریم درست هستند. اینجاست که ارزش‌های فرمال متد مهم میشه و نقش بازی می‌کنه.

جا داره بگم که تلاش‌ها برای فرمال کردن اثبات قضیه‌ی آخر فرما داره با استفاده از Theorem Prover Lean انجام میشه که علاوه بر ریاضیات میشه باهاش باگ‌های سافتوری هم پیدا کرد.