skysight-inc/HackerNews huggingface dataset:
Property-based tests are really practical and will find bugs unit tests don't, but type checking is an exhaustive proof that the properties you've expressed with types hold for all inputs/outputs. A key point though is the type systems of most mainstream languages don't let you express complex program properties (e.g. the input list must be sorted), so your only option is to use unit tests or similar to check those.
Really nobody thinks Steve Jobs build the IPhone all alone in a work shop.
US government is 'ignorant of technology', say Huawei bosses
I have mixed opinions. I agree that they conclusion is much more clear than the single slide implies. However, the slides do a poor job communicating in many other respects. For example, on the first non-title slide four separate acronyms are used, an only one is defined. (Incidentally, it's one that also has another, different, acronym within industry - M/OD => MMOD). Maybe everyone in the audience already familiar with these terms, but maybe they're not. I think in this case clarity should trump brevity. I think the original site has a particular, biased point of view but also that NASA can often do a poor job communicating.

The part I'm grappling with is how they came to that conclusion despite the "flight condition is significantly outside the test database" acknowledgement as alluded to in the original post. To me, this sounds very much like Challenger in terms of drawing conclusions without hard data to back it up. Easy arm-chair quarterbacking in hindsight, I know, but it seems the through-lines are psychological in nature, not engineering or technical problems.
Not on my iPhone! I just checked to make sure! Unless there's a password field on the page, as I stated.
The Last Question (Comic)
In South Korea, tattoos are illegal, but it hasn't stopped artists from creating - and creating some truly beautiful work. Tattoos have become relatively mainstream and millennials (though I hate the term) have widely adopted tattoos as commonplace. It's striking to see the cultural differences between East Asia and the western world, perception around tattoos being just one of them. Tattoos are particularly interesting because of the influence Asian artists have had on the culture and ethos of the art despite the widespread suppression of it. I'd love to hear a perspective on why it's evolved to be so different - and I do suspect it has to do with organized crime playing a large part (i.e. the Yakuza and the Triads).
Chainer and potentially CuPy (which was extracted from Chainer to be independent) were around before PyTorch as it served as inspiration for PyTorch. I feel like that's a good motivation for diversity in packages and ecosystems regardless of your feelings otherwise.

Along with a colleague I used CuPy in first Chainer and then PyTorch for implementing the Quasi-Recurrent Neural Network (QRNN) which at the time was far faster than even NVIDIA's optimized cuDNN LSTM whilst getting the same (or better) performance for many tasks.

CuPy at the time was both the easiest and most Pythonic of potential solutions for that problem - even if it did involve writing CUDA in Python strings =]

n.b. Our use case was literally pushing state of the art in research - CuPy is even more Pythonic if you're hitting more standard use cases.

[1]: https://github.com/salesforce/pytorch-qrnn
What a Big-Data Analysis of a Dating Site Reveals
Runtime: A crate to empower everyone to write async rust
It depends on how restrictive the bitrate was to begin with. Higher bitrates mean there's more data to move from mini-improvements over to filling in extra resolution. Lower bitrates mean you're already squeezing every drop out and the codec will collapse when asked to handle more pixels.

Here's a couple charts: https://cdn.shopify.com/s/files/1/0095/4332/files/optimal_bi... https://di2vvsisz3gt1.cloudfront.net/wp-content/uploads/2018...

It's possible to design a codec to handle that kind of detail scaling internally, but I don't think it's been a big priority.
Think for a moment about how big of an impact 4g had, and 3g before it. As others mentioned above about the law that states that any new computing resource will eventually get filled, there are plenty of areas where this is worthwhile.

The biggest first off would likely be the end of wifi as we know it, so in turn, an increasing number of IoT devices for the home/workplace/elsewhere would be built without the need for complicated wifi setup, and all syncing between devices would likely be done using a cellular setup. "Cable" would likely completely go away, where companies like Verizon realize they can deliver all TV over their 5g network. The constraints relating to numbers of devices on a wifi router will be backgrounded, ect.

Another key piece is that there will be far more nodes in a 5g deployment, so you could do better triangulation for GPS. It will have lower latency so even tighter real time applications can be done over the internet. This list can go on and on.
> it's just plain obvious how it's not in the EU's interest to keep the UK in an arrangement that it's uncomfortable with

It's very much in the EU's economic interest to keep the UK as a captive market for their exporters. It's very much in the EU's financial interest to put the UK on the hook for any liabilities it cares to dream up. It's very much in the EU's institutional interest to inflict a humiliating defeat so as to dissuade other members from leaving. And I don't see that if the WA goes through there'd be much "uncertainty"; the UK would be screwed, no two ways about it, unless it throws Northern Ireland under the bus.

It'd be nice to imagine that broader, fluffier, more forward-thinking interests were being considered as well, but I haven't seen any sign of that so far.

