skysight-inc/HackerNews huggingface dataset:
I would love to see a survey of mobile phone users to see if this matters to them. I’ll take a guess it doesn’t matter because Google would be flaunting the results.

As for negative effects on kids. There’s more than just phones. Clothes, cars, vacations, social media posts, tutoring, sports. Maybe we should put everyone in uniforms, don’t allow kids drive to school, ban sports, and forbid them from talking about their vacations. And everyone was equal.
The Teams moat is bulletproof. This is proven by the fact that their product is objectively worse yet will never lose market share because it is “free”
Whats wrong with that blurb? The only bit missing a citation is "most societies have men over women", and that seems fairly unproblematic
3.0.6 was released 3 days ago: https://mta.openssl.org/pipermail/openssl-announce/2022-Octo... and apparently had "Fix for custom ciphers to prevent accidental use of NULL encryption ([CVE-2022-3358])"

https://www.openssl.org/news/vulnerabilities.html#CVE-2022-3...

1.1.1r was "Added a missing header for memcmp that caused compilation failure on some platforms"
You are talking a totally different point here!

Being discriminated against in job opportunities and so on has NOTHING to do with being white. Tying them inextricably together is completely unnecessary and pollutes the conversation with borderline racism.

Being white is as simple as being black, or any other race: it’s your lineage/how you are perceived/how you identify/etc all wrapped into one and can be complicated. It is not at all dependent on your rights, or level of discrimination.

In all laws that grouped treatment on race (segregation, Jim Crow, quotas, etc) Irish people fell into the white category, every single time. Despite harsh miscegenation laws, Irish people could “intermarry” other white people without any issue - because it wasn’t intermarrying - they were all considered white. That they also received other discrimination is irrelevant to the question.

Would you suggest Irish people aren’t white even today? All the same arguments that “demonstrate” racial discrimination: longer jail sentences, lower incomes and wealth, etc for black people show Irish people trailing behind white averages too. So even though nearly every American would consider Irish people to be white, because of the discrepancy in outcomes you’d say Irish people aren’t white?
> Taskbar icons are always combined and you can't change it.

That's an immediate no-go for me, why in the world are they sliding backwards in functionality?
How do you message when you don't have wifi/data? I can SMS from more remote places than I can any internet-based service.
I'm in a similar mindset, but I often buy physical media copies of such things instead of pirating them or even if I pirate them. I want to support the art, because I'd like more of it in the future.
Hydrogen is well known and studied to cause many issues with steel, generally brittleness and crystal structure defects. In situations where it’s important that cracking doesn’t occur, it’s common for low/no hydrogen electrodes in welding be required, for instance.

That using a method of production that naturally exposes it hydrogen would produce higher quality steel is surprising! We should still definitely have a link to the study!
Tree Trimmer Dies After Falling into Wood Chipper in Menlo Park
Yes.

When working from home, I would see kids in my neighborhood--admittedly, not many--walking to school, though whether that meant walking to a bus stop, I don't know. I do see a lot of kids on the bus in the morning, though the unaccompanied ones seem to be of middle school or high school age.
There is "LODA", which uses genetic algorithms, that continuously mutates existing math programs until discovering something new. It uses OEIS as training data, around 350k known integer sequences, such as primes/fibonacci. Around 100k programs have been mined so far.

https://loda-lang.org/

I'm a contributer to LODA.

LODA runs on CPU. It doesn't use GPU. If you have spare computer, then please consider contributing with the mining. Your contribution helps.

https://boinc.loda-lang.org/loda/
This is just a PR release. I hope their claims prove out. But there is no evidence supplied and breathless PR releases seldom go anywhere.
Rick Dickerson? Is that you?
Thanks! I guess I'm using Raycast (instead of Spotlight), so it actually need a reindex.
Ubuntu's path to success in the cloud was building an audience of kids, students, and experimenters of other kinds who went on to work in IT and software development later in their lives/careers. When they had choices of what to deploy, they saw that what they 'grew up with' was available and had comprehensive support, and they gladly went for it.

