[GRLC] (^._.^)ﾉ :neocat_flag_sapphic: (novenary@akko.wtf)'s status on Sunday, 15-Jun-2025 23:15:23 JST
-
Embed this notice
[GRLC] (^._.^)ﾉ :neocat_flag_sapphic: (novenary@akko.wtf)'s status on Sunday, 15-Jun-2025 23:15:23 JST ![[GRLC] (^._.^)ﾉ :neocat_flag_sapphic:](https://gnusocial.jp/avatar/287529-48-20241017084723.webp)
[GRLC] (^._.^)ﾉ :neocat_flag_sapphic:
@lanodan oh yeah you wouldn't use any random language for anything that you wouldn't do with FUSE, but there are other systems languages that would be very interesting for this
for example, coreboot's libgfxinit is written in SPARK, a subset of Ada which can be formally-verified
All GNU social JP content and data are available under the