throwaway999888

10 ms·

91.
by throwaway999888 11y ago
Any optimising compiler for a mainstream language that can't do this optimisation reliably in this day and age is crap.
92.
by throwaway999888 11y ago
> (Or I don't look, and just assume that it's an add-one because that's what it always is, and then wonder why my loop doesn't work right.) How often do your loops depend on incrementing a variable by one? In _Swift_
93.
by throwaway999888 11y ago
So a typical use of the phrase "no offence". :)
94.
by throwaway999888 11y ago
Yes, you actually have to read the statement `i += 1` in order to know what it does. I don't see how that is an argument. It's barely longer than `i++`, in any case. I could buy the argument if we were dealing with indexes or numb
95.
by throwaway999888 11y ago
Just having `i += 1` would seem more in line with Go's professed Simplicity philosophy. When both `++i` and `i += 1` mean the same thing, you might as well drop one of them. `++i` (and/or I guess `i++`) is barely syntactic sugar.
96.
by throwaway999888 11y ago
The single-line arrow has both precedent in set theory, type theory, and mathematical logic.
97.
by throwaway999888 11y ago
I was half-thinking the same, but types and sets feel interchangeable on an intuitive level in such cases. Having both `: String` and `: String` seems to suggest that they are the same type, which they are not. `nameMe(_)` is a function typ
98.
by throwaway999888 11y ago
It seems pretty consistent with functions in a set-notation sense, with functions that map a tuple of stuff to something else. The mapping being indicated by an arrow instead of a colon.
99.
by throwaway999888 11y ago
In which case it is even more arrogant.
100.
by throwaway999888 11y ago
I don't think an interview strategy of the form "has the same values and opinions as stcredzero" is going to work for everyone.
101.
by throwaway999888 11y ago
You're saying that her daughter won't get the warm fuzzies in 20 years time over a PR release veiled as a "future note to our daughter"? Me neither.
102.
by throwaway999888 11y ago
Is _top_ university an important distinction in this context?
103.
by throwaway999888 11y ago
> Today your mother and I are committing to spend our lives doing our small part to help solve these challenges. I will continue to serve as Facebook's CEO for many, many years to come, but these issues are too important to wait unt
104.
by throwaway999888 11y ago
The phrase "ad hominem" has become really watered-out.
105.
by throwaway999888 11y ago
> Your TLA+ comment isn't relevant to this discussion and seems to only promote TLA+. pron has this habit of being negative and dismissive towards functional programming and related things, recommending non-FP alternatives instead.
106.
by throwaway999888 11y ago
> Or you could use a docking station with proper keyboard, mouse and monitor(s). Proper keyboard, mouse and monitor(s) setup is what I meant with "desktop setup". Of course whether the actual computer is inside a laptop, inside
107.
by throwaway999888 11y ago
Apparently white men from four different nationalities, at that.
108.
by throwaway999888 11y ago
Just for ergonomics alone you should use a desktop setup over a laptop setup for any prolonged periods. It's as good as impossible to use a laptop and not be hunched over.
109.
by throwaway999888 11y ago
It's a more passive aggressive form of clapping.
110.
by throwaway999888 11y ago
> among the most privileged human beings in the world The most elite elitists among American elitists. :-)
111.
by throwaway999888 11y ago
Those types of comments that lead off with a "by the way" of some witty quote has the effect of being dismissive in a pretty non-informative way. It's not that I think that's your intent at all; I have no doubts about
112.
by throwaway999888 11y ago
Pretty middlebrow dismissal. How about educating us about something pertinent to the paper in particular , instead of seemingly just scoffing at the idea of formal verification of software in general ?
113.
by throwaway999888 11y ago
> Well, of course, all of us deal with pride and so part of my motivation to type up the story is that I'm proud of what I've accomplished, yeah. What's there to be proud of? Seems like your "accomplishments" are
114.
by throwaway999888 11y ago
It sounds like you'd be interested in reading about the Buddha's teachings about attachment and suffering.