Bad night, first the boy woke up at midnight and went with him, then at 4 am heavy rain started so went to bring the bike to the terrace, then thunderstorm and kids were scary, then the cat meowed at 6am. Iโm okay.
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.
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
@kapankatsuragiprofilefollowI may know more about Disney History and trivia than you. Maybe, I dunno.
I write about pop culture on Super Review Time.wrote:
trying to revive the blogging golden days. recommend some blogs with rss feed about game, movie reviews, and animation. or comic strips, traditional or webcomic.
@carbonwriter๐งprofilefollow(\ (\
( โข โข)
โโชโชโโโโ
Full of mostly true stories, I occasionally write them down. Habit of talking to anyone. Bipolar. Author.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. #wsocialnotesfollow