skysight-inc/HackerNews huggingface dataset:
I'm realistic and I know that the purchase of Lucasfilm and Marvel gave these studios a new life. But let's fce it: without these two, Disney is just an animation studio from the previous epoch with to attractive content to offer for people who aren't kids.

That said, maybe it's better if small kids watch the newest Lion King rather than hundreds of unboxing videos...
Good feedback and I agree. We have Roblox several chances. Each time it became out of control. We definitely do not hover-parent.

To be clear, my kids have an xbox1, ps4, xbox360, two gaming PCs, a Vive VR headset, their own macbooks, a switch, their own dedicated Chromecast TVs, and one even has a pixel 3a. Roblox is the only thing we have ever had to perma-ban. Fortnite got a one week hold once, but Roblox had to go forever.

They play fortnite, Minecraft, and lots of other stuff. Unfortunately, as soon as I find out my daughter joined a server where lego looking avatars were walking around with massive hard penises doing sex acts on each other, we were done with moderation and guardrails.
Same for me, but I was the only child and as you've said: "Since the age of 11". It is as common here in Russia as it is in Europe.

We were talknig about kids though.
I found the language reference and see how to define types and expressions, but I can't find any examples of what proofs would look like. Has anyone dug in enough to link to an actual proof of something?

The documentation for \lemma (https://arend-lang.github.io/documentation/language-referenc...) suggests that you would just write Prop-typed functions, which is very tedious to do manually and even with automation is IMHO inferior to Coq-style tactics, which are themselves often inferior to Isabelle's Isar-style proofs.
Great article, thanks! :)

His argument is that he put in the money in the first 1.5 years whereas I drew salary. To what extent should that affect the equity split?
There are many Chinese companies doing copy pasting. but in general China is innovative today. You just don’t hear much about what they are building and doing as much as you would hear from EU and US.
Kim says North Korean launches were warning to US, South Korea
Knowing nothing about Homotopy Type Theory and looking at the language only for the way it looks:

1) Nice to see that the pipe is only a | and not |> like in Elixir. One character is better than two (and a Shift key.)

2) {- comment -} probably comes from another language (which one?) but I'm always surprised by the cleverness of language designers, even when there is no need for it.

3) The backslash before the keywords is a backslash, pun intended. Why is that necessary and why did somebody even think about it? Cleverness fails designers sometimes.

4) I like that this-is-a-valid-identifier. This_is_slower_to_type because of the shift keys. ThisIsNotMuchFaster.

Then I'm also wondering what the language is being used for now. Somebody else asked the same question and got downvoted but it looked like a honest question. Is it still borderline to research and will maybe influence mainstream languages or are we already unknowingly using some program written in Arend on our machines or somebody's else server?
The cost of free is becoming too high. In this particular case the cost of free was higher than approximately $500 and $99 per year.
As long as you get local firms, local people and local resources to build your new railway it doesn’t matter what it costs. It’s net free too the country. Look at the massive high speed rail network China has built in the last decade. Yet politicians will outsource such projects to other countries to “save costs”.
My previous answer: https://news.ycombinator.com/item?id=20632459
Even better, the first few multiple values are typically returned in CPU registers and not on the stack.
They'd seriously never seen a computer keyboard?
Ask HN: Do you work on interesting problems?
Training a GAN for Twitch Emotes
Did you add any friends lately? Do you know those "greetings" that Facebook pushes into Messenger whenever you add a new friend on Facebook?

I've recently noticed on my SO's phone that Messenger counts them as "unread messages", and the only way to clear them is to a) send that greeting, or b) clear them from a desktop.

In other words, they're getting pretty desperate to drive the engagements up, and this is something that probably wasn't implemented in third-party clients.

Note that this is different than a "message" on a mobile browser. Last time I've checked (admittedly, quite some time ago), there was one "message" that never gets cleared, regardless of what you do.
> What do you recommend doing when Linux Freezes? It doesn't come up a lot, but when it does it can be kind of unnerving since the three-finger-salute doesn't work.

Unfortunately, I don't really have a solution for this. I have an SSD as the main disk and _even now_, when I hit this too hard Linux grinds to a halt. No mouse, no keyboard, just heat, fans and disk light.

One thing that sometimes works for me is the old CTRL+ALT+FX mashing, but not always. Once you can get a shell you can type into you're okay, but of course this doesn't always work.

> I would also love to know if anybody has a solution for getting video to play properly in Firefox. I know it's not a bug per se, but it would be nice to not have to switch between browsers all the time.

What do you mean? It's been reliable for quite a long while? There were two issues I used to have, one was not having my graphics card setup (it was running from the CPU) and the other was not having flash (when that was something).

