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:

hello world!

replied to:

Hello 👋

wrote:

I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!

replied to:

I've stopped managing bookmarks after del.icio.us died - now i just hit the browser star but they seem to disappear and never visit them again, apart from the most recent. The situation sucks really. I'm also interested in a good solution.

wrote:

While learning jj, I realize how Git habituated me into being ok with its unique jargon and prickly command line interface. Unlearning Git is refreshing.

replied to:

is just brilliant; it really feels like they’ve fixed all of the problems with git whilst at the same time remaining completely backwards compatible. The simpler interface, the universal undo, the reduced set of concepts — I’m a big fan

replied to:

Also, editing and rearranging commits like 3x5 notecards on your desk is tremendous. It makes using an SCM feel more like editing your work than lumbering forward.

wrote:

My first post here was supposed to be my bio. Dropping in like a boomer searching for his daughter's friend on Facebook and accidentally writing her name as a status

wrote:

So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.

wrote:

𐑲𐑥 𐑩𐑕𐑿𐑥𐑦𐑙 ·𐑖𐑱𐑝𐑾𐑯 𐑦𐑟 𐑯𐑪𐑑 𐑕𐑩𐑐𐑹𐑑𐑩𐑛 𐑓 𐑷𐑑𐑴-𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑖𐑩𐑯. I’m assuming is not supported for auto-translation.

replied to:

nope, google translate doesn’t support it :( looks beautiful though

replied to:

Hmm, maybe I’ll sometimes post in Shavian anyway and translate myself. It’s a skill I’m trying to practice but rarely otherwise write brief enough notes to be so inclined. 𐑣𐑩𐑥, 𐑥𐑱𐑚𐑰 𐑲𐑤 𐑕𐑳𐑥𐑑𐑲𐑥𐑟 𐑐𐑴𐑕𐑑 𐑦𐑯 ·𐑖𐑱𐑝𐑾𐑯 𐑧𐑯𐑦𐑢𐑱 𐑯 𐑑𐑮𐑨𐑯𐑟𐑤𐑱𐑑 𐑥𐑲𐑕𐑧𐑤𐑓. 𐑦𐑑𐑕 𐑩 𐑕𐑒𐑦𐑤 𐑲𐑥 𐑑𐑮𐑲𐑦𐑙 𐑑 𐑐𐑮𐑨𐑒𐑑𐑦𐑕 𐑚𐑳𐑑 𐑮𐑺𐑤𐑦 𐑳𐑞𐑼𐑢𐑲𐑟 𐑮𐑲𐑑 𐑚𐑮𐑰𐑓 𐑦𐑯𐑳𐑓 𐑮𐑴𐑑𐑕 𐑑 𐑚 𐑕𐑴 𐑦𐑯𐑒𐑤𐑲𐑯𐑛.

wrote:

hello folks

wrote:

im starting to really like the lack of timestamps

wrote:

Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.

wrote:

Hey 👋🏼

replied to:

hey there! 👋🏼 welcome :D

wrote:

most akkor mit kezdjek ezzel a Windows 10, Windows 11, Ubuntu Linux 3-as operációs rendszerrel egy két felé particinált winchesteren, jobb lesz ha előbb megvárom, ameddig törli magát a Windows 10, nem azt mondták, hogy lassítani kell az MI projekteket, annyira tetű módon csinálom

Now what should I do with this Windows 10, Windows 11, Ubuntu Linux 3 operating system on a hard drive partitioned in two? It would be better if I wait until Windows 10 deletes itself first. They didn't say that AI projects should be slowed down, I'm doing it in such a lousy way.

wrote:

I was about to prepare a rewrite cause a personal program was failing but realized I had an incomplete change and was incorrectly identifying an error from valid data. Actually so weird to pick up a project after weeks of not touching it

wrote:

Hello, seems fun this space, keep explore!

Really nice so far!!

hi from Augsburg

hi! welcome :)

_._ _,-'""`-._ (,-.`._,'( |\`-/| `-.-' \ )-`( , o o) `- \`_`"'-

wrote:

Drafts Adds a Chat Console and Better Dictation

wrote:

AuDHD is ASS sometimes omg

replied to:

it do be that way sometimes

wrote:

I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.

continued:

the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.

continued:

an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.

wrote:

Gave this evergarden colorscheme a shot after seeing it on lobsters today. Quite liking it.

continued:

Also prompting me to refresh my tmux config, which I've been meaning to do for years now. ~~Spring~~End-of-Summer cleaning!

replied to:

Cool use of ANSI sequences in curl -L evergarden.moe - can preview the theme without running any shell scripts!

Any conversation