<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: savq</title><link>https://news.ycombinator.com/user?id=savq</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 13 Jun 2026 03:50:08 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=savq" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by savq in "Algebraic Effects for the Rest of Us"]]></title><description><![CDATA[
<p>An effect system is an extension of a type system where a function type encodes inputs, outputs and effects.<p>The article mentions that they handwaved all the typing stuff (when you do that, effect handlers are more like delimited continuations). But the types <i>are</i> important. If a function doesn't tell you it's effects, how do you know you have to handle them? You'd have to read the whole call graph. That's why exceptions suck.</p>
]]></description><pubDate>Sun, 31 May 2026 07:02:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=48343644</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=48343644</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48343644</guid></item><item><title><![CDATA[New comment by savq in "Algebraic Effects for the Rest of Us"]]></title><description><![CDATA[
<p>Yes. dynamically scoped, and statically typed.</p>
]]></description><pubDate>Sat, 30 May 2026 09:02:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=48334179</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=48334179</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48334179</guid></item><item><title><![CDATA[New comment by savq in "RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust"]]></title><description><![CDATA[
<p>Typst does have have accessibility features.[1]<p>I don't worry too much about HTML output still being WIP. Even if TeX had a massive head start, Typst has a good development speed, and a little bit of slope makes up for a lot of y-intercept.<p>[1]: <a href="https://typst.app/docs/guides/accessibility/" rel="nofollow">https://typst.app/docs/guides/accessibility/</a></p>
]]></description><pubDate>Thu, 07 May 2026 17:34:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48052250</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=48052250</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48052250</guid></item><item><title><![CDATA[New comment by savq in "Colombia's Special Word for "You""]]></title><description><![CDATA[
<p>(Person that actually uses sumercé here.)<p>The article is reading way too much into it, and it forgets a very important piece of information:
The origin of <i>usted</i> is "vuestra merced".
Spanish had T-V distinction, like most romance languages,
but <i>usted</i> superceded <i>vos</i> as the formal 2nd person pronoun.<p><i>sumercé</i> is a word that had the same process,
just starting from "su merced" instead, since in Colombia
—like in all other latin american countries— <i>vosotros</i> is not used.<p>That's it.</p>
]]></description><pubDate>Sun, 03 Mar 2024 02:17:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=39577823</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=39577823</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39577823</guid></item><item><title><![CDATA[New comment by savq in "Homoiconic Spreadsheets: What, How and Why [video]"]]></title><description><![CDATA[
<p>He could be making that comparison, but I read the comment as "I use Julia btw", and that's what I took issue with. I wrote a comment to dismiss it and save face for Julia programmers.</p>
]]></description><pubDate>Mon, 02 Jan 2023 09:06:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=34215905</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=34215905</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34215905</guid></item><item><title><![CDATA[New comment by savq in "Homoiconic Spreadsheets: What, How and Why [video]"]]></title><description><![CDATA[
<p>Saying that is pretty out of context. It's also incorrect. Julia has runtime code generation and hygenic macros, but it's <i>not</i> homoiconic. Clearly,<p><pre><code>  x + 1
</code></pre>
is different from<p><pre><code>  Expr(:call, :+, :x, 1)</code></pre></p>
]]></description><pubDate>Mon, 02 Jan 2023 02:10:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=34213414</link><dc:creator>savq</dc:creator><comments>https://news.ycombinator.com/item?id=34213414</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34213414</guid></item></channel></rss>