skysight-inc/HackerNews huggingface dataset:
First, thanks for all the work on the right direction. I have some questions.

Why won't we fall on the same problems we had with SSL certificate issuers until Let's Encrypt truly made HTTPS viable to everyone?

What will prevent requestors from requesting all or most users attributes like most apps do with permissions on Android platform?

Edit: add "with permissions"
Thanks for the replies all. I do appreciate the time taken out of busy lives. However, I did specify "easy" and as soon as you start talking about creating your own VPN and the like you've lost about 99% of the people out there who are perfectly intelligent in there own right but when it comes to computers they barely know what a sub-directory is.

Hell, I've been a software developer for years, and once built my own PC, but I balk at the idea of building a pi-hole. For a lot of people you may add well ask them to change the engine in their car.

Until there is a plug and play solution to privacy I do believe it belongs to the digital 1%.
New study in 'Nature' maps how hate travels across social media
Is data going to be cheaper too? Otherwise, it's not going to change anything for most people. It'll just mean I can blow through my monthly quota in a day instead of a week.
It is also walkable and it has a nice geography. As opposed to the valley which is flat and built for cars. I am mostly a loner but I also lived in SF and commuted in because of those reasons.
I believe the commenter is referring to the ability to add URLs and images to individual stories and tasks. If I’m doing frontend, I need mocks for major UI/UX changes.
Not just code bases, but it is useful to think of large planet scale systems in organic terms.

https://blog.vivekhaldar.com/post/6972614229/large-computer-...
Trump Asserts He Can Force U.S. Companies to Leave China
I don’t disagree with your sentiment but the 5G modem pictured on a pole in Atlanta looked like a mess with lots of exposed wires. I’ve never seen anything like that outside of a messy set up in a home office.

I’m fairly certain that the carriers could fit the antennas and wiring into a more clean looking packages to put on poles.
> You say hi to a person.

This step here is already too forward, people don't say hi to strangers. At least where I live it would be totally obvious that you were flirting or just generally creepy if you did this.
I don't really know about fog machines. I've certainly had asthma in an environment with fog machines but people were also smoking and that's a definite trigger.

I was on a train a few years ago and had a very weird rapid-onset asthma attack while sitting down. I could feel something weird in the air and taste something very bitter. I looked around and someone was vaping behind me. You're not allowed to vape on UK trains so I guess they turned the "smoke" down? There was no visible cloud. Could easily be a coincidence but the lack of regulation for the "carrier" chemicals is a bit worrying.
Not to be a complete ass or anything, but technically posting a comment on HN REQUIRES you to read the article before spreading complete misinformation.

Your comment completely contradicts everything written in the article. It doesn't make sense to you because you don't want it to make sense to you.

Step 1. The author doesn't use GPL.

Step 2. The author clearly intended wiringPi to have a limited audience. He doesn't want it to become widely used. He intentionally limited support to a handful of hardware devices. It was meant to be used by experienced C programmers.

Step 3 isn't about the author being cheated. Fame or money were never mentioned. The author is overwhelmed with work, whether it is caused by the open source project, a new job or caring for his family doesn't matter.

However there is a special situation happening here that generally only applies to open software projects. The vast majority of the bug reports involve problems that have already been solved in newer versions. This means that even if the author had an infinite amount of time, all of it would be wasted on already solved problems. There is no reason to work on the project anymore since the rate of progress has stalled. The project has entered a zombie stage and then one day the maintainer announces that the project will be shutdown.
Information is consumed when assimilated.

It isn't; everyone could watch the same film on the internet, it's not limited in supply, it's not dependent on printing or shipping or factory production line. Once there's enough film for everyone to watch for a lifetime - say 1M hours to cover 24/7 watching for 100 years, what need is there for more film?

What you describe is that people are hungry for novelty. Not more, or better, just newer. Yet there's enough books and films and songs already in existence that we could spend a lifetime exploring and not run out.

How do you balance the claimed 50/50 production/consumption when there's already enough media for everyone's consumption for a lifetime, in libraries, today?
I use PolicyControl in Chrome and it works great. I can have fine grained control over each site.
Melbourne researchers uncover privacy lapses in transport dataset
Mutineers, like the astrolab crew, will be spacewalked and keelhauled
Not an article, but a book:

"Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solution" by Hohpe and Woolf

