skysight-inc/HackerNews huggingface dataset:
Personally speaking--ISPs, content providers, backbones, etc--regulate them all!

We can have "optimized", where we economy-of-scale everything into a few (or one) efficiently centralized provider(s) that can quickly make whatever micro-decisions they deem best in an opaque and unaccountable manner, or we can have "accountable" where everything has to grind through disclosure and review and due process and liability--like almost every other field of engineering and business.

A big part of why the big 4 have revenues on par with small countries is that we just let them do whatever the hell they feel like.
AV only detects already known malware, and often poorly. As a trade off you are running highly privileged code that fundamentally needs to process untrusted input and is often of low quality. For a high interest target, AV software opens up more holes than it closes.
I also enjoy creating proofs as a hobby. When I'm doing it for fun, I tend to use Metamath, in particular, the "Metamath Proof Explorer" (MPE, aka set.mm) which formalizes the most common mathematical foundation (classical logic + ZFC). You can see that here: http://us.metamath.org/mpeuni/mmset.html

Here's a short video intro about MPE that I made: https://www.youtube.com/watch?v=8WH4Rd4UKGE

The thing I like about Metamath is that every step is directly visible. Coq, in contrast, shows "how to write a program to find a proof" - and not the proof itself. So you can see absolutely every step, and follow the details using simple hyperlinks.

Of course, all approaches have pros and cons. Metamath has some automation; the metamath and mmj2 programs can automatically determine some things, and there's been some experiments with machine learning that are promising. However, Coq has more automation, in part because it operates at a different level.
The author began the alienation by a deliberate choice of phrasing: "true sociability" is the thing that the author likes, and if you disagree, the implication is that you enjoy a shallower form of interaction.

It's all very sophomoric.
Google cache: http://webcache.googleusercontent.com/search?q=cache:http%3A...
Or with some luck, shitty isps fix their shitty modems because a major OS breaks with them. Look at what Mac OS X did with projectors!
Next challenge, code golfing, to render a golf course :D
Sorry. I don't even know where to start here but so much of it is really bad advice that doesn't accurately make assessment of user workflows and effective threat modelling.
I went to this event a year or two ago, I happened to be passing through japan. It's a very friendly event, real mix of different tech / startup presentations. Would highly recommend it if you're in the area :)
That helps but I really believe that it’s an important part of the Mikado Mehod that some of your changes go away during the process. It took a long time for me to believe that some changes are just distractions and don’t move the code forward in all of the ways that are important.

Because part of refactoring is realizing that certain problems can be fixed at any time you deem it necessary to do so, that means you don’t have to fix it just because you can. A lot of my code ends up prepped for a refactor I never do. Someone else does it for me, when they have a requirement that makes the change make sense. It’s my 90-10 compromise for the tension between YAGNI and broken windows. I don’t make the change, I just make the change easy.
This is pretty shitty advice. Online brute force attacks against passwords are rare. The only really important advice for passwords is never reuse anything. This is only achievable with a password manager. So the only really important advice is to use a password manager. Everything else is noise.
all you need to do is buy bitcoin and wait 3 months and you will have enough money to buy a house. Simple.
> this will create a new problem that we've worked very hard to avoid up until this point

Sorry, could you elaborate? Not sure what you meant here.

Do you just mean to suggest that the "net-neutrality-is-good-for-competition" argument will not persuade the average person, or something else?
Wow, what tablet is that in the photo? I've been so in the Apple world I haven't seen phones like these from Samsung before. First time in a lot time I think I've been envious of Android and I have the iPhone X already.

However, I do find it funny this Galaxy is also called the X. Copy what works I guess!
I believe frik means what's described in the "Love your own" section: https://getfirebug.com/dom#content
Except in the US as this frequency is used for amateur radio.
It seems to me you are just arguing that multinational corporations should be able to ignore all laws from every country because none of them have the global authority to regulate a global company, which is ridiculous and the opposite of how things have ever worked.

