דלג לתוכן הראשי

2024-10-25

ערכת הפיתוח של Bitwarden שינתה את הרישוי שלה מרישוי קנייני ל-GPLv3

  • Bitwarden עדכנה את מאגר ה-SDK הפנימי שלה כדי לשפר את שפת הרישוי, ועברה בעיקר לרישיון GPL (רישיון ציבורי כללי) או רישיון Bitwarden SDK.
  • העדכון כולל 28 קבצים עם 2,343 תוספות ו-299 מחיקות, כולל שינויים ב-Cargo.toml ובקבצי רישיון, ושינוי שמות של מספר קבצים ללא שינוי בתוכנם.
  • העדכון משפיע על קבצי שפות JavaScript, Kotlin ו-Swift, עם תוספות בולטות לטקסטי הרישיון.

תגובות

  • Bitwarden שינתה את רישיון ערכת הפיתוח התוכנה (SDK) שלה מרישיון קנייני ל-GPLv3, בתגובה לחששות לגבי מעמדה כקוד פתוח.
  • ההחלטה הזו מגיעה בעקבות ביקורת על בעיית רישוי שכללה תלות בקוד קנייני בחלקים מסוימים של הלקוח שלה.
  • בעוד שהמהלך נתפס כחיובי ומשיב חלק מהאמון ב-Bitwarden כמנהל סיסמאות אמין, משתמשים מעודדים להישאר ערניים לכל שינוי עתידי.

לקונים של סמארטפונים לא אכפת מ-AI, הם דואגים יותר לחיי הסוללה

  • סקר של CNET מצביע על כך שמשתמשים רבים בסמארטפונים אינם מתרשמים מתכונות הבינה המלאכותית של חברות גדולות, במיוחד אם הן דורשות דמי מנוי.
  • נתונים סטטיסטיים מרכזיים מראים כי 25% מהמשתמשים לא מוצאים את הבינה המלאכותית מועילה, 45% אינם מוכנים לשלם עבור בינה מלאכותית, ו-34% מודאגים מפרטיות.
  • הסיבות העיקריות לשדרוג טלפונים הן חיי סוללה ארוכים יותר, יותר אחסון ומצלמות טובות יותר, כאשר רק 18% מונעים על ידי תכונות בינה מלאכותית.

תגובות

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

המערכת הלימפתית לניקוי פסולת במוח הוצגה לראשונה בבני אדם

  • מחקר שנערך לאחרונה אישר את קיומו של המערכת הגלימפתית בבני אדם, אשר אחראית על ניקוי פסולת מהמוח ועשויה להשפיע על מחלת האלצהיימר.
  • המחקר השתמש בסריקות MRI במהלך ניתוח מוח כדי לצפות בזרימת נוזל המוח והשדרה דרך ערוצים ספציפיים, בתמיכה במאמצים לשפר את המערכת הגלימפתית.
  • שיפור מערכת הגלימפתית עשוי לשפר את איכות השינה ולהפחית את הסיכון לדמנציה, עם עדכונים זמינים דרך NIH Research Matters.

תגובות

  • המערכת הלימפתית לניקוי פסולת במוח, הידועה כמערכת הגלימפתית, נצפתה לראשונה בבני אדם, מה שמסמן תגלית מדעית משמעותית.
  • מחקר עצמאי מציע כי דפוסים חזותיים מסוימים עשויים לעודד ניקוי גלימפטי בזמן ערות, דבר שעשוי להועיל לאנשים עם מחלות שמפריעות לתהליך זה, כמו Long Covid ו-ME/CFS (מיָלגיה אנצפלומיאליטיס/תסמונת התשישות הכרונית).
  • הרעיון שגירויים חזותיים יכולים להפעיל ניקוי פסולת במוח הוא מרתק, אם כי ההשפעות והמנגנונים המדויקים עדיין נמצאים בחקירה.

מדוע פרופילי הבטיחות נכשלו

  • פרופילי בטיחות, שהוצגו בשנת 2015 לשיפור בטיחות הזיכרון בקוד C++, נכשלו בשל הנחות שגויות לגבי מספקות המידע הקיים בקוד להבטחת בטיחות. - בניגוד ל-Rust, שמשתמשת בפרמטרים של אורך חיים ובדיקת השאלה, C++ חסרה מידע הכרחי על השאלה, אורך חיים ובטיחות, מה שהופך את בטיחות הזיכרון בזמן הקומפילציה לבלתי ניתנת להשגה. - כישלון פרופילי הבטיחות מדגיש את הצורך של C++ לאמץ תכונות מפורשות של השאלה, אורך חיים ובטיחות, ואולי לשלב את מודל הבטיחות של Rust כדי לשפר את האבטחה והאינטראופרביליות.

