Translation of Rust's core and alloc crates to Coq for formal verificationformal.land·358 pts·p4bl0·116
Velato: A programming language where source code must be a valid MIDI music filevelato.net·112 pts·p4bl0·63
.ai domain can be suspended for "violating copyrights" or "asking for investors"whois.ai·23 pts·p4bl0·4
KDE now has CI jobs compiling to AppImage, Android, Flatpak, macOS, Windowsblogs.kde.org·19 pts·p4bl0·0