skysight-inc/HackerNews huggingface dataset:
Huh, the coordinates the article gives is about 15km away from Mauritius:

https://www.google.com/maps/place/20°29'56.4"S+57°51'46.8"E/...

So it's like saying a car in LA being towed a block north-westerly is being towed towards New York.

The article also seems to get judgemental/whiny that I wonder if it's an opinion piece, a blog post, or a terribly non-journalistic article.
Steampunk
Black Silicon-Powered Photovoltaic Device Offers 132% Efficiency
Benvenuti nel negozio dedicato al mondo dello SteamPunk. Qui puoi trovare abbigliamento, accessori, occhiali, libri e tanto altro sul mondo SteamPunk
> I am genuinely surprised to see someone astroturfing for Comfort on HN. :)

I just thought it was a bit snobby to have a pop at old ladies in Waitrose who just want to keep their iron working well and possibly aren't regularly in a car shop to pick up a bottle of de-ionised water. And they like things to smell nice - what terrible people!

I think calling it 'ironing water' is pretty frank and consumer friendly really. It's water. And it's for ironing. I wish more things were named like that.
...go Lang AND rust? Why would anyone do this to themselves?
It's great that it worked for you, I'm glad :)
Microsoft Flight Sim Bugs Hint at Terrifying Alternate Earth
I think the full switch lands at the end of September, but already some of the Waitrose Essentials items are going out of stock a lot faster than they used to; the limited depth of stock for these items has served to remind me which items I purchase regularly that are Waitrose ones and for which I need to see if M&S has a suitable replacement, so far it has been mixed results for me. You can also find some M&S items entering the inventory if you scroll down past your favorites. I am expecting to see a lot more M&S items get pushed as discounted flash sale items at checkout over the next few weeks so that M&S can get some of these replacement items marked as favorites in your account.
And what if they say "you can do community service or get 20 years in jail"? If you allow that kind of choice there's no difference to the status quo, it's just window dressing.

Constitutions are not the right place to put laws that need to updated.
"In this set of satellite imagery, the wreck could clearly be seen 16 kilometers Southeast of Pointe D’Esny, Mauritius."

So like 7000km to go?

https://www.wolframalpha.com/input/?i=distance+from+Southeas...
Now we need a meta static analysis tool that reports from all static analysis tools
The linked terms say:

> "Downtime" means, for a domain, if there is more than a five percent user error rate. Downtime is measured based on server side error rate.
Yeah, I have done that as well, but so far could find a way to live stream it
You’ve doxxed your music taste there
1) Brand books are highly important for business and personal branding, they give a feeling of a more mature company and raise status in front of customers, partners.

2) It will help you to organize the branding elements of the company in one place - logo, fonts, colors - and share it with team.
The whole idea here is to protect the user. If it's important enough for you to have your app signed then you will do it.

iOS does this in a much more violent approach - the app verification process.
Spencer Kimball (Cockroach Labs) interview with Jason Calacanis
> Everything I've read and heard about US politics would seems to suggest that the Dems are being pulled increasingly towards the extreme left.

Have you been using Fox news exclusively to form those opinions?

From a British perspective, the Democrats are to the right of all the major parties in our parliament.
Because they have several European regulators breathing down their neck when it comes to WhatsApp at least. So it isn't as if Facebook hasn't tried to move into that direction.
Isn't that as expensive as a mbp though?

Razer Blade 15 Studio Edition - OLED 4K Touch 60Hz - Quadro RTX 5000 - Mercury

Intel Core i7-10875H
Windows 10 Pro
15.6" 60Hz OLED 4K Touch
Quadro RTX 5000
32GB RAM, 1TB SSD

US$4,299.99

16-inch MacBook Pro - Space Gray
2.4GHz 8‑core 9th‑generation Intel Core i9 processor, Turbo Boost up to 5.0GHz
64GB 2666MHz DDR4 memory
AMD Radeon Pro 5500M with 8GB of GDDR6 memory
1TB SSD storage