תגובות

  • C++ מתמודדת עם אתגרים בנושא בטיחות זיכרון בשל השימוש באיטרטורים, שיכולים להוביל לבעיות של חפיפה, בעוד ששפת D משתמשת במערכים עם אורכים מוגדרים כדי להקל על בעיות אלו.
  • פרופילי בטיחות ב-C++ נתונים לדיון כעשויים להיות יותר הסחת דעת מאשר פתרון, שכן הם אינם מבטיחים בטיחות זיכרון מלאה, בניגוד ל-Safe C++ שמטרתו היא בטיחות זיכרון מלאה כברירת מחדל.
  • מורכבותה של שפת C++ מקשה על יישום בטיחות ללא שינויים משמעותיים, ובזמן ש-Rust מציעה חלופה בטוחה יותר, המעבר מקוד קיים ב-C++ מהווה אתגר משמעותי.

ישראל ביצעה תריסר תקיפות על כוחות האו"ם בלבנון, כך לפי דוח שהודלף

תגובות

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

מתוחכם יותר מCtrl+F': קישור ישיר לתוכן דף אינטרנט

  • קטעי טקסט מאפשרים קישור מדויק לטקסט ספציפי בדף אינטרנט באמצעות תחביר URL מיוחד, המאפשר הדגשה וגלילה לטקסט ללא צורך בעוגן.
  • פונקציה זו, שנראתה לראשונה בחיפוש של גוגל, היא כעת תקן רשת רחב יותר ומקבלת תמיכה מרוב הדפדפנים, כולל אלו המבוססים על כרומיום כמו כרום, שמציעים פונקציה של "העתק קישור להדגשה".
  • קטעי טקסט יכולים לשפר מערכות בינה מלאכותית על ידי מתן קישורים ישירים ורגישים להקשר ויכולים לחשוף תוכן מוסתר, אם כי התמיכה בעיצוב עם האלמנט המדומה ::target-text ב-CSS משתנה.

תגובות

  • פיירפוקס הציגה תכונה המאפשרת קישור ישיר לטקסט ספציפי בדפי אינטרנט, יכולת שהייתה זמינה בעבר בכרום. תכונה זו כלולה בגרסה האחרונה של פיירפוקס אך עדיין אינה זמינה ב-Firefox ESR (גרסת תמיכה מורחבת). בעוד שחלק מהמשתמשים מעריכים את הפונקציונליות, אחרים מודאגים מהאפשרות לשימוש לרעה, כמו הפניית תשומת הלב לחלקים לא מכוונים של הדף או הפרעה לקיצורי מקלדת כמו Ctrl+F.

להפסיק עם המדיה החברתית (2016)

  • בשיחת TEDx, הדובר ממליץ על הפחתת השימוש במדיה החברתית, תוך הדגשת ההשפעות השליליות הפוטנציאליות שלה על הרווחה.
  • אנדרו סאליבן, בלוגר פוליטי, משתף את חוויותיו האישיות מהפסקת השימוש במדיה החברתית בשל השפעותיה המזיקות על בריאותו, ומדגיש כי הדרישות של המדיה החברתית הפכו לנפוצות.
  • הדיון צובר תאוצה עם דמויות משפיעות כמו סאליבן, מה שמרמז על מודעות גוברת לעלויות של המדיה החברתית ועל פוטנציאל לשינוי.

תגובות

  • הדיון מעלה באופן הומוריסטי את השאלה מהי ההגדרה של הפסקת השימוש במדיה החברתית, שכן המשתמש עדיין פעיל במספר פלטפורמות, כולל לינקדאין, רדיט וטוויטר.
  • משתתפים דנים בשאלה האם פלטפורמות כמו Hacker News צריכות להיחשב כרשתות חברתיות, תוך התמקדות בהיבטים כמו מדדי משוב, מונטיזציה ואינטראקציה קהילתית.
  • השיחה מדגישה דעות שונות לגבי ערכו של המדיה החברתית, מתייחסת לחששות בנוגע להתמכרות ולמידע שגוי, תוך הכרה בחשיבותו לרישות ושיתוף מידע.

