skysight-inc/HackerNews huggingface dataset:
One reason it hasn’t been adopted very quickly is because the RFC basically rearchitected layer 3 in the OSI. The network topology for IPv6 changes significantly. It wasn’t just, “let’s make up addresses longer”. Adoption has been slow enough to call the RFC a failure at this point. I personally think it will slowly fizzle out and then be viewed as a waste of time and a less drastic step will then be introduced by a corporation that we’ll all end up adopting.
What's the point in having an age then if you can change it at will?
After China Objects, Apple Removes App Used by Hong Kong Protesters
at least when you care only because of your own interests, you lose the moral high ground.
Thank you for your suggestions and the reference. It'd be really helpful. Wish you good luck too! I'm definitely taking some cues from your site too!
How to Wake Up at 5 A.M. Every Day
Embedded systems here, several projects using VxWorks through the years. Mostly safety motion controllers, robotics, medical and consumer FPGA processing boards.

Due to cost and availability of modern tools (compilers, testing, V&V, CI/CD and virtualization), there is a big trend right now to migrate those projects into RT Linux, which has come of age. I guess the support for modern languages from Wind River is their attempt to avoid losing customers or attracting new ones. They used to have an edge due to the certificated environments, but modern development and systems are becoming so complex (eg networking, cloud, etc) that using a pre-certified kernel is just a tiny bit of the certification process, and in many cases the complete system has to be validated anyway.
> I'll tell you what's at the bottom of it. If you can convince the lowest white man he's better than the best colored man, he won't notice you're picking his pocket. Hell, give him somebody to look down on, and he'll empty his pockets for you.
Can confirm, and I'm a lot older than 30. It's done huge, irrecoverable damage, caused me a lot of serious mental problems (recovering now from a year of serious crap that made me unable to work for a year). I'm actually pretty mentally robust at core, but that got beaten out of me (or, I should say, out of us). Memory and personality problems etc. Drug problems. Few life/sex partners because you're so wound up you can't deal with people normally and can react abnormally.

