Viewing profile — someplaceguy

One of the most popular banks in Brazil doesn't have physical branches. It doesn't even have a functional website. App only.

> the DFA for an extended RE (including a lazy DFA implemented using derivatives, as here) is worst-case doubly exponential in the length of the expression The authors seem to clai…

> I still see AI making stupid silly mistakes. In contrast with humans, who are famously known for never making stupid silly mistakes...

> Okay, that's not fair. There's a big advantage to having an external compressor and reference file whose bytes aren't counted, whether or not your compressor models knowledge. Th…

All the more reason for asking the question?

> unless you were deliberately declaring and using near identical symbols. Yes, that would probably be one way to do it. > Which would violate the whole "Code is meant to be easily…

> using the appropriate unicode characters might make it easier to read It's probably also a great way to introduce almost undetectable security vulnerabilities by using Unicode ch…

Recently I tried to reinstall an eSIM on my Android phone while overseas but was told by my carrier that the eSIM can only be activated while connected to antennas located in the c…

Even the EU's own official web portal [1] has a cookie pop-up that covers half the screen of my mobile phone when I visit it. [1] https://europa.eu/

Awesome, thanks!

What I meant is, why is it significant whether the asteroid impacted in the spring or not?

> The asteroid in spring hypothesis suggests that the asteroid impact that led to the K-Pg extinction event, occurred during spring season in the Northern Hemisphere. Why is that s…

That's really cool! I wonder how soon I can buy one of these ESauron thingies.

> In the article n was set to 5. All of those arrays (except maybe 1) have exactly 5 elements. There is no variance No, the code was: # If there are > and even if there was, it wou…

> The whole point of big-O notation is to abstract the algorithm out of real-world limitations so we can talk about arbitrarily large input. Except that there is no such thing as "…

> Ultimately when an algorithm has worse complexity than another it might still be faster up to a certain point. Sure, but the author didn't argue that the simpler algorithm would …

I found this part of the code quite funny: # If there are Hell, why not just use 2^140 instead of 5 as the cut-off point, then? This way you'd have constant time median finding for…

return l[len(l) / 2] I'm not a Python expert, but doesn't the `/` operator return a float in Python? Why would you use a float as an array index instead of doing integer division (…

I don't disagree with you. However, my point was that the parent poster's reasoning was flawed. Stacking these services on top of each other in this way does not necessarily mean t…

The person in question formalized the entire proof in Coq, which certifies its correctness. To me, that makes your conjecture very unlikely to be true...

I'm sorry, I don't get it. What are you suggesting to be the motivation to remain anonymous in this case?

I would argue that technically, the proof has an error because the author says: > Let X be the integers Z; for integers a,b, let `a ⊏ b` be `a| However, the theorem of infinite des…

The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.