<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: ogogmad</title><link>https://news.ycombinator.com/user?id=ogogmad</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 14 Aug 2026 23:28:40 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=ogogmad" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by ogogmad in "Principia Mathematica is modern and insightful"]]></title><description><![CDATA[
<p>> This doesn't follow. The sense in which they are equivalent is that they are equifinal, which doesn't mean isomorphism or even homomorphism<p>That's what I meant. I also tried to provide one justification (out of many) for why looking at other foundations is still useful.</p>
]]></description><pubDate>Thu, 13 Aug 2026 15:33:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=49287569</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=49287569</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49287569</guid></item><item><title><![CDATA[New comment by ogogmad in "Antiqua–Fraktur dispute"]]></title><description><![CDATA[
<p>See also the Blackletter imitation "bastard" <a href="https://en.wikipedia.org/wiki/Bastard_(typeface)" rel="nofollow">https://en.wikipedia.org/wiki/Bastard_(typeface)</a>: <i>The face is available in three weights: Spindly Bastard, Fat Bastard, and Even Fatter Bastard.</i></p>
]]></description><pubDate>Thu, 13 Aug 2026 13:49:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=49285928</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=49285928</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49285928</guid></item><item><title><![CDATA[New comment by ogogmad in "Principia Mathematica is modern and insightful"]]></title><description><![CDATA[
<p>Most foundations are in a sense equivalent. In that sense, "ZFC" is as good a choice as any. I think there might be some confusion around the different meanings of the word "foundation": A foundation is a formal system that suffices, somehow, to encode virtually all of known mathematics. The reason why people (including me!) are interested in other "foundations" like HoTT is because they try to build the same mathematics as ZFC from a different set of building blocks, despite them eventually arriving in the same place. In the case of HoTT, it reduces mathematics to homotopies and fibrations, while also making those weighty-sounding concepts seem easy. If you're interested in homotopies, fibrations, cohomology theories etc. then HoTT is a really helpful way to better understand those concepts.</p>
]]></description><pubDate>Thu, 13 Aug 2026 13:34:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=49285700</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=49285700</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49285700</guid></item><item><title><![CDATA[New comment by ogogmad in "The true power of regular expressions (2012)"]]></title><description><![CDATA[
<p>Slightly tangential to your point, but I'm leaning towards programming languages no longer limiting themselves to ASCII. IOW, I'm leaning more towards APL than to J. I'm wondering how much of a blocker it's been to not embrace non-ASCII characters, or italic/bold/underlined formatting.</p>
]]></description><pubDate>Mon, 03 Aug 2026 14:10:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49156032</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=49156032</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49156032</guid></item><item><title><![CDATA[New comment by ogogmad in "The true power of regular expressions (2012)"]]></title><description><![CDATA[
<p>Regular expressions will always remain fundamental to computer science: They characterise all of those - and only those - conditions on bytestrings (or bitstrings, or Unicode strings, etc) which are checkable in constant memory.* In other words, they characterise the set of all "regular languages", which is a name for DSPACE(O(1)). Furthermore, regular expressions can be matched in O(n) time and O(1) memory, within a single left-to-right pass, which is the highest level of efficiency mathematically possible. Since they operate on bytestrings, they can be applied to computer memory and computer state itself, which are ultimately just bytestrings, and not just to text.<p>To be fair, you might know all of that, but I wanted to highlight this. LLMs are a lot less efficient than regular expressions wherever both are applicable, simply because <i>everything</i> is less efficient than regular expressions.<p>* By constant memory, I mean that the memory usage has a maximum value independent of the size or the contents of the input bytestring.</p>
]]></description><pubDate>Mon, 03 Aug 2026 13:00:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49155233</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=49155233</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49155233</guid></item><item><title><![CDATA[New comment by ogogmad in "Amid nurse shortage, a university rolls out the welcome mat for men"]]></title><description><![CDATA[
<p>I think we should create a masculine-sounding word for "nurse", like "(patient/care) (guardian/maintainer/technician)". Nursing still sounds like breastfeeding (check the etymology!), which I'd reckon sounds offputting to most men.<p>Neologisms are cringe, but demeaning men is as well.</p>
]]></description><pubDate>Tue, 21 Jul 2026 16:25:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=48994484</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48994484</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48994484</guid></item><item><title><![CDATA[Gap in Mochizuki's proof of ABC confirmed by Lean]]></title><description><![CDATA[
<p>Article URL: <a href="https://twitter.com/FumiharuKato/status/2078017230537892207">https://twitter.com/FumiharuKato/status/2078017230537892207</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48963019">https://news.ycombinator.com/item?id=48963019</a></p>
<p>Points: 35</p>
<p># Comments: 1</p>
]]></description><pubDate>Sat, 18 Jul 2026 22:19:37 +0000</pubDate><link>https://twitter.com/FumiharuKato/status/2078017230537892207</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48963019</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48963019</guid></item><item><title><![CDATA[New comment by ogogmad in "It seems that the age of reading might be a short anomaly in human history"]]></title><description><![CDATA[
<p>Wow. That went over the heads of both a Harvard student and an Atlantic journalist.</p>
]]></description><pubDate>Wed, 08 Jul 2026 17:10:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48834485</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48834485</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48834485</guid></item><item><title><![CDATA[New comment by ogogmad in "The last Romans are still around"]]></title><description><![CDATA[
<p>username checks out</p>
]]></description><pubDate>Thu, 25 Jun 2026 22:33:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=48680059</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48680059</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48680059</guid></item><item><title><![CDATA[New comment by ogogmad in "An entire Herculaneum scroll has been read for the first time"]]></title><description><![CDATA[
<p>The Jewish Talmud uses Epicurus's name as a term meaning "heretic".</p>
]]></description><pubDate>Thu, 25 Jun 2026 18:55:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48677734</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48677734</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48677734</guid></item><item><title><![CDATA[New comment by ogogmad in "Rhombus Language 1.0"]]></title><description><![CDATA[
<p>Once you have a bicameral syntax*, is there much point left in formal language theory? For instance, why would you still need complicated notions like LR(k) grammars (which Wikipedia confuses with LR(k) parsers)? I ask out of genuine confusion: I've been reading about formal grammars, and have even added to Wikipedia - but I'm still puzzled as to why PL designers might <i>choose</i> to have hard-to-parse syntaxes. Why don't people instead adopt an intermediate syntax like Rhombus's shrubbery notation†?<p>* - <a href="https://parentheticallyspeaking.org/articles/bicameral-not-homoiconic/" rel="nofollow">https://parentheticallyspeaking.org/articles/bicameral-not-h...</a><p>† - <a href="https://docs.racket-lang.org/shrubbery/index.html?fam=Rhombus&famroot=rhombus" rel="nofollow">https://docs.racket-lang.org/shrubbery/index.html?fam=Rhombu...</a></p>
]]></description><pubDate>Wed, 24 Jun 2026 09:11:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48657175</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48657175</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48657175</guid></item><item><title><![CDATA[New comment by ogogmad in "My Mathematical Regression"]]></title><description><![CDATA[
<p>I think BC's features are equivalent to:<p>- Python's native integer handling, which already has no size limit.<p>- PLUS part of the Decimal module in Python's stdlib: BC's floats are DECIMAL by default, not binary.<p>- PLUS an implementation of Bessel's J function, while neglecting Bessel's K.<p>- Some features for base conversion using `ibase` and `obase`. So, I suppose you can output numbers to base 60. [EDIT: Correction from earlier: ibase is allowed to be at most 16, while POSIX allows for the maximum value of obase to be at least 99, which therefore <i>does</i> allow for formatting output to base 60.]</p>
]]></description><pubDate>Mon, 22 Jun 2026 19:56:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=48635225</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48635225</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48635225</guid></item><item><title><![CDATA[New comment by ogogmad in "My Mathematical Regression"]]></title><description><![CDATA[
<p>Good point. But what if `i` does not divide `ans` evenly? I suppose you could use floats and then round.</p>
]]></description><pubDate>Mon, 22 Jun 2026 19:12:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48634679</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48634679</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48634679</guid></item><item><title><![CDATA[New comment by ogogmad in "My Mathematical Regression"]]></title><description><![CDATA[
<p><p><pre><code>  me@localhost:~> bc
  d=1; for(i=21; i < 41; i++){d *= i;}; print d; print "\n";
  335367096786357081410764800000
  n = 1; for(i = 1; i < 21; i++){n *= i;}; print n; print "\n";
  2432902008176640000
  d/n;
  137846528820
</code></pre>
I couldn't start Python for some reason, so I went 1337 and used BC, which comes preinstalled in every Unix-like OS. BC has a surprising advantage here since 40!/20! cannot be represented as a 64-bit integer since its value exceeds 2^64. That said, BC's stdlib does not provide the factorial function* - so I had to resort to using for-loops instead.<p>* - What it <i>does</i> contain is sine, cosine, exponential, log, arctan, and Bessel J (?!?!?!?!)</p>
]]></description><pubDate>Mon, 22 Jun 2026 18:17:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48633840</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48633840</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48633840</guid></item><item><title><![CDATA[New comment by ogogmad in "δ-mem: Efficient Online Memory for Large Language Models"]]></title><description><![CDATA[
<p>This is one of the most interesting comments I've read on this website.</p>
]]></description><pubDate>Sun, 17 May 2026 01:03:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48165198</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48165198</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48165198</guid></item><item><title><![CDATA[New comment by ogogmad in "The sigmoids won't save you"]]></title><description><![CDATA[
<p>See the recent breakthrough "Erdos Problem 1196" which experts couldn't solve for 60 years until ChatGPT Pro did. ChatGPT's key idea was the use of the "Von Mangolt function" which it showed could finally settle the problem. Terry Tao has condensed the AI's proof to around a page. The problem was well-known to experts (in the field of number theory) but it was a Large Language Model that ultimately solved it - which it did <i>without</i> human help!</p>
]]></description><pubDate>Sun, 17 May 2026 00:45:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48165131</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48165131</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48165131</guid></item><item><title><![CDATA[New comment by ogogmad in "The Emacsification of Software"]]></title><description><![CDATA[
<p>Maybe it's a good idea for SWEs to consider using LLMs to train themselves into new careers -- just in case.<p>Most other "knowledge" professions -- by which I mean teaching, programming, some engineering, and the arts -- are even further along into obsolescence. That said, you can still use the knowledge gained in a knowledge profession to convert into a more hands-on profession. We might have a bit longer before humanoid robots destroy all hands-on job opportunities as well. Once that happens, every person will be equally poor and destitute.</p>
]]></description><pubDate>Wed, 13 May 2026 19:26:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=48126293</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48126293</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48126293</guid></item><item><title><![CDATA[New comment by ogogmad in "US inflation jumps to 3.8% as energy costs surge from Iran war"]]></title><description><![CDATA[
<p>That's a provocation of sorts, maybe. However, I'm curious how Israel's invasion was supposed to stop that. Either they would occupy part of Lebanon, but open up their soldiers to attacks from irregulars, which doesn't seem any better for Israel. Or, they would expel tens of thousands of people AND occupy parts of Lebanon, which would still expose the Israeli occupiers to attacks from just outside the new border.<p>If Israel was going to kill tens of thousands of people, it had an obligation to have a plan which wasn't completely stupid. I don't see what WASN'T stupid about it.</p>
]]></description><pubDate>Tue, 12 May 2026 16:28:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48110521</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48110521</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48110521</guid></item><item><title><![CDATA[New comment by ogogmad in "US inflation jumps to 3.8% as energy costs surge from Iran war"]]></title><description><![CDATA[
<p>Hezbollah was formed after Israel's 1982 invasion of Lebanon, which killed 17k+ people, mostly civilians, and which Israeli historian Ilan Pappé said was mainly unprovoked (see below). Israel's explanation for why they decided to risk killing tens of thousands of non-Israelis - which is ultimately what their invasion did - was highly dishonest.<p>The reason for Israel's invasion of Lebanon in 1982:<p>Israel said it invaded Lebanon in June 1982 to stop PLO attacks from southern Lebanon and push Palestinian fighters far enough north to protect northern Israel.† The immediate trigger was the attempted assassination of Israel’s ambassador in London, Shlomo Argov. But that attack was carried out by the Abu Nidal group (based in Iraq), not the PLO, and Israel used it as the opening for a much broader war: destroying the PLO’s power in Lebanon, besieging Beirut, weakening Syrian influence, and trying to install a friendly Lebanese government. So, bluntly: there was a real security problem, but the 1982 invasion was also a war of choice and political engineering, not just self-defense.<p>† Right before the June 1982 invasion, the "they were shelling Galilee" line is weak: even the IDF says that after the July 1981 Habib ceasefire, "from July 1981 to June 1982, the Israeli-Lebanese border was quiet."</p>
]]></description><pubDate>Tue, 12 May 2026 15:09:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=48109466</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48109466</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48109466</guid></item><item><title><![CDATA[New comment by ogogmad in "US inflation jumps to 3.8% as energy costs surge from Iran war"]]></title><description><![CDATA[
<p>> Jews<p>What does this word mean in the year 2026?</p>
]]></description><pubDate>Tue, 12 May 2026 14:48:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48109117</link><dc:creator>ogogmad</dc:creator><comments>https://news.ycombinator.com/item?id=48109117</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48109117</guid></item></channel></rss>