marktani

I sort of reverse engineered the first couple riddles (the help menu helped too) before really getting the logic here.

What I gathered:

- the paramaeters in lemma banish() are "given" - the statement right after lemma banish() is what we want to prove - all "wip" needs to replaced by something - blocks need to be finished with "qed;"

From there it's using the available tools.

I agree with your sentiment here. However:

> if anything, by most traditional forms of evaluating software quality, the projects I work on are better than what they were 5, 10 years ago, using the same metrics as back then.

In this side sentence you're introducing so much vagueness. Can you share insights to get some validation on your claim? What metrics are you using and how is your code from 10, 5, 0 years performing?

I feel throwing in a vague claim like that unnecessarily dilutes your message and distracts from the point. But, if you do have more to share I'd be curious to learn more.

> I'm not in a large corporate environment, but that also means we're not always a well oiled machine

haha, I'm sitting in a very crusty corporate environment right now and your comment made me chuckle. I get where you're coming from though, of course!

I'm thinking that the domain of (competitive) sports is an outlier as such as it's probably the one domain where physical properties like muscle structure, height etc. have the biggest impact on "performance".

But the discussion in the article is not about performing to a high level in order to accomplish a certain outcome (win the match), it's more about exploring one self and honing a certain talent to reach deeper levels of self-expression and self-actualization: OP has a unique way of playing the piano, and they honed it by pouring love and time into it. They would probably not perform super well in some kind of piano contest where you need to play by ear, for example. And that's not the point I got.

Everyone can principally pour love and time into any domain or activity. A 1.50m tall person can explore and hone their basketball talent in order to form a deeper understanding of that part of themselves and share it with the world.

For me it feels like talent = \int_{time} love.

Reminds me of the meme where a kid is dropping tears on the math assignment sheet, "when you do homework with your dad". Forcing kids to spend time on something is an effective way to spoil it for them.

Exploring [math] from a place of curiosity, openness, joy - so, love - is to act out of alignment.

This also means that you need to start from within to develop your talent. What are you curious about, what excites you? Doesn't matter if that's math, obscure bird species or screws.

There's a compounding effect here, once you're deep enough in a couple domains you're starting to see their commonalities and less explored nuances at the domain boundaries.

True! When I started driving, I was using the "north is always up" setting as it helped me get a better understanding of where I was in the city. Somehow this was more fun.

At some point I switched to the more common setting (I assume) of having the map rotate.

In Japan, physical maps like in parks and city information booths are oriented to be aligned with the actual geography. Meaning, north on the map points to actual north.

Made me think of how much more accurate the end to end process of putting up that map has to be vs. maps oriented by "north is up".

Just imagine the map needs to be moved by 10m and rotated around for some last minute restructuring of the park before finalizing the project.

Anyway, it was fun to read these maps and think about how many assumptions we carry around that are shaped by objects around us we use daily.

Who's Nasrudin?

Apparently this quote has been attributed to an Uncle Zeke :) [0]

[0]: https://quoteinvestigator.com/2017/02/23/judgment/

thanks, you made me realize I'm not alone

this is just hilarious and not at all what I expected

> I was just thinking about that on 2023-10-10

FTFY

I was there for the first few iterations of TPP and it is probably my favorite moment of the internet.

The lore created around TPP was insanely good and captivating, like ascribing god-like status to certain Pokémons and finding funny interpretations of in-game events and random Pokémon names

Bird Jesus, ATV, Lord Helix :D

https://helixpedia.fandom.com/wiki/Gen_1_(Pokemon_Red)

I hope it's also true that you're cranky just this morning

So the title of this post could be changed to "What Tranformers Are" or "What Transformers Do" instead

This reminds me of the absolute amazement and wonder in the faces of people who are tricked in older movies or video clips, sometimes with simple or outright ridiculous tricks (by today's standards).

It's not a great example (and the best I have on hand)... but the Rick and Morty episode where Morty meets the Knights of the Sun and similar groups from other celestial bodies shows elements of this as well.

I have the impression people on average were way more gullible the further you look back in time. I wonder then if LLMs suffer from a lack of data about such cases that may have been common in the past but became obsolete before the internet became mainstream.

You're still missing Persian, which is the direct origin of Khaki: https://en.wikipedia.org/wiki/Khaki#Etymology

Urdu/Hindi and probably lots of other languages in that cultural region have plenty of loanwords from Persian

I realize my question was asking for examples of loanwords, but my intention was to ask for loanwords that also adapt the "foreign pronunciation and foreign spelling".

I am well aware that English borrowed plenty of words originating from non-Latin scripts, however based on your phrasing I thought you are saying something more than that is going on.

When a word is borrowed from a non-Latin script into English what else could happen other than adapting/borrowing the foreign pronunciation+spelling into English as well?

very interesting!

can you share a couple examples of words borrowed with foreign, non-Latin script? I'm having trouble imagining how this could look like

The one case I'm aware of in Europe where debit vs. credit makes a real difference is car rental companies.

They will only accept credit cards, not debit cards. Unless you also agree to pay for their shady and useless insurance (useless because typically the broker already offers better and cheaper insurance, so in this case you double pay).

obligatory https://xkcd.com/1015/

my score was 5/20, every question in this quiz is uncanny :D

can you share a more helpful real world example?

as someone who hasn't implemented transactions in microservices before, I have only seen the bank transfer example and it seems adequate and easy to understand - I wouldn't know what limitations it has

thanks, I see my misunderstanding now

> - Take a bag for which “all marbles in this bag are black” is false

> - Add a black marble to that bag

> - After that, “all marbles in the bag are black” becomes true

This reasoning is not correct. If the bag contains exactly a red marble at the start, "all marbles in this bag are black" is false as you required, but it breaks the claim at the end that "all marbles in the bag are black".

There is in fact no bag that fulfills your reasoning, even the empty bag wouldn't (when starting to write my reply I had erroneously assumed so)

Context: https://www.lightbend.com/blog/why-we-are-changing-the-licen...

TL;DR: In September 2022, Lightbend changed Akka's license from Apache 2.0 to BSL 1.1

Your comment made me smile. The manager seems smart and nimble, props to them!

can you prove your solver is complete?

I loved The Creative Act: A Way of Being. The book is organized into short chapters, each about a certain part of the creative process or perspective of the author.

While I don't agree with everything shared, the crisp and clear way it's written allows for great reflection and inspiration.

I've described it to friends as a work book for artists and creatives. Every chapter simmering for days and helping to refine the creative process.

I stand corrected!

I haven't heard this before and can only find online usage from official institutions and city departments though, so maybe it's a more official term?

that's the cool thing about walking/biking, it has built-in exercise for something that most people did on an almost daily basis (commute)

no need to book 2 additional hours every few days and overcome that inner demon to go to the gym :)