skysight-inc/HackerNews huggingface dataset:
I find CBC has a bad habit of writing corporate fluff pieces. They quote an "expert" from SAS making some vague assurance that their security is good. SAS is a vendor to CIBC[1], but the article fails to mention that conflict of interest.

[1] https://www.sas.com/en_ca/events/14/cibc-user-group/home.htm...
It's also case insensitive !!
C# kinda does have a data querying language built right in with LINQ query expressions, although they seem to have rather fallen out of favor.
It's sad reading these stories makes me hope that I don't get old and instead get mauled and eaten by wolves instead so I don't have to deal with this.
That's not a useful comparison, "sum of all knowledge" isn't the same as "summary".
With BTC there is utility in being able to move value around with no banks and no transfer of physical assets.

BTC does not have a monopoly on this utility. Time will tell if it can maintain its leadership position in market size but I seriously doubt it.
Literally stated, but sort of missing the point.

Paraphrased: there's no risk, except that you lose all of your money (because your coins are now worthless).
Was there a reason for the move away from HoTT? I seem to recall looking this up a while ago but didn't find a solid answer. Was there a fork version 2 that continues development with HoTT?
Disparaging the idea makes sense, as detecting drug use in an area served by a particular sewer is answering a question that nobody has asked.

If we care so much about sewers, perhaps we should take the money squandered on this and hire laborers to maintain or replace aging sewer infrastructure.
This does something interesting to the incentives surrounding hard forks. If someone wants to hard fork e.g., ETH, they either (1) need to abandon ethash altogether for a different hashing function, or (2) be very very certain that their hard fork will capture a large fraction of the hash power of the original chain. Otherwise the forked coin can be targeted as soon as it's created.

And of course the new coin needs to maintain its share of that hashpower indefinitely to survive.

This seems like a bad thing, since it weakens the implicit threat of hard forking that keeps BDFLs in (non crypto) open source projects from acting too strongly against community consensus.
I have been working full time as a freelance developer at ideatostartup.org since last 4 years.

Working remotely has neither affected the way I interact with people nor made anything difficult for me. However, it may be because I live with my family and they have a big social circle.
500 is the correct error code to use in that case.
Free monad considered harmful
Grab some tissues on your way out.
> I'd love to hear a discussion on the best way to fix this.

Proof of stake (still problematic for very small cap) or proof of ID (my favorite) using something like the e-estonia crypto ID system. You can prove every miner is a unique person, award them coins on a deterministic pseudo-random order.
Junk Type: Typography found while junkin'
US Life Expectancy Likely to Drop for Third Straight Year
Since the last mile is still less than a hundred miles, however, it changes the job immensely from a long distance one to a local one that more people may want to put up with. Assuming the technology actually develops enough to be adopted, of course.
I honestly feel like those boosting Mars as an objective are doing so _because_ it's so far off. Blue Origin has been quietly, diligently working on the hard, boring problems and isn't going for flash - pretty much in line with Bezos approach to most things - but folks will nonetheless be impressed with the achievement, even if the implementation is ignored.
The moon has no atmosphere, so living on it seems less friendly and far more dangerous. Long term, terra forming is not going to happen, because it won't hold an atmosphere.

That said, as a moon base it has a lot of things going for it, but I'm not sure if there are significant advantages of going there as a stopping point before going elsewhere, when you can achieve many things in orbit with some advantages of not having to take off again.
Why don't they just write the network stack in Rust? Then we would know it's secure with no audit required.
Yes! Especially when fixing latency problems.
“World War III is a guerrilla information war with no division between military and civilian participation.”

— Marshall McLuhan, “Culture Is Our Business”, 1970, p. 66
Is it too soon to call this Teapotgate?
If I had known then what I know now.
Oh I’ve done that too as a rookie. Software displayed an error message when the application was in a state that was impossible for it to be in, at least in theory. The error message was a line from 2001 Space Odyssey: “I’m sorry Dave, I’m afraid I can’t let you do that”. Of course when it ended up getting displayed it was displayed to a customer called Dave who has never seen (or read) 2001 Space Odyssey.

