skysight-inc/HackerNews huggingface dataset:
This doesn't give you the ability to process ideas through the derived new insights, any more than loading the contents of a VLSI program into regular RAM gives you an FPGA.

The linear-algebra primitives used in LLM inference, fundamentally do not have the power to allow an LLM to "emulate" its own internals (i.e. to have the [static!] weights + [runtime-mutable] context, together encode [runtime-mutable] virtual weights, that the same host context can be passed through.) You need host support for that.
You might be too close to the screen.
As mentioned by philip below, 500 spans is a very small amount. I have seen customers send 1000s of spans in a trace very easily
Even more broadly, what are the normative success and failure visions for DEI? At what point does an organization say "DEI mission accomplished?" To be charitable to the whole idea, it seems to be well-intentioned. But beyond that, it's empty in terms of what pratical outcomes it actually sought to make real.

Maybe I'm just not someone cut out to be an activist, but without articulated end-states, it strikes me as just teeing up for a perpetual struggle. That doesn't seem too fulfilling.
Mount Wilson is home to not just the Observatory but also nearly every Class B FM radio station serving L.A. as well as 10 TV stations.
Yeah, that was the oldest reference to humans hunting humans I could muster.
Try the second test image (the one labelled "Hard", with the snow). That one was far easier for me than the first (the cat one).
To reduce eye strain, don’t cross your eyes, but relax them (so, the other way). Instantly clear and snaps together as if magnetic.
It is extremely telling that when you hear "DEI specific role" you wrongly imagint that refers to the identity of the person rather than someone who's role it is to work on issues around diversity, equity, and inclusion.
The threshold is when ideals meet actionable outcomes.

And it's not a utopian system.
For those interested in the information exchange about this same article: https://news.ycombinator.com/item?id=40753989
Any recommendations for when you can't get the images to quite overlap?
I feel like I can get 75% of the way there, but then they start going the other direction. I can do magic eye easily.
If a role is specifically set to be filled by diversity hires, I really don't understand how that's not racist (or choose your descriptor here) towards whoever has been excluded for that role.
There was a flagged post here on HN recently from some right wing grievance YouTube channel, it was talking about how Microsoft refuses to hire white people, but the evidence for this clearly incorrect claim was coming from a guy who says on LinkedIn that he is a principal software engineer, at Microsoft. So, it doesn't exactly scan.

DEI programs in software companies boil down to this: if you only hire your friends from Stanford then you are going to severely under-represent Black candidates and massively over-represent Asian candidates, because you are simply copying and pasting the entrenched bias of that institution. To compensate, you go and set up your recruiting table at the job fair at Howard. It's all actually quite straightforward.
The Hot Market for Books About Bloodletting and Delivering a Baby in 1669
Contrast Meta's stance with Costco's, when [Costco responded][1] to a shareholder that proposed Costco prepare a report on "the risks of the Company maintaining its current DEI roles, policies and goals."

Our success at Costco Wholesale has been built on service to our critical stakeholders: employees,
members, and suppliers. Our efforts around diversity, equity and inclusion follow our code of ethics:
For our employees, these efforts are built around inclusion – having all of our employees feel valued and
respected. Our efforts at diversity, equity and inclusion remind and reinforce with everyone at our Company
the importance of creating opportunities for all. We believe that these efforts enhance our capacity to attract
and retain employees who will help our business succeed. This capacity is critical because we owe our
success to our now over 300,000 employees around the globe.

[1]: https://materials.proxyvote.com/Approved/22160K/20241115/NPS...
Yes, it is. Here's a list of world leaders congratulating Trump on his election. Almost all of them did it on X.[1] Now that's market share.

[1] https://www.msn.com/en-us/news/world/list-of-world-leaders-c...
Minimization of regulatory risk and lawsuits. Compliance was _always_ about that - if leadership truly valued human dignity you’d see Gaza get a few orders of magnitude as much attention as BLM in corporate America, rather than a few orders of magnitude less.
Wanted to thank you for the share, added "Reverse Mathematics: Proofs from the Inside Out" to my reading list which was referenced in the article you posted: https://www.goodreads.com/book/show/34928283-reverse-mathema...
Dijkstra for example didn't think so, I think. He had a din view of testing as compared with proofs for ensuring software correctness.
Mostly Lora training not full finetunes. Eval for image gen is esp. hard because if you look at AI generated images of someone for too long you can start to miss which one looks more similar, even with your own images.

And yes model training is available on the site, the serverless pipeline itself was easy, making it fast(less than an hour) and have the most similarity while being flexible enough for a general user was the hard part.