Maybe Ubuntu/Canonical's position is secure at this point, having cemented themselves as a major brand on the popular cloud environments, in WSL, and as the de facto target platform for popular proprietary software (e.g., Steam, Discord, Slack, Google Chrome, VS Code) among GNU/Linux distributions. But things like embedding ads in APT, the telemetry once built into Unity, and pushing an immature implementation of a containerized app platform with a proprietary repository backend (Snap) have made Ubuntu harder and harder to distinguish— culturally— from the corporate, pushy, stifling, restrictive desktop operating systems available from Microsoft and Apple. Ubuntu is still worlds apart from either of course. But it's no longer the breath of fresh air it once was, in comparison to them. At the same time, Ubuntu no longer stands out as miles ahead in terms of usability or newbie-friendliness.

And so for the next generation of tinkerers experimenting with Linux (who might yet become the next generation of Linux developers and Linux sysadmins), Ubuntu has already been largely displaced (chiefly by user-friendly/OOTBE-oriented downstreams of Arch, as it happens) in that place of discovery, experimentation, and pleasure at home.

It's not that Ubuntu is a horrible catastrophe all of a sudden. It's that when you've been using a suffocating corporate product for your operating system for your entire life, using an operating system that isn't a product at all is a bit stunning once you realize what you're looking at, like those photos of Pyongyang where advertisements are banned and the bus stops are instead decorated with paintings and photos of natural landscapes. In its early years, Ubuntu still felt like that, despite Canonical's (shifting) hopes for it. I don't know what I hope for in relation to all this, exactly, but I know for sure that if I were growing up learning Linux/Unix/FOSS today, I'd have no interest in Ubuntu.
Every company, once it reaches a certain size, only can grow materially through certain venues: government contracts, financing, advertising, etc.
Your apathy, lack of principle, and submission are boring and unconvincing.
> Benevolent sexism

I mean, when attending a birthday or christmas party, who buys the presents?

Bias means that judgment about a topic doesn't match reality. But is it really bias (or even more loadedly "sexism") to think that stereotypical women do more likable things if we were to assume that was perhaps actually true?

Imagine, for example, saying that it's "benevonent species-ism" to think that animals are on average more likely to be quadrupedal than humans. That'd be a silly assertion, because we know for a fact that this is true, and because the idea of more legs being better is weird for human standards. This thought exercise then begs the question: if we do think that thinking "women are nicer" is a form of bias, then what is the reality? Is the implication that they are not? That niceness should account for things other than nurturing attributes? According to who?

IMHO, the more interesting aspect of the observation of this effect is what it says about the people talking about it.
The wiki article on automated theorem proving is quite bad as an overview of the active field; it's more a historical article about the mid to late 20th century. Most of the interesting things in automated reasoning have happened since the naughts, and that article kind of stops in the 90s

SMT solvers have gotten quite good over the past couple decades, there are tons of domain-specific tools (eg in software and hardware verification), tons of niche applied decidable or semi-decidable theories (eg various modal and description logics), a lot of progress on the proof assistant ("non-fully-automated theorem proving") paradigm, and so on.
Given the way our society is becoming more and more ad-focused, I have started to think that marketing should be taught to more people earlier. My first marketing class was a 300-level elective in my junior year of college, and it was invaluable in understanding the subtle ways advertisement is meant to reel you in, and how nobody is truly unaffected by advertisement, no matter how much they think they are.
>I can buy individual episodes or seasons...

Can you, though? By this I mean, what does "buying" an episode/season look like? Have you simply paid for a license to watch the content via the provider you subscribe to as long as the provider continues to hold onto it's agreement with the rights holder that allows them to host the content, and you continue to pay said provider a monthly access fee? Or do you possess a physical copy, or a digital file, of the episode/season, un-DRM'd, on a device that you own?
I think they are talking about explicitly transposing it in memory here. A "transpose operation flag" is pretty a standard feature for linear algebra libraries.

