skysight-inc/HackerNews huggingface dataset:
You might be right, do you have a source?

They are fine with tons of telemetry and candy crush ads on the start bar. There were also other instances were Microsoft shared data before Google.

In addition to that, one could argue they already share date from businesses source code with copilot.
When your "source" is a group that is basically the textbook definition of dishonest media, you should probably consider your entire position suspect.

> This law seems like an extreme reaction, but to what many people believe is already an extreme situation.

Many people believe a lot of really dumb things, that doesn't mean anyone should care about what they think or act based on it.
I am confused:

"From a proof-theoretic perspective, Heyting’s calculus is a restriction of classical logic in which the law of excluded middle and double negation elimination have been removed" (1)

"Intuitionistic logic can be understood as a weakening of classical logic, meaning that it is more conservative in what it allows a reasoner to infer" (1)

How is this compatible with:

"The systems ZF and IZF (ZF but without LEM) are equiconsistent." ?

(1) https://en.wikipedia.org/wiki/Intuitionistic_logic

Seems to be quite subtle (proof theoretic strength and consistency strength)

(2) https://mathoverflow.net/questions/126002/interpretability-a...
Oh boy, the pharmaceutical companies can sell a new product to help solve the mess that one of their previous products created.

An opioid that's more potent, more addictive, and more deadly than heroin should never have gone to market in the first place. It speaks of enormous corruption and a complete lack of ethics when regulators didn't see an issue with fentanyl and let it move forward.

The "but people are in pain" argument doesn't hold up very well when heroin is safer and has less potential for abuse but they already made illegal in the US.
“Learn to code.”

That’s what folks were crassly saying to truck drivers, baristas, and cashiers.

The writing was/is on the wall: AI is only going to get more powerful and able to be applied to more and more complex tasks.

The thought was that “unskilled” labor would be the lowest hanging fruit, that automated AI - with some (but minimal) human oversight - would replace serious chunks of the workforce in various minimum-wage and “blue collar” sectors.

Machines don’t necessarily need to sleep, they don’t have labor unions, or laws that require healthcare or overtime pay. They don’t get upset, take things personally, seek revenge, or reciprocity like a person.

Sounds like that could be a threat to many kinds of jobs, many of them “bullshit jobs” (in the words of Graeber), but others as well.

It seems (to me, at least) that the more immanent threat is text-based AI - with some human oversight - replacing large swaths of the tech workforce (many of whom were leading the narrative about the truck drivers).

The incentives for companies like Microsoft, Amazon, Google, and others, to go this route are obvious, beyond the stated reasons why “low-skilled” labor is at risk. They already have enormous investments, acquisitions, projects, established platforms, and infrastructure related to AI.

I expect to see more partnerships like the one between Microsoft and OpenAI, from all of the major tech companies.

I also believe the connection between the acquisitions/partnerships and the mass layoffs will become more and more obvious as these acquisitions/partnerships continue to happen.

I can’t be the only person that is noticing this…
If you can get your population to believe that the other choices are literally demons trying to condemn them to hell, it's an easy fear based decision for uneducated voters.
It could help with inflation thorough tanking real estate prices. Housing prices increase is a large part of inflation.
It’s just a matter of time and cooler heads before it is widely recognized that our reaction to Covid was a huge mistake.

I hope future generations learn from how ill prepared society was to deal with 24/7 news and social media. None of this would have happened even 10 years earlier. It just wouldn’t have been possible.
Umm, there's a teacher shortage because everyone's moving to Florida. They had the largest population growth in 2022.
I keep my 3d printer in a second bathroom with a strong exhaust fan. When I use it I just close the door and let it do it's thing.
I've found it to be a square peg and a round hole. In every organization I've worked with. I'm always in a "support" team, which is more of a horizontal capability. Something akin to legal, accounting, etc. We exist to support vertical teams that can align with SAFe/scrum stuff.

