بعد میگید ما خلاقیت نداریم

🔶 تم مک برای گنوم ۴۵

[Gnome 45.8] MacOS Tahoe theme

#لینوکس

@TheRaymondDev

Master Thesis in Program Verification @ MPI-SWS
—————————————————

دوستانی که مشغول تحصیل در مقطع کارشناسی ارشد در اروپا هستند و علاقه‌مندند که تز ارشدشون رو تو حوزه‌ی Program Verification انجام بدند این پست رو بخونند :)

ما دنبال دانشجوی مستری هستیم که علاقه‌مند باشه تز کارشناسی ارشدش رو تو حوزه Program Verification در گروه ما انجام بده. پروژه‌ای که مد نظر داریم در راستای توسعه‌ی Java Model Checker (JMC) هستش. JMC یک Program Analyzer هستش که میتونه برنامه‌های مالتی تردی که به زبان Java نوشته میشن رو با استفاده از تکنیک Stateless Model Checking و یا Random Testing وریفای کنه. در مورد JMC توی کانال بسیار مفصل صحبت شده و با سرچ کردن این کلمه کلی مطلب بدست میارید. پروژه‌ای که مد نظر داریم توسعه‌ی الگوریتم TruSt برای وریفای کردن برنامه‌هایی هستش که از مکانیزم Rendezvous در راستای ارتباط thread ها با همدیگه استفاده میکنه. این مکانیزم در زبان Java با استفاده از wait و notify قابل پیاده‌سازی هستش. در قدم اول توی این پروژه، باید این مکانیزم رو با semantics مبتنی بر DPOR مدل کنیم. در ادامه مکانیک الگوریتم رو طوری تغییر بدیم که بتونه مکانیزم مدل شده رو به شکل sound، complete و optimal ساپورت کنه. در انتها این الگوریتم رو در JMC پیاده‌ میکنیم و روی case های real-world ارزیابی می‌کنیم.

دانشجوی عزیز باید تسلط خوبی در برنامه‌نویسی به‌طور خاص زبان Java داشته باشه و برنامه‌نویسی مالتی ترد هم بلد باشه. علاوه‌بر این با مفاهیم ابتدایی test و مهندسی نرم‌افزار و git هم آشنا باشه. اگر دانشجوی عزیز دل‌ ما model checking هم بلد باشه و هر گونه درس مرتبط یا پروژه‌ی مرتبط با verification یا model checking گذرونده باشه هم پوینت مثبت براش خواهد داشت.

دوستان عزیز و علاقه‌مند لطف کنند یک پیام همراه با cv برای بنده ارسال کنند.@joulook

ددلاین : ۱۵ اکتبر

توی این چند وقت اونقدر چیز میز یادگرفتم که سروقت همشو بهتون یاد میدم

عادی ترین برنامه نویس صبح شنبه

