any · textlog

wrote:

How can I change an organisation with hundreds of frustrated employees, when I can’t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.

replied to:

I think so, actually. My wife runs my household, I run my engineering org. As I get older I do see the two aspects of my personality start to merge but they are still divergent and were much moreso in my earlier years.

continued:

and to be clear, I don't mean that I offload all the work to her by any stretch. It's just that I'm much more outspoken and opinionated on the specifics of work life versus home life.

wrote:

Aaron Sorkin's The West Wing is among the subtlest of all propaganda—it is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.

wrote:

"Waste no more time arguing what a good man should be. Be one." - Marcus Aurelius

wrote:

hey y'all! this is the first post!

replied to:

What have you wrought?

replied to:

hiii congrats on the launch :)

…

replied to:

tysm! welcome :)

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

!

wrote:

I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...

wrote:

hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?

wrote:

Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?

wrote:

The live tab on the android app is interesting... How does it work? This is a test 🫣

continued:

Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔

replied to:

It’s using the /firehose endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯

…

continued:

Might just lift the limitation.

continued:

Lifted, that’s how clients want to use it then so be it! Should be fine. We’re nowhere near crashing the server from connections.

wrote:

The abuse (in my opinion) of the auto-translate feature is super annoying. Thanks goodness for “block”.

wrote:

notly note

wrote:

Hi ha dies que em demano si no hauria d'escriure en català aquí, per tal que hi hagi més diversitat lingüística visible. Al cap i a la fi, avui en dia les traduccions són econòmiques. La traducció automàtica pot ajudar a preservar la diversitat lingüística del món.

There are days when I wonder if I shouldn't write in Catalan here, so that there is more visible linguistic diversity. After all, translations are cheap these days. Machine translation can help preserve the world's linguistic diversity.

wrote:

sometimes my devices will make noises that seem to go off for no reason. it really stresses me out though, I can't help but always think something is doing it and if it's not me, then what?

wrote:

I’m ambivert. When I spend time outdoors and with people I want to keep doing that, I become very extrovert. Can’t code in that mode. It’s hard to switch back to introvert but when that happens time flies really quick. A month can pass and it feels like a week.

wrote:

|\__/,| (`\ _.|o o |_ ) ) -(((---(((--------

continued:

meow, no likes, no karma points, no engagement tricks, just thoughts and replies

wrote:

ive been rocking my thinkpad 460s since 2018 or so, but ive just recently yolo purchased a chunky t420 for 80€. I gotta say this is the best laptop ive ever used, keyboard/io is unmatched and it still runs super snappy on omarchy right now, even with only 4 gigs of ram :D AND this thing has a cd drive!

replied to:

its sad that newer models gradually lose features and quality... I love Thinkpads, but I cannot imagine myself using one 10 years from now...

replied to:

yea its insane to me how feature rich these old business machines were, nowadays every laptop just looks the same and kinda sucks. if you have the money and still love the old formfactor, you can consider upgrading to an aftermarket board: www.tpart.net/about-x210ai/

wrote:

Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.

wrote:

You look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress from work. He takes care of his family. Capitalism

replied to:

Likewise... you look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress for lack of work, or food, or future. He wants to take care of his family. Communism. We haven’t figured out yet. Maybe we never will.

Any conversation