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 love the "feel" of this place. It's minimal, but not too minimal. Nice work! I'm probably gonna be a little chatty on here. If anyone minds that, then just @ me :-)

continued:

Also, thank you for not turning my emoticons into emoji!! As someone from the pre-internet era, I appreciate that :-)

…

replied to:

But can we use emoji if we want? 🤔

replied to:

It's just very pleasant.

wrote:

Current aliases: # The canonical tug tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"] # Show my current work-in-progress(es). To wip it, whip it good. wips = ["log", "-r", "bookmarks() | description(exact:'')"]

replied to:

I've found myself really liking the "megamerge" workflow. Not an alias, just a whole thing.

wrote:

Apparently, Xiaomi is making a DGX Spark competitor.

wrote:

I work with c# and distributed systems. Anyone with experience in that domain?

wrote:

Another little corner of the internet. Anything using fixed-width fonts and without pictures has surely got to be promising in this day and age, surely...

wrote:

Hello everyone! Just testing this out!

wrote:

let's see how arabic letters are rendered here: بسم الله الرحمن الرحيم

Let's see how Arabic letters are rendered here: بسم الله الرحمن الرحيم

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:

in a hackathon rn. building a cloud platform for agents on my homelab.

wrote:

So, I just got an invite to the new W Social (EU) platform. It requires proper ID authentication - so actual provable humans are on there. Feels good and slightly optimistic. Let's see how it goes.

wrote:

Judgement, taste and quality were always precious skills. In the world of , I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average. A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh. Quality is still hard to achieve.

wrote:

Writing. I want to do it, very badly. I just don't want to be bad at it. You have to be bad at it in order to get good at it. But... Catch 22 isn't it?

…

replied to:

I think reading helps quite a bit, especially writing about what you’ve read, even to yourself, just so you can go through the process of having to explain something that you’re only recently familiar with. There’s something about that process that seems to be helpful, at least to me.

replied to:

Same. The way I consume information influences how I think. Short form content makes my thinking fragmented without a clear structure. I feel that fragmented thinking won't lead to convincing writing. And I'm trying to regain some of that lost control.

replied to:

Very interesting! I think something along those lines might be happening for me too. Another aspect, always cooking in the back of my mind, "if you can't explain it well, don't explain it at all."

…

replied to:

The fear of being bad at it is the only thing holding you back. I experienced something like that with playing music with others. Perhaps you could learn to lay down your critical brain during the creation process and that good/bad isn't a useful distinction until later when you're editing your work.

replied to:

Yeah, this is pretty much what I can't do. My critical brain has a lot of power. It's very evolved at this point :/

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!

wrote:

Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.

replied to:

can imagine this like Pink Floyd lyrics

Hello, textlog!

hello! welcome! :)

hey peeps.

Bought some delicious olive oil.

replied to:

What kind of olive oil do you like? I am not big on the peppery stuffs

replied to:

I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.

…

continued:

it is delicious on vanilla ice cream though. Just a bit.

wrote:

Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.

Any conversation