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

Formal Model of #RustLang...

https://www.mpi-sws.org/~jung/thesis.html

Testing new #PineTime Pogo Pins ... Please "Like" this post if you think @PINE64 should sell them!

Mario Kart Live: Home Circuit is a Switch racer that uses RC cars - The Verge
https://www.theverge.com/2020/9/3/21419025/mario-kart-live-home-circuit-nintendo-switch-ar-remote-control

How to Boot Raspberry Pi 4 From a USB SSD or Flash Drive | Tom's Hardware
https://www.tomshardware.com/how-to/boot-raspberry-pi-4-usb

Halite III Bot Development Kit in Rust
https://sgolem.com/halite-iii-bot-development-kit-in-rust/

C vs C++: "C++ developers blame C for all their lost limbs, while C developers probably think C++ is batshit crazy"...

https://cor3ntin.github.io/posts/c/

#Prolog for #RustLang...

https://crates.io/crates/crepe

ICYMI Python on Microcontrollers Newsletter: CircuitPython Day Next Week, PyCon AU and more! #Python #Adafruit #CircuitPython #ICYMI @micropython @ThePSF « Adafruit Industries – Makers, hackers, artists, designers and engineers!
https://blog.adafruit.com/2020/09/02/icymi-python-on-microcontrollers-newsletter-circuitpython-day-next-week-pycon-au-and-more-python-adafruit-circuitpython-icymi-micropython-thepsf/

Great tips for #IoT and #Embedded Monitoring...

https://interrupt.memfault.com/blog/device-heartbeat-metrics

Keep a tRAcK on the Passage of Time with This RAK4260-Powered, Wrist-Worn LoRa Communicator Watch! - Hackster.io
https://www.hackster.io/news/keep-a-track-on-the-passage-of-time-with-this-rak4260-powered-wrist-worn-lora-communicator-watch-5c8299a8307d

Sending Pogo Pins from Singapore to US by DHL... Now costs $100! What's "The New Normal" for #IoT Devs? Let's chat online Sep 15 about the #PineTime #RustLang #WebAssembly Simulator... Free Registration for @RIOT_OS Summit: https://summit.riot-os.org/2020/

Unlock Ubuntu using your face.
https://tech.davidfield.co.uk/unlock-ubuntu-using-your-face/

Apple and Google to simplify exposure notification with new app system - The Verge
https://www.theverge.com/2020/9/1/21410281/apple-google-coronavirus-exposure-notification-contact-tracing-app-system

Singtel launches 5G network
https://www.msn.com/en-sg/money/companies/singtel-launches-5g-network/ar-BB18zC5O?li=BBr8Cnr

Create a mobile app with Flutter | Opensource.com
https://opensource.com/article/20/9/mobile-app-flutter

The wait for #PineTime @PINE64 is almost ever 🙏 Meanwhile please join me online Sep 15 at @RIOT_OS Summit... And find out why #RustLang on PineTime is great for learning #IoT... Free registration: https://summit.riot-os.org/2020/

I hope to connect with Chinese-speaking #RustLang Makers at @RIOT_OS Summit... Please let me know if you would like a 中文翻译 version of my presentation https://summit.riot-os.org/2020/

Count the Duku... Join me for more puns (online and free) at the @RIOT_OS Summit in 2 weeks! https://summit.riot-os.org/2020/

Using `cargo test` for embedded testing with `panic-probe`
https://ferrous-systems.com/blog/cargo-test-with-panic-probe/