If someone is writing a higher level object-oriented linear algebra environment, having the matrices carry around a "transposed" flag that they can pass to BLAS seems like a reasonable thing to do. Since, other than in Julia and Matlab, matrix stuff is usually an add-on, we can't really blame the language for this decision IMO.

A downside could be -- usually your underlying tuned library will be BLAS and LAPACK, which don't accept a 'transposed' flag for every single operation. So, from the user point of view, it could be kind of confusing -- "when I transpose a matrix and then go on to multiply, the transpose is free. But if I transpose a matrix and then go on to hit it with QR, it for some reason incurs this weird extra cost -- not where I do the operation, but later, in the QR."
Indeed, that's a common issue too with historical events.

But even scientific things. I can't read Mandarin, but I've been told many times that many subjects on many linguistic concepts on the Chinese Wikipedia look very different and that seemingly English-language linguistics and Chinese-language linguistics can come to very different conclusions from the same data. That of course is troubling in and of itself, but it should be featured proportionally.

From what I understand, among English-language communication, the Altaic language hypothesis has essentially completely bee discredited, but many linguists in Asia apparently still consider it plausible. — I don't have the expertise to judge who is wrong and who is right here, but English-language Wikipedia should either give those voices a proportional weight, or, at least note that it is discredited among English-language linguists, as right now it arouses the impression that it's globally discredited.
as far as comms goes - nothing can speed it up - but yes the idea of using relays makes comms more reliable/repairable
> "I don't talk to green bubbles" has been a thing for at least five years now…

Almost always as a joke. And if you search HN, nearly all conversations about this PR-manufactured "green bubbles" outrage have happened since the launch of Google's campaign.
It does, and what I do is remember/bookmark the things that are in the weird channels, and then subscribe to one and cancel during the free period, and binge watch them all. muahahaha
So it is indeed racial discrimination in your opinion.

I think DEI proponents fail to grasp the whole picture and miss how they are increasing racism. And that picture isn't even that large. Pretty important skill to have as you said too.
I would agree that the linux kernel is not anarchist, because only one mainline production version is released- the most recent with Rust, for example. I actually think the wish to view linux as a binary "joined" or "not joined" to the mainline branch is actually a false dichotomy. A better way for software developers to research new software would be to re-examine the purpose of monolithic kernels, and re-evaluate why they are used in the first place. I would say monolithic kernels are more of a convenience, rather than a necessity. I wrote a blog post on this yesterday: https://iotmote.substack.com/p/exokernels-unikernels-and-sin...

Edit: There are other projects that the Linux foundation supports or affiliates with. One is https://xenproject.org/developers/teams/unikraft/ So I wasn't suggesting that the main kernel is the only one, but I think software developers and the tech news websites that cover them could balance the coverage more on different tools that seem to be more "future-proof"
Yes?

That's a glib statement that applies so widely that it's not really relevant.
It's not just a question of efficiency. How expensive is the equipment? And in particular, if it's using intermittently available power, how expensive is the part that must be ready to absorb that power? For hydrogen it's electrolysers (and perhaps compressors); for that scheme it would be the oxide electrolysis cells.
I don't see the value in generating a mountain of content with an AI to trick the search engine into ranking you high. That's only good for attracting millions of visitors and hoping that 1% of them accidentally buys something from you.

I would rather build a great relationship and trust with a few thousand people. There is nothing an AI can help there. I don't have to be a crummy used-car salesman, and consistency is not about ranking, it's about your customers knowing that they can count on you for their needs. It's search engine proof too as presumably Google will keep changing things in a way that reflects reality, and reality is on your side if the people keep looking for you to scratch their itch.
I think this outlook is completely rational. I think the last bit is painfully true if you've ever been in a similar position and want to shout the injustice from the rooftops and future job interviews.

