"[F]ormal verification is a way of sort of saying, "Okay, we're going to test every possible thing, and we're going to show that no matter what you put in, it will always give what we expect." - @email@example.com
It is proven! I am blainsmith on Keybase: https://keybase.io/blainsmith/sigchain#192ea2c3c586fe3e40925b1257e586f48c922b6a3c4f601e74db483acf12359c0f
Keybase Proofs for Mastodon
PSA: Lock your dependencies and manage upgrades manually.
Either that, or expect that at some point your application will break despite only patch and minor updates to your dependencies happening.
Another PSA: use artifact deployment. If you have a nice little artifact and keep them stored, you can always roll back to a previously known good-state while you sort out issues.
Not too pretty and it is missing a hashing case, but it is getting there.
Lessons learned porting 50k loc from Java to Go https://blog.kowalczyk.info/article/19f2fe97f06a47c3b1f118fd06851fad/lessons-learned-porting-50k-loc-from-java-to-go.html via @firstname.lastname@example.org #GoLang #Java
Correctness — the paradigm for sustainable software development by @email@example.com http://nonullpointers.com/posts/2019-03-27-correctness-the-paradigm-for-sustainable-software-development.html #SoftwareDevelopment #SoftwareEngineering #Correctness
"I absolutely detest modern 'social media' — Twitter, Facebook, Instagram. It's a disease. It seems to encourage bad behavior."
Heard about this Raspberry Pi keyboard and mouse on Linux Unplugged. Looks really nice! Much better than giant 150+ whatever keyboards and decades-old mice that I usually end up using. Congrats to all the folks involved, hardware is hard. :) https://www.raspberrypi.org/blog/official-raspberry-pi-keyboard-mouse/
Travel and hotel booked for @firstname.lastname@example.org and RSVPed to the @email@example.com Happy Hour at @firstname.lastname@example.org #GoLang
Why are my Go executable files so large? Size visualization of Go executables using D3 by @email@example.com #GoLang #D3 https://science.raphael.poss.name/go-executable-size-visualization-with-d3.html
#Golang race detection: https://krakensystems.co/blog/2019/golang-race-detection
Remote Work is the Future https://angel.co/blog/why-naval-ravikant-thinks-remote-work-is-the-future #RemoteWork
Well that was a fun little program.