<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: gus_massa</title><link>https://news.ycombinator.com/user?id=gus_massa</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 18 Oct 2026 01:42:19 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=gus_massa" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by gus_massa in "Why is there no AlphaZero for theorem proving?"]]></title><description><![CDATA[
<p>You can make fake IMO test, perhaps a longer version that has 60 problems to get a better statistical result.<p>Lean or it didn't happen.</p>
]]></description><pubDate>Sat, 17 Oct 2026 20:07:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134621</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134621</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134621</guid></item><item><title><![CDATA[New comment by gus_massa in "Ask HN: Is anyone still running Token Ring or FDDI networks?"]]></title><description><![CDATA[
<p>Not me, but I remember when the janitor disconnecting a computer on the other side of the school killed all the net. So my guess is that everyone ran away as soon as they could.</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:57:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134515</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134515</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134515</guid></item><item><title><![CDATA[New comment by gus_massa in "Ask HN: Not sure but maybe that's why we all do coding"]]></title><description><![CDATA[
<p>AI is a tool. Use it to make things that get you happy. That includes getting money to feed your family.<p>I'm using very little AI, mostly as a replacement of Stack Overflow. I never remember if in Python I must type users.sort, or users.sorted or users.sorted() or whatever is the magic spell to sort them by family name instead of first name.<p>> <i>3mo ago, I was a prompt enginneer, who specialized in XML prompts (& completed HTML, CSS, JS, Tailwind).</i><p>What is a "prompt engineer"? I imagine it is someone that writes to an AI so the AI does the work, but that makes no sense. Are you a "software engineer" writing web pages with html and javascript?</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:48:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134431</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134431</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134431</guid></item><item><title><![CDATA[New comment by gus_massa in "Are we sleepwalking into World War III?"]]></title><description><![CDATA[
<p>They are neutral and selling drones to whoever wants them.</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:18:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134165</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134165</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134165</guid></item><item><title><![CDATA[New comment by gus_massa in "The Case Against Canadian Nuclear Weapons"]]></title><description><![CDATA[
<p>> <i>or ironically Japan</i><p>They don't want to be nuked again.</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:12:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134106</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134106</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134106</guid></item><item><title><![CDATA[New comment by gus_massa in "Looking for a Remote Engineering Role"]]></title><description><![CDATA[
<p>There is an official monthly post for jobs. Remember to repost in the correct thread by <a href="https://news.ycombinator.com/user?id=whoishiring">https://news.ycombinator.com/user?id=whoishiring</a> on November 2nd. You can take a look at the current last post, but they are read only now.</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:06:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50134044</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50134044</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50134044</guid></item><item><title><![CDATA[New comment by gus_massa in "Mathslopocalypse"]]></title><description><![CDATA[
<p>> <i>had released a blob of 722 mathematical papers produced by a “frontier model”</i><p>I prefer to call them PDF instead of papers and preprints :)<p>Anyway, like 1/3 or 1/2 have a Lean proof and I guess they are absolutely right. The other is more complicated. I guess most are right too, but there may be surprises.<p>AI is better than me in short and well specified problems, like IMO or research problems with a solution of 3 or 4 pages. For longer problems or fuzzy objectives, I've seen AI making mistakes or misleading conclusions.<p>>> <i>proofs, which are easily counted by academic administrators, were only ever a proxy.</i><p>That's the real problem. Papers published in serious peer review journals is an easy metric, so everybody adopted it, in spite it's not easy at all.<p>Anyway, it's strange that nobody is talking about applied math. People in other arrea care about the results (and perhaps the hypothesis to verify before using it), not about how mathematicians keep the score.</p>
]]></description><pubDate>Sat, 17 Oct 2026 19:00:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=50133987</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50133987</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50133987</guid></item><item><title><![CDATA[New comment by gus_massa in "Make System One Models Fight"]]></title><description><![CDATA[
<p>In the ring, do they get a different provability of miss if they are far away?</p>
]]></description><pubDate>Sat, 17 Oct 2026 18:39:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=50133778</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50133778</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50133778</guid></item><item><title><![CDATA[New comment by gus_massa in "Ask HN: Why people do not want to believe weight loss is possible without GLPs?"]]></title><description><![CDATA[
<p>I did't flag it. Anyway, the whole area is full of scammers and fake promises, so I just ignore it all of them.<p>> <i>I claimed we provide guaranteed weight loss or gain results within 2–3 weeks without GLPs</i><p>What is the guaranty? Do you give the money back? It makes the post even more suspicious. Try to avoid infomercial tone here or it will make people even more suspictious.<p>You also can claim whatever you like. Do you have any proof? Reviews and testimonials are not reliable. I assume in general that all of them are fake, in spite your may be real or not.<p>> <i>Why are so many people on Hacker News hellbent on boosting GLPs as a cure for all weight loss?</i><p>There is a lot of evidence that GLP work published in well known sources. See <a href="https://www.who.int/news/item/01-12-2025-who-issues-global-guideline-on-the-use-of-glp-1-medicines-in-treating-obesity" rel="nofollow">https://www.who.int/news/item/01-12-2025-who-issues-global-g...</a> Where is yours?<p>(In the last month or so, there are a lot of new reports where GLP also cure other diseases. I'm very suspicious about them.)<p>Also, I'm not sure what is the difference with other apps. What does it do? It's like a calorie counter but it interpolates the calories when the user forgets to enter them?</p>
]]></description><pubDate>Sat, 17 Oct 2026 18:28:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=50133692</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50133692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50133692</guid></item><item><title><![CDATA[New comment by gus_massa in "Making chicken transparent using Dorito dust"]]></title><description><![CDATA[
<p>I tried to take a look. They have to match a refraction index of lipids of 1.43-1.53. A sugar solution from 0% to 80% has an index of 1.33 to 1.44 so it's too low. And 80% solution of sugar is a lot, they are using a 5% solution of tartrazine (that is also a lot, but a smaller lot).</p>
]]></description><pubDate>Sat, 17 Oct 2026 17:11:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=50132920</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50132920</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50132920</guid></item><item><title><![CDATA[New comment by gus_massa in "Making chicken transparent using Dorito dust"]]></title><description><![CDATA[
<p>Gemini, links to <a href="https://www.sciencedirect.com/science/article/abs/pii/S1075996423000926" rel="nofollow">https://www.sciencedirect.com/science/article/abs/pii/S10759...</a> that says that bacteria split the tartrazine in your guts, so I guess no.<p>Also as the main article explain, to get the effect the concentration must be quite high, like a 5% solution for 12 hours. That's like 50x the concentration of tartrazine in fake orange juice, that is probably dangerous to drink or take a bath.</p>
]]></description><pubDate>Sat, 17 Oct 2026 15:29:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=50131974</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50131974</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50131974</guid></item><item><title><![CDATA[New comment by gus_massa in "Making chicken transparent using Dorito dust"]]></title><description><![CDATA[
<p>They use tartrazine that is a common dye for food, not crushed Doritos. They need a lot of dye to change the internal refraction index and make the meat transparent. So they choose it. From the research article <a href="https://pmc.ncbi.nlm.nih.gov/articles/PMC11931656/" rel="nofollow">https://pmc.ncbi.nlm.nih.gov/articles/PMC11931656/</a><p>> <i>It is a hygroscopic compound with a high solubility in water and minimal reactivity. The European Food Safety Authority (EFSA) has concluded that this molecule exhibits no adverse effects or systemic toxicity at doses up to 2 g per kilogram of body weight (14). As a result, it is widely used as an artificial food dye in products such as flavored chips (for example, Doritos).</i></p>
]]></description><pubDate>Sat, 17 Oct 2026 15:15:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=50131866</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50131866</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50131866</guid></item><item><title><![CDATA[New comment by gus_massa in "Show HN: Asked LLM to show the most stereotypical man/woman for each country"]]></title><description><![CDATA[
<p>Very interesting. Hi from Argentina!<p>Midjourney: (Is that a cat?) All of them look very poor and dirty. I don't want to claim everybody here is rich, but it looks like the images after a disaster and I'm not sure they are very stereotypical.<p>Grok: She is cute, but I'm not sure she is from Argentina. He looks right, but the style of carrying the vacuum flask is a little more Uruguayan.<p>GPT: She looks like an influencer, a little meme heavy but plausible. He looks like a collage of a 5 years old for school where the kid has to paste every single national stereotype, I'll add a small picture of Kempes+Maradona+Messi just to go to 12 level.<p>Gemini: In both case the idea and composition is right, but there is something weird with the texture, like if they were photos taken with a 1990 camera instead of a 2020 phone.<p>I all cases, they look like photos taken in Buenos Aires (city) and the gaucho looks like a gaucho of Buenos Aires (province). It's the biggest city, so it's probably fine for "stereotypical".<p>PS: You have no favicon.</p>
]]></description><pubDate>Sat, 17 Oct 2026 11:46:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=50130219</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50130219</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50130219</guid></item><item><title><![CDATA[New comment by gus_massa in "Show HN: Weatheristic.com to answer questions other weather sites don't"]]></title><description><![CDATA[
<p>Nice. I think it's better to enable precipitation by default.</p>
]]></description><pubDate>Sat, 17 Oct 2026 01:07:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=50126810</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50126810</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50126810</guid></item><item><title><![CDATA[New comment by gus_massa in "South Korea's stock market down, president telling people not to commit suicide"]]></title><description><![CDATA[
<p>Don't a lot of pension funds invest a big chunk in stocks?</p>
]]></description><pubDate>Sat, 17 Oct 2026 00:30:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=50126572</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50126572</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50126572</guid></item><item><title><![CDATA[New comment by gus_massa in "Tesla Roadster"]]></title><description><![CDATA[
<p>Woody said:<p>> <i>This isn't flying, it's falling with style.</i></p>
]]></description><pubDate>Fri, 16 Oct 2026 20:48:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=50124443</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50124443</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50124443</guid></item><item><title><![CDATA[New comment by gus_massa in "New 'super ice' 10 times stronger, bringing it close to the strength of concrete"]]></title><description><![CDATA[
<p>Thanks for the link. I took a look at the wikipedia pages of the gums and they are closer to the modified celulose in the main article than to the polyphenols in the article I linked.<p>It's very complicated to compare, because they use other sugars and there are a thousand of details that are important, like how long are branchy the molecules are, and also a million of details that are above my chemistry knodledge level.<p>As a persomal prefference, I'd call that jelly instead of ice cream. (And in a bad day that I want to lie a little just to be mean, I'd call them a piece of cake.)</p>
]]></description><pubDate>Fri, 16 Oct 2026 16:00:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=50120072</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50120072</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50120072</guid></item><item><title><![CDATA[New comment by gus_massa in "I know why the mathematicians weep"]]></title><description><![CDATA[
<p>That's 100G to 1T. Neurons are more complicated than weights, so add a x1000 somewhere, but they have more redundancy because they are noisy, unrelilable and may even die, so divide by some small number.</p>
]]></description><pubDate>Fri, 16 Oct 2026 15:44:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=50119830</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50119830</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50119830</guid></item><item><title><![CDATA[New comment by gus_massa in "I know why the mathematicians weep"]]></title><description><![CDATA[
<p>Sadly, if it were a bug the AI would have used it to prove everything, like in the human written  hoax of the Collatz conjeture.<p>Even if a person manually wrote a paper and 10 person manalluy reviewed it, it is possible that all 11 of them made a mistake.</p>
]]></description><pubDate>Fri, 16 Oct 2026 15:34:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=50119697</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50119697</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50119697</guid></item><item><title><![CDATA[New comment by gus_massa in "New 'super ice' 10 times stronger, bringing it close to the strength of concrete"]]></title><description><![CDATA[
<p>Which additive were they using? This article [1] use poliphenols, that are very different from the modified celulose in the top article.<p>[1] <a href="https://thisismold.com/uncategorized/the-science-behind-the-non-melting-ice-cream-phenomena" rel="nofollow">https://thisismold.com/uncategorized/the-science-behind-the-...</a></p>
]]></description><pubDate>Fri, 16 Oct 2026 14:49:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=50119046</link><dc:creator>gus_massa</dc:creator><comments>https://news.ycombinator.com/item?id=50119046</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50119046</guid></item></channel></rss>