skysight-inc/HackerNews huggingface dataset:
> I'm so glad I was able to grow up in the (sadly last) "be home for dinner, be back by dark" generation.

Hey I'm old too. We played Lawn Jarts--the ones with the points on them. We rode in cars without seatbelts. We bike rode without helmets. Played tackle football without equipment on the frozen ground. We played Hardball at 6. And we Fought with each other.

When I was 7 some older kid took my ball; my mom said "You gotta learn to fight your own battles", that was my first black eye, and it hurt like hell. My dad did go to his house to speak with his dad, since the kid was about 13 years old. But that lesson about standing up for yourself was the most invaluable lesson I ever received.. I grew up in the World of Men where at times might does right, and tbh it still sorta does.
My wife and I have 2.5 and 0.7 year olds. Because of remote work, I have the luxury of living basically anywhere. My wife and I made the move from a 300k city to a 40k city about 45 minutes away.

There's many reasons we did. Chiefly, it's far far cheaper. But also, it's calmer and quieter and just a nicer way to live. What we didn't expect to see, which we are absolutely delighted about, is how different childhood seems to get lived in a much smaller city. There have been roving bands of children on bikes all summer getting into who knows what kind of awesome mischief.

We go on completely random drives 3 or 4 times a week, just wandering the city to get to know it better (and get the youngest to nap) and we see kids and young teens all over the place without parents.

Anecdotally of course, but I wonder if smaller cities/towns lend themselves to a far more trusting, free, safe environment to grow up. When I picture letting my boys, when older, go out on their own, I'm thinking about the difference between here and where I used to live. The scariest street has 4 lanes total and is a 50km/h. There's no rapid transit to smoosh them. There's a wonderful central park just one traffic light away. Literally everything in the city is a bike ride away.
> Human intuition does consistently do better than automated tools, but there is no single easily recognizable "trick" or "method" to it, which makes it hard to implement in a tool.

Except in software verification, the facts on the ground are that it is the automated tools that do better than humans. We're not talking hypotheticals or speculation here. If you've written software proofs you won't find this particularly surprising. They're tedious and frustrating, but rarely require much ingenuity. Attention to detail plays a far more important role [1]. They're not at all like proving mathematical theorems. Software proofs are to math proofs what painting a hospital is to painting the Sistine Chapel.

> In my view, the reason that theoretical results do not apply very directly to human reasoning is precisely that human reasoning is "intuitive" and hard to capture in a program.

Perhaps, but so far humans do not seem to outperform the expectations. So you're counting on a human ability that, to date, we've not seen. In fact, humans rarely if ever beat computational complexity expectations. SAT solvers do much better than humans at supposedly-NP-complete problems, for example, and so do various approximation algorithms. Why doesn't our intuition help us outperform algorithms there?

And again, if intuition were the decisive factor, how come we're doing such a terrible job? If algorithms beat us today, what kind of boost in intuition do you expect that will allow us to beat them tomorrow?

Look, formal proofs are great. They're clearly the gold standard. So I encourage everyone here who thinks proofs are the future of software correctness to try them out to write correct large and complex programs. The problem is that they'll fail, and either abandon formal methods altogether, or worse, waste their time proving what they can at the expense of verifying what they should.

> but if you want to be able to use the full power of human intuition, instead of restricting yourself to program properties that are easy to prove automatically, then there is no way around manual proofs.

Maybe. It's certainly possible that one day we'll figure out how to make manual proofs work reasonably well for software verification. It's also possible that by then automated tools will get even better, especially considering that, as they've shown greater promise over the past few decades, that's where most of the research is focused. Sure, there will always be some niches where tedious manual work is required, but I see no indication that that niche would grow beyond the size it occupies now, an important yet small part of formal verification.

[1]: https://brooker.co.za/blog/2014/03/08/model-checking.html
I'm squarely a millennial dating someone gen z and the differences between our upbringings are staggering. Last week I went on a trip with all of his friends and while we were fucked up the friends parents started talking to us through their nest cam outside. I can't imagine being a kid today.
1. I’ve seen people overclock using liquid nitrogen

2. Freeze off warts
It's true, I don't know if I'd necessarily recommend a random content selector for Airbnb as an example. That said it could actually be interesting to see a selection of random places to visit around the world. Reminds me a bit of closing your eyes, opening an Atlas to a random page, and putting a finger down on a place. I understand your point though that there are times when random doesn't cut it or becomes vague. I also wonder if there are other simple ways we could improve explore pages beyond the go-to recommendations engine or random selector.
We're a remote company, and due to issues we experienced with employees too far off from the core team timezone (US Eastern) - having no overlapping hours slowed down productivity and caused issues. We now have a guideline to be in a timezone 6 hours or less away. Obviously this can stretch if someone prefers to work other hours and does so consistently... however what we don't want to happen is we post 'these are our team hours' and someone is eager beaver to interview for the job, and claims they can work those hours, but never has before, and doesn't stick to it after being hired.