Not all bullying happens at school, and it's so much worse because you can't escape from it in the place you're supposed to be safe. You don't even realise it's abnormal because it is your normal. I'm not going to spell it out, you can read between the lines.
If they were serious about 'giving away their power too,' they would let someone else sit in a coffee shop while taking notes on a laptop.
I tried to do something like that (http://proofpeer.net), but got lost in the details. Learnt a lot from it, but implementing your own cloud versioning system is probably more appropriate for a project with 100 million dollars funding, not 600000 pounds, half of which goes to university bureaucracy ;-)

I think formal abstracts (https://formalabstracts.github.io) is promising in principle (it doesn't focus on proofs though).

The Archive of formal proofs (https://www.isa-afp.org) is the biggest effort I know, but the logic (Isabelle/HOL) is not powerful enough for doing advanced mathematics comfortably, and the process of contributing is quite arcane.
From the PLOS paper >To assist in complying with diet recommendations, participants in the diet change group each received a small hamper of food items including olive oil (Cobram Estate), natural nut butter (Mayvers), nuts and seeds (walnuts, almonds, pepitas, sunflower seeds) and spices (cinnamon, turmeric). They were told to keep their shopping receipts in order to receive a $60 gift card as reimbursement for study foods. Participants in the diet change group also received a brief, 5-minute phone call on Day 7, Day 14 to ask if they were having any difficulties adhering to the diet and troubleshoot problems with reference to the prescribed handouts. Participants in the habitual diet group were given no instructions regarding diet, and were simply asked to return after 3 weeks for follow up. https://journals.plos.org/plosone/article?id=10.1371/journal...

So if you enroll subjects in a study, give them attention, free food, gift card, phone calls, etc. then after three weeks they will feel less depressed than a group of subjects for which nothing was done.

It would be more convincing if they had a third group that they fed blue cheese bacon cheeseburgers, french fries, diet Coke and Lil Debbie cakes from a convenience store. I'd bet even money that the third group would have been less depressed too.
To make that comparison, you first have to define "freedom" in concrete terms.

I've long had the impression that people tend to define it in a way that values things they get in their home country, and devalues the things they don't. For example, an American is going to define "freedom of speech" in a way that ensures the government itself has almost no ability to limit things like political lobbying, because political lobbying, being a way to advance an opinion, is sacrosanct. A Canadian is more likely to want to define it in a way that allows for limiting the ability of people with lots and lots of money to drown out the voices of people of more modest financial means.
I was always on the heavy side since high school. 5'10" and 200 lbs was my usual weight. Then I fell into a slight depression after moving to a more remote location to be closer to work. I wound up gaining weight and hit 230 lbs. It was after my friends wedding where I was his best man that it really hit me. I was the fattest guy in all the pictures. It really bothered me.

Around a few years ago I started noticing more and more reports on how excess dietary sugar is quite bad for you. So I took a good look at my diet and realized that not only was I eating crap but also over eating in general. I then made it a mission to cut out added sugar, excess carbs, and excess fats. No keto, no atkins, no gym membership, no gimmicks. Just thought to myself "if this was 100+ years ago, what would I be eating?" I limited myself to eating just the basics in smaller portions. I limited beer and red meat to occasion and eliminated sweets, sweet beverages, sweet and savory dishes, and cheese. After a year and a half of discipline I lost damn near 65 lbs. It wasn't easy but it worked. (ymmv, I think my metabolism is quite good and I just abused it)

Conclusion? I feel great. I feel lighter. I move better. Clothes fit better. And I sleep better. I feel confident. I'm now the skinny guy in the group. Family and friends are both envious and inspired to also lose weight. Those feeling alone are addictive so it helps me hold the course.
Sure, it's trivially easy to slip into tribalistic behaviour. That doesn't make it right, decent or defensible. We should aspire to be better than our unchecked nature; not use it to excuse our failings.
With energy bolts hammering at her heels on every step, our plucky lawyer dived through the doors of the high court. Slamming the injunction docs into the outstretched arms of a waiting clerk she yelled at the shimmering blue spheres on the other side of the window, "You've been served."
We are living in a world where only the single-minded can thrive
And if the bully is your parents, which of these do you recommend?

Edit: sorry, that was an unnecessary response by me. Clearly you weren't thinking in those terms. Apologies.
If the Oceans Become Transparent
Well, guess what's the biggest "problem with (the) school" - the inability to get away from a bad environment. And you can't fix that with counseling alone - you actually have to figure out who the worst offenders are, and punish them consistently. The more you can deprive those folks of the social influence among their peers that's what they crave most, the better for everyone else.
Kettles switch off when the water boils
Isn't it logical (or at least understandable) to care more about the people who share the same cultural values and historical bagage than about other cultures which are harder to understand and relate to? Why should people care equally much about every single culture on earth, regardless of how much it relates to their own situation and life?
A physics thing that is mostly useless if you look at caloric diet success ratio. People feel mere calories restriction as torture. If you want them to keep a diet, you should pay as much attention to what they eat as to how much they eat.
Its like changing the data to fix a bug in code.
A proof of a statement A may be valid in one formal system X but not capable of being written down in another formal system Y (and more strongly, there may be no proof at all that can be written down in Y that proves A or not-A, even if the statement A itself can be written down in Y).

It helps to be precise. Stating the incompleteness theorem imprecisely generally just makes people confused about what it could even mean. Strictly speaking, an incompleteness theorem has to be proven within a particular formal system X (the "meta-system"). It expresses--within X--that "for every consistent formal system Y expressible in X, there is a statement A expressible in Y such that there is no proof in Y of A or not-A". Here Y is the "object system".

The statement A is only unprovable within Y in particular. If it is expressible in X as well, it may be provable (or disprovable) within X. Indeed, one can trivially construct a formal system in which A is provable and which can express Y by adding A as an axiom to X.

The real, philosophically significant, non-particular-formal-system-specific import of the incompleteness theorem is not just that there are unprovable statements (which isn't really true, and is in fact kind of mathematically meaningless, outside of the context of a specific formal system, given that any statement or its negation can be taken as an axiom, and all we have to judge such choices is a non-mathematical notion of "self-evidency") but that (as the name suggests!) no formal system is complete--every formal system can express statements that it can't prove. It's all about that universal quantification.
> By porting Unix to the PDP-11 in 1970, the group ensured Unix would live on into the future.

I have a question about that. Why would they do this?

What was so valuable in these few lines of (mostly proprietary) code, that you would make the effort to port instead of just writing from scratch on the new machine?

If you take a look at what came later, a lot of much more substantial software packages were made by a single bedroom coder in his spare time.

Why port? It couldn't be to save effort? (At least the conceptual level of things would remain the same if you start from scratch.)
Found it:

https://www.ussc.gov/sites/default/files/pdf/research-and-pu...

It seems controlled for the same crimes.
This was one of the only reasons I was using fish as that feature is by default.
Looking at the number of preventable accidents that happen daily, I don't think we are anywhere close to "well enough".
This comment is a great example of the black and white view so common on HN.

If it’s not 100% white, then it must be black. No other alternatives.
And it has been the mainstream quantum theory for decades. Nothing new. But physics doesn't concern itself with what "actually exists", only which models work the best. Whether fields or particles are ontologically more basic is a question as of now relegated to the realm of metaphysics. Some physicists have opinions in one way or another, others just subscribe to the "shut up and calculate" school of thought.
While that diet of blue cheese bacon cheeseburgers and Lil Debbie cakes sounds great, I would be pretty miserable on day 2 as a lactose-intolerant person! Although day 1 would be glorious...
I thought politics wasn’t allowed here
I don't know, you tell me. But neither do I see much legitimate point in having a legal non-changeable age beyond the minor non-minor distinction, or for reasons of estimating health.
> the NSA wouldn't want people to know that they have such good access

Yes, that is not positive evidence however.

> it is easy to hide both intentional and unintentional flaws

Easy in what way? I don't think it is easy to plant flaws nor easy to keep them hidden.

> Certainly there is a huge motivation to use modern devices

Doesn't mean it's possible.

> who knows what's possible with the total cooperation of manufacturers?

Why assume "total cooperation"? The manufacturers have their reputation to lose.
Forget philanthropy. The super-rich should be paying proper taxes
This is completely beside the point, but I'm guessing an adult who has never encountered chess but has played other games will be way worse after 10 games than an AI pre-trained on other games and then trained on 10 chess matches.
And also force others to do so, via exploiting your power over them as an employer? Really?
Explainer thread of the PG&E power outages
Sure, if you change the definition of freedom, then the US isn’t that free.
I have never heard of submission fees.

There is plenty wrong with the "scientific publication" process as it is firmly rooted in the 19th-century mentality, but submission fees are not among the problems.
They can give away their money, as long as they don’t force others to do the same, which is typical of socialists.
I have hundreds of products in my house that say "Made in Hong Kong".

I don't have a single product in my house that says "Made in Iraq".

It's not strange that North America doesn't care much about Iraqi plight, as we have next to no relationship with them or their people.

Same as we all cannot afford to cry over every single other person's mother and father passing away, but we cry over our own parents passing.
Academic achievement is inherited like height, not like religion.

> The heritability of conscientiousness facets and their relationship to IQ and academic achievement

https://www.pnas.org/content/111/42/15273.long

> Genetic research has shown that intelligence makes a major contribution to the heritability of educational achievement. However, we show that other broad domains of behavior such as personality and psychopathology also account for genetic influence on GCSE scores beyond that predicted by intelligence. Together with intelligence, these domains account for 75% of the heritability of GCSE scores.

> The high heritability of educational achievement reflects many genetically influenced traits, not just intelligence

https://genepi.qimr.edu.au/contents/p/staff/CV448.pdf

> Our findings confirmed positive associations between IQ and the facets of Competence and Dutifulness (ranging 0.11–0.27), with academic achievement showing correlations of 0.27 and 0.15 with these same facets and 0.15 with Deliberation. All conscientiousness facets were influenced by genes (broad sense heritabilities ranging 0.18–0.49) and unique environment, but common environment was judged unimportant.
I'm curious what they use for the GUI.
C++ with Qt might have been a safer choice. Like most Rust advocacy articles, it says it rejects "C/C++" because of the flaws of C.
It's not in the keychain. You can back up /var/db/lockdown, though.
As NASA tries to land on the Moon, it has plenty of rockets to choose from
Mornington Crescent used to have trains only stopping in one direction (prior to 1966, according to Wikipedia). Then for a long time, it was one of the less-used stations for somewhere relatively central, and wasn't open at weekends.

Nowadays, the next station (Camden Town) and that area's various alternative/subculture markets make the area very busy all the time, so all trains stop at Mornington Crescent at all times.
> but do we need more Koch brothers spending money where they think it will do good?

Would you rather prefer a Stalin guy in charge of funds and money? You are talking about extremes here, as if private money are inherently bad, while governments are inherently good and democratic.

Even in our "liberal democracies" governments spend on bailouts, subsidies for big biz, countless wars, foreign bloody dictatorships. This is better than Koch brothers? Democratic, hah?

The good thing about private money is the diversity, there are different rich people, on the scale from Hitler to Jesus, with different ideals and views, spending on different things. With governments it's way more centralized, and if your government is fucked, it's abysmally fucked due to the concentration of power.
Study shows that excessive athletic training can make your brain tired
> It is not difficult to keep the notation sane in formalizations based on set theory.

Keeping notation sane is, of course, very important. I think keeping notation sane is harder than it might first appear, but it is certainly possible.

One interesting trick used by Metamath's set.mm is to define variables that look similar to operators but can be defined for purposes of a particular proof (e.g., as hypotheses). For example, + underline, * underline, and so on.

For an example, see theorem grpridd, "Deduce right identity from left inverse and left identity in an associative structure (such as a group)." http://us.metamath.org/mpeuni/grpridd.html - the hypotheses include statements about "+ underscore", and lead to a proof about + underscore.
Do you really genuinely care about the children ? I don't.
Wait, do you mean "if you're on linux gnome-terminal is better (because if you're on linux you can't use iTerm2)?"

Because that's the only way your comment makes sense to me.
That’s an easy one.

I can say pretty much anything and not have the gov’t come after me for it.

Say something distasteful about a minority group in the UK and you’ll be punished for it.
Parents spending time with their children is valuable. Parents modeling compliance to pointless busywork with minimal effects on educational achievement is not.
Show HN: Team communication solution that keeps employees happy and productive
According to the website, you can order one now with a 3-5 day delivery (presumably more if destination is outside of Rwanda).

https://maraphones.com/product/mara-x/
I hate acronyms so much.

LBYL - Look Before You Leap

EAFP - Easier to Ask Forgiveness than Permission
Spending it on hookers would directly remunerate the "working class" though, no?
Yeah we already do have a somewhat similar mechanism for legal insanity or incompetence to stand trial the two are separate things - technically someone who was so out of it they think their victims they killed were demons wearing human skins and everyone else is crazy for not seeing it and a dementia afflicted serial killer may or may not have been culpable at the time of crime but both aren't suitable to stand trial now.

The implementation is messy and imperfect for those fringe special cases but it is an exeception handler.
"I'm convinced that one of the main reasons for Brexit is that rich people in England"

Brexit (when it gets around to happening) is the result of a referendum. ~48% of the voting electorate are not all English and rich.
True. From “Love and peace” in the 60s to “Greed is good” in the 80s.
Kaku also incorrectly predicted HEVs.
> Talents aside, a pro will always make better pictures using a cheap low-budget camera than any amateur will be able to do with the newest and best camera available.

Unfortunately it doesn't work like this.

Photography, as a low threshold occupation has tons of professional hacks who are bad with any equipment. At the same time there are countless amateurs who are top talent.

And it's not just a recent trend. Aside from photojournalism, formal portraiture and weddings, photography was always dominated and advanced by talented amateurs. There's no such thing as "professional landscape photographer" for example, even if some of them are able to make a modest living off their works after years of effort. Ansel Adams is a great example.

Also, no professional photographer would use a toy camera for anything other than a gag/vanity/show-off project. They infallibly use reliable, quality equipment day in day out.
Stripe complete schema for database/API design learning and inspiration
I've never understood why schools seem so reticent to enforce zero-tolerance policies against bullying. In my experience at least, every time bullying seems to be a problem at a school, it's because the environment allows it to occur.

Schools will eagerly put in place various other zero-tolerance policies, like no fighting. So if you dare defend yourself against such a social predator, you are taught a lesson by such a policy that you've done a bad thing.

I was fortunate never to be a victim of bullying, but many of my friends were (we were a bunch of nerds after all). The difference was I had support at home for fighting back because my parents knew the administration wasn't watching out for students well being. The lesson I learned is that fighting back is the single most effective strategy for stopping bullies, and that parents have to ensure that their child is shielded from ineffective school behavioral policies.

My friends didn't have such support and suffered from it, and couldn't ever learn that lesson. Some of them couldn't have fought back even if it was okay for them to do so for various reasons. The ones I still have contact with today have lingering social problems from the childhood bullying and this has fully reinforced on me that bullying is a social plague that needs to be aggressively stamped out.

There is the other side that bullies themselves are suffering in turn. Many come from shattered home lives or abusive parentage. Those children should be identified and put into some kind of counseling program as early and as intensively as possible. They will also grow up to be damaged in some way because of it and in their lives, perhaps only the school has an opportunity to tamper down their violent instincts.

However, the physical and emotional violence that bullies subject others to is absolutely not to be tolerated in any way. And it seems the best way for other children to handle it is to simply do their best to fight back.
How about when Google tracked all users location even with the location service disabled?

https://www.theguardian.com/technology/2018/aug/13/google-lo...

You don't see Apple doing shit like that... quite the opposite.
“As a person from China, the fact the gov’t is putting Muslims in camps means more freedom for me from terrorism.”

That’s not freedom.
Because when the groups leading the protests were in power they were just corrupt, social conditions were just as bad and they were as brutal and tyrannical as those now in power.
Almost everyone is going through puberty at the same time for one thing.
Year old, nothing here seems very accurate.
Everyone has sociopaths and narcissistic tendencies to varying degrees. But to say that "most" bullies are sociopaths or narcissists that can't be helped like OP said (before editing their comment) misunderstands people period.

Adolescents don't have the developed perception of consequence as adults, and yet OP is already pinning them with mental disorders that can't be resolved. Pure speculation that is outright wrong.

In the case that you mention with learned anti-social behaviours, counselling can most definitely help with unmapping/correcting those behaviours.
"I wish it wasn’t something that I had to do voluntarily."

I think this is the crux of a major philosophical difference. Someone made a bunch of money, and decided to put trust in you to do what you thought best with it (give it away, invest it, whatever). The sentiment expressed by this individual in the article is a delegation of that trust - they would rather have someone else (presumably, the government) decide for them the best way to use that money.

At the same time, it's not like anyone in this article is really giving it all away. Last week, Catholics celebrated the Feast of St. Francis of Assisi. He would be a useful role model for anyone who feels like they have too much privilege of how to actually give away all that you have (and still not have birthday vacations and lunch at Le Pain Quotidien).