We should only have scrum tickets tied to us that require sprint-specific work from a timing perspective. Otherwise, it's retroactive "tracking" points later on or preallocating points ahead of time for "support work" which is absolutely pointless.
The Ares I had an even bigger flaw in that any abort during the first minute would result in the capsules parachute intersecting with fragments from the SRB plume, killing the crew.
Those metrics are culturally specific and the dataset of okcupid is limited to people who go on okcupid and volunteer answers to such questions. It's a classic case of participation bias: https://en.wikipedia.org/wiki/Participation_bias (see "Alf Landon wins in a landslide" for the famous example).

The takeaway here is that straight single middle aged men who chase after woman, are on ok cupid looking for them, and who fill out this survey, are on average, looking for younger women.

Those results cannot be seen as representative of the general population based on the methodology used here.

It gets worse. Similar to the Alf Landon flaw, this could simply be exposing the demographic makeup of the site. Perhaps men think there's a promise on okcupid of younger women so it self-selects for those proclivities. Perhaps women think there's a different promise so they come accordingly.

You have to extricate that. Otherwise, it'd be like going to a gay dating site, running a survey and then come out with some earth-shattering ground-breaking claim of 100% of men saying they prefer intimacy with other men. I mean, duh, look who you're asking.

That's not to say these results don't hold generally, they might. But this is not evidence supporting that.
Editions were proposed in 2017, but were postponed. I haven’t heard of any forward movement on it lately.
"The cost of an interruption is not just the time it takes, but that it breaks the time on either side in half. You probably only have to interrupt someone a couple times a day before they're unable to work on hard problems at all." -- PG
I think Netflix is better served getting exclusive rights to top IP that differentiates them from others. They don't have many memorable brands that people would buy a T-Shirt for.
Like a $5B deal for exclusive streaming rights to all Nintendo IP (think live action Zelda, animated Mario Kart series for kids, Metroid series for adults, etc).
Carbonate-silicate cycle breaking means photosynthesis can't, chemically, happen, not just that its being hotter makes plants less happy.

My point isn't that life can't exist otherwise (ocean vents exist—though, you do need an active core for that—and anaerobic life is a thing, as you point out) but that only certain routes, even assuming there are some wildly different paths that might work, will yield enough energy to support complex life. You need a system that's reasonably stable (i.e. tends to prevent a variety of runaway events, turning them into cycles instead) even when life itself is changing the environment. Sometimes life will step in to do that if you get lucky (as in the oxygenation crisis, which you mentioned) but the planet itself needs a bunch of stuff to be just right, too—not just conditions, but processes.

I suspect there are lots of planets with some bio-goo on them, maybe even quite a few with things as complex as some insects or crustaceans. I further suspect there are very few (perhaps about as close as one can get to "none" without reaching it) that could support something like (even for generous values of "like") our giant tree of vertebrates. Not enough energy available, or, there is, but the world lacks the processes to stop life's own effects from wrecking the environment and stunting its own potential.

Then there's the fact that even complex life doesn't seem to necessarily lead to advanced intelligence and civilization. I mean, look at how long it took humans to develop writing! All that other stuff had gone just right, and intelligence emerged, and we happened to be a tribal species (probably), but we still puttered around for, what, a few hundred thousand years? The dinosaurs had no space program, nor the birds, nor the whales, nor fish, despite existing for tens or hundreds of millions of years—intelligence and the right kind of cooperative pack/tribe behavior to let it flourish seems to be a really rare combo, even when everything else has worked out very well for complex life.
> Working in a different environment

By this, do you mean working in a different physical environment from where you relax? Or continuously changing your work environment? Or something else?
I wasn't high-up enough to have that kind of number, sadly :D

It's an interesting question, though -- I'm sure Amazon had a very favorable contract, so to your point, probably less than 30%.
Yes. This one was hard for me to explain. I've discussed it with others too and might try to rephrase it again in the post.

