MurphyA/hacker-news huggingface dataset:
by cultofmetatron | 2025-09-05 20:15:56+00:00
> The gaza war is all over the news.

yea, a sanitized version where a Palestinian 6 year old girl who was riddled with IDF bullets is described as a "young woman" and a young Israeli "boy" was "kidnapped at gunpoint from his tank." (he was an active IDF soldier)

Lets not forget that CNN's coverage has been extremely lackluster. If they broadcast whats actually going on, Israel would be facing extreme sanctions. instead the US is sanctioning Palestinians for "bringing a war crimes accusation to trial"

https://www.theguardian.com/world/2025/sep/04/us-sanctions-p...

The only reason we know who the real bad guys are is because we see Israelis blowing up and sniping little kids 24/7 along with countless testimonies from first responders.

and worse, this post will likely get flagged because there's a large amount of people on this site who either choose to stick their head in the sand or secretly support this mass genocide.
by somerandomqaguy | 2025-09-05 20:16:17+00:00
By Canadian law IIRC it's 30 minutes every 8 hours or so. However it can still be split up to 2x 15 minute breaks, and it's only a break from driving; loading/unloading, inspections, hooking up or unhook, paperwork, etc is counted as as taking a break.

The lower provinces allow up to 13 hours per day of driving and a total 14 hours per day on duty time before you're required to take a 10 hour rest in a single 24 hour period. The northern territories I believe legally allow up to 15 hours driving per day.

That's just what I've read so take it for what it's worth.
by feoren | 2025-09-05 20:17:31+00:00
> electronics engineers routinely design systems with millions of components, intricate timing relationships, and complex interactions between subsystems. Yet they don’t rely on anything analogous to our type checkers.

Bullshit, they absolutely do. They have circuit-design software with all sorts of verification tools. Go search "circuit verification". And EEs would jump at any additional opportunity to check their circuits for common errors before having to run them, just as every other engineering discipline would jump on the opportunity for better checking of common issues.

Sure, we should be writing more "obviously correct" systems. Type-checking helps you do that. What is the problem?
by habinero | 2025-09-05 20:17:41+00:00
You're too in love with your own conclusion here. The reality is Elon's kind of an idiot who just impulsively does stuff and mostly gets away with it because money.

Elon talked shit online and then fought hard to wriggle out of buying Twitter after promising to pay the funny weed sex number for it.

And he fired employees because he's cheap and only keeps people who yes man him. You can read the complaint yourself:

https://int.nyt.com/data/documenttools/twitter-employee-laws...
by alex1115alex | 2025-09-05 20:17:58+00:00
Hey, thanks for commenting, but this isn't true. You can check out our glasses compatibility list here:

https://github.com/Mentra-Community/MentraOS/blob/main/glass...

We're also looking to support the Brilliant Labs Halo glasses once they release later this year.

Regarding Ray-Bans: We'd love to support those, but the Ray-Bans are extremely locked down. Nobody has found a jailbreak yet. We're always open to support more glasses provided they're all-day wearable and have an SDK.
by al_borland | 2025-09-05 20:17:59+00:00
This is too bad. I have 5 WASD keyboards, one of which has been my daily driver at work for at least 8 years.

One thing WASD had going for it was that they actually had stock. Every time I look at these newer shops that make cool looking boards, they are out of stock for everything. It seems you have to follow them on social media and catch a “drop”. I want to deal with companies that can meet demand, where I can just buy something. That doesn’t seem like too much to ask for as a customer.

So many industries seem to be moving this way, seemingly in an effort to eliminate the cost of maintaining any kind of stock. It’s a miserable customer experience. It actually prevents me from even becoming a customer. This is why I went back to WASD for more keyboards than any other brand I have. They were reliable.
by notahacker | 2025-09-05 20:18:06+00:00
The bit where a bored person checks your papers and maybe asks a basic question to gauge the awkwardness of your response is the norm for the civilised world and many other parts too, and doesn't seem less secure than shaking down arrivals from sketchy parts of Iraq for $200 but having no incentive (or other staff) to do anything else afterwards...

