Hello! I am a cynical optimist and recovering realist. It's been 3 days since my last sip of Hobbes. Today, I'm hopeful again. That's all I have for now. Thanks.
There are two kinds of suffering. One which you run from, and it follows you everywhere. And there is suffering you face directly, and in doing so become free.
- Ajahn Chah
So damn insightful.
I love the idea. I do miss the early twitter vibes.
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.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.
Maybe it'll end up being a case of stated vs revealed preference, but I feel like Apple's really missing the moment with their latest products. People by and large want less tech in their lives right now, not screens and AI stuff everywhere.
@kev๐งprofilefollowrunner. making games, music, software. getting into as much trouble as i can.wrote:
I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
The abuse (in my opinion) of the auto-translate feature is super annoying. Thanks goodness for โblockโ.
My 3yr old woke up at 5am this morning crying - not terribly uncommon - and when I went in there to check on her she just said "daddy's here" without looking at me and went back to sleep
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.