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

"TLA+ and its tools can be used to eliminate design errors that are difficult to find and correct in code"

https://www.cncf.io/blog/2023/03/08/thinking-about-programs-from-a-mathematical-perspective-to-verify-their-correctness/

Home Assistant vulnerability: "The issue allowed an attacker to remotely bypass authentication and interact directly with the Supervisor API ... this issue has been in Home Assistant since the introduction of the Supervisor in 2017"

https://www.home-assistant.io/blog/2023/03/08/supervisor-security-disclosure/

"a European Union regulation has gone into effect that effectively bans 8K TVs ... because of the Energy Efficiency Index (EEI)"

https://www.tomsguide.com/news/eu-8k-tv-ban-goes-into-effect-heres-how-samsung-got-around-it

Xero axes up to 800 jobs

https://www.smh.com.au/business/companies/xero-axes-up-to-800-jobs-as-tech-downturn-deepens-20230309-p5cqmz.html

STMicro launches STM32MP13, STM32WBA52, STM32H5 microcontrollers

https://www.hackster.io/news/stmicro-launches-new-stm32mp13-stm32wba52-stm32h5-microcontrollers-e860a62303bd

Adding a Hook Function to Unicorn Emulator ... To print the Mermaid Flowchart and Call Graph

Article: https://lupyuen.github.io/articles/unicorn2?6#generate-call-graph

"DXC Technology has ended discussions with a suitor that expressed interest in taking over the beleaguered infrastructure services and consultancy"

https://www.theregister.com/2023/03/07/dxc_technology_says_buyer_interest/

BeaglePlay: BeagleBoard with mikroBUS, Grove and QWIIC connectors

https://beagleboard.org/blog/2023-03-08-beagleplay-annoucement

China's students leap 'Great Firewall' to get homework help from ChatGPT

https://www.channelnewsasia.com/asia/china-chatgpt-students-homework-help-great-firewall-vpn-internet-3333366

"LLaMA, Meta's latest Large Language Model, has leaked online and is available for download"

https://www.theregister.com/2023/03/08/meta_llama_ai_leak/

"The Kura Sushi chain ... would soon introduce cameras equipped with AI to monitor tables at its restaurants in an attempt to deter mischievous diners"

https://www.theguardian.com/world/2023/mar/07/sushi-terrorism-sees-japans-conveyor-belt-restaurants-grind-to-a-halt

Diagram scripting with D2

https://blog.logrocket.com/complete-guide-declarative-diagramming-d2/

Let's generate a clickable Call Graph for Apache #NuttX RTOS ... With a text-based Mermaid Flowchart

Article: https://lupyuen.github.io/articles/unicorn2?5#clickable-mermaid-flowchart

Singapore's Hottest Startups

https://sbr.com.sg/exclusive/20-hottest-startups-2023

"Women in tech hurt by expectations to be 'office mums' to boy geniuses"

https://www.channelnewsasia.com/commentary/women-tech-firms-office-mums-boy-genius-silicon-valley-culture-3330741

#Haskell in Enterprise: Interview with Rob Harrison (Flowmo .co)

https://serokell.io/blog/haskell-in-enterprise-interview-with-rob-harrison

Van Gogh: AMD’s APU in Steam Deck

https://chipsandcheese.com/2023/03/05/van-gogh-amds-steam-deck-apu/

To lookup the DWARF Debug Symbols in an ELF File ... Call the #RustLang Crates "addr2line" and "gimli"

Article: https://lupyuen.github.io/articles/unicorn2?4#dwarf-debug-symbols