Poor man’s TOR :).

It’s not completely inconceivable that ISPs using CG-NAT could keep logs that would allow these users to be deanonymized, but it’s an extra step and they might not have enough information between the Reddit and ISP logs to do it. But… they’d have to be talking to the ISPs anyway, and the ISPs will probably cooperate?

… But, you brought this example up? :(

So, would you be in favour of serving only vegetarian or vegan meals, then, which a larger portion of the population could eat?

There’s surprisingly few standalone email clients for normal people on desktop platforms as far as I know.

There is potentially a world in which you want to see ads because ads themselves do technically provide a service. You do want to know about things you care about and would want to buy… you just don’t want it obnoxiously shoved into your face all of the time in psychologically manipulative ways.

I mean… Couldn’t rounding be considered a technicality?

I mean, I wouldn’t exactly call a company with 1000 employees “small”. It’s not the behemoth that something like Google is, but like… that’s a good chunk of people.

I don’t drink alcohol, so I cannot comment on that.

But that said, I kind of think of coffee as being pretty similar to chocolate. It’s an earthy but bitter flavour that can be nice, often when paired with something sweet and creamy. Also there are nice espressos that are kind of fruity and creamy on their own. There’s plenty flavours that are overwhelming on their own, but complement other flavours nicely. People are also known to like intense experiences, like really spicy foods.

Anyway, I won’t fight you if you don’t like it. That’s totally reasonable :).

I’m convinced the “ugh, decaf, what’s the point?” people don’t actually like coffee lol.

Potentially an issue of smacking people in a busy hallway.

I mean hell yes I’m for this. Just the obvious solution of “make it push” might not work.

My understanding (which may be false) is that this can come about from competing design considerations and regulations. Like… It’s ideal to be able to push the door open from the inside of the bathroom so you don’t have to touch a nasty doorhandle, but you also don’t want somebody to be able to put something in front of the door, potentially trapping you in the bathroom (particularly in the event of a fire… Dying in a fire is probably worse than touching a nasty doorhandle), and you also don’t want doors to unexpectedly swing open into busy hallways. This drives me nuts too, though.

This is definitely a thing.

That’s fair, but IRC also tends to leak information about users to everybody. They’re maybe bad in slightly different ways, but frankly if you care about privacy that much you probably shouldn’t use either, at least not with additional protections.

You’ll need to pay $35 (I think?) and write a multiple choice exam.

https://www.arrl.org/find-an-amateur-radio-license-exam-session

The exam is relatively easy, and you can find lots of resources for practice exams and stuff. At first you’ll have a hard time with some specific questions, but you’ll get the hang of it. If you want they usually let you write the general and the extra exams after the technician for no extra fee (they’re harder but give you a better license with more permissions. Technician gives you a lot, though)

If you’re at all interested you should do it! Getting licensed doesn’t take much time, even if it seems a little daunting at first. Then you’re ready to go when you get the itch!

How has fame changed you?

Or maybe… How is discord any worse of a privacy nightmare than IRC? I love me some IRC, but it ain’t exactly a bastion of secrecy.

There’s operations that treat bits like floats and operations that treat them like various kinds of ints, but the meaning of bits is in the eye of the beholder. There’s even good examples of mixing and matching integer and floating point operations to clever effect, like with the infamous fast inverse square root. I feel like people often think mathematical objects mean something beyond what they are, when often math is kind of just math and it is what it is (if that makes sense… it’s kind of like anthropomorphizing mathematical objects and viewing them through a specific lens, as opposed to just seeing them as the set of axioms that they are). That’s kind of how I feel with this stuff. You can treat the bits however you want and it’s not like integer operations and bitwise operations have no meaning on supposedly floating point values, they do something (and mixing these different types of operations can even do useful things!), it just might not be the normal arithmetic operations you expect when you interpret the number as a float (and enjoy your accidental NaNs or whatever :P).

The difference of static and dynamic typing being when you perform the type checking is partially why I consider it to be a somewhat arbitrary distinction for a language (obviously decidable static type checking is limited, though), and projects like typescript have shown that you can successfully bolt on a static type system onto a dynamic language to provide type checking on specific parts of a program just fine. But obviously this changes what you consider to be a valid program at compile time, though maybe not what you consider to be a valid program overall if you consider programs with dynamic type errors to be invalid too (which there’s certainly precedence for… C programs are arguably only real C programs when they’re well-defined, but detecting UB is undecidable).

I kind of feel like “untyped” is a term that doesn’t really have a proper definition right now. As far as I can tell when people say “untyped” they usually mean it as a synonym for whatever they consider “dynamically typed” to mean (which also seems to vary a bit from person to person, haha). Sometimes people say assembly is untyped exactly for this reason, but you could also consider it to have one type “bits” and all of the operations just do things on bits (although, arguably different sized registers have different types). Similarly, people sometimes consider “dynamically typed languages” to just be “unityped” (maybe monotyped is more easily distinguished from untyped, haha) languages at their core, and if you squint you can just think of the dynamic type checks as a kind of pattern matching on a giant sum type.

In some sense values always have types because you could always classify them into types externally, and you could even consider a value to be a member of multiple types (often programming languages with type systems don’t allow this and force unique types for every value). Because you could always classify values under a type it feels kind of weird to refer to languages as being “untyped”, but it’s also kind of weird to refer to a language as “typed” when there isn’t really any meaningful typing information and there’s no type system checking the “types” of values. Types sort of always exist, but also sort of only exist when you actually make the distinctions and have something that you call a “type system”… In some sense the distinction between static and dynamic typing is sort of an arbitrary implementation detail too (though, of course, it has impacts on the experience of programming, and the language design makes a bit of a difference in terms of what’s decidable :) (and obviously the type system can determine what programs you consider to be “valid”)… But you can absolutely have a mix of static type checking and dynamic typing, for instance… It’s all a little more wishy washy than people tend to think in my opinion).

It’s egregious too. They all pretend it’s handmade crafts… that AliExpress happens to have exact copies of for a tenth of the price.