MurphyA/hacker-news huggingface dataset:
by ants_everywhere | 2025-08-22 00:32:41+00:00
The requirement is explicitly

> If you are using *any kind of AI assistance* to contribute to Ghostty, it must be disclosed in the pull request.

This is sufficiently confusing that someone is asking if this applies to tab completion. They commit actually says

> trivial tab-completion doesn't need to be disclosed, so long as it is limited to single keywords or short phrases.

So if you take this literally you're going to be disclosing every yasnippet expansion that completes boilerplate.

The policy as written isn't sensible and I don't think it's entirely coming from a sensible place.

Junior developers need to learn how to code with AI because that's what coding is now. Not that he has to help them. But it does read a bit weird to toot your horn about how important it is to be helpful until it comes to helping people understand how to navigate the current environment then it's not worth your time.
by Wowfunhappy | 2025-08-22 00:32:50+00:00
I'm actually the author of those fixed widgets! They are on the website in the app library. (Even though they aren't "apps"... I originally wanted to make a separate page for non-app Mavericks software but it felt weird.)

The idea is, remove the nonworking ones to start out since they're broken, and then you can install the working copies.
by aspenmayer | 2025-08-22 00:33:20+00:00
There are multiple boot-time recovery options, but you might not have a required firmware update to use them. Per everymac, all 2014 MBA’s should be able to run up to Big Sur?

What is offered to install when you do this?

https://support.apple.com/guide/mac-help/use-macos-recovery-...

> Option-Command-R: Start up from macOS Recovery over the internet. Use this key combination to reinstall macOS and upgrade to the latest version of macOS that’s compatible with your Mac.

https://everymac.com/systems/by_capability/maximum-macos-sup...

> MacBook Air "Core i5" 1.4 11" (Early 2014)11 (Big Sur)

> MacBook Air "Core i7" 1.7 11" (Early 2014)11 (Big Sur)

> MacBook Air "Core i5" 1.4 13" (Early 2014)11 (Big Sur)

> MacBook Air "Core i7" 1.7 13" (Early 2014)11 (Big Sur)

When updating to the new macOS, firmware updates that govern the pre-boot and recovery environment are changed/updated, and you can downgrade macOS again afterwards. You can usually install the firmware updates without updating macOS, but finding them is usually the harder part. You could probably swap hard drives to a scratch SSD if you wanted to update your firmware via updating macOS entirely without affecting your live install, or install macOS on a USB drive, which should not affect your internal SSD install, but like all upgrades, have a backup or pull the internal SSD.
by refulgentis | 2025-08-22 00:33:31+00:00
I maintain a cross-platform llama.cpp client - you're right to point out that generally we expect nuking logits can take care of it.

There is a substantial performance cost to nuking, the open source internals discussion may have glossed over that for clarity (see github.com/llama.cpp/... below). The cost is very high, default in API* is not artificially lower other logits, and only do that if the first inference attempt yields a token invalid in the compiled grammar.

Similarly, I was hoping to be on target w/r/t to what strict mode is in an API, and am sort of describing the "outer loop" of sampling

* blissfully, you do not have to implement it manually anymore - it is a parameter in the sampling params member of the inference params

* "the grammar constraints applied on the full vocabulary can be very taxing. To improve performance, the grammar can be applied only to the sampled token..and nd only if the token doesn't fit the grammar, the grammar constraints are applied to the full vocabulary and the token is resampled." https://github.com/ggml-org/llama.cpp/blob/54a241f505d515d62...
by devmor | 2025-08-22 00:33:38+00:00
> I find myself thinking more carefully and more expansively, at the same time, about solving programming problems when I'm assisted by an LLM agent

Every developer that uses LLMs believes this. And every time they are objectively measured, it is shown that they are wrong. Just look at the FOSS study from METR, or the cognitive bias study by Microsoft.

If you understand how this applies to writing can you not connect the dots and realize that it is giving you a false sense of productivity?
by zdw | 2025-08-22 00:35:53+00:00
Find one you like and just don't connect it to the network?

