<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: tel</title><link>https://news.ycombinator.com/user?id=tel</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 08 Oct 2026 18:45:38 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=tel" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by tel in "Living off-grid: Hundred Rabbits"]]></title><description><![CDATA[
<p>I feel like that’s part of their point. It’s not that they’re separating from society, they’re preparing for a future when society collapses and it’s relevant to live more off the refuse.</p>
]]></description><pubDate>Thu, 08 Oct 2026 09:47:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=50003795</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=50003795</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50003795</guid></item><item><title><![CDATA[New comment by tel in "Pi 1.0"]]></title><description><![CDATA[
<p>Probably some kind of agricultural taxation scheme from 2000 bce or so.<p>Or Fisher in the 1930s with data driven linear didcriminants.</p>
]]></description><pubDate>Fri, 02 Oct 2026 02:35:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49929320</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49929320</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49929320</guid></item><item><title><![CDATA[New comment by tel in "Seeing Circles, Sines, and Signals"]]></title><description><![CDATA[
<p>A huge amount of math unlocked the minute mathematicians started taking complex numbers seriously. Ideally they would be an earlier discovery, I agree!</p>
]]></description><pubDate>Sun, 20 Sep 2026 09:40:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49774178</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49774178</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49774178</guid></item><item><title><![CDATA[New comment by tel in "Specifications Don't Exist (2025)"]]></title><description><![CDATA[
<p>I've been spending the last couple months working on a Markdown-like lightweight document format. (Short pitch, it's like Markdown but with natural extension points built in and far less subtlety).<p>A huge part of my goal is to write a "spec" of the format. I want it to be good enough that users can legitimately file bugs against my primary implementation for not following the spec: it is the source of truth about the language.<p>So, of course, I find it really interesting to discuss the grey space of "shrug, maybe this is correct". This whole process has been driving me to (a) make the language itself resilient and permissive so that it has _some_ answer for nearly all documents and (b) to constrain the output of the system such that it throws away as much information as possible, enabling us to make claims about semantics more confidently.<p>I don't know if I'm going to succeed at all my goals. This is sort of a small project and definitely far simpler than, say, a web browser. At the same time, it's very hard to narrow in on what it is, really, that I want such a spec to say.</p>
]]></description><pubDate>Wed, 02 Sep 2026 00:08:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49530078</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49530078</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49530078</guid></item><item><title><![CDATA[New comment by tel in "A new ceiling for Λ: the de Bruijn–Newman constant"]]></title><description><![CDATA[
<p>To be fair, that wasn’t my issue. I don’t find it annoying. I find it misleading and nigh fraudulent.</p>
]]></description><pubDate>Thu, 27 Aug 2026 16:22:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49467331</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49467331</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49467331</guid></item><item><title><![CDATA[New comment by tel in "A new ceiling for Λ: the de Bruijn–Newman constant"]]></title><description><![CDATA[
<p>I think it’s because it’s reasonable to believe that the human author had no meaningful contribution. If he’d written “by Claude with direction from me” then I’d feel more comfortable. If he’d hand written in his own voice a methods section that laid out exactly how he prompted the LLM then I’d have no trouble digesting.<p>But to take ownership over words and thought in this way reads as nearly fraudulent to me.</p>
]]></description><pubDate>Thu, 27 Aug 2026 16:20:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=49467296</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49467296</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49467296</guid></item><item><title><![CDATA[New comment by tel in "Show HN: The load-bearing vocabulary of Claude"]]></title><description><![CDATA[
<p>I think the point was that Claude’s output can be somewhat easily and compellingly measured using this technique and its kind of massive (and human attributed).</p>
]]></description><pubDate>Thu, 27 Aug 2026 16:17:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=49467252</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49467252</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49467252</guid></item><item><title><![CDATA[New comment by tel in "A new ceiling for Λ: the de Bruijn–Newman constant"]]></title><description><![CDATA[
<p>I appreciate the connection to artists guiding their teams. I think that's a good analogy.<p>At the same time, when Koons or Chihuly or Cummins sign their work I do have that expectation that they guided the piece in a meaningful and material way <i>or</i> that the people who built it did it in such a way that owes lineage and authorization to the style Koons/Chihuly/Cummins developed. If I asked one of them about their work and it was clear that they had become so disconnected from it that they couldn't be seen as the authority on it, that they'd delegated that away, then I'd also feel them signing it had a mark of dishonesty about it.<p>To that end, I genuinely don't know Mr. Gomila's engagement here. Worse, it, to my ear, very clearly is written in a style that's extremely reminiscent of LLMs. In that way, it directly invokes that feeling of inauthenticity when he claims authorship.<p>This reminds me of academic writing there there's sometimes a convention in author lists that the first author(s) did more of the work and the last author(s) were the PIs and guides. This anchors the work amidst all the authors, at least loosely. I understand that if I want to ask a question about the details of the procedure I can reach out to the first author and if I'm trying to understand the larger research objectives of the lab I can investigate the last author.<p>Personally, I think I'd feel more comfortable with this piece if it were attributed in that style.<p>Or, again, if this is genuinely work done in the majority by Mr. Gomila and the writing feels LLM-derived for some other reason then it's merely an unfortunate side-effect of this writing register.</p>
]]></description><pubDate>Wed, 26 Aug 2026 00:11:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=49442522</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49442522</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49442522</guid></item><item><title><![CDATA[New comment by tel in "A new ceiling for Λ: the de Bruijn–Newman constant"]]></title><description><![CDATA[
<p>I'm not able to judge this for content, but it feels frustrating to read something so obviously Claude-authored as being written "by" Jude Gomila. It's interesting to see the (presumed correct) reduction in this bound and this presentation is pretty compelling. I learned a bit about the Polymath 15 project from this post and I enjoyed that a lot.<p>That said, I have no idea what contribution may have been done by Mr. Gomila or not. I don't know if I can ask him for more details. Even if he wrote the whole thing (and either has deeply internalized Claude's voice or had it edited and rewritten by an agent) it's difficult to believe that he's the sort of expert I'd expect of someone who had actually done all this work.<p>This is basically the same feeling I have about vibe code contributors.</p>
]]></description><pubDate>Tue, 25 Aug 2026 20:22:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=49440078</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49440078</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49440078</guid></item><item><title><![CDATA[New comment by tel in "What sort of maths are LLMs good at?"]]></title><description><![CDATA[
<p>Increasingly, I've begun to think of LLMs as sources of really interesting random objects: large pieces of "reasonable thinking" conditioned on a task. It's not that these are correct, in general, but instead they're a concentrated form of random search where that "randomness" is very likely to follow plausible, human patterns.<p>You can toss it at a task with a suitable machine for transforming that raw material into action and it'll rattle through and sample "plausible human behavior" at that endpoint.<p>There are more clever ways to use it, but a general tool here is to upgrade any sort of stochastic search to use this new form of random sampling. It'll be way more efficient, properly conditioned, because it just won't visit implausible things nearly as often as competing random sources.</p>
]]></description><pubDate>Wed, 12 Aug 2026 12:30:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=49271375</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49271375</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49271375</guid></item><item><title><![CDATA[New comment by tel in "Ask HN: What are you working on? (August 2026)"]]></title><description><![CDATA[
<p>In short, simplify the design to make it more reasonable for multiple implementations to agree while also adding intentional extensibility points and a governance model that allows for dialects to form without fracturing the community.<p>Markdown is really interesting. For most readers and most writers it's dead simple and you just get the idea from a few examples or reading a short description. In practice, it's dozens of dialects (though 3 related ones dominate) and dozens more implementations. It's hard to write new, compatible implementations, so they tend to fracture.<p>(This may be less true with LLMs nowadays, but it might also be worse.)<p>Often, someone wants to write a Markdown variant because they wish it supported some new extension to help it mesh with the use case and tool they are envisioning. Each one of these is a new fracture.<p>My goal is a simple specification that's easy to reimplement that eliminates years of cruft and subtle complexity. I'm designing it to be simple and obvious to extend and building a governance model so that extensions can live together, grow, maybe even become mainstream all without ever breaking compatibility.</p>
]]></description><pubDate>Mon, 10 Aug 2026 18:46:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49247930</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49247930</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49247930</guid></item><item><title><![CDATA[New comment by tel in "Ask HN: What are you working on? (August 2026)"]]></title><description><![CDATA[
<p>I'm working on an improved Markdown that offers a simplified language, clear hooks for extensibility, and a governance model to let it grow over time.</p>
]]></description><pubDate>Sun, 09 Aug 2026 18:09:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49233881</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49233881</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49233881</guid></item><item><title><![CDATA[New comment by tel in "Introduction to Formal Verification with Lean Part 1"]]></title><description><![CDATA[
<p>An assert statement requires that you specifically come up with a test case. Lean lets you verify <i>for all possible cases</i>. Infinity is not a problem.<p>It's similar to a type system in that regard. The same difference could be applied there (comparing a Python type assert). Types, however, generally only cover checks similar to "the shape of the data is X".<p>Lean is different in that its language for expressing properties is wide enough to express anything you can imagine. The bottleneck becomes accurately stating properties you'd like to enforce and, subsequently, discovering proofs of whether or not they're true.</p>
]]></description><pubDate>Wed, 22 Jul 2026 15:02:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49007921</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=49007921</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49007921</guid></item><item><title><![CDATA[New comment by tel in "My thoughts on the Bun Rust rewrite"]]></title><description><![CDATA[
<p>Without having any opinion on whether or not the Bun team was meaningfully fuzzing their codebase... Andrew's claim was not about whether or not they were, it was noting that the story was different between what they claimed in conversation and what they stated in this article.</p>
]]></description><pubDate>Thu, 09 Jul 2026 14:04:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=48846075</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=48846075</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48846075</guid></item><item><title><![CDATA[New comment by tel in "My thoughts on the Bun Rust rewrite"]]></title><description><![CDATA[
<p>It's also a language of distancing from personal experience and honesty.<p>Not saying you're wrong. Professionalism is an important tool for maintaining professional relationships. Lack of professionalism is dangerous to the point where it is reasonable for certain kinds of societies to begin to shun people who don't engage with it.<p>And, at the same time, a certain amount of emotional honesty can be really important to share, too. And that includes some amount of judgement and criticism.<p>It sounds like Zig's relationship with Bun is over. While Anthropic/Jason/Bun did not write a personal narrative about the end of that relationship, they absolutely were the initiators and could not have done this in a more aggressive way. It feels to me to be approximately the equivalent of moving out in secret and serving the divorce documents through your lawyer.</p>
]]></description><pubDate>Thu, 09 Jul 2026 13:59:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48845970</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=48845970</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48845970</guid></item><item><title><![CDATA[New comment by tel in "There Is(Ǝ) – Such That (∋)"]]></title><description><![CDATA[
<p>I think you've got it. You go in each day and work on things and talk with people working on things. There are multiple opportunities to share weekly, one or two are pretty regular and the rest are self-organized. Maybe you learn about something new and dive in, maybe you come up with a project and share it with others.<p>I think the beating heart is that everyone is there with some passion to learn and build and you're encouraged to do so collaboratively. It's surprising, I feel, how rare it is to have a community of folks who are all learning together and not afraid to dive in and figure things out. Recurse Center is a chance to spend 6 or 12 weeks building and then living in a place like that.</p>
]]></description><pubDate>Mon, 15 Jun 2026 19:00:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48545575</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=48545575</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48545575</guid></item><item><title><![CDATA[New comment by tel in "Ask HN: What are you working on? (June 2026)"]]></title><description><![CDATA[
<p>I'm working on an easy-to-embed typed language called Ekto. I am taking a lot of inspiration from Koka and aiming to support full multi-shot delimited continuations all while keeping the virtual machine deeply predictable from the host side.<p>I'm also rebuilding an integrated task/knowledge/publication system I'd previously built atop Gemini's Gemtext format. While I loved the simplicity, I've discovered that there are lots of burrs in that design, especially on the publication side, which I'd be able to lift by using a more fully featured document format like Djot.</p>
]]></description><pubDate>Sun, 14 Jun 2026 19:29:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=48531643</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=48531643</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48531643</guid></item><item><title><![CDATA[New comment by tel in "Grok 4.3"]]></title><description><![CDATA[
<p>I was asking questions about compiler techniques. Then when I got annoyed I started asking about experimental design. Both were very frustrating experiences once I started realizing how limited its responses were.<p>Though yeah the edgelord-y style faded after I criticized it a couple times.</p>
]]></description><pubDate>Fri, 01 May 2026 22:53:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=47981436</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=47981436</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47981436</guid></item><item><title><![CDATA[New comment by tel in "Grok 4.3"]]></title><description><![CDATA[
<p>All my usage of Grok for technical topics shows it regularly deeply misunderstanding things and just parroting back my question in fancy language. It’s the only frontier model I get this impression of. That makes it super annoying when it tries to market itself as good at engineering tasks when it seems (to me) to be much worse at them.</p>
]]></description><pubDate>Fri, 01 May 2026 18:04:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47977958</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=47977958</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47977958</guid></item><item><title><![CDATA[New comment by tel in "Gaussian Splatting – A$AP Rocky "Helicopter" music video"]]></title><description><![CDATA[
<p>I think, yes, with greater splat density—and, critically, more and better inputs to train on, others have stated that these performances were captured with 56 RealSense D455fs—then splats will more accurately estimate light at more angles and distances. I think it's likely that during capture they had to make some choices about lighting and bake those in, so you might still run into issues matching lighting to your shots, but still.<p><a href="https://www.realsenseai.com/products/real-sense-depth-camera-d455f/" rel="nofollow">https://www.realsenseai.com/products/real-sense-depth-camera...</a><p>That said, I don't think splats:voxels as pixels:vector graphics. Maybe a closer analogy would be pixels:vectors is the same as voxels:3d mesh modeling. You might imagine a sophisticated animated character being created and then animated using motion capture techniques.<p>But notice where these things fall apart, too. SVG shines when it's not just estimating the true form, but literally is it (fonts, simplified graphics made from simple strokes). If you try to estimate a photo using SVG it tends to get messy. Similar problems arise when reconstructing a 3d mesh from real-world data.<p>I agree that splats are a bit like pixels, though. They're samples of color and light in 3d (2d) space. They represent the source more faithfully when they're more densely sampled.<p>The difference is that a splat is sampled irregularly, just where it's needed within the scene. That makes it more efficient at representing most useful 3d scenes (i.e., ones where there are a few subjects and objects in mostly empty space). It just uses data where that data has an impact.</p>
]]></description><pubDate>Mon, 19 Jan 2026 11:25:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=46677754</link><dc:creator>tel</dc:creator><comments>https://news.ycombinator.com/item?id=46677754</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46677754</guid></item></channel></rss>