Notices by מאיה אברמסקי־קרוננברג רונן ☮️ (ruxotves@hed.im)

היי פיד #יוניקוד + #מתמטיקה + #עבודות_ריצוף 👋

נכון ריצוף זה יפה, ואחת מתבניות הריצוף היפות ביותר היא זו, שמורכבת משני (🤯!) סוגי אריחים בלבד?
https://www.antoniosiber.org/wang_tiles_en.html

אז אני מחפשת ליצור תבנית כזאת בעזרת שני תווי יוניקוד. מה הבעיה? שלא מצאתי תווים מתאימים; אם יש לכן רעיונות, אשמח מאוד לשמוע 🙂

מה הכי קרוב שמצאתי? »

#אריחי_וואנג #ריצוף #מבוך #נחשים

מקונפיגורציה של NeoVim עם init.vim שירשתי מימי ה־Vim (בגלגולים שונים מגרסה 6 ומשהו… 🦕) אל קונפיגורציה עם init.lua, כולל מעבר מ־vim-plug ל־lazy.nvim. זאת גם הזדמנות לעשות מיון: מה שמועיל — להשאר; מה שלא — להועף או לכל הפחות להוער או לאורכב. יש לי מיליארד פלאגינים וקונפיגורציה מותאמת אישית באורך הגלות, כך שתהליך המעבר לא יהיה עניין של מה בכך.

https://github.com/junegunn/vim-plug
https://github.com/folke/lazy.nvim

#סליחה_שאני_טרולית #NeoVim_and_vigour

@lulu @Esho

אכן. ביחד עם העניינים הטכנולוגיים יש כאן לדעתי גם עניין של בנות אדם ותרבות:

• בצד אחד יש את ברם ז״ל, שהפרוייקט האישי שלו התנפח למימדים עצומים אבל עדיין נשאר הפרוייקט האישי שלו, עם ריכוזיות בפיתוח ושיח ברשימות דיוור ופאצ׳ים ידניים ושימוש בשפת הסקריפט הפרטיקולרית שלו.

• בצד השני NeoVim הוא פרוייקט שיתופי שמתנהל בנורמות עכשיוויות (Git ו־GitHub) ועובד עם שפה כללית.

אני מאוד מעריכה את ברם. אנחנו חבות לו המון, אבל ברור מה הדרך הלאה.

»

@lulu @Esho

