Michael Herstine

1.5K posts

Michael Herstine banner
Michael Herstine

Michael Herstine

@unwoundstack

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.

Portland, Oregon area Katılım Haziran 2009
761 Takip Edilen124 Takipçiler
Dave W Plummer
Dave W Plummer@davepl1968·
As someone diagnosed with slow processing disorder, I'm not down with the flippant use of "retard". It doesn't hurt MY feelings, but I can see how it would marginalize people of lower intellect to become the standard by which all shitty things are measured. We're born how we're born. Intellect is 85% heritable, and no one gets to choose their parents. No one should try to take credit for innate privilege. Do better, as the pedantic folks say.
English
133
5
277
34.2K
Michael Herstine
Michael Herstine@unwoundstack·
LOL... caught someone on Mt. Tam this evening:
Michael Herstine tweet media
English
0
0
1
25
Michael Herstine
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).
English
0
0
0
10
Mike Hudema
Mike Hudema@MikeHudema·
'Historic' fires across Canada 'Once in a lifetime' fires in Argentina 'Once in a generation' floods in Indonesia. All around the world the signs of the climate crisis are everywhere. How many more 'historics' before we do something about it? No time to wait. #ActOnClimate #climate #energy #climateaction
English
1.1K
495
1.2K
61.2K
FFmpeg
FFmpeg@FFmpeg·
The most interesting and accurate technical responses on X come from anonymous accounts with cartoon profile pictures, pictures of toast or other generic items. The one with corporate headshots and ex-FAANG in their bios usually provide nothing of value.
English
137
348
4.2K
150.2K
Julia Turc
Julia Turc@juliarturc·
We need an official name for not-vibe-coding. My top candidates so far: · boomer coding · chewgy coding · trad coding · Coding with capital C Suggestions are welcome.
English
2.5K
212
5.6K
1M
Michael Herstine
Michael Herstine@unwoundstack·
I've been working on a new project, github.com/sp1ff/indielin…. My elevator pitch is "del.icio.us in the Fediverse". I hope to bring the benefits of federated web services to social bookmarking to produce a better means of content discovery.
English
1
0
0
32
ttl.0
ttl.0@ZiShoR·
@jdegoes Life is inherently political; it leaks into everything we do, consciously or otherwise. This is especially notable when select groups make other people's lives a political topic. It is impossible to ban 'politics', a fools game, and fight against intolerance is eternal
English
9
0
3
1.2K
John A De Goes
John A De Goes@jdegoes·
Having seen and survived more than a decade of political insanity in tech, my recommendations for healthy open-source projects are simple: - No politics in open-source (left or right) - No COC, language policing, political banners, or any other divisive and inherently political symbols and tools of power - No consideration for conduct in other communities; whatever they said on X or BlueSky is irrelevant - Speech and conduct within the project should be professional and focused on the goals of the project - The only valid reason to ban someone is because they are making MORE work for core contributors than their contributions justify (if Stalin wants to submit a good PR, merge it without fuss) - The only valid reason to moderate is because someone can't respect the above, and in such a case, the moderator, moderation decision, and moderated content should be transparent to guard against abuse In a nutshell: Code first. Be professional. Leave politics at the door.
English
39
68
678
33.1K
Michael Herstine
Michael Herstine@unwoundstack·
Just reclaimed 127Gb through `docker prune`. JFC, guys...
English
0
0
0
18
Michael Herstine
Michael Herstine@unwoundstack·
How to build a Rust integration test suite for a binary package that supports fixture setup & teardown and async test functions:
English
1
0
0
47
internet hall of fame
internet hall of fame@InternetH0F·
Fellas, this is why you always need a spotter
English
984
3.4K
182.1K
33M
Mann Made Cinema
Mann Made Cinema@Hotshot_Movie·
If getting rid of overgrown brush is how elite firefighters *stop* massive wildfires... Why don't we just...do it before the fires ever hit?
CAL FIRE BDU@CALFIREBDU

The #LineFire is 39,232 acres and 57% contained.

English
629
227
4.3K
339.8K