الگوهای مهم Concurrency توی Golang
گاهی وقتا توی Go، کار کردن با concurrency فقط goroutine و channel نیست، یه سری الگو هست که وقتی یاد گرفتم واقعا دیدم کار رو راحت‌تر می‌کنن. مثلا یکی از اینا fan-out/fan-in هست. یعنی فرض کن چند تا goroutine داری که همزمان دارن یه سری داده رو پردازش می‌کنن (این میشه fan-out) و بعد همه‌شون خروجیشون رو میریزن توی یه کانال واحد تا جمع بشه (fan-in). من معمولا اینو وقتی استفاده می‌کنم که یه عالمه فایل یا دیتا دارم که میشه به صورت موازی روشون کار کرد. یه بار برای پردازش لاگ‌ها ازش استفاده کردم، هر worker یه بخش لاگ رو می‌خوند و پردازش می‌کرد و در نهایت همه‌ی نتایج توی یه جا جمع می‌شد.
یه الگوی دیگه که خیلی پرکاربرده worker pool ـه. به جای اینکه برای هر کاری یه goroutine جدا درست کنم، میام یه تعداد ثابت worker درست می‌کنم، مثلا ۵ تا، و همه‌ی کارها رو میریزم توی یه صف. workerها یکی‌یکی برمی‌دارن و انجام میدن. اینجوری هم منابع مصرف نمی‌شن هم قابل مدیریت‌تره. مثلا وقتی می‌خواستم ایمیل انبوه بفرستم، با worker pool خیلی راحت مدیریت کردم که سیستم منفجر نشه.
یه چیزی که همیشه باید حواسم باشه، محدود کردن هم‌زمانی یا همون bounded concurrency هست. مثلا وقتی می‌خوام به یه API خارجی درخواست بزنم، اگه بذارم ۱۰۰ تا goroutine همزمان بزنن، خیلی راحت اون سرویس منو بلاک می‌کنه یا خودم دچار timeout می‌شم. اینجاست که با یه کانال ساده یا semaphore جلوی تعداد درخواست‌ها رو می‌گیرم، مثلا نهایتا ۱۰ تا همزمان.
حالا مشکل بعدی backpressure ـه. این زمانی اتفاق میفته که producer سریع‌تر از consumer کار می‌کنه. مثلا تصور کن داری رویدادها رو از یه سیستم دیگه می‌گیری ولی پردازشت کندتره. اگه هیچ محدودیتی نباشه، حافظه‌ت پر میشه. من معمولا با کانال‌های buffer‌دار اینو مدیریت می‌کنم؛ وقتی بافر پر میشه producer گیر می‌کنه تا consumer کمی جلو بیفته. یه بار اینو توی سیستم لاگینگ پیاده کردم، به جای اینکه همه‌ی لاگ‌ها رو بدون کنترل بخوره، با backpressure سرعت متعادل شد.
یه چیز مهم دیگه cancellation ـه. بارها پیش اومده یه کاری رو استارت زدم ولی دیگه نیاز نبوده ادامه پیدا کنه. مثلا یه درخواست HTTP طولانی بود و کاربر صفحه رو بست. با context خیلی راحت میشه اینو مدیریت کرد، وقتی سیگنال cancel بیاد، همه‌ی goroutineهای مربوطه متوقف می‌شن. این باعث میشه منابع الکی مصرف نشن.
در نهایت هم timeout. خیلی وقتا نمی‌خوای یه عملیات تا ابد ادامه پیدا کنه. مثلا وقتی به یه سرویس بیرونی وصل میشی، میگی اگه بیشتر از ۲ ثانیه طول کشید، دیگه مهم نیست جواب چی بود، تمومش کن. این کار نه تنها سیستم رو responsive نگه می‌داره، بلکه از گیر کردن کل برنامه جلوگیری می‌کنه.

<Mohammad Salehi/>

فوری فوری:

دوستان دوره های که در این صفحه هستند با کدتخفیف OMID میتونی یک دوره رو با تخفیف 100 دریافت کنید.

https://land.fdrs.ir/omid/?utm_content=abdolreza-pourmozhdegani&utm_campaign=me-1404-06-3rdstep


البته با چند سیم کارت مختلف اکانت مختلف وارد کنید و دوره دیگه رو هم دریافت کنید.

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

اومدن برای ریورس پروکسی یه رابط کاربری ساختن که مدیریتش رو راحت تر می‌کنه داکری هم هست نصبش خیلی راحته. بعد نصب بهتون یه پنل وب می‌ده و توش می‌تونید مدیریتش کنید:

nginxproxymanager.com


@Linuxor

حاصلضرب مهارت های اجتماعی و قدرت برنامه نویسی یه عدد ثابته. هرچقدر برنامه نویس خفن تری باشید مهارت های اجتماعی ضعیف تری دارید.

دکتر حسابی‌


@Linuxor