The first lesson was to avoid funny error messages in the future. The other was that “impossible” things tend to happen surprisingly frequently in software.
Not only that, but if you’re returning this status code you’re almost certainly doing something wrong or user hostile.
I'm not joking, physical coins and tokens are irritating and inconvenient to carry. Cash has other portability annoyances. A cash card that can be refilled electronically is more convenient than having to hit ATMs constantly or deal with merchants having exact change.

If you tell me to give up credit cards or mobile payments, I won't. I'd rather credit cards and mobile payments be made secure and private, but in the worse case, I'll trade convenience for marginal loss of privacy, since in decades of walking this earth, I've yet to have been harmed by it.

I'd be more concerned if I lived in a country with a more fascist authoritarian government, but the cost/benefit tradeoff for me, personally, it well worth it. Other people have the choice of not doing so, they just have to suffer the irritation of cash and loss of convenience.
(1954)
No point to any of this? Except you know a permanent human settlement off the planet and the trillions and trillions of dollars floating around out there in asteroids. Humans have no future if we don't get off our little fragile planet. I would honestly say it is one of the few things that do matter.
Chupadatos?
This was a discussion I remember coming across not long ago when I had the same question: https://groups.google.com/forum/#!topic/lean-user/VA71gT5nIz...

There's a somewhat active integration of HoTT into Lean 3 ongoing here: https://github.com/gebner/hott3

Though, given then above linked discussion, I expect that never to become officially supported. But who knows, I don't think Lean 2 started life intending to handle HoTT either.
The author explains his reasoning for PDF for this document here: https://arachnoid.com/latex/why_latex_pdf.html.

The author also has a Hacker News profile: https://news.ycombinator.com/user?id=lutusp
> I'm gonna lock this for now, because I'm sure it's gonna get plenty of traffic. You really don't need to respond to repeat what every other poster is saying. The registry team has been informed.

It's alright if they want to lock the thread to prevent a massive +1 spam, but at the very least they should have given a link to track the status of this.

When your production systems are down, "thanks for the report" is not a good enough response.
Conditional Probability Explained with Python and Pregnancy Test
Correct! Thanks for posting this, i just enabled it.

For anyone who wants to set it up you can find it by...

1) Logging into Easy Web

2) Click your name in the top right