בואינג 787 חייבים לעבור איפוס כל 51 ימים או שמוצגים 'נתונים מטעים' (2020)

  • המנהל הפדרלי לתעופה של ארצות הברית מחייב את מטוסי בואינג 787 לעבור אתחול כל 51 ימים כדי למנוע הצגת נתונים מטעים לטייסים. הוראה זו נועדה למנוע כשלונות קטסטרופליים, כמו קריסות של מתגי רשת והצגת נתונים מיושנים המשפיעים על מידע טיסה קריטי כמו מהירות אוויר וגובה. הבעיה נובעת מכך שמערכת הליבה המשותפת של ה-787 נכשלת בסינון נתונים מיושנים לאחר 51 ימים, מה שמחייב כיבוי מלא של המטוס לפני שהתקופה הזו מגיעה; בעיות דומות נצפו במטוסים אחרים, כמו האיירבוס A350.

תגובות

  • במטוסי בואינג 787 נדרש לבצע איפוס כל 51 ימים כדי למנוע הצגת נתונים מטעים, בעיה ידועה מאז 2020.
  • מצב זה מדגיש את הצורך הקריטי בתוכנה אמינה ובתחזוקה שוטפת בתעשיית התעופה.
  • על אף חששות מתוכנה כזו, טיסות מסחריות ממשיכות להיות אחת משיטות התחבורה הבטוחות ביותר.

OpenFeature – API לניהול דגלי תכונה, שאינו תלוי בספק ומונע על ידי הקהילה

  • OpenFeature הוא מפרט פתוח המספק API ניטרלי לספקים עבור ניהול דגלי תכונה, שניתן לשלב עם כל כלי ניהול דגלי תכונה או פתרון מותאם אישית.
  • זהו חלק מקרן המחשוב הענני (CNCF) כפרויקט בחממה, מה שמעיד על הפוטנציאל שלו לצמיחה ופיתוח בתוך קהילת הקוד הפתוח.
  • הפרויקט מעודד מעורבות קהילתית באמצעות Slack, רשימות תפוצה ופגישות, תוך שמירה על קוד ההתנהגות הקהילתי של CNCF לסביבה בטוחה ומכילה.

תגובות

  • OpenFeature הוא ממשק API ניטרלי לספקים המיועד לניהול דגלי תכונות, המסייע למפתחים להימנע מהתלות בספק מסוים על ידי שימוש בערכת פיתוח תוכנה (SDK) סטנדרטית. הוא מקל על תצורות בדיקה מורכבות וניסויים, מעבר להחלפות תכונה בסיסיות של הפעלה/כיבוי לכלול ספים ורמות 'אומץ' של משתמשים. הפרויקט מונע על ידי הקהילה, עם תמיכה ממספר תורמים וספקים, ומקדם גמישות וסטנדרטיזציה בניהול תכונות.

Brush – מנוע חדש תואם לפיזור גאוסי

  • Brush הוא מנוע שחזור תלת-ממדי המשתמש בטכניקת Gaussian splatting, המיועד לניידות וגמישות על פני פלטפורמות מרובות, כולל macOS, Windows, Linux, Android ודפדפנים באמצעות WebGPU.
  • נבנה עם מסגרת Burn, Brush הוא הוכחת היתכנות שתומכת בטעינת מערכי נתונים ואימון עם אינטראקציה חיה, אם כי חסרות לו כמה הרחבות של Gaussian splatting וביצועים אופטימליים.
  • נכתב ב-Rust, Brush מייצר בינאריים פשוטים ודורש Rust 1.81+ ו-rerun 0.19 עבור ויזואליזציות, עם הדגמה אינטרנטית זמינה עבור Chrome 129+ על מחשבים שולחניים.

תגובות

  • Brush הוא מנוע חדש של Gaussian splatting שיוצר מודלים תלת-ממדיים מתמונות ומיקומי מצלמה, תואם למגוון מכשירים ומערכות הפעלה.
  • זה פועל כרגע על דפדפן כרום בגרסה 129 ומעלה במחשבים שולחניים, אך לא על פיירפוקס או ספארי, עם שיפורי ביצועים מתמשכים והצעות משתמשים לתיעוד ברור יותר.
  • המנוע תומך ב-Windows, Mac, Linux ובמכשירים ניידים, ויכול לפעול בדפדפנים, במטרה לפשט פוטוגרמטריה עם יישומים פוטנציאליים ברובוטיקה ומציאות מדומה (VR).

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

תגובות

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

קטגוריה תיאוריה מאוירת: לוגיקה (2021)

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

