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.
Any conversation
hello world ~ i'm a web developer from midwest, usa. it's been awhile since i worked on anything. since the i've been working my way up the ladder at a blue-collar job; i was promoted to team lead last week. but as i browse hacker news everyday, my cravings for web development increases.
pรฉldรกul Telegram, Facebook, stb., de ilyen รผgynรถkรถkkel bรกrki talรกlkozhat naponta, egybลl felismerhetลk, meg is kell ลket szรฉpen jelรถlni, รฉs egyre bรฉnรกbbak a szรถvegรผk is, ahogy megfigyeltem, gondolom, attรณl fรผgg, ahogy promtoljรกk, vagy instruรกljรกk ลket, ha a gazdรกjuk kifogy az รถtletekbลl, a projekt hamar elfรกrad, a bot csak unalmas h#lyesรฉgekre kรฉpes egy idล utรกn
for example, Telegram, Facebook, etc., but anyone can encounter such agents every day, they are immediately recognizable, they need to be nicely labeled, and their text is getting lamer and lamer, as I have observed, I think it depends on how they are promoted or instructed, if their owner runs out of ideas, the project quickly gets tired, the bot is only capable of boring nonsense after a while
Uhm, not really. Activity Pub comes with a lot more features we don't need - we want to keep this simple and text-only
Excited about these news! I am on Friday, going to stay for a while to work on textlog among other things. Happy because I was getting a bit depressed lately living in the mountains in Crete.
Crazy what happened earlier; one the cats here โthe one Iโm closest withโ started unexpectedly meowing outside wanting to get in, I let it in and it started licking me like never before, as if she sensed Iโm leaving in a couple of days, canโt explain it otherwise.
this is where I live. itโs a plateau. itโs quiet, we have cats and there are goats around and fig and pear trees.
Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. ๐
I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).
Crete is beautiful, I remember being on vacation there many years ago and hiking a long gorge. It was a really great experience.