prutschman

11 ms·

61.
by prutschman 7y ago
It's more than just a SAT solver, but Microsoft's Z3 SMT solver has an option to minimize a quantity of interest. I haven't worked with it much, but it seemed faster than a binary search on 'k' when I was playing ar
62.
by prutschman 8y ago
It's difficult to describe the "how". I've had the experience of talking with a friend and having a conversation along the lines of "Do you remember the guy that was in that movie?". If there's enough shar
63.
by prutschman 8y ago
The unimproved value of land is still a function of its proximity to other desirable things. Barring remodeling, it's not generally the value of the building on a piece of land that goes up over time.
64.
by prutschman 8y ago
I understand what you're getting at with Uber and Airbnb. I'm not especially familiar with Zenefits. I'd thought that Theranos, though, was a major straight-up fraud.
65.
by prutschman 9y ago
If you go to mbasic.facebook.com you'll get the low-end phone version, which allows messenger access.
66.
by prutschman 9y ago
https://www.youtube.com/watch?v=BoncWqttN6U I can only imagine it's gotten better in the past 20 years.
67.
by prutschman 9y ago
As you say, pro-rating first charge has the content unlock problem and "anniversary date" of charge defeats aggregation. TLDR: Aggregate on a single day, but pro-rate the second month, not the first, so there isn't a "ru
68.
by prutschman 9y ago
Have you ever threatened to, or alluded to your ability to do so, to obtain commercial negotiating leverage in a context other than defending the company from the threat of a patent suit?
69.
by prutschman 9y ago
A sketch is presented here: http://www.iep.utm.edu/lp-argue/#SH3a
70.
by prutschman 10y ago
There's a separate, parallel system of checking checks. My credit is in very good shape, but there's a company out there that thinks somebody with my name passed a bad check in a state where I don't reside on a bank account t
71.
by prutschman 10y ago
Suppose you have a dataset big enough that it needs to be spread across a storage cluster. Now you'd like to run some kind of operation that's either completely parallel, or fits the map/reduce model. Maybe you have a petabyt
72.
by prutschman 10y ago
If it's surprising to you that there are women who want to work on oil rigs, and want that badly enough to go through the trouble of making a case out of it, then you may need to update your beliefs about what it means to be a woman.
73.
by prutschman 10y ago
I have free speech rights too, but YC is under no more obligation to keep him around than it is to keep me around.
74.
by prutschman 10y ago
A company I co-founded, Shift Labs[1], is trying to do exactly that. The CEO, Dr. Beth Kolko, quit her academic post to found the company out of her frustration with low industry uptake of low cost medical devices emerging from academia. [1
75.
by prutschman 10y ago
I haven't done work in the Bluetooth space for years now, but a big problem with audio streaming in the Bluetooth 1/2 days was that devices wouldn't reliably adjust their page and inquiry scan intervals (time the radio spends
76.
by prutschman 10y ago
This sounds terribly familiar. Also, "Baby shark doot doo doot doo doo doo..."
77.
by prutschman 10y ago
The relevant part of the GPL applies only when a derivative work is created. The determination of what constitutes a derivative work is the domain of copyright law. If a piece of software is not legally a copy of or a derivative work of a G
78.
by prutschman 10y ago
In ordinary English discourse "humans eat meat" is an existential proposition, with some possible claim of frequency, commonality, or representativeness. It's not a universal proposition; that's conveyed by "all hum
79.
by prutschman 10y ago
Independent reinvention is not in general a defense to a claim of patent infringement. Is there some fairly specific set of circumstances you're referring to here?
80.
by prutschman 10y ago
Checksumming makes sense when the checksum accompanies a pointer to another block. i.e. a directory entry says subdirectory contents are found in block 1027 /with checksum 0xdeadbeef/. If block 1027 is errantly overwritten due to
81.
by prutschman 10y ago
In order to understand computation it's obviously useful to humans to think in an abstract way about what we're trying to accomplish with a computer, and how. The distinction we draw between computer hardware and computer software
82.
by prutschman 10y ago
What will happen if that same person tries calling you through Messenger now that you've removed the program?
83.
by prutschman 10y ago
A computer's behavior is no less emergent from its physical structure.
84.
by prutschman 10y ago
If no clear crime was committed, why on earth would going to the police have done any good?
85.
by prutschman 10y ago
It's possible to reacquire your money less legal fees . That's an important distinction for anyone who tries to get their money back.
86.
by prutschman 10y ago
How much does it cost to hire a lawyer to (try to) get your $11k back?
87.
by prutschman 10y ago
The parent poster was explicitly drawing an equivalence between censorship in some unspecified traditional sense and widely communicated judgements and denouncements by a group. It came out as more flippant than I intended, but I'm bei
88.
by prutschman 10y ago
What are you arguing for? Censoring the declaration of someone as a *-phobe? Censoring the criticism of people who say certain things? Censoring the cries of "shut up" leveled at them?
89.
by prutschman 10y ago
I really appreciate the forthrightness of this answer.
90.
by prutschman 10y ago
Women can get (possibly unintentionally, possibly not) punished for exhibiting negotiation and leadership traits that are valued in men. A friend recently had an offer, ready to sign, but the salary was lower than she wanted. She wrote back

More ›