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
For , the tension between & to eat healthy is an interesting problem.
If you don't have time, it is difficult:
If you don't have money, it's difficult:
- to learn to cook,
- to source real food,
- and cook real food
- to afford real food
- or solve one of the time problems above
Yea, aside from the money, sourcing is a big problem, one thing I noticed when trying to at some point was that there are zero vegan snacks in ordinary neighbourhood stores, so that didnโt last very long.
Choice is definitely a problem. We notice it when we go to our cabin, about a 2 1/2 hour drive away.
The grocery store there targets for its local community. It is beef-centric and often boxed foods -- which is not our diet.
Access -- or lack thereof -- is the worst kind of problem. illustrate the historical and complex nature.
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.
I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces.
Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity.
Hypertext is fascinating.
took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.
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
What's your Minecraft skin?
โฆ
really? (โ โโ _โ โโ ) I just saw it before and felt like it described me sometimes (โ โขโ ย โ โฝโ ย โ โขโ ;โ ) what game is he from!??!
or show, or any other media,,
That's so funny, I've never seen anyone get into it by this quote alone, he's the antagonist of the game The Elder Scrolls III: Morrowind.
The quote is even better when you hear it in context, but don't spoil the experience, you ought to play the game and hear it for yourself.
What do you normally play?
&
หข แต แต แถ โฑ โฟ แต ~ ELDER FUTHARK:
แ แข แฆ แจ แฑ แฒ แท แน
แบ แพ แ แ แ แ แ แ
แ แ แ แ แ แ แ แ