I just set up a Lemmy instance for #KDE contributors :) https://lemmy.kde.social/ #lemmy
We've just released InfiniTime 1.13 : improved HR processing algorithm, weather integration in PTS and a much improved battery life!
Enjoy!
https://github.com/InfiniTimeOrg/InfiniTime/releases/tag/1.13.0
Our #LVGL Input Driver in #ZigLang ... And how we worked around the Opaque Type
Article: https://lupyuen.codeberg.page/articles/lvgl4.html?11#appendix-initialise-lvgl-input
"Why is extreme Frontier Travel booming despite the risks?"
https://theconversation.com/why-is-extreme-frontier-travel-booming-despite-the-risks-208201
Cosmic Navigation: "a new type of navigation system in which receivers detect Muons — subatomic particles created by collisions between cosmic rays and particles in Earth’s atmosphere — rather than satellite signals"
Here's how we init #LVGL with #ZigLang, #WebAssembly and JavaScript
Article: https://lupyuen.codeberg.page/articles/lvgl4.html?10#appendix-initialise-lvgl
JavaScript Render Loop for our #LVGL App in #WebAssembly
Article: https://lupyuen.codeberg.page/articles/lvgl4.html?8#main-javascript-function
Awesome!
"Our work was motivated by implementing a high-assurance
Baseboard Management Controller (BMC) based on seL4 [15]
for Enzian [ 9 ]"...
It's nice to see so many famous open source fimware references. Thanks for your work everyone!
@bcantrill
@oxidecomputer
@th
@sel4
Can "From Gongkai to Open Source" [0] from @bunnie be of help?
Sometimes only proprietary documentation and code is available, but you want to write open source software to describe the hardware.
ioCubes: Educational electronics in modular boxes
"We are applying our #RustLang embedded language to transform Hardware Manuals into Specifications, with our first target being a complete description of the NXP i.MX8 SoC"
"(GitHub) RepoJacking is an attack where a malicious actor registers a username and creates a repository used by an organization in the past but which has since changed its name"
Connecting your RC2014 Z80 to a Psion or other RS232 terminal
https://www.kianryan.co.uk/2023-06-22-connecting-rc2014-to-psion-or-other-rs232-terminal/
GPL issues with Red Hat Enterprise #Linux business model
https://sfconservancy.org/blog/2023/jun/23/rhel-gpl-analysis/
Hot topics in Operating Systems
Hugging Face: "How we automatically evaluate a model in today’s #LLM world"
Exporting JavaScript Functions to #ZigLang ... Thanks to #WebAssembly
Article: https://lupyuen.codeberg.page/articles/lvgl4.html?8#export-javascript-functions-to-zig
How we import #ZigLang #WebAssembly Functions into our JavaScript
Article: https://lupyuen.codeberg.page/articles/lvgl4.html?8#import-zig-functions-into-javascript
IoT Techie and Educator / Apache NuttX PMC