(You don't need to read all the patterns in detail; reading the overview will be enough to get you a pretty good idea. You only need to read the details when you seriously consider implementing a pattern).
It is rather stressful for the leaving coworker to answer these questions. Just put yourself in their shoes. He/she could be thinking "I don't wanna see these guys anymore", and you're asking at the same time about the reasons. To begin with, try to ask about their plans for the next several months, their future work etc. If they're super excited about it, maybe they just need another challenge. That's totally OK. Wish them the very best and be thankful for the work done together. If they say "oh I dunno, their MacBooks are slimmer", then probably the main reason lies within your company.

If the resignation caught you by surprise, it's unlikely he/she will tell you the real motivation. People often start the contemplation long before they decide to leave. IMO.
The design of small programs is isomorphic to the design of large programs at all levels.

You're just referring to real world caveats and details, but the overall concepts taught in SICP apply to all layers of programming from assembly to the architectural level.

Small programs:

Q = A -> B
W = B -> C
R = C -> D
T = D -> E

Large Programs

L = W . Q
K = T . R

Architecture

M = L . K

The above description works at every layer.

SICP deals with abstraction and architecture at all layers of programming. It does not talk about real world idiosyncrasies of the system. For example it won't talk about whether the assembly instructions of the small program being executed is efficient and it won't talk about network latency.
We had a different experience with New Relic - call, don't email, and you get better results.
But the IRMA QR code generator server is decentralized too?
Faster, yes. But "cheaper" is just marketing hype. There's no way the telecom companies are going to pass any potential savings on to any end user. Shareholders will poop a brick if they adopt technology that reduces RPU.
My city is looking at a total 5G ban. A city charter re-write is going to be needed to topple the current municipal administration. Moving to non-partisan elections would probably help since some of the current city council incumbents either didn’t graduate high school or only graduated high school over 50 years ago. Party structures protected those incumbents with this literally disconnected population.
I disagree that every store must accept cash. Life-impacting transactions such as grocers and transportation sure, but if a ritzy boutique or Apple store wants to make things more streamlined by only accepting card so be it. It’s better as a customer.

I’m also wary of what I would consider to be ADA-styled protections for the Homeless by forcing businesses to accommodate them in increasingly fringe ways (IMO the rally cry for cash accepting stores WAS that it would hurt the homeless otherwise). Already in San Francisco the homeless are not prosecuted for petty crimes and receive free health services via frequent use of emergency care facilities. I worry the increased privileges for the homeless will attract more homeless to San Francisco, a city which has already proved it cannot alleviate the problem.
Leather was a pretty great invention too.
Once a week vs once an hour gives us clear winner.

https://nypost.com/2017/11/08/americans-check-their-phones-8...
I don't think my concern with the issue at end is much more related to automation and wages than it is related to the "engineering" side of things.

Most of what the "literature" recommends is based on individual lessons learned and ideas, that are indeed backed less by data than they are by anecdote.

Having that is better than nothing. But if you compare software "engineering" when talking about software architecture, to construction, electrical or such, it's puzzling indeed to see how much more craft and less actual science is involved.

There are metrics that seem to apply though. Lines of codes and bugs aren't good indeed. Cyclomatic complexity is more related to algorithmic than architecture (which if going that direction is very much a science).

Measuring architecture effectiveness is measuring how much the architecture achieves its goals. These are contextual, most commonly in business they will be related to things like quality (as in, the software does what it is supposed to), total cost, time of execution. Some goals you can derive from that are adaptability to change, ability to modify and extend, which you might derive in turn into qualities such as decouple-ness, non redundancy of code, readability, etc. Some metrics for these exist, such as the instability (fan-in / fan-out ratio) or the abstractness measure of packages.

I don't know of architecture books that present patterns or practices with this sort of justification though. There's a chapter on that in Clean Architecture, but most of the rest is only strongly worded opinion.
I imagine the purpose of the turbo button on some PCs was to mitigate this effect https://en.wikipedia.org/wiki/Turbo_button
Those freightship can't be landed on a major city. Imagine if the iss declared indipendence.. Tea from the sky..
First, what is toxicity? What one person considers toxic, another might consider normal interactions. I was playing competitive Overwatch the other day. We were getting stomped and I got on comms and said, "guys what are we doing? We're just standing around the choke, we need do make a play!" and some guy said, "don't be toxic." I didn't think I being toxic, I was trying to get the team to become aware of its lack of action. But this guy took it as toxic. Who's right?

You can sit and worry all day, every day about whether or not you're toxic in the eyes of someone else. I wouldn't be surprised if there are specific instances you can think of where you had an interaction with this person that didn't go the way you wanted it to and now you're worried you're the reason they're leaving. It's very unlikely.

Some people will always just interpret your actions / words in a way you didn't intend. This, in my opinion, is why it's so important to be true to yourself. Live your life by your principles and the way you think is right. If someone thinks you're toxic, and you're confident you're not, then it's fine. You're not going to get along with all 7 billion people on earth.

>I am haunted by the question "what if it has been our work environment that caused the move?"

What's haunting about it? They say "yes," you guys are toxic. Okay. You find out what it is they thought was toxic. You evaluate it within your framework of right and wrong. And you either say, "yep, I was toxic. I'm sorry. Whoops, better do better next time," or you say, "I don't think I was toxic, but I can see how you'd think that. I'm sorry about that, thank you for telling me," or you say, "this guy is a nutjob if he thinks that is toxicity. Good luck in your next role," and you move on and live your life.

It sounds to me like you're not confident in your interpersonal interactions, and you're worried that you're coming off as toxic. And that if someone thinks you were acting toxically, that it's some kind of life sentence that will stay on your Permanent Record. Don't sweat it. We're all trying to figure out how to act with people. Some people are much better at it than others. People make mistakes, and people move on.
Show HN: The Easiest Way to meet her offline
Not my area of expertise. The main study I'm aware of showing some harmful affects uses an unrealistic amount of power and curiously only showed effects for male mice. I'm hesitant to dismiss it, because effects from heating caused by non-ionizing radiation are well documented but that amount of power is just not present in cellular systems whether that's LTE or 5G NR.
Not to be rude, but rather to provide some perspective, and totally guessing here, but perhaps the person is leaving because you are always getting up in his business and acting like a tight ass.
> I don't think there's a single person today that knows all the rules.

Knowing the rules won't even save you, the game has undecidable interactions.

https://arxiv.org/abs/1904.09828
I know you're getting downvoted for this controversial insinuation ... but I must admit my mind went there while I was reading these comments. The amount of FUD in this comment section, especially at the top, is almost suspicious.

I get it that 5G doesn't exactly match the hype, that the cost of rollout is high, alternatives like improving 4G coverage and back-haul from towers are available, there are hints of problems with saturating the air in such high-powered/high-spectrum radiation etc. But how a group of supposedly tech savvy, future thinking, entrepreneurial types seem single-mindedly focused on the negative aspects of a technology seems to not match the normal crowd on hacker news.

5G isn't revolutionary but it is the exact kind of incremental improvement I expect to see in tech. It has some benefits (higher speeds, lower latency) and some drawbacks (proximity to towers, interference from large objects, cost to rollout). The discussion here seems to be entirely limited to maximizing the drawbacks and to limiting the benefits.

In my experience with tech, increasing speed and decreasing latency has always netted noticeable benefits. From CPUs, GPUs, memory access and network access - even small improvements in speed/latency have enabled major improvements in features. In addition, rolling out 5G is going to force the rollout of infrastructure enabling 5G, e.g. the fibre lines needed to supply all of those new base stations. For those reasons I am excited about 5G.
I dunno,
Anti vaxxers are definitely going against power. (Not to mean they are correct)

I think call conflating 'white saviour tourism's with this phenomena is missing the point.

We live in an age where basic trust in authority has eroded. The erosion is perfectly rational. We've seen large corporations manipulate the media in crazy Orwellian language.
We've become accustomed to PR stooges going on media outlets and blurbing new speak and falsey truths .

This in tune with weaponizing of almost all form of discours, meaning we are almost always at a debate where our goal is to annihilate the other person ability to convince, rather than find common grounds. Have left us totally detached from truth. Not in a sense of total objective truth, but in the sense of common ground for discourse even though we don't agree on everything.

Anti vaxxers , anti 5g, flat earthers, regardless of the validity of their claim, are a symptom of this.
1. We can't blame them for not trusting authority, when authority is found lying again and again.
2. They formed a social construct where common ground , i.e. truth, finally exists.

I believe this is an epistemological crisis. Not just virtue signaling, or a weird form of entertainment
There has been a lot of work like this popping up in the past year. I think it's somewhat promising, but for ML for ITPs to really become useful, I think the models need to better take into account semantic information about terms and types and not just tactics. And this is not easy, because Coq's logic is higher-order and dependently typed, and most work in ML for PL deals with much simpler logics. Still, anything that helps with the tedium is welcome.

Another problem is that you will very rarely find examples of failing proofs, since users rarely commit them. I'm working on a joint UW-UCSD project on collecting and analyzing development data, and this is one of the goals. But our dataset is not very large, since it is hard to get users to agree to something so invasive, and there are still only 1000 or so active Coq users in total in the world right now.

Another big problem is that it is very, very difficult to define what it means for a proof to be "almost" correct. This makes it difficult to apply many existing techniques fruitfully.

Nonetheless, I think the general spirit is right. The biggest gains in proof automation in ITPs this decade are going to come from automation that makes use in some way of existing proofs, rather than starting from scratch and "blindly" (often very effectively or even decideably for certain fragments of the logic or certain domains if the user knows the right tactic to call) searching for some term with a given type.
For all the commenters laughing at those silly religious folks who protested the film, consider this: is there anything you hold sacred? What if a film came out that satirized, I don't know, science, or abortion, or same-sex marriage, or racial equality? Admittedly, such a film may not have much comedic value, but I suspect it would nonetheless induce a decent amount of outrage, at least with the average reader here.

You may protest that this is a false equivalency, that the above-mentioned things are different from Christianity, which is merely belief. But that would simply be picking and choosing what you personally feel is open to ridicule - what's left is, by definition, sacred.

You may say, "I'm secure in my beliefs - go ahead and mock." Well, to be honest, we'd be in the same boat, you and I. As a Christian, I suppose I wouldn't mind watching "Life of Brian".

But to put ourselves in the shoes of the protesters - would you want the next generation to grow up in an environment where, say, the science of evolution is the target of mockery? (I imagine in some parts of the US that's not so far from the truth.) My point is, laughter is a powerful weapon. And children laughing along at the jokes may not catch all of the nuance outlined in the BBC article. Even if nothing is sacred, some things may still be important enough to try to influence the culture over.

Were the protests silly? Did they end up achieving the opposite of what they intended? Sure. But that's a matter of results, not purpose.

Maybe we should all learn to think twice before we laugh.
Oh, that's a very good point. Pretty sure it's once per line.

Seems clear after some use that Nushell has a pretty long way to go to be a practical option.
People are just using the “I don’t like how this makes me feel” button.
"I often wonder how many of the TypeScript proponents don’t realize that they’re mostly only getting compile time type checking"

Surely the biggest benefit from static typing is for static-analysis tooling. (e.g. strong compile-time checks).
I'm saddened that streaming is seen as something important.

5G may add IoT which can have value for everybody if done well (or not if it ends up as a sensation of being monitored 24/7 even without privacy issue)
Some people spray herbs with some other drugs to make them more potent and/or addictive
diacetyl is present in cigarettes at 700x the level of any vaping liquid containing it[1]; besides that there is no actual documented case of a vaper (or smoker) developing popcorn lung; afaik this has only happened to some employees at a popcorn factory. as others in the thread have mentioned, almost all juice manufacturers moved away from using diacetyl after this scare arose a few years ago.

[1] https://tobaccoanalysis.blogspot.com/2015/12/new-study-finds...
I’m not sure the US should allocate resources to do that either. But that’s irrelevant, all countries have an interest in the success of their industry, and the strength of their utility infrastructure. These things have been a matter of political interest for millennia.
I have no idea what we should make with it, but we currently make clothes out of it:

https://www.ancient-origins.net/artifacts-other-artifacts/wo...
Why can't the compiler statically determine if Delay was called or not?
If you are given them while married and then continue to use them after a divorce, no I don't think so.

Imagine it was the keys to her personal apartment she had in her name during marriage. It would not be ok for her husband to enter there after they were divorced.
Even mobile phones are now getting 90hz screens, yet we struggle to stream anything with more than 30hz at decent quality. This might not be noticable in most movies, but game streams could be much better and sports events could benefit a lot too.
My 4G connection in Austria has been able to do 120Mbps for years now, sometimes even 180Mbps. What you are seeing might simply be that you are mostly alone in your cell, and not really 5G related. Once more people have a 5G modem, things will get worse for you again.
Isn't giving credentials for a bank account to someone else against all banks terms?
Steps to Protecting Your Digital Home
His talk at Google was great: https://www.youtube.com/watch?v=d_zt3kGW1NM
Worry about your blender. Seriously. Big electric motor.
Or maybe they want to focus on a systemic problem, and it is counterproductive to call out just one of the many entities that perpetuate it (opening the scientist to "sour grapes" type of attacks).
Suppose we weren't software engineers, but instead bridge engineers or physicians. Would you then accept "someone took the time to sit down to think through, write and publish some ideas" that we could either take or leave depending on how persuasive a writer the author happens to be?

I think it is entirely reasonable to ask "what reason to we have to think this is good advice"?
> Well that sounds too heavy and aggressive. If a lady is actually stopped by strangers while out, I'm not surprised she's sick of it.

But that is the whole point, if a person gets greeted a lot by strangers when they are out it gets annoying quick. So it is common courtesy to not greet strangers in typical every-day errand places like grocery stores. It might be different where you live, but that is how it works where I live.
Small plug for anyone interested here:

My company “Thanks For Sharing” is a straightforward app to help organizations avoid situations like these.

It’s designed to encourage employees to share feedback before issues reach an unsolvable state. Organizations can collect that feedback easily and built-in analytics will show trends to identify top issues.

We’re soft-launching next month... if you’re interested, shoot an email to the link in my profile and I’ll hook you up.
What’s the deal with these people acting like their terminals are some sacred advertising-free spaces?
Working less than 8 hours doesn't mean you're making less than minimum wage if your hourly rate is minimum wage. If you take gigs that work out to a lower hourly rate than minimum wage, that's a different story though.
I mean my sources are the actual 5G Standards, the test equipment I've used, and my knowledge of cellular systems stemming from experience and and formal education so yeah, I think it's a fair assumption that my knowledge is more than "some things I heard". My job does not depend on the success or failure of 5G, I don't know where you got that from.