However, I think it's near impossible to actively maintain this clear headed detachment in many working arrangements. Unless your job has a lot of independent autonomous work time, you're stuck most of your waking day in this environment. The mental capacity to keep this grounded outlook while handling the daily job stress is too much IMO. Plus I believe we are somewhat wired from evolution to work in cooperation with others and have some need to feel valued or at least accepted in our work with others.
This is a great idea! I hadn't thought about it.
I'm currently fixing the major bugs and refactoring the code a bit, and when I finish that, I'll get to your idea, I find it really interesting.
Never had a tabbed browser need a monthly subscription though.
> pay less or none at all

Maybe because there is always a free alternative that is better than yours.

Whereas iOS users only has the App Store, and if they don’t pay they don’t get app.
You introduced 'low level', and GP said 'contractor', maybe the fees were enormous ('I turned around XYZ Corp as CEO, and I can come in temporarily and do it for you too').

(Also note that what organisations term a 'project' can vary a hell of a lot.)
The idea that Tim Cook is Batman is pretty far fetched.
I'm not really answering your question, but in the States, there is a lot more trust placed in Apple over Facebook. This isn't that surprising - Apple has a much stauncher stance on privacy than alternatives.

I wish Signal would be more popular, but it's just not. I can't really ask new people I meet to communicate over Signal because it's a burden to get others to install some new application.
"Then one of the developers moved house, temporarily misplaced his headset, and we haven’t used it since."

That is basically every real-world (pun intended) story about VR I have ever heard. "It's great! We used it once or twice."
IronVest bets on biometric AI to stop identity theft
“The last bastion is Apple TV. Apple is going to be a very good ad experience with probably a low ad load. They’re already actually very diversified in terms of revenue streams so there’s less pressure to fit lots of ads.”

If it's true now, it won't be later on.
What was flagged?
This is boiling the frog though? These services were sold to us as something without ads. Seems really mob-like for the services to say to me: pay more or we're going to start showing ads on the thing we sold to you with the promise you wouldn't have any ads.

Rinse and repeat another year later.
I don't get it. All I see is an SVP, who has the power to just say "Stop it" apparently jealous of this engineer's popularity and pushing him out to remove the personal threat, not company threat.
it was the most successful marketing campaign targeting developers. And now you're writing about it. I would say that's anecdotal evidence of success.
you can also tell the model that it doesnt know how to do math, and it respects that

https://twitter.com/goodside/status/1568448128495534081
Stability AI will give up control of /r/StableDiffusion to the community
Sidebar, but I care about the headphone jack issue and am still annoyed by it.

Bluetooth headphones just aren't very good, and we've all gotten in the habit of buying a new pair every few years because they either break, get lost, are unsupported, or have bad batteries.

I previously had the same pair of IEMs for almost a decade that had better sound quality, replaceable cables and eartips, and didn't ever run out of battery. Never did I complain about the cables being annoying or in the way, and never did I complain about the presence of the headphone jack, or the Bluetooth chip onboard.

Removing headphone jacks was a horrible misstep in my opinion and we're stuck with the path dependency it's created now. It's probably not long before we have laptops that omit 3.5mm audio jacks as well.
The search in teams is so unbelievably terrible.
> They want (woke) social liberals who look different, and at least in America wokeness is just about the most white woman thing you can do.

You do know that any traction you are getting with these arguments goes out the window when you start using terms like "woke".
Glass + collection programs exist in Central America, and it quickly became apparent the biggest victim of glass reuse is branding. In that environment, standard bottle shapes in standard colors do best, and you can’t run a flashy marketing campaign with a new batch of labels.

