skysight-inc/HackerNews huggingface dataset:
I would say that there is a lot of interest in some quarters for this sort of solution, as it might mean that we could save the GBR without curtailing the energy industry.
I think resistance to these ideas might be related to dealing with the symptoms; high ocean temperatures, rather than the causes; human-induced climate change.
I support science-based evaluation of all these ideas, but without ignoring or addressing potential causes.
I thought it was about destroying the planet and enabling the ever-growing financial inequality.
>We have a box of bricked Google branded handsets in the office.

And here's why:

>It’s quite normal. They’re not worth repairing or replacing.

People have bricked and broken iPhones fixed all the time. In my small 50k citizen town there are three shops that only fix iPhones. That's all they do for a living. There's exactly zero "Android repair shops". At best you could ask one of the iPhone shops if they can help. Please stop this myth of Apple devices not breaking. They break all the time.
Since when is disk space the bottleneck for email hosting? Do you not intend to offer features like search?
Not very on-topic, but I find the notion of a forgotten remembering stone hilarious.
I’m an amateur musician (29years old, for reference). I can play the piano and the guitar and sing, but ever since I was a child my most innate musical talent was whistling.

Something I have noticed about the old radio hits from the 50s-70s is how fun many of them are to whistle. Most contemporary pop, rock, r&b, country can’t hold a candle to the popular songwriters of that era in terms of whistle-ability.

What I take away is that the popular songwriting style in that time was very “melody-forward” like in the days of tin-pan alley. Today I can tell that many songs are written in a more “mood-forward” way, and artists are more interested in exploring tambre than to make an absolute ear-worm of a melody. The result IMO is that those mid-century songs will have a lot more staying power.
> Elementary school chemistry: Gold is the least reactive metal

Yet another case of elementry school chemistry over-simplifying and getting things wrong. Silver and platinum compete with gold, even if you stay within the realm of elementary school definitions of metal.
On iOS 1Password is definitely the most polished password manager. If I’m paying the family price, I’m not going to get a less good UI.
> That's the meaning of const in C++, C and a few more languages. In most other language, it just means that the reference stored in the cell corresponding to the variable is a const, just as you say. I don't think that's too bad, except when switching languages too often.

Haha, I see - it's been a long time since I used C/C++. But n terms of general understanding and in the context of languages becoming more functional I still think that const is not a great choice. But you have a good point.

