skysight-inc/HackerNews huggingface dataset:
But it can't easily (and perhaps essentially) be decoupled and still be usable.

At first, the math notation for "x ^ n" is cryptic, and writing "x * x * ... * x repeated n times" is clearer. But then, you grok exponentation, and everything longer than "x^n" becomes too verbose and needlessly complex; furthermore, once you've grokked it, "x^n" naturally extends to negative, rational and real n naturally, whereas the expanded form does not.

K is similar; At first, it seems needlessly terse, weird and opaque. But once you've grokked it, it's clear that it's much more than the underlying array model (which, as you pointed out, can be and has been implemented in other environments).

As supporting evidence, I bring numpy; It has the same kind of array operations, and as-high-a-level of language; and yet, code in numpy written by most people is still an order of magnitude longer (and slower) than code produced by people writing K. There is a selection bias here (Everyone uses python, only K compatible people use K), but I think it's more.

Look at an example from [0] - the complete function (executable by the 300KB entire K runtime, independent of any library, and with named arguments which makes it 50% longer than some people would write it):

{[t;f;o]{x y z x}/[_n;o;t f]}

This is a K idiom known afaik as "converging multicolumn select"[1]. "t" is a table; "f" is a [list of] columns, e.g. `price`size ; "o" is a [list-of] subset-and-ordering functions, one for each column.

