<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: rauljara</title><link>https://news.ycombinator.com/user?id=rauljara</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 18 Apr 2026 12:38:42 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=rauljara" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by rauljara in "Type Theory and Functional Programming (1999) [pdf]"]]></title><description><![CDATA[
<p>This is true, in that most of the scholarship builds up its proofs starting with the lambda calculus. But there are so many paradigms (Turing machines, SKI combinators, excel spreadsheets) that are equivalent that I’m not at all convinced they <i>had</i> to start with lambda calculus. They just happened to.<p>Out in the real world, the thing that all programming languages are actually built on top of looks much more like a Turing machine than a collection of composed anonymous functions. But of course if you want to make your programs go really fast, you can’t treat them like Turing machines either. You need to acknowledge that all of this theory goes out the window in the face of how important optimizing around memory access is.<p>Which isn’t to say one perspective is right and one is wrong. These perspective all exist and have spread because they can all be useful. But acting like one of them is “reality” isn’t all that helpful.<p>Ps. Not that the parent actually said the formal perspective was reality. I just wanted to articulate this thought I had bouncing around in my head for a while.</p>
]]></description><pubDate>Wed, 01 Oct 2025 11:51:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=45436644</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=45436644</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45436644</guid></item><item><title><![CDATA[New comment by rauljara in "The Gold Card"]]></title><description><![CDATA[
<p>“Sec. 2.  The Gold Card.  (a)  The Secretary of Commerce, in coordination with the Secretary of State and the Secretary of Homeland Security, shall establish a “Gold Card” program authorizing an alien who makes an unrestricted gift to the Department of Commerce under 15 U.S.C. 1522 (or for whom a corporation or similar entity makes such a gift) to establish eligibility for an immigrant visa using an expedited process, to the extent consistent with law and public safety and national security concerns.  The requisite gift amount shall be $1 million for an individual donating on his or her own behalf and $2 million for a corporation or similar entity donating on behalf of an individual”<p>Calling it a “gift” somehow manages to add an extra level of ick in my mind.</p>
]]></description><pubDate>Sat, 20 Sep 2025 12:18:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=45312700</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=45312700</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45312700</guid></item><item><title><![CDATA[New comment by rauljara in "LLMs aren't world models"]]></title><description><![CDATA[
<p>Thank you for sharing, and sorry you had to go through that. I had a good friend go through a psychotic break and I spent a long time trying to understand what was going on in his brain. The only solid conclusion I could come to was that I could not relate to what he was going through, but that didn’t change that he was obviously suffering and needed whatever support I could offer. Thanks for giving me a little bit of insight into his brain. Hope you were/are able to find support out there.</p>
]]></description><pubDate>Wed, 13 Aug 2025 09:28:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=44886320</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=44886320</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44886320</guid></item><item><title><![CDATA[New comment by rauljara in "OxCaml - a set of extensions to the OCaml programming language."]]></title><description><![CDATA[
<p>GC compactions were indeed a problem for a number of systems.  The trading systems in general had a policy of not allocating after startup.  JS has a library, called "Zero" that provides a host of non-allocating ways of doing things.</p>
]]></description><pubDate>Fri, 13 Jun 2025 16:07:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=44269790</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=44269790</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44269790</guid></item><item><title><![CDATA[New comment by rauljara in "Bird-inspired drone uses legs to walk and jump into the air"]]></title><description><![CDATA[
<p>Would love to see a pterosaur / bat version of this drone. Birds use one set of muscles to jump in the air and another to flap their wings, limiting how big they can get.  That’s because, if you make your wing muscles bigger, then you need bigger leg muscles to support them, then you need bigger wing muscles to support your legs, etc.  pterosaurs and bats have tiny little legs and use their “arm” (wing) muscles to do the initial jump into the air. It’s just one set of muscles that are used for both functions, which is why pterosaurs were able to get so big. It does beg the question, tho, why we haven’t seen any truly giant bats.<p>This pbs aeons video has a great explanation: <a href="https://youtu.be/scAp-fncp64?si=hjeWKGBI7riyjE1M" rel="nofollow">https://youtu.be/scAp-fncp64?si=hjeWKGBI7riyjE1M</a></p>
]]></description><pubDate>Fri, 10 Jan 2025 11:00:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=42654597</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=42654597</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42654597</guid></item><item><title><![CDATA[New comment by rauljara in "That's not an abstraction, that's a layer of indirection"]]></title><description><![CDATA[
<p>I wish articles like this had more examples in them. In between “this thin wrapper adds no value but a lot of complexity”, and “this thin wrapper clarified the interface and demonstrably saved loads of work last time requirements changed” is an awful lot of grey area and nuance.<p>I did like the advice that if you peak under the abstraction a lot, it’s probably a bad one, tho even this I feel could use some nuance. I think if you need to change things in lots of places that’s a sign of a bad abstraction. If there is some tricky bit of complexity with changing requirements, you might find yourself “peeking under the hood” a lot. How could it be otherwise? But if you find yourself only debugging the one piece of code that handles the trickiness, and building up an isolated test for that bit of code, well, that sounds like you built a wonderful abstraction despite it being peaked at quite a bit.</p>
]]></description><pubDate>Sat, 28 Dec 2024 14:46:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=42531370</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=42531370</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42531370</guid></item><item><title><![CDATA[New comment by rauljara in "LHC experiments at CERN observe quantum entanglement at the highest energy yet"]]></title><description><![CDATA[
<p>The entangled particles don’t have any sort of an effect on the other. Changing one doesn’t change the other. You can think of it like the two particles were always a pair and you just didn’t know which particle was the left one and which was the right. By measuring one, you know what the other one “has always” been.<p>The “has always” is in quotes because it’s a useful lie. You kind of need to really understand the double slit experiment to get quantum fields, superpositions, and how that related to entanglement. Took me years and years of occasional YouTube physics videos before it finally clicked. But if entanglement still doesn’t make sense, I’d start by trying to understand the double slit experiment. It sounds way less awesome than entanglement, but it isn’t really. Double slit is in fact awesome and just as weird. Entanglement is way less cool than it sounds, and no, not actually a way of cheating the speed of light limit for information transmission.</p>
]]></description><pubDate>Sun, 22 Sep 2024 13:24:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=41616901</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=41616901</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41616901</guid></item><item><title><![CDATA[New comment by rauljara in "Practising Programming (2022)"]]></title><description><![CDATA[
<p>A huge +1 for automating all the things as a form of practice!  I don’t even think that you have to (strictly speaking) end up saving time on a particular task for a lot of automation to be worth it. The act of practicing automation makes you more efficient at future automation.  Even a failed attempt at automating something can teach you stuff about why certain things are hard to automate that can make you a better engineer.<p>Getting in the habit of automating stuff in your editor and environment can also have a real snowballing effect. Yes, you end up “wasting” some time with yak shaves that don’t work out. But it doesn’t take long before the scope of what you can tackle in a day grows. It’s really profound how much friction you can remove, and how much friction there is in fresh environments.<p>Also, and ymmv, but a lot of repetitive tasks can be pretty soul crushing.  Too much toil and you can come to dread your job. Automating something away almost always feels rewarding to me.  Keeping yourself happy and motivated in your work should also count for something.</p>
]]></description><pubDate>Tue, 09 Jan 2024 12:32:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=38925377</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=38925377</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38925377</guid></item><item><title><![CDATA[New comment by rauljara in "Gron: Make JSON greppable"]]></title><description><![CDATA[
<p>Hmmm… at first glance, this feels like I’d use it for the same sorts of things I’d use jq for, only easier to use but also way less powerful.  Jq does have a little bit of a learning curve necessary to get good use out of it, so I could see this being a nice quick tool for people who don’t want to make that investment. Having already learned jq, I’m not sure why I would reach for gron, but maybe I’m missing something.</p>
]]></description><pubDate>Sun, 03 Dec 2023 22:45:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=38511547</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=38511547</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38511547</guid></item><item><title><![CDATA[New comment by rauljara in "Naev – open-source game about space exploration, trade and combat"]]></title><description><![CDATA[
<p>Seems like HN broke the trailer on their site. Fortunately, it also lives on YouTube: <a href="https://m.youtube.com/watch?v=CNBk1DK046k&pp=ygUMTmFldiB0cmFpbGVy" rel="nofollow noreferrer">https://m.youtube.com/watch?v=CNBk1DK046k&pp=ygUMTmFldiB0cmF...</a><p>Glad they aren’t shy about their escape velocity roots. I swear, the ship in their logo looks just like a kestrel.</p>
]]></description><pubDate>Sun, 26 Nov 2023 03:21:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=38418883</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=38418883</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38418883</guid></item><item><title><![CDATA[New comment by rauljara in "On Robots Killing People"]]></title><description><![CDATA[
<p>That quote leapt out at me too. I think the reason it leapt out was because the rest of the article was so thoroughly objective, well reasoned, and rooted in historical precedence. Given the context in which it appeared, I’m willing to give it the benefit of the doubt as slightly expedient wording that was shorthand for the more nuanced understanding he clearly possesses.</p>
]]></description><pubDate>Tue, 12 Sep 2023 13:17:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=37480719</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=37480719</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37480719</guid></item><item><title><![CDATA[New comment by rauljara in "How some common material imbalances affect your win-rate"]]></title><description><![CDATA[
<p>Honestly, two rooks for a queen being a disadvantage is kind of a relief.<p>I’ve always been taught the two rooks are better and who can argue with 5 + 5 > 9?  But also, I’ve also lost almost every game where I’ve had the rooks.  I always thought that I just needed to be a better player to take advantage of it. Glad to know it wasn’t just me.<p>Just goes to show that these shortcuts, like the point system, are only heuristics, and pretty shallow ones at that. Knowing that being up a bishop gives you slightly more of an advantage than a knight is better than nothing. But learning in which sorts of positions a knight is actually better than a bishop will give you a much deeper understanding (and correspondingly more wins).</p>
]]></description><pubDate>Tue, 13 Jun 2023 12:49:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=36309473</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=36309473</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36309473</guid></item><item><title><![CDATA[New comment by rauljara in "Scientists find first observational evidence linking black holes to dark energy"]]></title><description><![CDATA[
<p>The problem with the simulation idea is one of compute. Accurately simulating the quantum interactions between 30 particles is beyond our best supercomputers [1]. Imagine what it would take to compute a cell in all its quantum glory. Even with quantum computers, I certainly can’t conceive of a computer with enough qbits to approximate how many qbits there are. I just don’t think there is anything in our experience that would lead us to believe the universe we live in is able to be simulated. Maybe it’s conceivable if you took a bajillion short cuts with the physics, but then why the hell is quantum mechanics even a thing?<p>[1] <a href="https://en.m.wikipedia.org/wiki/Quantum_simulator" rel="nofollow">https://en.m.wikipedia.org/wiki/Quantum_simulator</a></p>
]]></description><pubDate>Thu, 16 Feb 2023 20:13:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=34825198</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=34825198</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34825198</guid></item><item><title><![CDATA[New comment by rauljara in "Demanding polished work is a power play designed to take options away from you"]]></title><description><![CDATA[
<p>People sometimes have different standards of acceptable quality. It seems so much more likely that that’s what would be going on than some weird Machiavellian power play. If I asked a colleague to refactor some code in a code review and they jumped to this conclusion, I’d file that coworker under “toxic” and do my best to avoid them[1].<p>[1] I’d, of course be happy to have a discussion about whether the refactor would make the code better or be worth the effort.</p>
]]></description><pubDate>Sat, 07 Jan 2023 12:20:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=34287397</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=34287397</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34287397</guid></item><item><title><![CDATA[New comment by rauljara in "Facebook addiction increases depression severity among already depressed people"]]></title><description><![CDATA[
<p>This was a scientific study with quantitative measures that have clear operating definitions as spelled out in their methodology section. I have trouble imagining the quantitative measurement for “Facebook designed their app to maximize  addictiveness” would even look like. Have mercy on the poor scientists who chose to answer a narrow question empirically and well, and left the fuzzier question out of their scientific paper.</p>
]]></description><pubDate>Wed, 28 Dec 2022 14:31:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=34161301</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=34161301</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34161301</guid></item><item><title><![CDATA[New comment by rauljara in "Unconscious bias in media interviews with female top managers"]]></title><description><![CDATA[
<p>It does seem like things are getting better, but certainly when I was growing up  almost any behavior the slightest bit feminine in a male was called out as “gay”.  The phrases “act like a man” or “real man” are often not just valorizing masculine traits but admonishing feminine ones. So, I’d say very yes.</p>
]]></description><pubDate>Sat, 20 Aug 2022 10:48:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=32530971</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=32530971</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=32530971</guid></item><item><title><![CDATA[New comment by rauljara in "Programming Languages: Application and Interpretation (2021)"]]></title><description><![CDATA[
<p>Nothing online, I’m afraid. Most of the best classes I’ve taken were at my brick and mortar small liberal arts college and were not computer science.  I’ve also taken plenty online courses that I would call useful, and I’m glad I took them [1].  But Grossman’s is the only online course I’ve taken where I felt like there was a deep pleasure and joy in teaching your brain new and unexpected ways to think.<p>[1] Sedgwick’s algorithms class (useful and clear, but dry as hell), Martin Odersky’s scala course (solid, but probably a little dated by now), several others not worth mentioning.</p>
]]></description><pubDate>Sat, 30 Apr 2022 20:29:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=31219005</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=31219005</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31219005</guid></item><item><title><![CDATA[New comment by rauljara in "Programming Languages: Application and Interpretation (2021)"]]></title><description><![CDATA[
<p>I will second that heartily.  Was one of the more mind expands courses I’ve ever taken.</p>
]]></description><pubDate>Sat, 30 Apr 2022 15:15:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=31216663</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=31216663</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31216663</guid></item><item><title><![CDATA[New comment by rauljara in "Iced: A cross-platform GUI library for Rust, inspired by Elm"]]></title><description><![CDATA[
<p>Thanks for the work you did do!<p>It’s out there, so whether you finish it, someone forks it, or it just serves as inspiration for another project, you’ve contributed.</p>
]]></description><pubDate>Fri, 27 Aug 2021 14:11:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=28328018</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=28328018</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=28328018</guid></item><item><title><![CDATA[New comment by rauljara in "What the interns have wrought, 2021 edition"]]></title><description><![CDATA[
<p>Former Jane Streeter: yes, finance can pay very well.  Of course there’s a lot of variance, but at least when I was there Jane Street made an effort to be the very highest in terms of compensation for interns. The numbers don’t seem off to me. Yes, I understand how ridiculous that is</p>
]]></description><pubDate>Sun, 15 Aug 2021 11:42:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=28187957</link><dc:creator>rauljara</dc:creator><comments>https://news.ycombinator.com/item?id=28187957</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=28187957</guid></item></channel></rss>