skysight-inc/HackerNews huggingface dataset:
Doesn't free market capitalism automatically fix this though?

In the example of a car company with zero women employees, if the market doesn't want "black, angular, high-powered cars", then they will lose market share to companies that produce cars that the market does want.

And if "getting input from lots of people with various backgrounds makes a company much better and more profitable" is a true statement, then capitalism will prove it because the most diverse companies will naturally become better and more profitable than non-diverse companies.
I'll note my displeasure that buttons appear to be disappearing for "smart lighting" products where I assume they expect that you don't want light switches and want to control everything from a phone.

Phillips used to make a great switch, for instance, that was powered by the piezoelectric effect and didn't need batteries. I got a good deal on mine but regular pricing was unreasonable and it's been replaced by something nowhere near as cool. Sengled switches work well and are well priced but whenever the power goes out (10x a year at my location) they drain the battery trying to contact the hub, so I've spent in CR2032's whatever I saved.

(I'm glad Phillips avoided making the own goal of selling off the Hue brand because we'd still like to have a few Western brands in this space. I mean, they are getting their ass kicked by the likes of

https://us.govee.com/products/govee-curtain-lights?srsltid=A...

as it is without a western competitor to DJI we'll probably lose Boeing and Airbus within my lifetime)
God, this reminds me of the worst sort of discussions I’ve had with people who don’t understand the technologies they are working with. I’m sorry for being so negative, but “older technology that's more difficult to cache and proxy” is just nonsense.
The scope of the initiative in TFA is internet connected devices. The devices I am speaking about are the ones relevant to this.
It's pointless numbers which don't provide any insight into a student's learning while on the school level are used to punish schools rather than provide more support.

Since it isn't meaningful to learning, students won't actually care about the test unless there are severe consequences, like taking away the ability to graduate, for not doing well.

Since it's high-stakes for the school as well, they develop lesson plans around teaching for the test (eg, taking time away from subjects which aren't tested), and setting up school rally events to add emotional reinforcement.

This is all opportunity cost taking away from actual effective teaching.

I don't know how you turn that into 'globalist boogeyman'. It's techno-managerial blind faith in measurement rather than trust in educators, combined with the classist view that most people should be trained as meat widgets for corporations, not citizens.
Wow, even with local wake word. Looks like a nice retrofit for my Logitech Smart Radio.
First news report of the incident that got >1.3k points yesterday.
Agreed Waymo cars can drive. Also I don't believe that, say, when a city bus stops on a narrow street near a school crosswalk, that the decision to edge out and around it is made on board the car, as I saw recently. The "car" made the right decision, drove it perfectly, and was safe at all times, but I just don't think anyone but a human in a call center said yes to that.
Not at all? If I was porting a game, I'd at least want to make important behaviors 100% true to the original - accelerations, jumping physics, hitboxes, speeds... these are pretty tedious to reverse-engineer without source. OTOH, the source was assembly and the binaries could be disassembled...
I feel like people who say this haven't read the research about our unconscious biases. My personal "hit me on the head" moment was reading about the Cincinnati Orchestra who started auditioning candidates behind a curtain and suddenly found their ratio of male:female went from 3:1 to 1:1. No one at that organization was consciously discriminating. Everyone thought as you did that they were acting without racism/sexism. And yet (at least) sexism was obvious once they removed it from the hiring equation.

And this leaves people in a quandary. How do you control for sexism when you can't just hide your candidate behind a curtain? The solution society has tried is to mandate ratios. Why they tried this makes sense. It's obvious downfalls make sense. I'm not aware of any other suggestion that is viable.
It depends on the image. If the two images are too far apart then it could require your eyes to diverge, and not to just converge slightly less. That might be impossible.
Are you sure you found the right person? He is a prolific researcher affiliated to NASA https://scholar.google.com/citations?user=5j9m8dkAAAAJ&hl=en

