MurphyA/hacker-news huggingface dataset:
by zokier | 2025-11-03 11:13:55+00:00
I think she poses an interesting question but does not really answer it in satisfying manner; feels like she might have gotten lost in the weeds building her own looms and electronics so only small part ended up exploring what seems like the main topic: what would be an expressive interface or interaction model for weaving?

I see parallels here with audio synthesizers; (modern) synths can produce any audio imaginable, the main problem is how do you find the good sounds to make music and how do you control them. Same problem appears here, modern loom can produce any weave imaginable, but how do you do something interesting with that?
by 1718627440 | 2025-11-03 11:14:35+00:00
I don't remember anything really, I just derive it on demand from first principles and by using autocomplete in the shell.

I don't consider `commit --fixup` to be some arcane workaround, that is basically the default to record a change to some older commit.

Editing commits is also a normal, sane part of my workflow, what else is a version control system supposed to do? I consider modifying every commit in a repo not to be that frequent, but nice if JJ supports that easily. Do you want to educate us of the command?

Git also does certain modifications entirely in memory, but when I edit some file obviously my editor needs to access it. Also I want to rerun the tests on some modified commit anyway, so to me checking it out is not some extra cost.
by f1shy | 2025-11-03 11:14:44+00:00
All the utilities are not GNU, but BSD, so there are differences. But typically not a problem, as long as you move inside POSIX. Most GNU utilities (all?) can be installed if you prefer them. For example, make is typically gmake, and you really need it. I haven't used BSD for the last 10 years but used it from 1999 to 2015. I had never major issues.
by gabrielgio | 2025-11-03 11:15:28+00:00
> "biased" -- any evidence of that? And what if that is biased? Ever heard of "academic freedom"?

Evidence of bias again China? There are plenty outlets that have bias against China, where every mundane action take by the Chinese party is taken as "debt-trap diplomacy," "neo-colonialism," or "strategic expansion".

> "genocide" -- how on earth is that relevant to this topic?

This is topic about "China intimidated UK university to ditch human rights research" so of couse accusation of genocide occurring in Chine is in the topic since GP arguers that episode might be retaliation against anti-Chinese bias.

> Dude, the ambiguity and instant whataboutism makes your account extremely suspicious

I love that every mildly neutral take on China is answered with these. Tell me about whataboutism.
by zigzag312 | 2025-11-03 11:15:49+00:00
Surprising amount of drivers do transfer between versions of Windows, even if not officially supported. But yes, most break at some point.

I'm able to run binaries compiled over 20 years ago on the latest version of Windows most of the time. They do require enabling compatibility mode and sometimes installing legacy features.

I don't know, if APIs you mentioned are available in compatibility modes, but at least named pipes can still be enabled.

But Windows is going downhill lately, so backwards compatibility isn't what it used to be. Improving backwards compatibility for running old binaries would make Linux adoption easier. I hope that Linux PCs market share keeps improving to cross the threshold where it becomes an economically viable platform for most of commercial software.
by hopelite | 2025-11-03 11:16:12+00:00
I would say because it highlights that even back then there was the same kind of tension as today between those who believe they are doing right, those who also believe they are doing right, and right never ending up being done in the end. It’s like ideological, metaphysical, and psychological border disputes and skirmishes, i.e., human nature.

Also, failing upwards of those who serve the dominant system is clearly not just a modern phenomenon.
by apple1417 | 2025-11-03 11:17:24+00:00
An interesting example was Borderlands 2. The game originally had a native port by Aspyr, which worked quite well. 5 years pass and they release a new update and DLC - but they neglected to update the ports. 5 more years pass, then at some point in the past year or two they just plain removed the native Linux packages. They didn't announce it or anything so not 100% sure when. So these days when you install it you always get the (updated) Windows build under proton.

I'm a little sad we lost the native version, but on the other hand running it under proton just works, as I'd been doing for years, and the game would never have been updated otherwise.
by simonw | 2025-11-03 11:17:33+00:00
Claude Code has a neat fix for that - it knows to look at its own documentation if you ask it questions about itself: https://simonwillison.net/2025/Oct/24/claude-code-docs-map/

I've had great results from ChatGPT running the "GPT-5 Thinking" model since that almost always opts to run a search before it attempts to answer a question.

Here's what I got from that for your Switch 2 question: https://chatgpt.com/share/69089028-db8c-8006-b238-1d6946e791...

Screenshot of the searches it ran here: https://gist.github.com/simonw/048ffb895dd6b94419f0b4e066143...
by hengheng | 2025-11-03 11:18:18+00:00
I agree insofar as the motor is not a Big Ticket Item, opposed to ICE cars where the engine block is going to be 10% or more.

Tesla (I know) claimed a 30kg (?) weight loss on their Cybertruck (I know) just from moving their 12V systems to 48V, allowing for lighter cables at lower currents. Not all such potential is untapped, and my hunch is that there is more to be had with structural battery integration, battery cooling, and high voltage wiring.
by saagarjha | 2025-11-03 11:18:19+00:00
> So in the open source community maybe, but it's use in the Android organization in Google is ubiquitous.

Yes I know, I used to work on Android ;)

> By split off, do you mean from a "branding" perspective?

> And in practice, we've been working on the last year or so on "pluginizing" the UI - basically turning the UI into a modular set of components and separating the "core" of the UI (which doesn't know anything about Android or Chrome and reasons purely in terms of "tracks", "slices", "counters" etc).

Yeah this is what I mean ^

> It's just that sometimes what we want to do for open source conflicts with what Google wants from us as a team in prioritisation. I actually talked about this in detail recently: https://lalitm.com/perfetto-oss-company-prio/

Yeah this is basically exactly what I mean, in fact I am kind of impressed that you nailed it down so precisely. I actually ran into that very bug and saw it get resolved in real time. I think this is a really good sign.

> So this is one reason Apple Instruments is so good at what it does: it's a focused profilier helping you debug problems on Apple devices and so they can deeply bake that intelligence in the tool.

No I don't actually care about this part, I am mostly talking about usability for general workflows…

> At least for this example, Perfetto has this feature: when zoomed out, click on a slice in an area you want to zoom to and then press "f". It wil snap zoom into that section

…like this one. I learned about this shortcut but it doesn't actually work the way I like. "f" doesn't zoom far enough and it doesn't stack, so it will "focus" with the region as like a quarter of the screen. There's a bunch of other nitpicks I have, for example when I select a range it will immediately pop up the thing from the bottom that I invariably close until I actually want it, or that every time I open it the sidebar (that I never use) is open. Feature-wise, I still haven't figured out how I can do something like get an "activity view" (like the stack that shows how many tasks are active) across all tracks, or quickly select the region between two spans, or pin a whole process (rather than just a thread). I am sure that some of these are solved or I'm just holding it wrong but I feel like it's just harder to get what I want, especially since I can't really right-click anything which is what I typically do when looking for features. If it would help, I am of course happy to file bugs and also make simple fixes :)
by johnisgood | 2025-11-03 11:18:21+00:00
> Can you list a very clear example of how you'd improve the syntax?

The demand that I must design a better language to have valid criticism is absurd - I don't need to be a chef to know food tastes bad, do I? I'm a user of languages, not a language designer. My job is to evaluate whether Rust's syntax serves my needs, not to solve the PL design problems that led to it.

The syntax is noisy. That's not "missing the point" - that's the direct consequence of the design choices you're defending. If your argument is "the complexity is necessary for memory safety" fine, but don't pretend the cost doesn't exist or that pointing it out is invalid.

