tylerhou

24 ms·

271.
by tylerhou 4y ago
Even if you know something will fall it's not necessarily rational to take a short position. You also have to correctly guess when it will fall. Otherwise you will lose money on premiums or get wiped out by margin calls.
272.
by tylerhou 4y ago
Proving things is basically a graph search problem. You start from some givens, and you try to transform those givens into the desired theorem. Each transformation is an edge in the graph, leading you to another vertex. What makes one perso
273.
by tylerhou 4y ago
implying bananas aren't snacks
274.
by tylerhou 4y ago
I'd rather enable push notifications on a website than have to install a whole new app if I want them.
275.
by tylerhou 4y ago
Not so on refreshers for lower level employees. $70k-$100k over 4 years amounts to barely one share a month at current GOOG prices. Add in tax withholding and it’s about half a share. So they generally vest quarterly instead of monthly. Aft
276.
by tylerhou 4y ago
The problem is that people with “concerns” aren’t always acting in good faith when they “just ask questions” about the safety of vaccinations. They make basic mechanistic errors. Or they falsely claim that some safety steps were skipped dur
277.
by tylerhou 4y ago
It also helps employees' vesting schedules by smoothing them out.
278.
by tylerhou 4y ago
Utilitarianism can easily deal with downside risk by adding a discounting factor to the moral worth of higher utilities. (E.g. Instead of aggregating utilities by summing them all up, sum their logs, and pick the action that leads to the hi
279.
by tylerhou 4y ago
Well maximin is exactly what Rawls proposes, so it's the same logical error (if you can even call it that).
280.
by tylerhou 4y ago
> who misspells "requessts" anyway People with MacBooks that have butterfly keyboards that love to repeat letters for no reason.
281.
by tylerhou 4y ago
But you’re not counting static power of the CPU and the whole system. It is possible for the vectorized code to consume less power overall because it can complete faster, using less static power.
282.
by tylerhou 4y ago
Just look up USB-C cables with power meters on Amazon; there are tons of companies that end up rebranding the same product.
283.
by tylerhou 4y ago
Buy inflation protected bonds from the government (TreasuryDirect) if you haven’t already.
284.
by tylerhou 4y ago
> I think the Bazel style is to never check in the generated code Not necessarily; there is plenty of checked in generated Go code at Google (as well as other PLs, but probably not as much), and other projects (e.g. Entgo) seem to encour
285.
by tylerhou 4y ago
Source on SC2 being peer to peer? I see it's server-client based. https://tl.net/forum/starcraft-2/145084-starcraft-2-netcodin...
286.
by tylerhou 4y ago
I’m guessing that even SC2 uses lockstep, as (in some cases) I’ve seen one person lag because their opponent has a spotty connection.
287.
by tylerhou 4y ago
TL;DR: they reduced Hamiltonian Path to a polynomial-factoring-like problem, proving the latter is NP-Hard.
288.
by tylerhou 4y ago
Not untrue, but the post doesn’t mention prior work, so it’s implying that Rust is one of the only languages that has these features, whereas even C++ (notorious for being unsafe) as a majority of the features (in Clang). Clang can even cat
289.
by tylerhou 4y ago
1. This can lead to programming errors if, e.g., a write is buffered in Golang and Close() flushes the buffer. Then you might not correctly write the file. (I know that if you really cared, you should use fsync, but lost writes could happen
290.
by tylerhou 4y ago
In addition, most of these checks are provided in other languages or linters for those languages. E.g. C++ has had RAII before Rust has existed. C++ (with -Werror), TypeScript and most FP languages have exhaustive switch checking. Clang can
291.
by tylerhou 4y ago
Does Go's GC have any SLA about when an unreachable object must be garbage collected? If not, this is risky: 1. Will finalizers run on program crash? 2. Will I run out of resources if the garbage collection doesn't run for suffici
292.
by tylerhou 4y ago
Clang segfaulting is somewhat common. It usually doesn't happen, but sometimes when I write some cursed template metaprogramming code it crashes and I'm not surprised. In your case, especially because you are using C++20 concepts,
293.
by tylerhou 4y ago
$175k is mid to low end of new grad at FAANG in Bay Area.
294.
by tylerhou 5y ago
I think the parent poster is saying that this tax treatment of options is inconsistent with the way RSUs are taxed, though. RSUs are taxed at vest time even if you hold the shares, presumably because they can be sold immediately since they
295.
by tylerhou 5y ago
(I know you're not arguing for this view, but) I just don't understand this perspective. The whole point about compensation is that it is explicitly a transfer of wealth, and through any transfer some people are going to "los
296.
by tylerhou 5y ago
But servers have a much higher power budget compared to phones or most laptops. That's supposedly the target user base for SSR + hydration.
297.
Judith Jarvis Thomson: A Defense of Abortion(spot.colorado.edu)
1 points by tylerhou 5y ago|0 comments
298.
by tylerhou 5y ago
People’s political beliefs are not, and should not be, protected classes.
299.
by tylerhou 5y ago
Curious as to what the JS bridge overhead is like for both latency and throughput. What would the performance look like if you tried to serialize DOM updates over the bridge and replay them on the JavaScript side so that you could build DOM
300.
by tylerhou 5y ago
I've always interpreted it as "zero days since a fix was released."

More ›