Most TV's won't freak out if they lack an internet connection and are still fully functional (outside of services that require internet), and many can be updated via firmware on USB thumbdrive over sneakernet.

This is also more futurepoof - I have a relatively ancient (in TV timelines) Vizio that is so old that none of the apps were working with modern services (and even when they worked the were slow/laggy), so I just unplugged ethernet and drove it from other HDMI sources.
by CompoundEyes | 2025-08-22 00:35:54+00:00
The way they will incorporate an absurd mix of expressive poetic technical and satirical writing in the same piece — to the point of belaboring it and wearing you down until you can’t help but laugh is what I love. Compendiums off Amazon used books are about $8 I bought a stack a few years ago. “What Makes Anna so Beautiful in the Moonlight?” is a favorite for some reason (nerd explains beauty). Also the Onion Film Standard “The Onion Looks Back at E.T.” Maybe this means Nathan Fielder will resurrect his short lived hardcopy newspaper “The Diarrhea Times” too if there’s an appetite!
by threecheese | 2025-08-22 00:36:58+00:00
Working on something similar. Legacy codebase understanding requires this type of annotation, and “just use code comments” is too much of a blunt instrument to too much good. Are you storing the annotations completely out of band wrt the files, or using filesystem capabilities like metadata?

This type of metadata itself could have individual value; there are many types of documents that will be analyzed by LLMs, and will need not only a place to store analysis alongside document-parts, but meta-metadata related to the analysis (like timestamps, models, prompts used etc). Of course this could all be done OOB, but then you need a robust way to link your metadata store to a file that has a lifecycle all its own thats only observable by you (probably).
by dirtbag__dad | 2025-08-22 00:37:49+00:00
Having worked with many python repos, that didn’t know any better to follow conventions or that the tooling ecosystem has meaningful options, I am ecstatic to see formatting and linting be a first class feature of the modern python experience.

I know this is a hot take, but so much headache saved down the road to “force” this stuff up front.
by drewbug01 | 2025-08-22 00:38:03+00:00
It’s worth asking why the estimates for the station have doubled over the course of the last two years (I can’t find a source explaining why, right now).

But it’s still perhaps an unfair point to make. State/Lake is one of the busiest stations in the system, in the heart of the downtown corridor. It is not a simple “update” - it’s a full, in-place rebuild. And, that rebuild includes adding elevator connections from the elevated platforms down to the subway below. The elevated infrastructure in question is about 130 years old, and they have to keep running the trains over those tracks the whole time.

It’s a massive engineering problem, even before you add in the additional costs of paying crews to work overnights so that the whole CTA doesn’t come to a grinding halt while they do it.

If you search around a bit, you can find the construction costs for other overhauls the CTA has done recently, which far more agreeable price tags. If this one is huge, there’s probably a very good reason why.
by musicale | 2025-08-22 00:38:03+00:00
> Future AI Network

This seems to be a network for running AI workloads, rather than an AI-managed network.

> And there you have it. Or, more precisely, there you don’t have it until all of these ideas are implemented by the Ultra Ethernet Consortium, the Open Compute Project, and others.

https://news.ycombinator.com/item?id=44249190
by mdaniel | 2025-08-22 00:38:39+00:00
> but as neither supports podman both are not really relevant to the podman discussion

FWIW lima (upon which COlima was built) ships with "boot me up a podman": <https://github.com/lima-vm/lima/blob/v1.2.1/templates/podman...> and <https://github.com/lima-vm/lima/blob/v1.2.1/templates/podman...>

I can't think of any stellar reason why colima couldn't also support it, since they even go out of their way to support Incus as a runtime, but I don't currently have the emotional energy to prosecute such a PR
by hugs | 2025-08-22 00:38:43+00:00
I kinda have the print edition of the Onion to thank for my career.

Back in 2000, I had a "100% travel" tech consulting job. My favorite part of the week was finally getting back home to Chicago, grabbing a sub at a sandwich shop, and casually reading that week's edition cover to cover Saturday afternoon.