But for countries with obsessive security operations and deportation targets, the incentive to pass the possible criminal onto the next stage of the process involving different sets of border guards doesn't disappear after you've helped yourself to their petty cash. Indeed if they're not outraged, that's a pretty good indication they're hiding something and you're doing great detective work, and if they are, maybe you just find their comments and threats annoying and want to send them to the deportation centre to know what real mistreatment looks like.
by ratelimitsteve | 2025-09-05 20:18:26+00:00
https://computersystemsbook.com/

If anyone is interested in learning assembly, this was the book and simulator I used as an undergrad. It's not exactly bytecode that will run on an actual processor but it will help you understand the bare metal things a CPU has to do in order to actually operate upon data and it's kinda eye opening when compared to what modern coding is actually like nowadays.
by bolobo | 2025-09-05 20:18:35+00:00
> I genuinely don't understand what docker brings to the table. I mean, I get the value prop. But it's really not that hard to set up http on vanilla Ubuntu (or God forbid, OpenBSD) and not really have issues.

For me, as an ex-ops, the value proposition is to be able to package a complex stack made of one or more db, several services and tools (ours and external), + describe the interface of these services with the system in a standard way (env vars + mounts points).

It massively simplify the onboarding experience, make updating the stack trivial, and also allow devs, ci and prod to run the same version of all the libraries and services.
by mitthrowaway2 | 2025-09-05 20:18:35+00:00
This is why the fines should be high enough that a competitor who doesn't engage in abusive practices, and doesn't have fines levied against them, can out-compete the ones that do. Then competitive pressure would prevent companies from just treating fines as a cost of doing business and passing it on to their customers.

Of course, in a market with this degree of concentrated market power, those fines would have to be very very high indeed...
by ninetyninenine | 2025-09-05 20:18:56+00:00
Frame of reference is the world which is reasonable given the US status in the world.

Hong Kong, China, Taiwan, Dubai, Japan, UK. The USA is supposed to be among the top in terms of technology but infra is just garbage. The BART is pathetic. I don't know why you defend it with pride. Attack it, because if you hate it and you are vocal about it, things are more likely to change.

I'm sick of people defending something that's shit because of pride. It's garbage.
by anikolaev | 2025-09-05 20:19:29+00:00
JotPsych (https://jotpsych.com) | Hybrid (DC Area) | Full-Time | Role: Senior Frontend Engineer | $5m Seed Round

JotPsych is a behavioral health AI scribe tool and we're looking for frontend engineers as we build the first agentic EHR for behavioral health. We're looking to hire ASAP! More info in the link below:

--------

Senior Frontend Engineer: https://jotpsych.notion.site/We-re-hiring-Senior-Frontend-En...

Looking for engineers that are strong with Redux Toolkit (RTK) & RTK Query, comfortable reasoning about client‑side caching & invalidation.

- Cash (~$150-250k) - Material equity (~0.75%)
by minimaxir | 2025-09-05 20:19:30+00:00
It's the same Jevons paradox reason as why LLMs are so big despite massive diminishing returns. If we can output 4096Ds, why not use all the Ds?

Like LLMs, the bottleneck is still training data and the training regimen, but there's still a demand for smaller embedding models due to both storage and compute concerns. EmbeddingGemma (https://huggingface.co/google/embeddinggemma-300m), released just yesterday, beats the 4096D Qwen-3 benchmarks at 768D, and using the 128D equivalent via MRL beats many 768D embedding models.
by tombert | 2025-09-05 20:19:34+00:00
My handwriting is exceedingly bad, and it gets worse every time I do it. It's sort of a feedback loop; my handwriting is bad so I type everything, and since I never practice my handwriting it gets bad. I think if someone made a font based on my handwriting it could be used as a cryptographic hash.

I do like the idea of it though; even though I don't think it's less personal to type a message than handwrite it, it feels less personal. Having a font based on handwriting might help with that.
by atmosx | 2025-09-05 20:19:39+00:00
You're reaching from another, very narrowly scoped angle, but that's a wider problem with technology and automation. The economists since mid-20th century are talking about the UBI (universal basic income) to fight this problem:

- https://en.wikipedia.org/wiki/Universal_basic_income (wikipedia link)

- https://www.youtube.com/watch?v=22eQ9iLBfY4 (Varoufakis explains the concept very well)

Of course, that's easier said than done a non-fully, air-gaped controlled economy.
by porridgeraisin | 2025-09-05 20:19:47+00:00
> practical one

I had a decent idea. Not that it's easily practical, but it's more practical than other solutions.

Major problem today is information asymmetry. Google giving you free YouTube videos is front and center. Google paying for it by linking your location and this and that fingerprint from here and there is hidden in whitewashed language 3 settings menus deep. Many things are hidden in bottom right of a billboard in fine print, t&c fine prints, etc,.

What I propose is the law making sure that all information about the product that you intend to or are forced to by regulation to make public, public in the same measure. That is, if you're going to advertise "coca cola, open happiness" you also need to have in the same fontsize "39g of sugar" right next to it. Similarly google search bar needs to say what info of yours helped serve the ads you see, right next to the content paid for by those ads.

If you're going to hide less palatable stuff in your t&c, then marketing logos slogans all become illegal for you. And all information even positive ones must also be in fontsize8 t&c fine print.

Real estate ads can't put *artists impression at the bottom right of their ad in fine print, it has to be as big as the main tagline.

You get the idea. What I gave are just examples, slight variations of the idea that still focus on information symmetry as the main goal, will also work.
by K0nserv | 2025-09-05 20:19:52+00:00
I find the author's description of hardware design, of which I know very little, to match how static typing work. You are explicit about the interface in order to compose while treating individual parts like black boxes.

On static type checking in general my view is: Programming is principally about dealing with invariants. The author is correct to point out that humans are bad at reasoning about more than 7 things at once. Those things we often reason about are invariants and type systems helps us ensure we never violate them. I think even 7 invariants is too many, in C it's common enough to mess up a single invariant (only access this memory while it's alive) that it has caused thousands of CVEs.

