+1 for Wallapop in Spain. There's also MilAnuncios, but Wallapop is what people say when they say they want to sell second-hand stuff

Native compilation of Prolog predicates with Cranelift [pdf]

The Rust compiler has supported RISC-V64GC for many years already. I got my first RISC-V SBC in 2022 and have not found a single issue with the Rust compiler (some libraries have problems, but that's a different problem). In the end, the Rust compiler relies on LLVM, which also Clang users need it in order to compile C and C++ programs to RISC-V.

Audio of the talk if you can understand my English: https://youtu.be/RFukO5Mi_NI

Bootloader Unlock Wall of Shame