<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: bmenrigh</title><link>https://news.ycombinator.com/user?id=bmenrigh</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 06 May 2026 22:51:47 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=bmenrigh" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>Which is exactly why I mentioned rejection of zero, negative numbers, etc.<p>You can reject them, but doing so just throws away useful tools without gaining anything in return.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:39:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47957054</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47957054</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47957054</guid></item><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>Rejecting infinity is a purely philosophical stance that doesn’t teach us anything about reality.<p>There is a big difference between “infinity doesn’t exist” and “infinity doesn’t exist physically”.<p>I should also add that the resolution of zeno’s paradox in the form of calculus where and infinite set of steps can occur in a finite time (or infinite set of distance can span a finite total distance) is conceptually very simple and useful. Rejecting it as unphysical, or saying it must imply time or space come in discrete chunks, is not contributing to an understanding of reality unless the rejection also comes with a set of testable (in principle) predictions.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:29:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=47956958</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47956958</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47956958</guid></item><item><title><![CDATA[New comment by bmenrigh in "What can we gain by losing infinity?"]]></title><description><![CDATA[
<p>The article doesn’t really tell us what is gained by rejecting infinity.<p>And in general, why not also reject zero, negative numbers, irrational numbers, complex numbers, uncomputable numbers, etc.?<p>Seems like an article about quacks that can’t even agree on what the bounds and rules of their quackery are.</p>
]]></description><pubDate>Thu, 30 Apr 2026 01:10:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47956836</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47956836</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47956836</guid></item><item><title><![CDATA[New comment by bmenrigh in "How many products does Microsoft have named 'Copilot'?"]]></title><description><![CDATA[
<p>Reminds me of around 2002 when MS slapped “.Net” onto everything.</p>
]]></description><pubDate>Sun, 05 Apr 2026 00:23:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47644925</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47644925</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47644925</guid></item><item><title><![CDATA[New comment by bmenrigh in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"]]></title><description><![CDATA[
<p>Yeah but to the commenter I was replying to, I don't think it was clear that detail was relevant to the benchmark numbers they were quoting.</p>
]]></description><pubDate>Tue, 24 Mar 2026 20:39:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47508859</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47508859</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47508859</guid></item><item><title><![CDATA[New comment by bmenrigh in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"]]></title><description><![CDATA[
<p>No, the gains here aren't very dramatic when compared properly (against fsync), and have nothing to do with AI help. The gains come down to Linux kernel support for certain synchronization primitives like the Mutex on Windows, such that there is a more direct mapping of what a Windows binary expects to what the Linux kernel provides. See <a href="https://docs.kernel.org/userspace-api/ntsync.html" rel="nofollow">https://docs.kernel.org/userspace-api/ntsync.html</a> for the kernel support that makes this possible.</p>
]]></description><pubDate>Tue, 24 Mar 2026 19:45:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=47508012</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47508012</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47508012</guid></item><item><title><![CDATA[New comment by bmenrigh in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"]]></title><description><![CDATA[
<p>Those benchmark numbers are slightly misleading, as they are a comparison of Wine+ntsync against Wine+nothing. There has been a somewhat fast "fsync" library built around Linux's futex and the gains over Wine+fsync are modest (just a few % in most cases).<p>That said, Wine+ntsync is still a win, just not a 8x improvement like the Dirt 3 benchmark suggests.<p>(And it case it's not clear, ntsync is <a href="https://docs.kernel.org/userspace-api/ntsync.html" rel="nofollow">https://docs.kernel.org/userspace-api/ntsync.html</a>, which is a driver for Linux that offers syncronization primitives (mutex, semaphore, events) that more closely match the semantics of the Windows primitives. It's easier to do a direct implementation in Wine to support code compiled for Windows that expects to be talking to an NT kernel.)</p>
]]></description><pubDate>Tue, 24 Mar 2026 19:41:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=47507966</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47507966</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47507966</guid></item><item><title><![CDATA[New comment by bmenrigh in "The math that explains why bell curves are everywhere"]]></title><description><![CDATA[
<p>I don’t fault Quanta (or 3b1b) for being the way they are. Each is serving their goal audience pretty well.<p>My compliant is only that there should be a dozen more just like them, each competing with each other for the best, most engaging math and science content. This would allow for more a broader audience skillevel to be reached.<p>As it stands, we’re lucky even to have Quanta and 3b1b.<p>I think there is hope though, quite a few new-ish creators on YouTube are following in Grant’s footsteps and producing very technically detailed and informative content at similar quality levels.</p>
]]></description><pubDate>Thu, 19 Mar 2026 00:01:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47432954</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47432954</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47432954</guid></item><item><title><![CDATA[New comment by bmenrigh in "Meta’s renewed commitment to jemalloc"]]></title><description><![CDATA[
<p>Modern x86_64 has supported multiple page sizes for a long time. I'm on commodity Zen 5 hardware (9900X) with 128 GiB of RAM. Linux will still use a base page size of 4kb but also supports both 2 MiB and 1 GiB huge pages. You can pass something like `default_hugepagesz=2M hugepagesz=1G hugepages=16` to your kernel on boot to use 2 MiB pages but reserve 16 1 GiB pages for later use.<p>The nice thing about mimalloc is that there are a ton of configurable knobs available via env vars. I'm able to hand those 16 1 GiB pages to the program at launch via `MIMALLOC_RESERVE_HUGE_OS_PAGES=16`.<p>EDIT: after re-reading your comment a few times, I apologize if you already knew this (which it sounds like you did).</p>
]]></description><pubDate>Mon, 16 Mar 2026 19:25:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47403583</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47403583</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47403583</guid></item><item><title><![CDATA[New comment by bmenrigh in "Meta’s renewed commitment to jemalloc"]]></title><description><![CDATA[
<p>I recently started using Microsoft's mimalloc (via an LD_PRELOAD) to better use huge (1 GB) pages in a memory intensive program. The performance gains are significant (around 20%). It feels rather strange using an open source MS library for performance on my Linux system.<p>There needs to be more competition in the malloc space. Between various huge page sizes and transparent huge pages, there are a lot of gains to be had over what you get from a default GNU libc.</p>
]]></description><pubDate>Mon, 16 Mar 2026 18:40:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47402981</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47402981</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47402981</guid></item><item><title><![CDATA[New comment by bmenrigh in "RISC-V Is Sloooow"]]></title><description><![CDATA[
<p>Yeah I don’t get it. Shifts and rolls are among the simplest of all instructions to implement because they can be done with just wires, zero gates. Hard to imagine a justification for leaving them out.</p>
]]></description><pubDate>Wed, 11 Mar 2026 03:16:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47331382</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47331382</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47331382</guid></item><item><title><![CDATA[New comment by bmenrigh in "130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?"]]></title><description><![CDATA[
<p>My main skepticism here is whether the theorems have been properly replicated in the proof. Verifying that the proof really captured the mathematical statement seems like a manual, human process, and quite hard to repeat reliably across proofs.</p>
]]></description><pubDate>Wed, 04 Mar 2026 03:31:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=47242687</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47242687</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47242687</guid></item><item><title><![CDATA[New comment by bmenrigh in "Lenovo’s new ThinkPads score 10/10 for repairability"]]></title><description><![CDATA[
<p>Yeah I learning about LPCAMM2 memory was far more interesting than the repairability score.</p>
]]></description><pubDate>Wed, 04 Mar 2026 03:04:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47242476</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47242476</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47242476</guid></item><item><title><![CDATA[New comment by bmenrigh in "I audited the privacy of popular free dev tools, the results are terrifying"]]></title><description><![CDATA[
<p>Oh completely. But my perspective is that we all should individually punish clickbait by not clicking. More broadly, we should strive to keep HN full of quality tech content rather than clickbait.</p>
]]></description><pubDate>Tue, 03 Mar 2026 22:31:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47240035</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47240035</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47240035</guid></item><item><title><![CDATA[New comment by bmenrigh in "I audited the privacy of popular free dev tools, the results are terrifying"]]></title><description><![CDATA[
<p>"better", "more accessible"? What the hell are you talking about? Clickbait doesn't make anything better or more accessible.<p>Instead, it makes it impossible to pre-select for interesting information. Instead of telling you what something is about, it tells you how you should feel about it. That's not improving accessibility.</p>
]]></description><pubDate>Tue, 03 Mar 2026 20:49:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47238766</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47238766</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47238766</guid></item><item><title><![CDATA[New comment by bmenrigh in "I audited the privacy of popular free dev tools, the results are terrifying"]]></title><description><![CDATA[
<p>Can we stop it with "and the results are terrifying", "and you won't believe what I found", "the <x> situation is insane", etc.? The over-hyping of low quality, low effort content is making it hard to find actually interesting or informative things.</p>
]]></description><pubDate>Tue, 03 Mar 2026 20:29:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=47238496</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47238496</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47238496</guid></item><item><title><![CDATA[New comment by bmenrigh in "Intel's make-or-break 18A process node debuts for data center with 288-core Xeon"]]></title><description><![CDATA[
<p>I love the AVX512 support in Zen 5 but the lack of Valgrind support for many of the AVX512 instructions frustrates me almost daily. I have to maintain a separate environment for compiling and testing because of it.</p>
]]></description><pubDate>Tue, 03 Mar 2026 20:05:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47238156</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47238156</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47238156</guid></item><item><title><![CDATA[New comment by bmenrigh in "Running My Own XMPP Server"]]></title><description><![CDATA[
<p>I should add that I have a group of friends that only chat on "C", for C in:<p>* SMS
* Apple iMessage
* Email
* IRC
* Facebook Messenger
* Telegram
* Slack
* Webex Teams
* Discord
* Twitter (DMs)
* Signal
* Whatsapp
* A particular PHPBB web forum<p>Instead of being on top of all of these, I mostly neglect all of them, and then friends complain that they haven't been able to get a hold of me for 6 months.<p>XMPP was my own "solution" to this problem, which nobody else used.</p>
]]></description><pubDate>Mon, 16 Feb 2026 21:33:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=47040616</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47040616</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47040616</guid></item><item><title><![CDATA[New comment by bmenrigh in "Running My Own XMPP Server"]]></title><description><![CDATA[
<p>I ran my own XMPP server for about 15 years. Then 10(?) years ago Google's GChat migrated away from XMPP. I never had another XMPP conversation with anyone from that point on. I finally turned the XMMP daemon off off about 2 years ago to reduce my attack surface.</p>
]]></description><pubDate>Mon, 16 Feb 2026 21:16:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=47040436</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=47040436</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47040436</guid></item><item><title><![CDATA[New comment by bmenrigh in "An Update on Heroku"]]></title><description><![CDATA[
<p>Often "nothing is changing" ends up being more literal than the founders realize or intend. Acquisitions by big companies tend to slow the development to a crawl as development bureaucracy takes over. When a great product is practically frozen in time it stops being great in 5-15 years as the rest of the world passes them by.</p>
]]></description><pubDate>Fri, 06 Feb 2026 21:52:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46918622</link><dc:creator>bmenrigh</dc:creator><comments>https://news.ycombinator.com/item?id=46918622</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46918622</guid></item></channel></rss>