چند روزه با الیکسیر درگیر شدم (elixir)
یه زبان فانکشناله اما به اندازه هسکل pure نیست.
جمع بندیم از الیکسیر اینه که از هسکل راحت تر میشه یادش گرفت.
سینتکس ارور و کلا ارورهاش بهترن.
همچنان immutability رو فورس میکنه و کانکارنسی خوبی داریم.
اما ایرادش اینه که کامپایلی نیست و تایپ سیستم ضعیفی داره.
چون pure نیست همه جا میتونیم side effect داشته باشیم و یکی از اجزای functional رو عملا نداریم اما کمک میکنه به یادگیری راحت ترش (میتونید لاگ و اینا بزنید هرجا خواستید)
چون lazy نیست بر خلاف هسکل stack trace داریم و به چیزی که تا حالا یاد گرفتیم نزدیک تره.
از ارلنگ، امکان atom ها رو گرفته که به نظرم خیلی جذاب و کاربردیه. چیزی که تو پایتون دیده بودم (مثلا امکانات زیادی که لایبرری هاش میدن و کلی پارامتر میشه به تابع پاس داد) رو اینجا خیلی زیبا تر با atom هندل میکنن.
یه ایراد دیگه که فعلا دارم میبینم اینه که state یه تابع رو از بیرون به تابع باید بدیم و ممکنه این state اصلا چیز معتبری نباشه. توی OOP ها پیش نمیاد چون استیت رو خود کلاس دستکاری میکنه. توی هسکل هم پیش نمیاد چون تایپ سیستم جلوش رو میگیره.
درنهایت خوشحالم که وجود داره چنین چیزی و فانکشنال پروگرمینگ رو راحت تر به دست برنامه نویس و کمی هم صنعت میرسونه.
یه زبان فانکشناله اما به اندازه هسکل pure نیست.
جمع بندیم از الیکسیر اینه که از هسکل راحت تر میشه یادش گرفت.
سینتکس ارور و کلا ارورهاش بهترن.
همچنان immutability رو فورس میکنه و کانکارنسی خوبی داریم.
اما ایرادش اینه که کامپایلی نیست و تایپ سیستم ضعیفی داره.
چون pure نیست همه جا میتونیم side effect داشته باشیم و یکی از اجزای functional رو عملا نداریم اما کمک میکنه به یادگیری راحت ترش (میتونید لاگ و اینا بزنید هرجا خواستید)
چون lazy نیست بر خلاف هسکل stack trace داریم و به چیزی که تا حالا یاد گرفتیم نزدیک تره.
از ارلنگ، امکان atom ها رو گرفته که به نظرم خیلی جذاب و کاربردیه. چیزی که تو پایتون دیده بودم (مثلا امکانات زیادی که لایبرری هاش میدن و کلی پارامتر میشه به تابع پاس داد) رو اینجا خیلی زیبا تر با atom هندل میکنن.
یه ایراد دیگه که فعلا دارم میبینم اینه که state یه تابع رو از بیرون به تابع باید بدیم و ممکنه این state اصلا چیز معتبری نباشه. توی OOP ها پیش نمیاد چون استیت رو خود کلاس دستکاری میکنه. توی هسکل هم پیش نمیاد چون تایپ سیستم جلوش رو میگیره.
درنهایت خوشحالم که وجود داره چنین چیزی و فانکشنال پروگرمینگ رو راحت تر به دست برنامه نویس و کمی هم صنعت میرسونه.
یه نفر پلاک با شمارهی «null» رو گرفته.
دیگه باقیشو خودتون ببینید
https://futurism.com/the-byte/license-plate-null-disaster
دیگه باقیشو خودتون ببینید
https://futurism.com/the-byte/license-plate-null-disaster
THE_BYTE.
This Guy Got the License Plate "NULL" and It Was a Total Disaster
A cyber-security expert registered a vanity plate with "NULL" and caused disaster at his DMV, resulting in $18,000 of unpaid tickets.
😁1
درمورد هنر pause کردن و فکر کردن به چیزی که میبینیم / میشنویم.
https://www.youtube.com/watch?v=6ERXfZTFbFQ
https://www.youtube.com/watch?v=6ERXfZTFbFQ
YouTube
Is Anything on the Internet Real?
GiveWell is matching donations from first-time donors dollar for dollar up to $250. Click on https://bit.ly/3DvVik8 to donate and be sure to use the fundraiser code MINUTEPHYSICS at checkout to make sure your donation gets matched.
Support MinutePhysics…
Support MinutePhysics…
برای کسایی که میان لینوکس، دلشون برا ویندوز تنگ میشه
https://github.com/MrGlockenspiel/activate-linux
https://github.com/MrGlockenspiel/activate-linux
GitHub
GitHub - MrGlockenspiel/activate-linux: The "Activate Windows" watermark ported to Linux
The "Activate Windows" watermark ported to Linux. Contribute to MrGlockenspiel/activate-linux development by creating an account on GitHub.
😁10👎3👍1
Forwarded from Sudoer - Powered OFF (Morteza Bashsiz)
یه منبع خوب برای اینکه بیشتر راجع به لینوکس بدونید
https://0xax.gitbooks.io/linux-insides/content/
https://0xax.gitbooks.io/linux-insides/content/
0xax.gitbooks.io
Introduction · Linux Inside
❤1👎1
نوشتههای ترمینالی
https://github.com/neovim/neovim/pull/18547
این دنباله پیام ها رو بخونید.
چقدر به کاربرا اهمیت میدن. چقدر دوست داشتنین.
چقدر به کاربرا اهمیت میدن. چقدر دوست داشتنین.
برای پروژه های ازادتون حتما license بذارید وگرنه مجوز استفاده به کسی ندادید و عملا به دردی نمیخوره اصلا.
👍7😁1
یک خطی های کاربردی bash و sed و awk و ...
https://github.com/onceupon/Bash-Oneliner
https://github.com/onceupon/Bash-Oneliner
GitHub
GitHub - onceupon/Bash-Oneliner: A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system…
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance. - onceupon/Bash-Oneliner
👍5
توضیح خوب در مورد جولیا و multiple dispatchش
https://www.youtube.com/watch?v=JYs_94znYy0
https://www.youtube.com/watch?v=JYs_94znYy0
YouTube
Julia in 100 Seconds
Julia is a dynamic general purpose programming language popular for scientific computing and big data analytics. It is extremely fast thanks to its use of a JIT compiler and allows developers to write concise, yet powerful code.
#compsci #programming #…
#compsci #programming #…
خاطرهی اپدیت arch و به فنا رفتن kuber به خاطر حذف dockershim و عملا عدم امکان استفاده از داکر داخل kuber
(تا جایی که من میفهمم)
https://medium.com/@kris-nova/breaking-kubernetes-1-24-89998cc98e59
(تا جایی که من میفهمم)
https://medium.com/@kris-nova/breaking-kubernetes-1-24-89998cc98e59
Medium
Kubernetes 1.24 on Arch Linux Outage: Understanding the dockershim deprecation
Understanding the dockershim deprecation.
این شبیه ساز ساخت تصویر از سیاه چاله جالب بود
https://ebruneton.github.io/black_hole_shader/
و سورسکدش با cpp
https://github.com/ebruneton/black_hole_shader
https://ebruneton.github.io/black_hole_shader/
و سورسکدش با cpp
https://github.com/ebruneton/black_hole_shader
GitHub
GitHub - ebruneton/black_hole_shader: This project provides a WebGL2 shader to render a non-rotating black hole with an accretion…
This project provides a WebGL2 shader to render a non-rotating black hole with an accretion disc and background stars. - ebruneton/black_hole_shader
🤩2
Forwarded from a pessimistic researcher (Kc)
اگه حوصله ندارید مقالهی فوق العاده زیبای فوق را بخوانید
این ویدئو را ببینید
https://youtu.be/qT8NyyRgLDQ
این ویدئو را ببینید
https://youtu.be/qT8NyyRgLDQ
YouTube
Computer Science ∩ Mathematics (Type Theory) - Computerphile
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.
A Longer version of this interview can be found here: https://y…
A Longer version of this interview can be found here: https://y…
❤2
درمورد information theory زیبا گفته بود:
تئوری پشت compression و error check ها داخل شبکه
https://www.youtube.com/watch?v=b6VdGHSV6qg
تئوری پشت compression و error check ها داخل شبکه
https://www.youtube.com/watch?v=b6VdGHSV6qg
YouTube
Why Information Theory is Important - Computerphile
Zip files & error correction depend on information theory, Tim Muller takes us through how Claude Shannon's early Computer Science work is still essential today!
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was…
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was…
👍1
Forwarded from Useful Links and Documents (Muhammad)
adamj.eu
The Well-Maintained Test: 12 Questions for New Dependencies - Adam Johnson
Joel Spolsky’s infamous Joel Test is a quick heuristic test for checking a software engineering team’s technical chops. I’ve come up with a similar test that we can use to decide whether a new package we’re considering depending on is well-maintained.
👍2
Forwarded from LinNews (محمد ☕️)
موضوع: داکداکگو tracker های مایکروسافت را مسدود نمیکند
شرح خبر: زک ادواردز، محقق امنیتی، هنگام بررسی مرورگر حریم خصوصی DuckDuckGo متوجه چیز عجیبی شد. ادواردز در آزمایشهای خود توانست به وضوح ثابت کند که ردیابهای گوگل یا فیسبوک مسدود شدهاند، اما ردیابهای مایکروسافت میتوانستند کار خود را بدون مانع انجام دهند!
ظاهرا این یک قرارداد بین داکداکگو و مایکروسافت بوده.
این اتفاق در حالی میافتد که داکداکگو بارها بر روی حریم خصوصی و مصدود کردن ردیابها (trackers) تاکید کرده است.
منبع و اطلاعات بیشتر:
DuckDuckGo caught giving Microsoft permission for trackers despite strong privacy reputation
🔅@LinNews
🔅@LinAcademy
شرح خبر: زک ادواردز، محقق امنیتی، هنگام بررسی مرورگر حریم خصوصی DuckDuckGo متوجه چیز عجیبی شد. ادواردز در آزمایشهای خود توانست به وضوح ثابت کند که ردیابهای گوگل یا فیسبوک مسدود شدهاند، اما ردیابهای مایکروسافت میتوانستند کار خود را بدون مانع انجام دهند!
ظاهرا این یک قرارداد بین داکداکگو و مایکروسافت بوده.
این اتفاق در حالی میافتد که داکداکگو بارها بر روی حریم خصوصی و مصدود کردن ردیابها (trackers) تاکید کرده است.
منبع و اطلاعات بیشتر:
DuckDuckGo caught giving Microsoft permission for trackers despite strong privacy reputation
🔅@LinNews
🔅@LinAcademy