Michael Herstine

I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code. I sometimes spout-off opinions on other topics.

[Michael Herstine @unwoundstack]

@JimDMiller @mattbencole @zdeborova @giffmana Um... to us non-academics, this is not the dunk you seem to think it is.

[Michael Herstine @unwoundstack]

@davepl1968 @LukewSavage I think certain realizations about human nature that come with experience play a role, as well.

[Michael Herstine @unwoundstack]

@DustinMulvaney Google "Mountain Charlie".

[Michael Herstine @unwoundstack]

@digitalocean It's been resolved. Thank-you for escalating.

[Michael Herstine @unwoundstack]

Hey @digitalocean , I'm locked out of my account because you're demanding a confirmation code that you've emailed me... that I never receive. Frustrating. Please fix your login flow!

[Michael Herstine @unwoundstack]

@digitalocean Ticket #12202132.

[Michael Herstine @unwoundstack]

@davepl1968 @dhh We're not doing this anymore.

[Michael Herstine @unwoundstack]

LOL... caught someone on Mt. Tam this evening:

[Michael Herstine @unwoundstack]

@MikeHudema This is footage of the Palisades fire. It was started by an arsonist, and allowed to reach this size through government incompetence (failure to manage vegetation, no water in the mains, &c).

[Michael Herstine @unwoundstack]

A few notes on the Haskell fixpoint combinator https://t.co/kjJKFvbrhU

[Michael Herstine @unwoundstack]

I'm not sure why Emacs Geiser thinks ten seconds is the appropriate timeout for all computations, but here's how to work around it https://t.co/KjpTGC711x

[Michael Herstine @unwoundstack]

@FFmpeg I agree!

[Michael Herstine @unwoundstack]

@juliarturc Artisanal code

[Michael Herstine @unwoundstack]

@ThisWeekInRust Done in https://t.co/P6c7sRTKVK

[Michael Herstine @unwoundstack]

@ThisWeekInRust How to build a Rust integration test suite for a binary package that supports fixture setup & teardown and async test functions: https://t.co/GhcfT4N3kW

[Michael Herstine @unwoundstack]

Read more here: https://t.co/vXjn2ts7AM

[Michael Herstine @unwoundstack]

I've been working on a new project, https://t.co/BVX9WI1yPl. My elevator pitch is "https://t.co/fcxmpiaaOd in the Fediverse". I hope to bring the benefits of federated web services to social bookmarking to produce a better means of content discovery.

[Michael Herstine @unwoundstack]

@ZiShoR @jdegoes You don't have to live this way. Get help.

[Michael Herstine @unwoundstack]

Just reclaimed 127Gb through `docker prune`. JFC, guys...

[Michael Herstine @unwoundstack]

https://t.co/GhcfT4N3kW

[Michael Herstine @unwoundstack]

How to build a Rust integration test suite for a binary package that supports fixture setup & teardown and async test functions: