skysight-inc/HackerNews huggingface dataset:
Thanks! As of now, there is only one version - the pro version. We may add an open source version soon. If we do, it will be clearly mentioned on our site along with what the feature differences between the non-pro and pro versions are.
damn this one hits Hard!!!
Town ordinance, unless I misunderstand your question.
Actually they do, and the reason for that is precisely because they allow third-party installations on Macs, and the exact same thing would happen to iPhones if they allowed third-party installations there as well.

> Adware has become much more aggressive in 2019, heavily targeting consumer and business endpoints on Windows, Mac,
and Android devices. A new team of
the most active adware families have replaced the top adware family detections of 2018. In total, we saw approximately 24 million Windows adware detections and 30 million Mac detections. The top three consumer threat detections belonged to adware families
and the number one business detection was also adware. The number one Mac detection, an adware family called NewTab, brought in 28 million detections itself.

https://resources.malwarebytes.com/files/2020/02/2020_State-...
> Well, to be brutally honest with you, it's one thing for you to be proud of yourself for playing video games, but why would anyone else see that as something pride-worthy?

Putting aside the fact that many people have made highly successful careers out of playing video games, why should I care at all what other people think about it? Life is too short to only do the things that other people think are "pride-worthy". Do the things that make you happy.
Apparently Slack has changed their bounty program payment structure, and for RCE issues they're now paying $5000 and up.

https://hackerone.com/slack
At age 35, I was diagnosed with a genetic disorder. I spent years joking "They finally found a better name for my problem than lazy or crazy."

What gets labeled laziness all too often seems to be exhaustion, invisible disability or other hidden problems.
Hi everyone, I'm working on some games that I'll soon publish for sell, in the meanwhile I've been publishing the games I made for fun, free of charge. Hope you like it.
I understand that and definitely a valid point especially for kids. I'm just making the point that in some situations there can be real benefits of using gamification. Like most things balance is important.
That's frightening. Is there any legit use case for this in the real world that would stop, e.g., glibc from removing it altogether?
I work for a large company and am in New England. I already regularly meet with colleagues in Europe or Asia, and it can be inconvenient but it's fine. If we were in a different timezone than New York I think people would mostly work around it rather than de facto falling back to New York time.
it’s not
Apple Banned Epic Games’ App Store Account
I don’t know about you, but I would find a persistent 20-30% discount on their own website interesting knowledge, especially if it was placed next to an in app purchase button I was about to hit.
It is politics because it inevitably involves demands of government intervention, often of frankly questionable wisdom.

That is distinct between the emacs vs vi sort of social identity dichotomies. Coke isn't trying to ban pepsi or demand they change their formula.
> Arguing - Your instinct when attacked is to defend yourself. But like a lot of instincts, this one wasn't designed for the world we now live in. Counterintuitive as it feels, it's better most of the time not to defend yourself.

I love this one, certainly something I need to practice.
I feel this deeply. I was extremely lazy in high school and college and then got my act together gradually throughout my 20s to the point where I feel like I no longer waste much time. I've experienced some success and accomplished goals as a result, but when I look back on my life, I remember those hours wasted playing video games most fondly.

There's a motivational saying that when you die you get to meet the person you could have become, and that's your individual heaven/hell. I've got a nagging fear that maybe if I learn to speak French or sell a business or whatever, raise a family, grow old and die, I'll come face to face with the guy who played 10,000 hours of Civ.
This overlooks that roads take up space and other resources. If you build or expand a road, that's something else you can't build or expand (housing, offices, parks, schools, etc.) there. Moreover, who wants to live next to a busy freeway? Noise and air quality aren't great.

In the 1000 lane situation, people can get where they want, but where is it that they're going to if the fraction of space is mostly roads?

You can see the practical limits of pushing for more, wider roads at scale clearly in Los Angeles. A massive grid of wide freeways. Long commutes. Bad traffic even outside rush hour. Auto dependency. Air pollution. High household transportation costs.
Mentality, among the C community there is a deep belief that only bad programmers, that shouldn't be using C to start with, write unsafe code, despite 50 years of proofs.
They’re not allowed to say,

“This expansion is $10. It’s $7 if you buy it _here_ instead.”

That’s black and white anti consumer in my opinion.
If he's using one of those mini waffle makers three sounds like a reasonable meal.
Which is why most governments issue tax incentives and credits to induce demand. If you removed the tax credits EVs would be a negative even for Tesla.
The task (in terms of constructor theory) is: Find the functions that sufficiently approximate the observations and record their reproducible derivations.

Either the (unreferenced) study was actually arguing that "automated proof search" can't be done at all, or that human neural computation is categorically non-algorothmic.

Grid search of all combinations of bits that correspond to [symbolic] classical or quantum models.

