henshao

For "basic math" up to high school algebra and such, having an intuitive understanding of this lets me quickly do back of the envelope math anytime I hear something that sounds off, or something matches a "pattern" of a type of math I've done before.

Two concrete examples of this are:

  - doing drop rate calculations in games (probability)..i.e. I've killed 500 of these, and it is interesting to note that I should've gotten this drop 93% of the time. I'm mathematically unlucky. 

  - trying to calculate how much it is worth to me to drive at 80mph vs 55mph to get to work, and the relationship between gas prices and my willingness to drive fast (algebra, physics, etc)

By putting breakpoints in the code, and seeing what the changed lines do, I can compare the output line by line with my mental model of what should be happening, and this thoroughly helps me verify the changes.

It seems to me though that if you're encountering the edges of json where nlohmann or simple parsing doesn't work properly, a binary format might be better. And if you're trying to serialize so much data that speed actually becomes an issue, then again, binary format might be what you really want.

The killer feature of nlohmann are the the NLOHMANN_DEFINE_TYPE_INTRUSIVE or NLOHMANN_DEFINE_TYPE_NON_INTRUSIVE macros that handle all of the ??? -> json -> ??? steps for you. That alone make it my default go to unless the above reasons force me to go another direction.

I think a way to do this is to not let git track that in the first place, with some variation of:

    git config core.fileMode false

or

https://stackoverflow.com/questions/2517339/how-to-restore-t...

    git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs git branch -d

https://stackoverflow.com/questions/7726949/remove-tracking-...

    git fetch -p && git branch -vv | awk '/: gone]/{print $1}' | xargs git branch -d

Maybe we are 10x engineers w.r.t. git aliases. Congratulations

    git config --global alias.<cmd> <cmd>

I'm also confused by all the comments just blindly commenting in the affirmative or providing suggestions. Are we all bots?

    git remote prune origin

It is kind of interesting that there is much interest, work and maintenance on these over-complications...There seems to be a related repo - git-extras - that does the same as this repo, and has 17k stars.

I know I'm guilty of this at times too, but this example is really funny to me, and I guess I'll try rein in my assumptions that people are irrational in the future.

"Share any link with ads and tracking removed."

Rationale:

Sharing = most important verb/subject. Followed by the subject (links)

Ads and tracking - people know what ads are, they might know what tracking implies. trackers may be more abstract.

Clutter - removed this word. What does clutter mean in this context?

But yes, good for him. I also like the mountains.

Plug in "night light" smart devices that detect pattern of life and deviations from it, reporting to a connected smart phone.

I like it.

In their profile

I love the idea of tools like these to be able to easily and programmatically draw diagrams, but eventually it gets thrown into a powerpoint, where then it is locked behind some tool and arcane DSL that only I know. So when my boss who doesn't care about the tools inevitable wants to move the arrow up an inch or make the box green instead of blue, I have to go back to do it. Meaning I give up on using these tools so I don't end up a fulltime diagram engineer.

Anyone know of a tool that is close to inkscape/graphviz, but has an "export back to powerpoint" feature?

Unfortunately I've not put in the effort to learn awk past printing the n-th column of ls (my typical use) - the extra syntax required to properly 'quote' and {} things puts me off.

I like the game for what it is. I'd say, surprisingly strategic.

450k man hours = 225 people full time, 1 year @ ~ 70k a year = 15m

They added 34 more suites * 2 people * $1000 per person per cruise week = 78000 more per trip

~200 trips to pay back the cost - not sure what the utilization of cruise ships is usually, but if they do 40 packed cruises a year, they're at a ~5 year ROI.

I guess I forgot the cost of the new section itself, but I'm going to guess all in, < 10 years ROI?

They've caught on?