$3,899.00
That is really comprehensive and useful, thank you.
Human understanding of cognition is not yet at a level that enables the creation of a program or system for general automated theorem proving. Much work has been required to create existing systems for very narrow problems. Technology has not reached a level where artificial intelligence systems can undergo the equivalent of millions of years of evolution to achieve an equivalence to general human intelligence; this may not even be achievable.

As for some “magic glasses” mathematical proving tool, it is probably inside the chocolate teapot on the other side of the sun.
btw, I also made Die With Me, the chat app you can only use when you have less than 5% battery.
https://driesdepoorter.be/diewithme/

This is a little ad ;)
I'm still wondering what Lenovo were thinking when they came with Gen8 X1.

They used Comet Lake instead of Ice Lake - that results in things like HDMI port supporting only 1.4 (i.e. no 4k@60 there). It makes their current non competitive with 2020 XPS13 or 2020 MBP13, that do come with Ice Lake.
I feel like this is yet another© solution to an arrificial problem caused by inability to understand the web platform and existing tooling options. I can't even list the multiple levels of wrong with this approach.
China is a poor example, especially for bullet trains as they literally just did bad copying from Japan. They have a lot more accidents than ex. Japan.

Japan would be a prime example and it's a shame you didn't use it.
Give your kid a copy of https://en.wikipedia.org/wiki/HowStuffWorks
Issue resolved finally.
https://www.google.com/appsstatus#hl=en&v=issue&sid=1&iid=a4...
Should be possible to get around, no? I guess technically they could lock us out, but my naïve self is thinking that surely there would always be a way to disable it, like how we can disable SIP now, through Recovery-mode?
As a tree-lover this is a heartwarming story but it has to be put in context: the population of Niger will double by 2050. The country will be growing by almost a million people per year. How will it support all those people who will be living on the edge of starvation? And how many of those desperate people will be tempted to cut down the trees?
> Near monopoly power. We are talking about Macs still, right?

The problem is that there's only one Apple Developer Program for both iOS and macOS.

If you get kicked out of the developer program for reasons related to the iOS App Store, you're also kicked out of independent Mac distribution outside the App Store. You no longer have true independence on the Mac either.
Presumably most of what happens in China infrastructure-wise would be flat out illegal in the US. My big issue is nuclear power and I go green with envy watching as China sets up a generation of engineers who know how to turn atoms into useful forces.

This solar/wind gambit had better work out for the West or I will be a very grumpy old man.
I'm the user, where can I disable this on my machine?
If I'm understanding correctly, it's the same as posting the SHA hash of some secret data to twitter to prove you have some data.

At a later time, you can reveal the data, and others can see your earlier tweet and be sure you have had the data since the tweet.

Except opentimestamps doesn't need to rely on the honesty of twitter.
If only there was a link to a post with more context somewhere, like in the first sentence on the page.
> Does the EPA need to directly hire people too, maybe competing with the FBI and trying to swipe employees?

Why not have a central federal agency that does the oversight and planning for all other federal agencies, with local experts in all 50 states that know local building codes and maintain relationships with vendors? That way the agencies don't have individual high costs for the controlling/planning yet benefit from shared knowledge and from having experts that prevent them from getting ripped off.

> Government isn't about to shut down, and there are numerous rules which make it near-impossible to get rid of worthless and negative-value employees.

That one has been solved by many other countries. Reform said rules from the ground up, that's it. There are enough examples to copy from.

> Hiring is also limited by low pay.

The low pay is caused by shrinking budgets, so having multiple government agencies join forces can reduce the individual costs while still maintaining decent competitive payment for staff.
Some things cannot be bought. Many things have a monetary equivalent, though.
Terrifying Economic Crisis Will Make Cities Better
Things you didn't know you could diff in GitHub
what’s the issue with using their app?
Optimal Kickstarter – Buterin, Hitzig, and Weyl's proposal to fund public goods
I'd really be interested to hear someone who defended Apple's 30% cut battle against Epic on why Macs shouldn't be locked down and everything forced through the store.

People like Gruber coined the term "App Console" to try and justify locked down iOS yet we're also told how powerful iPads are and how they're computers.