It explains why plastic is so favored, but it’s also depressing, as I consider branding mostly zero-sum.
So you gave your CEO an ultimatum (guy can no longer by your manager or you're out), and then when he does nothing to resolve your situation, you backed down from the ultimatum? There are other robotics companies in the world.
The situation is actually much worse for science, or any moving field. This models are by design and necessity historical. So that if, for example, the FDA issues a drug approval overnight, The model camp follow sudden changes in a “reasoned” why.
It’s almost as if he thinks the FBI might stand in the way of his re-election.
Two mis-informations don't make a truth.
Maybe they know your previous salary, but they don't know how many offers you have. You just have to put your foot down and say you won't move if they offer less than X and state that you current salary is irrelevant as they up against other companies not your current one.

I managed to get a significant salary bump even without having a job, because I made sure they understand from the beginning I'm happy to walk away.
If the protocol allows it, it's legitimate. Welcome to the future of money.
Wait you think Marx was pro science? He denied the supernatural, but like all ideologies reality is secondary to dogmatism. Don't forget he was routed in Hegel.

See Lysenkoism:
https://en.wikipedia.org/wiki/Lysenkoism

Marx's ideas were refined by Antonio Gramsci who offered social Hegemony as a means to achieve the utopia. To the extent that science is a sense-making part of society it must be taken over by pro-marxist/communist forces. It's the only way to assure the success of marxism.

https://link.springer.com/article/10.1057/palgrave.cpt.93001...
Pretty much. Not surprisingly, Wikipedia does a much better job explaining it than I did [1].

Zaireeka is the eighth studio album by American rock band The Flaming Lips,
released on October 28, 1997 by Warner Bros. Records. The album consists of
four CDs designed so that when played simultaneously on four separate audio
systems, they would produce a harmonic or juxtaposed sound; the discs could
also be played in different combinations, omitting one, two or three discs.
Each of its eight songs consists of four stereo tracks, one from each CD.

[1] https://en.wikipedia.org/wiki/Zaireeka
Perhaps not. my kids are ad-free (8 and 11), and when we visit family with a tv, at first they laugh at the ads and wonder why people fall for them, or what the ad is even for. They just turn the tv off and do something else when the ad interrupts what they were watching at a critical moment (dad, get this show later ok? I can't stand seeing that ad again).

Also, many ads now are like insider jokes, trying to poke a certain market.

I notice people who are used to it can just stare at the tv during the ads, even during a conversation. They go to the bathroom at the recap part of the show. I think TV ads are crafted to create a partial attention.
The problem is that the results of this study aren't benevolent from the perspective of men.
Once upon a time, the visual difference between PC and console used to be shocking. Now? Even reviewers have to freeze frame and zoom in 400% and pixel peep to show a difference. I honestly think graphics have been 'good enough' to not be distracting since the x360/ps3 days. I still haven't seen a demo of RT that makes me go 'wow, those reflections are totally worth tanking my fps'
You may look at the stuff carved on the outside of the Saqqara boxes yourself. Even images you can find online are wholly adequate to reveal how crude they are.
I agree with most of your points in principle, with a caveat. Harming another's feelings does constitute harm, but there is the confounding matter of how much responsibility we place on the individual to avoid such harms. Somewhere between spending our whole lives walking on eggshells and sociopathy is a healthy balance, both for each of us as individuals, and the sum of us as a society. It's fine to disagree where on that spectrum we believe things should be.

In any case, I doubt this was a helpful expansion, just felt important to say.
Nasmjf Forth: NASM assembler port of JONESFORTH
Satellites in a Dyson swarm can use the Sun's light for stationkeeping, acting as a solar sail. It doesn't work that well at Earth's distance to the sun but the swarm would be much closer to maximise power production per satellite.
Something similar happened to me at a startup recently. It was truly nightmarish and I was glad to get out of there.
Indeed. ACAB and Defund The Police advocates have sullied a very real and reasonable response to a very real problem through aggressive messaging :/
FWIW, iron reduced in hydrogen is known to have a very high magnetic permeability, surpassed only by one of the Metglas alloys.
I don't think it's so much a refusal, as that it's not been a sufficient priority for anyone before. As the article points out there are now a few training sets which includes math problems, and models which do well on them. But the remaining problems seems to be with basics which humans tends to learn to do consistently with a lot of repetition, and it'd be interesting to see those datasets extended to the very simple.