"[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." - @hillelogram@twitter.com

futureofcoding.org/episodes/03

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.

Packages incoming:

- Intel NUC 8 Performance-G Kit (NUC8i7HVK)
- 32GB Crucial Ballistix 2400 MHz
- 512GB Samsung 970 PRO - NVMe PCIe M.2 2280 SSD
- Windows 10 Pro
- The C++ Programming Language (4th Edition)

I/O Haiku

Leaky pipes add up
Don't waste any resources
Please close your I/O

Almost done with my C implementation of SeaHash. I mimicked the function signatures of SHA1 and MD5 so they will look familiar.

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. :) raspberrypi.org/blog/official-

Travel and hotel booked for @gothamgo@twitter.com and RSVPed to the @womenwhogo_nyc@twitter.com Happy Hour at @squarespace@twitter.com

Show more
Mastodon for Tech Folks

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!