<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: kdavis</title><link>https://news.ycombinator.com/user?id=kdavis</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 06 Aug 2026 04:27:04 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=kdavis" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by kdavis in "Position: LLMs Can't Jump"]]></title><description><![CDATA[
<p>The article seems like an interesting Gedankenexperiment. However, I think it overrotates on the GR analogy.<p>For example "..ARC captures the logical leap, it misses the manipulative component—the physical sensation and embodied simulation..." makes lots of assumptions on how such a discovery must occur, e.g. through "physical sensation and embodied simulation". Results matter, not the path there.<p>For example, quantization of energy, at the core of QM, wasn't discovered through "physical sensation and embodied simulation" at all. Planck simply found that if energy is quantized, then one obtained the observed black-body radiation spectrum. There was no "physical sensation and embodied simulation".</p>
]]></description><pubDate>Wed, 05 Aug 2026 13:50:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=49182898</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49182898</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49182898</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>Mac User Guide documentation states "When autocorrection is on, misspelled words are detected and automatically corrected as you type."<p>[1] <a href="https://support.apple.com/en-az/guide/mac-help/mchlp2299/mac" rel="nofollow">https://support.apple.com/en-az/guide/mac-help/mchlp2299/mac</a></p>
]]></description><pubDate>Fri, 31 Jul 2026 12:15:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49122142</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49122142</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49122142</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p><a href="https://news.ycombinator.com/item?id=49111599">https://news.ycombinator.com/item?id=49111599</a></p>
]]></description><pubDate>Fri, 31 Jul 2026 08:01:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=49120311</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49120311</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49120311</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>Craig Federighi SVP of Software at Apple “The keyboard now leverages a transformer language model, which is state of the art for word prediction, making autocorrect more accurate than ever.”[1]<p>"New features available with macOS Sonoma" doc states "Autocorrect fixes mistakes for you more accurately than ever before by leveraging a new transformer language model in English, French, and Spanish keyboards." [2]<p>"Introducing Apple’s On-Device and Server Foundation Models" blog post states "Apple Intelligence is comprised of multiple highly-capable generative models that...have been fine-tuned for user experiences such as writing and refining text.. In the following overview, we will detail how two of these models — a ~3 billion parameter on-device language model, and a larger server-based language model."[3]<p>"A look at Apple’s new Transformer-powered predictive text model" blog post[4] is the kind of deep dive you'd have to do to find out what's going on under the hood in your spelling/grammar checker. TL;DR AppleSpell uses GPT-2 which proves my point.<p>[1] <a href="https://eu.usatoday.com/story/tech/2023/06/06/wwdc-2023-apple-ios17-autocorrect/70292365007/" rel="nofollow">https://eu.usatoday.com/story/tech/2023/06/06/wwdc-2023-appl...</a><p>[2] <a href="https://www.apple.com/mideast/macos/sonoma/pdf/en/macOS_All_New_Features_bh.pdf" rel="nofollow">https://www.apple.com/mideast/macos/sonoma/pdf/en/macOS_All_...</a><p>[3] <a href="https://machinelearning.apple.com/research/introducing-apple-foundation-models" rel="nofollow">https://machinelearning.apple.com/research/introducing-apple...</a><p>[4] <a href="https://jackcook.com/2023/09/08/predictive-text.html" rel="nofollow">https://jackcook.com/2023/09/08/predictive-text.html</a></p>
]]></description><pubDate>Thu, 30 Jul 2026 15:43:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=49111599</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49111599</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49111599</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>If the company making this claim were not famously litigious, I would agree with your "good faith" interpretation. They are, unfortunately, famously litigious[1].<p>[1] <a href="https://en.wikipedia.org/wiki/Google_LLC_v._Oracle_America,_Inc" rel="nofollow">https://en.wikipedia.org/wiki/Google_LLC_v._Oracle_America,_...</a></p>
]]></description><pubDate>Thu, 30 Jul 2026 14:51:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=49110908</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49110908</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49110908</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>This wasn't your original question, which I answered.<p>This "moving the goalposts", requiring me to know the internals of say a closed source product, just proves my original point. I can't know if an LLM is being used because I don't have the source code.</p>
]]></description><pubDate>Thu, 30 Jul 2026 14:44:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49110798</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49110798</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49110798</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>"A Simple yet Effective Training-free Prompt-free Approach to Chinese Spelling Correction Based on Large Language Models"[1]<p>[1] <a href="https://aclanthology.org/2024.emnlp-main.966/" rel="nofollow">https://aclanthology.org/2024.emnlp-main.966/</a></p>
]]></description><pubDate>Thu, 30 Jul 2026 14:17:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49110374</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49110374</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49110374</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>I don't know the timeline, but I generally agree.<p>I think history agrees too, i.e. machine code >  assembly language > high-level programming language > prompts.</p>
]]></description><pubDate>Thu, 30 Jul 2026 13:51:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=49110044</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49110044</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49110044</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>The is not exactly my point.<p>I am speaking of spelling/grammar checkers are part of the IDE and/or OS.<p>You'd have to know your IDE and/or OS's implementation details to know you are <i>not</i> using an LLM based one.</p>
]]></description><pubDate>Thu, 30 Jul 2026 13:40:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49109865</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49109865</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49109865</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>My point is you might be when you wrote your comment or I might be in writing this comment.<p>However, I don't know if I am as I haven't seen, and will likely never see, the implementation behind the text box that is suggesting the next letter, word, or spelling correction as I type.</p>
]]></description><pubDate>Thu, 30 Jul 2026 13:37:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49109826</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49109826</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49109826</guid></item><item><title><![CDATA[New comment by kdavis in "OpenJDK Interim Policy on Generative AI"]]></title><description><![CDATA[
<p>While I understand the caution, the current policy seems too draconian.<p>It states in part:<p>> Until that policy is in place, the Governing Board has approved this interim policy:<p>> Contributions in the OpenJDK Community must not include content generated, in part or in full, by large language models...<p>Note, this would exclude most spell checkers, as they often <i>are</i> LLM based. That said, they do soften this with the addition:<p>> Q: Is it okay to continue using the spell-checking, grammar-checking, auto-completion, and refactoring features in my editor or IDE?<p>> A: Yes, so long as they are not based on large language models or similar deep-learning systems.<p>This addition will likely not help as most spell checkers are OS/IDE services and their implementation details are opaque to users.</p>
]]></description><pubDate>Thu, 30 Jul 2026 13:26:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49109694</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=49109694</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49109694</guid></item><item><title><![CDATA[New comment by kdavis in "I also filed the corners off my MacBook"]]></title><description><![CDATA[
<p>Trephination! :-)<p>[1] <a href="https://en.wikipedia.org/wiki/Trepanning" rel="nofollow">https://en.wikipedia.org/wiki/Trepanning</a></p>
]]></description><pubDate>Thu, 16 Jul 2026 13:37:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=48934390</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48934390</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48934390</guid></item><item><title><![CDATA[New comment by kdavis in "Ants: Who looks after the injured in a colony?"]]></title><description><![CDATA[
<p>Surgery, antimicrobials, farming crops, animal husbandry... humans are late to the game.</p>
]]></description><pubDate>Wed, 08 Jul 2026 12:11:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48830904</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48830904</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48830904</guid></item><item><title><![CDATA[New comment by kdavis in "HackerRank open sourced its ATS. My resume scored 90/100. Oh wait 74. No – 88"]]></title><description><![CDATA[
<p>Using gemma3:12b I ran it once over Andrew Ng's CV <a href="https://ai.stanford.edu/~ang/curriculum-vitae.pdf" rel="nofollow">https://ai.stanford.edu/~ang/curriculum-vitae.pdf</a> because why not.<p>He's a 48.0/100, things that make you go Hmmm.</p>
]]></description><pubDate>Mon, 29 Jun 2026 17:49:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48722550</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48722550</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48722550</guid></item><item><title><![CDATA[New comment by kdavis in "HackerRank open sourced its ATS. My resume scored 90/100. Oh wait 74. No – 88"]]></title><description><![CDATA[
<p>Hmm...six runs with gemma3:12b on my CV<p>- Varies from 102.0/100 to 100.0/100<p>- Missed lots of OSS work<p>- Misinterprets GSoC work (Thinks projects I started that were contributed to in GSoC implies that I received a GSoC stipend)<p>- Areas for improvement seem to vary inconsistently (There's not enough project detail to there's too much project detail)<p>I still don't make company cut offs ¯\_(ツ)_/¯</p>
]]></description><pubDate>Mon, 29 Jun 2026 17:24:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=48722164</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48722164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48722164</guid></item><item><title><![CDATA[New comment by kdavis in "Show HN: Talos – Open-source WASM interpreter for Lean"]]></title><description><![CDATA[
<p>What other verification targets did you consider?</p>
]]></description><pubDate>Fri, 19 Jun 2026 06:21:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48595435</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48595435</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48595435</guid></item><item><title><![CDATA[New comment by kdavis in "Google officially announces that ads will be included in AI Mode search results"]]></title><description><![CDATA[
<p>Surprised pikachu face</p>
]]></description><pubDate>Thu, 21 May 2026 13:29:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48222295</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=48222295</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48222295</guid></item><item><title><![CDATA[New comment by kdavis in "SpaceX says it has agreement to acquire Cursor for $60B"]]></title><description><![CDATA[
<p>Time to switch</p>
]]></description><pubDate>Wed, 22 Apr 2026 03:47:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=47858703</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=47858703</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47858703</guid></item><item><title><![CDATA[New comment by kdavis in "MIT Radiation Laboratory"]]></title><description><![CDATA[
<p>Ye olde building 20, how we loved to hate you.</p>
]]></description><pubDate>Wed, 15 Apr 2026 16:10:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47781154</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=47781154</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47781154</guid></item><item><title><![CDATA[New comment by kdavis in "Data Is Now the Front Line of Warfare"]]></title><description><![CDATA[
<p>The conflict in the Gulf has now claimed several new victims: data centers. This marks a sea change in warfare and will force tech companies to reevaluate their posture around national defense. Defending them effectively means a new policy by the U.S. government—one that creates deterrence not just to protect life and health, but also data.</p>
]]></description><pubDate>Wed, 25 Mar 2026 17:37:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=47520636</link><dc:creator>kdavis</dc:creator><comments>https://news.ycombinator.com/item?id=47520636</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47520636</guid></item></channel></rss>