3) "Password and security"
Learning a face space for experiments on human identity
I recognised it straight away when it popped up this morning and thought "What the fuck, how could anything even trigger that?". There were no issues mentioning it for the longest time so we figured no way, it must be something besides npm.
https://en.wikipedia.org/wiki/How_to_Stop_Worrying_and_Start...
Everipedia seems far less reliable than even Wikipedia (which I don't trust). Based on what I read on their website, it's a mix of fake information and paid-for propaganda. Some excerpts from their website (EDIT: from last December, maybe the text has changed since then):

* Header for their footnotes sections: All information for ... [this topics's] wiki comes from the below links. Any source is valid, including Twitter, Facebook, Instagram, and LinkedIn. Pictures, videos, biodata, and files relating to Everipedia are also acceptable encyclopedic sources.

* Celebrities have verified accounts. Not only does this allow them to have conversations with their fans on their own page, but they can also contribute information to their own pages... without having to rely on secondary sources! [Yes, they really used an exclamation point!]

* The Premium Service they offer to the subjects of pages (e.g., to celebrities and companies, not to users): Features Offered / - Verified Page and Account / - In-house Editors write the content / - No ads / - 24/7 Prioritized customer support / - Social Media Promotion / - Link to Website of Your Choice
You didn't read GDPR. Deleting isn't enough, if GDPR applies to you, you need to follow all the compliance requirements, including hiring people, providing proof of deletion if investigated, etc.
Parenthetical is referring to engaging emotionally. It’s not the same as talking about the weather, and invites passionate responses.
In general, proxies and other third party clients will consider 4xx errors (edit: un)retriable.

That's one simple obvious difference.
Funny, I grew up in Miami but currently live in Raleigh and have been to the NC beaches many times. I'm pretty sure I always knew them as rip currents. But now I wonder if I learned them as tides and started calling them currents at somepoint. Tides is definitely a misnomer:

https://en.wikipedia.org/wiki/Rip_current

I've been caught in one before too but nothing so dramatic!
What if it really is a teapot? Not that farfetched with today's internet connected devices.
Regarding the “breathable air”, where’s the nitrogen and carbon dioxide going to come from? Pure oxygen is not an option. IIRC there’s only trace amounts of carbon in moon regolith. So if you want plants and an artificial biosphere would you have to bring it all with you?
Gmail allows you to use SMS, but does not force you to and gives you other secure options.
This is a great book to read if you're in the process of writing your own how to book, so great on so many levels from writing style to content flow.
I am quite interested in the BAT (Basic Attention Token) project. Using the Brave browser you can either block ads normally or choose to view Brave ads, and the difference with Brave ads is that the viewer gets paid--- in tokens, that is. They can then use the accumulated BAT tokens to send micropayments to platforms and content that they like or peruse frequently. Pretty cool incentive system. And Brave is a really nice browser, at least for mobile.
Something like proof of ID would be amazing, but like you said it requires a secure digital id system to exist first, which few countries have. Is there anyone building something like this?
Ask HN: How do you normally dispose of your unused domains?
I decided not to pursue my idea for Memeing.com and started a 7-day auction with no reserve at GoDaddy to raise urgently needed funds for a different project. However, I am now risking losing the domain for no real gain if not enough potential bidders see it.

How do you normally dispose of your unused domains?
CRA = Canada Revenue Agency (Canada's IRS)
That kind of ratchet can happen, but I still think the "be nice" effect is much less important than the "add procedural complexity" effect. I don't see how a study could distinguish the two without re-examining every patent, but:

1. Anecdotally over my interactions with patent examiners (using both large firms studied in the linked article and small firms), that's how it felt. I never felt the big firms were getting directly special treatment. I often felt they had an oddly perfect understanding of a mostly-arbitrary set of rules not necessarily grounded in any statute or case law that they nonetheless somehow shared with the examiners.

2. The "complexity" effect doesn't require trust. The former examiner genuinely has specialized knowledge that will benefit the new employer, so the employer has an incentive (beyond some vague hope of goodwill from examiners still in government) to keep up the bargain.
Yes, they are.

http://money.cnn.com/2018/05/25/technology/gdpr-compliance-f...

>"The suit against Google alleges that users of the company's Android software are forced to turn over personal data to use an Android-powered mobile device.

The lawsuit alleges this "forced consent" amounts to a violation of GDPR, which guarantees individuals the right to consent when companies want to collect and process their personal data."
Kx could be much bigger if they open sourced the q interpreter, tapped into a larger developer pool who could write libraries and add ons. There's more money in selling consulting services than licenses...
I find most people will be vulnerable if you start the conversation that way by exposing your own vulnerability.

The book Conscious Loving touches on “telling the microscopic truth” which provides a lot of tactics for telling messy, complicated feelings. It’s a wonderful read and will improve your relationships.
"Dropbox also went public. It had a first-day pop of 36 percent; however, with only 200,000 paying customers compared to its 500 million users, I would be hesitant to rush in to buy, even as it comes off that year-to-date high considerably."

Um, really? I think the number is closer to 11M.
Apparently the proposer, (Mutua) seems to have already proposed similar legislation.
I just wonder how they crack down on people with pseudonyms. They can't arrest 'joblo31'; unless they track down people's IPs and heavily sleuth around. Likely will be a tool to wield against companies to fork over data over compliance.
For all intents and purposes the martian atmosphere is no different to the moons, it's 0.6% of earths atmosphere.
Marmalade Boy  Live Action 2018 Online
> There is a secondary benefit that I’ve addressed in the post nonparticipation in that I also no longer share those intimate details of myself to startups and third parties who are pressured to monetize that data. By going unquantified I’m in complete alignment with nonparticipation in toxic adTech driven panopticon of surveillance capitalism

I wonder what epiphany the author had to start/change his opinion on the ad-driven model.
2 hours after the incident was responded to by an npm employee and the status is still green: https://status.npmjs.org/

I love fake status pages!
Don't worry, we'll just launch it in San Francisco market first while we build out the technology and raise funds, we'll scale it up everywhere else later!
You are so sure of your beliefs that you are not going to look at the art collection (don't even think about the Instagram account!). By all means, swear, blame the Russians, and make basic mistakes that prove you cant bring yourself to click. Think about it, you are spending all this time refusing to make a simple search. Why? You reaction is a textbook emotional reaction.... denial at all costs.
Hey uh, I don’t do a lot of mobile gaming, but what’s a loot box and why should I care if it’s gambling or not?
That's a great point, certainly you wouldn't want to breed a culture where the life guards were playing cards back in the staff room with one ear cocked for the "silent sentry" going off to warn of a drowning.

I'd probably deploy it as an almost invisible thing that the staff never interacted with, and dial its detection way down until it virtually never gave a false positive, even if that meant it missed 20% of the actual drownings (those people are no worse off). Anything to avoid complacency, even one false alarm every couple of months would be too much.

The UI would be an earsplitting siren followed by a Robocop like voice shouting e.g. "someone is drowning in lane 5, 50 meter point".
You mean "the maximum applicable fine" in case you "willfully abuse data".
Here's to hoping that all my yarn caches will continue to carry me through this.

Seriously, though. I'd love to get a look at their SLA and how they define "uptime" for their "org" and "enterprise" users. I don't think most teams are running out the door to throw their money at npm, and it's this type of instability that creates mistrust amongst developers.
It’s appalling how bad the NPM development team is. Do they have any sort of test suite at all? I’m switching to Yarn.
At the very least, it would allow for us to create a new data center located off Earth to reach greater levels of reliability and redundancy, even if you believe humans have no point in being there.
Ya the middle of nowhere I-5 is still damn dense with truck traffic and water rationing political signs. I’ve made the trek top to bottom many times and I have very little love for central CA.
If we're trading irrelevant facts, few of the industry-standard pizzas fit without vignetting too.
Something more along the lines of:

> Thanks so much for the report. Currently, we are doing the best to resolve the issue. Please continue to check back on our status page to see our updates.
https://status.npmjs.org/

Sounds more appropriate
I was referring to the requirement of a page with an opt-out form, but since this law wouldn't impact small websites it's a moot point anyway.
The biggest startup opportunity is in truck parking. Learn about it. There is money there for anybody with a tenable solution.
> The HTTP 418 I'm a teapot client error response code indicates that the server refuses to brew coffee because it is a teapot. This error is a reference of Hyper Text Coffee Pot Control Protocol which was an April Fools' joke in 1998.

https://developer.mozilla.org/en-US/docs/Web/HTTP/Status/418
What It’s Like When Elon Musk’s Twitter Mob Comes After You
You’re missing the point. One last time: it is ideal to operate with an awareness of consequences.
Ahhh, this makes sense -- they're not pushed, but flung. Thank you.
Try not to put too much stock on what Elon Musk says. The man rants about whatever happens to be on his mind: candy companies, media rating companies, tunneling companies, hyperloops, etc... doesn't mean you should take it seriously.
The paper is also at https://faculty.chicagobooth.edu/thomas.wollmann/docs/Revolv...

I proposed an alternative mechanism for the effect elsewhere on this page at https://news.ycombinator.com/item?id=17175983
But it’s trivial to start typing in Word. Spell checking is easy, as are basic formatting operations. Loading/saving work the way you’d expect.

Yes you can write a dissertation with a ton of support from Word to make you life easier, but doing simple things is simple.

It sounds like that’s what missing from kubectl. Even for a small start it takes a lot of knowledge.

To continue the Word analogy, that sounds like LaTeX. It’s very powerful, but no normal person is going to get started for the first time very fast for basic tasks. Certainly not compared to Word.

The Rails analogy from the article seems very apt.
Please go on. This alternate universe you've constructed in your brain where you're a lens expert is sincerely fascinating.
How much is a banner Ad on the moon worth?

An advert visual to literally everyone on the planet has got to be worth the cost of building a settlement hasn’t it?
With 7 billion people on the planet, one in a million events are guaranteed to happen to about 7k people.

Law of stats of large numbers etc
Data protection laws existed in Europe long before GDPR. Every country had them. And companies would simply disregard them until they became GDPR with the promise of fines and enforcement.
Not just faster, but significantly faster.

If the current is 3 mph, and you can swim at 4 mph, then you will be swimming for a very long time at the effective 1 mph to get back to shore. And if on the way you need to stop for even a minute's rest, you'll lose 4 minutes worth of your hard-won progress.
I’m reminded of when npm was beginning to get popular and all the web devs I worked near were acting like it was pure gold and the first of its kind; as if other package managers like maven or apt never existed.

These days I just have to laugh and shake my head.
Isn't it? I would rather get an update after the problem has been fixed than to know that development efforts have been slowed down in order to keep me in the loop.

I am not sure if you are putting your money where your mouth is. This product can be used for free, and there is a simple work around. (i.e. Test before you upgrade.)
No. Partly because Java has become more efficient. Mostly because of Moore's law and similar increases in computing power. In 1995, the year Java came out, I bought a relatively powerful [1] but not top end computer: 486DX2 66mhz, 8MB RAM, 340MB HDD. It was almost ten years before I had a computer with enough RAM [2] to make Java applications merely something I tried to avoid all things being equal rather than clearly painful.

[1]: Fine for ACAD r11 because it was written in C or lower. Back then it really mattered, but it was also $2000 for the big box of floppies.

[2]: 1GB -- more than two orders of magnitude more ram.
That's true, but I single it out because:

1) Many people have had their Gmail account for a long time, starting before SMS-based 2FA was widely known as a security disaster (this is in fact still not widely-known)

2) Google still actively encourages users to add a recovery phone number

3) Users could have added a phone number years ago then forgotten (this was the case with myself)

4) Users often have many websites using their Gmail account for password-reset workflows (this is definitely the case with myself)