To collect all the rows from table "sales", where time is more than 9am, price is less than 100, and ordered by decreasing size, you would call it with the arguments [sales;`time`price`size;9h00<,100>,>:]

Although it is possible to write such a simple, generic, useful idiom in Python/numpy, I have personally never seen it done. R's data.table (and its Python port) come close in a limited subset of cases, but the extreme usefulness of converging multicolumn select does not extend; also notice that the call has exactly the specification, no boilerplate or even keyword (and just minimal punctuation). This example is not unique. e.g. "flatten" is ,// ; Yes, that's the entire function implementatiion, and no, it's not special cased.

K optimizes the use of your eyes and brain as a pattern matching device. It has been my experience that, much like good math notation (e.g. Leibniz's differential notation), good programming notation makes things easier and evident in a way that is not captured by equivalent semantics that aren't human compatible in the same sense.

[0] http://nsl.com/k/t.k (and http://nsl.com/ in general

[1] although it should probably be called "reducing multicolumn select"
They had to use the syscall translation path because of the earlier plans.

WSL is what could be saved from the Astoria subsystem to run Android apps on Windows 10 Mobile, with the ARM virtualization story being nonexistent at the time for shipping smartphone SoCs.
If I recall correctly, Codeweavers does most development of Wine, Crossover is just the commercially licensed + support version of the product.
I've been wondering what it is about Google Search results recently, in that they seem _substantially worse_ than ever before. I hadn't quite noticed what the difference was, but I was really surprised, remembering how Google Search results used to be the very best. Now I know what the difference is: making normal results look the same as Ad results.

"Don't be evil" :)
On my system, the calculator only comes up if I explicitly type "calc.exe". "calc" gets me LibreOffice Calc, and "calculator" gets me... nothing.

I am forced to accept that either Microsoft's Windows division is so incompetent that they did this on purpose, or so incompetent that they did this by accident.
I agree but would add the caveat that many market niches have a surprising amount of depth that may warrant further discovery. For example TAKE one of these guitar lessons and if some creepy person comes up with a windowless van and gives an awful lesson there may be demand, just the demand is more hidden.
FYI, the new/current version Qutebrowser just added a built in list of websites that require a "Chrome/chromium" UA - it also added logic so that parts of the UA can be auto updated.

Shameless shill: Qutebrowser is by far the best browser I've every used. The half measure of using addons (even powerful ones like Pentadactyl) cannot be compared to having a browser that is power user friendly in every aspect, from config to UI. If a site doesn't work well with it then I'm probably not going to use that site. If I can move away from Google then I can find your article/post somewhere else.
Brilliant. If they eventually transfer all fare setting to drivers, they can let the market take fares to rock bottom while washing their hands of the process.
+1 for transparency of financials, that's a really awesome idea
Please stop spreading disinformation. Your sources are outdated and the quotes that you are referencing are not legally binding. The fact is that Apple has clearly stated that iCloud data for Mainland Chinese users is stored on servers operated by a Chinese company, which must abide by the local laws and regulations. It is also a well known fact that all companies operating in China can be compelled by the Chinese government to provide data and do so in secret.
So:

1. Yes, fair use is not an automatic pre-emptive validation of copyright infringement. Rather it is...

2. Under US law, an affirmative defence: "A new fact or set of facts that operates to defeat a claim even if the facts supporting that claim are true." (https://legal-dictionary.thefreedictionary.com/Affirmative+D...) That is, ajudication occurs in a legal (or criminal) case.

3. Also US law: there is a four-part test for fair use for fair use, the purpose and character of the use, the nature of the work, the amount of the work utilised, and the impact on the market of the original. Not all, or indeed any one test need be met for fair use to be found.

4. There is a parody right which has been argued, sometimes successfully, sometimes not, for fair use. I won't get into the argument but suggest: https://corporate.findlaw.com/intellectual-property/parody-f... which begins "It has been a long-standing practice to poke fun at our cultural icons, symbols, public figures and celebrities." Commentary by way of analogy or reference is also a long-standing tradition, which it could be argued that memes extend.

I'm not claiming these rights are absolute or uncontroversial. However they've been argued and asserted, and there is basis for a fair-use defence of virtually any meme use, so long as it's not injurious to the original.

The case of whether or not unpopular, fringe, or extremist-group adoption of specific images, concepts (a difficult case under copyright), characters, symbols, etc., might be considered injurious, and prosecutable via copyright, is ... an interesting question.
awk '{print $1}' can also be written as awk '$0=$1'
Try SublimeText3 [1] instead. It is a cross platform editor. You can try it out and use it for free. The expectation is that if you like it and continue to use it, you will purchase a license. I really like it for programming any task I want to use plain text.

There is also a build system and one can download packages that enhance coding in many different languages. I have no economic interest in this, I'm just a satisfied user.

1 - https://www.sublimetext.com/blog/articles/sublime-text-3-poi...
I think half of it is the ugly font they are now using. Ugly is the perfect way to describe it.

Google is really not good at creating beautiful products...
how they different than something like duckduckgo?
I am mostly happy with my Denon HEOS system. The API is pretty easy to work with, and it's got the big advantage that it works with A/V receivers which will give you much better sound than others.
Smart scale goes dumb as Under Armour pulls the plug on connected tech
Indeed, this is the first time I heard such a thing is even possible. When buying stock I got the impression I would own that part of the company and never read that I may not be able to sell that property if the company in question so wishes. I thought it was a relatively liquid investment but apparently not necessarily so?
Neo-Nazi sites, for better or worse (obviously: worse) should still be on the Internet. If only for the rest of us to point at as an example of what not to do.

Censorship is a bit like antibiotics: short-term positive impact but long-term negative impact. Neo-Nazis are not a threat to anyone, anywhere, in any way. We can survive their stupid web page, and have no need to censor it. The cure is MUCH worse than the disease.

UPDATE: I love how I get downvotes and literally NO ONE has engaged with my core argument, that censorship is a bit like antibiotics: short-term positive impact but long-term negative impact. Making the future worse over a tiny group of "neo-Nazis"—who are probably 90% Feds anyway—is a bad idea. People used to know this stuff, but I guess we'll have to re-learn it all over again the hard way. sigh
Don't forget Ebola scare as well.
censor me, rephrase into some kind of classy english accent, or whatever, but sometimes things are wrong and nefarious and should be called out as such, plain for all to see: fock google.
Apple did market to users that it was technically incapable of helping unlock iPhones. After the FBI showed that Apple technically can do so, that marketing disappeared very quickly. https://www.nbcnews.com/tech/security/ios-8-even-apple-cant-...
Google rejected it as "spam" for the Chrome extension store, but it's available for Firefox. It was a quick hack yesterday to make the URLs visible. Pull requests are welcome. It misses a few cases, and the URL should probably be green rather than highlighted.

https://addons.mozilla.org/en-US/firefox/addon/search-engine...

https://github.com/codeselfstudy/search_engine_show_me_urls
Actually I was always curious how their CERN work was related to cryptography and security. Would you mind posting a list of their publications please?
Dynamic type systems aren't even simpler
Yes, the income tax is close to 50% for almost everyone, and yet the capital gains tax is just as low as in the US. Less progressive. Arguably MORE favorable to the wealthy (since the rich have a more significant tax discount in the EU than the US). And yet workers there think it's more equal. I guess they have a point. It's more equal amongst laborers. Only because no laborers make a decent wage, and minimum wage is slightly better there.
It has been my suspicion for some time that they are intentionally ruining Windows. Not to get people to switch to Linux, but rather to just kill off the personal computer as a concept and switch everyone to some kind of Microsoft Live Desktop subscription.
People cant afford buying cars made outside europe because they are heavily taxed. So instead the whole continent is polluted to prop up the german economy. When the rest of the continent needs propping, germany starts name calling and forcing there governments to tax people and businesses to death. Not to mention over regulation in the name of “safety” or “insert populist mantra” that are usually met by german companies and are a burden to most other economies. Germans wont buy Lithuanian products because those are “low quality” but they buy chinese. So instead of allowing the eu to deregulate, to relax “standards”, and to enable innovation, germany does the opposite so you, in lithuania, cant compete and always lag - therefore only live on a 1500 eur budget. Fortunately end of game for the eu is in sight and if your country stays democratic it will grow to afford more.
It’s to prevent flash crashes. If you don’t like the rules of the exchange you can always trade your securities elsewhere (eg otc)
Same here. I may hit Google at most once a month when I'm looking for something really unusual.
Oh wow, the irony.
Since it was flagged, can you tell me how they were trying to blame Trump for this?
I expect they don't need bailing, they do so much more than a single airplane model.
I am most frustrated with how almost any url from search or Gmail shows as the url, but actually routes you through a Google url first (so they can track it, of course). That extra hop sometimes takes a second or more.

I don't understand why they don't just track my click with JavaScript. I suspect this new hiding the url thing might have to do with circumventing scripts like I have used before that rewrite the url so that when you click, you go directly to what you clicked on.
EDIT: All invites are now gone, sorry

I have 10 invites available, send an email to stevewodil@gmail.com for an invite code. Include your Hacker News username in the message so I can verify you.

EDIT: All invites are now gone, sorry
ZFS seems to be the big topic today.

But like all things developed by corporate entities, you must sort out the legalities involved.

Nobody cares if you, personally, use ZFS. But it's a completely different hill of beans for one corporate entity to say that everybody can use ZFS without getting the legal permission of the actual corporate owner of ZFS.

That was the point that Linus was making.

Who on Earth would want to make hundreds of corporate lawyers into millionaires?
Excellent sleuthing -- makes sense that the message is so old. There's no way they would produce something like this today.
Nextcloud Hub Takes on Google Docs and Office 365
> The Message Bar is typically used for important security warnings and alerts [1], presumably one reason this particular design was chosen.

...and which will continue to make this bar useless leading to people continue to ignore security warnings and drive on the train of vulnerabilities within word documents which has been so successful for decades now. Good job Microsoft.

Thank you for finding this.
Well, they did say “changed”, not “improved”.
>> But the CEO of a publicly-traded company expressly does not have the option of sacrificing profits for any higher purpose, unless that directive comes from his shareholders.

This is not true AFAICT. In practice it might be.
> "That entity is not a person."

the (current) supreme court doesn't agree, and their opinion carries a tad more weight. corporations are basically super-persons in the eyes of the court, since corporations intrinsically funnel the resources of its many consituents, unlike individuals.

instead, any entity exerting outsized power, like corporations, should be held to higher standards of duty and transparency. that's an inherent value embedded in the US constitution that is absolutely being trampled over by power-seekers (commercial, political, or otherwise).
> The guy behind the Daily Stormer stated publicly that Cloudflare not shutting off his service means they agree with and support the Daily Stormer's content.

And the proper response from CloudFlare should have been: No we don't, but since we're ethical (unlike these assholes), we'll still provide them service.

Literally no one believed then, or believes now, that CF are crypto-Nazis. But we all know they don't actually have any kind of moral or ethical virtue, and will fold for a common troll. Oops.
> do something about the guy going on TV to ask foreign countries to dig up dirt on a rival.

Hillary deleted 30,000 emails after a subpoena was issued. Trump suggested that since other countries had hacked her server they probably had the 30,000 deleted emails and they could turn them over to help the investigation.
> Do they even let you disable location tracking any more?

You're confusing iOS with Android. On iOS, every time you get your location, that location is also sent to Apple, and there is no way to disable this. Android's collection of this data is gated by a checkbox that is shown to every user on device setup.
This mirrors my experience and opinions. However I miss certain powerful adblock features and I would prefer more/easy control over javascript that gets rendered since JS use is by far the largest consumer of energy on my laptop.
There's a connection there between Germany's export successes and "rich country of poor people."

There's also a connection between why do Germans save so much and import so little.
I've used Fastmail for many years now, and I have nothing but good things to say about the service. In particular, it's insane how well notifications work in Fastmail, especially compared to Gmail (which I use at work). (Honestly, you'd think Fastmail was the giant multi-billion-dollar super-advanced tech company, if you look at the quality of their email experience vs. Gmail.)

However, some folks are a little spooked by the privacy implications of it being ran out of Australia, so be sure to research that if you're interested in Fastmail.
Sounded to me like they were paid for testing the idea for both the startup founders and investors because that's a specific service they offer.
Is there a more recently updated analysis on why AMP is/isn't bad for the internet? Using my Google-fu to look for criticisms of AMP seems to yield little to no results
I always forget about that, and I should try more to remember it. Thank you for the tip!
Show HN: World's Biggest Crossword App
Hi, we (two man company) have just release what we think is the world's biggest mobile crossword (single grid of 103x103) for iOS and Android. It plays pretty well all the way down to iPhone 5 (a wee bit small to be honest!).

Looking for any feedback especially around any novel (read cheap) ideas on the marketing/promotion front.

The retention on the app is awesome once people get started, but as it is a single grid the life time value is pretty limited. I think part of the appeal is the fact you can finish it so it is a mixed pleasing.

Cheers,
James

ps - we are UK based, but we have made quite a lot of effort to avoid / callout where it is a UK term/spelling.

https://www.thebigcrossword.com/
According to American Society of Mechanical Engineers one reason Germany has kept is industrial base are the Fraunhofer Institutes you will find all over the country right next to universities doing essentially free R&D in almost every area of technology for companies that might otherwise not be able to afford them. (I had a student assistant job at one such institute when I was an MSc student in Germany)

https://www.asme.org/topics-resources/content/how-does-germa...
Internet routers running Tomato are under attack by notorious crime gang
> Disagree. Can't speak to exotic use cases though;

Windows desktop usage is somewhere north of 80%. Consider that Linux can't even do many common use cases right, it's just that it can do your use cases.
Gauges give you a nominal position. A point where the needle rests during normal activity. You can quickly scan the needles and only have to care if their position is out of place. Likewise scale, you don't have to calculate if it's beyond the reasonably expected level, you can simply see where it falls on the dial. With digits you have to examine each of them with specific knowledge of what those numbers mean. That takes valuable attention away from the more immediate tasks at hand.
Oh yeah that kills me I often have one word that is the important one and instead they show me the low-value responses that do not contain that one differentiating word that is the reason I'm doing a search in the first place
https://news.ycombinator.com/item?id=22044057
Interesting, it's always useful to see strategies of coming up with property tests.

However, it kind of takes away the punch when both of the issues ("None" as an element in a list of numbers and 0 being falsy) would have have been eliminated by the type checker in a language like Haskell.
This thread is so enlightening. I too switched to DDG a while ago and occasionally I have to use Google for a search and your description is exactly how I felt: the Google results felt “spammy”.

I had assumed I had simply adjusted to DDG and just forgot what Google had always looked like, but this post confirms that the Google results have in fact changed.
The RNC has since hired Crowdstrike too, even as Republican officials they support have said lots of stuff about Crowdstrike and Ukraine. The public statements are all for show.
Very much a way to mitigate the FTC's requirements on making advertising more distinct than organic results.

It is an unpopular opinion but I believe Google is dying. They have been for a long time. The cancer is that nothing other than search ads generates the revenue and margins they need and the margins on search ads are now down 90% from where they were in 2010.

Personally I'm long on Microsoft/Bing as a candidate for the surviving English language web index. My prediction (which isn't shared by many so don't be surprised if you disagree :-)) is that once Google's dying becomes mainstream and they start heading into ground that Apple will buy their assets, keep Maps, Search, and maybe Waymo and throw the rest away.
Press esc and wave that block away. For now, at least.
DXVK is a windows program that thus runs on Wine also. It would make sense to include/merge it into Wine at some point, since that is its target, but AFAIK DXVK doesn't even link to anything Wine specific and it thus a completely separate codebase.
> Launch a competing product that accomplishes the same thing.

Disclaimer: I was part of hCaptcha team.

https://hcaptcha.com/ is competing with ReCaptcha. It's a drop-in replacement for ReCaptcha.

It's privacy focused (supports privacy pass), and is fair: webmasters get a cut for each captcha that is solved correctly (they can choose to directly donate it to a charity of their choice), hCaptcha get a cut for running the service and a customer will get their images/data labeled.
Define "ambition".

I'm in my mid-50s, and while it's certainly true that I have accomplished most of the life goals I had set in my younger years, that hasn't reduced my levels of ambition.

What is has done is changed what I'm ambitious about, though. I'm no longer worried about "advancing my career" as I'm very satisfied with it and want to keep it where it is. I'm not concerned with maximizing income, because my income is high enough that I can do everything I want to do, but not so high that it increases my unhappiness. I'm not worried about stability, because I have that.

Instead, my ambition runs more toward expanding my skillset, improving my mind, and getting better at those activities I value. I am no less ambitious now than I ever was, but my goals have changed with time.
I've realized that everything I own it is because I have permission to own (and someone else, permission to sell). Property rights have not been properly defended so they are fading away.

I was reading Stripe and Braintree's restricted businesses (https://stripe.com/restricted-businesses) and saw "unauthorized sale or resale of brand name or designer products or services". If I own something physical there should be nothing telling me I can't sell it.
(d) is objectively false

It depends on the crime. Sometimes an ‘objective’ view of morality is an element of an offense. E.g. in fraud (and potentially, this charge)
(c) "charged with" and "found guilty of" are vastly different things

To be fair this is the most important comment in this thread. Greenwald was charged by a prosecutor who belongs to the same organization whose misbehavior he exposed, despite not being a target of the investigation. Said prosecutor already pulled a similar trick before.

The government, who just a few days ago was forced to fire a secretary who literally quoted Goebbels in a speech, loves this kind of news-cycle management and is clearly trying to assassinate Greenwald's reputation. Probably nothing will happen, which the government will then use as ammunition to blame the biased, radical left-wing, communist Judiciary, yadda yadda, as they have been doing in their ongoing war against all institutions in the past year.