You're conflating "can identify a problem" with "must solve the problem". Those are different skills. I'm evaluating Rust as a user, not auditioning as a language designer.
by zozbot234 | 2025-11-03 11:19:35+00:00
There are some analogies between your good old OOP and dependent types, in that a derived object in OOP has a "type" (which is reflected in its methods dictionary - it's not merely a runtime "tag") that varies at runtime based on program logic. You can implement some of this with typestate, but for full generality you need to allow for downcasts that might only become statically checkable when you do have full dependent types.
by CuriouslyC | 2025-11-03 11:21:03+00:00
That's not a fair take. I will give Cloudflare a lot of shit for some of their products, but some of their products are 100% best in class. For instance, R2 is just better than S3, and KV is better than AWS/GCP options. The pricing is better, it's multi-region by default and there's less ops overhead.
by adastra22 | 2025-11-03 11:21:23+00:00
(1) You'd be surprised just how much of Claude, ChatGPT, etc. is essentially vibe coded. They're dog-fooding agentic coding in the big labs and have been for some time.

(2) It is quite trivial to Ralph Wiggam improvements to agentic tools. Fetch the source code to Claude Code (it's minimized, but that never stopped Claude) or Codex into a directory, then run it in a loop with the prompt "You are an AI tool running from the code in the current directory. Every time you finish, you are relaunched, acquiring any code updates that you wrote in the last session. Do whatever changes are necessary for you to grow smarter and more capable."

Will that work? Hell no, of course it won't. But here's the thing: Yudkowsky et al predicted that it would. Their whole doomer if-you-build-it-everybody-dies argument is predicated on this: that take-off speeds would be lightning fast, as a consequence of exponentials with a radically compressed doubling time. It's why EY had a total public meltdown in 2022 after visiting some of the AI labs half a year before the release of ChatGPT. He didn't even think we would survive past the end of the year.

Neither EY nor Bostrom, nor anyone in their circle are engineers. They don't build things. They don't understand the immense difficulty of getting something to work right the first time, nor how incredibly difficult it is to keep entropy at bay in dynamical systems. When they set out to model intelligence explosions, they assumed smooth exponentials and no noise floor. They argued that the very first agent capable of editing its own source code as good as the worst AI researchers, would quickly bootstrap itself into superintelligence. The debate was whether it would take hours or days. This is all in the LessWrong archives. You can go find the old debates, if you're interested.

To my knowledge, they have never updated their beliefs or arguments since 2022. We are now 3 years past the bar they set for the end of the world, and things seem to be going ok. I mean, there's lots of problems with job layoffs, AI used to manipulate elections, and slop everywhere you look. But Skynet didn't engineer a bioweapon or gray goo to wipe out humanity - which is literally what they argued would be happening two years ago!
by Panzer04 | 2025-11-03 11:22:31+00:00
I rarely encounter outright congestion in Australia tbh, but then again I avoid watching videos on the train.. so that's probably indicative of something :D

Coverage is decent on Telstra, but if you're out of town reception is rarely any good, presumably because there's little to no incentive to improve it when there's no on around to need it.
by random9749832 | 2025-11-03 11:22:59+00:00
I know an international student from Asia. Them and their large group of friends already all know each other from their home country, come from the same couple of high schools, have a big society where they just party together for 3 years and then are given work visas. Pretty much a whole pipeline ready made. They just need to enter certain high schools in their country, get the bare minimum grades and it is all set for them in the UK (work, social life, accomodation).

I would take a guess and say most of their parents are also rich so accomodation even in West London is no problem.

This is not a poor student who worked their ass off to get to the UK storyline, this is a foreign program set up in the UK. Makes you wonder what the fuck is going on.
by 1rhino2 | 2025-11-03 11:23:20+00:00
Built RhinoWAF for protecting self-hosted services at the application layer.

Handles rate limiting, bot detection, SQL injection/XSS filtering, API abuse prevention.

Not for volumetric network ddos (that needs Cloudflare-scale infrastructure), but for application-level threats in on premise or privacy sensitive environments.

Single Go binary, simple config. Running it on 8 services for months.

Feedback welcome on architecture and where this actually fits vs commercial solutions.
by ants_a | 2025-11-03 11:23:40+00:00
I'm wondering if it would make sense to integrate the rim, motor and wheel bearing into a single assembly to save weight and cost. That combined with the weight and packaging benefits of not having half shafts and differentials might make it worth it. Plus there can be additional benefits, like the extra maneuverability that ZF Easy Turn and Hyundai's e-Corner have demonstrated.

30kW sustained/60 kW per wheel peak power is easily enough even for large passenger vehicles. Sustained could take 3 ton vehicle up a 10% grade at 120 km/h.
by bryanrasmussen | 2025-11-03 11:23:50+00:00
I heard it from a Dane, but obviously your taste buds have allowed you to take a statistically meaningful sampling, that's pretty lucky.

The reason why I might give it some credence is twofold

1. I would suppose travel from point X to point Y might lead to degradation of quality and thus the top quality leaving at X might be passable when arriving at Y.

2. I suppose there are different income levels involved, Danes are pretty parsimonious.

I don't think most of them actually care about having the best, they care about having passable quality which is of course much better than a middle class person will have access to in the U.S, but perhaps they export the best and premium because obviously with a world wide market there would be enough really upper-scale rich buyers to make it worthwhile to do so.

I have to say I don't really care much, but I think there may be scenarios in which a large portion of the best quality of a nation's produce gets exported (obviously not all of it, but a large portion) and am interested in that as how economics works.

As far as anecdotes however, my Italian ex-wife said the best Italian food she ever had was at a fancy restaurant we went to in Prague. I thought it was good but I don't much care past a certain point, so I didn't notice. My favorite was a small restaurant in Vomero that just made the same two dishes all day long and all the workers came to eat there. I like Danish pork, but generally stuff like flæskesteg, which historically was yes, a luxury good, but a luxury good for peasants. So I think probably not the best.

Yes definitely anything I have eaten in Danish or Italian dishes in their homeland was better than what I ate in those culinary traditions in the U.S or England, but I doubt that was because I had a great sampling to choose from and could decide what was what based only on my experience.
by genezeta | 2025-11-03 11:24:17+00:00
> The rationale is that if a suicidal person is still alive, they might have the stamina to withstand difficulties other than internally fighting against themselves

The rationale sounds very much like: "If they are already managing through a lot of suffering maybe I can pile a bunch more on top of it with a shitty job and see what happens next".

Which may or may not be what you wanted to say out loud, of course, but it certainly sounds disgusting.
by jbstack | 2025-11-03 11:24:24+00:00
It's still a worthwhile comparison because it demonstrates that some people have a desire to turn their death into something meaningful or useful to others. After, all question was "what would motivate someone to willingly transform their last moments into a medical experiment?", and my examples are about motivation.

For some that motivation might be strong enough to be willing to undergo some discomfort (if, indeed there needs to be any discomfort in the first place, which isn't clear). For others, it might not be.
by zigzag312 | 2025-11-03 11:24:53+00:00
Fortunately, there have been a lot of improvements to low-level C# since v7 that make unsafe unnecessary in a lot of situations. E.g. ref structs, ref local variables, ref returns, stackalloc improvements etc.

There's an interesting comparison of these C# features with Rust: https://em-tg.github.io/csborrow/
by circlefavshape | 2025-11-03 11:25:16+00:00
I've had a few "Cinderella parties" in my house over the last few years - there is dancing, and the party ends at midnight

It works well for us. I have the music timed so that a tolling bell comes over the soundsystem at midnight and I just kick everyone out. The curfew means people will arrive and get up and dance early, and nobody gets too messy
by TheCoelacanth | 2025-11-03 11:25:23+00:00
This is not an issue of who is allowed into the country. It is an issue of who has the right to due process to determine whether they are allowed in the country or not.

The first point should not apply to everyone, but the second absolutely must. Trusting an un-auditable black box over all other evidence to determine who is allowed in the country is a violation of everyone's human rights.
by SideburnsOfDoom | 2025-11-03 11:25:28+00:00
IMHO, it likely isn't even falifiable.

for the article: "the fundamental nature of reality operates in a way that no computer could ever simulate"

Yes, no computer in our universe, with our physical laws. In "a totally different level of existence", all bets are off regarding the fundamental nature of reality there. It could be utterly different. So, speculation is nonsensical, it's unfalifiable.
by rgblambda | 2025-11-03 11:27:47+00:00
I remember reading a slightly different version of this. That the extra-curricular part of the application was originally designed to reduce the number of successful Jewish applicants. Jews were historically excluded from many sports, clubs, and associations.

I don't doubt that it's been kept around for the reason you described though.

A lot of universities across the west seem to have cargo cult copied the Harvard application model. Harvard are doing it so it must be good.

I'm really not a fan of this. I'm from a part of the world where it's practically impossible to describe your extra-curricular activities without giving away your ethnic background.
by moritzwarhier | 2025-11-03 11:28:01+00:00
> making on denand reliable means that there are more vehicles driving around than we now have cars - as empty vehicles reposition just in case someone else wants to go someplace right after you.

I was explicitly refering to buses because of that, or had in mind something like modern IT plus ride sharing: to use cars more efficiently.

And, in opposition to the other comment thread, my opinion is that this would improve the quality of life for people in the long-term (in urban areas, even in the relatively short term).

But without FSD, it requires drivers, so it requires more complex considerations than "just" directing cars to where there needed.

At this point, the discussion becomes tiresome and political.

But to me, the convenience of personally owned vehicles combined with the public infrastructure needed for them is inefficient in a way that affects people negatively in urban spaces.

"Space efficiency" to me would also mean to stop making life worse for people who, for whatever reason, happen to be outside but not in a car or, god forbid, need to get to places without owning a car.

I'm not dreaming of a world without cars, but I detest the concrete wasteland that I have to live in for having destroyed quality of life in favor of an excess of parking and driving areas. So I'd certainly like a world with way fewer cars and certainly I am against further increasing excess cars per person. But, like I said, to use cars efficiently, there needs to be a consensus.

Because cars require public space, and lots of it.
by pjmlp | 2025-11-03 11:28:24+00:00
Problem with TLA+ is that it is a completely unrelated tool to the actual programming, and even when everything is done correctly, it doesn't prevent further code changes breaking the model, unless there are work processes in place to update the related model, revalidate it, and only then push the changes into production.

As mentioned previously, I think the only tools that are really valuable should be able to produce code, naturally with multiple possible languages as backends, that are then used as library from the application code.

Something like Lean, F*, Dafny, even if that isn't exactly the same as TLA+.
by zwnow | 2025-11-03 11:30:43+00:00
I hate sharing links that are like 2 pages long in Whatsapp. Simple as that. If I hit refresh on a page I do it for a reason and I expect to be set at the start of the page. Its no big deal to scroll to where I was. Bloated URLs are a pain to work with too. I highly prefer clean short links. Just store state in local storage and recover it if necessary. If the user has js disabled its kinda their issue state isnt persisted.
by throw-qqqqq | 2025-11-03 11:32:05+00:00
>> removing 200-300kg from a car in one go will be a game changer

> No wonder electrics don't sell well in the US. People weigh more, you're basically saying that leaving grandma at home, is a "game changer".

Even in the US, your average grandma weighs less than 2-300kg :D
by alex7o | 2025-11-03 11:32:46+00:00
It runs the Arduino app on a separate mcu stm32l4 I think. So you have the realtime as well, but what you describe is already possible with the pi and asymmetric multiprocessing using openamp and zephyr.

I remember reading about this in some blogs so here is one I found that describes just that: https://telmomoya.blogspot.com/2016/10/asymmetric-multi-proc...
by thomasahle | 2025-11-03 11:33:39+00:00
I doubt it, since jaxtyping supports some quite advanced stuff:

def full(size: int, fill: float) -> Float[Array, "{size}"]: return jax.numpy.full((size,), fill) class SomeClass: some_value = 5 def full(self, fill: float) -> Float[Array, "{self.some_value}+3"]: return jax.numpy.full((self.some_value + 3,), fill)