Home Assistant Connect AUX-2: מתאם שמחבר מגבר ישן וציוד טורי לבית החכם, ב-$69

Nabu Casa משיקה מתאם קטן עם שני חיבורי RS-232, Ethernet עם PoE ו-ESP32-S3, שמזרים שמע ללא איבוד איכות למגברים ישנים. המחיר בארה"ב הוא $69, וביקורת ראשונה משבחת את התמורה.
דיפמיינד: AlphaProof Code אימת פורמלית את ליבת ההצפנה של Signal תוך ארבעה שבועות

מערכת הסוכנים של דיפמיינד הפיקה הוכחה מכונתית לליבת ההצפנה של Signal על קובץ ההרצה המהודר, לדברי החברה בארבעה שבועות. ההוכחה מכסה רק שיחות אחד-על-אחד, והיא מהדורת מחקר.