<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: vaillant</title><link>https://news.ycombinator.com/user?id=vaillant</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 07 Apr 2026 12:02:36 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=vaillant" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by vaillant in "Flameshot – Open-source screenshot software"]]></title><description><![CDATA[
<p>MacOS has pretty strong screenshot capabilities out of the box; honestly, makes me want the same for Windows.</p>
]]></description><pubDate>Wed, 12 Jun 2024 00:19:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=40653167</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=40653167</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40653167</guid></item><item><title><![CDATA[New comment by vaillant in "Run Mistral 7B on M1 Mac"]]></title><description><![CDATA[
<p>Trivial to run Mistral 7B on an M1 Macbook Air using LM Studio. Just make sure you use a quantized version.</p>
]]></description><pubDate>Sun, 17 Dec 2023 04:09:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=38670246</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=38670246</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38670246</guid></item><item><title><![CDATA[New comment by vaillant in "Mamba: Linear-Time Sequence Modeling with Selective State Spaces"]]></title><description><![CDATA[
<p>Well, this is cutting edge ML code written in PyTorch. I wouldn't worry about understanding something like this - you start with scikit-learn first.</p>
]]></description><pubDate>Mon, 04 Dec 2023 21:48:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=38523611</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=38523611</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38523611</guid></item><item><title><![CDATA[New comment by vaillant in "No, Teen Suicide Isn’t Rising Because Life Got Objectively Worse"]]></title><description><![CDATA[
<p>Surprised nobody is mentioning climate change. Young people are supposed to be contributing and centering their lives around a kind of societal structure which is increasingly seen as doomed. The constant acceleration of capital is bumping up against the material finitude of an increasingly depleted Earth.<p>Conservatives have a vision of the doomed future, built around walls and hoarding resources against impending scarcity. But liberals don't really have a good answer outside of "bring the super-rich to heel and use their resources to invest in mitigations," a view which is anathema to politicians who depend on the super-rich to continue holding power.<p>People are depressed because there doesn't seem to be a future.</p>
]]></description><pubDate>Wed, 01 Mar 2023 17:28:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=34985234</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=34985234</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34985234</guid></item><item><title><![CDATA[New comment by vaillant in "A religious sect landed Google in a lawsuit"]]></title><description><![CDATA[
<p>If you read the article, the cult's also been involved in what's arguably sex trafficking.<p>The author wasn't personally harmed in a significant way but I don't see how that's relevant.</p>
]]></description><pubDate>Thu, 16 Jun 2022 14:49:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=31766702</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=31766702</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31766702</guid></item><item><title><![CDATA[New comment by vaillant in "The physicalization of metamathematics and the implications for its foundations"]]></title><description><![CDATA[
<p>I think that identifying the ruliad with the "logos" makes sense - the idea that there's some underlying abstract shape to the universe that makes rationality possible in the first place.</p>
]]></description><pubDate>Thu, 07 Apr 2022 17:29:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=30947677</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=30947677</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=30947677</guid></item><item><title><![CDATA[New comment by vaillant in "The physicalization of metamathematics and the implications for its foundations"]]></title><description><![CDATA[
<p>> I never got the "emergent properties have special aesthetic and nearly spiritual significance" or "everything is just an <insert structure here>" cognitive confusion that so many mathematicians (especially formalists) seem to have.<p>People just like spiritual beliefs. There's a reason why a majority of human beings hold non-rational beliefs like religion or money having intrinsic value.</p>
]]></description><pubDate>Thu, 07 Apr 2022 17:23:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=30947599</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=30947599</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=30947599</guid></item><item><title><![CDATA[New comment by vaillant in "The physicalization of metamathematics and the implications for its foundations"]]></title><description><![CDATA[
<p>It's not complete bullshit, it just fails to engage with the already existing work on the subject. He's creating his own entire system instead of looking at similar work by others and fitting his theory in with those. If you don't play philosophy on their turf, philosophers won't engage with you.</p>
]]></description><pubDate>Thu, 07 Apr 2022 17:19:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=30947548</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=30947548</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=30947548</guid></item><item><title><![CDATA[New comment by vaillant in "The physicalization of metamathematics and the implications for its foundations"]]></title><description><![CDATA[
<p>> The particular thing that comes to mind repeatedly when reading this is the fact that more or less all of mathematics can be derived starting either from set theory or from logic theory.<p>I don't know if this is the actual foundation of mathematics though - we're seeing more advances in category theory, the Russell-Whitehead project of reducing mathematics to pure logic is generally considered a failure, and set theory's bogged down in issues of axioms in the wake of Cohen's proof of the indecidability of the continuum hypothesis. It's probably better to see these foundational projects as providing windows into the mathematical universe instead of being the actual substance of mathematics.<p>After all, we do mathematics without pure logic or sets all the time. Axioms are chosen for their elegance and ability to describe conceived mathematical concepts, not the other way around.</p>
]]></description><pubDate>Thu, 07 Apr 2022 17:18:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=30947532</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=30947532</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=30947532</guid></item><item><title><![CDATA[New comment by vaillant in "Chu Spaces: A Visual Introduction"]]></title><description><![CDATA[
<p>I was skeptical until I saw the applications, especially representing groups. Not entirely sure how distinct these ideas are from studying power sets or how to really think about what "color" means here.<p>It's a pretty cool abstraction. No idea how to use it but worth thinking about.</p>
]]></description><pubDate>Thu, 11 Nov 2021 07:13:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=29185292</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=29185292</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=29185292</guid></item><item><title><![CDATA[New comment by vaillant in "Apple reveals more about AirTag stalking protections"]]></title><description><![CDATA[
<p>This really feels like a losing battle - especially the part where you only get warned about being stalked by the AirTag if you have an iPhone. Having the technology to know where things are is great but we need to figure out how to account for bad actors somehow.<p>I don’t have answers but tech companies can’t create the tools that enable harm and then wash their hands of it. Good for Apple for doing _something_, points for effort.</p>
]]></description><pubDate>Fri, 30 Apr 2021 16:01:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=26995191</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=26995191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=26995191</guid></item><item><title><![CDATA[New comment by vaillant in "Louvre makes its entire collection available online"]]></title><description><![CDATA[
<p>Dang, this is going to crash the NFT market for digital images of Lourve paintings.</p>
]]></description><pubDate>Sat, 27 Mar 2021 06:53:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=26600494</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=26600494</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=26600494</guid></item><item><title><![CDATA[New comment by vaillant in "Proof of X"]]></title><description><![CDATA[
<p>A fun thought: monospaced fonts are appealing to developers because we spend a bunch of time looking at them.</p>
]]></description><pubDate>Mon, 25 Jan 2021 01:33:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=25898060</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25898060</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25898060</guid></item><item><title><![CDATA[New comment by vaillant in "Proof of X"]]></title><description><![CDATA[
<p>I'm of two minds about this sort of analysis of social capital.<p>1. It's interesting; a lot of human behavior involves presentation to other human beings, and social media platforms can definitely be seen as a medium for signalling.<p>2. It's dismal and reductive and other words that signal that I don't like it for personal reasons.</p>
]]></description><pubDate>Mon, 25 Jan 2021 01:29:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=25898040</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25898040</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25898040</guid></item><item><title><![CDATA[New comment by vaillant in "State bill would let you sue social media giants for political censorship"]]></title><description><![CDATA[
<p>It's extremely funny that politicians are trying to get laws passed to make sure that mods don't delete their posts.</p>
]]></description><pubDate>Sat, 16 Jan 2021 21:55:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=25805870</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25805870</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25805870</guid></item><item><title><![CDATA[New comment by vaillant in "Plotting Propositions – the Mathematics of Persuasion"]]></title><description><![CDATA[
<p>The idea of applying mathematics/rationalization to storytelling is interesting, but I feel like models get bogged down eventually. There's a reason why the humanities exist as a discipline - any attempt to broadly systematize storytelling (and by extension human experience) gets bogged down in epicycles.</p>
]]></description><pubDate>Tue, 12 Jan 2021 00:34:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=25740550</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25740550</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25740550</guid></item><item><title><![CDATA[New comment by vaillant in "Show HN: I made an alternative platform for professional profiles"]]></title><description><![CDATA[
<p>I was wondering about the existence of structured resume  formats, so thank you for this random piece of knowledge in a place I did not expect to find it.</p>
]]></description><pubDate>Mon, 04 Jan 2021 21:19:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=25638223</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25638223</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25638223</guid></item><item><title><![CDATA[New comment by vaillant in "Show HN: I made an alternative platform for professional profiles"]]></title><description><![CDATA[
<p>Very cool, and great use of the read.cv domain name.</p>
]]></description><pubDate>Mon, 04 Jan 2021 21:18:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=25638212</link><dc:creator>vaillant</dc:creator><comments>https://news.ycombinator.com/item?id=25638212</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25638212</guid></item></channel></rss>