Break the law in the US, get punished in the US. Break the law in the EU, get banned from the EU. Companies have to comply with the law in a country if they want to do business there. Governments beat corporations as they should, every time -- any system in which this is not the case is corporate oligarchy.
I can't remember seeing one before & haven't seen one since.
I was in a similar situation. I drank too much - I also brewed my own beer, so I always had a fridge full of beer that was close at hand. I'd play video games and drink a few too many beers and feel a bit cruddy in the morning, and I had no idea why other than, "I'm an adult, I can drink and play diablo if I want".

This went on for a while and was under control until it wasn't anymore. For me, I was lucky: I drank way too much and decided to try to ride my vespa scooter. I fell off and hurt myself, but I didn't hurt myself permanently and I didn't hurt anyone else. It did involve the police, and my wife getting woken up at 3am by those police, being terrified that I was dead somewhere.

In particular, this was where I decided I had to change things. I'm on a pretty strict regimen - I still can drink, but basically only one drink a night, and almost always only one drink a week (during some holidays or vacations, I can have a drink on two nights, but I strictly limit the per-night drinking). This worked for me, but I can't say it works for everyone. Nowadays (five years later), I will frequently go several weeks without drinking once, and I don't feel the urge to break the rules anymore. Honestly, at first, I was following the rules because I knew my job, freedom and marriage were on the line, but after a while I followed the rules because that was enough alcohol for me. I'm no longer as worried that I'll randomly binge when I'm traveling for business and I'm AFK on a weeknight with nothing stopping me from tying one on (always a fear, but I'm at least less tempted these days).

I also had to spend a lot of time thinking about why I was drinking in the first place. In the moment, and even shortly thereafter, I thought, "hmm, I don't know why I am doing this". In retrospect though, I was deeply unhappy with my job. It was one of those things where I had a lot of my identity tied up in doing my job (academic / professor job), and the fact that I hated it wasn't something I wanted to face.

So, to directly address some of your points, I was in a place you describe, but there was just one mistake that showed how little control I actually had, and it was only because I am incredibly lucky that I didn't end up dead, permanently injured, or in jail. And only from a distance and with some perspective did I realize that I was drinking in part because I did not want to face some personal issues that were difficult to face.
> Guy in the UK I think means male as in Guy Fawkes.