I do think a lot of people in Europe and elsewhere are misinterpreting the anger in the UK at the moment. No, the EU isn't evil or malicious; it's acting perfectly rationally according to its interests as it sees them, and those interests make perfect sense in a realist view of IR. It found itself pushing on an open door with Theresa May and it'd be wholly unrealistic to expect it to stop pushing out of some weird sense of fair play. The anger is about the EU, but it's mostly not directed at the EU; it's directed at the UK political establishment.
Why is it that you can just dismiss the hesitancy of more than a hundred researchers with PhD's in a wide range of relevant disciplines who have made careers out of studying this kind of thing by simply posting a comment saying "it's all nonsense"?

https://emfscientist.org/index.php/emf-scientist-appeal

ctrl-f for "PhD" shows 126 results on the page.

Electromagnetic radiation is used as a signaling medium for countless lifeforms on earth, including the cells and microbes in our own bodies.

Imagine if some alien creature decided they wanted to flash relatively bright blue light across the entire surface planet, day and night at frequencies that known to induce epileptic seizures. It'd affect your quality of life and mine. For some people, it'd be devastating.

Just because we can't see it, doesn't mean it's not there.

I fail to see how a blanket dismissal of peoples concerns, however uninformed many of them may be, counts as "rational"!
And what about 6 months ago? I bought two of the latest flagship phones from google at the maximum size for $1200 with one trade in.

I dont see myself using an iPhone in future unless its a company phone that I don't purchase.

What I really like and feature I was not expecting at all, texting from my PC, really nice to able to do that.
"Specifically", USSR was a Stalinist authoritarian state. Is this controversial?

I merely encouraged GP to research the evil shit, because it might offer some sorely needed rhetorical support for his Russia animus. I don't care one way or the other about it. "Governments are evil; news at eleven!"
Given most software project estimations are off, wonder if a corollary of Brook's law can be - don't add resources in later stages of 'any' software project.
That's one of the big use cases of 5G though. Having a huge number of low-bandwidth subscribers
Epic vs. Steam: the console war reimagined on the PC
Hah nice! I'll noodle on this and figure out how to publicize it more. Your script would be very helpful as an example. Do you mind if I use it in the docs somewhere?
> He suggested that the service works best as an “interest-based network,” where you log in and see content relevant to your interests, no matter who posted it

Yeah, no thanks. Has anybody ever been happy with Twitter's attempts to force content from non-followed users into the feed? A couple of times a year they'll opt everybody back into whatever crappy experiment they're running ("hey, we'll put some posts to your feed based on likes") and it'll take ages to remember just how to turn it off.
You can't dismiss this bug like that. Having multiple tabs open and having those tabs get taken out of memory and needing to refresh is a very common thing to happen. This is a bad bug for this particular website.

Now, you said that by layering a SPA on top that an "even better experience" is provided. What exactly is the better experience? Just navigating around the site a bit I don't see anything particularly dynamic about it at all.
Estonia, as other 2 baltic states, was part of Russian empire until 1920. No politics, just historical context.
Wake up, people: You're fooling yourself about sleep, study says
>> save a local river bait fish

A few or more of those and we have real loss in biodiversity. Maybe your "local river" can sustain that for a bit - but overall they are all important.
In Europe it certainly seems persistent as a growth standardization language everywhere except for Russia (~5% English adoption) and a select few other nations. I have a bunch of friends from Romania and Ukraine, English is a status symbol, a point of pride if you know the language, and in many cases it can be a considerable boost to job prospects if you can put it on your resume.

Sweden pretty well leads Europe when it comes to highest adoption of English as a second language. I've always thought that was a valuable asset for them as a nation when it comes to competing in global tech and business generally. Being able to build an Internet company in Sweden and have no language barrier (and less of a cultural understanding barrier as well) to then go and push into the US, Canada, UK, Ireland, Australia and New Zealand markets ($27 trillion in economy via one primary language, twice the size of China's economy). In terms of adoption you also get the Netherlands at over 90%, the Phillipines at over 90%, Denmark at 86%, Israel at 85%. Another two trillion dollars in economy that has English in fluent-level standard use. In total you get half the global economy with English.
Stationkeeping within a fraction of a millimeter is much easier when your instrument is on solid ground. It might simplify the platform to the point where descent into the lunar gravity well is worthwhile.
> He suggested that the service works best as an “interest-based network,” where you log in and see content relevant to your interests, no matter who posted it — rather than a network where everyone feels like they need to follow a bunch of other accounts

This is probably true for the majority of Twitter's users, but this is completely the opposite of what I want. Even with aggressively pruning the list of people I follow, I still feel the need to maintain topical lists with few people on them. (One of them is literally called "interesting" - it's for people who don't post often, but whose tweets I'm very interested in seeing, in chronological order, and don't want to lose in the shuffle and retweets and random shit twitter tries to inject into my stream.)

