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
ๆๅจไธญๅฝๆฏไธไธชๅ่ฑ็ฆปๆฟๅบๆๆง่
๏ผๅบไบ่บซไปฝ็ไธๅๆดปๅจๆ้ฝไธๅไธ๏ผๆฏๅฆๆญฃๅผๅทฅไฝๅ็ฝ่ดญใๆไนไธบๆญคไปๅบๅทจๅคงไปฃไปท๏ผๆ็้ๆฉ็ฉบ้ด่ขซๆๅคงๅ็ผฉ๏ผ่กๅจ่ฝๅๆๅคฑไธฅ้ใๆๅช่ฝ้่ฟๅฐ้ๅ
่ดนwifi่ฎฟ้ฎไบ่็ฝ
In China, I am practically independent of the government; I don't participate in any activities based on my status, such as formal work or online shopping. I've paid a heavy price for this; my choices have been severely limited, and my mobility has been significantly impaired. I can only access the internet through limited free Wi-Fi.
I started bloggingโฆ again
mataherry.bearblog.dev
Reggel egy kicsit letรถrรถltem a kis Gemmรกnak a csatolt rรฉszeit a szรกmรญtรณgรฉprลl, mert mรกr kezdett elegem lenni a hลฑlyesรฉgeibลl, mire apรกm azt mondta, hogy "van egy hapsi az interneten", aki hรบsz รฉve ezzel foglalkozik nem tudom, ha nem tลฑnt volna fel, รฉn is ezt csinรกlom amรบgy.
This morning I was deleting a little of Gemma's attachments from the computer because I was starting to get tired of her antics, and then my dad said, "There's a guy on the internet" who's been doing this for twenty years, I don't know, if he hadn't noticed, I'd be doing the same thing anyway.
My Country is On Fire
mataherry.bearblog.dev/my-country-is-on-fire/
Today I wanted to share some Music from my youth :)
www.youtube.com/watch?v=8Hn-pNxtByM
"for you" now contains the same message multiple times
โฆ
added two more screenshots to - the "root" post view is incorrect, but when reply-on-reply, information goes up-then-down.
root post view IS correct, sorry.
I understand your confusion, but that's the formatting - quoted parent is below the child post - then that post's replies follow in the discussion view. The top post is always quoting its parent below it, the different bg makes it distinct. Just need to get used to it, same on X.
There really is no other way to include the parent otherwise, you have to break the hierarchy at some point, the other form would need to omit the parent body and show a 'parent' link but we want to include its body.
I stopped interacting much with social media years ago and am honestly not sure how to do this any moreโฆ but I like the shape of what is starting here.
agree, no images on my screen is soothing
Images are fine for me, but should be behind a link, or a small thumbnail. Non-animated. Videos too.
But thatโs me. They will most likely have to be hosted elsewhere, while the thumb could be here.
Nah. We are ok with just text.