Or better: evolutionary algorithms and/or neural nets.
A human is no more capable of solving the halting problem than a computer.

And we aren’t doing some kind of magical logic when we humans create proofs. Sure naively general automated proof generation could be exponential in nature, but that hasn’t stopped us from mathematics research. There’s no reason it should stop computers either.
In my current company, my manager, when I complained that my remote PC machine was a bit buggy with Docker, ordered me top-of-the-line MacBook, delivered in 2 hours.

I don't even live in US. But this culture certainly exists here too.
Duolingo takes you 10 minutes a day. If it's the only thing you're doing, I agree it's not sufficient, but I disagree with stopping doing it - it has mechanisms to reinforce what you learned.
Offtopic: matt42 (or others); where do I learn modern optimization like this? I can optimize for cycles on embedded MCU's and older computers and I can optimize in .NET/JVM (and others) but are there any good sources for OS on modern metal optimizations? Besides reading the Lithium sourcecode ofcourse.
Brutalism and Modernism Collide at Sunshine Plaza in Prague
The pedestrian dummies in the AAA tests are standard test dummies. They disintegrate so that the test driver does not get hurt in the case of an impact. The video looks really bad not because the AAA staged it this way, but because it's really bad when a vehicle driving at 20 mph in broad daylight hits a pedestrian that's stationary or moves slowly along a line.
>The causes are failures to adequately train and mentor our youth, and that begins with how we are failing to train young adults to be parents.... partly because we're failing to hold them accountable for even basic "be an adult" responsibilities and an understanding of consequences to their actions.