Why is it ok for the iPads to be locked down "App Consoles", if that's ok shouldn't it also be fine to lock down Macs and force everything through the App Store and make sure Apple gets a cut from say Creative Cloud subscriptions and Alberton Live installations?

I personally don't agree with any of it but I'd like to try and understand why people think one is ok but also not the other.
> Ubuntu and Fedora

> but UI stuff is really ugly.

Have you tried a linux distro without an ugly UI ? Ubuntu especially is a horrid horrid UI.
Yes exactly this is not written by a human. It doesn't make sense.
NYC desperately needs its billionaires
I think it's pretty obvious those questions are not genuine. https://news.ycombinator.com/item?id=24108664
I see, so you hit the data in real time? Do you cache anything?
There might not be any math problems, except on how are you going to reject 10MW of thermal heat from inside the airplane at all times
It was written by a machine
Surely hydrogen makes more sense for electric airplanes?
Soft Skill Hygiene
We found every Cloud SQL instance runs in a Google-owned project called "speckle-umbrella-<num>", with <num> being a number between 1 and 80.
Each speckle-umbrella-* project contains several Cloud SQL instances, of different customers, and they do seem to be on the same network and without proper firewalling, because we ran zmap on 10.0.0.0/8 and could see several IPs with the MySQL port open (We did not try to connect to any of them though).

This problem would have probably been avoided if Cloud SQL used different tenant projects per customer (Something most other GCP services do), but for some reason it doesn't do that.
JavaScript Raw Sockets API Coming to Chromium
It looks like those tools are sorted by votes, but some of them can analyze different languages, and votes are shared between their languages.

For example, CodeScene, which supports 12 languages, is the currently most voted tool for PHP, and I've never heard of it. Not saying it's bad or anything, but I highly doubt it's popular in the PHP community, compared to other products.
Very interesting result indeed. The key was that the researchers developed an algorithm to automatically improve the efficiency of their SAT search - the 200 GB "proof" was just the logic equating their efficient SAT search with the original SAT problem - the output of their algorithm. The real magic was in devising this algorithm.
Those are not global statistics. It's mostly popular in common wealth countries and is mostly unheard of being done outside.

The large amount of users come from a single country (India) and thus you cannot really say it's popular globally.
Could you list a couple of the most important ones? If aspects of my approach are wrong or could be improved, I'd be really interested in learning why :-)
This is not accurate. See https://news.ycombinator.com/item?id=24217942
These might be too far off the beaten track for you, being non-standard languages with full game library systems, but Mark Sibly's Monkey2 (discontinued for lack of support) is a complex transpiler project written in a very read-friendly language:

https://github.com/blitz-research/monkey2/tree/develop/src/m...

... and one of his previous languages, BlitzMax, is continued by others today as BlitzMaxNG, and it uses a frequently-updated transpiler based off the former/similar Monkey language:

https://github.com/bmx-ng/bcc

Again, easy to read, and the principles are the same for almost any language.

Downloadable distros:

https://blitzresearch.itch.io/monkey2
https://blitzmax.org/

Targets include Windows x86/64, Mac, Linux, Android and HTML5... among others!
Interesting! You’re using NFC to pass over the WiFi keys etc? How is it that you’re negotiating and getting the NFC to trigger the WiFi password input?
But if you think you are buying X and receive Y, that's a scam.
> We on the iPod engineering team were impressed. But Apple corporate didn’t like it. Starting with the iPod nano, the operating system was signed with a digital signature to block the Linux hackers (and others). The boot ROM checked the digital signature before loading the operating system; if it didn’t match, it wouldn’t boot.

Why oh WHY are companies like this? If we want to put our own OS on a cool bit of hardware, what is the problem with that? Absolutely shocking mentality that needs to die (but looks like frankly it is getting worse).
> the instructions are entirely useless

I mostly agree, but for me the frequency scaling is almost irrelevant. Here’s a link, expand “Other settings” and you’ll see: https://store.steampowered.com/hwsurvey

If you implement AVX2, the code will run on 76% of PCs. When you want good performance, such optimization is a good use of limited resources.

