Show newer

Something broke Apache RTOS and it's one of these 468 Commits ... But which one? Let's run Git Bisect to discover the Breaking Commit automatically

lupyuen.org/articles/bisect.ht

@lupyuen I think I already saw it, but it's an amazing paper worth sharing.

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 🤔

Show older
Qoto Mastodon

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