One particular week, there was an ad for a local tech company (ThoughtWorks). I don't remember there being many tech job ads in the Onion at the time, so it stood out. I remember the ad copy being something like "Does your life suck, or just your job? Work here instead." I immediately applied, interviewed, eventually got an offer, quit my other job, and started at ThoughtWorks. It was a massive upgrade.

A few years later, I got to lead an internal dev team, and a spin-off project (Selenium) came out of that.

Long story long: No Onion, no job at ThoughtWorks, no Selenium.

Glad a new generation gets to enjoy leisurely reading fake news and seeing where it takes them in life.
by charcircuit | 2025-08-22 00:38:44+00:00
No one is forcing you to read it. Feel free to have your own AI judge if you should merge it or even just YOLO merge it. The end goal of people trying to get code merged is not to have you read it. It's to improve the software. Whether code improves the software or not is orthogonal to if the code was written by hand.
by tialaramex | 2025-08-22 00:38:52+00:00
I'm not convinced. I want to see Rust as First Language attempted by somebody good. The staff who taught me the Standard ML of New Jersey are retired, and the current programme head is a friend who disagrees with me strongly about how this entire discipline should be approached, but in principle I feel it ought to be interesting & might be extremely productive for the cohort.

I think worst case it's a "sink or swim" course where a large fraction of the cohort wash out and that's bad for numbers (which will annoy bean counter but for a prestige university might actually be OK medium term) and best case the wash out rates are no different but the good students are receiving a lot more value than for today's First Language which is (at the university I'm thinking of) Python.

I think the move assignment semantic and the use of "const" to mean constant are examples of things where Rust is significantly penalized by having older languages teach their insane choices as just "How it is" so that then later a Rust course needs to have students un-learn this stuff when it would be easier to begin there.
by danpalmer | 2025-08-22 00:39:18+00:00
Zuckerberg either doesn't have the resolve for changing the business, or just keeps picking the wrong directions (depending on your biases).

First Facebook tried to pivot into mobile, pushed really hard for a short time and then flopped. Then Facebook tried really hard to make the Metaverse a thing, and for a while, but eventually Meta stopped finding it interesting and significantly reduced investment. Then AI was the big thing and Meta put a huge amount of money into it, chasing after other companies, with an arguably novel approach compared to the rest of big tech... but now seems to be backing out or at least messaging less commitment. Oh and I think there was some crypto in there too at one point?

I'm not saying that they should have stuck with any of these. The business may not have worked in each case, and that's fine, but spending billions on each one seems like a bad idea. Zuckerberg is great at chasing the next big thing, but seemingly bad at landing the next big thing. He either needs to chase them more tentatively, investing far less, or he needs to stick with them long enough to work out all the issues and build the growth over the long term.
by senectus1 | 2025-08-22 00:39:43+00:00
Its slightly more useful than a static "choose this number to direct you to X".

What really grinds my gears is when they pass the bot off as a human. inevitably you discover its not and thats almost always right about the same time you realize that they cant help you. I would rather not have wasted my time and been told up front "sorry we dont have anyone available to help you right now"
by depressedpanda | 2025-08-22 00:39:46+00:00
Agreed.

After starting my new job and coming back to Python after many years I was happy to see that they had added `match` to the language. Then I was immediately disappointed as soon as I started using it as I ran into its weird limitations and quirks.

Why did they design it so poorly? The language would be better off without it in its current hamstrung form, as it only adds to the already complex syntax of the language.

> PEP: In most other languages pattern matching is represented by an expression, not statement. But making it an expression would be inconsistent with other syntactic choices in Python. All decision making logic is expressed almost exclusively in statements, so we decided to not deviate from this.

> We've had conditional expressions for a long time.

Also, maybe most other languages represent it as an expression because it's the sane thing to do? Python doing its own thing here isn't the win they think it is.
by kelseyfrog | 2025-08-22 00:39:56+00:00
That's essentially my conclusion. Weinstein is playing an ego game using science as the stage set.

He's set himself up a win-win situation by creating a crux. If GU is rejected, that supports his narrative. If GU is embraced, he’s vindicated as a suppressed genius. In either case, he wins in his own story.

