Lup Yuen Lee 李立源 @lupyuen@social.cleverlibre.org

#RISCV Formal ISA in F#

https://github.com/mrLSD/riscv-fs

"if #Mastodon and other fedi projects do take on the mass scale, their developers must consider the needs of people who aren’t already converts"

https://erinkissane.com/mastodon-is-easy-and-fun-except-when-it-isnt

"Norway says Ivanti zero-day was used to hack govt IT systems" (MobileIron MDM)

https://www.bleepingcomputer.com/news/security/norway-says-ivanti-zero-day-was-used-to-hack-govt-it-systems/

Refactoring C code into C++

https://www.embeddedrelated.com/showarticle/1551.php

#NuttX Boot Code for #Star64 JH7110 SBC ... Modified for #RISCV Supervisor Mode

Article: https://lupyuen.codeberg.page/articles/nuttx2.html#appendix-nuttx-in-supervisor-mode

#RISCV SiFive U74 Manual (PDF)

https://starfivetech.com/uploads/u74mc_core_complex_manual_21G1.pdf

Here's how #Linux gets the #RISCV Hart ID (CPU ID) from OpenSBI

Article: https://lupyuen.codeberg.page/articles/nuttx2.html#appendix-hart-id-from-opensbi

GNOME: Rethinking Window Management (#Linux)

https://blogs.gnome.org/tbernard/2023/07/26/rethinking-window-management/?ref=news.itsfoss.com

"#Drones are still incredibly fun to fly, but the Rules and Regulations now required to legally do so ... simply ask too much"

https://petapixel.com/2023/07/27/it-just-isnt-worth-the-effort-to-put-a-drone-in-the-air-anymore/

#FreeBSD Status Report

https://www.freebsd.org/status/report-2023-04-2023-06/

#RustLang on #ESP32-C3

https://lwn.net/Articles/938409/

"eSIM technology is finding particular appeal among Dual-SIM users"

https://www.opensignal.com/2023/07/25/arrival-of-esim-is-altering-how-consumers-interact-with-operators

Battery Performance of #IoT Devices

https://interrupt.memfault.com/blog/monitoring-battery-life

Open Source AI: Call for Proposals

https://opensource.org/deepdive/

Llama and ChatGPT are Not Open-Source (#LLM)

https://spectrum.ieee.org/openai-not-open

After fixing, Apache #NuttX RTOS boots a bit more ... On #Star64 JH7110 #RISCV SBC

Article: https://lupyuen.codeberg.page/articles/nuttx2.html#fix-the-nuttx-boot-code