I want to curate my own content.
There has been so much lying on these topics (not only from Facebook) that what the companies claim means little unless they can support the claim with evidence.
Yeah, I'm a student right now and I've come to really like mathematica... I'll probably even get the hobby license after school, but I don't think I could justify the cost of using it professionally.
No matter how many times I click "Show less of this" it keeps coming back.
That's interesting. I hadn't thought of roadside status messages or closed networks. Information providers could sign their roadside message broadcasts with a private key (signed and sent from their HQ, not hardcoded in some roadside box!). I don't want to say "blockchain" is the solution here. :)
CURLX: Curl with Super Powers
Way to make the parent's point with a misanthropic misunderstanding of what was actually said.
Quantum simulation more stable than expected
We're not talking about the aircraft's orientation, we're talking about the Angle of Attack. The AoA can increase even if the nose of the aircraft is dropping relative to the horizon.
Do you think that the teams are insular or the people who know what they are doing are insular?

Because in my experience the people that do the heavy lifting are just randomly distributed and are bright spots in a otherwise gray landscape.
be sure to research and laugh at e-rating windows and the 5g range.
The Qualcomm CEO was right. I can't believe it. https://www.cnet.com/news/qualcomm-and-apple-may-be-calling-...
It's both. It definitely costs more to educate kids without support from home than it does to educate kids who do have such support, for example. And at the same time, some of the school districts involved are in fact horribly mismanaged.

Throwing money at education _can_ help. It just doesn't _have_ to, unfortunately...
Sure, but what is important for me or you individually is not how we make decisions on policy affecting everyone collectively
Translation: he doesn't think allowing you to decide who you follow will make Twitter as much money as he wants.
>If Qualcomm has given up on tying patents to chips then it has effectively lost. If they can maintain that position with everyone but Apple, they'll probably be OK with the outcome.

Apple now has a direct license with Qualcomm. The arrangement before that was only the contract manufacturers had a license with them. It seems very likely that the patents and chips got unbundled (at least for Apple).

The FTC case still seems like the main risk to their business model.
Networks are trying to move away from long tail content since it is so expensive to moderate. I think in next 10 years expect social networks and video playing websites to become much like network television. Ie there will be a vetted list of large creators, and everyone else will be a consumer. To do that you need to take away peoples ability to control exactly whom they follow / subscribe to.
Illegal in what regards?
> There are ethical rules for Journalism, which are enshrined in law in many places. One of the rules is that a Journalist may receive stolen information and publish it.

I think the line is that specific acts of journalism are protected, but there's nothing special about journalists as people.
I'm not well versed in archaeology by any means, but based upon that Wikipedia article it seems to be a school of thought arguing that the old testament can't necessarily be treated as a primary source of truth - we already know that when we compare and contrast the stories in Kings Vs Chronicles, they were clearly written by different people at different times with different agendas, and the facts in each don't agree. They may be both representing some similar baseline truth, but they are looking through different lenses. This comes back to having to try and interpret the stories of the bible in their historical (or in this case archaeological) contexts.

All that being said, I'm pretty sure we agree with eachother.
It's both for me at once. I want to see a specific topic and only 5 people's tweets around it.

I rarely search but isn't that what hashtags solve?

I think changes could be good but history says it will be worse.
We live in such a risc-reality decapsulated world here in the west, that risc affinity is fashionable. Thus tatoos, hip-hop and military "tactical" fashion are all the rage.

Wonder why police badges and fireman helmets are not fashionable.
Just want to point out that "shutting down the 'good' engine" isn't some isolated incident - that was a contributing factor to the British Midland Flight 92 crash [0] as well.

0: https://en.wikipedia.org/wiki/Kegworth_air_disaster
My school is for some reason still renewing my student license 7 years after graduating, so if they're that lax everywhere you might not have to worry. :P
I love the idea, especially as a way of un-bundling beliefs so we're not all beholden to one of two massive and far reaching belief systems.

That said, I worry that it's too easy for small advocacy groups to get steamrolled by bigger interests if they prove to be a problem. Even if they're popular with the public, it just takes a payment to a PR firm of your choice to roll a story that they're selling dead babies and suddenly everyone is confused.
“Virtue Signalling” is a stupid concept and should die a swift death.

But apart from that, at least learn to correctly misuse it: if “the costs would make life miserable”, it’s not virtue signaling, by definition.
China's concept of legitimacy is "output legitimacy", which actually works pretty well. (Look at the old Shakespeare plays where disaster follows after the king is usurped)

"Advertising" can get you to the place where the U.S. is well where you can get 49% of the population who have 51% of the influence to think one party is legitimate (e.g. they take money from the koch brothers, kiss the ring of every republican donor, promise not to raise taxes; the left wing version is "green new deal", "tear up men accused of sexual harassment", ...) and not care what the other people think.
Roundabout and traffic circle are different terms for the same thing.

