<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: harveywi</title><link>https://news.ycombinator.com/user?id=harveywi</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 28 Apr 2026 20:45:20 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=harveywi" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by harveywi in "Foldit"]]></title><description><![CDATA[
<p>They missed an opportunity to call it Texas Fold 'Em.</p>
]]></description><pubDate>Sun, 18 Feb 2024 19:07:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=39422030</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39422030</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39422030</guid></item><item><title><![CDATA[New comment by harveywi in "American Ornithological Society changing the names of birds named after people"]]></title><description><![CDATA[
<p>Instead of giving people the bird, they take the bird away from people.</p>
]]></description><pubDate>Fri, 02 Feb 2024 19:09:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=39232826</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39232826</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39232826</guid></item><item><title><![CDATA[New comment by harveywi in "What the The end of 0% interest rates means for software engineers"]]></title><description><![CDATA[
<p>Also known as going to graduate school.</p>
]]></description><pubDate>Tue, 30 Jan 2024 19:44:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=39194715</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39194715</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39194715</guid></item><item><title><![CDATA[New comment by harveywi in "John Deere Announces Strategic Partnership with SpaceX"]]></title><description><![CDATA[
<p>This is the result of Elon Musk playing too much Harvest Moon.</p>
]]></description><pubDate>Tue, 30 Jan 2024 16:15:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=39191880</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39191880</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39191880</guid></item><item><title><![CDATA[New comment by harveywi in "Impacts of lid closure during toilet flushing"]]></title><description><![CDATA[
<p>That is a bit overkill and lacking in energy efficiency and sustainability, though. A more environmentally conscious solution would be for western nations to bring back some French innovations from the centuries ago such as the bidet followed by the trebuchet.</p>
]]></description><pubDate>Thu, 25 Jan 2024 18:26:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=39132793</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39132793</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39132793</guid></item><item><title><![CDATA[New comment by harveywi in "The question of poverty vs. instability"]]></title><description><![CDATA[
<p>Better yet, be a force multiplier who is willing to relocate. Then when times get tough you have your abelian group to lean on.</p>
]]></description><pubDate>Sun, 21 Jan 2024 22:11:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=39083612</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=39083612</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39083612</guid></item><item><title><![CDATA[New comment by harveywi in "Mapping the semantic void: Strange goings-on in GPT embedding spaces"]]></title><description><![CDATA[
<p>Maybe a dumb question: Shouldn't these be called immersions instead of embeddings?</p>
]]></description><pubDate>Tue, 19 Dec 2023 16:32:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=38697726</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=38697726</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38697726</guid></item><item><title><![CDATA[New comment by harveywi in "Turing awardees republished key methods and ideas without credit"]]></title><description><![CDATA[
<p>LeCuna (noun): An empty space in a list of citations where the works of Jürgen Schmidhuber should appear.</p>
]]></description><pubDate>Thu, 14 Dec 2023 16:13:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=38642937</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=38642937</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38642937</guid></item><item><title><![CDATA[New comment by harveywi in "Ask HN: How are you dealing with the job market anxiety?"]]></title><description><![CDATA[
<p>1. Read this great "Surviving A Layoff" essay [1] and build a plan for yourself.<p>2. Take the time to level up on one or two foundational skills whose barriers to entry are combinations of tenacity and intelligence, or tech stacks that are very close to a foundational skill. Something like "Fart App Framework" is not a foundational skill because it becomes obsolete in a very short amount of time. Things like mathematics, statistics, hard sciences, cryptography, security, etc. will carry you through the rest of your career and create a moat.<p>3. Network, network, network.<p>4. Remind yourself that nothing lasts forever, that you're not in control of everything, that feelings of safety/security are merely feelings, and that the root of all suffering is attachment. If something's making you feel anxious or vulnerable, ask yourself why until you get to the bottom of it.<p>5. If you're consistently having negative thoughts, frame this experience in terms of gaining something (resilience, experience, wisdom) rather than losing something.<p>Good luck, and hang in there.<p>[1] <a href="https://oursoc.io/f/surviving-a-layoff" rel="nofollow noreferrer">https://oursoc.io/f/surviving-a-layoff</a></p>
]]></description><pubDate>Tue, 05 Dec 2023 14:26:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=38531120</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=38531120</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38531120</guid></item><item><title><![CDATA[New comment by harveywi in "$200M gift propels scientific research in the search for life beyond Earth"]]></title><description><![CDATA[
<p>The real problem with previous efforts for finding extraterrestrial life wasn't the technology, it was the lack of competition plus the open ended and uncertain goal. A seed rounds of $50M should be given out to two groups of competing researchers: One group tries to find evidence of extraterrestrial life, and the other group tries to find evidence of the abominable snowman in the Tibetan mountain ranges. The first group to make a discovery takes home the remaining $100M and settles the SETI vs. Yeti debate once and for all.</p>
]]></description><pubDate>Wed, 08 Nov 2023 21:16:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=38197179</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=38197179</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38197179</guid></item><item><title><![CDATA[New comment by harveywi in "Major outages across ChatGPT and API"]]></title><description><![CDATA[
<p>Fortunately for OpenAI, they have no SLAs: <a href="https://help.openai.com/en/articles/5008641-is-there-an-sla-for-latency-guarantees-on-the-various-engines" rel="nofollow noreferrer">https://help.openai.com/en/articles/5008641-is-there-an-sla-...</a></p>
]]></description><pubDate>Wed, 08 Nov 2023 14:55:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=38191201</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=38191201</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38191201</guid></item><item><title><![CDATA[New comment by harveywi in "1.3B Worldcat scrape and data science mini-competition"]]></title><description><![CDATA[
<p>>Over the past year, we’ve meticulously scraped all Worldcat records. At first, we hit a lucky break. Worldcat was just rolling out their complete website redesign (in Aug 2022). This included a substantial overhaul of their backend systems, introducing many security flaws. We immediately seized the opportunity, and were able scrape hundreds of millions (!) of records in mere days.<p>>After that, security flaws were slowly fixed one by one, until the final one we found was patched about a month ago. By that time we had pretty much all records, and were only going for slightly higher quality records.<p>OCLC carelessly fiddlefarted around with their moat and lost it. Poof!</p>
]]></description><pubDate>Wed, 04 Oct 2023 18:30:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=37769552</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=37769552</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37769552</guid></item><item><title><![CDATA[New comment by harveywi in "Lean 4.0"]]></title><description><![CDATA[
<p>Awesome! Where did the "split_ifs" tactic come from though? Mathlib? In your opinion does it make sense to do program verification without using Mathlib, or would you recommend just using it pretty much all the time?</p>
]]></description><pubDate>Fri, 08 Sep 2023 12:42:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=37432763</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=37432763</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37432763</guid></item><item><title><![CDATA[New comment by harveywi in "The cartel that controls the US meat industry"]]></title><description><![CDATA[
<p>Instacartel</p>
]]></description><pubDate>Thu, 03 Aug 2023 17:17:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=36988783</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36988783</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36988783</guid></item><item><title><![CDATA[New comment by harveywi in "Functional Programming in Coq"]]></title><description><![CDATA[
<p>What ever happened to the effort [1] to rename Coq in order to make it less offensive? There were a number of excellent proposals [2] that seemed to die on the vine.<p>[1] <a href="https://github.com/coq/coq/wiki/Alternative-names">https://github.com/coq/coq/wiki/Alternative-names</a><p>[2] <a href="https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3o%E1%B5%83q">https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3...</a></p>
]]></description><pubDate>Thu, 22 Jun 2023 00:56:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=36426811</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36426811</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36426811</guid></item><item><title><![CDATA[New comment by harveywi in "Want to get stuff done? Build yourself a “friction tunnel”"]]></title><description><![CDATA[
<p>Not to be pedantic but there is nuance: A frictionless tunnel is better for getting shit done. Know the difference.</p>
]]></description><pubDate>Wed, 14 Jun 2023 18:22:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=36330261</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36330261</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36330261</guid></item><item><title><![CDATA[New comment by harveywi in "Functional Python Programming"]]></title><description><![CDATA[
<p>Shameless plug for Scala programmers who are marooned in Python land and grasping for something to help dig them out: <a href="https://github.com/miiohio/ziopy">https://github.com/miiohio/ziopy</a></p>
]]></description><pubDate>Fri, 09 Jun 2023 19:22:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=36262788</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36262788</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36262788</guid></item><item><title><![CDATA[New comment by harveywi in "Apple Vision Pro: Apple’s first spatial computer"]]></title><description><![CDATA[
<p>"A new era of facial computing."</p>
]]></description><pubDate>Mon, 05 Jun 2023 20:13:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=36202892</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36202892</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36202892</guid></item><item><title><![CDATA[New comment by harveywi in "In vitro biological system of cultured brain cells has learned to play Pong"]]></title><description><![CDATA[
<p>DishBrain's elevator pitch: Neural networks meet fava beans and a nice Chianti.</p>
]]></description><pubDate>Fri, 02 Jun 2023 21:59:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=36171362</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36171362</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36171362</guid></item><item><title><![CDATA[New comment by harveywi in "OpenAI Outage"]]></title><description><![CDATA[
<p>Fortunately for OpenAI, they have no SLAs: <a href="https://help.openai.com/en/articles/5008641-is-there-an-sla-for-latency-guarantees-on-the-various-engines" rel="nofollow">https://help.openai.com/en/articles/5008641-is-there-an-sla-...</a></p>
]]></description><pubDate>Wed, 24 May 2023 20:03:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=36063219</link><dc:creator>harveywi</dc:creator><comments>https://news.ycombinator.com/item?id=36063219</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36063219</guid></item></channel></rss>