That's a name. Nobody's going to think you're only talking about men named 'Guy'. Context is king (ooor queen!) - it can certainly be either alone, or mixed.
They don't need a social network to gather data. They already know what you're buying. (I take it that Facebook competitor would be someone who could offer a similar service to people who want to sell goods although that's probably not what OP was implying)
Show HN: Introducing my new video course – Learning Concurrency in Python
I'm curious--why do you argue Tor will be capped? Let's assume ISPs will cap traffic in an effort to extract extra revenue for particular types of traffic. Tor is used by a relatively small percentage of people and carries a small amount of overall network traffic. [1] It does not seem worth the marketing effort (let alone network administration) to extract revenue from its users.

If I were an ISP I would be much more likely to try to extract revenue from video downloads. It's a vastly bigger market that uses far more network bandwidth, hence seems like an obvious target. It's also a big market for mobile users.

[1] https://www.dailydot.com/layer8/tor-dark-net-study-size/
Those would be CGI concepts.
What makes you say that? It is caused by the physical reality that it doesn't make sense to build the same last-mile infrastructure multiple times. We figured this out decades ago when competing cables blotted out the sky in New York. If you think there are better solutions, that might be an interesting thing to discuss, but there are physical limitations that you can't just hand wave away.
> If tomorrow you owned all the gold in the world and no one would be able to get or buy more gold -- that gold wouldn't be worth much.

Wouldn't it be worth a lot because you cornered the market on it?
Wasn't the theory that this model number is the foldable phone discredited?
All Teslas have a grill in the front, it's down low. The battery cooling system is shared with the cabin cooling system.
I haven't watched it yet, but Poverty Inc is a documentary that makes the case that aid does more harm than good:

https://www.povertyinc.org
Link sends me to some sort of live.com login page.

Could someone link a mirror?
Good reminder to always have an actively tested data and environment recovery plan.
If that's real, well, a lot of people will want them, myself included.
Found it interesting that Maria Stone is an engineering manager at Apple who has also spent time at Google, Yahoo & Microsoft - thus comparing industrial R&D environments that many here are familiar with to particular type of academia.
The tabs don't hang in the top left corner but there's some space. I don't get this design decision. Also I dislike the hard dark outlines on some icons (e.g. for folders).
Can you cite an example of an mainstream ISP logging DNS queries sent by clients directly to third-party recursive/non-authoritative DNS servers (ie, 8.8.8.8 or OpenDNS)?

Obviously it’s technically possible, but so is capturing and storing your cleartext HTTP traffic (not just URLs, the full request and response), and no mainstream ISP does that.
No, the egg yolk is food for the embryo. It is the equivalent of the placenta in a mammal. An egg only contains a single cell (unless there's a blood clot in it), but contains a single cell is very different from is a single cell.
>The app stores are monopolies.

Only on iOS. There are several alternative app stores for Android, and you can install apps the same way you do on desktops (after flipping a switch in settings).
check out https://pwdsafe.com It's not as convenient as many other options, but somewhat pure, fast and does all the basics well without sacrificing security for convenience.
At least it's Chrome.
I was a high functioning alcoholic, drinking a six pack of beer per weeknight (programming by day for a successful company). On weekends, I would keep an eye on the clock and wouldn’t start drinking until noon.

Looking back, I realize that I could hardly function without it. I was hiding scotch in the closet and taking occasional swigs in secret just to “get by”.

One day, I went to a new doctor for one thing and ended up leaving with a prescription for an antidepressant because of a questionnaire he asked me to fill out. The effects of the antidepressant were not subtle at all. Suddenly, I had no more need for alcohol. Cheap wine tasted bad. I could still have a drink, but I didn’t need it to function.

That was ten years ago and I’m still on antidepressants. I still drink, and sometimes to excess, but I don’t need it to function. There’s a huge difference.

I would strongly recommend a visit to a doctor or psychiatrist if you feel like you’re addicted. You may be trying to self-medicate your clinical depression.
Thanks for the tip - I shall bear in mind for next time. I must be outside my edit time limit now, as I can't change this one, but will do in the future.
> Get rid of fractional reserve banking while you're at it.

And replace it with what? The barter system?
Show HN: A lightweight JavaScript micro-library for creating collapsible lists from JSON
I'm not so sure disagreeing is grounds for demanding resignation. And a couple clicks for a digital signature hardly says, "I'm pissed odf." Pardon me but I'm just not a believer in slack-tivism.

If ya wanna move the needle ya got to hit'em where it hurts. Boycot FB. Boycot Twitter. Boycot Netflix. Boycot Amazon. Even if it's just for a day, those are all actions that will be heard.

If Small Biz Saturday can be a thing, so can You Need Us More Than We Need You Friday. Okay. Agreed. The name needs some work.
It is a 17-year-old article. Did the fundamentals stayed the same or has there been any significant paradigm shifts in how game networking is done?
> You must use an iPhone, model SE or later. Android phones are not safe to use.

> If possible, consider getting a Chromebook. This is a simplified computer, far more secure than an ordinary laptop, that can only run the Chrome browser.

Reducing attack vectors in this way seems very sensible to be honest. It's crazy to expect users to understand the ins and outs of computers to remain secure. I remember it being common that people would comment that you can't drive a car without a license so you should have something similar for being allowed to use a computer.
Ionic App Using Apollo GraphQL Client and LaunchPad GraphQL Server
Carp, a compiled Lisp with type inference and a borrow checker
Totally depends on how much bodyfat you have. Today I just broke a 14 day wet fast. If it came down to it, I think I could survive for another 2 months at my current TDEE before I hit essential fats. I think that people with obesity could survive significantly longer without food.
> Hashpower is heavily tilted towards large mining pools, many of them in China, but it is still the best measure of consensus and support the network has.

I'm not convinced by this argument at all. Consensus in the network is derived by the traders who give Bitcoin its value, not the miners. If anything, the miners are on the opposite end of the equation as they have to sell their mined coin to pay for their mining expenses (since silicon and electricity are typically purchased in fiat currency).

Look at the exchanges for consensus, not the miners. The miners are effectively slaves to the system. I don't understand why it's so common to give them so much weight.
ANU? Small town, excellent STEM programs.
I remember solving these in my spare time while bored at my first internship as a developer. Good memories
Anyone use LastPass? It seems like a deal breaker when it comes to Firefox. On my phone, where I really don't want to be typing 16 digit passwords, I can't get it to play nicely with Firefox mobile. If I can get it working, I can really try switching back.
Data Science Intern Interview
That advice can be attributed directly to Walter Murch! It is written in the book!
The pictures are fake, for everyone who is confused. This article should be removed for being misleading.
an act become an addiction if you can't function with it at all or close; can you feel calm without it even at the cost of performance ? if so you're not alcoholic. Also wine is not a strong alcohol. Those I've seen were hiding vodka in plastic water bottle at work.

Plus you have monitored your usage.. btw, is it stable or increasing ? are there peaks ?
> Under no circumstances use the Tor browser (it's okay to use Tor, but do it with Chrome, and seek additional training on how to set it up).

Is this just because Tor Browser prompts the user to update while Chrome updates silently on restart, or something else?
The poster already does not drink every day so, while they may have a problem, they are not alcohol dependant. The risk of withdraw is only for people who are alcohol dependant.
That is an obvious statement, and yet it has never occurred to me. I now (finally) understand why renting is generally a better decision than buying.
Just added to the top of my reading list. Thank you.
Actually, TDS is just fine. They used Tor to get around these restrictions, because if what you are posting online is so disgusting that nobody is willing to host you, yes, you have to use some niche service.

It's just like if you are openly a nazi in real life, you'll find your life is a whole lot harder because everyone hates you and refuses to work with or do business with you. It's called having a society and it's an extremely good thing. If you're so disgusting nobody wants anything to do with you, we are magnanimous in the US; we don't lock you in jail or execute you, it's just a whole lot harder for you to participate in a society that on the whole thinks you are inhuman scum.
Right, because they are proven. It's your assumption that proven == bug-free that is incorrect.
Public interpretation of shared information is not at all the same as anecdotal evidence!

Don't conflate these two things. I know beans make people fart because of anecdotal evidence I've heard from different people. That doesn't make this "fact" wrong.

On the other hand, interpretation of public information is quite different.

-

Aside:

Also I have a small aside here for you personally. I'd like to remove something from your mind so that you never speak about it again. I don't want 9/11 truthers derided here on Hacker News because I consider the example to be one that should not be included here. Flat earthers? Sure.

As for 9/11: I'm not a "9/11" truther. I've never called for an investigation into it. I don't care about it. But for you, if you care about this subject for some reason, the standard for whether you should be a 9/11 truther, in the sense that you believe anyone had any prior knowledge those acts would be committed, is whether you find any leaks to that effect by such a government official.[1]

The standard regarding whether it is feasible for 9/11 to have included a controlled demolition is the opinion of civil engineers, whose profession this sort of thing is.[2]

So while I can't speak for you, I do have my own standards. This does not mean I'm a 9/11 truther. I'd like you to stop using it as an example, though. Use things that are false (like flat earth) if you want to make some kind of cheap point, please.

Note: I want to reiterate that I am in no way, shape, or form, a 9/11 truther.

[1] https://www.youtube.com/watch?v=i6eMq5Rit1w - "From about August 23rd, every night, until September 2nd, September 3rd." This insider says "We are never going to look for who they are, and it's probably not worth looking for them." Her Wikipedia page is quite credible as an insider. In addition it includes major smears on her character and a complete refutation over the official channels you would expect. She meets the standard outlined above.

[2] https://en.wikipedia.org/wiki/Architects_%26_Engineers_for_9... - "The organization has compiled a list of criteria for a controlled demolition that it says the collapse of the World Trade Center meets: the destruction followed the path of greatest resistance, the debris was symmetrically distributed, the rapid onset of the destruction, explosions and flashes reported by witnesses, steel elements were expelled from the building at high speed, the pulverization of the concrete, expanding pyroclastic clouds, lack of pancaked stories in the debris, isolated explosions 20 to 40 stories below the wave of destruction, molten steel and thermite traces found in the debris."
That evades the point and reintroduces the same thought pattern I've criticized in my original post.

> Even though it's not a charitable cause, they are trying to make the same appeals. And if a charitable organization was eating away more than 50% of the donations in administrative costs, you would likely be very wary.

The funding is low, less than a fast food worker. The person running the operation couldn't even pay his own rent to run it out of an apartment.

Before we start slicing up the pie, we need to have the funds reach a point where they can sustain themselves. For instance, basic living expenses in midwestern US. Funds after administrative costs should be the pie.

We have to stop shaking down people who want to help open source when they ask for funding. It's as if whenever someone tries to fund an open source project or create a way to fix this problem funding in open source, they're hounded and dogpiled.

I've seen this sort of entitled, stingy attitude on the part of open source users, that despite using open source software to their benefit, those doing the work behind the scenes are shamed for trying to sustain themselves.

It's this strange double bind: first you want your software working, new features, and that bug fixed, but the one's facilitating that very thing for you can't have the material means to do it without being shook down.

When I see 10k in funding, less than poverty wage in USA, and people talking about it as if it was a prize pool instead of operating expenses, that's the mentality I'd like to see done more thoughtfully.
> IMO people who write English as a second language tend to write longer drawn on sentences than someone who writes it from birth. We take pride in shorter, informal, more concise ways to speak, even if it's lazy.

I (non-native) have noticed that too. Native speakers taking pride in shorter sentences is one thing. But for me those shorter sentences are not intuitive. I can't really tell why. I suppose I try being extra careful to be comprehensible.

When I watch something like 'The Simpsons' I am amazed by how simple every day sentences can be. For instance, something like "Can you stick it in the refrigerator?". That's pretty close to what I'd literally say in German. But if I had to ask that question spontaneously in English then I'd use way more words.
FAQs about Public Companies and B Corp Certification [pdf]
We've allowed them to become the controlling force because we don't take any significant and tangible action. They don't need to listen because we're complicit and complacent.
The Friendlysock Experiment, Subjective Results
> This is pretty unusual for Cure53, who have a reputation for being a bit effusive about the products they're paid to review. I'm not sure I've ever seen them throw shade before.

Yes, and it's getting really old. I'm tired of seeing security consulting firms wax poetic about how good the client's security is in their reports, then bend over backwards to frame obviously serious findings in the best possible light. That's not their job, their job is to report security vulnerabilities objectively, with sufficient coherence, context and reproduction steps so as to make the problem evident and motivate a solution.

Naturally, as soon as Cure53 decided to politely categorize what are clearly critical vulnerabilities as high severity, Remembear took to Twitter to crow about how much of a success the security audit was - "No critical findings!" I have serious reservations about the incentives at play between companies and the consultants paid to (security) review their products, especially when the report is publicized.

In my opinion, companies should not be using security consulting firms as a component in a press release. It encourages a mischaracterization of the state of the company's security and the severity of findings, and it puts a pressure on other security consulting firms to "play ball" and gush about their clients' products in publicized reports.
I like how succinct this comment is.

Is there a conclusion on the global movement of rent prices in comparison to house prices?