"[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.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either! We adhere to an adapted version of the TootCat Code of Conduct and have documented a list of blocked instances. Ash is the admin and is supported by Fuzzface, Brian!, and Daniel Glus as moderators. Hosting costs are largely covered by our generous supporters on Patreon – thanks for all the help!