MurphyA/hacker-news huggingface dataset:
by vga42 | 2026-01-08 07:22:57+00:00
Yeah, I was also utterly disappointed at Volkswagen early last year. After Musk's nazi moment, we started looking for a replacement, and after months of reading about how Tesla is the worst car that has ever existed, I thought this would be an easy trade.

But nope, turns out that Tesla's UX is actually top of the line and everybody else, even the best chinese models, are fumbling about, trying to catch Tesla's quality and failing.

ID.7 was absolutely the worst. As you say, the cars are good as cars, and indeed climbing into the car felt good. That shattered utterly in 10 seconds -- we talked loud with the family how neat the car felt, and turns out that the car was listening to us and started blabbing "sorry, I didn't get that" in loud volume over our conversation. Trying to find out how to permanently turned that feature off revealed how dismal the UX of the media system is. Perhaps a testament to the Android system it's built on.

It might be fastest I've ever experienced a mildly positive feeling dropping to absolute zero point.

VW needs to fire 80% of the interface designers they have, starting from the top and perhaps hiring somebody from Tesla to help them restart from scratch. They had the moment of a lifetime 2 years ago and they totally blew it.
by halapro | 2026-01-08 07:23:18+00:00
AI-guided self-medication is certainly problematic. Rubber-ducking your symptoms for free for as long as you need and then asking a doctor for their 2-minute opinion is IMHO the best way to go about healthcare in 2026.

I live in a place where I can get anything related to healthcare and even surgery within the same day at an affordable price, and even here I've wasted days going to various specialists who just tried to give me useless meds.

Imagine if one lives in a place where you need an appointment 3 months in advance, you most certainly will benefit from going there showing your last ChatGPT summary.
by thaumasiotes | 2026-01-08 07:23:41+00:00
> was actually good for him.

In the past tense it should be easy to do. Since he is better off, and he has a good view of how he's doing personally, you don't really need to do much. The difficulty is in convincing him that it will be good for him, not that it was good for him.

Compare congestion pricing in NYC, or self-service gas in Oregon.
by tzs | 2026-01-08 07:23:46+00:00
> Here's some things you won't find in any of the documents, including the PDFs at the bottom: community gardens, local food, farmers markets, grass fed, free range... Because agribusiness doesn't make money with those.

Are those relevant to addressing America's national diet deficiencies? None of them are currently anywhere big enough to make a practical difference to most people.

Also most of the health problems with what people eat are from what foods they eat and how much they eat rather than from not choosing the highest quality of those particular foods. E.g., someone might snack often on candy. If they can be convinced to switch to snacking on fruit it doesn't really matter much if they get that fruit from Safeway or a farmer's market. Maybe the farmer's market fruit is healthier for them than the Safeway fruit but the difference will be tiny compared to the gains from switching from candy to fruit.
by NitpickLawyer | 2026-01-08 07:24:10+00:00
I think at some point the model itself is asked if the command is dangerous, and can decide it's not and bypass some restrictions.