> I've been using Ubuntu for about a year now and otherwise its been a very positive experience.

Yeah, I think it makes one of the better daily drivers.
The nursing shortage could be solved by hiring more. They overwork the few they hire so the MBA execs can buy nice things
I constantly have 4 unread messages in FB messenger(as shown on the main FB page) even though there are none. It's been like this for months.
Governments typically protect their big players and it makes sense. You don’t expect U.S. don’t do anything if Asia or EU put sanctions on Apple or Microsoft.
I wonder how this decision was taken. You can't fool people you have a rich catalogue if most of it is the bland N-marked pulp. Shouldn't they be doing some research and base their decisions on the needs of their customers? It's not rocket science, almost everyone is telling them the same thing, but they persist in producing content few people want, in spite of their pervasive marketing efforts.
It's not about hiding. Light was aiming to rule the world, as in completely eliminate any opposing parties, and you can't kill them without revealing part of yourself.
I live in Russia though. When I went to school (1995-2005) I lived in a 450k city, now it is Moscow. And Moscow have much better public transport than many other places.

My point was about little kids, you won't send them off to a public transport. We are not talking about teenagers here. Not me at least.
> Isn't this just launched, with the feature set nowhere near the idea of securing payments?

Windows Hello: 2016. FaceID: 2017. And yes, Windows Hello could be used for payments before FaceID: https://blogs.windows.com/windowsexperience/2017/01/12/windo...

You seem to have missed the point of the comment you replied to:

> Apple's rarely ever first to the table with any technology. They take what others are doing on a limited scale and ramp it up to the mainstream with a spit-shine.

No one's arguing it's necessary or even desirable to do technological innovation to be successful or market tech products to the masses. New "things" generally need a generation or three until ready for that.

Taking existing facial recognition tech used for authentication in one domain (OS login) and applying it to a new domain (payments) is not innovation in my book. It's just the natural next step.
AI used to be about expert systems during the last AI hype before this one.
Let's say 8 and 9. They can, but they should not at that age. Not before 11-12.
Had this one multiple times at my job: Do you know your email password?I'll need you to enter it when I'll finish setting this one up..Blank face...So what's the password?Emmm...Emmm..I didn't know my email had a password,I just turn on my PC and it's there...Blank face.. There's no money on this planet that could force me to do IT support,as full time job.
Presumably, any public or insider information about a credible funded technologically-sound attempt to mine the asteroid would crash the market first. So, the first sign of such an attempt would be huge shorts in the paper commodity markets by the people funding the mission. They would have to make their money on the financial hedging, not on the actual sale of mined PMs.

Perhaps it also means that Bitcoin has a more credible claim to a limited future supply than traditional PMs with a "proven 5,000 year track record".
How to Setup a Local MongoDB Connection
So if part of a community engages in criminal activities the whole community should be shut down, with no consideration that part of them might not be doing anything wrong? Do you know who has the same reasoning? "They're all a bunch of X, we should Y the whole place." You're doing the same, just from the other side.
Farmed insects have been proposed as a more sustainable alternative to fish meal in aquaculture and poultry.
Link to the official statement would definitely help.
Like writing logs to RAM and syncing back to disk daily or only on reboots/shutdowns, keeping high-write applications on a USB drive and providing the biggest cache possible by slimming down the OS memory footprint.

This two things reduce the hits to SD card substantially.
I live in Moscow and we arguably have a very good public transpot system. Not the best, but still.

As of the rest of you comment - here is my answer: https://news.ycombinator.com/item?id=20632459
I suggest people using https://mbasic.facebook.com.

Messages work, no JavaScript, less noise.
I haven't watched the video, but Apple has a notifications API specifically for encrypted messaging apps to receive encrypted notifications and run a notification appex that decrypts the notification payload prior to showing the notification to the user.
I'm enjoying this series. A while back I was playing around with binary arithmetic coding and statistical modelling. For the modelling I was using a simple Markov model, and I hit performance issues. I explored all kinds of trees but eventually settled on Hash tables. Eventually I had to use my own specialized bit vectors and hash tables, but it was my first brush with a problem-space where data structures and algorithms are critical.

The algorithm worked amazingly well for small strings, outperforming the PAQ versions I tried, but it lost compression power as the input got longer. I didn't have the mathematical expertise to figure out why that was the case.

