Show newer
I also installed several private instances of #Forgejo, including one for my own needs, looks promising, but at current time, their runner (needed for CI/CD), that I still need to setup, is marked as "alpha release, should not be considered secure enough to deploy in production". For information and found some other interesting related documentation, Forgejo is a fork by Codeberg.org of #Gitea that is itself a fork of #GOGS.

Already installed some #Gilab instances+runners, some Gitea/Forgejo servers without runners, need to learn its whole setup (runners+act+) and how to make test recipes, only tried some made by other ones on opensource project. Learnt and tested the basis of LXC deployment/management last week on #ArchLinux. Still few problems about IPv4 assignment in cross-architecture deployment (maybe a LXC-net bug?), IPv6 and lxc-attach for direct,local connexion to container works fine. #LXC would be far lighter than docker for tests.

LXC already has some #RISCV and #ARM pre-made templates image in default repository that works well in x86_64 server environment, that's probably not a big work to create and add new "templates". Forgejo can support LXC containers.

$ /usr/share/lxc/templates/lxc-download -l | grep riscv
alpine 3.20 riscv64 default 20250107_13:00
alpine 3.21 riscv64 default 20250107_13:00
alpine edge riscv64 default 20250107_13:03
debian trixie riscv64 default 20250108_05:24
ubuntu focal riscv64 default 20250108_09:58
ubuntu jammy riscv64 default 20250108_08:42
ubuntu noble riscv64 default 20250108_07:42
ubuntu oracular riscv64 default 20250108_08:18

Mecha Comet: Handheld Computer (NXP i.MX 8M Mini / Quad-Core Arm Cortex-A53)

mecha.so/comet

🤔 Swippitt phone-battery swapper: "a fully charged battery is swapped into your case, the old one is retained to recharge"

theverge.com/2025/1/6/24337684

When we submit a Pull Request for Apache RTOS: Our Bot will Review the Pull Request and post a Review Comment

Article: lupyuen.org/articles/llm.html#

Show thread

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

Show older
Qoto Mastodon

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