תגובות

  • "קטגוריית תיאוריה מאוירת: לוגיקה (2021)" נחשבת למשאב מוערך ללימוד תורת הקטגוריות, אם כי ישנם לומדים שמעדיפים את הספר והבלוג של מילווסקי להבנה מעמיקה יותר.
  • דיונים מדגישים את הקושי בהבנת מושגים מורכבים כמו מונאדות, כאשר יש המציעים שיטות פילוסופיות לסייע בהבנה.
  • בעוד שאינה חיונית לפתרון בעיות בהנדסת תוכנה, תורת הקטגוריות מספקת מסגרת להבנת מבנים והפשטות ומציעה שפה משותפת לשיתוף פעולה בין-תחומי.

Cerebras Inference כעת מהיר פי 3: Llama3.1-70B שובר 2,100 טוקנים לשנייה

  • Cerebras Inference עודכן באופן משמעותי, וכעת מפעיל את מודל Llama 3.1-70B במהירות של 2,100 טוקנים לשנייה, מה שמכפיל פי שלושה את מהירותו הקודמת.
  • עדכון זה הופך אותו למהיר פי 16 מהפתרונות הטובים ביותר של GPU ופי 8 מה-GPUs שמריצים את דגם Llama 3.1-3B הקטן יותר, הודות לליבות מותאמות ופענוח ספקולטיבי.
  • המהירות המשופרת תומכת ביישומי בינה מלאכותית מתקדמים, כגון גילוי התרופות של GSK ובינה מלאכותית קולית של LiveKit, ומדגישה את הפוטנציאל של מנוע בקנה מידה של פרוסה עם תוכניות עתידיות לשיפורים נוספים.

תגובות

  • מהירות הביצוע של Cerebras Inference השתפרה באופן משמעותי, כאשר Llama3.1-70B מעבד כעת מעל 2,100 טוקנים לשנייה, מה שמסמן עלייה פי 3.
  • פלאגין לכלי ה-LLM CLI זמין, ודורש מפתח API מ-Cerebras Cloud, המאפשר למשתמשים להתקין ולהפעיל פקודות מהירות ביעילות.
  • השיפור במהירות מיוחס לאופטימיזציות בתוכנה, חומרה ולמידת מכונה, כולל פענוח ספקולטיבי, מה שממקם את Cerebras כמתחרה ל-NVIDIA בתחום הבינה המלאכותית.

סיגריות אלקטרוניות חד-פעמיות ייאסרו באנגליה ובוויילס

  • הממשלה הבריטית מתכננת לאסור את מכירת הסיגריות האלקטרוניות החד-פעמיות באנגליה ובוויילס החל מה-1 ביוני 2025, במטרה להגן על בריאות הילדים ולהפחית את הפסולת הסביבתית.
  • האיסור מכוון במיוחד לסיגריות אלקטרוניות חד-פעמיות, שהן קשות למיחזור ותורמות לזיהום הסביבה, בעוד שהוא אינו משפיע על מכשירים נטענים או ניתנים למילוי מחדש.
  • יוזמה זו מתיישרת עם תוכניות דומות בסקוטלנד ובוויילס, ומדינות אחרות כמו אירלנד ובלגיה שוקלות איסורים דומים.

תגובות

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

לינגו: מסגרת מיקרו בשפת Go לבניית שפות ייעודיות לתחומים ספציפיים

  • GitLab מציגה פלטפורמת DevSecOps המופעלת על ידי AI, כולל GitLab Duo, לשיפור מהירות ויעילות פיתוח התוכנה. הפלטפורמה מציעה תכונות כמו הנדסת פלטפורמה, חוויית מפתחים, MLOps (תפעול למידת מכונה), אבטחה וציות, ואוטומציה של CI/CD (אינטגרציה רציפה/פריסה רציפה). GitLab גם מציגה את Lingo, מסגרת מיקרו שפה ב-Go, שמטרתה לשפר את יעילות המפתחים על ידי בניית שפות ספציפיות לתחום.

תגובות

  • לינגו הוא מסגרת מיקרו לשפת Go שנועדה להקל על יצירת שפות ייעודיות לתחום (DSLs) עבור יישומי Go.
  • יש ויכוח מתמשך לגבי מה מהווה DSL אמיתי, כאשר יש הטוענים בעד תחביר מיוחד ואחרים בעד שפות מוטמעות בתוך שפת מארח.
  • לינגו שואפת לפשט את תהליך בניית שפות תכנות ייעודיות (DSLs), אם כי הדעות חלוקות לגבי הצורך והיעילות שלה בקהילת התכנות של Go.