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
รrdekes ez a 4, 2-es irodalmi, valamint programozรกsi hagyomรกny, amire Douglas Adams hรญvta fel a figyelmet, nรกlam ebbลl a hagyomรกnybรณl 4 a pszichiรกtriai, 2 a rehabilitรกciรณs tรฉma, ami รฉrdekes mรณdon maga is 4, 2-es, ami olyan, mintha rekurzรญv kezdene lenni, de mรฉgsem az teljesen www.textlog.hu/a-4-adel-es-2-szuzett/
This 4, 2 literary and programming tradition, which Douglas Adams drew attention to, is interesting. In my case, 4 of this tradition are psychiatric and 2 are rehabilitation topics, which is interestingly itself a 4, 2, which seems to be starting to be recursive, but it is not completely www.textlog.hu/a-4-adel-es-2-szuzett/
Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/โฆ/zm420-royal-air-force-โฆatlas-c1-a400m-180
I think I may be use this for now to spill out my guts a bit. Set out boundaries guys. I was basically ignoring how important that is, whatever is at work, family, relations. Be loved being you, you don't have to meet any expectations beyond yours.
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.
Big holiday today in Greece, bells ringing, bands singing, people gathered in the village, eating, enjoying life and I'm spending it inside coding. I don't feel bad and I'm not , it's just that I'm a bit odd. I don't like these forced gatherings. Feel stressful.
โฆ
Itโs called Dekapentavgoustos, meaning 15th of August in Greek, itโs a celebration of Virgin Mary. Itโs a big national holiday.
I still don't get how now after AI coding there's people saying that contrary to common belief code wasn't a bottleneck and I realized that when I was starting to code at 10yrs ago when I was 15 and read it in a stackoverflow comment. I thought that was the common belief and still can't believe a lot of supposed senior programmers apparently believed so.
Yes, code was never the bottleneck and of course now it never will be either. Figuring out semantic modeling of data that makes sense across business domains and figuring out the right way to use digitalization to modernize processes, and the change cultures as become possible through such work - thatโs much more bottlenecks! Code is easy; people and process is hard!