SquishyPanda23

15 ms·

91.
by SquishyPanda23 5y ago
this seems fixable by rebranding
92.
by SquishyPanda23 5y ago
I'm glad you've had a good experience, but yes it is a source of runtime bugs. One piece of code from a well established tech company would just crashloop if authentication failed. I've seen others just die if the RPC service
93.
by SquishyPanda23 5y ago
In practice it does make a big difference because if the type system knows about it then it can enforce handling of the exception. (Or more generally, it can just force you to pattern match on the optional time and make sure you handle the
94.
by SquishyPanda23 5y ago
The type system knows about it and you're forced to check it
95.
by SquishyPanda23 5y ago
Golang wasn't designed in the 1990s. I'm sorry you're bored and also annoyed in the possible universe where GoKart is your project. But it seems like this is a thing people want to talk about in a post about Go static analysi
96.
by SquishyPanda23 5y ago
Basically if you need to manipulate pointers, use safe pointers and keep track of pointer ownership. This is how modern C++ and Rust work. If you don't need to manipulate pointers then nil really just represents a degenerate or optiona
97.
by SquishyPanda23 5y ago
Most modern languages have solved the problem. There are a variety of ways to do it.
98.
by SquishyPanda23 5y ago
> I started writing a nil pointer It still boggles my mind that Go decided to force programmers to worry about nil pointers.
99.
by SquishyPanda23 5y ago
This is an interesting point. I haven't really thought about the connection between intuitionistic logic and three-valued logic before. They are different logics in general though. 3-value logic is more like the A is True, False or Non
100.
by SquishyPanda23 5y ago
You can generally approximate the fixed point. You can possibly do this to arbitrary precision, but I'm not sure. This is useful for practical applications, but it's not the same as knowing the fixed point for mathematical applica
101.
by SquishyPanda23 5y ago
They are different things, although "unrelated" might be a bit strong. I'm sure there are interesting things to say about the incompleteness theorem and intuitionistic logic. Intuitionistic logic is a logic that is weaker tha
102.
by SquishyPanda23 5y ago
As others have mentioned, the article is missing a crucial constraint, which is essentially that it holds on the closed unit ball and spaces homeomorphic to it. As you mentioned, it's also not intuitive. It's by now well-digested,
103.
by SquishyPanda23 5y ago
Tao also writes about how to do this sort of error spotting in a proof you suspect to be wrong: https://terrytao.wordpress.com/advice-on-writing-papers/on-l... In general he thinks a lot about tool kits and I think wha
104.
by SquishyPanda23 5y ago
Stores used to make customers feel good about shopping there. Adding elements that make your store feel more like a prison don't help here.
105.
by SquishyPanda23 5y ago
For what it's worth, when I encounter a project doing this I treat it as a giant red flag that the developers don't care about the quality of their project. In the majority of cases, there's another project that I can move to
106.
by SquishyPanda23 5y ago
The screenshot says that the violation is on the other part of the policy: "Google Play's billing system must not be used in cases where:... payments include peer-to-peer payments, online auctions, and tax exempt donations;"
107.
by SquishyPanda23 5y ago
> This is needless Apple apologetics. Just to be clear, I am neither defending nor attacking Apple. I don't even own any Apple devices. I'm just giving my interpretation of the dynamics behind what is going on.
108.
by SquishyPanda23 5y ago
I think there is more going on here. I think what we're seeing is Apple betting on using cryptography as part of the product design phase. Apple devices already do weird things like wake up to announce their physical location so that u
109.
by SquishyPanda23 5y ago
> the kind of people who do it are no hazard to public health. Well they do, you know, keep weapons of war in their homes. Unless they have 24/7 armed guards and their home is defensible from armed invasion that alone is a pretty si
110.
by SquishyPanda23 5y ago
> People in tech like to believe that holding people accountable is "abusive" or "bullying." Nobody believes this. You are blinded by your politics.
111.
by SquishyPanda23 5y ago
It's the tech version of being edgy. Some people in tech like to believe that it takes a real asshole to get things done.
112.
by SquishyPanda23 5y ago
> sounds like they're moving the scanning from server to client side That is good, but unless a system like this is fully open source and runs only signed code there really aren't many protections against abuse.
113.
by SquishyPanda23 5y ago
lol, what are you talking about dude? Science converged on heliocentrism as quickly as it possibly could once we had instruments precise enough for heliocentrism to be the simplest model. The only reason the Earth-centric system overtook pr
114.
by SquishyPanda23 5y ago
What Facebook is disrupting is propaganda. Propaganda used to only be achievable by nation states. Now anyone with money can play. They aren't democratizing access to truth because search costs for finding accurate information are high
115.
by SquishyPanda23 5y ago
I'm not sure if you're being sarcastic, but the CDC doesn't see themselves as a single source of truth. They defer to the scientific consensus of people who specialize in understanding how viruses work, how pandemics work, an
116.
by SquishyPanda23 5y ago
Are you saying that people who check facts believe they are the single source of truth? Why would you need to check facts if you were the source of truth? Wouldn't it be more accurate to say that the fact checkers believe that there is
117.
by SquishyPanda23 5y ago
Please tell us more about the increasing worldwide infantilization. How do you measure and track it? What trends in the measurement have you noticed over time that makes you says it's increasing? Also, can you say more about which grou
118.
by SquishyPanda23 5y ago
> Vaccinated people get in contact with the virus as much as the non vaccinated. Is this known to be true, or is it an assumption you're making in your analysis? Just curious, because I would have expected people who refuse to be va
119.
by SquishyPanda23 5y ago
Ha. I honestly don't think I've ever seen such a childish response on HN.
120.
by SquishyPanda23 5y ago
Also the employees who agree with the sentiment but find the tactics to be naive (or worse) become less likely to speak out.

More ›