I can’t find anything you mentioned in his Twitter https://x.com/climatehuman
Damn, it works exactly that well.
> unlikely to please anyone and piss off just about anyone that cares about this in any way shape or form, on either side.

Disagree, right wingers will be satisfied by this performative posturing even though there's no real change to existing policy.
> Is that the state of the art for formal methods?

I think the state of the art is quite broad as there are many tools.

Model checking is, in my estimation, the most useful for industry programmers today. It doesn't require as much training to use as automated theorem proving, it doesn't provide the guarantees that mathematical induction and proof do; but you get far more for your buck than from testing alone.

However model checkers are very flexible because the language they use, math, is also very flexible. TLA+ has been used to find errors in the Xbox 360 memory controller before it went to launch as well as in Amazon's S3 [0] -- errors so complex that it would have been highly improbable that a human would detect them and the result of finding those errors and solving them saved real businesses a lot of money.

It comes down to your ability to pick good levels of abstraction. You can start with a very high level specification that admits no details about how the file system works or the kernel syscalls involved and still get value out of it. If those details _do_ matter there's a strategy called refinement where you can create another specification that is more specialized and write an expression that implies if the refined specification holds then the original specification does as well.

Tools for randomness and numerical methods exist and depending on your needs you may want to look at other tools than just a model checker. TLA+, for example, isn't good at modelling "amounts" as it creates a rather large state space quickly; so users tend to create abstractions to represent these things with a finite number of states.

[0] https://lamport.azurewebsites.net/tla/formal-methods-amazon....
From the memo:

> We previously ended representation goals for women and ethnic minorities. Having goals can create the impression that decisions are being made based on race or gender. While this has never been our practice, we want to eliminate any impression of it.

I don't know how they treated those goals, but: you can imagine a large company. The CEO says "we need to reach X goal in Y. Your executive bonus will take into consideration how close you got to X." In a world like that, many (most/all) executives will do whatever they can to get to those goals -- even if it goes against other official (or even legal) policies.

And that certainly would explain a lot of the behavior I saw working at a large company during DEI peak. (Not to say that is any kind of proof of anything untoward).
Yeah that's me. I lack stereoscopic vision so such tricks or 3d glasses etc do not work.
I'm great at magic eyes / stereograms and have a ton of posters around my house with them, but I still had trouble with seeing the differences in the test images. I easily locked in my focus on the overlapping cat images but only one difference stood out to me. I eventually got them all but it wasn't that easy (maybe with practice I could get there). The differences are noticeable when I focus right on it, but when I'm looking at the whole image it's harder to tell what is missing from one eye.
While that’s true, if you’ve already solved punching correlation-IDs and A/B testing (feature flags per request) through then you can use the same solution for all three. In fact you really should.

Ours was old so based on domain <dry heaving sounds>, but by the time I left the project there were just a few places left where anyone touched raw domains directly and you could switch to AsyncLocalStorage in a reasonable amount of time.

The simplest thing that could work is to pass the original request or response context everywhere but that… has its own struggles. It’s hell on your function signatures (so I sympathize with my predecessors not doing that but goddamn) and you really don’t want an entire sequence diagram being able to fire the response. That’s equivalent to having a function with 100 return statements in it.
I agree that it's a bad goal, in terms of how it being a goal corrupts the value itself. Like in Goodhart's law, "When a measure becomes a target, it ceases to be a good measure". But managing a larger entity cannot realistically be done via values, I think. Different people have different interpretations of the same values, and not sharing the values 100% in the first place, so, the values will need to be formulated into more tangible things, like goals, limits, directives, laws, ect. Will not be ever perfect, but I doubt that we have better tools to achieve it.
Yeah but there is no "page" there. Assuming a process starts with an empty page table (meaning every single address will segfault), you don't have to do anything else to get the crashing behaviour for null.

