โPassion has little to do with euphoria and everything to do with patience. It is not about feeling good. It is about endurance. Like patience, passion comes from the same Latin root: pati. It does not mean to flow with exuberance. It means to suffer.โ
โ Mark Z. Danielewski, Ho
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.
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.
Huge flaw in the static site generator I built.
That's what you get I guess when you don't have a computer science degree and you build with only surface level knowledge. You get your ass bit!
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Added it as a company on LinkedIn so it must be 'live' now. Cheltenham-od.uk
@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!wrote:
I'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!
How dreary - to be - Somebody!
How public - like a Frog -
To tell your name - the livelong June -
To an admiring Bog!
@amyprofilefollowa work in progress; i love cats ๐ฑreplied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Nobody is perfect. Iโm nobody.
@procyonprofilefollowlate is the hour in which this conjuror chooses to appearreplied to@erikprofilefollowI'm Nobody! Who are you?
Are you - Nobody - too?
Then there's a pair of us!
Dont tell! they'd banish us - you know!:
Yesterday upon the stair
I saw a man who wasn't there
He wasn't there again today
How I wish he'd go away!
I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on