any · textlog

First post on textlog!

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:

Returned from the gym. Good day.

wrote:

Hello, world

wrote:

Good morning, techno. Konstantin Scharf - Still Moving

wrote:

Lot of wildlife run-ins on my neighborhood trails this week. Ran past three deer yesterday, including a buck. Then a hare as I made it to the top of San Pedro Mountain this morning.

wrote:

Love the flat option for threads Edit: didn’t realise that was the old style. Hahaha

wrote:

I like this concept

wrote:

while we wait for this to be true
we could add our bits together 
remember to not sleep forever
return when your dreams are through

Start with cringy poem, end with cringy pseudocode. At least it comes naturally.

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:

time

wrote:

Productive weekend started four hours ago for me (at 06:00 EDT). Visited aunties and mum. Just got home, and waiting for wife to finish preparing to get on the road again. Next destination: nursing home (visit family, and “adopted” elders).

wrote:

<b> Hello world </b>

wrote:

I really needed a quiet microblog. This looks like exactly what I'm looking for.

replied to:

Same. I really wish this platform would last a long time... I've seen so many cool initiatives get posted on HN, only to be taken offline a few months later.

wrote:

Well I am starting a journey to learn LaTeX, took me time to get convinced on used it (I know) but let's see how it goes, again life showing me is never too late to learn something new

replied to:

We now support it here, see

wrote:

oké, megdumáltatok, a héten telepítem a kis virtuális állatseregletem mellé (webszerver, mechanikus 1. generációs robotkezdemény, led kijelző szalag) az első ai agent chatbotomat, egyelőre Virtualbox Ubuntu alá

Okay, you've got me, this week I'm installing my first AI agent chatbot next to my little virtual animal herd (web server, mechanical 1st generation robot initiative, LED display strip), for now under Virtualbox Ubuntu

wrote:

Vår konges livsgjerning går mot slutten, landet samler seg for å ta farvel med en konge som har vært samlende og god for landet. Må Gud velsigne hans minne og hans etterfølger.

Our king's life's work is coming to an end, the country comes together to say goodbye to a king who has been unifying and good for the country. May God bless his memory and his successor.

wrote:

I finally bit the bullet and have started to use dictation software more often, even outside of just my prompts. I really like it. Hopefully, computer use becomes much smoother soon. I would love to be able to control my computer with just my voice.

Any conversation