Show newer

Hi @tllim maybe you would like to meet Alin at FOSDEM? He the Chair for Apache NuttX Project Mgmt Committee. (And he's working at Sony)

Show thread

We’re experimenting with an Bot (Large Language Model) that will review Pull Requests for Apache RTOS ... Here's how we created the Bot in One Week

Article: lupyuen.org/articles/llm.html

Compiling C to Safe : "we present a formal translation of a subset of C, dubbed Mini-C, to safe Rust"

arxiv.org/abs/2412.15042

Here's how Apache RTOS is running Continuous Integration with GitHub Actions ... And why some Pull Requests might trigger 1,594 NuttX Builds!

lupyuen.org/articles/ci.html

Show thread

@lupyuen I wonder how it would perform with an Alpine Linux guest 🤔

Let's experiment with GitHub Self-Hosted Runners ... To understand what happens inside Apache Continuous Integration

Article: lupyuen.org/articles/ci.html#s

Show thread

Apache RTOS has 1,594 Targets across Arm, RISC-V, Xtensa, x64, ... Making sure they compile correctly? Gets super tricky

Article: lupyuen.org/articles/ci.html#o

Show thread
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.