Let me know if that answers your question
Rails definitely seems optimized for creating code, but how is it at maintaining code? I've never used it, but it seems like Ruby's dynamic types would make it really challenging to do large refactors. What techniques do rails developers use?
Claims have been made (outside the medical mainstream) that regularly practicing crossing your eyes helps stave off presbyopia. One does get better at seeing stereograms with practice, so it seems like it at least improves some type of muscle control.
Idk about how it is now, probably the same, but a few years back, at Microsoft hiring managers would need a VP permission to hire a straight white male candidate if their "diversity" quotas weren't yet met.

I was a part of an interesting convo at Google as well, about 9 years or so ago, back when women were at the top of the DEI hierarchy. A female hiring committee member told me that they often give "a second look" to female candidates, while men never get such preferential treatment. I tried to convince her that this is discrimination but never got anywhere.

And yes I get it, it's "anecdotal" etc. But surely you don't expect companies to willingly disclose plainly illegal discrimination themselves?
I haven't done enough with Alloy to speak with any degree of competence with it, so I'll only speak on TLA+.

While I do think TLA+ is relatively easy to pick up (especially compared to Isabelle or Coq), and I think it's pretty awesome, I'm hesitant to say it's as "easy to pick up as Python". You need a basic understanding of set theory and state machines to even get started, and more advanced concepts like algorithm refinement to get into the really useful juicy stuff.