https://en.wikipedia.org/wiki/Roundabout#Terminology
I considered it, and that's why I based my observation on what I observed when I was myself a tourist in the US, where I assumed (safely in my mind) the vast majority of people were americans, in restaurants, at the movies...

Once again, I don't think the "american style" is worse or better than the french one, but I maintain it feels different.
Oooh, ack ignores ".git" and ".hg", but ignores the ignore files. That, actually, seem like pretty ideal functionality. I guess the equivalent would be "rg --no-ignore-vcs". I had tried "-vvv" to no avail, thanks for the pointer about "--debug".
How We delivered more performant and robust task lists in Gitlab
I don't understand why Twitter hasn't implemented some kind of reputation gradient that would allow users to filter by levels.

Yes, I realize they are tricky to implement and subject to abuse but imagine you got points for using your real name, real photo, demerits for insults etc, then users could filter out hordes of trolls and gutter nonsense and instead focus on the meaningful conversations that do actually occur there -- the verified checkmark is a proto-version of this.

Instead they rely solely on blacklisting, which is a never-ending game of whack-a-mole. Even HN has a more sophisticated system, where users can be shadow banned or have their comments appear lower than normal.

Not sure how useful this macro-scale philosophizing by Dorsey on Twitter itself is for delivering new, useful features to users. Serious question: has Twitter released any new, major features in the last 2-3 years?
I always did wonder how it came to be that the "Thunder God" was king in basically all the Indo-European pantheons except the Norse one. I suspected it might have something to do with urbanization and reliance on agriculture, but your explanation makes way more sense.

Out of curiosity, what are the arguments that Thor was considered the highest of Gods originally? IIRC many of the ceremonial items they found on the boats were dedicated to Odin weren't they? (Though I suppose that being an analog to Mercury, he would make a lot of sense for voyagers to adopt as a patron).
Climate Labels on Food to Become a Reality in Denmark
> > it's avionics are old

> They're brand new. Where do you think they get them for brand new planes ?

I have some industry experience- there are still new planes that get large, ugly beige Honeywell units in them that're slow and clunky while there are much better avionics packages available. The Honeywell packages are generally pretty newly built, but are still really old. The Raspberry Pi Foundation still sells the original Raspberry Pi, even though they've gone through 3 different generations and like 6 iterations since. The original Raspberry Pi is old, no matter when it was manufactured. The Raspberry Pi 3B+ is new, and has more features and power. Sure, they have similar names and functionality, but there is a world of difference between the two.

Imagine that you've designed a product around the original Raspberry Pi. The projects needs include GPIO, internet connectivity, and video output. The expectations have been trimmed appropriately to fit within the hardware available. Custom PCB's have been made for the Pi to socket into, and there's a standardized system in place for testing the Pi.

Later on, you decide that you want to replace the old Pi with a new one. Compared to the current Pi, the old one has less GPIO, less processing power, a weaker GPU, lamer internet, and less IO- and, although you can just drop in the new Pi with an adapter cable, you're still missing out on all the pins, and your code isn't exploiting all the available resources.

This "not everything gets updated" cycle has serious compounding effects the longer you go. After a few decades of Raspberry Pi releases, your product is a little bit antique, and needs some serious updating to be able to compete in the now-mature product category that you were in. Not starting over and working from the ground up has serious knock-on effects in the future, (for instance, the 737's wings were way too low, which is not future-proof for bigger engines).

This isn't just about avionics, either. It's about every single part of the airplane.
> the end of wifi as we know it

Can you explain what specifically about 5G makes this possible? I don't know anything about it, but if the logistics and pricing for it are anything like 4G, I have no interest in paying my telecom an extra $5/mo per device when I can throw them on my own network for free.
Since Apple was the major leverage for this case, I'd speculate that Apple could apply that same leverage to get the US FTC to settle.
We all have the same problem, but if all the tweets are from interesting people, the ads stand out from the high quality content too much, and the ad clicks go down. This is why there won't be any for profit company who would implement real user following :(
Oh, thank you for clarifying.
Mark Zuckerberg considered shopping Facebook user data: report
Actually some receipts do require invoices, even if they are not divulged later on. See for example https://jeanlambertmep.org.uk/about-the-european-parliament/...

> Travel Allowance - This allowance is for travel to the Parliament [...] on presentation of receipts MEPs are refunded the actual cost of any travel tickets purchased by them plus time and distance allowances for attending official Parliamentary meetings
Probably for VR, Blu-Ray, and to sell more Sony TVs
A contentious example: Windows?

Microsoft had a features-first mindset, which led to a Swiss-cheese-manifold of bugs and security flaws.

The result was that you couldn't install anything without risking a virus.

Businesses went with browser based solutions to avoid that risk.