<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: abhv</title><link>https://news.ycombinator.com/user?id=abhv</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 05 Sep 2026 06:24:33 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=abhv" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by abhv in "Fermat's Last Theorem in Lean 4"]]></title><description><![CDATA[
<p>This is a very impressive result. Bravo to that team.</p>
]]></description><pubDate>Fri, 04 Sep 2026 21:37:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49570524</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=49570524</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49570524</guid></item><item><title><![CDATA[New comment by abhv in "Why I'm Forced to Say Farewell: Google Management Has Lost Its Moral Compass"]]></title><description><![CDATA[
<p>I don't understand the negativity here.<p>He is a top expert on a security topic. Running Android platform security gives him an opportunity to have incredible positive impact for many people---which he did for a decade.<p>People weigh trade-offs.<p>At the beginning, he may have had high ambitions to deploy interesting, research-forward ideas to Android; at this point, he has accomplished a lot of that. Maybe now, he is considering other factors.<p>Guessing that people are only money-driven or have made some decision because of threshold personal wealth is awful, especially if you do not know them.<p>Almost all academics I know (I am one also) are driven by personal curiosity, intellectual ambitions, a need to identify and solve problems, and a strong desire for positive contribution.  I know Rene and believe this to be true of him.</p>
]]></description><pubDate>Fri, 12 Jun 2026 02:38:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48499203</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=48499203</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48499203</guid></item><item><title><![CDATA[New comment by abhv in "An attempt at a First-Proof AI challenge"]]></title><description><![CDATA[
<p>How to Stop Worrying and Start Using AI</p>
]]></description><pubDate>Mon, 09 Feb 2026 01:59:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=46940726</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=46940726</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46940726</guid></item><item><title><![CDATA[An attempt at a First-Proof AI challenge]]></title><description><![CDATA[
<p>Article URL: <a href="https://abhvio.us/posts/pony/">https://abhvio.us/posts/pony/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46940725">https://news.ycombinator.com/item?id=46940725</a></p>
<p>Points: 1</p>
<p># Comments: 1</p>
]]></description><pubDate>Mon, 09 Feb 2026 01:59:19 +0000</pubDate><link>https://abhvio.us/posts/pony/</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=46940725</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46940725</guid></item><item><title><![CDATA[New comment by abhv in "NSA and IETF, part 3: Dodging the issues at hand"]]></title><description><![CDATA[
<p>20+2 (conditional support) versus 7.<p>22/29 = 76% in some form of "yea"<p>That feels like "rough consensus"</p>
]]></description><pubDate>Mon, 24 Nov 2025 13:31:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=46033896</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=46033896</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46033896</guid></item><item><title><![CDATA[New comment by abhv in "Opening up ‘Zero-Knowledge Proof’ technology"]]></title><description><![CDATA[
<p>(1) in this case, an identity issuer provides the source of truth identity information. Examples include state DMV, your passport (you can try "Id pass" in Google wallet), etc.<p>(2) One of the goals of this project was to layer ZK on top of current identity standards that DMVs already issue, so that gov orgs don't have to change what they currently do to support the strongest user privacy. One example format is called Mdoc.<p>(3) The user holds the identity information on their device only. No other copies.  The user's device makes the zkp proof on-device. This was one of the major technical challenges.<p>(4) The relying party (eg a website) runs the zk verification algorithm on the proof that is produced by the device to ensure soundness.<p>(5) Yes, the user can use any compatible implementation to produce the proof. We have open-sourced our implementation and we have a spec for the proof format that others can also reimplement.</p>
]]></description><pubDate>Thu, 03 Jul 2025 19:21:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=44458337</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=44458337</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44458337</guid></item><item><title><![CDATA[New comment by abhv in "Opening up ‘Zero-Knowledge Proof’ technology"]]></title><description><![CDATA[
<p>My colleague Amit made a simple video explanation about zkp with Wired. 
<a href="https://youtu.be/fOGdb1CTu5c?si=EyBQS92WyeduIpH-" rel="nofollow">https://youtu.be/fOGdb1CTu5c?si=EyBQS92WyeduIpH-</a><p>That doesn't explain the way this scheme works, but it's a nice start.</p>
]]></description><pubDate>Thu, 03 Jul 2025 19:14:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=44458289</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=44458289</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44458289</guid></item><item><title><![CDATA[Google using ZK for age assurance]]></title><description><![CDATA[
<p>Article URL: <a href="https://blog.google/around-the-globe/google-europe/age-assurance-europe/">https://blog.google/around-the-globe/google-europe/age-assurance-europe/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44272257">https://news.ycombinator.com/item?id=44272257</a></p>
<p>Points: 6</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 13 Jun 2025 21:05:59 +0000</pubDate><link>https://blog.google/around-the-globe/google-europe/age-assurance-europe/</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=44272257</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44272257</guid></item><item><title><![CDATA[New comment by abhv in "Google Wallet integrates zero-knowledge proofs for identity"]]></title><description><![CDATA[
<p>-- ID passes in UK, Arkansas, Montana, Puerto Rico and West Virginia.
-- ZK technology for age assurance.</p>
]]></description><pubDate>Tue, 29 Apr 2025 17:05:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=43835264</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=43835264</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43835264</guid></item><item><title><![CDATA[Google Wallet integrates zero-knowledge proofs for identity]]></title><description><![CDATA[
<p>Article URL: <a href="https://blog.google/products/google-pay/google-wallet-age-identity-verifications/">https://blog.google/products/google-pay/google-wallet-age-identity-verifications/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=43835246">https://news.ycombinator.com/item?id=43835246</a></p>
<p>Points: 12</p>
<p># Comments: 1</p>
]]></description><pubDate>Tue, 29 Apr 2025 17:03:40 +0000</pubDate><link>https://blog.google/products/google-pay/google-wallet-age-identity-verifications/</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=43835246</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43835246</guid></item><item><title><![CDATA[New comment by abhv in "Ertdfgcvb"]]></title><description><![CDATA[
<p>successive keys on adjacent rows of your qwERTy keyboard</p>
]]></description><pubDate>Tue, 31 Oct 2023 00:46:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=38078337</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=38078337</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38078337</guid></item><item><title><![CDATA[New comment by abhv in "The banks that funded Twitter deal may have a 'sell-down letter'"]]></title><description><![CDATA[
<p>If you owe the bank $10m, the bank owns you.
If you owe the bank $10b, you own the bank.</p>
]]></description><pubDate>Tue, 10 Oct 2023 23:11:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=37838952</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=37838952</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37838952</guid></item><item><title><![CDATA[New comment by abhv in "We don’t need a new Twitter"]]></title><description><![CDATA[
<p>See also this thread from yesterday, <a href="https://news.ycombinator.com/item?id=37147914">https://news.ycombinator.com/item?id=37147914</a><p>"Thousands of scientists are cutting back from Twitter"<p>Essentially, a survey published in Nature about twitter usage among scientists dropping, in part, because of the phenomena mentioned in this New Yorker article.<p>Eg:<p>"Žiga Malek, an environmental scientist at the Free University of Amsterdam, mentioned in the survey that he had started seeing a lot of “strange” political far-right accounts espousing science denialism and racism in his feed. He has to block them constantly. “Twitter has always been not so nice let’s say, but it is a mess right now,” he said."</p>
]]></description><pubDate>Thu, 17 Aug 2023 14:29:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=37162182</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=37162182</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37162182</guid></item><item><title><![CDATA[New comment by abhv in "OpenAI tech gives Microsoft's Bing a boost in search battle with Google"]]></title><description><![CDATA[
<p>This is a case study for an undergrad statistics or responsible journalism class.<p>* for traffic see the small note "all values rebased to 100"
they are likely hiding the significance of the increase<p>* for the app downloads graph:
does the 30x gap say anything?
are there seasonal reasons that can explain why <i>every</i> Jan1--Feb4 has more DLs than Feb4--Mar11 ? e.g., new phones?</p>
]]></description><pubDate>Fri, 24 Mar 2023 18:59:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=35293886</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35293886</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35293886</guid></item><item><title><![CDATA[New comment by abhv in "Did Chamath short Credit Suisse?"]]></title><description><![CDATA[
<p>i certainly don't do clickbait. no links to the original or anything. i thought the content was this observation. i'm trying to use whisper.cpp to get transcripts for the older ones.</p>
]]></description><pubDate>Sun, 19 Mar 2023 22:31:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=35224387</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35224387</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35224387</guid></item><item><title><![CDATA[New comment by abhv in "Did Chamath short Credit Suisse?"]]></title><description><![CDATA[
<p>i was skeptical. But these four probably do 100 meetings a week each, many about new deals with new founders. They hear a lot of smart ideas and the best of those are going to leak out when the videos are all about trying to sound smart.</p>
]]></description><pubDate>Sun, 19 Mar 2023 22:28:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=35224366</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35224366</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35224366</guid></item><item><title><![CDATA[New comment by abhv in "Did Chamath short Credit Suisse?"]]></title><description><![CDATA[
<p>Maybe never...but he had the signal 2 weeks ago in E118.</p>
]]></description><pubDate>Sun, 19 Mar 2023 21:35:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=35223919</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35223919</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35223919</guid></item><item><title><![CDATA[Did Chamath short Credit Suisse?]]></title><description><![CDATA[
<p>Article URL: <a href="https://abhvio.us/posts/credsui/">https://abhvio.us/posts/credsui/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=35223918">https://news.ycombinator.com/item?id=35223918</a></p>
<p>Points: 21</p>
<p># Comments: 14</p>
]]></description><pubDate>Sun, 19 Mar 2023 21:35:55 +0000</pubDate><link>https://abhvio.us/posts/credsui/</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35223918</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35223918</guid></item><item><title><![CDATA[New comment by abhv in "Stripe faces $3.5B tax bill as employees' shares expire"]]></title><description><![CDATA[
<p>Stripe charges 2.9% + 30c per transaction.<p>From that, about 1.3% + 5c per tx go to interchange + assessment fees.<p>This leaves about 1.6% + 25c for the payment processor.<p>14.3 on 816b is about 1.7% which is consistent.<p>On 1T, that means about 17b in revenue.<p>Lets assume they have 7000 employees (i've seen 6000-8000 in searches). As rough estimates, these SFO-based SWEs + knowledge workers cost 1m/yr on average (which includes their total comp, insurance, federal + state taxes, and operating overheads amortized over all employees).  So their cost of labor may be around 7-8b/year.<p>They may have other acquisition and marketing costs, but it means the co can feasibly be earning >8b before taxes, depreciation, amortization, etc.<p>That number could justify a 80b valuation.<p>If their current round cap is 55b, then my #s on costs are off, or the multiple has dropped to 6-7. Please debug.</p>
]]></description><pubDate>Thu, 09 Mar 2023 01:18:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=35077170</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=35077170</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35077170</guid></item><item><title><![CDATA[New comment by abhv in "ChatGPT is a bullshit generator but it can still be amazingly useful"]]></title><description><![CDATA[
<p>Perfectly conceivable that Arvind is punking us all by using an Llm to write that essay.  Very basic stuff for someone who usually has subtle points to make.</p>
]]></description><pubDate>Wed, 01 Feb 2023 23:33:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=34619728</link><dc:creator>abhv</dc:creator><comments>https://news.ycombinator.com/item?id=34619728</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34619728</guid></item></channel></rss>