mbroshi

> In the real world, it does feel likely that we’re going to hit some sort of a ceiling on the number of useful bugs, and probably we’ll hit it soon.

This doesn't resonate with me. I see companies adding more sloppily written features with AI. I see more bugs in the software I use, not less. While it's plausible that software is getting both buggier and more secure, I suspect those two move in the same direction not opposite.

My guess is that we're getting better at finding _existing_ security issues with AI (and thus fixing those issues), but simultaneously adding more insecure surface areas _at a faster rate_.

Brilliant! Makes a simple children's game very interesting. One aspect I really enjoy is that it makes clear the knee-jerk response towards action bias[0]. There are times when your opponent has two-in-a-row, but the probability of a frown on the third is > 50%, in which case it's in my interest to have my opponent click on the third square instead of me (but even knowing that cognitively, it's still hard to not action).

[0]: https://en.wikipedia.org/wiki/Action_bias

FYI, Sage is also the name of a mathematical programming language: https://www.sagemath.org/

There's an implicit assumption that the organizers would cancel the race if conditions are unsafe. E.g., when I go on a rollercoaster, I assume engineers have calculated the safety better than I could ever evaluate

Sounds like an interesting--although presumably not easily and quickly scalable--solution to fertilizer shortages. I am dubious about the environmental improvement. According to a meta-analysis[0], chemical fertilizers produce less ammonia emissions

> However, ammonia emissions, nitrogen leaching and nitrous oxide emissions per product unit were higher from organic systems.

Basically, chemical fertilizers are much more efficient and have more uniform distribution of nutrients.

[0]: https://www.sciencedirect.com/science/article/pii/S030147971...

I see a lot of doubters, but the bet is still open. If you're so doubtful, go ahead and put your money where your mouth is!

> Did you use a regex to verify the data looks like a uuid before putting it into the database?

Is that really a thing? I have used UUIDs as primary keys many times in my life, and never had a need to do such a thing. I am struggling to even think of a valid use case.

This is something I have thought about a lot.

I have had coffee daily, gone months without any caffeine, and currently average about one cup of coffee every week or two.

I think the best approach is experimental and data-driven. Everyone has different genes, life circumstances, sleep quality, etc., so it's hard to deduce too much from others' anecdotes. Once a week, I do a version of the Beck Depression Inventory[0] to measure my mood over the previous week. For me, daily coffee definitely causes me to be slightly depressed. I have found a cup when I really need it (which is about once every week or two) is ideal. But, whatever it is you want to optimize for (lines of code, happiness, sleep quality, etc.), make sure you are measuring, and then start experimenting!

[0]: https://en.wikipedia.org/wiki/Beck_Depression_Inventory

As Tyler Cowen always responds to headlines like this: "If it’s true, why isn’t the price of oil down?"

This is a great idea! I tried it on a 200-page document [1], and it took over a minute to process in my browser, and the result seems to be about 75% highlighted. Not sure if it's the "math-ese" or length that is the issue.

One cool thing is that it highlighted both the same sentences in English and French. I presume you translate the text before analyzing.

[1] https://www.math.mcgill.ca/darmon/theses/leahy/thesis.pdf

I love this post. This sort of thing happens to everyone, most people just are not willing to be so open about it.

I was once sshed to the production server, and was cleaning up some old files that got created by an errant script, one which file was '~'. So, to clean it up, I type `rm -rf ~`.

I think the link should be here: https://www.ezequiel.tech/2019/01/75k-google-cloud-platform-...

And the date should be (2019)

I wonder why the body needs to move to stay warm. Seems like a waste of energy. If I were to "design" the body, I'd make automatic heat generation one of my MVP features.

My favorite hidden feature in Firefox is having multiple profiles[0],[1]. Unlike containers, profiles have separate bookmarks, extensions, etc. I have found profiles even more useful than containers for development.

[0] about:profiles (paste into URL bar in Firefox)

[1] https://support.mozilla.org/en-US/kb/profile-manager-create-...

Somewhat perpendicular, but intermittent fasting has been a great recent lifehack for me. I skip breakfast every day, and sometimes skip lunch. Gives me back at least an hour every day. And gorging for dinner is a lot of fun.

There are functional benefits for having UUIDs as a primary key, but yes there are performance impacts on writes and ORDER BY. The best way to find out how it will impact your application is to have performance tests in place, and test out the primary key change in a development environment. I do not think you'll able to determine the impact on performance/scalability based on "pure thought".

It's pretty unlikely to get a collision[1], and the client should be able to handle the gracefully (regenerate the UUID and retry).

[1] https://www.quora.com/Has-there-ever-been-a-UUID-collision