In 2020 at the height of the pandemic experience, I painted my wife shopping at the market.
The painting process was looser and more improvisational than usual. Watch the video at: https://youtu.be/yludQY_rvdw
I'm constantly surprised at the number of people who are looking for lists of people to follow. There's no shortage of fascinating breadcrumb trails here.
Pick a toot that resonates with you and open it up. See who commented, or retooted it. Look at those people's profiles. Follow them.
Look at their older toots and follow the people whose comments on those toots pique your interest.
I've been here a month & have a global circle, not one of whom I knew before coming here. #IFollowTheCrumbs
That's it, I've spent too much time with no good results on this today, and I feel I have better things to do.
I've hit the limit of what I could accomplish with Rust without actually investing time learning how to think in it and how to structure solutions to fit its model adequately.
This experiment ends with me getting 8 days further with Awk than Rust in problems that have an advent-of-code shape.
Whatever that means.
Keeping #antivaxxers out of the military can only be a good thing.
A new release of my in-progress book on using Lean 4 as a programming language is out at https://leanprover.github.io/functional_programming_in_lean/
The state of #IcyRPG game development. Type-set the martial artist card yesterday.
Many more combat moves coming soon!
Squeezing "core combat rules" to the other side of the "moves" cards is going to be the next big challenge.
There's a lot of talk about Black folks coming to Mastodon and finding that mods on some of the big servers aren't always willing to step in and moderate, even if their rules say "No racism".
I want to be clear: Black people are WELCOME on retro.pizza and WILL be defended. And I will NEVER try to tell you what parts of your experience you can and cannot talk about out loud. #RPAdmin #BlackMastodon
I mean, I suppose I knew deep inside I should've blocked Masnick the moment he showed up here. Hopefully his paid views will show up in my feed a lot less now.
Oil companies paying for research on the climate, tobacco companies paying for research on health, why in 2022 would anyone listen to someone paid by big tech about big tech?
Yo, #UK masto, I met a very funny homeless guy distributing #BigIssue magazine today.
His jokes genuinely made me and my partner chuckle. We told him that he should do some #OpenMic #StandUpComedy in London.
Do you have any suggestions? Maybe some material / jokes you would donate? Send everything my way and boost the toot! Anything helps.
ChatGPT is honestly really -really- capable and useful. So much so that I feel AI tools will rapidly become integrated into every part of our society.
This would give closed source creations of corporations like "OpenAI" an unbelievable amount of power and influence.
Technology this powerful should belong to everyone, or no one. For this reason ChatGPT and OpenAI are unethical for engineers to build on.
Please consider building on open source alternatives like EleutherAI.
That https://doma.dev guy
#lean #elixir #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.