marktani · HackerLangs

5 дней назадdiscuss

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.

marktani

3 месяца назадdiscuss

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.

marktani

3 месяца назадdiscuss

> 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!

marktani

9 месяцев назадdiscuss

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.

marktani

9 месяцев назадdiscuss

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.

marktani

10 месяцев назадdiscuss

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.

marktani

10 месяцев назадdiscuss

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.

marktani

7 лет назадdiscuss

payment processing fee = pay the payment provider (Stripe, PayPal, etc.)

a cut from the payment in order to pay for their services = additional fee on top on payment processing fee to cover operational expenses, employee salaries etc.

marktani

7 лет назадdiscuss

How do you distinguish

(A) two random developers that met each other at several conferences over the years, have contributed to a few same projects and really like the efforts the other one is putting into their OSS project

(B) two random developers that met each other at several conferences over the years, have contributed to a few same projects and want to fraud GitHub for the donation match

I think this could be a real practical problem for GitHub. And lawyering up against developers supporting the campaign potentially counteracts the marketing benefit of it.

marktani

7 лет назадdiscuss

Perhaps you don't mind it, but it would be interesting to know more about GitHub's and Microsoft's thoughts/thought process on this topic.

marktani

7 лет назадdiscuss

You're right I didn't read that passage at first glance. In a year, both donation matching and 0 fees may very well be gone.

marktani

7 лет назадdiscuss

I support one project on Open Collective [1] on a monthly basis. They do take a cut from the money I donate to cover the credit card fees and their operational costs. GitHub Support does not take any fees and even matches donations... wow!

While this news sounds amazing on the surface, I am also concerned it might have negative effects on the OSS ecosystem overall. Let's see how this pans out!

[1] https://opencollective.com/

comments