Ultimately, why would I not use a tool that helps me get the invariants right more of the time, thus reducing cognitive load?
by com2kid | 2025-09-05 20:19:55+00:00
Lane keeping works (poorly) but Bolt's automatic cruise control implementation is really good and works in stop and go traffic and at street speeds. I've used ACS systems before that refused to work in both those scenarios.

Charging time for road trips sucks. 99% of my driving is around town. Being a smaller EV it fits city life very well and I just top it off on a 120v plug every night.

I got a 2023 fully loaded with sunroof (except super cruise) for 24k, only had 40 miles on it.

That said the app is horrible and you can see how GM just didn't give a shit all throughout the car. No AC/dog mode. If you shift too fast after turning the car on you have to reboot the car using a secret method that is buried on forums (anyone reading this, don't press break, hold down the power button until the car restarts) and you can only remotely turn climate on to its last setting from the app.

Oh and even if you pay monthly for remote access just checking the charge level through your phone probably won't work (time outs...) and locating your car really won't work.

If you turn on climate remotely, drive somewhere less than 10 minutes away and then get out, you may try to turn climate back on using the app, but that won't work because the app has a really long cool down before it even checks the car to see what the status is so you end up in an invalid state where the app thinks the car is still on even though you just stepped out and turned it off.

Resistive heating means even with Seattle's mild winters I barely have 200 miles of range.

The car isn't smart enough to close the sunroof visor on hot days to keep the car cool.

In general it feels like what it is - a mid 2010s car that was far behind Tesla at the time for thoughtful details (expected given the year and GM) that was sold into the 2020s way after other manufacturers had updated their cars electronics to have common sense features.

That said some details are nice. You can be connected to car play and Android Auto at the same time and designate one of those as primary for apps and navigation but take calls through both. Physical climate controls are appreciated, and the rain sensing wipers actually work well. ;)

The 360 camera is wonderful to have. It cost me $10k vs getting a the base trim car, totally worth it.

I bought it April 2024 and I have some 0 maintenance other than car washes. So damn cheap to own.

In the 16 months I've owned it I've only put on 6k miles and it'll never pay for itself on gas savings , but last car was totalled and I legit enjoyed test driving the EUV more than a Lexus UX 300h that cost a lot more.