Eric wants to be celebrated by science, but the only way to achieve that (rigorous math, predictions, peer review) would force him to abandon the very posture that sustains his popularity.
by mothballed | 2025-08-22 00:39:59+00:00
There's a poster on here called 'rabite' more commonly known as 'weev' who claims he was cut off entirely from the banking system despite being nominally innocent in the USA (he also claims he hates libertarians so I presume it's not part of a libertarian conspiracy). IIRC he moved to Transnistria (which has very loose money controls and basically controlled by the mob) and then bought apartments in Ukraine via cryptocurrency. Getting your account shut down and then receiving a check is definitely a real thing, if you're someone like 'weev' idk what you would do next, but it seems like he found one of the few ways around it.

He has no valid serious convictions that I'm aware of, the only one he has was reversed because it was prosecuted in the wrong jurisdiction (and aside, had some other serious appellate arguments to consider if they hadn't chosen jurisdiction as the reason to vacate).
by Wowfunhappy | 2025-08-22 00:40:57+00:00
Hey, Tiger is cool, you won't get any shade from me! I would find it extremely difficult to use as a daily driver though, much moreso than Mavericks.

I do try to support other old versions of OS X where possible. Aqua Proxy supports Snow Leopard for example, which took some effort. (I wish it could support Tiger too but there's no way to build Go binaries for Tiger.)
by slipperydippery | 2025-08-22 00:41:10+00:00
The two biggest causes of major UI problems I see are:

1) Exactly what you wrote: power users don’t even realize they clicked through five things in ten seconds any one of which would have derailed a weaker user, because they’re so used to bad UI that it’s almost invisible to them.

2) Zero care given to what’s most natural for the platform, for cost of development & maintenance, or what’s easiest for the user, when (bad) designers and (bad) “product folks” get involved and are way too into the wrong kinds of “consistency”, especially brand and cross-platform consistency (yo, I’m not sure it’s worth spending extra money fucking up contrast and platform norms on your inputs so your fucking radio buttons are “on brand” or whatever, like, I’m deeply skeptical of the actual business value of that kind of thing, though I can see the PowerPoint presentation value… and that’s why it happens)
by wasabi991011 | 2025-08-22 00:41:32+00:00
I don't think being one word longer ("uvx ruff format" vs "uv format") counts as being is worse.

I think it is much worse to create a special case that obscures the actual formatter being run and how it is being run (is ruff now preinstalled, or is it downloaded and cached in the same way as other tools?)
by ants_everywhere | 2025-08-22 00:41:54+00:00
LLMs aren't good at rote memorization. They can't even get quotations of humans right.

It's easier for the LLM to rewrite an idiomatic computational geometry algorithm from scratch in a language it understands well like Python. Entire computational geometry textbooks and research papers are in its knowledge base. It doesn't have to copy some proprietary implementation.
by zamadatix | 2025-08-22 00:42:18+00:00
To add to this, I think we have a tendency to underestimate how much of our mental model derives from "direct working experience" type hours vs discussion/reading/listening hours.

E.g. I've probably talked about various aspects and extensions to the ISIS routing protocol with in-field experts for more hours than I could think to add together... but the bulk of my practical understanding really comes from the (comparatively) small amount of time I spent building custom implementations, debugging other implementations, and deploying ISIS in various locations. I probably couldn't have done the latter nearly as well without the former, but the latter is where I went from suggesting protocol changes that sounded reasonable to making critiques that were actually actionable

Similarly, I know I know BGP more than your average person, enough to sound like the protocol experts, but I lack most all of the practical working and experimentation knowledge. If you asked me what I think should be changed about BGP I'd probably rattle off a decent list, and it'd probably sound pretty convincing, yet I doubt I would even agree with half of it if I had the other half of the mental model built (or I told it to someone who specialized in BGP). That kind of step doesn't (and usually can't) come from working deeply in a different area (even if similar) and "talking the talk" about the other area.

That said, what makes social media addicting, especially in areas where specialists like to coalesce (HN is one such place, IMO) is you can get a TON of that kind of conversation, data, and readings about anything. Then it makes you overconfident because you got that style of interaction without even doing anything remotely related to that area.

