I think he's defining a round number as, for some precision Y, X number of consecutive most significant digits are 0.

e.g. for a precision = 8 number, its "round" when the last 5 digits are 0, so like 32.300000 would be round.

The probabilities of round vs non round are pretty skewed. There are far fewer round numbers (for reasonable definitions) than there are non round numbers.

Not all numbers come out equally as likely. Round numbers are more likely to be picked by humans (or at least that's the argument)

That's why I said we need to know:

> 2. Assuming it's rigged, how likely it's rigged in a way that the percentage is precisely XX.X%

But I didn't realize he wrote a blog post about it. He actually addressed everything I listed (and more) in detail:

https://terrytao.wordpress.com/2024/08/02/what-are-the-odds-...

TL;DR: Yes, we need to know all these priori probabilities to get the exact answer. He made an assumption about them.

Hey everyone,

Ever tried adding logging to your Lambda functions and felt like there were a ton of hoops to jump through? I've been an engineer for a while and see this problem come up a lot.

I've been working on a tool to make monitoring for lambdas possible with just a few lines of code.

Typically, setting up a CloudWatch forwarder into an observability platform requires manual configuration through the AWS console or Terraform. This process often results in dropped log structures, missing attributes, and the added burden of configuring static attributes. In the worst case, you can accidentally end up with a new monitoring host for each Lambda invocation, which can cause your monitoring costs to skyrocket.

I started https://iudex.ai to simplify this process -- among other issues with modern observability...

Our solution is easy to set up and manage, saving time and reducing costs. If you'd like to sign up: https://uma16qrc176.typeform.com/to/kB91n8d8

If you have any other monitoring difficulties, drop them here! I'd love to hear your thoughts and experiences!

Iudex AI | Software Engineers | Full-time | SF | ONSITE | $120k – $200k | 0.5% - 2% | No visa

Iudex is a next generation observability tool. Our goal is to improve dev velocity by surfacing post deployment information intelligently by serving developers first. Our low cost, wide ranging framework integrations, and ease-of-us allow us to support both start ups and any enterprise looking to make their devs faster.

We are funded by Pear VC and are a very early stage company. We're looking for a founding engineer and engineers -- folks who are passionate about making awesome tools for their fellow engineers and are interested learning how to use AI to further this goal for both internal and external tools.

Email: arno@iudex.ai if you're interested.