> Scala has great support for structural typing. (One of it's main advantages IMHO), e.g.:

I would not call this great support. If the support were really so good, there would be no or much less need for things like shapeless and chimney.

In your example you make it so that you can pass any object that has a speak method and yeah, that works. But change the type of speak to Integer, add another one for string and then create (not pass!) a simple data-holding object that you can pass to it, without defining a case class first. Then the syntax is not so nice. And composition for these kind of things becomes tricky quickly.
Pretty much like Putin or Lukashenka. Both were elected democratically in the first run. The problem is, they stayed in power long after their democratic mandate expired.
> Otherwise, people might abuse it.

So first, "crawling" a website is not abusing it. It's simply using the website and there's nothing wrong with that. Then, i believe that "not found" JSON message was not intended as an anti-scraping measure, but was in their view a meaningful error in the sense that i did not request info about a specific crate so the API responded "not found".

What's weird is no specific Accept header, http://crates.io returns 301 with some HTML, and https://crates.io/ returns 404 with some JSON, while in a browser you get a proper 200 with HTML. I just found that pattern very confusing, but hey maybe i'm just an old dinosaur and that is the future of web development.
> That said, you can end up with a static method that takes 20 parameters, which is always fun.

I used to get upset about this, but now I embrace it. If a business method requires certain things to operate, then modeling those things as arguments to the method is totally reasonable. Some business is complicated and messy so we would expect more arguments to be involved. Trying to sweep reality under the rug just makes things 10x harder elsewhere.
https://www-heise-de.translate.goog/hintergrund/Googles-Kame...
Well their observation is completely wrong. Timing is the most important factor which matters. I have seen thousands of extremely good non-political, neutral, tech related articles not getting a single upvote if it is submitted at times most of US/Western Europe is sleeping.
Old thread: https://news.ycombinator.com/item?id=17060303
I looked up one. It was announced by an air force general in a press conference.

So yeah, real woodward and bernstein stuff.
Quantum Computing in Silicon Exceeds 99% Accuracy in 3 Independent Studies
> But I can certainly understand how public companies make decisions in their search for infinite profits.

Well yes because it's not exactly novel or complex. My point isn't that there is no rationale it's whether we should just blindly go along with it.
They will bail the moment they hear negative interest rates on cash or a land value tax.

Negative interest rates on cash would eliminate cash hoarding and prevent the rich from withholding money from the economy which is currently forcing the central bank to loosen monetary policy to keep the money in circulation stable.

A land value tax would absolutely destroy the housing market and stock market because lots of companies (think of franchises like McDonalds) are real estate companies in disguise that let someone else do the work while they own the land and lease it out to subcontractors.

In both cases, the value that was "destroyed" wasn't really there, it was a collectively shared hallucination.
> Australia has been seeding clouds since the 1960's uninterrupted

So... can we conclude yet that it does not work for saving the coral reef?
Not everyone is willing to pay for mail service for custom domains.
Paid email services already costs near or below disc storage prise.

Limiting attachments - the only possible way for free ADs-based alternative.
Often this translates to children who have difficulty communicating with their peers no longer really being able to interact with their peers and getting the "other" label applied quite literally.

I'm not sure that's the fault of such programs, I had that label applied without needing a special program.
I highly recommend original language + subtitles in original language when you try to get better at that language.
I sure hope so. If I get an SMS/RCS from anyone on my android device I typically freak out, just as I freak out when people call me on my phone number.

Phone service protocols feel very outdated to me and are prone to scams, which I get from time to time on SMS, but I'd say never on whatsapp, or at least I can't recall any scam attempts.
From the link:

> The MFA options range from a six-digit code sent via text message or phone call to code generator apps and FIDO Security Keys. ID.me even suggests using its own branded one-time code generating app, which can “push” a prompt to your mobile device for you to approve whenever you log in. I went with and would encourage others to use the strongest MFA option — a physical Security Key. For more on the benefits of using a Security Key for MFA, see this post.

So they don't allow MFA via email? I hope at least they allow the phone number to be international.

> After this, ID.me requires the verification of your phone number, which means they will ask your mobile or landline provider to validate you are indeed an existing, paying customer who can be reached at that number. ID.me says it currently does not accept phone numbers tied to voice-over-IP services like Google Voice and Skype.

How does this work if you don't have a US number?

edit: From this thread: https://www.expatforum.com/threads/us-irs-id-me-sign-in-app....

> Correct, I spoke to an IRS rep yesterday and he told me that it is practically impossible for a non-US resident to gain online access to their records or other service. The security ID process demands US phone and street addresses. They can't set it up for you either so there's no point in asking

...

> One document they asked for is a current electricity bill to confirm the address, had to be less than 90 days old.
Not possible unless you have a property in the US.

...

> Both, ID.me told me they are not allowed to register non-US residents so I called the IRS. They confirmed that and also that they could not register me for an online account either.
Welcome to the 21st century!

Wow you really can't make this idiocy up.
That doesn’t seem to me inevitable from syndication. If all movies are competing simultaneously, there’s pretty good incentive to not be derivative of one another.

And if all theaters play all movies, there’s pretty good incentive for the business not to be dependent on one person.

And with indies, that don’t fall into “all movies” categories, there’s a pretty good incentive for a theater to optionally try them out anyways, as a differentiator beyond service.

The fact that Hollywood managed to do anyways I think is despite the incentives being against them.

Whereas in the current system, Disney and Netflix need to make the exact same movie twice so they can both have it in their catalog, to meet whatever checkbox. Or ape each other’s unique movies to avoid the “you need 5 subscriptions to see everything” problem
First, this proves that investment in drug discovery for all pandemic potential viruses, fueled by basic science research, needs to be a huge priority going forward. Imagine having antivirals on the shelf for the Coronas, Avian influenza, Nipah, Ebola, etc. to stop pandemics before they started.

Secondly, I’m a little curious whether if we’d ideally administer Paxlovid in double- or triple-therapy, like we do for HIV and Hepatitis C, if we had the option.
Will resistance arise to it in the next 12 - 24 months? Would love to be assuaged of my fear here.
Why would coral culturing specialists like Madeleine van Oppen be the best at testing atmospheric alterations? Do you mean that the ultimate effects on the corals are important, rather than just a reduction of insolation?
> due to foreign mafia/dictator/oligarch investment through shell companies

True, but this was allowed to happen by the current and old generation of voters.
I believe there is a turkish speaker involved when you are naming the product :)

"Oku" means read (in imperative form)
For scientific papers I have a reasonably good idea what a competent reviewer would do. It's a lot less than what many non-scientists seem to think when they read "peer review", you can't rely entirely on it but it's a useful indicator.

Investigative reporting on how a clinical trial was performed requires a different skill set and also a very different attitude.
Also, the article says Bellingcat received under 100k last year from the NED, so maybe a salary for a permanent employee. This is a very light investment if the goal was to effect large impacts on major targets.
> Not having a useful type system introduces its own complexity.

I agree, I am not promoting dynamically typed languages. My intuition about this is more that there is a sweet-spot between automation and expressivity that gives you the best software engineering experience in most practical programming tasks. Milner's let-polymorphism is closer to that sweet-spot than full-on dependent types a la Calculus-of-Constructions