As far as I know, there's no other git command that let's you (as easily) change which commit a local branch is pointing to without first checking it out. And "without checking it out" is the crucial part.

If, as the example tried to explain, you have a huge piece of software (think C++ monorepo) that takes ages to build, unnecessary switching of files back and forth easily messes up build tools relying on modified timestamps to determine what needs to be rebuilt. (Sure, blame the build system, but that might not be a trivial fix.)

So, in that example, the use-case is to make sure the branch is up to date before switching to it. (And you could of course argue that why don't you just create a new branch, which is also a completely valid approach).
I see a few people advocating for putting one person on support each sprint, rotating through the team.

This works fine for small teams but for larger (and with large, older codebases), the ramp-up time for being an effective support dev becomes a drag because it can be months between support stints. We don't all have eidetic memories and forget the tricks we use to diagnose production issues.

To counteract that we've recently put a developer on a 6 month rotation, and support them with a rotating backup. This allows the primary support developer to not only stay productive fixing issues but also surface intelligence around the problem areas in our app (ie: what's always needing support) and construct tools to make resolution easier or better yet convert to a self-serve.

I infer from your comment that you're a smaller team so perhaps you won't need to put someone on a long stint, but you might want to consider doing so anyway in order to have a resource pave the proverbial cow-paths and make it easier for the team in the future.
Minimal Cross-Platform Graphics
The complete story is that NASA was spending millions on space pencils, because of floating, very sharp, bits of graphite creating various risks.

This was also after the tragedy of Apollo 1.

Meanwhile Soviets used grease pencils, which while safer, were horrible in usability.

Fischer's private development of space pen was quickly picked up by both US and Soviet space programs to solve the problem of writing in space.
A Python package for modeling causal graphs embedded in knowledge graphs
You must be the beneficiary of very cheap electricity.
Screenshots of what exactly? Installing packages? Running nixos-rebuild switch? I guess screenshots of a bunch of text.
That the operation would work on the '2D' surface of a sphere but not when planar suggests that the complexity isn't the issue, it's the geometry.
Might be a local thing. I tried earlier and can't find one within 100 miles, central PA.
$550 bundles everywhere though
Only waste if it's defined as such. People get to decide how "bad" spending time doing things is for themselves.
Hydrogen can also be "reformed" from other fuels, most particularly natural gas, or through carbon capture and storage (CCS).

There are trade terms that have emerged, including "black", "brown", "grey", "blue", and "green" hydrogen which ... aren't especially clear or consistent in my experience.

WEF have a 'splainer, though I'm not sure the classifications are universally accepted:

<https://www.weforum.org/agenda/2021/07/clean-energy-green-hy...>

Apparently NG -> H2 is "grey" or "torquiose", and CCS is "blue".

"Green" is hydrolysis from renewable electricity.
There are I think three classes of meds now. I don't recall the specifics but they try you on the non-stimulant one first which for us didn't do anything.

My son takes Concerta which is an extended release drug that basically gives you the minimum viable amount over the course of about 8 hours. By late afternoon it's gone, but it gets him through school just fine. He eats a huge breakfast and dinner so his mostly ignored lunches aren't an issue. No problems with sleep and he's definitely not "high" while taking it. It just balances him out to where he should be.
Rust certainly appears in at least one version of the paper; they even call it “RUST” through most of it.
My bad - it was Justin Frankel at Nullsoft (Winamp):

https://en.wikipedia.org/wiki/WASTE
Even if it sometimes lied, I would pay real money for a service that answered questions like "How do I cook basmati rice in an instant pot? Google has lost the plot on queries like this, and I don't have time to wade through the masses of bullshit it returns. I would guess that the average person would be in the same boat, preferring a simple answer that might be wrong to an endless stream of blog spam.
I love Obsidian! Great recommendation.

:)
OpenEnroth – Open reimplementation of the Might and Magic 6, 7, 8 game engine
> $5 says it just makes teen pregnancy happen at higher rates btw.

