ghettoimp

17 ms·

91.
by ghettoimp 7y ago
It would certainly be a horrific jolt to your taste buds... geish.
92.
by ghettoimp 7y ago
I don't think I understand the desire or the concern here. Look around the BBQ in the back yard at any party anywhere in 'merica and you'll find the guys hanging out and chatting away from their wives. Look at sports teams
93.
by ghettoimp 7y ago
I think we're in agreement on basically everything.
94.
by ghettoimp 7y ago
Your point about the "kill chain" is well taken. I have not having paid enough attention here to have followed it in this case. But I certainly think the lack of nuance in the media is absolutely a real problem with many bad con
95.
by ghettoimp 7y ago
These are interesting questions to consider. I'm not sure how "private conversation" should be defined. If someone wrote something on HN, is it really private? In the case of RMS, I don't know enough about this mailing
96.
by ghettoimp 7y ago
Eh. You have a right to say what you want, but your employer has a right to not want to be associated with it...
97.
by ghettoimp 7y ago
Would 90hz use more battery? When they talked about the always-on watch screen, I think one of the things they said was it slowed down its refresh rate to 1 hz. I don't know anything about if that saves power, but maybe?
98.
by ghettoimp 7y ago
TCL is still in use everywhere in hardware development. Practically every EDA tool has a TCL interface. I'm afraid I don't share your fondness for it. :)
99.
by ghettoimp 7y ago
I don't disagree with anything you have said. But, if your main method of making money is dependent on some particular entity continuing to do whatever they are currently doing, you have a problem.
100.
by ghettoimp 7y ago
> You're seriously trying to argue that people who commit copyright infringement do so maliciously, i.e. with the intent of harming the copyright holder? That seems... novel. And not very plausible. If true, however, it would be muc
101.
by ghettoimp 7y ago
Knowing more than the market could work - that seems like winning through skill. Perhaps a second (perhaps even a more likely) mechanism would be winning through luck?
102.
by ghettoimp 7y ago
I wonder if there's any advantage to picking 30 stocks versus just investing in some big index fund like VT or whatever.
103.
by ghettoimp 7y ago
Does that... ever happen? As a casual iPhone user, I don't remember ever signing into or out of iCloud for anything. I assume I'm probably signed in at all times?
104.
by ghettoimp 7y ago
Thanks, this seems like a perfectly coherent definition of compositional. I think my earlier confusion was a purely terminological matter. Regarding "What you're saying is that proofs can be composed. That is true, but unhelpful
105.
by ghettoimp 7y ago
Thanks. I think we may differ in our understanding of "compositional." My understanding of "compositional" reasoning is something like, an approach where we (1) establish some properties about our helper functions, and
106.
by ghettoimp 7y ago
> We do it all the time. Whatever it is that you want your program to do, and any interesting functional property of it, is a non-compositional property. I know that because if it were compositional, you wouldn't need to write the p
107.
by ghettoimp 7y ago
If management is looking for people to fire, and you have to somehow defend yourself and/or throw coworkers under the bus, then yes, that's pretty sad and dysfunctional. But that may not be the right way to view this. You'll
108.
by ghettoimp 7y ago
Absolutely. If nothing else, it helps the author realize what he doesn't know. I know of no better way to understand how well I understand something, than to try to document it.
109.
by ghettoimp 7y ago
Have you met many people? :)
110.
by ghettoimp 7y ago
Yes. I'm definitely way less tolerant of them, now that I'm used to commercial-free TV.
111.
by ghettoimp 7y ago
Aha, that's a good point.
112.
by ghettoimp 7y ago
Uh, no.
113.
by ghettoimp 7y ago
Indelible ink or similar, perhaps? Maybe some fancy crypto scheme?
114.
by ghettoimp 7y ago
I'm no expert and could be missing something. But it doesn't look to me like we have an "inalienable" right to vote. Various amendments do say that our right to vote can't be revoked for certain specific reasons,
115.
by ghettoimp 7y ago
Care to elaborate? Are you referring to taxpayers versus non-taxpayers, perhaps?
116.
by ghettoimp 7y ago
This is pretty much the one thing keeping me from writing some long diatribe about how performance doesn't matter for a large amount of software. I've got a tool that analyzes ...lots... of data, and takes about 2 hours to run. T
117.
by ghettoimp 7y ago
> it's especially important if that extra efficiency buys company value. If you've figured out that this is the case, the optimization is no longer premature.
118.
by ghettoimp 7y ago
Is there some historical problem with camry/prius drivers?
119.
by ghettoimp 7y ago
Hrmn. I don't think I've ever seen Lisp code where both branches of an IF are indented the same amount...
120.
by ghettoimp 7y ago
I think this objection boils down to your perspective on what we mean by "C". It's reasonable for some folks (especially working programmers who need to "get stuff done") to think that "what a reasonable compil

More ›