Lup Yuen Lee 李立源 @lupyuen@qoto.org

Formal Verification and TLA+

https://jack-vanlightly.com/blog/2023/10/10/a-primer-on-formal-verification-and-tla

"biases and stereotypes that proliferate in images produced by the recent wave of Generative AI Text-to-Image systems, such as Midjourney, Dall-E, and Stable Diffusion"

https://restofworld.org/2023/ai-image-stereotypes/

Change "sed -r" to "sed -E" ... Now Apache #NuttX RTOS builds OK on macOS 👍

Source: https://github.com/apache/nuttx/pull/10881

Video content creation with Kdenlive

https://fedoramagazine.org/video-content-creation-with-kdenlive/

"#iPhone has sensors that can detect when it is sitting on a static surface, like a table, as opposed to being held in the hand or placed in a pocket. This Off-Body Detection ... allows the device to increase transmit power slightly in off-body scenarios to optimize performance"

https://support.apple.com/en-us/HT213923

Faster version: https://experiments.turbowarp.org/next/892602496?size=960x720

#RISCV #Linux in Scratch (rv32ima)

https://scratch.mit.edu/projects/892602496

"Rugby authorities will start using Smart Mouthguards to help protect players from head injuries"

https://www.straitstimes.com/sport/rugby-to-adopt-smart-mouthguards-to-protect-against-head-injuries

Using InfluxDB for Time-Series data analysis

https://fedoramagazine.org/using-influxdb-for-time-series-data-analysis/

HTTP/2 Rapid Reset: "This attack was made possible by abusing some features of the HTTP/2 protocol"

https://blog.cloudflare.com/technical-breakdown-http2-rapid-reset-ddos-attack/

"Much of the conversation revolved around the 'allow_negative' flag that was introduced to the FTX Codebase on August 1, 2019"

https://newsletter.mollywhite.net/p/the-fraud-was-in-the-code

John Riccitiello steps down as Unity CEO

https://techcrunch.com/2023/10/09/john-riccitiello-steps-down-as-unity-ceo-with-former-red-hat-chief-exec-jim-whitehurst-taking-over-for-now/

"sed" on macOS ... Causing issues again for #NuttX Build 😬

Source: https://github.com/apache/nuttx/pull/10655

#ESP32-S3 VGA board

https://blog.tindie.com/2023/10/esp32-s3-vga-board/

"A Memory Corruption Vulnerability in the open-source libcue library can let attackers execute arbitrary code on #Linux systems running the GNOME desktop environment"

https://www.bleepingcomputer.com/news/security/gnome-linux-systems-exposed-to-rce-attacks-via-file-downloads/

Intro to ActivityPub

https://hackernoon.com/a-brief-introduction-of-activitypub-the-future-of-social-networks

"Intellexa Alliance should cease the production and sale of Predator, or any other similar highly invasive
#spyware" (EU / Vietnam)

https://www.amnesty.org/en/documents/act10/7245/2023/en/

GigaDevice launches an "All-in-One" Arm Cortex-M33 Dev Board, offers units free of charge

https://www.hackster.io/news/gigadevice-launches-an-all-in-one-arm-cortex-m33-dev-board-offers-units-free-of-charge-f5b720495354