In any case, any blacklist guardrails will fail at some point, because RL seems to make the models very good at finding alternative ways to do what they think they need to do (i.e. if they are blocked, they'll often pipe cat stuff to a bash script and run that). The only sane way to protect for this is to run it in a container / vm.
by saghm | 2026-01-08 07:24:24+00:00
From a relatively naive outside perspective, it sounds like this would be pretty much only ever a self-inflicted probably (where "self" might be an org rather than an individual). What you're describing sounds almost like a force push to a private repo; if you're doing that, you might break things for anyone using it, so the risks should probably rest with you for asking so. "This breaks my setup if I modify history in a way that's expected to be immutable" isn't a super compelling argument for everyone behaving well to have to continue dealing with a suboptimal status quo.
by Jope9000 | 2026-01-08 07:25:11+00:00
The biggest problem we have had is, that the most popular filesystem (PFS3 and its variants) and the second popular filesystem (SFS) never made it to the Linux kernel.

Just about everyone uses a flavour of PFS3 in their Amigas these days and it is a bit of a pain that we haven't been able to just mount hard disk images natively. Instead we've had to run a full Amiga emulator to transfer data to and from disk images or hard disks/memory cards, which eats into file transfer performance.
by BalinKing | 2026-01-08 07:25:22+00:00
The file SSOT.lean is completely trivial, I think: Unfolding the definitions in the theorems, they say nothing but "x=1 => x=1", "x=1 => x≤1", and "x≠1 => x=0 ∨ x>1" (where x is a natural number). Basically, there's no actual proof here, at least not in that file....

This is indeed the danger of letting LLMs manage a "proof" end-to-end—they can just pick the wrong definitions and theorems to prove, and even though the proofs they then give will be formally sound, they won't prove anything useful.
by ncruces | 2026-01-08 07:25:44+00:00
> No, it does not. Minimum version selection means that the libraries will at least be that version, but it could be substituted for a later version if a transient dependency asks for such.

No?

All dependencies - direct and indirect - are listed in your go.mod. Your module - as is - depends on nothing else. And those exact versions will be used to build it, if yours is the main module.

If your module is used as a dependency of another module, then yes, your module may be built with a newer version of those dependencies. But that version will be listed in that module's go.mod.

There's no way to use different versions without them being listed in some go.mod.

go.sum to only maps between versions and hashes, and may contain hashes for multiple versions of modules.
by kgwgk | 2026-01-08 07:26:05+00:00
> Institutional investors own ~3% of single-family rentals nationally. But per CoreLogic they're 29% of purchases in the starter home tier.

Not true. That 29% is “investors”. Only one fifth of those transactions are from “institutional investors”. It’s mostly evil non-institutional investors, who also own ~97% of single-family rentals.
by ropable | 2026-01-08 07:26:27+00:00
Good points, thoughtfully made. As a resident of Perth, I (largely) endorse that description.

So much of the wealth of our middle- and upper-class is dependent on property ownership and rent-seeking, it's depressing. That population essentially needs to vote against their own self-interest to help improve housing affordability, so it's hard to see that ever happening. The best I could foresee is a government forecasting a stepped reduction of relevant tax benefits over time (e.g. in three years negative gearing gets reduced by half, then half again the following year, etc.) and then future governments honouring that commitment. As you pointed out though, it's a surefire way for any Australian political party to shoot themselves in the face.

I sometimes wonder how strong the demand needs to get for more-affordable housing before the market responds enough to matter. State and local govt could likely have a role in unlocking infill developments and increasing the allowed densities, but I'm not plugged into the planning system. I also strongly agree that state government should be more proactive as a housing supplier (in conjunction with private industry).
by tripletao | 2026-01-08 07:26:39+00:00
Bank of America Travel Rewards is effectively 2.625% on everything if you put >$100k in a Merrill account and redeem the rewards against "travel" (including restaurants in any location) expenses charged to the card. There's no foreign transaction fee.

The biggest downside is all the dark patterns at Merrill trying to sell you advisory services. That seems to be only upon account opening, though.
by Muromec | 2026-01-08 07:26:41+00:00
>Btw, why are you so defensive about the fact comp is so low in Europe?

It's lower compared to the US and to US companies offices in EU in absolute numbers, it's the fact. Why it's lower in general -- because the cost of living is lower. Why US companies in EU have to pay premium -- because they try to behave like in US and pay premium to their delusions of grandeur.

>You implied that saving 1K a month is some absurd goal. I'm trying to show that's tablestakes if you hope to ever own a home.

I do in fact own a house and lived through this situation. It's not that the goal is absurd in itself, it simply doesn't match the story as a whole.

>You can easily check the numbers I give though. Any specific mistakes there?

From the start, two bedroom at 80k salary for living alone is already an interesting choice for 2026. You either get a better salary, a partner who works, a smaller place or live in a village. The same with the rest -- you can't have both the grind-based compensation and chill-based lifestyle. It's not that individual things in your calculation don't hold the water, it's more like they different numbers don't correspond to the same real person when taken together. If you have marketable skills that warrant the lifestyle fancier than the normal IT person slapping some forms together in a bank, you will not get 80k.

I would also not go for Europe in general (especially for 80k) if you don't have 50-100k of saving already and have the expectations like this. Grind some in US (if you are of acceptable skin color for them), then go and chill here once you are done with the grind.
by palata | 2026-01-08 07:26:48+00:00
> What do you love about them so much?

Memory safety, for one. A whole lot of better defaults (e.g. immutability by default). Then the influence of functional programming. Nice async primitives like coroutines.

It's not just Kotlin and Swift. Rust is nice as well. Even Java has actually improved a lot over the years.

Only C++ seems to get worse over the years. It's the only mainstream language where people say "if you limit yourself to a subset of the language, it's actually decent". And every year, C++ brings new stuff that people probably shouldn't include into their "decent" subset.

> You also forget tho, that Linux does exist with a growing popularity

I have been a Linux user for 20 years, I don't forget it. My favourite UI is a CLI, and there, languages like Go or Rust now often make more sense than C++. I am hoping that good desktop GUIs will come eventually, because I absolutely hate the web-based stuff like Electron. Maybe with Compose multiplatform? I hear Flutter is decent there, too.

> I've started GUI development because I was on Linux and most apps had horrible UI/UX

Except for IDEs (I like the JetBrains ones) and browser, I don't use GUIs :-).
by pseudohadamard | 2026-01-08 07:27:39+00:00
Specifically, there are responsible disclosure guidelines that came about to deal with the problem of people dropping 0day on a vendor with no prior warning. So the 90 days is a commonly-accepted amount of time to give a vendor to produce a fix. If the vendor needs more time they can request that the submitter give them an extension, although in this case it appears the vendor never responded, thus the repeated entries in the timeline saying "tried to contact vendor, no response" to show they tried to do the right thing.
by defrost | 2026-01-08 07:27:43+00:00
It's not US Pharma here, it's an Australian University (a country that actively works to keep health costs low and outcomes high) doing work funded by two outcomes orientated charities:

* https://qbi.uq.edu.au/stafford-fox-medical-research-foundati...

* https://www.meresearch.org.uk/

It's difficult to see a Martin Shkreli exploiting warped U.S. regulatory incentives parallel.
by trissim | 2026-01-08 07:27:47+00:00
Python is the canonical mainstream example: __init_subclass__/metaclasses (definition-time hooks) + __subclasses__(), mro(), __dict__ (introspection).
CLOS (Common Lisp Object System) also qualifies: defclass/initialize-instance/defmethod hooks plus runtime introspection of classes, generic functions, and method combinations.
Smalltalk similarly: class creation executes code, and everything is introspectable at runtime.
Languages that lack definition-time hooks (Java, C#, Go, Rust, TypeScript/TS-era JS) or lack sufficient runtime introspection for structural facts don’t meet both requirements without extra tooling.
by PhilippGille | 2026-01-08 07:28:21+00:00
Minimum version selection happens when the go.mod file is updated, so it contains the minimum versions already.

It doesn't happen only later at build time.

For example:

- `go get x@v1.0.0` => Your go.mod contains `x v1.0.0`

- `go get y@v1.0.0` with y having x v1.0.1 as dep => Your go.mod is already updated with the resolved minimum selected version: `x v1.0.1`

This requires using Go commands to manage the go.mod file. If you edit it in a text editor then a final `go mod tidy` will help.
by patates | 2026-01-08 07:28:47+00:00
That's me! I used to do it with repomix and turned the whole codebase into a giant xml file. Worked really great, and I have a script that just takes the aistudio output and writes all the generated files.

But, after using Claude Code with Opus 4.5, it's IMHO not worth it anymore. I mean it IS competitive, but the experience of Claude Code is so nice and it slightly edges out Gemini in coding even. If gemini cli were as nice as claude code, I'd have never subscribed to the claude max plan though.
by fsh | 2026-01-08 07:29:30+00:00
My impression is that most nutritional research is just p-hacking on extremely noisy data. The only consistent outcome is that eating too much for an extended period of time is extremely unhealthy, regardless of what you are eating. Unfortunately, this runs contrary to the "more is better" mentality of US consumers who throw a hissy fit if food portions are not gigantic.
by dumpsterdiver | 2026-01-08 07:29:37+00:00
Wasn’t there a static memory store from before the wider memory capabilities were released?

I remember having conversations asking ChatGPT to add and remove entries from it, and it eventually admitting it couldn’t directly modify it (I think it was really trying, bless its heart) - but I did find a static memory store with specific memories I could edit somewhere.
by pjmlp | 2026-01-08 07:30:14+00:00
Searching for panadaria, bocadillos across random places on Google Maps gives me plenty results.

To me it appears those are somehow related to what I mentioned on my comment, "Those that only sell bread and nothing else, are very few and slowly going away."

On the other side of the border, most of those bakeries survive in small villages with an aging population, and have been wipedout by pasteleria/panaderia businesses in towns and cities.

Then again, I never been in tourist free areas when in Spain.
by BalinKing | 2026-01-08 07:31:30+00:00
I also took a look at the `LangRust.lean`, and the majority of the proofs are just `rfl` (after an `intros`)—that's a major red flag, since it means the "theorems", like those in SSOT.lean, are true just by unfolding definitions. In general, that's basically never true of any interesting fact in programming languages (or math in general); on the contrary, it takes a lot of tedious work even to prove simple things in Lean.
by aw1621107 | 2026-01-08 07:31:31+00:00
> I'd argue, that while null ref and those classes of bugs may decrease, logic errors will increase.

To some extent that argument only makes sense; if you can find a way to greatly reduce the incidence of non-logic bugs while not addressing other bugs then of course logic bugs would make up a greater proportion of what remains.

I think it's also worth considering the fact that while Rust doesn't guarantee that it'll catch all logic bugs, it (like other languages with more "advanced" type systems) gives you tools to construct systems that can catch certain kinds of logic bugs. For example, you can write lock types in a way that guarantees at compile time that you'll take locks in the correct order, avoiding deadlocks [0]. Another example is the typestate pattern [1], which can encode state machine transitions in the type system to ensure that invalid transitions and/or operations on invalid states are caught at compile time.

These, in turn, can lead to higher-order benefits as offloading some checks to the compiler means you can devote more attention to things the compiler can't check (though to be fair this does seem to be more variable among different programmers).

> Rust is not an extraordinary readable language in my opinion, especially in the kernel where the kernel has its own data structures.

The above notwithstanding, I'd imagine it's possible to think up scenarios where Rust would make some logic bugs more visible and others less so; only time will tell which prevails in the Linux kernel, though based on what we know now I don't think there's strong support for the notion that logic bugs in Rust are a substantially more common than they have been in C, let alone because of readability issues.

Of course there's the fact that readability is very much a personal thing and is a multidimensional metric to boot (e.g., a property that makes code readable in one context may simultaneously make code less readable in another). I don't think there would be a universal answer here.

[0]: https://lwn.net/Articles/995814/

[1]: https://cliffle.com/blog/rust-typestate/
by Jope9000 | 2026-01-08 07:31:51+00:00
These days CrossDOSFileSystem also supports fat32, long filenames and even can parse MBR partition tables if you want to mount something else than the first partition. :-)

mfm.device is naturally not needed or used if you aren't using floppy disk. The filesystem handler uses whatever storage driver your mass storage is connected to if the mass storage is not accessed at a low level.
by trissim | 2026-01-08 07:32:11+00:00
You only read the 37 lines in SSOT.lean and stopped. It's the entry point that defines DOF=1 so other files can import it. The actual proofs are in Foundations.lean (364 lines - timing trichotomy, causality), Requirements.lean (derives the two necessary language features), Completeness.lean (mechanism exhaustiveness), Derivation.lean (the uniqueness proof that achieves_ssot m = true iff m = source_hooks), Coherence.lean, CaseStudies.lean, LangPython.lean, LangRust.lean etc.

~2k lines total across the lean files. Zero sorry. Run grep -r "sorry" paper2_ssot/proofs/ if you don't believe me.

"Unfolding the definitions they say x=1 => x=1" applies to three sanity lemmas in the scaffolding file. It's like reading __init__.py and concluding the package is empty.
by theshrike79 | 2026-01-08 07:32:45+00:00
A friend of mine dabbled in programming when they were younger, but ended up as a writer.

A few months ago they finally got annoyed enough about the janky manual way they need to get the dialog and scripts to a specific format and just went with the basic ChatGPT copy+paste route.

Within a weekend they had a full web UI that automated a good 50% of the manual work.

With a few nudges from yours truly they graduated into agentic coding and now we're at around 90-95% automation of the manual stuff + massive improvements in the actual writing process (proper previews, the system can "guess" what the layout is suposed to be), it can export to multiple formats required by different vendors etc.

All done by a copywriter with a programmer's mindset (the need to automate) and an LLM.
by bjoli | 2026-01-08 07:33:24+00:00
200g a day? Are you a big guy? I did an experiment in my 20s on building muscle on a plant based diet, and managed to gain 10kg in one year (muscle mass, confirmed by a DEXA scan). Total weight gain was about 16kg. Most of the surplus was water.

I started at 70kg (181cm), so pretty skinny, and without prior resistance training. I ate between 120and 140g of protein per day, without any shakes.

I am aware that these gains would not have continued, but my body obviously had more than enough with 130g to build muscle. I did eat a calorie surplus, but

200g seems like A LOT.
by SunVirgo | 2026-01-08 07:33:31+00:00
Subject: Intro Call – Senior AI / LLM Engineer

Hello Nishil Patel,

Thanks for the suggestion — I’m happy to schedule a short intro call.

I’ve selected *13:00* as the preferred time.

For context, I’m a senior backend/systems engineer with strong Python experience, currently focusing on building production LLM-powered systems for debugging, incident analysis, and developer tooling. I’m particularly interested in BetterBugs’ approach to understanding bugs through real execution context (logs, traces, user actions), rather than surface-level descriptions.

Looking forward to the conversation and learning more about your vision and current needs.

Best regards,
Son
by mangamadaiyan | 2026-01-08 07:34:14+00:00
Something to think about: perhaps the problem is with the duration of the appointment, and the difficulty of getting one in the first place? Elsewhere in the world, doctors can and do spend more than 12 minutes figuring out what's wrong with their patients. It's the healthcare system that's broken, and it _can_ be fixed without resorting to chatgpt. That it won't is the reality, though
by perihelions | 2026-01-08 07:34:16+00:00
They (Google) routinely do that with or without ID laws; they have more than enough PII in the common-case.

https://news.ycombinator.com/item?id=39796550 ("Google ordered to identify who watched certain YouTube videos" (380 comments))

(That article does say this kind of "dragnet" search warrant is, in theory, precluded by the US Constitution. One can ask a certain 6-year old child in Minnesota who just their mother to masked constitution-men what that constitution means).
by secwang | 2026-01-08 07:34:31+00:00
I see your point, but I view it through a different lens. In painting, the mastery of 'blank space' (negative space) is as vital as the brushstrokes themselves. For a project like OpenBSD, the discipline to not implement a feature—unless it can be done perfectly and securely—is a rare form of restraint. In an industry obsessed with feature bloat, this 'lack' isn't a deficiency; it’s an aesthetic and philosophical statement.
by SunVirgo | 2026-01-08 07:35:28+00:00
Subject: Re: Durable Objects – Senior Systems Engineer

Hi Josh,

Thanks for sharing this. I’m very interested in the Senior Systems Engineer role on Durable Objects.

My background is in building and operating production distributed systems and backend services, with a strong focus on correctness, state management, failure handling, and observability. Stateful systems at scale are exactly the kind of problems I enjoy working on.

I’ll apply via the Greenhouse link, and happy to provide more context if helpful.

Best,
Son Nguyen
by ryandrake | 2026-01-08 07:35:40+00:00
> Probably my favourite example was when it was giving me an error message of "A device is using too much power, try unplugging and replugging it". Which device? Which port? What is "too much"?

Another fun one: “Updates are available. Do you want to install them?” What updates? What software is getting updates? What do they fix? No information, just a notification asking you whether you want to install vague updates.
by lucideer | 2026-01-08 07:35:40+00:00
Yeah pretty sure it's abandonware.

I was expecting it to be replaced once they announced they were integrating Endor Labs into their GitHub Advanced Security enterprise offerings but all the news I've heard since that announcement has been focused on merging into Microsoft & AI-related layoffs so I presume someone just forgot to turn the Dependabot light off as they were leaving.