So per your example, I can't actually specify Europe-Remote, because I don't care if you're in Colombia, Brazil, US, UK.. just works two hours overlap with US Eastern 9-5.

I understand your frustration. I just wanted to share an employer perspective. I don't have a great solution besides that we're always upfront in our job postings about the 6 hour timezone from US Eastern guideline.
How do you push back when the manager sending the "ringer" is the VP of Engineering? And they're wrong about the candidate? I've had this happen twice with VPs at different companies. VP makes a joke panel, candidate gets hired, then fired within 3 weeks. Then at least 1-2 people want out of the fired person's team the following month.

There are definitely recruiters and other players who are thoughtful when they get thoughtful feedback. Yes, if you help a recruiter tune their funnel, you'll help their numbers, so of course they're going to listen. Those incentives are clearly aligned. But in a high growth setting, especially around new grad job fair time, the head count quota is what dominates. It's easy for that quota to be unrealistic, and for hiring efforts to become misaligned, or even at odds, with the long-term interests of the engineering team.

The core problem is that recruiters, hiring managers, executives, etc., deprive ICs of the contextual data (e.g. headcount goals / internal rankings) and outcome data (especially compensation details) that are critical for ICs drawing their own informed conclusions. We must cease accepting the norm where ICs have to dig for glimpses of this data, and share it surreptitiously (e.g. Blind), when the whole picture is readily available to those owning the final decisions.
"War-ravaged" is a weird way for that site to describe an economy with its physical infrastructure entirely intact. The only main "drop" in productive capacity was the reparations payments and confiscations, which while harsh, didn't reduce the size of the German economy by a factor of a trillion (the total depreciation of the Mark from 1918 to 1924).

Inflation could have definitely been avoided by harsh taxation of the general population... but again, the government tried to dig itself out of the budgetary hole by printing money instead. (A budgetary hole exacerbated by the government promising to pay the salaries of workers on strike in the Rhineland.)
I’ve been there and it’s a bit annoying, but not entirely so. I give my 2 year old kid wide birth at the park, and sometimes other parents think he is completely un watched.

I put up with it because my kid has gotten lost before, and other parents have been very helpful at that point (unfortunately giving lots of space can backfire at the store when he just runs off and gets lost).

There is a TV show in Japan (sure you can find it on YouTube) where parents send their 3 or 4 year old kid to the store by themselves for the first time and then have them followed by a film crew (this right of passage is typically unfilmed and unsupervised of course). I know that can’t happen in the states, but I can dream!
Seems like society is constantly pushing to remove all the ways in which kids used to live. Can't just wonder around and play on the sidewalks or the streets anymore with your friends, someone will call the police on you. Can't hang out in the woods, as those have mostly been torn down to make way for new neighborhoods, and the woods that do remain are typically private property. Unless you are lucky enough to live in a place that still has a good wooded area where there's no busy bodies, you are out of luck. Can't hang out at the mall, they will kick you out if you aren't accompanied by an adult. Can't hang out at your favorite local joints anymore, they'll kick you out. I was also among the last generations that really got to experience freedom and a playful world as a child, I can't imagine growing up in the world today.

The biggest problem are people who can't mind their business and people who have been conditioned to fear the world. The 24/7 fear cycle of news has drilled it into so many peoples minds that if you see someone anywhere on your street outside, they are there to murder, rob, mutilate, or otherwise commit crime.
Mathematicians' take on the same hypothetical situation: https://mathoverflow.net/questions/40920/what-if-current-fou.... Not quite as earth-shattering.
Great memories from cub scouts- I would not have learned how to camp otherwise (until later in life perhaps)
Amazon contributed $ to the head of Congressional antitrust probe before hearing
They don't type check though; most constraints arent enforced, and the underlying reality (slinging around mostly strings) leaks out often.
Agree. I heard that there are four primary vendors for credit union and small bank web software. I guess they're not typically able or willing to customize commodity or write custom mobile apps.
(Sorry for butchered headline. I found it difficult to get under the char limit)
It doesn't work very well. I got SEGFAULTs every time I tried; filed a bug report; no resolution. So, while it does exist, it's not a high priority for the Julia team, so I wouldn't rely on it.
I had not heard of that. Is it a new thing?
> I’d immediately try English.

Unless it's a literal matter of life and death to understand what the other person is saying without too much of a delay, it's a pretty asshole-y thing to do:

a) The other person will "immediately" know that you think that their Russian is not up to snuff.
b) They'll know their well intended effort isn't appreciated.
Interesting, by gathering data on what kills people, they inadvertently also gather data on how dangerous guns are.

Although, props to the CDC. That is some serious data gathering, cleaning etc. Most countries don't have that level of detail. At least not publically available.
Sometimes the precursors are legal if you have the right paperwork (e.g. importing it for some industrial process).

And, other time, the final product has a much higher molecular weight, so you get more bang for your smuggled kilo or m^3 bringing precursors.
I strongly disagree with your assertion. The two are not at all similar. Parents, by common definition and biologically, are there to support and protect their offspring.

Keeping an eye on where your kids are is vastly different than commercial entities doing it.
Yes, but the point is that the era we tend to romanticize the most with 'free range parenting' tended to be something exclusive to white and/or affluent parents. Black children didn't really have that luxury at the time considering the systemic racism they encountered every step of the way.

As a poor white kid when I grew up my parents didn't have the luxury to let me do my own thing because they were often out fishing for a week+ at a time out in the bay area. So I was either waiting in the dock house playing video games for shorter fishing trips or out there on the boat with them for longer excursions.
Is it possible that mathematics got it slightly wrong? The whole concept of 0 is relatively recent. Plenty of mathematics comes from before its inclusion, so presumably the idea of maintaining convention was there for successive mathematicians too.
And that's okay. You're job isn't to be their friend either.

A parent's job is to give their kids opportunity to learn and grow. You can't always force it on them, and they won't always be interested.

You can give them them the opportunity to do something that will help them grow (learn, build character, etc) or they can be bored, but if they choose to be bored, they need to be told that they have options, and they are the ones choosing to be bored.
The D-Day rehearsal that cost 800 lives (2014)
Just Enough React Test Setup
I would completely agree. It is one of my favorite features. I decided to leave Wikipedia out of this post, but I think they've done an amazing job creating tools to explore the vastness of the site.
https://bit.ly/2yCfrGk
But you are apportioning blame. You are calling HN a bunch of unbalanced, immature children with a thin skin and no sense of humor.

But, if you've such a thick skin, why obsess over downvotes? They mean nothing except that your post annoyed someone enough for them to click a little button. If you're so convinced it's HN and not you that's the problem, why should it bother you?
What is "an encoder"? Like a function that takes the same variables as the template would but does some work itself generating things?
I was referring to your [1] in this thread.
Natural selection can’t explain the treehopper bug’s bizarre horn
Creativity that solves a problem can be a good signal. Creativity for creativity’s sake is a mixed bag, and depends a lot on the role.
Jungle Boy Game
It seems like I may have offended you, I didn't mean to, and I apologize.

I'd love to discuss this but don't want to get in a flame war.

