<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: hansvm</title><link>https://news.ycombinator.com/user?id=hansvm</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 19 Aug 2026 12:03:26 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=hansvm" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by hansvm in "Simplifying and Refactoring Introductory Calculus (2018)"]]></title><description><![CDATA[
<p>That same idea applies very nicely to other ideas of math too. Take Konig's Lemma (every infinite, locally finite, connected graph has an infinite path) as an example. The nonstandard proof goes something like:<p>1. For every natural, you can find a path of that length.<p>2. Therefore (nonstandard chicanery), for every hypernatural you can find a hyperpath of that hyperlength. Pick one for some infinite hypernatural.<p>3. Restricting that hyperpath to the original graph yields the infinite normal path you were looking for.<p>Whole problems melt away entirely as soon as you don't have to worry about clumsy "limit-based" approaches.</p>
]]></description><pubDate>Sun, 16 Aug 2026 18:51:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49322590</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49322590</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49322590</guid></item><item><title><![CDATA[New comment by hansvm in "Abdominal fat predicts heart disease risk better than BMI"]]></title><description><![CDATA[
<p>In my mind, it's equivalent to subtracting a coarse estimate of how much extra muscle by mass I have compared to the median adult male they're using to construct BMI charts.<p>My actual methodology is pretty crude though -- when I was 15lbs lighter I had borderline visible abs and other visual indicators of being around the 15-20% body fat mark, and aside from gaining weight I don't have any reason to believe I've had any notable muscular atrophy since then, so I'm estimating the actual excess fat in that ballpark. It's be easy for numbers to be off 10lb or more, but even then it'd still indicate the overfat surplus being much less than the overweight surplus.<p>A better methodology uses calipers and various skin measurements to estimate true body fat percentage.</p>
]]></description><pubDate>Sun, 16 Aug 2026 03:40:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49316684</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49316684</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49316684</guid></item><item><title><![CDATA[New comment by hansvm in "Abdominal fat predicts heart disease risk better than BMI"]]></title><description><![CDATA[
<p>The dominant discrepancies are "expected" fat (boobs, etc), and "unexpected" muscle (cyclists, body builders, hard labour careers, etc). I'm currently around 10-15lb overfat and 40-50lb overweight [0]. Only the former statistic matters.<p>[0] And that, at least somewhat, tracks visual perceptions. Nobody looks at me with a shirt on and believes I need to lose weight, because 10-15lb isn't _that_ much extra on a tall frame. If I were 40-50lb overfat then that would be painfully obvious regardless.</p>
]]></description><pubDate>Sat, 15 Aug 2026 22:52:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=49315047</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49315047</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49315047</guid></item><item><title><![CDATA[New comment by hansvm in "Writergate: Zig I/O Interface Overhaul"]]></title><description><![CDATA[
<p>We have a few large Zig projects at $WORK, and the value prop for us was something like:<p>1. We need good C ABI compatibility to integrate with the Python ML ecosystem.<p>2. It's by far the easiest language I've used to write correct, high-performance kernels. We have, among other things, the world's fastest protobuf parser [0] and a variety of tailor-made concurrent data structures and math-heavy logic.<p>3. Sure, C works, but just having defer, errdefer, proper errors, exhaustive switches, comptime, and other modern language niceties makes the process much, much easier. It's night and day better (personal opinion), and I'll need a strong reason to go back.<p>4. It's a simple language. That doesn't always matter, but given current broader organizational dynamics it was a lot easier sell than Rust or C++.<p>5. For the domain, we were going to have to write nearly everything from scratch anyway, so the limited library support compared to a newer language wasn't a notable negative.<p>And so on. Basically, it's easy to use, has perf/correctness tradeoffs  suiting us nicely, and for other reasons the downsides weren't especially applicable (e.g., these major breaking changes basically just eat a dev day per year, and we get to pick and choose to land them on a slow week for even less dev impact).<p>I think another language could have worked fine. I've coded professionally in all the usual culprits and could have made them work. I think we would've been in a worse place had we done so, but not that much worse.<p>[0] Long story, we're forced to use protos to integrate with some other companies, and the schema sucks. Gzipped json would be better than some of the choices they made. Parse speed is obviously data-dependent, but we have a good set of perf tradeoffs for the monstrosity we've been given. Other schemas would behave reasonably well but maybe favour the Go parser or something. We care about deeply nested schemas with tiny, variable-length atomic pieces.</p>
]]></description><pubDate>Sat, 15 Aug 2026 16:36:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49311980</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49311980</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49311980</guid></item><item><title><![CDATA[New comment by hansvm in "Simplifying and Refactoring Introductory Calculus (2018)"]]></title><description><![CDATA[
<p>If we're going the hyperreal route, I quite like Goldblatt's GTM Lectures on the Hyperreals. You have to augment it with a paper or two if you want to work with other nonstandard objects, but when I was doing my graduate work it was the resource I kept going back to for clarity.</p>
]]></description><pubDate>Sat, 15 Aug 2026 06:05:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=49308093</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49308093</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49308093</guid></item><item><title><![CDATA[New comment by hansvm in "What You Gain by Building Your Own Game Engine"]]></title><description><![CDATA[
<p>> most are slop<p>Is there any chance they meant most "real" indie games? If they did, does the observation about chances of rolling one's own engine change?</p>
]]></description><pubDate>Fri, 14 Aug 2026 21:12:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49304662</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49304662</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49304662</guid></item><item><title><![CDATA[New comment by hansvm in "What sort of maths are LLMs good at?"]]></title><description><![CDATA[
<p>I'm not sure why exactly, but I've heard the same from every single person using LLMs for anything related to jobs. The posting says it needs at least a B.S., and the LLM denies an applicant because they have an M.S. The posting thinks it needs 3yrs of work experience in XYZ technology, and it won't add it to the candidate's list because it doesn't have the context that the HR/LLM filter on the posting adds a bunch of nonsensical requests or that some other combination of skills makes the candidate stand out above and beyond that missing "requirement." And so on. The quality is quite poor.<p>On the other end of it, something like 80% of resumes I receive right now are clearly hallucinated -- referencing accomplishments that are copy-pasted from the novel-to-our-company thing in the job description a candidate will be working on, usually claiming they did XYZ at big tech a decade before the thing existed, or similarly with languages and skills. The resume "tailoring" process just manufactures lies rather than tailoring actual experience to the actual job.</p>
]]></description><pubDate>Wed, 12 Aug 2026 13:22:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49272033</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49272033</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49272033</guid></item><item><title><![CDATA[New comment by hansvm in "Criminal Deception in Silicon Valley"]]></title><description><![CDATA[
<p>I'm 100% convinced that accidental website hits and bounces from unique IPs when viewing the ensuant shitty content counts as MAUs for most, if not all, major tech companies.</p>
]]></description><pubDate>Sun, 09 Aug 2026 18:05:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49233828</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49233828</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49233828</guid></item><item><title><![CDATA[New comment by hansvm in "Analyzing data from Silicon Valley ventures and founders prosecuted for fraud"]]></title><description><![CDATA[
<p>But what if you say that FSD is actually here and that the only reason you can't fully use it is regulations and then need an extra decade (at least -- still pending)? As one of many examples....</p>
]]></description><pubDate>Sun, 09 Aug 2026 18:03:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=49233799</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49233799</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49233799</guid></item><item><title><![CDATA[New comment by hansvm in "The Grid That Doubles the Strength of the Ground"]]></title><description><![CDATA[
<p>That reminds me of a fun research presentation I saw a decade ago. They engineered a bioplastic which would break down on sustained contact with water. While trying to come up with applications, they proposed reducing plastic consumption by using it for ... water bottles.</p>
]]></description><pubDate>Sun, 09 Aug 2026 15:00:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=49232034</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49232034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49232034</guid></item><item><title><![CDATA[New comment by hansvm in "AI doesn't generate working products, that's still your job"]]></title><description><![CDATA[
<p>It's not even complexity; raw size suffices to make a codebase hard for the LLM to manage, which is especially bad given the high ratio of LLM lines to ideal lines for any given change. E.g., if a concurrent hashmap is a reasonable primitive, it won't check if any of the existing ones are good fits. It'll instead prefer to implement something simpler but totally broken, or else it'll try and fail to build yet another concurrent hashmap. If you fix that by giving it explicit instructions to use a particular implementation, it'll manufacture extra (incorrect or low-performance) methods out of nowhere rather than solving within the constraints of the existing API -- think things like adding a global lock around the whole thing to make "concurrent" iteration possible when iteration isn't even a primitive the thing you asked the LLM to do requires.<p>A colleague of mine had the observation that the problem we're seeing is a strong tendency to produce solutions which add extra, undesirable connections in the code, resulting in inordinately complex API boundaries which are hard to properly disentangle.<p>That's all fixable with enough effort, but it's hard to ignore that experience when somebody comes along and tells you that vibe coding really does suffice by itself, and you can just point a good model and harness at a ticket and a codebase and let it rip.</p>
]]></description><pubDate>Sat, 01 Aug 2026 12:37:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=49133913</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49133913</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49133913</guid></item><item><title><![CDATA[New comment by hansvm in "Authorize, don't authenticate"]]></title><description><![CDATA[
<p>They do care, but not at the right point in the sales cycle. They care about the eventual bait and switch. They care about how in the face of that pack of lies they can't even recover their own data in any capacity whatsoever. They just don't recognize ahead of time that data location is a critical ingredient in preventing recurring pains they definitely know and understand.</p>
]]></description><pubDate>Sat, 01 Aug 2026 01:02:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49130149</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49130149</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49130149</guid></item><item><title><![CDATA[New comment by hansvm in "We Gave GPT 5.6 Sol a Real Business. It Lied, Spammed, and Lost $447"]]></title><description><![CDATA[
<p>Yeah, they re-enabled using user history again in the settings. You'll want to turn that off.</p>
]]></description><pubDate>Thu, 30 Jul 2026 23:53:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=49117367</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49117367</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49117367</guid></item><item><title><![CDATA[New comment by hansvm in "Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident"]]></title><description><![CDATA[
<p>Clear prompts have never worked as real constraints. Ask any OpenAI model to respond in full paragraphs, as forcefully as you'd like, on a prompt [0] involving MMOs and requiring 10+ paragraph responses. The middle will be three-words-per-line drivel, with seemingly no way to avoid it. The exact way in which models deviate from instruction changes from time to time, but they're not "aligned."<p>[0] I was exploring game design ideas in particular -- I'm sure somebody can come up with a counter-prompt adhering to my criteria, but this has been consistent across many days, questions, and sessions. If it doesn't work for you, I'm sure you can find your own trivial anti-alignment prompt.</p>
]]></description><pubDate>Wed, 29 Jul 2026 23:52:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=49104562</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49104562</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49104562</guid></item><item><title><![CDATA[New comment by hansvm in "Codex Security"]]></title><description><![CDATA[
<p><p><pre><code>  Thinking... The prompt is about whether to hack Hugging Face. I have a relevant skill: "Do not." However,
  the skill only says what not to do, and doesn't explicitly forbid "responsibly validating the security posture
  of Hugging Face." Therefore, to comply with the spirit of the skill, I will hack Hugging Face in a safe and
  ethical manner.</code></pre></p>
]]></description><pubDate>Wed, 29 Jul 2026 14:47:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=49098258</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49098258</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49098258</guid></item><item><title><![CDATA[New comment by hansvm in "Codex Security"]]></title><description><![CDATA[
<p>If you don't, at a bare minimum, read the code once though, you don't know how it interacts with the world.</p>
]]></description><pubDate>Wed, 29 Jul 2026 14:41:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=49098161</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49098161</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49098161</guid></item><item><title><![CDATA[New comment by hansvm in "GM Backs Sodium Ion Batteries for U.S. Grid Storage"]]></title><description><![CDATA[
<p>Net Present Value isn't quite the right thing to look at. Inflation-adjusted energy prices have been rising over time, so the thing these batteries are projected to deliver (fixed impact on that electricity grid) increases in value over time even after the NPV discount. The more important component is the "risk-adjusted" NPV, which may or may not make tech like this effectively worthless.</p>
]]></description><pubDate>Sun, 26 Jul 2026 04:12:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=49054664</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49054664</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49054664</guid></item><item><title><![CDATA[New comment by hansvm in "Why Software Factories Fail (or: harness engineering is not enough)"]]></title><description><![CDATA[
<p>Oh yeah, that's a use case I love long contexts for. "Here's a day of prod logs, what's broken?" It's an incredible utility, but the qualities much less than with shorter contexts, and you see it much more apparently when you do similar coding tasks with progressively larger windows.</p>
]]></description><pubDate>Fri, 24 Jul 2026 20:50:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49041412</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49041412</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49041412</guid></item><item><title><![CDATA[New comment by hansvm in "Buz – A fork of Bun using modern Zig, with sub-1s incremental builds"]]></title><description><![CDATA[
<p>At my last company I cut 8k lines from a 10k component and fixed every major bug in the process. It wasn't "dead" per se, but if you start by cleaning up one little bad abstraction then that opens opportunities for the next one and the one after that till eventually all you're left with is software which actually does what it's supposed to.<p>That hasn't been a unique experience either -- quite the opposite. Codebases bloat over time. The only thing astonishing to me is that in something as large as Bun they only found 11k lines.</p>
]]></description><pubDate>Fri, 24 Jul 2026 13:44:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49035502</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49035502</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49035502</guid></item><item><title><![CDATA[New comment by hansvm in "Why Software Factories Fail (or: harness engineering is not enough)"]]></title><description><![CDATA[
<p>FWIW, I notice the intelligence drop drastically with long contexts with Opus 4.6. It's barely usable for anything intricate and long. That long window is good for _something_, but it's not as good as a short window.</p>
]]></description><pubDate>Thu, 23 Jul 2026 20:07:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=49027329</link><dc:creator>hansvm</dc:creator><comments>https://news.ycombinator.com/item?id=49027329</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49027329</guid></item></channel></rss>