barubary

joined 2 years ago
[–] barubary@infosec.exchange 6 points 1 month ago (1 children)
$ python3 -c 'f = (lambda x: x + 0.5 - 0.5); print(f(2**52))'  4503599627370495.5

#python

[–] barubary@infosec.exchange 68 points 1 month ago (1 children)

If you had let me write the C++ code, I could have literally destroyed your dataset in a couple of seconds.

[–] barubary@infosec.exchange 0 points 1 month ago (1 children)

I believe now it is my turn to say you're spewing nonsense. Have you ever used a language with a type system? Because this whole idea of "testing external data to see if it is the right type" doesn't really make sense.

At the lowest layer, generally, external data is an array of bytes. It has no other type you could "test". However, you can decode or parse it into a form that makes sense for your program. And why couldn't I cleanly recover from parse errors? (And how do you think Python does it?)

[–] barubary@infosec.exchange -2 points 1 month ago (3 children)

Again, "strong types" doesn't mean anything.

But from a type theory perspective, having "dynamic types" absolutely means you don't have a type system. All Python has is runtime exceptions. The fact that one of them is named TypeError doesn't make it a type error in the formal sense.

The point of a type system is not that variables have types, but that types are assigned to expressions (i.e. pieces of code in your source file), not to values (i.e. pieces of data). This is important because it guarantees that certain errors cannot occur in a program that passes the type checker (assuming you have a sensible/useful type system). And you get this assurance without running a single line of code.

To get a similar guarantee from Python, you need to write exhaustive tests, just as with any other runtime error.

[–] barubary@infosec.exchange -4 points 1 month ago (5 children)

"Strongly typed" is meaningless. (Or nearly so; in practice it means "I like this language" and "weakly typed" means "I dislike this language".) The point is that Python has no type system.

[–] barubary@infosec.exchange -3 points 1 month ago (7 children)

Python is un(i)typed.

[–] barubary@infosec.exchange 9 points 1 month ago (1 children)
[–] barubary@infosec.exchange 6 points 2 months ago

Only since 2014, so barely over a decade.

[–] barubary@infosec.exchange 3 points 2 months ago (1 children)

CPU? It's called a modem!!

[–] barubary@infosec.exchange 5 points 2 months ago (1 children)

BTW, you can configure uBlock Origin to block all 3rd party javascript by default, but allow 1st party scripts, so you don't even need NoScript to get most of these benefits.

[–] barubary@infosec.exchange 0 points 2 months ago (1 children)

There's a lot of distorted facts here, but the weirdest one to me is "instead of regrouping their efforts (which, I might add, they did, and they got their day in parliament)". The first half just contradicts itself ("instead of doing X, which they did, ..."???) and the second half ("they got their day in parliament") is verifiably, obviously false: The EU petition is still ongoing and collecting signatures. The deadline is July 31.

[–] barubary@infosec.exchange 5 points 2 months ago

@tetris11 @Aedis More like:

isEven() {    case "$1" in        *[02468]) return 0;;        *) return 1;;    esac;}

(If all the line breaks are gone from this code snippet, blame Lemmy. It looks fine here.)

view more: ‹ prev next ›