Unless you're talking about some kind of device which supports virtual memory, but also by default sets up mappings, including at 0 which seems weird to me.
How can you state something is cheaper when it doesnt have fixed rates? That claim can only be true at a relatively narrow, fixed point in time.
> And in many contexts in SQL, NULL is treated as equivalent to false, such as within a WHERE clause.

I don't think any databases treat `NULL` as `FALSE` in the WHERE clause. `SELECT * FROM foo WHERE bar = NULL` doesn't return rows with a NULL in the bar column. `SELECT * FROM foo WHERE bar != NULL` doesn't return rows without NULL in the bar column. `SELECT * FROM foo WHERE (bar = 'a') = NULL;` doesn't return rows where bar is not equal to `a`[1]. As far as I know every DB treats NULL as what it is, an unknown value.

It also doesn't to my mind violate the reflexive property because NULL is not equal to anything. It is a marker for an unknown value, not a value in and of itself. If you have a database of every person in a room and what color shirt they're wearing, and in your database, Alice and Bob both have NULL in their "shirt_color" column, that does not mean that Alice and Bob have the same color shirt. Nor does it mean that they don't have the same color shirt. Nor does it mean that someone with a green colored shirt has the same color shirt as Bob or Alice. It doesn't mean they don't have a shirt either. It means you don't have a record of/don't know what color their shirts are. You can't violate the reflexive property because you can't say what color shirt they have. You're not doing `X = X -> false`, you're doing `X = UNKNOWN -> UNKNOWN`

[1]: https://www.db-fiddle.com/f/iVDDRJos1pUqxnuy1jTEEe/0
I use that in combination with base16-shell [0] to set different color profiles as a protection.

[0] https://github.com/chriskempson/base16-shell
Seems like very good news for Huawei: the US limiting GPU exports to the majority of countries on earth will give those countries a reason to purchase Huawei GPUs, even if they're a generation or two behind. Because a slower GPU is better than no GPU.
It creates a compound literal [1] of type array of int, and initializes the specified array positions using designated initializers [2] with the results of calls to puts().

Using designated initializers without the = symbol is an obsolete extension.

[1] https://gcc.gnu.org/onlinedocs/gcc/Compound-Literals.html
[2] https://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html
So your accepting of something you don't need but could be useful to others is totally opposite of the design not having a hood. Just because these females don't need it, they made it so nobody could use it.
You mean Starship 2, right? Because Starship top capacity demonstrated was 1 banana. That's why Elon already started hyping how awesome Starship 2 is gonna be. Because it becomes obvious for everybody that Starship will perform below even most modest past predictions.
perhaps it goes without saying but they don’t only employ front line store staff.
Collins has cited "The King Must Die", Mary Renault's book about Theseus and the Minotaur, as a primary inspiration for the The Hunger Games, FWIW.
Only a few million little bumps, no big deal...
Rainforest is not a good analogy, imo. It presumably is an important part of an ecosystem and also sort of a nature’s museum. Farm animals are absolutely synthetic and barely play any positive role in ecology. So if you cut a single farm animal, I don’t see why 8 billion others shouldn’t do that or should feel bad doing it.

All that said believing no animals should get slaughtered. If we do it to some, could as well do to many. See https://news.ycombinator.com/item?id=42642138 tld: I don’t believe in reducing numbers, because the reduced numbers mean nothing to the animal being slaughtered.
First news report: https://www.king5.com/article/tech/university-of-washington-...

It contains a statement from the university as well:

> "On occasion, the Registrar will place a temporary registration hold in order to prompt a meeting with a student about a potential policy violation. This is standard practice." Victor Balta, UW Spokesperson

See also the dedicated submission of the news report: https://news.ycombinator.com/item?id=42658766
I think these efforts need to be done at every level at the same time, and I agree that the "lower" or "earlier" levels need to be prioritized. Similar to how prevention is usually preferred to reaction.
Not all the characters in season 1 had debt problems; the main girl for example wanted to bring her family from the north. Also have you seen Parasite by any chance?

