LinkPlace
152 subscribers
262 photos
32 videos
103 files
3.43K links
يه جایی که
لينكایی كه به نظرمون باحاله رو به اشتراک ميذاريم؛ از پروگرمينگ تا نجوم و ...! بقيه هم استفاده كنن و منبع های بیشتری در اختیارشون قرار بگیره

a place for sharing our researchs links to use them again and for others to have with more sources
Download Telegram
اگه یه درسد از تئوری کامپیوتیشن خوشتون میاد و دوست دارین در مورد تئوری اثبات و جنریتور هاش بدونین (مثلاً این که پرولوگ چطوری اثبات هاش رو جنریت می‌کنه) اینا گنج های نایاب وبن:


http://hardmath123.github.io/meet-the-robinson.html

http://hardmath123.github.io/meet-the-robinson-2.html

http://hardmath123.github.io/meet-the-robinson-3.html
یکی از باحال ترین ریپو های دنیا:

https://github.com/kach/hell
LinkPlace
https://virgool.io/@arainjast/%D8%A2%D8%B4%D9%86%D8%A7%DB%8C%DB%8C-%D8%A8%D8%A7-transducers-ktttzg6xrsoq
دو نکته:

اولی) جی اس به زودی خودش پایپ نیتیو پیدا میکنه،‌ البته فعلا تازه استیج یکه و حالا حالا ها نمیاد:

https://github.com/tc39/proposal-pipeline-operator

دومی) کامپوزیشن و پایپ شاید مثلا تو هسکل خیلی خفن باشن، ولی واقعا میشه راحت نوشتشون:

x( array[ index ] ) |> y |> z

به راحتی نوشته می‌شه:

z( y( x( array[ index ] )

و در نتیجه:

const result = array.map( element => z( y( x( element ) ) ) )
یه میلیون سال نوری با iA Writer فاصله داره، ولی حداقل فوکوس روی پاراگراف داره...

https://wereturtle.github.io/ghostwriter/