I think this statement is a bit vague. Could you elaborate what you think those responsibilities that are not correctly communicated are and how an adequate training would look?
People bringing up GIT (Goedel's Incompleteness Theorem) don't understand that GIT is a limitation of formal logic which affects human mathematicians as much as computer-based mathematicians. Both humans and computers are forced to work with a recursively enumerable set of axioms when constructing mathematical proofs, and so therefore are bound by the same limitations.

Also, if you can check a proof, then you can certainly automatically construct a proof, merely by dove-tailing over all possible proofs and checking whether they're correct and imply the desired conjecture.

In other words, using GIT when discussing proof automation is irrelevant.
Liberal arts aren't a solid education for survival. I'd rather the major/minor system to allow people to study these things while getting a useful qualification alongside.
So this couldn't be done in a different browser to the best of your knowledge?
Or cut out an hour from work. And leave it up to the worker to decide whether to start early or end late.

What? Work 5 hours less per week and let workers decide what to do with that extra hour per day? This must be labeled insanity to stop people from even considering it! It's madness!

Imagine the chaos! Combined classrooms. 1st and 2nd graders together, with two teachers offset by one hour. One teacher 8am to 2pm, another 11am to 5pm. The overlap, two teachers at the same time for combined class.

Nothing involving compromise and common sense should be allowed. Force workers to conform with arbitrary b.s.
Machine Learning in Cybersecurity: 7 Real-Life Examples
When I worked at a major game developer, our custom allocation library handled this more directly: malloc would crash the program if called during normal gameplay.
Yes, motor signals. This is not necessarily entirely new, we have been able to take simple readings of motor signals for years, this is 'just' pushing the frontier (not to say that it isn't a great accomplishment!).

Thought processes though are a completely different beast, and we have no realistic hope of interpreting them at this time. We wouldn't even know what to look for. We're missing much more fundamental research in how thought works in even simple animals before we could have the first hope of finding something in a brain. Even thought processes such as 'that direction is more promising for food'.
I never heard of ball lightning masquerading as a Huey.
Techno-Tyranny: US (NSCAI) Using Pandemic to Fulfill Orwellian Vision
I think projects like this, which try to give normally invisible qualities of software some corporeal existence, are really important. Obviously this is too course-grained for diagnosing specific problems, but in environments like our phones or our full desktop environments, being able to turn on feedback about what is taking resources and how has the potential to help us build general feelings about particular ecosystems.
Where Did Earth's Water Come From? Study Casts Doubt on Current Meteorite Theory
Yeah I agree (sorry I edited the original post to essentially say this while you wrote the comment). I also took a semester of Spanish in college and Duolingo let me (barely) place into the second level class. I've also been watching Spanish media (Telemundo, Casa de Papel, Pasion de Gavilanes) and just started a Spanish meetup group to practice speaking.

What Duolingo has been best for is getting a baseline vocab and familiarity with the language. It also lets you stay fresh/keep making progress when you don't have time or mental effort to spend more than a few minutes a day.
Lets use the letter U as your curve: U

One way to imagine the the horizontal tangent is that it's where the curve stops going down (negative slope) and starts going up (positive slope). Well, that is also basically the definition of a local minima, and one of those minima is also the global minima.
> PostgreSQL requires opening a separate connection, Redis lacks it entirely, and I think both Mongo and MySQL lack it entirely.

MySQL has a kill command, which does need to be done on another connection (might also need more permissions, it's been a while). It's been a while since I used a lot of MySQL, but this was definitely a pain point when things went sideways.
>Earth’s water may have been inherited from material similar to enstatite chondrite meteorites

https://science.sciencemag.org/content/369/6507/1110.editor-...
You can ship food. You can’t ship power. Your link doesn’t even come close to answering my direct question.
But what you’ve learned isn’t all that valuable from a language perspective. It doesn’t matter how well is reinforcing lessons of those lessons weren’t very valuable in the first place.
The US is going into hyperinflation
Yes, this is only physical. The cloud env (Azure) only run once every 1 or 2 months I think. On the official rounds they do both.
That's delusional. Besides, it's impossible to see the future.
Perhaps you haven't spent an absurd amount of time on HN
that's exactly the limited engineering perspective to be wary of. biology doesn't consider those things, it just finds a way in a staggeringly multidimensional space of real consequences (also, muscles are just one, amazing, component of a holistic locomotory organism). rotary locomotion likely evolved multiple times over the eons and was outcompeted away by legged (and other) creatures with more mobility to find food and mates. for a potential analogue/precursor, consider the rotary joints we have in our bodies.

legged locomotion has evolved to be quite efficient in certain ways too. human legs, for instance, evolved for walking/jogging long distances efficiently (we have 2 gait-dependent locomotory efficiency points at two different speeds). but we can also climb and run and kick and hop and swim and more when required, unlike rollers.
The idea that humans are physical systems with Turing-computable behavior would mean that any problem not solvable by Turing machines is also not solvable by humans. That is, there are programs whose halting behavior no human will ever determine, theorems of Peano arithmetic whose proof no human will ever find, etc., no matter how much humans work at it.
I recently read an article on HN where someone mentioned that they saw a guy sitting on a bicycle just talking to a friend, he then lost his footing and hit his head on the ground and died.The commenter then wrote "We're just farts in the wind". Now I understand the reference!
Remember the ‘Travel Bubble’? Here’s How It Burst
I'm curious if newly remote employees are getting monthly stipends for internet and electricity? Is that pretty normal or are those costs being pushed on to the employee?
https://github.com/golang/go/blob/dev.go2go/src/cmd/go2go/te...

A general question. Is there a reason to add those arguments instead of just using them directly inside the goroutine and so passing the arguments implicitly?
If you are feeling apprehensive and delaying it, you should know that getting a colonoscopy is a painless experience. In and out in a few hours.
In my apartment complex the electric utility installed about three dozen charging stations (which is massively overbuilt for how many electrics there are). It probably makes the most sense for the local utility to wire up any large parking structures and some percentage of street parking. Suburbanites can install a car charger on their property, and is not a massive expense. Also, most-if-not-all electrics can charge over 110v, it just takes forever.
Commercial real-estate leases are often much longer than residential, so, they won't be as affected as fast.

As a result, there's also a whole bunch of subleasing going on in commercial RE, hence, it may end up being a whole chain of random third-parties taking the loss for the owners of the buildings (e.g., companies that need to move out of their office after outgrowing it, etc). Surprisingly, this might make an even better argument for the come-back of WeWork -- their whole model from the start was to makeover the buildings abandoned by the tenants.

Likewise, it may not affect the sale price at all, because noone would want to tank their own REITs, even if the market itself is stale -- the owners have a vested interest in keeping the bubble afloat.
Ask HN: How to “Understand” Calculus?
I am not talking about mugging up formulaes but to understand the fundamentals and what they actually mean?
It’s a shame. He really did seem like a great guy and probably still has a lot of meaningful stuff to say. I think with the pandemic and the surge in his popularity combined, he didn’t know how to handle it and started acting immature on Twitter. (If you look at his tweets pre and post pandemic, they are very different. Pre pandemic, he seemed to stay truer to his principles of not wasting time on “status games” like social media fights). I guess the pandemic has really made (what seems like) even the best of us get a little more cuckoo
> In this modern world I'd say that knocking something up from scratch, when there's a perfectly good library right there, is the worse behaviour! And I definitely wouldn't consider that corner-cutting.

I mostly agree, but this also depends on the context. If the library is bloated and you only need it for one small task, it could be considered corner-cutting.

This just goes to show how much difficulty I have answering these types of questions. There are so many different interpretations, I often end up trying to decipher what I think the question is trying to ask me rather than what my own personal reading is.
Do you have more info on the javascript piece? I cant find docs for those object properties like delegate anywhere
> The bug value also shows how much Slack here values their security, and makes me wary of them if I was in the place to be a customer of theirs.

Most directly it shows how they value a bug bounty program. There are companies that spend hundreds of millions of dollars per year and have thousands of people in their infosec program that don’t have bug bounty programs.

You can extrapolate that to how they value security but that’s not necessarily directly correlated.
Right now Tesla may literally be the last company likely to get there:

https://www.cnet.com/roadshow/news/self-driving-study-naviga...

And those are not 'bold claims' as much as 'outright lies'. There is no known path right now to full autonomy, so to claim your hardware is ready for it is nothing but a fantasy.
This is so true. I have a difficult love/hate relationship with technology, and the internet in particular. Life is so much more social and in some ways enjoyable when the power is out. And yet I wouldn’t have my career or so much of my life without the internet.

It’s difficult for me to imagine what it was like for people who grew up and worked their whole career without it, but I imagine that a much larger percentage of their working relationships and friendships were (by necessity) face to face, and by comparison richer and deeper than the mostly online connections I’ve grown up with.
Exactly. Pinterest still is holding onto existing sf office space.

They are right that it probably doesn’t make sense to pay top dollar for this spot when other spaces in east bay, South Bay and Seattle are cheaper with access to same talent.

The Bay Area will still thrive but sf proper-city will have a rough time
So you want the entire community to agree to change hours to cancel the effect of DST instead of just agreeing to not do DST? That seems way harder!
Man, hits home. 2020 is a bad year for 29, feel like the last of my twenties was stolen from me.

I have so many things I wanna do, always wanted to do. Some of it I got done! Like becoming an engineer, creating a decent career for myself, riding a motorcycle. Take a step back and look at my life and it's pretty much golden, I could coast for the remainder of it and live better than 99% of humankind throughout the ages.

But it's not enough of course, cause I'm human and it never is. I want to start a business. I want to read every philosophy book ever. I want to solve consciousness. I want to be fluent in chinese, japanese, french, spanish, know enough vietnamese to fuck with people when I'm there. I want to be a god tier engineer, one of those strings-together-unix-tools-on-a-whim types that turns around and shits out an android app after, I want to be able to do high level math, I want to understand and contribute to physics, I want to invent AI, I want to be good at chess, I want to be a decent music producer.

Jesus, look at that list. That's probably 25% of the things I really truly want for myself. Unrealistic? Probably. But am I living up to my potential right now? No. Absolutely not. If there's anything I've learned there's always another level. Our ability to make the previously uncomfortable and impossible, comfortable, has so far to me seemed limitless.

But how do I do those things? Making trello boards and tracking progress like my life is an agile project? Looking in the mirror and doing affirmations? Meditating? Yearly goal setting? For me the biggest obstacle is the day to day. Time slips away just like dude says in the article. Looking at memes, trolling Nazis on Twitter with said memes, dicking around on news.ycombinator and justifying it by saying to myself that sometimes I learn some cool stuff here.

Is it always going to be a battle against the distractions? Always little tricks like uninstalling the Twitter app, logging out of it in my browser? Having a habit tracking app? Is reaching my potential going to take a series of millions of bandaids? That seems wrong but I don't know what else to do.
No - that's simply not true. The Halting Problem states that there is no Turing Machine (i.e. program) capable of deciding whether a given program will halt.

And yes, humans are very well capable of solving that, because humans can in fact proof whether any program halts.

This doesn't mean every human can or that it has been done for every program, but it means that humans are - in general - able capable of deciding this, while algorithms
(programs) can't.
The big question that nobody can answer is whether this shift is permanent.

Part of the shift comes from the fact that we are in a temporary, exceptional situation. However, views about remote work may have been changed through first-hand experience.

People have been working in offices for literally thousands of years. It would be an epic, once-in-a-millennium historical change if we moved away from that.

But that doesn't mean it's impossible. People have also been using paper for the written word for literally thousands of years, and we've made a partial but permanent shift away from that. Maybe remote work will follow a similar pattern.
One Shot 3D Photography – Facebook Research / SIGGRAPH 2020
Debris from a Defunct Russian Satellite Could Endanger Other Objects in Orbit
In modern times it's hard sometimes to find darkness, but go on a cave out our in a woodland on a dark night: pitch black.

I'm in a city and walked down a side lane at night (new moon) and it was so dark I couldn't see my feet.

It's the contrast (seeing black next to light colours) that's not natural - but, I'm not sure how relevant that is.
Whenever I send a wire, I have to prove the name of recipient, that being a company or a person. Why would I wire it to an unrecognised name?
> The person whose father is dying has a choice about where they put their attention

You've made the same mistake again. The comics are about situations where the people have no such choices to make. To make your example fit, the person would have to be having compulsive thoughts about the unfairness of the situation or something. This is a real possibility. People with certain mental illnesses do not have choices over where they put their attention. Telling them to put it anywhere specific is a misunderstanding of the situation and unhelpful.