This is a feature, not a bug.
Zero to Nix introduces Nix, not NixOS the operating system. So, there's not really a need for screen shots as Zero to Nix it teaching how best to install and use Nix on any Linux or macOS. For that, code snippets are convenient I think.
This is not going to be enforceable.
This seems utterly insane to me as a solution compared to just making it possible (without facing extreme criminal penalties) to buy what you think you are buying. I haven't checked but I would guess that the number of fentanyl deaths for people who buy cannabis from legal businesses don't typically get product that is contaminated.
Just my two cents: Nix doesn’t guarantee “reproducible”, just “repeatable”. (I think it’s helpful to keep these technical concepts distinct, and to introduce the right terminology when teaching, since it makes elaboration easier in the future.)
Yes, all of the above - and much more.
Badly, I've had some trouble maintaining employment in the past because at times it's just hard for me to start something. It's bad. I've been able to break some parts of the pattern, for instance I can manage to exercise daily now - but there are times where I wonder if I'll ever be able to cram enough productivity into a given day to really measurably improve as an engineer.
Just stop making sprint commitments. If your priorities change from day to day, what use is a list of priorities from two weeks ago?
Relative Memory Access Speeds (interactive)
I will try this in my next holiday.

It is really exhausting to read those online reviews/guides and try to find some places to eat/visit. So next time I will buy maps with recommendations and follow them. If it's not good, I will buy a new map locally.

That's it. No more reading reviews on every top rated restaurants nearby and trying to guess if they are fake!
Sure, but the practical limit is basically the attractiveness of an environment, economy & availability of jobs.

All things being equal, how many people want to flock to Iceland to work in tourism and fishing? Maybe with the right immigrants one could replicate their last financial bubble & crisis.
I recently received a free one of these at a garage sale. The daughter of the nuclear physicist who used it during his career had it out and said I could have it for $0.50. I didn’t have small bills or change, so she just gave it to me.

I knew “of” HP calculators, but hadn’t yet deep dived into _why_ they were cool. This kicked it off for me. It’s probably on the original battery.

I suspect maybe she knew it was worth a fair amount, but didn’t care. She seemed very zen with the idea of reducing the amount of unused items in her life. It was a very cool, eclectic sale by two home-based artists.
"First" in this case was just getting the first element of the iterator, it wasn't related to choosing a value from the set.

The Axiom of Choice is equivalent to the following:

1) "For any set A, there exists a function from non-empty elements of the power set of A to elements of A."

Which is equivalent to:

2) "There exists a function that takes a non-empty set as input, and returns an element of that set"

2 -> 1, since we can take the function 2 defines, and use it to define the function from 1.

1 -> 2 since we can define 2 as such:

For a set A, take the power set of A. Then take the function that 1 claims exists. Use that function to get an element of A, since A is an element of its power set.

But back to your core point:

But I agree that Iterator is a bad fit for the axiom of choice, since we have an (uncountable) number of sets to pick from.

Here's a way to phrase it programmatically that allows for uncountable sets-of-sets:

The axiom of choice claims that given a set of non-empty sets, you can construct a new set which contains an element from each of the sets.

pickOneFromEach :: Set (NonEmptySet a) -> NonEmptySet a

If you have a function:

choose :: NonEmptySet a -> a

And a function:

map :: (a -> b) -> Set a -> Set b

then you can define pickOneFromEach as follows:

pickOneFromEach setOfSets = map choose setOfSets
> What does this accountability mean?

It means to own up to one’s mistake and fixing it. It isn’t that mysterious.
Google is the initial assignee and a patent provides exclusionary rights to the inventor of a technology. Great if someone else thought of it earlier but no one published anything using it or thought to get a patent, because otherwise this very important patent would have been void and it wasn’t.
How about this crazy idea that instead of bringing war to those nice neighborhoods, to try to make all neighborhoods better?
It's also party because India has a robust ecosystem of local companies that handle payments, including real-time payment methods such as UPI that are specific to the country and these are already well integrated into Amazon.in

