<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: bzax</title><link>https://news.ycombinator.com/user?id=bzax</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 13 Apr 2026 18:56:57 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=bzax" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by bzax in "All elementary functions from a single binary operator"]]></title><description><![CDATA[
<p>Well, once you've derived unary exp and ln you can get subtraction, which then gets you unary negation and you have addition.</p>
]]></description><pubDate>Mon, 13 Apr 2026 03:00:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47747049</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=47747049</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47747049</guid></item><item><title><![CDATA[New comment by bzax in "Some Junk Theorems in Lean"]]></title><description><![CDATA[
<p>It doesn't mean anything.  The point is that the language of lean, and its proof derivation system, are able to express (and prove) statements that do not correspond to any meaningful mathematics.</p>
]]></description><pubDate>Sat, 27 Dec 2025 12:33:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=46401395</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=46401395</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46401395</guid></item><item><title><![CDATA[New comment by bzax in "How I got my laser eye injury"]]></title><description><![CDATA[
<p>I feel obliged to mention that this does feature prominently in Kim Stanley Robinson's Red Mars trilogy.  The single most important piece of infrastructure on Mars is a space elevator, but not everyone on the planet is happy with how the owners of the space elevator are running things.</p>
]]></description><pubDate>Thu, 01 Aug 2024 15:58:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=41130555</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=41130555</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41130555</guid></item><item><title><![CDATA[New comment by bzax in "An arc welder in the datacenter: what could possibly go wrong?"]]></title><description><![CDATA[
<p><a href="https://www.osha.gov/hexavalent-chromium" rel="nofollow">https://www.osha.gov/hexavalent-chromium</a></p>
]]></description><pubDate>Mon, 01 Jul 2024 15:42:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=40846896</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=40846896</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40846896</guid></item><item><title><![CDATA[New comment by bzax in "Alaska Airlines flight 1282 NTSB preliminary report [pdf]"]]></title><description><![CDATA[
<p>It sure would be great if they just owned the supplier outright and could align incentives that way.</p>
]]></description><pubDate>Wed, 07 Feb 2024 01:29:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=39283356</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=39283356</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39283356</guid></item><item><title><![CDATA[New comment by bzax in "Airbus Shatters Record for Jet Orders as Demand Soars"]]></title><description><![CDATA[
<p>Not only does Southwest exclusively fly Boeing aircraft, they exclusively fly 737s, which enables their unusual routing style.  Essentially every pilot and crew at Southwest can fly any aircraft the company has for them.
Presumably this gives Boeing a strong incentive to keep making new 737s that push the engineering envelope, instead of making a new narrowbody aircraft.</p>
]]></description><pubDate>Fri, 12 Jan 2024 15:14:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=38968983</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=38968983</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38968983</guid></item><item><title><![CDATA[New comment by bzax in "She invited four people over for lunch. A week later, three were dead"]]></title><description><![CDATA[
<p>Not just any two couples, one couple was her ex-husband's parents...</p>
]]></description><pubDate>Wed, 09 Aug 2023 14:18:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=37063015</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=37063015</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37063015</guid></item><item><title><![CDATA[New comment by bzax in "The infamous coin toss"]]></title><description><![CDATA[
<p>I should admit I'm being very generous to Peters here - I came to the conclusion that this is what he means only because the math of ergodicity (<a href="https://en.wikipedia.org/wiki/Ergodic_theory#Ergodic_theorems" rel="nofollow noreferrer">https://en.wikipedia.org/wiki/Ergodic_theory#Ergodic_theorem...</a>) talks a lot about "except on a set of measure zero".  He provides no explanation of how he moves from "the time average of values in a particular run of the process" (which is ergodicity) to "what does a typical process round do, with probability 1" (which is perhaps what someone computing a utility function cares about).<p>I asked a friend who is an econ professor "Why does this Peters guy explain this so poorly" and his response was more or less, yes, all of economics has been wondering that too since he first published his Nature Physics paper on this a decade ago.</p>
]]></description><pubDate>Thu, 03 Aug 2023 13:44:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=36985821</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36985821</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36985821</guid></item><item><title><![CDATA[New comment by bzax in "The infamous coin toss"]]></title><description><![CDATA[
<p>The expected value of this distribution goes up with every iteration, there is no such Kelly point.  You could try this with<p>heads: double your money
tails: lose all your money<p>in which case the expected value is always $1, as you have a 1/2^n chance of having $2^n dollars after n rounds, and 0 otherwise.<p>The point of discussing ergodicity here, however, is whether you can describe the behavior of the iterated distribution deterministically if you exclude a portion of that distribution which has measure zero.</p>
]]></description><pubDate>Thu, 03 Aug 2023 02:59:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=36980846</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36980846</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36980846</guid></item><item><title><![CDATA[New comment by bzax in "The infamous coin toss"]]></title><description><![CDATA[
<p>I believe the entire point of the ergodicity question here is "If you apply this process n times, with n approaching infinity, obviously the result may depend on what point in the n-times iterated distribution you sample, but if you choose a volume of vanishingly small measure to exclude, can you make a single concrete statement about what the process is doing without taking an expected value over the different outcomes"<p>And the answer is yes - with probability approaching 1 as n increases (ie excluding a portion of the distribution whose measure decreases to 0), the random process matches a deterministic process which is described by "you lose 5% each round".</p>
]]></description><pubDate>Thu, 03 Aug 2023 02:49:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=36980795</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36980795</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36980795</guid></item><item><title><![CDATA[New comment by bzax in "The infamous coin toss"]]></title><description><![CDATA[
<p>The "average" of the distribution goes up as you increase the number of rounds, but the probability that you get an average or above value when you sample that distribution once goes to zero as the number of rounds increases.</p>
]]></description><pubDate>Thu, 03 Aug 2023 02:15:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=36980546</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36980546</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36980546</guid></item><item><title><![CDATA[New comment by bzax in "The infamous coin toss"]]></title><description><![CDATA[
<p>If you repeat this game n times (as n goes to infinity), you will have Θ(n) pairs of (heads, tails) and O(sqrt(n)) unpaired wins or losses, except for a vanishingly small fraction of the time when the results fall outside of any fixed number of standard deviations.<p>The point is that you as an individual playing a repeated game don't get to meaningfully sample the expected value of the distribution.  You only get to sample once, and you will almost surely (i.e. with probability approaching 1 as n goes to infinity) sample a point in the distribution where you lose nearly all of your money.</p>
]]></description><pubDate>Thu, 03 Aug 2023 02:13:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=36980530</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36980530</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36980530</guid></item><item><title><![CDATA[New comment by bzax in "VP of Bitwarden fired for using ‘Assigned By God’ as pronoun sues employer"]]></title><description><![CDATA[
<p>Hey what do you know, I found the lawsuit:
"That same week, Bitwarden tasked Mr. Scharf with interviewing a 
potential employee whose “preferred pronouns” were in contradiction to Mr. Scharf’s 
religious beliefs. Mr. Scharf conducted the interview in a professional and respectful 
manner, avoiding the use of pronouns all together. Mr. Scharf assessed the interviewee 
favorably and recommended that the interviewee advance to the next stage of the 
interview process. Because of Mr. Scharf’s religious beliefs, in his notes regarding the 
interview, which were shared internally and not with the interviewee, Mr. Scharf did 
not use the interviewee’s requested pronouns."</p>
]]></description><pubDate>Mon, 12 Jun 2023 21:39:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=36301560</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36301560</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36301560</guid></item><item><title><![CDATA[New comment by bzax in "VP of Bitwarden fired for using ‘Assigned By God’ as pronoun sues employer"]]></title><description><![CDATA[
<p>Have you ever shared interview notes with anyone?  I type mine up... and 'TC' is just as useful in my shorthand as he/she would be.<p>I agree with you that if these were his personal notes from which he then composed his evaluation of the candidate it wouldn't matter - but I bet you that's not what this was, and I would further bet you that he was informed of the candidates pronouns and did know them.</p>
]]></description><pubDate>Sat, 10 Jun 2023 23:47:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=36276522</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36276522</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36276522</guid></item><item><title><![CDATA[New comment by bzax in "VP of Bitwarden fired for using ‘Assigned By God’ as pronoun sues employer"]]></title><description><![CDATA[
<p>> Additionally, Scharf received a reprimand for not using preferred pronouns in notes related to an interview he conducted with a job applicant whose preferred pronouns did not align with their biological gender. Scharf argued in the lawsuit that he refrained from using any pronouns during the interview and only used the applicant’s biological pronouns in internal notes.<p>It is so easy to just always write "the candidate" in your interview notes, and never need to write any third person pronouns.  Certainly he was making a stand, rather than just non-confrontationally abiding by his beliefs.  Obviously one wouldn't use any gendered pronouns in the interview since we only have "you" in English - though I imagine "refrained from using any pronouns" is a misreporting.</p>
]]></description><pubDate>Sat, 10 Jun 2023 23:08:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=36276237</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=36276237</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36276237</guid></item><item><title><![CDATA[New comment by bzax in "Joint statement by the Department of the Treasury, Federal Reserve, and FDIC"]]></title><description><![CDATA[
<p>Board members have personal liability for payroll in California.</p>
]]></description><pubDate>Mon, 13 Mar 2023 00:12:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=35128642</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=35128642</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35128642</guid></item><item><title><![CDATA[New comment by bzax in "Stripe faces $3.5B tax bill as employees' shares expire"]]></title><description><![CDATA[
<p>They certainly can let the old RSUs expire worthless, but holding up the "social contract" (as opposed to the strict legal contract) with their employees (and former employees!) while also not drawing the ire of the IRS may be a challenge.<p>If you give new RSU grants, what time period do they vest over?  What happens to current employees who leave before then, if they are required to re-earn-out their comp?  What can you do at all about former employees?
Will the IRS still accept that this deferred compensation is subject to "substantial risk of forfeiture" and thus the taxes on it can be deferred (see U.S. Code 409A)?<p>Stripe is trying to do option b), buy back stock at current valuation.  To do so, they need to raise a couple billion dollars.  That money will go to the employees (in exchange for some stock) so that the employees can settle up their taxes, though the IRS will "cut out the middleman" so to speak, and requires Stripe to simple withhold the proceeds and remit to the IRS on the employees' behalf.<p>The $3.5B tax bill is not "corporate tax" owed by Stripe, but employee income tax that will be owed by employees if there is a liquidity event, and which Stripe will be, in practice, required to withhold on their behalf if Stripe arrange that liquidity for them.</p>
]]></description><pubDate>Tue, 07 Mar 2023 22:38:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=35062308</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=35062308</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35062308</guid></item><item><title><![CDATA[New comment by bzax in "Stripe faces $3.5B tax bill as employees' shares expire"]]></title><description><![CDATA[
<p>I don't know why you believe later employees get options.  It is true that at public companies, employees often are compensated with options, but at "startup"s where the FMV of a new employee grant would be prohibitively expensive to either early exercise or pay income taxes on, employees get RSUs.<p>Options are for small companies, and 83b elections when the exercise price can be paid by the employee upfront.
RSU are for unicorns.
Once the company is public and there is liquidity you can do whatever.  Except backdating stock options...</p>
]]></description><pubDate>Tue, 07 Mar 2023 19:25:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=35059942</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=35059942</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35059942</guid></item><item><title><![CDATA[New comment by bzax in "Stripe faces $3.5B tax bill as employees' shares expire"]]></title><description><![CDATA[
<p>If you do an 83b election on RSUs, you'd recognize the entire present value of the RSU grant as income in that year, and pay taxes on it.  I believe you're then limited to claiming capital losses on that if you leave before it all vests, or it all ends up worthless.<p>Stripe was already worth $9B in 2016.  If you joined then, it could have been prohibitively expensive to do an 83b election.  The whole point of RSUs is that you don't owe anything until there is a liquidity event, unlike options which you may be required to exercise or lose while the company is still private.<p>However, RSUs only get this favorable treated (i.e. you've been given something of value, but can defer paying taxes on it) because they technically expire worthless if the company does not have a liquidity event in time.  Thus far no successful tech company (that I know of) has screwed over its employees by casually choosing not to have a liquidity event and letting years worth of RSUs grants all expire worthless.<p>Stripe is trying to arrange liquidity for its employees who were granted RSUs in e.g. 2016, and that expire in 2023.  Those employees have not had to pay taxes as the RSUs vested, but will have a large tax bill if those RSUs do anything other than expire worthless...</p>
]]></description><pubDate>Tue, 07 Mar 2023 19:20:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=35059871</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=35059871</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35059871</guid></item><item><title><![CDATA[New comment by bzax in "The end of Apple’s affair with China"]]></title><description><![CDATA[
<p>On the contrary, I am not making the claim that "it isn't theft because no such property has been deprived".  I think whether it is theft is a nuanced question, and it can only be answered if we are clear on what we think that property is.  The US constitution perhaps defines such a property - to paraphrase lightly - "securing for limited times to authors the exclusive right to their respective writings".  If a simple exclusive right to one's work exists here it is clearly being deprived!  (notably, such a simple right is not a thing, at least under US law - or fair use wouldn't exist)<p>What, to you, is the property being taken here?  One can disagree ethically with the constitution's "The Congress shall have Power To promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries", or one might disagree either legally or ethically with the consistency of Congress's implementation of that power, or one might disagree ethically with whether a particular violation of that right that one believes exists is a deprivation.</p>
]]></description><pubDate>Tue, 25 Oct 2022 14:59:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=33331417</link><dc:creator>bzax</dc:creator><comments>https://news.ycombinator.com/item?id=33331417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33331417</guid></item></channel></rss>