💜 pry 💜@scathach @sun one of my research interests is in making formal verification easier... ig I'm more specifically interested in distributed systems but the single machine case is also extremely hard rn. Dafny is a cool language but it's pretty hard to use for most.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.