In re: ASN.1, if I ever have to de/serialize some messages again (I'm quasi-retired ATM) I would use ASN1SCC "an ASN.1 compiler that was developed for ESA to cover all data modelling needs of space applications."

> The compiler is targetting safe systems and generate either Spark/Ada or C code. Runtime library is minimalistic and open-source. The tool handles custom binary encoding layouts, is fully customizable through a code templating engine, generates ICDs and automatic test cases."

https://essr.esa.int/project/asn1scc-asn-1-space-certifiable...
Can you link to your claim?
I'm guessing you knew upper middle class kids from over-achieving parents. Normal Japanese children don't do that. Generally speaking, elementary kids are running around on those 2 wheel wobbly skateboards (not sure what they are called), or playing baseball or basketball (around where I live basketball is surprisingly popular). Right now it is summer vacation and across the road my neighbour's kids are yelling at each other like normal ;-)
It’s not hyperbole. It’s happened twice recently in Montgomery County, a DC suburb near me: https://patch.com/maryland/silverspring/mother-free-range-ki.... (It’s one reason we moves two counties over.)
Add to Chrome and Hop to it!
Whether it comes from Nazi or what else, if the diagrams and information and so on is good for this use, then it is good.
No, I mean what I wrote, "as young as 5".

> All of the kids I knew from that area of the world, as young as elementary school, spent every second either studying for school or practicing piano/violin.

Sorry, but "that area of the world" is way too broad. Korea, for example, is quite different from Japan. And in any case, it's dependent on the cross-section of society you're talking about.

Elementary school itself, for example, is not suffocating at all, from my experience. Too much homework, yes, but not to the point that kids have no free time.

But again, my point is not about the amount of work. It's about the freedom to be on their own.
The answer isn't dependent on rate of death.

It's based on when we start teaching children to heal through trauma, as well as take responsibility for and learn to release their emotions.

These drills are simply trauma fuel. They're irresponsible actions taken by irresponsible, fear-driven adults who think they know what kids need when they themselves don't know how to be ok in an horrific situation or how to heal from it without developing toxic behaviors...

Toxic behaviors like the kind that traumatize children further.
When there aren't far more productive ways to spend that time. For instance, teaching and reinforcing the wearing of seatbelts, talking to kids about domestic abuse, or even just child gun safety like not picking them up and playing with them.
I wish http://www.freerangekids.com/
were a better website. Plenty of good ideas though. See also
https://en.m.wikipedia.org/wiki/Free-range_parenting
All sort of stuff; it cannot be summarized just one or three.
A Bid to Maintain One of the World’s Oldest Culinary Traditions
Having spent a nontrivial amount of my life hand editing large JSON files now, I have to agree here. Lack of comments and trailing commas are a real QOL issue.
As a designer, if I was given a resume that looked what was described in the article I'd Mark them down a point. Knowing your audience and the appropriate time and place is an important part of design.

If they send their resume somewhere that likes that, then good for them.
Well Seoul, Hong Kong, Taipei, Singapore, Beijing, Shanghai are similar when it comes to kid going out. But the childhood is still under siege in these places by constant pressure to excel with lots of extra curricular classes. My close friends kids in Tokyo, Seoul, Hong Kong, Singapore, Taipei, Shanghai and Beijing spend most of their time in extra tutoring or music or painting or dance classes or something else where they have to excel. They have very little time left to just play and learn social skills. During some free time, they spend time in self-absorbing mobile or online games.

So I don't think Asian cities fair better than North America or Europe. It's a global problem. Two kids seating in front of reach other talking via instant messanger or in-game chat.
My developer account has been getting mails about "apps that are not compliant with permission requirements". The problem is that these are 3 year old, UNPUBLISHED apps.
Turns out, you cannot delete old apps . You can only unpublish them. Google will still keep the app up if even one phone has the app installed.

I wrote back saying that this is a years-old app that I no longer even have the source code to. The reply was "we can't do anything. You need to figure it out. Or else".

After days of constant emailing, NOTHING HAPPENED. Finally I got a a notice my apps were deleted with a warning email.

Here's my fear. I have two more apps like this. I'm pretty sure they are going to go through the same procedure. Is my main developer account going to be banned ?
False dichotomy. The choice is not between in-office and anywhere-in-the-world; there are many possibilities in between:

- Remote with occasional long-distance trips to the office (i.e., plane travel)

- Remote where one lives within driving distance of the office

- Remote with no office visits
Lol, true. I was just suggesting an option if they care about portraying a facade of fairness. Probably unnecessary though.
I am a parent of two boys—ages 7 and 4–and I hardly recognize the negative forces that this author laments over because my wife and I have simply chosen not to raise our kids that way.

When my boys get home, we get outside and do sports. We’re in the middle of (tackle) football season right now and that’s what my 7 year-old does five days a week for two hours every evening. It’s exercise, fun, camaraderie, and lessons for life, all rolled together. My four year-old spends the practices on the sidelines, digging in the dirt with other little brothers and sisters and chasing the bigger kids around the track when they run laps.

When football season is over, we move on to other team sports. When those are over, we ride our bikes around the neighborhood and play pick-up football games in the front yard.

What we don’t do: iPads, TVs, or smart phones. It’s not that came into parenthood with some anti-technology mindset. Rather, we let our kids have these devices and we saw immediately the negative effects on their behavior, attitude, and motivation, and so we took them away. They get to use them on the rarest of circumstances: during airplane rides or as a brief reward for a week of good behavior.

Adam Carolla once said that the problem with kids isn’t all of the things that we’ve added to childhood, it’s all the things we’ve taken away. Sports, free time, boredom, tree forts, and neighborhood exploration have all been curtailed. For much of this, we have over-involved, over-concerned mothers to thank (and a bunch of dads that think like moms).

It doesn’t have to be this way. Nobody is forcing us to raise our kids in the post-millennium style. You can raise tough, resourceful, happy, outdoors-loving kids if you want to.

If you are a parent of little ones, have a look at this article:

https://www.nytimes.com/2016/10/23/magazine/the-anti-helicop...
+1 for Dasgupta (DPV). It is used at GT and Berkeley in CS.

http://algorithmics.lsi.upc.edu/docs/Dasgupta-Papadimitriou-...
Actual title is “Hand-hold phone bans don't seem to improve safety, but they bring in cash”.
OK, I can believe some Christian young-earth creationist to honestly be on that train.
We're talking about people who think a helicopter being able to hover over a stationary point is proof the Earth is flat because if it weren't, the ground would move away from the helicopter. I'm guessing none of them have ever actually piloted a helicopter before.
Can you just publish an empty APK (after creating the project) up to all of them? Or is that not how this works?