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
768 Takip Edilen113 Takipçiler
James Miller
James Miller@JimDMiller·
I've gotten a lot of comments like this, so forgive me if this isn't very kind, but I'm at my limit. If you're a serious academic, you've spent a lot of time looking at citations, and you know they often contain errors. You know that it's very common for professors just to copy citations they found in other papers and put them into their own papers because they need a lot of citations to look credible. Given that this is going on, it's kind of silly to think that we should have a kind of death penalty for having an LLM, hallucination mistake What you're doing is virtue signaling and pretending that citations are somehow sacred to what academics do, when in fact they're mostly just poorly put up window dressing. You're being dishonest. Perhaps with yourself, perhaps with me.
English
398
24
351
872.1K
Lenka Zdeborova
Lenka Zdeborova@zdeborova·
Occasional errors and oversights are part of science. If we lost our driver’s license for a year every time we exceeded the speed limit by 10 km/h, daily life would become unworkable. Many countries instead use point systems, where trust can be rebuilt through good behavior.
English
82
21
316
239.7K
Dave W Plummer
Dave W Plummer@davepl1968·
@LukewSavage Actually, when you're young and have nothing its easy to feel entitled to other people's money. Once you actually HAVE your own, you change your views on that. It's really that simple.
English
33
5
264
6.8K
Luke Savage
Luke Savage@LukewSavage·
You see recurrent versions of this everywhere, i.e. the idea people get more conservative as they get older. This is broadly true of exactly one generation blessed to grow up with shared prosperity and a welfare state that then decided no one else deserved those things.
Ryan Dally@Ryandally08

#BREAKING Australian actress Holly Valance says that everyone “starts out as a lefty” But then you “wake up” when you try to “run a business or buy a home” “And then you realise how crap their ideas are” Hard to argue, Holly.

English
216
2.1K
22.1K
671.7K
DigitalOcean
DigitalOcean@digitalocean·
@unwoundstack Thank you! We've notified the relevant team and they'll respond to your ticket asap.
English
1
0
0
28
Michael Herstine
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!
English
1
0
1
896
DigitalOcean
DigitalOcean@digitalocean·
@unwoundstack If you already have a support ticket open for this, please share the ticket number so we can notify the relevant team and have them prioritize your ticket.
English
1
0
1
855
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
124
4
269
34.5K
Michael Herstine
Michael Herstine@unwoundstack·
LOL... caught someone on Mt. Tam this evening:
Michael Herstine tweet media
English
0
0
1
31
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
1K
481
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
133
324
4.1K
150.6K
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
211
5.5K
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
40
67
664
33.1K
Michael Herstine
Michael Herstine@unwoundstack·
Just reclaimed 127Gb through `docker prune`. JFC, guys...
English
0
0
0
18