So anyways happy with the purchase, great value, horrible for road trips but I do them anyway.
by johncolanduoni | 2025-09-05 20:19:58+00:00
On a modern desktop/server CPU, the RAM memory and PCIe device mapped memory do not share a bus. The equivalence is a fiction maintained by the MMU. Some chips (e.g. Apple Silicon) have unified memory such that RAM is accessible from the CPU and devices (GPU) on a shared bus, but this is a little different.

Also, direct access of device memory is quite slow. High throughput usecases like storage or network have relied entirely on DMA to system RAM from the device for decades.
by theothertimcook | 2025-09-05 20:20:34+00:00
The same reason all of them compulsively toil despite not needing to.

The denial of death, they can’t have physical immortality so they build legacies and monuments and etc.

There’s a few books on it, the worm at the core, the denial of death, they don’t specifically speak to the foibles of billionaires but it’s a logical extension.
by collinmcnulty | 2025-09-05 20:20:45+00:00
It is about imposing costs on poorly behaved scraping in an attempt to change the scrapers behavior, under the assumption that the scrapers' creators are anti-social but economically rational. One blog doesn't make a huge difference but if enough new blogs contain tarpits that cost the scraper as much as the benefit of 100 other non-tarpit blogs, maybe the calculus for doing any new scraping changes and the scrapers start behaving.
by extr | 2025-09-05 20:20:58+00:00
I was a huge user of Arc until it became obvious it was no longer being supported. For me, it was all about the tab "model". The key things that made Arc work for me:

- Vertical tabs

- Drag & Drop between "sticky" and "ephemeral" sections

- Hiearchically nested folders

- Command palette with fuzzy match to open/recent tabs

- Meeting integration

There were some other nice features ("Smart" folders with GH PRs come to mind), but really 95% of my usage was due to the above. The tab model was so good it actually allowed me to replace "to do list" type tools with just folders of tabs.

For me, I think they had their target market all wrong. They built a bunch of design features nobody used and cared about (custom theming?), when the core pitch was very simple: People LIVE in their web browsers, but everyone just seems to accept that having 100 impossible-to-read chrome tabs open at the same time is somehow acceptable. There are so many browser "power users" out there in white collar roles that don't even realize a better world is possible. These people are not going to be downloading (and likely can't download) a sketchy sounding "firefox fork" named "Zen", but they will absolutely download a professional-looking Chrome fork with security guarantees that allows them to organize their work better.
by bryanlarsen | 2025-09-05 20:21:03+00:00
There are an insignificant number of kitchens with unused 220V outlets. 220V was wired in in case the owner wanted to install an electric stove, but a gas stove was installed instead. The problem is that it's in an inconvenient location and running a 220V/30A extension cord beside a stove is a really bad idea.
by wiether | 2025-09-05 20:21:18+00:00
> If you have a dev team of 10 people and are extremely profitable to where you need licenses you'd end up paying $9 a year per developer for the license.

It doesn't quite change your argument, but where have you seen $9/year/dev?

The only way I see a $9 figure is the $9/month for Docker Pro with a yearly sub, so it's 12*$9=$108/year/dev or $1080/year for your 10 devs team.

Also it should be noted that Docker Pro is intended for individual professionals, so you don't have collaboration features on private repos and you have to manage each licence individually, which, even for only 10 licences, implies a big overhead.

If you want to work as a team you need to take the Docker Team licence, at $15/month/dev on a yearly sub, so now you are at $1800/year for your 10 devs team.

Twenty times more than your initial figure of $90/year. Still, $1800 is not that much in the grand scheme of things, but then you still have to add a usual Atlassian sub, an Office365/GWorkspace sub, an AI sub... You can end-up paying +$200/month/dev just in software licences, without counting the overhead of managing them.
by shadowgovt | 2025-09-05 20:21:42+00:00
And the key thing to recognize is that there's nothing in the system to enforce that standard. "Good at making money" or "Good at running a business" doesn't mean one is good at anything else, or, indeed, is good.