All of this reminds me I've spent far too much time on HN... and I'm entering 12 days of PTO. Time to set noprocast to something ridiculous :).
by lillecarl | 2025-08-22 00:42:23+00:00
> It is my experience that many people do not realize that it is possible not to have developers just connect to prod databases with admin privs.

Dismissive, everyone knows this but they probably can't be arsed/don't care

> Pointing out that there comes a point where this sort of approach isn’t the norm is part of how people who reach that level of scale learn that. https://xkcd.com/1053/

Not everyone has these ambitions

> And that level of concern isn’t reserved for planet-scale - once you have a couple of million dollar contracts on your B2B SaaS platform you should be taking production data ops seriously enough that this sort of approach is unlikely to make sense.

Sure, but you're talking about "seriousness" with the same dismissive "I'm better" tone here again, your usecase and the business you work for doesn't reflect what everyone else is doing

> And I shouldn’t need to say that user privacy ought to be a concern even for small operations.

Depends a lot on what PII you're collecting. But rather than stating "You shouldn't collect PII you don't need" since I don't know your usecase I'll say "I try to minimize the PII I collect so I don't have to deal with these issues yet".
by janalsncm | 2025-08-22 00:42:43+00:00
Very well said. I also think the goal of crackpots isn’t to create something useful but to have their names next to Maxwell, Einstein, and Hawking. Household names of geniuses. Their individual accomplishments are less important.

> the remaining 1% usually builds something that performs within a measurement error of existing systems

Another point that people miss when they wax poetic about how neural nets are like brains or whatnot: we didn’t pick transformers because they were the most elegant method. We use them because they work really well on the hardware we have. It’s why RNNs fell out of favor, they’re way too slow to train. Transformers made training on the whole internet possible.

Maybe RNNs can be salvaged, but my guess is they’ll be approximately as good as transformers but slower to train.
by tele_ski | 2025-08-22 00:43:13+00:00
reminds me of the classic https://xkcd.com/927/ not exactly identical to Bjarne's quote but similar.

I'm quite familiar with C++ as well and this just jives so much, each standard is just almost exponentially more complicated than the last, and while there are good changes they don't necessarily fit well with the prior version and its just a mess, I still maintain two OSS libs but I don't use the language anymore.. so its a question of how long I put up with it at this point.

Rust is such a breathe of fresh air coming from c++11/14/17/20 but its still a behemoth if you don't know the entire thing, I think this article is pretty spot on with that.
by mvdtnz | 2025-08-22 00:43:24+00:00
> Dog whistles are where someone says something that their audience will understand to mean a specific thing, but will be inaudible or neutral sounding to people who are not in their audience. They are named that because they are like the whistles only dogs can hear, while most people cannot.

That's basically what I said, except you're missing that more often than not it's an intentional stretching of a literal phrase in order to cast aspersions on someone who didn't do the thing you're mad about.

For example, here was one of the top results when I googled "trump dog whistle",

> In February 2018, during Trump’s first term as president, the Department of Homeland Security issued a 14-word press release titled “We Must Secure The Border And Build The Wall To Make America Safe Again.” I and other investigators of far-right extremism attributed this phrase’s use to a clear dog whistle of the common white supremacist saying known as “the 14 words” – “we must secure the existence of our people and a future for white children.”

https://theconversation.com/musks-inauguration-salute-is-not...

Or this top result from the search "musk dog whistle",

> Omar Suleiman has called on Elon Musk to stop blowing political "dog whistles of Islamophobia"

> Yet, for the past week, you have blown every conceivable dog whistle of Islamophobia, by highlighting a select group of (horrifying) incidents supposedly in the name of Islam

In this case absolutely no examples were given, but that's the great thing about accusing someone of dog whistling - you don't need to provide any evidence! In fact, literally any evidence you can provide would only serve to weaken your accusation because by definition anyone who isn't whichever -ist you're accusing them of will literally be unable to decode the -ism in their phrasing. If it sounds obviously -ist then by definition it can't be a dog whistle.