AVX512 is only at 0.42%. That’s why it’s useless to implement AVX512 except for servers where you have full control over hardware. And with current state of Intel, not necessarily a good idea even for servers, it’s quite possible in a couple of years you’ll want to switch to AMD.
Hangover Cure Successfully Tested on Drunk Subjects in Finland
Yeah always been my thinking with aws or similar operators.

Lifecycle of resources has to be stacked like a pyramid.. I don’t really want the definition of a bucket or a database(!) to live as a crd in a cluster. I’m much more likely to destructively update a cluster than a bucket. Coupling then doesn’t seem to make sense to me.

Some upsertable stateless resources would be nice tho, like having a crd to create an iam role for a deployment would be neat, so I can deploy a workload and define a role and policy attachments using the same mechanism, works where the crd defines the entire scope of the resources, not just create a bucket that can be filled with stuff.

Begs the question of the threat modeling tho, the aws controller has god privileges in the account? If I get to use my iam crd to provision iam resources for me (super helpful) then aws controller needs high IAM privs. So now kube cluster compromise could be escalated to aws account compromise, not really least privilege. Convenient though...

But then also iam isn’t supported so ️
My poodle and I are both in the process of waking up. I got her attention to snap a pic, and it labeled her "Unsettled" too. Yeah, that's about what I feel before coffee, or in her case, fetch.
Ask HN: How working from home has affected you?
How are people working on product development coping with the work from home situation? What kind of challenges or obstacles are you currently facing when working remotely?
I am trying to understand the current product development landscape and I would love to hear from people working in digital product management, developers or designers.
Wow.. the product looks good and it's totally open I can choose between UI or coding.. I saw I can code in golang it would be cool be to be able to code in NodeJS as well thinking about AWS Lambda.. agregate different providers there like the Azure Functions and Google Functions.. all within your own Kubernetes. this is a very nice concept and seems like a great architecture. Loved the tip thanks!
I think you're being really unreasonable here. He's not saying he went to a flood of people at the beach. He's saying that should not be allowed, and is asking why he should not be allowed to go jogging on the beach alone. Emphasizing the word AFTER doesn't make any sense.
How does a hedge fund decide they want to keep money that’s not theirs and fight it in court?

And they manage people’s money as a business.

Who would entrust these people with their money after learning of this case?

edit: typo.
Does that come with a 4k screen? I don't remember seeing any AMD models - I only looked at models that had that option and no soldered RAM.
I was surprised to find out the something even worse is happening on default installations of Windows 10: you cannot install non-Microsoft software at all unless you go to the system settings and disable "S mode".

It's impossible for someone who's not technically oriented to know how to disable S mode or even what it is, and trying to get my mum to install Google Chrome on her new computer was harder than it has any right to be.

When did the ability to run software get this bad?
Unfortunately, "democracy" doesn't mean "liberal democracy" and it certainly doesn't mean "nice democracy".

For instance, in the Athenian democracy women and metics (immigrants) couldn't vote and slavery was legal. In modern times, the USA, the model of modern democracies, has the largest military in the world (in history!) and does not hesitate to use it to crush lesser nations.

I wouldn't be able to tell you what "democratic" means exactly (I'm not a political scientist) but I susepect having elections without limits on who can vote and who can stand for office, having independent courts and the rule of law are important criteria and under those Israel sure checks out as a democracy. Its people are free. It just happens to keep crushing some other people, who are not its own people, under its heel.
I live in the Pacific Northwest where it’s a similar climate. I know we don’t get much right here in the US but we have invented raincoats!
Thats, uhm, very limited understanding. Currently behavioral changes (mask, etc) are much larger factors affecting R0 and none of them have any bearing on hwrd immunity.

Plus we are finding that traditional herd immunity (aka just let the disease rampage) may come at the cost of heart disease in a majority of cases.
Ok, then let’s abolish all laws regarding economic activity (including private property) and abandon any related social conventions. Apparently they’re superfluous.
Worth considering that Razer has a far superior GPU
https://gpu.userbenchmark.com/Compare/Nvidia-Quadro-RTX-5000...