I think it's easy for people to make this error because humans like heroes; heroes simplify things. We want to believe that the people who are succeeding are succeeding because they're virtuous, not because (just spitballing here) the mechanisms we use to evaluate success are fundamentally detached from (if not opposed to) "virtue" as most people would understand the concept. if the latter is true, the world is far messier.

Sometimes it takes all those people voluntarily sitting at the same table as a convicted, unrepentant, and unpunished sexual abuser for the outside observer to "get" it.

Perhaps the still-open question is "Now what should one do with that knowledge?"
by ciconia | 2025-09-05 20:22:08+00:00
This is a problem that ActiveRecord-style ORM's have failed to solve. One possible solution is writing queries like in the article that transform normalized data from the DB into a JSON structure. Another possibility is to design an ORM that is actually capable of taking a set of relations and dynamically building queries with joins, then transforming the returned rows into tree like structures.

This is a very interesting area for exploring a new kind of ORM. I find the whole "CRUD monkey" shtick preached by DHH et al quite lacking for expressing the kind of hierarchical data structures developers need.
by qwerty456127 | 2025-09-05 20:22:16+00:00
I consider banning it uncharacteristic to such. I can hardly consider a state where people are not allowed to access Reddit (as well as HN, Wikipedia or StackExchange) freely and anonymously a healthy civilized democracy. It can still be a very civilized society in general but tightening control on the people like this indicates the government is going slippery slope.
by kulahan | 2025-09-05 20:22:41+00:00
I don't think this is a very big reason. I'm absolutely convinced people in the US are just used to cars, and like with any new piece of software, it has to be 10x better in some way for people to start using it en masse.

Maybe it's a matter of breaking down the costs for everyone to see, or maybe it's a matter of the city providing bus wifi so you can get some guaranteed access to the internet while riding, or maybe it's a matter of putting a police officer on every train.

But busses, aside from rush hour in probably the 10 largest cities in the nation, are always going to be way less convenient than a car. It has to stop a million times, there's no good way to guarantee you'll arrive on time (it's impossible to create a bus route where they stay evenly spaced like a train might handle better), and they never actually get you where you're going - just kinda nearby. Maybe you can transfer onto a bus now, but that's two modes of transportation. And God forbid there's a number of people combining their bus usage with a bicycle. Gotta wait for them to walk around front, unhook it, and hopefully put the bike rack back up so the driver doesn't have to get out and do it himself... etc, etc, etc.

Plus, I'm too busy to find it at the moment, but there's a study showing most people just want public transit so some other people use it and get off the highway. As in, they just want public transit so their car commute improves.

This will almost certainly never get major support; it's just too miserable of a system to overtake our already-crazy-convenient cars.
by delusional | 2025-09-05 20:22:56+00:00
> Yes. Sending your government issued id to random porn sites is asking for your identity to be stolen.

Ah, so you don't understand what's being proposed. Let me clear that up.

The implementation proposed by the EU does not involve your government issued id, but rather an openid style handoff to a trusted government entity, where you verify your identity with your government, followed by a handback along with a proof of your age bracket. The website asking for verification only ever gets to know if you're 16+ or 18+ (or whatever other classification we can make up).

> I can live with revenge porn because it's really amateur porn labelled another way

Fuck you. Get out of here with that shit. Disgusting.
by com2kid | 2025-09-05 20:23:06+00:00
The audio really is banging. Everything from dubstep to heavy metal to classical it handles as well as any car audio system will (which is to say garbage compared to even a mediocre home audio setup, but all car audio sucks due to acoustics of being in a car going down a road!)

Sadly I live in a city now so I can't drive down curvy roads away from everyone, windows down blasting beats anymore. :( (I try to be a responsible asshole! :)
by Yizahi | 2025-09-05 20:23:09+00:00
I'm thinking that we both are fed up with the same bad things happening in society, just call it differently :) . I sincerely hope that one we may have a somewhat free self-governing society with a free market too. Just likely not in the near future, unfortunately.

Regarding the last paragraph, I have a tiny hope for humanity, but I suspect that big change may happen only after some major world scale crisis (if we survive it too). Rebulding governance slowly just doesn't work, governance degrades fasted than we can do anything about it.