Still didn't get it to the kind of performance I liked, but maybe someone with greater insight could take a look at it: https://github.com/shrdlu68/ac-experiment
There wasn't a nursing shortage back when the county ran the hospital in my area. But you know the laws of supply and demand: corporations have to manufacture scarcity to drive up KPIs
I've had the opportunity to experience theirs and it really was quite a unique experience - the locality of the audio was comparable to over-ear headphones (although the quality wasn't quite as good, but that's to be expected with most speakers). It'll definitely be interesting to see what kind of products they can get to market with this.
> To implement an arbitrary data structure, these languages provide a special mechanism called records, structs, objects, etc. The proper name for it would be "tuple". It is the data structure that consists of a number of fields each one holding either a primitive value, another tuple or a pointer to another tuple of any type. This way a tuple can represent any structure, including nested and recursive ones. In the context of type theory, such structures are called sum types

Wait, what? Tuples aren't sum types, they're product types. Like, they're the "cartesian product" of some other types. A sum type would be like a tagged union (or Rust enum) where something can be either one type or the other. I haven't studied a lot of algebraic type theory, but Wikipedia agrees with me on that point [0]

Seems like a fairly elementary mistake in an article of this kind...

EDIT: also, this, a few paragraphs down:

> Moreover, in C++ the pass-by-reference has two flavors: pass the pointer (a common approach) and pass by what's actually called a reference, which is a syntax sugar over pointers that allows accessing the argument with non-pointer syntax (dot instead of arrow)

Pass-by-reference in C++ is most certainly not just syntactic sugar for passing in a pointer. A compiler may implement it that way (or it may not), but it's totally wrong to say that passing by reference is just syntactic sugar so you don't have to use arrow notation. The most obvious differences is that a reference can never be null, it can't be changed to point to some other object, you can't do pointer arithmetic to it and you always dereference it when use it. Also: in idiomatic C++, "passing by reference" is far more common than "passing by pointer".

I'm going to stop reading this article now. I don't have a lot of faith that this person really knows what they're talking about.

[0]: https://en.wikipedia.org/wiki/Algebraic_data_type
I use gettext for whatever back-end language I'm using. I much prefer handling this sort of thing from the back-end. That way it doesn't matter what the front-end is. It just works.
2): Haskell.
>If they're going to two different schools, most likely one of them is going to secondary school and can ride their own bike, or one of them is going to a special needs school and gets picked up. At least, that's how it works around here.

My other comment: https://news.ycombinator.com/item?id=20632459

As for the 'secondary' school - I, for example, was attending a Gymnasium as main and a musical Lyceum as a secondary. Both since 6-7 years old. And that's pretty common over here.
Controlling or Coercive Behaviour in a Relationship
Same. This got my envy meter charged up for a good week of feeling sad that I'm not working on things like this.
There is no honest telecom company in that sense. It’s a sensitive and strategic industry.

The question is to whom you would prefer to give this strategic advantage.

Now it looks really bad at us that we are offended from an Asian player after selling our tech to them for many years (well they didn’t had other choices either)

Obviously some 5G components aren’t critical. In that case maybe we must be more open.
> 2) {- comment -} probably comes from another language (which one?) but I'm always surprised by the cleverness of language designers, even when there is no need for it.

Haskell has {- -} style (multiline)comments.
How Netflix works: the (hugely simplified) complex stuff that happens
Benchmark of Golang slice initialization (Always use known capacity)
The fact that patients get infected doesn't mean the hospital rejects "germ theory".
No mention of Hermann Minkowski[1]? As any educated mathematician knows, it was Gauss's student Riemann who solved the maths for n-dimensional manifolds, but it was Minkowski who developed modern spacetime.

[1] https://en.wikipedia.org/wiki/Hermann_Minkowski
"The site’s popularity exploded in 2014 when 4chan banned discussion of the misogynistic harassment campaign known as Gamergate, prompting a migration of 4chan’s most committed harassers to the newer forum."

Ever notice how no media can just report on this factually.

What proof is there "prompting a migration of 4chan’s most committed harassers" ? This sounds like opinion in a non opinion piece.

Why is this needed? Why can't they just report facts? Ever wonder why they are called fake news?

OT: The manifest was definitely put on 8Chan by the shooter, and it wasn't also put on Instagram.

Equally I don't think the owner was lying to muddy the waters. Maybe, but I think there's a fair chance he is just wrong. If I was going to muddy the waters I'd pick another site that you can't check if it's true like 4chan
“Regarding What’s Been Happening”- Ooblets Response to Epic Games Store Backlash
When you say:

> we got the free Internet, the government got an instrument for fighting digital weapons

I'm not sure what this means. What is the instrument the government now has for fighting digital weapons? Is it the ability to turn this HTTPS interception back on later?

If so, this doesn't sound like _great_ news. That would mean the government has stopped intercepting traffic for now, but it reserves the right & capability to do so again in future whenever it feels like it (I.e. whenever the internet next contains something Kazakhstan gov doesn't like).
I didn't say the New Atlantis was a peer-reviewed publication, and I know the difference. But did you read it? The NA is a summary of the peer reviewed publications and journals such as The Annals of Statistics, Biometrics, American Journal of Political Science, New England Journal of Medicine, Journal of the American Statistical Association, and American Journal of Public Health.

