skysight-inc/HackerNews huggingface dataset:
> What is the main adoption path for the tool do you see?

We hope that anyone who works with data on a daily basis can benefit from Splitgraph. When we first started, we gave a presentation at a Docker meetup called "Docker for Data" [0] with the idea that we wanted to do for data scientists what Docker did for DevOps. We hope that people will be able to throw out some of their fragile ETL scripts in favor of using Splitfiles, just like DevOps engineers could throw out their Salt and Chef scripts when they switched to Docker.

> Or people who already have Postgres and they want to version it?

It's important to note that in many cases, Postgres is really just an intermediary. Splitgraph allows you to "mount" data from any source, not just Postgres databases, by leveraging Postgres foreign data wrappers (FDWs) [1]. This idea of "mounting" is one of the core abstractions of Splitgraph that makes it really powerful, because it lets you use a common format (Splitfiles) to transform and query data from anywhere. And once you've built an image from a bunch of disparate data sources, you can use a core set of your favorite tools to query it, since as far as they're concerned, it's just a Postgres schema. So in this sense, Splitgraph can serve as a sort of universal translation layer for data from all over the place.

For a really powerful example using this idea, see the example where we mount two tables from two separate data portals (Chicago and Cambridge), and join between them. [2]

[0] We gave two presentations in 2018, both similar. A lot of details have changed since then, but the core abstractions are the same, and they might give some insight into our direction:

[0.a] https://www.slideshare.net/splitgraph/splitgraph-docker-for-...

[0.b] https://www.slideshare.net/splitgraph/splitgraph-ahl-talk

[1] https://www.splitgraph.com/docs/ingesting-data/foreign-data-...

[2] https://www.splitgraph.com/docs/ingesting-data/socrata#using...
I'll go one further. Can you think of a single programming paradigm in which "composition of small things to make bigger things" isn't a fundamental design principle? A paradigm where making big things from small things is actually an anti-pattern?
OpenSpanishDevilDos
I mean, I've known a few developers that worked at apple. I trust them every bit as much as the average developer who reads open source code.
They vouched that the code they worked with at apple was attempting to be secure and wasn't trying to steal user's data.

If I'm not going to read the source code myself either way, why should I trust that random open source code-reader X who says "yup, didn't see any malicious code" vs a developer friend who works for apple and says "yup, no malicious code"?

Honestly, more often than not there's a lot of overlap between those people... And I'd bet that there's a ton of eyes I'd trust on iOS's source code given how many devs apple pays to work on it, while I think there's far fewer on most non-corporate open source projects.
Robotic weeding and tile lines with irrigation control are startup worthy. The former Bosch is heavily invested, the latter a VC will gobble up AgriDrain.
I’m in the US, and all of the advice I’ve recovered from every doctor and nutritionist is to limit carbohydrates. You can “cover” as you put it, and you’re trained to be able to do that when the situation arises, but the baseline diet that I was given is certainly low carb by comparison to typical diet recommendations (not ketogenic, but far from “eat whatever you want”).

While I’m sure there are plenty of nurses and doctors out there giving rushed and questionable advice, I’d be surprised to find that this advice is “common” (though many patients may “hear what they want” so to speak).
I mean, the fact that you need to say “pure android” kinda says it all, though.

All iOS is pure iOS. That’s the selling point for me, at least.
> Well, one Pixel got three OS updates, but there has been no change in their written support policy that I've seen.

https://www.theverge.com/circuitbreaker/2017/10/4/16403922/g...
Every Pixel has 3 year of support mentioned in it's support page.

> Who in their right mind wants to be stuck with the buggy .0 version of an OS?

Android updates have changed over time, they didn't do 9.1 or 10.1 updates at all. All bug fixes are pushed alongside security patches. And Pixel 1 got 4 updates on Android 10, last one being especially a month late due to fixing of all final bugs.
This is exactly why I am happy to see Apple cracking down more. I will grant you that this could very much be "innocent", but it's still completely unacceptable to me as a user.

And just about every PM or founder I've ever worked with seems to think like this - when given the choice between the straightforward, obvious way to do something, and some crazy, brittle, privacy-abusing hack that might improve conversion by 5%, they'll choose the latter every time. This is a perfect example of this kind of thing, "let's just check the contents of the clipboard every 2 seconds in case the user doesn't know how to paste." It might have even been born out of real complaints from a fraction of users who really can't figure out how to paste. And somewhat depressingly, in the defense of PMs it does actually seem to work sometimes and improve conversions. And all your competitors are probably doing it already anyway. So the only way to stop this crap is for the platform itself to step in.

Another example that's also fixed in iOS 14 - Apple already provides a perfectly usable share sheet for choosing a photo, where I can look through my whole phone and pick just a single photo to give to the app. But for some crazy reason, seemingly every app wants to recreate this themselves. So they require you to give them access to your entire photo album so that they can display it back to you with a marginally different design and a different color background than the default page. Now in iOS 14, Apple is giving the user an option to just pick individual photos to share anyway, and then presumably make it appear to the app that those are all the photos you have on your phone.

Two very welcome improvements IMO.
Same, 30lb when I was already a skinny kid, and 21lb of that in the last 3 weeks prior to diagnosis.
I feel like I see this same article every other year. Even this article has to admit that, while claiming that "this time it's different". And, you know, eventually it will be true. But...

1) the U.S. was only a real "hegemon" for a few brief years after 1989, when Russia hadn't got their act together yet and China was still poor. The early 90's was a long time ago now. So, in a very real sense, the fact that there are other world powers is not new; it wasn't true for very long, really.

2) They list Russia and China as the two rising powers that threaten the U.S. position, but they have both been weakened recently. Russia's economy is not wholly based on petroleum, but clearly the drop in oil prices has hit them harder than the U.S. It is telling that it was Trump who had to negotiate a deal between Saudi Arabia and Russia to get away from negative oil prices. China, on the other hand, has just lost a bit of its manufacturing business due to the pandemic, and nations all over the world are putting new priority on not being too dependent on them for all of their inputs. I don't doubt that China will remain a major power, but this is hardly the time to be hailing their ascent; they are dealing with a sizeable backlash from all over the world.

Meanwhile, the EU has just lost the UK, and then closed its own internal borders in response to the pandemic, which hit it harder (in per capita mortality) than anywhere else on the planet.

Again, of course the U.S. is not the only power. But this is nothing new, and also rather overblown. Someday the U.S. will fall to #2 spot. This is not the day.
> You can't magically shoehorn types back into an untyped system when all the existing components assume untyped streams.

If this were true, then a typed system couldn't exist on top of machine code and random access memory, because the existing components (i.e. CPU + random access memory) have no knowledge of the types you are speaking of.

I think the assumption is false. Types can be shoehorned onto untyped data.
OOP will rot your teeth.
Wow. Sheer arrogance, and absolute stupidity. Or at least, horrible OPSEC.

I'm reminded of that 1993 cartoon by Peter Steiner in The New Yorker: https://upload.wikimedia.org/wikipedia/en/f/f8/Internet_dog....
As has already been said this isn't an issue these days. Pretty much the only games which don't work these days are games that require anti cheat software (though some progress is being made on this) or games with really bad DRM which are few and far between the days.

This week alone I've managed to play Titanfall 2, Doom Eternal, Elite Dangerous (with full HOTAS and VR support), and Some sniper game I picked up for a couple of quid. All Windows titles with no Linux support. I only needed to "fix" one (TF2) to get working but that was a weird tiling window manager and Origin bug which was fixed with 2 minutes of Gooling and a single line of config for my WM.

Valve have knocked it out if the park with Proton (as well as the community of course) and 99% of things "just work". If you're unsure if your favourite games will work check protondb.com and have a search.
I agree with you, and believe it or not I did try to go out of my way to avoid calling stuxnet itself good or bad: I kept those words out of the sentence which mentions stuxnet

> Stuxnet is the clearest example I know of these tools almost certainly decreasing a threat to US citizens...

However, you still have to make value judgements at some point when organizing a society. It’s literally impossible to do so otherwise. Even if you make a conscious effort to not organize socially — I.e. to embrace anarchy — you’ve made at least an implicit value judgment that governance isn’t worth the limitations it requires of the people (I.e. limitation of individual freedom is “bad”).

“good” and “bad” are messy things to deal in, but they still have their place. Any answer to “should we allow NSO group to operate” has to make a value judgement at some point. I think it actually helps to make that explicit — for example my point should still stand in most other value systems precisely because it refers to “good” and “bad” — which vary across value systems — without prescribing what is good or bad.

I could have been more clear about separating an example (stuxnet — the thing which brings in a value system) out of the argument itself. But I couldn’t find a way to do it without sacrificing brevity or readability. Such are the limitations of communication, particularly written :|
How to Code in Go
I haven't used VSCode enough to consider myself knowledgeable about it's syntax highlighting or auto-indentation, so caveat emptor.

I use CoC.nvim using the coc-tsserver plugin to get Typescript completion/jump to definition etc, ALE to get ESLint warnings, HerringtonDarkholme/yats.vim (A Typescript syntax, Neovim comes bundled with this, but the bundled version might be out of date), and maxmellon/vim-jsx-pretty for JSX syntax highlighting and indentation (vim-jsx-pretty's auto indentation is not 100%, but it works well enough).

My colorscheme is tomasiser/vim-code-dark, in case that matters. Example screenshot: https://i.imgur.com/6UzKtU2.png
Do you boycott any other companies based in, or products made in China?
> I haven't dug into the post-2015 phones yet to see if there are any other natural boundaries that will show up ...

I suspect TouchID will be the next one we hit, but that is going to be at least four years off because iPhone SE #2.

The neural engine may be a feature cut-off after that, where there are just too many features and services being run on device which can't be done on older hardware.

Other than that, I suspect Apple will still institute a vintage/obsolete lifecycle for phones - just choosing to drop support for phones where the hardware hasn't been sold in a certain amount of time (say five years), official replacement parts like batteries are no longer being made, etc.
What evidence do we have that infection confers immunity?
In the coming days I feel as if we are going to see a lot more threads about the new privacy features in iOS 14. Apple has a video overview of a lot of the new stuff [1]. I suggest watching it (at 2x speed - they talk very slowly). Especially at 16:30 where they emphasize that SDKs are part of your app and that you the developer are fully responsible for the data collection of any SDK you include in your app. This is going to be a huge problem for a lot of developers.

[1] https://developer.apple.com/videos/play/wwdc2020/10676/
President or PM is likely the arena where you need to “have it all”, including aristocratic fluency, and it’s remarkable to any culture when that isn’t the case. It’s a similar argument to why the US should let Harvard be Harvard.
They might be hesitant to check in a change that causes a behavior they don't understand. This is a good mindset imo.
> There was a rich ecosystem of third-party controls.

So does HTML/CSS/JS, and they'll also often be adapted to the various popular front end frameworks of the day - Angular, React, Vue currently.

I also find it easier to customize and compose 3rd party UI components on the web than I did back in the 90's with VB, Delphi, MFC, COM, etc.
My Windows 10 even tried to sell me the new Edge as Chrome.

Somehow it displayed the Chrome logo when it started automatically and it had all my Firefox bookmarks.

Right after an update.

Was really scary.
The people downvoting you perhaps didn't know about this:

https://www.wired.com/2011/02/bing-copies-google/
Hmm. If the target is 1MWh in a year, that seems trivial to deliver in a place like Chad. Insolation in Chad should be right around 6 or 7 kWh per sq metre. [0] Chop off 85% of that, because we can't harvest all of the solar energy that falls on a square metre of land. We can only reliably capture maybe 15 to 20% of it. But even if you harvest that 1.5 kWh for only 4 hours a day, (which is pretty easy in the middle of the Sahara where you should get about 8-12 hours a day), it comes in around 120 kWh per month. Well above the 1MWh per annum target.

So on the distribution side, they have a population of only 13 million, with a geographic size of 1.2 billion sq metres, which lands us at roughly a thousand times the amount of energy they need to meet the 1MWh per annum per Chad citizen. If they were harvesting it that is. (And that's using 20% efficient solar panels alone. No wind, etc.)

Chad's problem is a lack of anything to trade in exchange for the equipment to harness the sun and build the storage and distribution network. (Grid distribution infrastructure, maybe a liquid air storage facility or 3, solar panels etc)
But the sun itself provides them more than enough energy to meet that 1MWh per annum per capita target.

[0] https://en.wikipedia.org/wiki/Solar_irradiance
On Chrome at least, Bitwarden has it's own extension popup window with the vault. This is a completely separate web context. There's no way for the open website to detect your keystrokes barring a vulnerability in Chrome itself.

If you really want to be safe, you should use the standalone desktop apps and skip the browser extension altogether. Doing that empty tab thing probably doesn't protect you from anything.
People who get sad looking at other people's lives on Instagram are likely so emotionally fragile that they'd probably get sad reading a book about other people's lives.

Burn all books.

"I burned my books, magazines, and eReaders and I FEEL FUCKING AMAZING OH MY GOD IF YOU COULD EXPERIENCE THIS LEVEL OF PURE UNADULTERATED JOY AND CONTENTMENT YOU WOULD SHIT YOURSELF."
It's totally easier to just close the whole tab with control-w.
Well, the two ifs you hedge to qualify Python's parity are pretty damning in themselves, no? Let's stop beating about the bush - if you want to perform a common text-processing job like parsing a log file Perl is hands down faster than Python.
What's a legitimate, non-nefarious reason for an app to do that?
I believe any time you paste with the native keyboard UI up it doesn't go through the app. You only need to snoop the clipboard if you want to proactively use the data without having the user paste.
My issue is this: I still have weird issues in some games on Windows. For instance, I really enjoyed episode 1 of Life Is Strange 2, but when the second episode came out, I just could not get the game to start—I would launch it, and then nothing would happen. After about half an hour of this, I gave up; I didn't want to play the game that badly.

Yes, this type of thing is not the general case, but it happens, and the last thing I want to do is introduce yet another layer of tech weirdness that could potentially cause problems.
No, those are different things. The proposition and its proof. You can assume a proposition and make use of it without a proof.

A proof furnishes the evidence that a given proposition is attainable (e.g., true).

Truly, you could even see this as being composed of three things

- The proposition
- The "stamp of truth"
- (there's a word from Kant that hits this, but I've forgotten it)
- The proof

A proof always furnishes the "stamp of truth", but you could imagine receiving the stamp of truth without receiving the proof. For instance, an authority you trust implicitly tells you it. Alternatively, take a look at all of the zero-knowledge proof work in crypto.

Additionally, there may be many proofs of a single proposition, and thus the "stamp of truth" seeks to represent them as a the equivalence class of proofs instead of giving each different method its own identity. This, formally, is the notion of "proof irrelevance". It flies in the face of computation where we care a great deal about algorithmic concerns, but from a correctness perspective perhaps all you need is the "stamp of truth".

One last way to give color here is to note what the advantage of proof _relevance_ is. In particular, if the structure of the proof itself is visible then we can do things such as _transform_ proofs (think: lisp macro). In this way, we can get more flexible systems which are allowed to port much of a proof's mechanism over to a new target automatically.

Of course, mathematicians demand proof relevance because mathematicians (a) don't trust things they can't see and (b) want to cannibalize proofs for their mechanism and to reuse those mechanisms on other problems. Proof irrelevance is often important for computational reasons: we don't want to carry around the burden of proof (literally) if we don't have to.
Was wondering why the video quality looked like shit until I realized that it's a "virtual reality video"
I understand no one wants to deal with unexpected issues, especially when you're trying to get something done. Why not use virtual environments? You keep packages out of your system's python, and if you run into issues like above you can just recreate it:

b5n:~/venv_dir$ python3 -m venv im_a_venv
b5n:~/venv_dir$ . im_a_venv/bin/activate
(im_a_venv)b5n:~/venv_dir$ pip install requests
(im_a_venv)b5n:~/venv_dir$ pip freeze > requirements.txt
(im_a_venv)b5n:~/venv_dir$ deactivate

b5n:~/venv_dir$ python3 -m venv another_venv
b5n:~/venv_dir$ . another_venv/bin/activate
(another_venv)b@b5n:~/venv_dir$ pip install -r requirements.txt
I can suggest another likely culprit for your wrong calculator: its barcode got broken/lost.

Everything is tracked by barcode. If it doesn't have a barcode matching what's expected, it doesn't exist anymore. Scratch a barcode the wrong way or mark it wrong, it loses it's ability to be scanned. It gets found, but what is it, inventory-wise?

The folks solving these problems, they're trained but some are better than others and it's not easy. There's 100s of millions of different ASINs. So they search by name and brand and say "looks like that's it" and voila, you have virtual inventory tracking this item as ASIN X, while it's actually ASIN Y.

No maliciousness needed. Just a complex system failing on the edge cases.

(Bias note: I work for another branch of Amazon. I do not speak for the company in any way. These are my own opinions.)
These "objective" estimates are usually nonsense, or deceptively only show one side of the story. Not everything can be easily quantified.
This is the problem with Chinese apps. You just can't rely on them. They simply don't have the same principles of privacy like US companies do. Even Facebook won't do something like this.
Even if one were to ignore Google’s data collection, any non-vanilla android installation would have been butchered by the vendor (Samsung, Motorola, etc) to the point any expectation of security (and in turn privacy) is lost to the least secure app pre-installed.

I had ESFileExplorer installed on a Nexus 7 tablet I barely used. One day I start it to find the charging has switched to “smart charging” where this software shows a banner ad on the home/charging screen. There is no end to the madness of what each app can do or even allowed to ask for.
That was my first thought. Not sure what compiler OP is using but I would put "#pragma align" all over the place and see if the absence still makes a difference.
How do you recover from a virus if not by becoming immune to it? Immune here in the sense of being able to fight it, not in the sense of being unaffected (the letter will clearly not happen, nor does it need to).
How can you say this seriously? Disinformation on FB had a huge impact on the 2016 election in the US.
I don't think that site's accurate. I searched around and there seems to be two ways of reading clipboard contents: making a fake dom element and waiting for the user to paste, or to use the async clipboard api. The first doesn't seem abusable because it requires you to actually paste something. The second doesn't seem to be supported by firefox, at least according to this demo: https://googlechrome.github.io/samples/async-clipboard/.
I don't agree with the "cure is worse than the disease".

Have a look at this - https://www.nytimes.com/interactive/2020/science/coronavirus...

Suppose that we quarantine people for longer while a vaccine is found, and suppose this vaccine is fairly effective. Presently there are 120,000 deaths. Who knows what this number will rise to. This number is already with some quarantine measurements in place.

If a vaccine is not found, you're bound to have a catastrophe on your hands. So let's hope that one is found so that we can resume things in some "normal" way again.

Whether or not you quarantined, the economy would collapse because you would have a massive death toll and paranoia throughout the country. People would stop going out, they would stop spending money and they would hunker down regardless. Economic turmoil is a positive feedback loop. The coronavirus or the quarantine are just the triggers for it to begin. This cannot be overstated.

At least with a vaccine, you can get out of this by the skin of your teeth and reduce the over all deaths. So no, I don't think that quarantining to save lives is the "cure is worse than the disease" scenario. The economy would have collapsed regardless.