Honestly the ubiquity of UPI and the rate of it's adaptation in India always surprises me. I hear stories of how small, often illiterate vendors selling tea for 10 cents on the streets would insist on getting their payment through UPI and not cash because it's more seamless.

UPI handles about 200 million transactions a day in India. I think Visa does like 150 million on their global network?

https://en.m.wikipedia.org/wiki/Unified_Payments_Interface
This does not universally hold, though.

For example, the "clean-room design" method of copying a work exists precisely to avoid potential copyright issues. One team reads the original work and writes a description in such a way that it cannot possibly be infringing, and a second team reads the description and creates the new work. This avoids any chance of someone reading the original work and incorporating potentially infringing aspects into the new work.
I'm having trouble understanding why 'revenue is not really all that relevant.'

If you're burning $40M a year, and you press a button to save $90M a year, yes your label costs are the same but how are you not now at +$50M a year?
Thanks for your good wishes. It's not going well actually, the downloads are very few after 10 days and no paying customers. The App Store seems like a desert, even there are not many competitors in transcription, still the app impressions and page views are very few. What I see that people trying to do marketing outside the app store.
> lockdown bad because covid is fake, don't get vaccinated

Then you are living in a massive information bubble. It is completely laughable that every single intelligent person in the world is automatically on board with some of the most dramatic and least thought through disease mitigations in history.

Science is a process for disproving theories. It isn’t a book of facts and it doesn’t have the capability to set policies. Well meaning, intelligent individuals can look at the data and come to completely different conclusions than the widespread narrative. For three years these people have been intentionally silenced.
Great idea!

Old marine maps had various landmarks on them, along with their height. This allowed you to get angle and distance, giving you the opportunity to calculate position with pen and paper even if you only had a single landmark in view.
If you just need call forwarding to a few numbers, plenty of SIP providers offer that out of the box, no need for Asterisk. You can also typically register a SIP phone or softphone directly with the provider. I have used Asterisk for 15+ years for my e-commerce business, so it is familiar. Asterisk can be overwhelming at first, and it can be difficult to find current information (there's a lot of old info out there that no longer applies). You would want to use PJSIP these days, so if you can find a guide for setting that up you should be good. If you have basic experience setting up Linux servers then you should be able to provision a basic asterisk server instance in a couple hours. I forward my main personal number to several cell phones with cheap plans where I can't disable voicemail, so to make that work I configured it so that I press one to accept the call. It also recognizes when I call in from one of those numbers and gives a dialtone, so I use a prefixer app to route outgoing calls through my Asterisk server as well. None of that is necessary if you use a softphone, but I'm often in the mountains where data is spotty. I enjoy the challenge of setting things up and learning new things, but I don't see this as the right route for everyone. I think you should be able to find commercial offerings similar to GV these days, so I would start by looking around for that. If anyone wants to start a business with me to offer a good GV alternative, I might be into that.
That's it!

https://en.wikipedia.org/wiki/Casio_fx-7000G

the screenshots on the Wiki article are giving me great nostalgia vibes.
What happens to the non-profit aspect of OpenAI as a result of this deal? How much money are we talking about, that is, what's the scale of the deal? Do you have any proof that building on Azure will work for OpenAI?
I'm not trying to be silly, I guess I should watch one of those videos but I can't imagine not being a pro dog walker my very first walk? I guess I have the complete wrong view of this job as "low skill".
The largest topics you're alluding to (sanctuary cities and marijuana regulations) have to do with federal versus state jurisdiction.

True advocates of small government support states' rights over the preposterous power grab of Wickard v. Filburn. Especially when it manifests as states not using their own resources to enforce the otherwise mostly unenforceable desires of the federal government.
I can see them 100% getting into podcasting and picking up Joe Rogan when his contract with Spotify ends.
one can easily jump between companies.

one can not easily jump between countries.