<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: linguae</title><link>https://news.ycombinator.com/user?id=linguae</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 11 Aug 2026 18:13:54 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=linguae" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by linguae in "Meta Muse Glimmer – open weights 30B local coding model"]]></title><description><![CDATA[
<p>I’m quite optimistic about the long-term future of local LLMs for privacy and cost control reasons.  An LLM running on my own hardware, even if it’s not a laptop but a home server, is one where I don’t need to worry about token limits, token fees, privacy, and “rug-pulling” from the vendor.<p>In the short term, the big challenge is being able to afford hardware that can run a ~30B model.  Last month I got to experiment with LLMs on a NVIDIA RTX 6000 Ada Generation as a visiting researcher during my summer break.  I see the power of local LLMs for agentic coding; they’re no Claude, but they are quite useful.  I wish I had gotten into local LLMs before hardware has gotten prohibitively expensive and in some cases unavailable; Apple discontinued certain Mac Minis and Mac Studios with high amounts of RAM due to the RAM shortage.<p>Hopefully high RAM prices don’t become a new normal, though the next year or two doesn’t look good.</p>
]]></description><pubDate>Mon, 10 Aug 2026 12:51:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=49242960</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49242960</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49242960</guid></item><item><title><![CDATA[New comment by linguae in "How Blackwing Pencils are Made [video]"]]></title><description><![CDATA[
<p>I also enjoy my Blackwings, though my normal pencil of choice is the Mitsubishi Hi-Uni HB, which is cheaper than the Blackwing but is still an awesome pencil.  I think my supply of pencils will last at least a decade.  I take a lot of handwritten notes when doing research, and I prefer pencil over pen when working in computer science and math.</p>
]]></description><pubDate>Mon, 10 Aug 2026 12:35:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49242822</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49242822</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49242822</guid></item><item><title><![CDATA[New comment by linguae in "To recruit teachers, school districts are building homes"]]></title><description><![CDATA[
<p>In some areas like the San Francisco Bay Area, schools would have to pay astronomically more in order for teachers to compete against software engineers.  I’m a community college professor in the Bay Area making a low six-figure salary, but even a townhouse in the neighborhood my college is in is easily $1 million for a two-bedroom, and rent for a two-bedroom apartment is easily $3500/mo.  A modest salary boost can help me rent a two-bedroom apartment, but if I hope to buy closer to work, my salary would need to double, and there’s still the challenge of saving for the down payment, since there’s no such thing as RSUs in a not-for-profit institution.<p>At least teacher housing provides a way for teachers to obtain secure housing closer to work without having to directly compete against highly-paid corporate workers with RSUs.</p>
]]></description><pubDate>Mon, 10 Aug 2026 04:48:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=49239300</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49239300</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49239300</guid></item><item><title><![CDATA[New comment by linguae in "Ask HN: If Social network is created today, what do you want to see?"]]></title><description><![CDATA[
<p>I want 2006-era Facebook.  No algorithmic feed.  No viral posts.  No AI slop.  Just updates from my friends and acquaintances.</p>
]]></description><pubDate>Sun, 09 Aug 2026 00:39:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=49227254</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49227254</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49227254</guid></item><item><title><![CDATA[New comment by linguae in "Anthropic CEO reportedly worried new hires only care about money"]]></title><description><![CDATA[
<p>There were exceptions, and I use “were” and not “are” because I don’t know any modern Silicon Valley companies that value loyalty, though I know some people at Apple and Google with long tenures.<p>Hewlett-Packard under its founders believed in loyalty, and even had a philosophy dubbed The HP Way (<a href="https://en.wikipedia.org/wiki/The_HP_Way" rel="nofollow">https://en.wikipedia.org/wiki/The_HP_Way</a>) that seem like an interesting cross between some of the positive aspects of working for a Japanese company (loyalty, sense of care by the company) and the positives of working in Silicon Valley (flexible work hours, profit sharing), plus some other ideas (Friday afternoons devoted to personal projects).<p>This philosophy was not commonplace even in Silicon Valley at the time; the founders lamented “hire and fire” companies in Silicon Valley.  Eventually HP abandoned the HP Way once HP started hiring outsiders as CEOs instead of hiring from within, beginning with Carly Fiorina.</p>
]]></description><pubDate>Fri, 07 Aug 2026 08:56:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49207666</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49207666</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49207666</guid></item><item><title><![CDATA[New comment by linguae in "Anthropic CEO reportedly worried new hires only care about money"]]></title><description><![CDATA[
<p>Maybe I’m looking through rose-colored glasses, but while people need money, there was a time where there was more idealism from the founders and the employees.  Steve Jobs could’ve quit business in 1985 after his failed coup; he was rich enough to never have to work again.  Yet he started NeXT, and he was able to get people to join his company.<p>I feel we’re in a timeline in Silicon Valley where there’s little idealism.  Employees seek money, and who can blame them when a two-bedroom apartment can easily rent for $4000/mo or more, and when a house is easily $2 million?  Leaders seek not only money, but power, and their desires for power have been more blatant in the past year.<p>Where are the Steve Wozniak and Gary Kildall figures of Silicon Valley these days?</p>
]]></description><pubDate>Fri, 07 Aug 2026 06:23:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49206585</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49206585</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49206585</guid></item><item><title><![CDATA[New comment by linguae in "RamenHaus"]]></title><description><![CDATA[
<p>I agree regarding the West Coast in general.  Seattle and Los Angeles are also similarly expensive, and even Sacramento (my hometown) isn’t much of an improvement.  A few months ago I was floored to see a $13 burrito at a place that was just $8 pre-pandemic.  Sacramento is not inundated with rich people like the Bay Area, so what gives?  The average Sacramento resident can’t afford those prices.<p>I went to St. Louis, Missouri on a business trip two years ago and was pleasantly shocked by the food prices there.  I felt like I entered a time machine to 2016 California.<p>Regarding sushi in Japan, prices run the gamut from cheap conveyor-belt sushi chains (like Hama Sushi and Sushiro) and grocery/convenience store sushi (which is surprisingly good here) to ultra-expensive, reservation-only restaurants with sushi served by world-renowned chefs, and everything in between.  I’m not an expert on sushi, but I find that $5 grocery store sushi in Japan often beats what costs $20 back in the Bay Area.  To be fair, though, the Bay Area has many excellent sushi restaurants, and while it’s more expensive in the Bay Area than Japan for the same quality, the counterargument is a meal at a Bay Area restaurant is much cheaper than a flight to Japan.  I just happen to be fortunate enough to go to Japan twice a year, so I just wait until I’m in Japan to have sushi.</p>
]]></description><pubDate>Sat, 01 Aug 2026 21:37:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=49138733</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49138733</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49138733</guid></item><item><title><![CDATA[New comment by linguae in "RamenHaus"]]></title><description><![CDATA[
<p>I don’t know where you live, but in the Bay Area prices have exploded since COVID.  I remember a decade ago when it was still possible to get a super burrito for under $10; in fact, the price was $7.75 for a carne asada super burrito at El Farolito in San Francisco.  A burger was under $10, a deli sandwich was about $8-9, and tacos were around $1.50 at Taco Bell and no more than $3 at a proper taqueria.  The prices weren’t cheap, but they never felt bank-breaking.  Unfortunately prices have skyrocketed since COVID.  Unfortunately my income hasn’t matched; I made the individually fulfilling but poor financial decision of pursuing a research career and not working for OpenAI/Anthropic/FAANG/NVIDIA.  Thus, two years ago I quit eating out in the Bay Area, except when socializing.  It’s sad making six figures and feeling priced out of dining out, just like I’m priced out of housing and RAM since I can’t compete with Big Tech.  I now cook, which I guess is healthier but is also time-consuming.<p>Japan, on the other hand, is heaven for those with US dollars.  A bowl of ramen is around ¥1,100 here (I’m here on a research visit), and they generally taste amazing!  Even a Big Mac meal from McDonald’s is far cheaper than in the Bay Area.</p>
]]></description><pubDate>Sat, 01 Aug 2026 11:37:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=49133514</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49133514</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49133514</guid></item><item><title><![CDATA[New comment by linguae in "NSF pilots 4-year PhDs with industry research placements"]]></title><description><![CDATA[
<p>Additionally, as a former industry researcher myself who now teaches at a community college, there is less research freedom in industry, especially with very free places like 1970-era Bell Labs and Xerox PARC half a century in the rear view mirror.  Focused industry research is definitely valuable, but there seems to be fewer places in modern society that allow a researcher to be driven primarily by curiosity.</p>
]]></description><pubDate>Thu, 30 Jul 2026 04:00:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49106004</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49106004</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49106004</guid></item><item><title><![CDATA[New comment by linguae in "Introduction to Formal Verification with Lean Part 1"]]></title><description><![CDATA[
<p>I’m an noob to Lean myself, but my best explanation is that asserts are checks that happen at runtime.  Imagine compile-time asserts, where the compiler is able to determine the validity of assertions without needing to run the program.  Formal verification techniques make this possible.  In Lean, it is possible to write a proof that, if true, guarantees that the code works.</p>
]]></description><pubDate>Wed, 22 Jul 2026 12:26:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49005675</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=49005675</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49005675</guid></item><item><title><![CDATA[New comment by linguae in "Vint Cerf, “father of the Internet”, is retiring"]]></title><description><![CDATA[
<p>I’m out of the loop these days in systems research since I largely focus on programming languages and AI these days (though I still love systems) and I treat research more as a side hobby rather than a full-fledged career.  It’s disappointing to hear about toxic systems labs.  There’s also the “funding-or-perish” and “publish-or-perish” pressures of academia.  This is one of the reasons why I teach at a community college, where 8 months of the year I focus on teaching, leaving me 4 months of break per year where I could do research without having to worry about my tenure chances or about funding, though it would be nice to be able to pay some students to help with research projects, and it would also be nice to have the funds to buy expensive equipment such as GPUs with large amounts of RAM.</p>
]]></description><pubDate>Sun, 12 Jul 2026 14:16:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48881395</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48881395</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48881395</guid></item><item><title><![CDATA[New comment by linguae in "Vint Cerf, “father of the Internet”, is retiring"]]></title><description><![CDATA[
<p>I may be biased since I interned at Google in 2013 and 2014, but Google in the 2000s and early 2010s felt downright magical as someone who wanted to pursue a career in systems software research.  They made impressive technologies that still hold up today, like MapReduce, BigTable, and Spanner.  They hired many legends of computer science and software engineering, such as Rob Pike and Jeff Dean.<p>I’m concerned about the power that Google and other Big Tech companies have, but from a technical point of view Google has a lot of impressive technologies, and from a workplace standpoint, it seemed idyllic back in the early 2010s, though I’ve heard the work culture has changed in the past decade, and I may have rose-colored glasses from only being an intern there, never a full-timer.</p>
]]></description><pubDate>Sun, 12 Jul 2026 10:09:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=48879879</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48879879</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48879879</guid></item><item><title><![CDATA[New comment by linguae in "Zig: All Package Management Functionality Moved from Compiler to Build System"]]></title><description><![CDATA[
<p>I’ve been thinking about this over the past few days.  There was an exciting keynote at PLDI 2026 by MIT professor Saman Amarasinghe where he talked about the intersection between compilers and machine learning, including LLMs.  One of the works discussed during the keynote was the use of Claude Code by his colleague Martin Rinard to implement a compiler known as a <i>credible compiler</i> that outputs both compiled code and a proof that the output code correctly matches the input.<p><a href="https://youtu.be/Fc3cW0nqAQ0" rel="nofollow">https://youtu.be/Fc3cW0nqAQ0</a></p>
]]></description><pubDate>Sun, 05 Jul 2026 02:34:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48790835</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48790835</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48790835</guid></item><item><title><![CDATA[New comment by linguae in "FreeBSD ate my RAM"]]></title><description><![CDATA[
<p>I'm a professor at a community college in Silicon Valley, and my students use online textbooks.  I try to use Creative Commons or other libre textbooks, but sometimes I use paid textbooks when they are heads-and-shoulders better than their libre alternatives.  Some e-textbooks can be accessed on a subscription basis.  I admit I prefer non-subscription materials, but a colleague advised me that often the book that students learn from is different from a good reference book that students can use once they've already learned the material.  For example, my colleagues and I have had great success with an online, interactive textbook for discrete math.  While the subscription is unfortunately only valid for the duration of the course, once students have learned discrete math, they could buy a used copy of Rosen's discrete math textbook as a reference.<p>The nice thing about e-textbooks is not needing to carry around a bunch of heavy books.  I remember the tomes I had in my college days, such as Stewart's Calculus.</p>
]]></description><pubDate>Fri, 03 Jul 2026 21:25:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=48780184</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48780184</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48780184</guid></item><item><title><![CDATA[New comment by linguae in "OpenAI ‘in early talks to give 5% stake to US government’"]]></title><description><![CDATA[
<p>I may be naïve or completely uninformed, but given the federal government’s vast resources, including supercomputers, national laboratories, the NSA, and many talented employees, why does the federal government need OpenAI or Anthropic for that matter when it has the resources to build its own LLM, even one exclusive for government use?  The federal government has a long history of technical feats, such as the atomic bomb, the ARPANET, and the moon landing.  Couldn’t it build its own state-of-the-art LLM?</p>
]]></description><pubDate>Thu, 02 Jul 2026 12:27:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48760417</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48760417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48760417</guid></item><item><title><![CDATA[New comment by linguae in "Japan has 41% of the 100-year companies – secrets of 1,447-year survival"]]></title><description><![CDATA[
<p>When you have monopolistic or near-monopolistic control over platforms and other key pieces of software such as office suites, taste is irrelevant since people are still buying licenses out of necessity.  Now, Microsoft is capable of writing impressive, tasteful software; I have fond memories of the Windows 95-2000 era, and I also enjoyed Office 97 and Visual Basic 6.0.  Even Internet Explorer wasn't bad when it was competing against Netscape Navigator.  The problem is Microsoft has a tendency of getting complacent and lazy once acquiring dominance, which breeds bad software.<p>Apple is more tasteful, IMO, but Apple also has a tendency to abuse its users, taking the attitude, "What are you going to do?  Switch to Windows or Android?"  Adobe has taken a similar attitude since the Creative Suite became subscription-only.  "What are you going to do?  The GIMP?  Seriously?"</p>
]]></description><pubDate>Wed, 01 Jul 2026 22:57:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48754239</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48754239</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48754239</guid></item><item><title><![CDATA[New comment by linguae in "Apple to skip high-end M6 Mac chips in favor of AI-focused M7 line"]]></title><description><![CDATA[
<p>Come to think of it, modern cars have a lot of electronics such as touchscreens, cameras, and sensors.  It wouldn’t surprise me if new car prices are not immune to what’s happening with RAM and storage prices.</p>
]]></description><pubDate>Fri, 26 Jun 2026 03:34:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=48682056</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48682056</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48682056</guid></item><item><title><![CDATA[New comment by linguae in "Apple raises prices of MacBooks, iPads"]]></title><description><![CDATA[
<p>This pressure works for pure software companies that don’t depend on hardware sales and that have competition.  Unfortunately not all software vendors will respond to inflated RAM and SSD prices, since there are many important software vendors who have a vested interest in having users upgrade their hardware frequently.  Microsoft still makes a good deal of money on OEM Windows licenses, Apple’s App Store and services revenue is built on regular sales of Apple hardware, and Google benefits from the sale of Android devices.  The software needs to perform well enough on new hardware to not cause bad reviews, but sluggish enough (or with enough missing features) to motivate users to upgrade their hardware.<p>Additionally, software is often chosen based on market effects and not necessarily based on quality.  If my colleagues use Zoom, then I need to use Zoom to avoid being difficult.  If they use Microsoft Office and take advantage of features that LibreOffice and other competitors can’t support well, then I’m pressured to also use Microsoft Office for compatibility reasons.<p>The only silver lining I see is that these price hikes will effectively freeze current software requirements in the near future, since purchasing power has been diminished.  The MacBook Neo has set 8GB of RAM as the standard for casual users.  I’ve found that I don’t have a good time on Windows 11 with 8GB of RAM, but 16GB provides more breathing room and 32GB is great.  I don’t expect software companies to revert to the days where they needed to squeeze every kilobyte of RAM like back in the 80s and 90s, but I do expect them to be more mindful of the fact that a lot of people will be using 8GB and 16GB configurations through at least the end of the decade.</p>
]]></description><pubDate>Thu, 25 Jun 2026 20:25:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=48678751</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48678751</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48678751</guid></item><item><title><![CDATA[New comment by linguae in "Apple announces significant price increases for MacBooks, iPads, more"]]></title><description><![CDATA[
<p>The only other event I could remember in the history of Apple that is remotely comparable is the release of the original Power Mac G4 towers in 1999.  They were originally going to have 400MHz, 450MHz, and 500MHz models, but due to issues regarding processor availability, Apple lowered the specifications by 50MHz for each model, but without lowering the prices.<p><a href="https://lowendmac.com/1999/power-mac-g4-yikes/" rel="nofollow">https://lowendmac.com/1999/power-mac-g4-yikes/</a><p>I have a 350MHz model that I purchased used for $40 back in 2009.<p>I’ve never seen across-the-board price hikes from Apple that were not accompanied with some type of upgrade.</p>
]]></description><pubDate>Thu, 25 Jun 2026 13:36:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48673176</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48673176</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48673176</guid></item><item><title><![CDATA[New comment by linguae in "Apple raises prices of MacBooks, iPads"]]></title><description><![CDATA[
<p>That’s terrible.  I purchased my M4 Mac Mini (base 16/256 model) two months ago because I wanted an ARM Mac for a software project.  I feared that the M5 Mac Mini would have a price bump, but I would’ve never guessed that Apple would dramatically hike prices for existing models.<p>I have some choice words for Sam Altman for destroying the personal computing marketplace by cornering the memory market…</p>
]]></description><pubDate>Thu, 25 Jun 2026 13:32:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48673125</link><dc:creator>linguae</dc:creator><comments>https://news.ycombinator.com/item?id=48673125</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48673125</guid></item></channel></rss>