ובאותה הרוח, לדעתי טוב שיהיה סוג של NeoTeX, שמצד אחד כן ימשיך עם מה שטוב ויאפשר שימוש באקוסיסטם העצום והמגוון של החבילות, אבל מצד שני לא יפחד לזרוק דברים לפח ולעשות דברים חדשים וטובים יותר. LuaTeX בכיוון, אבל לענ״ד צריך משהו יותר דרסטי. Typst הולך רחוק מאוד ומוותר על כל סוג של תאימות לטובת חזון חדש. אולי בטווח הרחוק זה נכון, אבל בינתיים זה הופך את זה לפחות שמיש עבור כל סוג של מסמך שחורג מעט ממה שבסיסי (נגיד, דוגמאות בלשניות הן כרגע *מאוד* מוגבלות; https://typst.app/universe/package/leipzig-glossing).

@lulu @Esho

כדאי לך בשביל הכיף לשחק קצת עם Typst. זה חמוד מאוד, ומהיר, וידידותי (הודעות השגיאה של הקומפיילר של TeX, בקצה השני, ידידותיות כמו רוטוויילר חולה כלבת 😬). כתוב בראסט וברור שיש נקודות של השראה משם.

(דבר אחד שאני לא משוכנעת שהוא בחירה נכונה הוא שאין שימוש בשפה כללית (לואה מתבקשת) בשביל סקריפטינג; כאן יש הסבר למה: https://github.com/typst/typst/discussions/3528)

@Esho @lulu

זה מדהים איזו כברת דרך עברה. כשהתחלתי להשתמש ב־Vim כבר היתה תמיכה בפלאגינים, אבל היה צריך להתקין אותם ידנית מ־tarballs, והם זיבלו את אותו המרחב של תתי־ספריות (במקום שכל אחד ישמר עצמאית כמו היום). כדי להסיר, היה צריך לעבור קובץ־קובץ ולמחוק (ולהזהר לא למחוק את הקבצים האחרים). גם עדכונים לא היו פשוטים.

וההגדרות הדיפולטיביות הכילו כל מני דברים מוזרים שדי כולם שינו, ברמה הבסיסית ביותר של איך ש־Vim מתנהג.

@lulu @Esho

ובעניין של Lua: יש לזה כמובן הרבה יתרונות כלליים מבחינת מהירות, הרחבתיות, קלות כתיבה, סטנדרטיות ועוד, אבל משהו מסויים שקנה אותי באלגנטיות שלו הוא LuaSnip, מערכת snippets שלא רק כתובה ב־Lua, אלא הסניפטים בה נכתבים *ב*־Lua, מה שמאפשר לעשות דברים מאוד מתוחכמים ומטאיים! רמה אחרת לגמרי של גמישות ואבסטרקציה.
https://github.com/L3MON4D3/LuaSnip

ל־TJ DeVries יש סדרה של סרטונים חמודים (פרקים 3–5) על LuaSnip:
https://www.youtube.com/playlist?list=PLep05UYkc6wT87iDtQZ3iafQannL4efEo

מדריך בדגש על מתמטיקה (היי @yaarur! 👋):
https://ejmastnak.com/tutorials/vim-latex/luasnip/
#לואה

@lulu @Esho @yaarur

בעקבות [הדף הזה](https://castel.dev/post/lecture-notes-1) התחלתי להשתמש בזמנו ב־UltiSnips. זה שינה לגמרי את האופן שבו אני כותבת, וזאת מערכת נהדרת, אבל היא גם איטית (Vim script) ומבוגגת¹ וגם כל מה שמעבר להחלפות פשוטות ותבניות פשוטות מרגיש כמו second-class citizen והאקי. עם LuaSnip גם הדברים הפשוטים וגם הדברים הסופר־מורכבים (כמו התנהגות שונה לפי ניתוח של Tree-sitter!! 🤯) כולם first-class citizens.

¹ לפחות אצלי היו באגים בתסריטים מסויימים; לא בטוחה על מי האשמה.

@lulu @Esho @yaarur

הטיפול של ראסט בשגיאות באמת גורם לשפות אחרות להראות כמו בתי גידול לבאגים ולקוד מסורבל 🪲

@lulu @Esho @yaarur

ואללה. אני חסרה את הראיה הטיפולוגית הרחבה וההיכרות עם מגוון שפות.

@tzafrir @Ashoufany

אפשרות נוספת היא Syncthing: ספריה שמסונכרנת אוטומטית בין הטלפון והמחשב.
https://syncthing.net

@tzafrir @Ashoufany

ויתרון נוסף הוא דו־כיווניות — בדיוק באותה הדרך אפשר גם להעביר קבצים לטלפון.

@guysoft

השאלה היא האם אנחנו מגיעות למסה קריטית מבחינת היחס בין מספר הא·נשים והפיזור הגיאוגרפי.

@paul_oyster @guysoft

אולי בגוש דן יש מספיק.

@I @inmediasres

אני משתמשת בממשק הווב, כך שאני לא יכולה להעיד מנסיון.

@guysoft, לעיונך 🙂

@I

בהיו.ש יש מגבלה של 7000 תווים כמדומני. אני כותבת שם על דברים ב־@inmediasres ונחמד שם 🙂

https://hayu.sh

טוב, עכשיו למשימה הקשה באמת: למצוא ניק / handle / שם־משתמשת בשביל חשבונות חדשים. אני לא אוהבת את Rumpelstilzchen/Rwmpelstilzchen הקיים.

הסיפור מאחריו, אגב, הולך ככה. נכון ג׳ימייל? אז פעם זה היה דבר מיוחד וקיבלו הזמנות כדי להרשם לשירות. קיבלתי הזמנה ממכר, וניגשתי להרשם. שם משתמש אחד שניסיתי היה כבר תפוס, וגם שני, ושלישי, ואולי רביעי (לא זוכרת כמה ניסיתי וכולם היו תפוסים). אז אמרתי לעצמי, „איזה שם אף אחת לא יודעת? איזה שם יהיה פנוי? 🤔”. »

וכמובן ש„עוץ לי גוץ לי” (Rumpelstilzchen בגרמנית) היתה התשובה שעניתי לעצמי כ„שם שאף אחת לא יודעת”. אכן היה פנוי, ונרשמתי כ־rumpelstilzchen@gmail.com (שמאז נחסם יום אחד מסיבה עלומה). למה Rwmpelstilzchen? כי יש מקומות שבהם Rumpelstilzchen כבר תפוס, אבל Rwmpelstilzchen תמיד פנוי בכל מקום (האות w מסמנת תנועת /ʊ/ או /uː/ בוולשית).

למה להחליף? כי עוץ לי גוץ לי הוא בעעע, ולא מתאים לי ששם כזה ייצג אותי. עכשיו אני צריכה לחשוב על רצף תווים מתאים שיהיה פנוי בכל מקום (ruxotves מתאים רק ל־hed.im הרי).