I think you’re wrong, anything can be used for making money. I don’t think any major studio would refrain from funding anything if they felt it would profit.
They are always incredibly upset about extremely mild "insults". There's a 50/50 chance you get downvoted for pointing out their weirdness.
> Volvo had women design a car once.

To be more specific, Volvo designed a car specifically for women and chose to staff that team entirely with women. This is quite different than asking a team of women to design a car for everyone, and I feel that’s important context when considering the design decisions they made.
Pseudonyms in American History (2023)
DEI is a new name for and/or refinement of a long existing concept that gave us things like the abolitionists, suffragists, the Civil Rights Act of 1964 and the Americans With Disabilities Act.

As with "negro" and "colored", the new positive term eventually became a slur via concerted efforts from its opponents. ("DEI mayor": https://www.npr.org/2024/04/04/1242294070/baltimore-key-brid...)
you better read history on colonization in Africa. letting foreign companies to have a grip on resources (data and propaganda channels in modern days) wont end well for host nations.

If you guys are so pro business why blocking TikTok and other Chinese firms?
Use your browser to zoom out and make the images slightly smaller
Eventually, even the 1.0 version that Apple turned over to Microsoft leaked.

https://macintoshgarden.org/apps/macbasic-10

Here are a few books on using MacBASIC that had already been printed before Microsoft forced the cancellation of the product.

https://www.macintoshrepository.org/26114-vintage-macbasic-b...
If you get to the end you find that the pain was all self-inflicted. I found it to be very easy in Python with standard stacks (mysql, flask, redis, requests, etc), because you literally just do a few imports at the top of your service and it automatically hooks itself up to track everything without any fuss.
Everyone will be insulted equally.
From a control system standpoint, if you have one control that rotates both eyes the same number of degrees left or right to determine gaze direction and another to rotate both eyes the same (positive) number of degrees inward to control fixation distance, you can't specify the left eye rotated left of center and the right eye right, even if each eye physically can rotate that way. Not sure if that's how eyes actually work though.
So we end up in a world 20 years from now where most applications still don't use that. I guess the main problem as described here is the mapping, as argument splitting was just one of the possible things that break (next to argument validation or bad file names).
I’ve tried this in the past without luck, but suddenly I can do it now after reading about the subtle “shimmer” effect. Very cool!
doesn't teaching english lead to more brain drain?
Nice job, I'll have a deeper look at it when I'll be back at the large screen.

SVG link for the impatient: https://raw.githubusercontent.com/lars-solberg/kubesec-diagr...
>racism and sexism is becoming less popular.

In the world generally, I see the opposite, rising tensions.
I agree. One image of what it is doing would improve the comprehension of the algorithm.
B2B tech, specifically ad tech for the biggest chunk of time
Big part the French Revolution is not by chance called “la Terreur”.

You can acknowledge that the values the revolution promoted are good, aristocratic rule needed reform, while still being clear that revolutions are not a peaceful thing, especially not for poor or marginalised groups.
50.000 people executed is quite some birthing pains…
> (TLDR: X didn't adhere to all of Brazil's regulations and refused to pay the resulting fines so a judge deemed Starlink a related company and blocked payments to Starlink until X complied.)

IIRC, the judge didn't block payments to Starlink; instead, the judge told the banks to take the value of the fines from the Starlink bank accounts.
Note that switch case ranges might be coming in C2y though.
> Or, better yet, the gay satanic-panic currently gripping half the country, and the insane culture war being waged around it. You can't actually believe that all those people who have strong opinions about it have been somehow personally wronged by homosexuals.

Or the satanic panic over Dungeons & Dragons in the 1980s. One of the cops ("school resource officers") in the middle school I went to still believed in that nonsense and it was the early 2000s by that point.
Do they still serve ads when you subscribe?
This is an amazing podcast - I'm glad I took the time to listen
Google Fiber had the same effect in Austin, it's so awesome.

There are no data caps on any providers because Google Fiber doesn't have them. Everyone upgraded their service to try to match Google's speeds, so Gigabit is easy to get pretty much anywhere in the city. Google is offering up to 8gb now and ATT is trying to match those speeds.

Company reps regularly knock on doors trying to get people to switch to their service offering deep discounts for 1 year+.
It is also the case in the Falkland Islands, where the horrendous de-facto ISP charges £110 a month for 100 GB [0] of data usage at a top download speed of 5 (five, literal five [V in roman]) MBPS, while Starlink offers unlimited usage for £60 per month at an average download speed of 130 MBPS.

We are still facing challenges due to an exclusive license government have with this company, known for their predatory conduct [1]... People here are having to use Chilean addresses to register the kits and pay for a mobile package.

[0] https://www.sure.co.fk/broadband/broadband-packages/

[1] https://guernseypress.com/news/2024/10/02/sure-ordered-to-pa...
Ask HN: What Are the Must-Read Papers to Catch Up on AI Research?
After being a software founder for the last 8 years, I spent the holidays diving into AI research papers, lectures and trends to try to catch up to frontier of public AI research.

I tried putting together a guided list of some of the key papers and topics to help filter through the noise and crowded landscape: https://github.com/henrythe9th/ai-crash-course

Are there any other seminal papers or topics that you'd recommend or that I missed?
Is this the same scam as "standard SQL"? Switching database products is never straightforward in practice, despite any marketing copy or wishful thinking.

Prometheus ecosystem is very interoperable, by the way.
They also got rid of some messenger themes: https://www.404media.co/meta-deletes-trans-and-nonbinary-mes...

You can argue about the proper way to do DEI or not and its effectiveness, but this is all blatantly political. I mean, if someone got some enjoyment out of having those themes, what's it to anyone else?
> Doesn't free market capitalism automatically fix this though?

Free market capitalism:
(1) does not exist,
(2) structurally cannot stably exist (because economic power and political power are fundamentally the same thing),
(3) is a utopian propaganda concept created in response to and to deflect critiques of the way that the capitalism that can and does actually exist works.
Nextcloud has a first-party plugin that keeps a version history, which is very useful to enable to mitigate issues like this. That combined with the default behavior that deletions on devices only go to the trash on the server turns it into a real backup option.
Same thoughts. I’ve also received that email today and got really disappointed
Exactly where did I advocate breaking the law in this thread?
> Doesn't free market capitalism automatically fix this though?

The companies we're talking about have DEI programs specifically because they believe they'll improve their profitability in one way or another. Meta is scaling their program back, not ending it, so they still believe it's good for the company in some way.

Now, I may be skeptical of the purity of their goals, in this case suspecting that they're more concerned about looking to be the "right level" of diverse than actually achieving it. Regardless, no one's making them do it. They're doing it for those free market reasons.
Basically, opting out is the most reliable way to not accidentally give Google full access to private use data because backups are stored in their cloud by default.

My understanding is that this was the same for Apple until they added e2e encrypted backups, but Apple users seem much less sensitive to privacy violations done by Apple (which is probably reasonable given that Apple is not as focused on profiting off of data)
Yup I used to do this with tile floors as a child.
Wouldn't Korea have medical debt for the cosmetic surgery which is very popular there? Or is that sort of thing free too?
I find there's a two step process, first overlapping the images (but which makes the images blurry), then letting my eyes refocus so the middle image is crisp. Only then does 3D or shimmer effect happen. Takes some practice to merge the images while maintaining focus for me.
I was about to post this same exact post :)

Was the high score holder on there for a few years.
Ask HN: Why do you work in a startup?
Why choosing to work in startup vs a big corporation? What motivates you? Financials matter in this equation?
A successful archival of one of those ISBNs will light up; four of those ISBNs remain dark. Yet they have that content archived. It means that lighting up the entire grid is not necessary to achieve their goal.

Indeed a bigger problem is that it’s much harder to know which areas of the grid are never going to light up because the ISBN has not been used.