Aleks Rudzitis

I feel seen.

Every formal verification tool guide:

“So this is how you can prove add_one”

“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”

I think that is also what I am much of the time.

I always respond with "because 7 8 9?"

"Are ghost candles a fire hazard?"

Is that a real candle that looks like a ghost or a candle in another plane of existence that looks like a ghost and was lit by a ghost or did the ghost light a real candle in our plane of existence and the appearance of the candle is irrelevant. Help us help you.

I miss this aesthetic. I know it’s possible to customize the shit out of my desktop, but it feels like harder and harder to get to this place.

Hot take: we overestimate what actual intelligence is.

Yes. I am tired of remotely operated cats. I want my cat operator to have some stake in the community.

/me shudders from pcks#11 C API trauma

"maybe if you go on eBay you can just find a Thales HSM that costs $60,000, because, in my experience...those make really good shelves."

Alternatively: folks really want to believe their stream of likes is important to someone while also believing that their preferences are not influenced by media.

I generally don’t believe in conspiracy theories but it feels like a real issue is being squeezed out of public discourse and replaced with a straw man.

I’m suspicious of how the conversation keeps getting redirected to the data users are giving to TikTok and not the ability of TikTok to wield influence over political discourse.

I always appreciate when this point is raised because it is often lost. And it is important to educate folks on this because otherwise they lose trust when the “truth” changes.

I rent DVDs from the public library.

Okay, I need to set up some centralized monitoring of some home servers. Back in the day I would have reached for Nagios. Is there anything better for a home lab these days? #homelab

Wait so is Peppa Pig a cubist rendering of a pig?

(For real the Peppa Pig toys are so weird because there is no way to make a 3D toy that looks like the cartoon.)

“Transient network glitch”

Seriously considering a Lemur Pro from System 76.

Anyone have anything good or bad to say about it?

I help guard a book store.

I reached “The Sign” episode of Bluey and now I’m in a mood.

The Future did not deliver on the Promise?

There are two voices inside me.

One says: “Remember the teaching that all phenomena are fundamentally unsatisfying”

The other says: “It’s been 10 years. Just buy yourself a new laptop. You’re a software engineer. It’s okay to have new tools.”

I highly recommend @kagi.com

Get extra bolts for the drawer.

Code written with box characters used on old old software to make fake UIs

You’re still arguing about tabs vs. spaces? May I present…

I was an unwrap() guy,

and she was an err != nil girl,

we were never meant to be.

Amazon corporate IT still requires it for their ~1M users because of various legacy systems. If Amazon are representative of big users then I guess the answer is unfortunately: most of their customers still need it, and making it default is less work.

Diagram with large number: 2.7.123 First “2” is commented: Proud version. Bump when you are proud of the release Second “7” is commented: Default version. Just normal/okay releases Third “123” is commented: Shame version. Bump when fixing things too embarrassing to admit

I propose we replace semantic versioning with pride versioning