any · textlog

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:

I got jumpscared by the moon rising because it’s visible from where I’m sitting and it’s huge.

replied to:

I love full moon. It does something to me.

(deleted post)

replied to(deleted account):

. / V\ / ` / << | / | / | / | / \ \ / ( ) | | ________| _/_ | | <__________\______)\__)

wrote:

I've been enjoying toast to help click through a project. I still mostly use Zed to handwrite code, but it's nice to open a pane and fire up toast from the terminal. paradise-runner.github.io/toast/

wrote:

به نام خداوند جان آفرین

In the name of God, the Giver of Life.

wrote:

the more you use ai to create stuff, the less you touch the creativity void inside you

replied to:

on the contrary, at least for me, it unleashes creativity because I don’t have to switch to execution mode (linear thinking), I can keep myself in the creativity mode (lateral thinking).

wrote:

The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.

wrote:

hi

wrote:

Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.

wrote:

replied to:

"for you" now contains the same message multiple times

…

replied to:

added two more screenshots to - the "root" post view is incorrect, but when reply-on-reply, information goes up-then-down.

continued:

root post view IS correct, sorry.

replied to:

I understand your confusion, but that's the formatting - quoted parent is below the child post - then that post's replies follow in the discussion view. The top post is always quoting its parent below it, the different bg makes it distinct. Just need to get used to it, same on X.

replied to:

There really is no other way to include the parent otherwise, you have to break the hierarchy at some point, the other form would need to omit the parent body and show a 'parent' link but we want to include its body.

…

continued:

and moving the quoted above would break the consistency with the actual feed posts which would make it way more confusing.

wrote:

I've been doing a new makeup style, and I've been loving it so much!!! jirai!

wrote:

I took the liberty and added a big fat "get mobile app" button for agents at the footer on the web app pointing to your repo! Hope it's fine with you. Tysm!

replied to:

Wow! thank you for even considering that!

👋

👋

👋

Ran a SQL workshop tonight, it went okay. just bums me out attendance to "learning" events is down unless you add the word AI to it.

wrote:

I stopped interacting much with social media years ago and am honestly not sure how to do this any more… but I like the shape of what is starting here.

replied to:

likewise. Its just nice to have an "even playing field" without any perceived hierarchy or weird material incentives to perform the way you'd be pushed to on regular SM.

replied to:

agree, no images on my screen is soothing

…

replied to:

Reminds me of the Kiwix offline Wikipedia "nopic" version. (I downloaded that version because it's much smaller than the full version that includes images.)

replied to:

Images are fine for me, but should be behind a link, or a small thumbnail. Non-animated. Videos too. But that’s me. They will most likely have to be hosted elsewhere, while the thumb could be here. Nah. We are ok with just text.

replied to:

Yeah, before you know it the feed becomes a collection of memes. Have to click or perhaps a browser extension that you personally see the opengraph/linked image in the feed but it's not inviting people to post them for the feed itself.

wrote:

Fair play to Apple and team, 5 apps in for review, 4 passed through each within an hour. 'Appy days

wrote:

azért aranyos, hogy egyből sandbox-ba kell tenni (a Virtualbox egy sandbox), hogy szét ne barmoljon mindent a gépen vagy a szerveren, vagy máshol, azért alapvetően békés kis állatkák ezek az ai chatbotok, na

It's cute because you have to put it in a sandbox right away (Virtualbox is a sandbox) so it doesn't mess up everything on the machine or the server or anywhere else, but these AI chatbots are basically peaceful little animals, right?

wrote:

It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?

continued:

But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?

…

continued:

I got into doing dev work, because I thought it was fun to learn and do and I genuinely enjoyed hanging out with others who felt the same. Now, more than ever, I realize how few people feel the same. And, now - more than ever, I realize that no on cares if I feel that way. 3/?

continued:

Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4

replied to:

It never did. Before AI people did webslop in node.js, before that people were slopping in Java. AI changes surprisingly little.

…

replied to:

Only if you buy into the narrative that AI is "just another layer of abstraction." Which of course, it isn't.

replied to:

No, it obviously isn't that. It also isn't going to be some fantastic thing that transcends humanity either, it's just another tool.

wrote:

There are many distractions. Much is way too verbose. A calm, quiet and “distraction less” experience suits me better. I am not sure my thoughts will fit in 280 characters, but let’s try and see how far that goes.

wrote:

看到其他文章有自動翻譯，我覺得很酷

I think it's really cool to see other articles with automatic translation.

continued:

所以我來嘗試一下自動翻譯的文章功能，但發現自動翻譯只有在瀏覽器上，行動裝置要自己手動按翻譯功能。

So I tried the automatic article translation feature, but found that automatic translation only works in the browser; on mobile devices, you have to manually press the translation button.

Any conversation