> extract programs from the proofs.

In practise you don't have specifications in > 95% of programming tasks. What, for example, is the full specification of a climate simulation, or of TikTok? One could argue that the shipped product is the (first and only) specification. Every program I've ever been part of constructing started from an informal, intuitive, vague idea what the software should do. This includes safety-critical software. To quote from a famous paper [1]: "We have observed that the errors we find are divided roughly evenly between errors in the test data generators, errors in the specification, and errors in the program."

> If you can't think of the right theorems or specifications I doubt you will write a correct program.

I strongly disagree. I have written many programs that are, as far as I can see, correct, but I am not sure I fully know why. Here is an example: the Euclidean algorithm for computing the GCD. Why does it terminate? I worked out my informal understand why at some point, but that was a lot later than my implementation.

More importantly: in practise, you do not have a specification to start off with. The specification emerges during programming!

> how does a sound type theory end up this

I'm not sure what you are referring to. Type inference and type checking can be undecidable. For example System F, a la Curry.

> extract a full program from a specification

Let me quip: Proof are programs! In other words: if you want to be able to extract a full program from proofs, the specification / proof must already contain all the information the eventual program should have. So any bug that you can make in programming, you also must be able to make in proving. Different syntax and abstraction levels clearly corresponds to to different programmer error probabilities. But fundamentally you cannot get away from the fact that specifications can and often do contain bugs.

[1] K. Claessen, J. Hughes, QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs.
Yeah, they're much worse and more capable.
This makes sense. But surely they understand that, even if Australia went carbon neutral tomorrow, it would not be enough to cool the reef waters?
Your octal year notation is very much throwing me off.
That seems excessively litigious. And very questionable on a fundamentals level - nobody except Facebook and idiots will believe that Facebook's fact checkers have a better grasp of reasonable medical opinion than the BMJ editorial team.

The real story here is that we have one more item of evidence that Facebook doesn't have an algorithm to deduce truth from the cacophony of opinion. I'm not sure why we need evidence of this, but hopefully the people who thought the censorship teams were a good idea will eventually be persuaded that banning ideas outside the political mainstream leads to stupid results. And persuaded that Facebook should stop attempting the impossible and embarrassing themselves in the attempt.
No, profit maximization is inherently corner-cutting
I clench my fist and breathe through index finger gap. Its the only way I can do a slow breathing pace. I calm down after a few breaths.
I’ve lived in both places and if you think not having power during a week of sub 20 degree temps compares to not having power when it is 40-60 degress outside then I guess we have different ideas of what is better.
You found one example of self-reporting and that suddenly invalidates all independent reporting?

That makes zero sense.
Propuestas constitucionales para Chile en la era de la información
Probably some form of cloth pants. Stylish though, definitely works with that haircut.
I tried both seasons of Neflix's Ragnarok in original (Norwegian) and dubbed. The first season had a decent dubbing (I still kept the original+subtitles) but the second season the dubbing was simply unbearable, bad voice acting, echo chambers, incredible... So the experience can be very mixed even within the same show.
Plenty of quacks follow the principle of "do as I say, not as I do." It's a very common behaviour amongst populist politicians to talk shit about vaccines and then being fully vaccinated.
Not OP but yes. Perfectly happy with the prices, and would be willing to pay more if the featureset provided. The only thing that keeps me on gmail is the inertia of my existing email address.
That would deprive him from the joy of finding the answer by himself. Learning critical thinking is a valuable skill for any child and this case is an easy example to try his wings in this sense.
Sounds like a cult. It is very creepy, to have many people message you after you install a messenger too.
Simple Guide to Building a PHP Web Scraper Using Goutte for Beginners
> I'm a citizen of not only a nuclear-armed state, but arguably the world's most influential global hegemon: the USA.

That's essentially an unveiled admission of a want to hold the rest of the world hostage and establish domination. There's little rational nor justifiable about such a want from the perspective of anyone who isn't a U.S. citizen.

> Because sovereign states that are unable to enforce their will on others have no real power.

Well, they signed the treaty anyway, did they? I'd say the implicit signal here was: "We don't listen to a hegemony who isn't willing to listen to the rest of the world." What they did was take a moral high ground, and condemn anyone who didn't sign.

Call it virtue signaling, but in international diplomacy, it's a pretty powerful statement. The U.S. may have nuclear weapons, but it's still very much a part of the rest of the planet.

The same is true for all the COP conferences from Rio to Glasgow, and climate protocols, over the past 30 years.

> If this is a policy you seriously want to advance, I recommend taking a hard look at how national security professionals establish values and objectives, assess problems, and work through cost-benefit analyses in pursuit of said objectives.

Which objectives? To who's benefit? Yours? The U.S.? The rest of the world?