When I've tried to push TLA+ at work, the mathey syntax is usually a non-starter for most of my engineering colleagues. I don't think my coworkers are stupid by any stretch, but they are decidedly uninterested in re-learning any discrete math (if they ever learned it in the first place, which isn't a guarantee). For an engineer LARPing as an academic like me, TLA+'s notation isn't really hard at all, but I will often forget that most engineers only think in code.
It’s not? https://modern-sql.com/concept/three-valued-logic
Linux distros universally use the Mozilla root store. So if a CA told Mozilla "to go pound sand" as suggested by likeabatterycar, the CA would end up distrusted not only by the "2.5%" of browser users, but by every Linux server.
Are there more pics? It seems kind of sleek.
There were teeth, in that your own performance review (as a leader) would be affected by it. Depending on your level, your own promotion would require certain stats for your teams for it to be approved. So people made all sorts of decisions - including hiring people they shouldn’t have hired - in order to push those numbers to where they were forced to. The same happened behind closed doors on promotions.
I created a new account on Twitter to see what new users see and the website is unusable. It's basically 4chan now with Elon Musk and sports.

Anyone defending people should try it. See how long you don't see and Elon Musk post or other hateful far right content.
There are two methods, either you cross them either you do like you’re describing.
I don't picture Factorio's base pallette to be drab, but if you do, you should check out the color blind mod that amps up the colors and adds distinct visuals for things that would otherwise need color to distinguish . ETA: did you play 2.0 or an older version? They've spruced up the color a few times over the years.

https://mods.factorio.com/mod/colorblind_ultimate
Based on what I've seen internally at several $LARGE_CORPs, a 90 day expiration was more than painful enough to cause teams to invest in automation for rotation. I don't know that cutting 90 days to 45 days would help move the needle further.
NB autostereograms require you to move your eyes away from each other, the opposite of crossing them. To put it another way, crossing your eyes is what your eyes do when you're looking at something close to you, while the opposite is when you're looking far away.

Which is why for ASGs people advise you to look past the picture. Or why you bring the pic close to your eyes (so close that you basically have no choice but to look beyond the picture)
Not in games.
I’ll stick my neck out and assert that “cheap” films are better, anyway: movie budgets’ sizes are inversely proportional to the producers’ risk tolerance; therefore, big money films are devoid of originality and any message they carry is nought but masturbatory self-aggrandisement.

The best films I’ve ever watched, that which had the biggest effect on me, were TV-plays and self-funded documentary-films.
> Indeed, the easiest way to convert someone to wanting an EV is by giving them a short test drive, where the advantages of electric propulsion become apparent.

Perhaps something like those state policies that require an ultrasound before abortion. All car buyers must test drive an EV first.
My Piano teacher used to have this book on her coffee table with images like this. You could blur and cross your eyes, and the image would combine to become 3D.

But I never knew this technique could be used to spot the difference between images. Very cool discovery!
I think the practical outcomes that are your KPIs are higher diversity from a leadership standpoint, and within the organization.

There's nothing empty about that. It's measured, and evaluated.
Simpler near-term, but more painful long term when you want to switch vendors/stacks.
I mean that's just confabulating the next token with extra steps... ime it does get those wrong sometimes. I imagine there's an extra internal step to validate the syntax there.

I'm not arguing for or against anything specifically, I just want to note that in practice I assume that to the LLM it's just a bunch of repeating prompts with the entire convo, and after outputting special 'signifier' tokens, the llm just suddenly gets a prompt that has the results of the program that was executed in an environment. for all we know various prompts were involved in setting up that environment too, but I suspect not.
OK, that fascinates me and it's a great example of things that would never occur to me. Run-flat tires aren't a big deal because I'm not bothered by the idea of changing my own tire by the side of the road. Ponytail indentations in the headrests? I have short hair that doesn't need it, but alright, I can see why that'd be great for people who do.

And a key takeaway is that those things don't make the car worse for me. I know there are tradeoffs with run-flat tires but that doesn't make it less good, and while I can change tires, it'd be nice not to have to. And the ponytail indent makes it nicer for some people without affecting me whatsoever. Those make a more appealing product for buyers with different needs from mine, in ways I couldn't have anticipated.
Overweight and obese people (70% of US population) are typically the ones trying to lose weight.
yes, dull, but not rough or grainy that is exactly correct. It should be uniform, no grains or chunks, no crystal structure, no boundaries but smooth.
The problem isn't evil, but the lack of any leader standing up for good (using simplistic terms). The evil is always there, in our souls and in our society, as is the good; we just need to choose and use the latter to check the former. Who of any serious stature is standing up to Zuckerberg, Musk, Trump, etc.? The absence - the empty stage - is shocking.

It is one of Biden's great responsibilities, but he has long abandoned the country and the world in this essential sense and bears great responsibility for the outcome.

As a simple example, who is standing up for the LA fire chief? Is the mayor, the governor, national leaders? If they have, they are highly ineffectual - I haven't heard a thing - which is also failure on their part.

It's the responsibilities of many others. It's the responsibility of people here, in our own small community. If you are the leader, and now we all are, it's not your role to toy with the latest thought experiment; it is to make a just community. This isn't hacking the new thing, it is building critical human-rated systems on which lives, freedom, justice, and the future depend.

It shouldn't be hard for organizations to implement just policies: Agree to eliminate anything that favors one group. Agree it should be equal to everyone. And that means majority and minority, powerful and vulnerable: Eliminate anything that favors a group, including what favors the powerful majority group - which is mostly what is favored.
Show HN: App helps to remind to move more in your everyday life
I wanted to share something I created to solve a problem that I'm sure many of us face. As a remote developer, I often find myself getting so deeply focused on coding that hours fly by without me moving from my chair. You know that state of flow where you're crushing bugs and shipping features? Yeah, it's great for productivity, but my back was definitely not thanking me.

After dealing with increasing back pain and stiffness, I realized I needed a solution that wouldn't break my focus but would help me remember to move throughout the day. None of the existing apps quite worked for me – they were either too intrusive or too easy to ignore. So, I did what we developers do best: I built my own solution.

I created the iOS App LetsMoveIt, a movement reminder that puts you in control. The key feature is its flexible timer system - you can set custom intervals that match your natural workflow. Whether you prefer short breaks every 10 minutes or longer intervals during deep working sessions, you can customize it to fit your style. I personally found that 20-minute focus blocks work best for me, but everyone's different, and that's exactly why I implemented different intervals.
I think the key is not "going cross-eyed" as much as it is relaxing your focus until the images merge. If you intentionally cross your eyes, it hurts. If you de-focus/relax your eyes until the images merge, it doesn't hurt.
Yeah, what people miss when they talk about hiring "the best person for the job" is that a company is not composed of well-defined roles and fungible people who do the job description and nothing else. Ideally, you're building a team that is greater than the sum of its parts. Even if someone isn't the most proficient person on the planet for a given role, they might be better for your team as a whole.

What I'm skeptical of is that DEI programs in bigger companies were ever anything more pandering. There was an "enlightened self-interest", but it was that the regulatory and cultural environment made it difficult to attract talent without at least paying lip service to DEI. Now the winds have shifted, and — surprise! — their "enlightened self-interest" no longer includes pretending to care about it.

This isn't a critique of DEI programs specifically, by the way. I think any social initiative at a company fulfills basically the same function: environmental pledges, etc. The point is to make your company look better without actually changing anything.
Turning off biters is one of the options during game creation. There are several options in fact, you can keep biters but reduce aggression or just eliminate them entirely.
"As it turns out, principles are for sale"
That would still be limited eventually, at what point do we stop adding layers?
>making broad generalizations not supported by the data.

There are psychologists who do not do this.

There are not very many psychologists who do not do this.
> Those aren't the only options. You (or someone) could also write your own compatibility layers for the APIs that avoid some of the problems I mentioned (e.g., by producing errors on inconvertible characters, by being compatible with former Windows versions, by not affecting other DLLs in your process, etc.)

That's akin to writing a partial C library. If MSFT makes UTF-8 as the codepage work well enough I'd rather use that.

> Or you could e.g. get upstream to start caring about their users on other platforms, and play ball.

The upstream is often not paid for this. Even if they get a PR, if the PR makes their code harder to work on they might reject it.

Microsoft has to make UTF-8 a first-class citizen.

> I don't think you're understanding the problem here. Interaction is not part of the picture at all. You might not be loading the DLL yourself at all. DLLs get loaded by the OS and user for all sorts of reasons (antiviruses, shell extensions, etc.) and they easily run in the background without anything else in the process "knowing" anything about the at all. Your program is declaring that everything in the process is UTF-8 compatible, but those DLLs might not be compatible with that, and so you're just praying that they don't use -A functions in an incompatible manner.

You mean changing the codepage for use with the "A" functions? Any DLL that does that must go on the bonfire. There's a special place in Hell for developers who build such DLLs.

> "Depends greatly on the context" kinda makes my point. It can turn a zero-copy program into single- or double-copy. Generally not a showstopper by any means, but it sure as heck can impact some programs. And if that program is a DLL people use - well now you can't work around. (Yes, there's a reason I listed this last. But there's a reason I listed it at all.)

I'm assuming you're referring to having to re-encode at certain boundaries. But note that nothing in Windows forces or even encourages you to use UTF-16 for bulk data.

> The reality is Windows isn't UTF-16 and nix isn't UTF-8, which was the crux of most of my points.

Windows clearly prefers UTF-16, and its filesystems generally use just-wchar-strings for filenames on disk (they don't have to though). Unix clearly prefers UTF-8, and its filesystems generally use just-char-strings on disk.
The file picker is precisely where case-insensitivity should be done; the rest of the application should already have the correct file name.
That was not the case in my experience. I am learning that we all have vastly different experiences on what the implementation was, making the discussion rather difficult because we are all talking from very different vantage points.
H-1B visa lottery is shutting out top talent
Notable due to it being written by Bloomberg's editorial board, acknowledging the failings of the program.

> First, the lottery — by design — doesn’t reward top talent. This deficiency, coupled with loose oversight, has made it vulnerable to gaming and doomed to mediocre results. A recent Bloomberg News investigation found that IT staffing firms routinely flood the pool with entries, often for more visas than they need, crowding out companies that play by the rules. These practices — which US officials have called fraudulent — prioritize a sector that tends to pay relatively low wages for routine IT work. (New rules to curb abuse don’t go far enough.) As a result, many of the world’s smartest engineers are shut out from the most lucrative, in-demand jobs, and shortages at the top end persist.

> Second, visa holders with middling skills are more likely to be substitutes for, rather than complements to, American workers. Replenishing the job market with extraordinary talent that can’t be filled domestically increases productivity, innovation and growth; saturating it with lower-paid workers will tend to drive down wages. Official data show that 85% of H-1B petitions are awarded to employers paying well below the median wage, as determined by occupation and location.
I don't know much about Axios. Can you elaborate on what the clear motivation is?
How will they collect payment without an in-country business entity?
Also title:

<title>Meta rolls back DEI programs in latest bow to Trump</title>

It's the text on the tab; I'm curious where else it shows.

Just below:

"description": "The company cut its DEI programs as it pushes to make inroads with the Trump administration days after it ended its fact-checking programs."

These seem to support that the OPs title matches the tone and context of the article.
If we’re going to boil this frog, we need to steal wisdom from TLA, not teach it. Type systems have borrowed a lot from Hinley-Milner, and are themselves a formal, partial proof.

I think I’d like to see a descendent of Property Based Testing that uses SAT or TLA techniques to rapidly condense the input space in a repeatable fashion. We should be able to deduce through parsing and code coverage that passing 12 to a function can never follow different branches than 11, but that -1 or 2^17 < n < 2^32 might.
Discussion (128 points, 137 comments) https://news.ycombinator.com/item?id=42657901
For a different approach, in addition to exercise, check out The Circadian Code by Dr. Satchin Panda, a researcher at the Salk Institute. No calorie-counting required!
Show HN: Opensourcing Sparse Autoencoders for Llama 3.3 70B
Did Costco ever have a diversity issue? I don't think people are worried about getting more representation among grocery store cashiers.
https://archive.today/4Sbwg
Alloy is a brute force model checker (for rather small models).

Is that the state of the art for formal methods? How do you think of formally verifying systems with floating points calculations, with randomness, with databases and external environments?
Symbols can have a lot of political power.
I can do both pretty comfortably, but there’s a definite bias to parallel, way easier for me.
> it 100% does not come with a screen

There are plenty of "all-in-one" desktop PCs that are a PC with a built-in screen. Apple, Dell, HP, Lenovo, and others make them.
Do you think there is a functional difference between those words?
The Tragic Turn of the Frightnrs' First – and Last – Record (2016)