What is the current and accepted definition of formally proved software?2 points·by cauterize·11 เดือนที่ผ่านมา·1 comments
cauterize·เดือนที่แล้ว·discussExperienced it. Sound was very eerie. House shook a little. Was raining and thought it was thunder, but there was no other thunder after. r/boston has a bunch of ring footage of you want to hear the boom
cauterize·4 เดือนที่ผ่านมา·discussLove this given my favorite record store is in a basement with bad cell service!
cauterize·2 ปีที่แล้ว·discussI’m partial to https://gitlab.com/simple-nixos-mailserver/nixos-mailserverDoes require some NixOS knowledge, but is nice for upgrades.