All of these combine to make Gmail the ideal hacker entrypoint. See this hack: https://www.reddit.com/r/ethtrader/comments/8klw4f/someone_j...
Memory Augmented Self Play
There’s a big difference between a toolbox and a box with those same tools jumbled up inside.

One is organized and sensible. The other is a mess.

Just because they are both technically capable of the same things doesn’t mean we shouldn’t hold ourselves to the higher standard.

(Haven’t used Kubernetes, just going with the analogy)
Cold medicine is usually a combination of Acetaminophen, Dextromethorphan, and Phenelyphrine. ALL of which are no better than placebo in randomized trials and meta studies, especially when you exclude industry funded ones or at doses found in over the counter cold medicines.
Emotions (and the feelings that combine to form attitudes) are delusions does not make sense. Physiological responses from an infant onward, are informed, but does not suppose a mental model that diverges from reality. The psychological assessment that we have multiple competing personalities that form our mental self inevitably leads to something that appears to be semi-random state. It's just internal physiological chaos manifest.
Yarn seems to be unaffected with this issue so I imagine you'll be fine. There's been a few users (including myself) who simply swapped out npm for yarn and have had the issue resolved. It doesn't really address the root cause but in this case, it's presumably some bit of logic in the actual npm client itself rather than the registry.
Relative to your income.

My home was about $120k. It’s easily affordable on a tech industry salary. The median household income in my county is under $30k...
Why connect to npm through a proxy?
Maxime Villard has been doing great work finding lots of bugs, many with a code scanner he wrote called Brainy. As an OpenBSD user I've been watching with interest from the sidelines. More info on Brainy results:

https://www.m00nbsd.net/474b193ce624a19d39a2286d73f06826.htm...

Take a look! There is likely software that you use in the list - for instance, one of the bugs is a memleak in OpenSSH.

I don't use NetBSD but I just donated $20 to the NetBSD Foundation anyway. Thanks for sharing code/patches!