any · textlog

Am in a beautiful national park right now, drinking with elks, but the lack of strong internet makes me nervous :(

y'all!

Morning! What's on the docket today?

In the middle of migrating very old, homegrown tomfoolery into a more modern stack. Fun and vexing at the same time. This codebase has all of the bad decisions. All of them.

wrote:

Hey 👋🏼

replied to:

hey there! 👋🏼 welcome :D

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:

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.

wrote:

I often wish I had the ability to pause my main quest so I could focus more on side questing.

wrote:

pourover ritual :pray:

continued:

16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper

wrote:

Follow me if you want me to email you a pizza roll

wrote:

VirtualBox 7.2.20 telepítve, ami egy ügynöki sandbox vagy homokozó, már csak egy .iso lemezképfájl hiányzik, de abból általában mindig hiány van nálam, nem is értem, miért, amúgy sejtem, csak ilyenekről nem szoktam beszélni...

VirtualBox 7.2.20 installed, which is an agent sandbox, the only thing missing is an .iso image file, but I usually always lack that, I don't even understand why, I guess, I just don't usually talk about things like that...

wrote:

I am a remote worker, and has been for 4 years now. It works great. But the owner of the office I've been renting have sold the building, and the new owner has different visions. I could work from home, but my 3 month daughter is a screamer. I had a great, cheap deal. All alternatives I find is like 3x the price.

replied to:

You gave me an , Airbnb but for office space, you can only go in the day, get at least a desk/chair/internet. Might exist already idk.

replied to:

Not a bad idea. I know some people rent a single desk in some other companies office. Problem is you kinda need to know the owner to find those deals

…

replied to:

A company called Spacious to do this with restaurant spaces that aren’t used during the day. Always seemed like a good idea to me, but they went under.

wrote:

Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.

wrote:

I'm working on this command-center project. Human describes the mission. Agents define the mission, breakdown and come up with a plan, and drive it.

wrote:

Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register 😅

replied to:

I'm using mastodon.social but i think you can look the instances in their site and decide by interest.

replied to:

There's a really good one run by someone in the Netherlands. He forked the software and made a ton of improvements. I was on there six years ago. I wish I could remember the name.

replied to:

Ah! Qoto.org! It looks like it might be gone now though :/

replied to:

mastodon.social/@pauladamsmas

…

continued:

I decided to use mstdn.social/@zbr - I like that’s it’s not too crowded and has a 500 word limit.

wrote:

Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.

wrote:

More tweeter than tweeter?

replied to:

more like the original version ya

wrote:

hi

wrote:

Bandcamp Friday is almost over! Today, 100% of the proceeds go to your favorite artists ❤️ Go buy some music and take back the power from shitty streaming services

wrote:

I’m using textlog to explore the intersection of and tech, with the goal of building an app that solves a problem in this space. Named , it's word represented as a hex color. Of all the words there, it is a cocoa-ish color and is an appropriate name for this idea.

wrote:

az interneten nem lehet egy képet sem átméretezni, sem Windows alatt, a Grok is csak hozzávetőlegesen dolgozik, mi következik ebből, muszáj lesz beengedni Gemmát, mintha Linus Thorvalds a napokban panaszkodott volna, hogy a Linuxot is elárasztotta az ai

You can't resize an image on the internet, not even under Windows, Grok only works roughly, what follows from this, we'll have to let Gemma in, as if Linus Thorvalds had complained the other day that Linux was also flooded with AI

Any conversation