The U.S. is in a tentative spot of taking an exclusive role in determining what is or isn't a moral high ground. Whether that's nuclear disarmament, or reducing CO2 / curbing climate change, or social equity.

This is used as an argument for new, upcoming powers like India or China to forge their own path forward, for better or worse. If the U.S. wants to keep playing a role of significance in the 21st and 22nd centuries, it will have to relinquish its hegemonic stance.
This is good news, I suppose. But why should users trust SUSE to maintain a free RHEL clone for the long term when Red Hat came to the conclusion it was bad business. Once bitten, twice shy.
I read the article and everything in there I would summarise as company culture
That is clearly a joke, which begs the question, what else in this contract is a joke? How is an uneducated man to know the difference?
I posted exactly such a response. I don't expect everyone to shut up. The response addresses both the inaccuracies of the BMJ opinion piece and, more interestingly, explores how such a piece came to be put out by the BMJ in the first place.
Putin's mandate is as solid as ever. You may hate him, but he's still overwhelmingly popular politician in Russia.
The audience for the BMJ is clearly listed as 'intended for health professionals'. I do think that these people would take seriously evidence for opposing views or experiments and draw their own - valid professional conclusions. These people are also unlikely to get their information from social media and take action on patient care because of it.

I am firmly against this lowest common denominator approach of people not being able to publish any 'hard science' anywhere through fear of it being taken out of context on social media - particularly after the push of recent years to do the exact opposite and make such stuff open access for all.

The BMJ is not the problem in the world of fake/outrage/out of context news online.
> From a propaganda point of view, I think it will be challenging to get Americans to care about Ukraine. With the pandemic, and other domestic issues, worrying about it is not a priority. And, unsurprisingly, Putin understands that as too, which makes him bolder.

Well, it hasn't played well, has it? The first shipments of weapons landed in Ukraine, and more are to follow, together with training teams. The only thing that Putin gained by his threats is more firepower in Ukraine.

The annexation of Crimea went well because most people there were Russians. When I went there some years ago I was surprised everybody was speaking Russian, to the point they called hryvnas (local currency) "rubles"... So before the annexation actually happened you could feel local people would actually welcome it as a chance for a positive change (this is no longer the case and the same people feel betrayed).

Also most people in Donbas were Russian. The folks there were very poor. My colleague's family stopped paying their rent, electricity and so on many years ago - and this was the case in many blocks of flats. They felt that any change for them would be a positive one.

Now the Ukrainians are extremely motivated. They know that if Putin invades, they will be slaves forever. They are determined to protect their country, and every day have more and more weapons. There is no way Putin could invade Ukraine without extremely high casualties.
SysJoker shows that even Mac malware runs natively on M1 Macs now
If Bellingcat were CIA and MI6 pawns, I would rather acclaim CIA and MI6 for their ability to to create such a quality media.

OTOH, Russia Today is a waste of money and resources by Putin's administration.
I was using jabber to connect to gtalk. I suppose that was unacceptable as well.
What a useless thing. Omitted leading zero has been the norm for hundreds of years, there is no hidden assumption. This would only be a problem if after 10k you omit the leading 1.
Japan, being an island nation, shows many strata of imported words in its vocabulary. Chinese was the original source as the language of the intelligentsia for centuries. When first the Portuguese and later the Dutch came along and were granted a trade monopoly, Japanese picked up words from both, and when the Meiji reformation opened up the countries, huge slabs of medical and technical German were imported. Now, of course, English is the predominant source of loanwords.
Yeah watching a movie in a language you can at least a bit understand is huge (even if you use also subtitles to help).
I am an anti-vaxxer because I don't support mandates or passports. Never used substack. But I don't think all these people are crazy and it should not surprise anyone that they are looking for platforms that are more open.
I'd really like it if we could avoid these kinds of flippant "look at how cynical I am, I know better than to trust these corporate stooges" answers that don't actually bring new or insightful argument (or in this case, any argument at all). We already get enough of those on reddit.
Ask yourself how much a job should pay you to be okay with sanctioned killings. Then think about doing it in a none wartime environment, vs what modern war may look like.

This makes me wish we had competent leaders. Who have meaningful discussion. Who do what they can to avoid wars of both physical and spiritual conflict, by a countries own avarice.
Why doesn’t that excite you anymore?
It's miminimal that we now know about. Now the question is: what else is still not exposed? Who is being influenced? Is it still fair to dismiss such idea as "conspiracy theory"?
> Maybe its just that iMessage is a more rich form of communication vs SMS, and people hate needing another app to check for that one android user in their life.

The user experience of conventional SMS is often terrible; it's not encrypted (I'm not even talking about E2E but simply in-transit encryption as mobile carriers are nasty and may want to snoop), vulnerable to number spoofing, delivery reports aren't supported on iOS (and even then it really depends on carriers) and is slower than iMessage.