چندروز هست دارم به یکی از دوستان نزدیکم روی ایده‌اش کمک می‌کنم؛ بیشتر کدهای بکند و مربوط به AI اش با من هست.

یکی از مواردی که توی MVP دیده شد این بود که علاوه بر سرعت توکن هم برامون خیلی مهمه (چندتا فاز داره و مثلا یک مرحله‌اش اینه که خروجی رو Text to Speech بخونه) خب رفتیم سراغ Groq که سرعت خوبی داشت ولی مدل‌هایی که میخواستیم رو نداشت و برای اضافه کردن هم هزینه بالایی می‌گرفت.
بهترین مدل بعدی که جایگزین می‌شد هم کارمون رو خیلی راه ننداخت.
توی همین گشت و گذارها به سی‌ری‌براس رسیدم که سرعت تولید توکنش توی بدترین شرایط 2.5x برابر باقی هست و قیمت خیلی خیلی پایینی هم داره برای تعداد بالا؛ مثلا مدل
Qwen 3 235B Instruct
قیمتی که داره با GPT-5-nano یکی هست ولی سرعت خروجی توکن این کجا و اون کجا (دقت رو هم نگم دیگه)

داشتم برنامه ریزی میکردم که برای کارهای شخصی خودمم از مدل‌های این شرکت استفاده کنم؛ نه بخاطر دقتش که قطعا کار من رو راه می‌ندازه بلکه بخاطر سرعتش (بعضی وقتا سرعت تایپ‌کردن خودم از سرعت response مدل‌ها بیشتره)

خلاصه رفتم توی سایتش و بعد دریافت API دیدم به به

Qwen3-480B (Coder) 
GPT-OSS-120B

چیزایی که دوس دارم هم موجود هست؛ تعداد توکن تولیدیش برای Qwen3-480B توی چندتا تست‌های من بین 2000-2050 توکن بر ثانیه هست.

داشتم میرفتم توی صفحه پرداخت که دیدم Referrals داره :
1 successful invite equals +200K tokens per day (up to 1M). Your friend also gets +200k tokens when they sign up.

خلاصه که چون به هرکدوم (هم من هم کسی که با لینک من عضو بشه) روزی 200K+ توکن رایگان میده؛ گفتم با لینک خودم دعوتتون کنم!

ولی پیشنهاد می‌کنم حتما برای کارها؛ ایده‌ها و ... از API هاش استفاده کنید بصورت دیوانه‌وار سریع و ارزون قیمت هست.

Get 200K+ token daily for free (Qwen3-480B Coder)

واقعا این سرعت توی بازار الان و ابزارهای LLM یک کد تقلب (cheat code) هست برای ایده‌هایی که بتونند ازش استفاده کنند.
رقبا رو به راحتی می‌تونه کنار بزنه بنظرم.

2016 Token/Seconds 
Qwen3-480B (Coder)

دوستان توی بخش limit محدودیت‌هاش رو بخونید حتما
مثلا برای auto complete حتما از مدل‌های ساده‌تر استفاده کنید مثل gpt-oss-120b یا qwen-3-32b که میزان درخواست روزانه / دقیقه یا میزان token های روزانه رو سریع مصرف نکنید (بعضی از ابزارها بصورت خودکار قویترین مدل رو انتخاب می‌کنند که ضرر هست)

Carry my soul into the night
May the stars light my way
I glory in the sight
As darkness takes the day
Ferte in noctem animam meam
Illustrent stellae viam meam
Aspectu illo glorior
Dum capit nox diem
Cantate vitae canticum
Sine dolore actae
Dicite eis quos amabam (sing a song)
Me nunquam obliturum (a song of life)
Lived without regret
Tell the ones, the ones I loved
I never will forget
Never will forget

🔥 New GitHub Trending Repositories 🔥

Found 11 new trending repositories:

1. gin by gin-gonic
📝 Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API but with ...
💻 Go | ⭐ 84,201 | 🌟 Today: 37
🔗 Link
2. ladybird by LadybirdBrowser
📝 Truly independent web browser
💻 C++ | ⭐ 48,323 | 🌟 Today: 300
🔗 Link
3. fiber by gofiber
📝 ⚡️ Express inspired web framework written in Go
💻 Go | ⭐ 37,773 | 🌟 Today: 29
🔗 Link
4. every-programmer-should-know by mtdvio
📝 A collection of (mostly) technical things every software developer should know about
💻 Star | ⭐ 90,684 | 🌟 Today: 797
🔗 Link
5. nvm by nvm-sh
📝 Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions
💻 Shell | ⭐ 87,055 | 🌟 Today: 26
🔗 Link
6. openzeppelin-contracts by OpenZeppelin
📝 OpenZeppelin Contracts is a library for secure smart contract development.
💻 Solidity | ⭐ 26,380 | 🌟 Today: 7
🔗 Link
7. foundry by foundry-rs
📝 Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written...
💻 Rust | ⭐ 9,497 | 🌟 Today: 8
🔗 Link
8. TypeScript by microsoft
📝 TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
💻 TypeScript | ⭐ 106,072 | 🌟 Today: 19
🔗 Link
9. helm by helm
📝 The Kubernetes Package Manager
💻 Go | ⭐ 28,519 | 🌟 Today: 8
🔗 Link
10. chainlink by smartcontractkit
📝 node of the decentralized oracle network, bridging on and off-chain computation
💻 Go | ⭐ 7,566 | 🌟 Today: 8
🔗 Link
11. uvicorn by Kludex
📝 An ASGI web server, for Python. 🦄
💻 Python | ⭐ 9,734 | 🌟 Today: 2
🔗 Link

🔘 @github_trending_daily

زیگموند فروید قبل از وفاتش یه صحبت قشنگی درباره مک و لینوکس کرده بود.

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


@Linuxor

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

سر سخن دوست نمیارم گفت
دریست گرانبها نمیارم سفت
ترسم که بخواب دربگویم سخنی
شب هاست که از بیم نمیارم خفت

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

🔵 عنوان مقاله
Building a Simple Stack-Based Virtual Machine in Go

🟢 خلاصه مقاله:
** این مقاله از Phakorn Kiong با یک نمونه عملی نشان می‌دهد چگونه در Go یک VM ساده مبتنی بر Stack بسازیم. هسته سیستم شامل bytecode، یک instruction pointer، یک stack برای داده‌ها و چند opcode پایه مثل PUSH، POP، ADD، SUB، MUL، DIV، PRINT و HALT است. اجرای برنامه به‌صورت حلقه fetch–decode–execute انجام می‌شود؛ هر opcode خوانده می‌شود، عمل مربوط روی stack اجرا می‌گردد و IP جلو می‌رود. قالب bytecode ساده است و مقادیر یا به‌صورت فوری یا از یک constant pool خوانده می‌شوند. برای پایداری، کنترل خطاهایی مثل stack underflow/overflow و division by zero در نظر گرفته شده است. نمونه‌هایی مثل محاسبه و چاپ 2*(3+4) برای تست آورده می‌شود و می‌توان یک assembler کوچک برای تولید bytecode اضافه کرد. مسیرهای توسعه شامل کنترل جریان (JMP/JZ)، مقایسه‌ها (EQ/LT/GT)، متغیرها با LOAD/STORE، و توابع با CALL/RET است؛ همچنین ابزارهایی مانند tracer، disassembler، REPL و تست‌ها پیشنهاد می‌شوند. هدف مقاله آموزشی است و “Here’s the code” کد کامل و خوانا را برای شروع و گسترش فراهم می‌کند.

#Go #Golang #VirtualMachine #StackVM #Bytecode #Interpreter #Compiler #SystemsProgramming

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

➖➖➖➖➖➖➖➖
👑 @gopher_academy