Different enough that certain pro workflows (e.g GPU rendering) would be feasible on that machine that are not on the MacBook
I think the last point made by Brigade proves it was a mistake. If Revlon is in such financial trouble they Brigade believes they won't be able to pay back the loan, why would they have paid back the entry thing, with interest, early? And if it wasn't a mistake, why would they be asking for it back now? It seems perfectly straightforward to me.
The exploit is against a vulnerable library (the actual input file is here: https://github.com/sola-st/wasm-binary-security/blob/master/...)

If you have a wasm application with vulnerabilities (e.g. in the libraries) there are no mitigations that native binaries provide, so simple buffer overflows give you RCEs again. It's still within the sandbox, but the threat is as severe as running eval on user supplied inputs as there might be useful stuff in that sandbox.
Sadly they are both right.

BBC news and political reporting (the thing politicians care about) have a massive bias towards the current UK government - for the last 5+ years that means a pro-austerity xenophobic anti-EU bent. If they veer from that they get their funding cut.

BBC radio and drama/comedy/kids' TV studio content is generally very "politically correct" left-wing as the vast majority of employees in these industries are left wing. The stereotype of the BBC show with exactly one gay, one black and one disabled kid among its three-strong casts is not far off the mark...
Many years ago I worked on open source MP3 player firmware at Rockbox.org, we created a feature to develop skins for the UI so you could make it look exactly like the original firmware if you wanted. Why wouldn't they use that, from the secrecy of their own office, instead of asking Apple (or any other manufacturer) to participate and risk the kind of "leak" that we see now?
Like NKLA? With a market cap of $16B
IIRC, if a bank moves $3 million to my account, and I spend it, it's fraud.
These clerical errors must be more common than I thought.

A few years ago, when I had taken a mortgage to buy a house, I had the exact amount of the mortgage transferred into my account instead of going to the seller or wherever it was supposed to go - maybe to the seller mortgage provider?

I returned the money but I'm no hedge fund.
What Is ElasticSearch? – Beginner's Guide
I don't believe that it was purely because Drupal 8 broke compatibility. Many were excited about Drupal 8.

Drupal fell behind in some areas.
Looking at Wordpress and Gutenberg (while not perfect) it has leapt forward to provide a modern content editing experience.
Perhaps Acquia focused on the wrong things?
Perhaps other companies making money on Drupal didn't invest enough to improve it?

Drupal.org needs to be a flagship of what Drupal can be. The documentation is not well organised. Page loads are slow. Contributing can be difficult for newcomers. Other open source projects are better at selling themselves through their project website, documentation and code examples. Drupal.org shows its age.

Drupal can take a lot of time to setup and theme. Keeping Drupal installations up to date requires expertise.
Smaller clients these days realise Drupal might be too expensive and found an alternative CMS or moved to a Saas. Laravel probably also took a big chunk of custom development away from Drupal.

At some point I think the community can only do so much.

There is nostalgia. Many times I have thought to myself: If only I could give all my time to a project like Drupal. I know, I know.. I could have. I should have... For me, life got busy and my career went in a different direction.

I do also think the situation expelling Crell was weird. It felt like bridges got burned and I know people who also felt it was a strange way to handle the situation. Can't we make that right?

This is not to criticise anyone. It is just my opinion. I am not a big time Drupaler, so you could see this as an outside perspective.
Only some PC models come with S mode by default (notably the Surface do).
Thankfully hyper capitalism's provided an alternative, Windows, Android, or linux, and pine.

I suppose if you're a socialist you probably don't understand how it all works without a government edict giving you instructions and making sure you and your neighbor have the same marginal product.

However, even without this edict, rest assured that you can make the change without the government allowing you to... Fell free to switch.
"The process doesn’t even require a great high-definition camera. 30 frames/second with a decent processor will get you there, meaning aging or low-end smartphones will work, and even laptop webcams will be just fine."

From the article in Forbes listed on the landing page.
(https://www.forbes.com/sites/johnkoetsier/2020/08/19/ai-heal...)
If you can not imagine, can not make a mental picture, you can not draw. It's called Aphantasia[1].

[1] https://www.facebook.com/notes/blake-ross/aphantasia-how-it-...