So, nope, it simply won't do to sniff "not peer reviewed!" in response to this and think it's some kind of slam dunk that supports your biases regarding human sexuality.
Fascianting chan that catalogs old structures. No commentary: https://www.youtube.com/user/vlad9vt
NO! Rooting your phone will not result in a carrier unlock. I am not aware of the specific technical details, but there are mechanisms in place which RMS would call "Negative in the freedom dimension."

In my case I followed your advice, thinking like a logical human, that rooting my phone could allow myself to unlock my device (which I paid retail price from their walled garden market for pre-locked devicess, no subsidy and also following years of service) but i discovered many many months after the fact that the cellular megacorp can use their OTA update service in some instances to reverse your assertion of control over your device somehow.

I used a dodgy unlock service in a time of desperation, and would later find myself locked out from my fully paid device yet again. The handset cost as much as a crappy but roadworthy car and was paid in full.

These convoluted service lock agreements do nothing at all but ensure paying customers are beholden to the capricious will of these amoral corporate entities. The marketing and lobbying makes us think this is a good deal.

EDIT: I used an opensource rooting method, and later used a dodgy unlock service which i believe this person may have been involved in reselling.
https://github.com/Odomontois/Tincat
Not exactly you asked for but the only one I know.
Your argument is sound, but the cost of tests/treatments and overall number of staff dwarf this amount. By training the top grade more and giving more weight to their clinical acumen, you could save costs on unseeded tests and treatment. Having said that as a physician I am biased.
I imagine you do some kind of image recognition on the sketch files and then do the code generation.
They have that last part. It's called the count.
Gang Truce.
I'm So Happy and Grateful to Greg
A personal experience made me to understand that the credit score doesn’t matter nearly as much as the actual information in your credit report. When I was applying for loans for my recent project; my third property including my home, my score was 642. I had 3 late payments which hurt me, but the lenders actually looked at my report and refused to grant me a loan. I related my problem to a colleague then he introduced me to a credit repair specialist named GREG whose hacking skills are top notch. I contacted GREG via email: GREGREPAIR@TECHIE.COM, +1 424 800 3201 for his service. He helped me fixed my report, he erased all the negative items and all the late payments appeared as on-time payments. He’s indeed a blessing to me and I simply can’t thank him enough. I’m boldly recommending him to you all. Contact him today and be rest assured of a permanent solution to your credit related problems.
Our human-centered design philosophy
Why? The transition didn't happen overnight,where everyone woke up and suddenly have macs and pcs instead of typewriters.It was actually very gradual process over a period of 20 years or so. Everyone had a chance to catchup...The main problem is that most people aren't inquisitive enough and they just want all they problems or issues, they don't understand, gone. From what I've seen it's mostly lazyness, lack of motivation and general 'I don't care' attitude. I remember going to my colleague's desk,where she was complaining that one of the monitors won't show anything anymore.How long you've been having it like this? About an hour. Ok, most likely the cable is disconnected,so all is needed is to push it back in..She looks at me.Blank face.Well, there's your PC under your desk and this is the cable,so all you have to do is to go down there and connect it.Oh..So you won't do it??No,I'm not IT support but I'm happy to stay here to see if it works out for you at the end..After a minute under the desk: look,the view on the screen is back!!!!! This is a good example,where a user would rather sit and do nothing instead of trying to check what might be wrong and ultimately trying to offload the problem to someone else...
How the AI Boom Is Going to Shape Customer Loyalty in the Next Decade
The US president isn't classified as a terrorist (organization) though, while Hamas is. CF's argument was that they weren't providing material support, otherwise they'd be breaking the law.
Flutter 4 Pillars for Development
I'll buy one the second it hits the market. Beamform the television sound only to {my wife, me} so {I, she} can sleep!
Yes, you very likely need to be root. You could also perhaps add in fstab that you mount the USB drive as a specific uid. See man mount and man fstab and search for " uid" (with the space, else you search for uuid as well).
4 out of the top 10 articles on the Guardian refering to 8chan as an "extremist" or "far right" website. I don't think that is fair to the all the weirdos and pedos... It's a broad church.
How to Pass the Turing Test by Cheating [pdf]
Please share sources and data and stop posting blanket statements.
We still use duplicity because it allows us to use our own rsync backup servers, has encryption, compression and par2 optional (defaults to 10%). Every one of these is optional. Too bad it doesn't offer the ability to use compression algorithms other than gzip (lzma or zstd would be nice).
3) Backslash before keywords looks inspired by TeX to me.