skysight-inc/HackerNews huggingface dataset:
'Go mod download' (to cache) and 'go mod why' added
> Pretty sure my ancestral home is somewhere on Mayfair. I demand access to an affordable London flat thereabouts!

We’d better get around to ceding Manhattan back to the Lenape, too.
I ran it for quite a while, 4 terabytes lost specifically due to btrfs, I will never trust it again.

I've heard several admins flat out scoff at the idea of using it.

Make sure you have backups with a reliable fs.
This is the right question to be asking. So many good things are only good at the right scale. If Google or Amazon were not two of the most valuable companies on earth and instead say, even a tenth as large, people would have an endearing trust in the way their whimsical, easy to use products make their life better. Now we view them as omnipotent gods to rebel, almost on principal. Micro socialism (sharing resources in a family for example) is basically the default if not the only model: the concept of "keeping score" is seen as pathological in relationships at the family unit scale, but standard and even necessary the larger the group of people sharing (specialisation and trade). Democracy is a great example too: there are less than one representatives per million people in the US. Early on it was a fraction of this, and therefore much easier to meet their needs. Medicine is can range from a useless waste of money to deadly and in the middle be extremely useful, even within the same order of magnitude. Society and social systems are not immune to these effects.
To be fair, Redfin is a technology focused MLS member and agency, not just a listings aggregation app. You're entitled to your opinion if you don't think that is interesting or unique, but their offering is far more than just a website and app. Interesting data on their agent stats and comp here: https://www.redfin.com/blog/2018/01/how-much-do-redfin-agent...
OK we've rolled it back to 1972. Thanks!
She has some examples that are pretty explicit examples of misogyny. May be worth rereading.
I don't know how the housing market doesn't affect you - Stockholm is one of the most expensive real estate markets in the world. Much move expensive than most US cities.
Eh...

https://twitter.com/KarlJobs/status/1027732211871703045

> And yet death is the best thing that could rescue Apple.

Hmm, that kind of happened circa 199x...

https://twitter.com/KarlJobs/status/1027550949970247680

> The system is that we decided not to follow your heart.

￼HMMM, that's rather... too accurate?
I don't think so. The encrypted git functionality in Keybase operates differently from kbfs. AFAIK the encrypted git ability just functions as a git remote helper that doesn't use the local kbfs mount on your system, so you wouldn't run into the same situation as say a file you are copying to your private keybase folder.

Also, to be clear, you could use the mounted files directly, but you just have to be aware that if you lose connectivity you may run into issues. If I was traveling somewhere and I'd like to work on a document in transit then I would recommend copying that to another folder on your local machine first.
Actually, they're very different from most others, in that they're a vertically integrated brokerage rather than just connecting you to random brokers who advertise through them a la Zillow.
Conventional financing isn't available to heavily leveraged flippers as the loans aren't profitable. They usually use non-conventional loans with higher interest rates.

Now, they could re-finance the property into a conventional rental property but none of them can afford to do it for all of their properties. Flippers tend to do 4-5 at a time, not just one.
It seems like this might be fixed with a more flexible code generator? Perhaps one that merges app-specific definitions and the definitions in the .proto file.
> I choose to judge people by their actions.

I would not work on autonomous weapons or mass surveillance technology, and if I were the CEO of a company, I would abstain from deploying that company's resources in this fashion.

In your mind, does this statement provide sufficient evidence to prove that I obviously intend to work in the interests of whichever country my ancestors immigrated from?
It happens in scientific computing with zero bounded signals fairly regularly. Sometimes values hover close enough to zero that the computation results in a/0. It's not desired but the only alternative is a guard that invariably adds a performance penalty. There are other ways around it, such as normalization, but they're not trivial depending on the problem and can actually add other sources of bugs/errors. I understand the author's intent even though I disagree with the result.
I always liked how Feynman dealt with complex numbers in 'QED: The Strange Theory of Light and Matter'.

He focuses on the intuitive concept of a particle having a spinny arrow attached, the arrow rotates as the particle flies through space. He only casually mentions that this is in fact a complex number, whereas the bulk of the text focuses on developing intuition around arrows.

I read that book in high school, and it certainly influenced the direction I took in university. It helped to understand that the physical universe often appears to behave in extremely non-intuitive ways, but using mathematics we can develop a model that transforms the phenomenon into something that actually does make intuitive sense.

I think some of the harder concepts in math are difficult because they act like stepping stones into aspects of our world that just don't make sense based on day-to-day experiences. But modern technology depends on this! Pedagogy is improving, but it still lags advances in technology.
I have adjusted distance and font size and every other display parameter I can with no effect. refresh rates seem irrelevant. I use eye drops when needed but have had this dryness issue since lasik surgery in 2000. It's not so bad in non-forced air homes where it's not as dried out all the time but right now I am in one. I drink a lot of water. I don't have EMF sensitivity that I know of and again this only happens with LED displays so far.
How do you feel about the progress OCaml since you started using it?

What is your general prognosis for the future?

Are you by chance getting paid to write OCaml? If so, how hard was it to find opportunities.
They can't take over your server but they can inject a script tag with a cryptominer for all of your users to run. It's not the end of the world because you're just out a few dollars in electricity but it would be embarrassing.
Cartography is more than just land, it's about effectively communicating information that's inherently geographic. That can be cultural borders, political borders, shopping mall density, migration routes, ect.

Infographics are traditionally combining graphs with graphics, as in graphic arts. They show data using plots and graphs, while also augmenting it artwork so as to make it more engaging. The key here is that the graphics don't contribute to the informational data directly, they only aim to make the graph more engaging, less boring to look at.

These maps however use visuals to enhance the underlying data itself, so as to better express the actual message.
I have a distant relative in Belarus who is a heroin addict for 25 years. Periodically he is thrown into a jail for stealing stuff. When he is released his close relatives have to watch for their stuff as he tries to still from them. But he only still to pay for heroin. If he will be provided free heroin, he will be harmless and may even do something useful as his mental and physical health AFAIK is still OK.
This article is good as far as UX goes. Myself, I love my Yubikey. I use it to store my ssh keys, then tunnel them using ssh-agent/gpg-agent, something along the lines of this article. https://www.bootc.net/archives/2013/06/09/my-perfect-gnupg-s... and this article https://wiki.gnupg.org/AgentForwarding. It's set up so that you have to have the key to get into the bastion host first, then you have to tunnel your key through the bastion to get to the other side. If you remove the key it breaks your connection. A good way to ssh w/out having your private keys sitting on a disk.
I didn't downvote the comment in question, but to me it seemed blatantly curmudgeonly.

I checked out fermienrico's posting history, and one thing that jumped out was a submission of a "design thinking" video with the video's title replaced with "Design thinking is bullshit."

So I think that bears out the impression that fermienrico just doesn't like (graphic) design, or at least aspects of it, and, rather than seeing it as offering a constructive critique of the article, I would be inclined to conclude that his/her comment was indulging an entirely negative personal dislike of anything prettified or involving skills other than hard sciences.

Of course cartography is more than geometry, it has always been about graphic communication. Map projections are just the part of cartography that is conducive to mathematical analysis. Any mapmaker is an information designer, if not, occasionally, an artist.

It is not a wise move to attempt to restrict human activities to things that are objectively calculable, or to attempt to redefine the word cartography to narrow it's meaning in such a way that all skill and aesthetic judgement is (somehow) eliminated. That is not the reality of mapmaking.
I worked in the technology side of real estate for a decade, they really are nothing special. It's marketing buzz and same old thing.
Cal Fire is unionized, Local 2881.

When I was a seasonal firefighter for Cal Fire (CDF at the time), every figherfighter had some level of union support, but there was "Full Share" and "Fair Share" options.
Ask HN: MBA in your late 30's, is it possible?
Would MBA programs accept someone in his late 30's?
> For instance, I generally abort() on NULL after printing a message.

Ok, but...how are you printing the message?

On many platforms, with many standard libraries (glibc, for instance), printf et al will themselves malloc memory, so you're testing for a system telling you it couldn't allocate memory and then in response, potentially triggering further quite-likely-failing allocations that may or may not be handled by the library.

This is why people generally don't bother to check for NULL mallocs. Even if you're on a system that will even tell you you're in that situation (rare, these days, outside of the embedded world), there's almost nothing useful you can do.
Do an EMBA instead. Better networking, more agreeable hours, same content, same credential, better assignments.
> Why are we still falling for this crap?

We fall for this because a subset of us has been provoked to point out the obvious flaw in the headline or the summary and another subset has been provoked into defending the part that isn't flawed.

I alternated between feeling like this was a question worth answering and feeling like a dick for answering this with your own words.
The MDN docs look adequate to me.

You do need to go into this either understanding what's actually going on or open to just being told what to do rather than trying to plug it into a model you have from, say, using password authentication.

Your code (typically JavaScript) running on the client is going to feed input from your server (getting it to the client is your problem, inline it in the HTML, read it from a WebSocket, whatever) into this API and get back a result. The result needs to go to server - again how you do this is up to you. The server verifies stuff, I guess that could be handled in a library or something, and then you've authenticated the user, done, set a session cookie or whatever.
In Agda you have the choice of either making it truncate at 0 or constrain the domain to (a - b, a >= b) in which case you don't hve to define the function when a < b. This of course is only suitable for theorem proving at the moment, but research is being done on how to have proofs like a >= b without sacrificing performance.
> just as SF and LA have collected homeless

SF conducts a sort of census of their homeless population. One of the questions asked is where the person lived when they became homeless. The majority are from SF[1]:

> Sixty-nine percent (69%) of respondents reported they were living in San Francisco at the time they most recently became homeless. Of those, over half (55%) had lived in San Francisco for 10 or more years.

The idea that SF "collects" homeless people (from elsewhere) is a myth not supported by data.

[1]: http://hsh.sfgov.org/wp-content/uploads/2017/06/2017-SF-Poin...
The Rat Park experiment (1981) shows an increase in the standard of living decreases drug use among addicted and non-addicted mice.
I can give you a simple proof by contradiction.

1. Let F be a field containing an element x =/= 0.

2. Suppose we have defined division by zero in F such that, for all x in F, there exists an element y = x/0 (i.e. F adheres to the field axiom of multiplicative closure). Note that at this point it does not matter how we have defined division by 0, we will just generously continue and assume you've done it in a way that maintains the other field axioms.

3. Since y = x/0, it follows that the product of y and 0 is equal to x, because division is the inverse of multiplication. By the field axioms, division does not exist if there is no multiplicative inverse with which to multiply.

4. But by the field axioms this implies that x = 0, which contradicts our initial assumption. Likewise, since we can repeat this procedure with any element x in F, this demonstrates that there exists no nonzero element x in F, and in fact F = {0}.

The failure in the article's refutation is that this proof is designed to permit you to assume you have suitably defined division by zero, then proceed to demonstrate without any loss of generality that you could not possibly have unless 1) F is not a field, or 2) F contains only 0. The fundamental algebraic property you sacrifice by defining division by zero is uniqueness, and uniqueness is a hard requirement in fields with nonzero elements.
LXDX expands its cryptocurrency exchange platform in Asia
Maybe they...... write code. So crazy it just might work!
I worked in that industry. It really is a pretty "meh" company.

Also there is no MLS, there are a lot of them.
iCare Data Recovery Review (Free and Pro): 2018 Update
Ah, that. Yes, absolutely I'd love for a solution that fixes that.

It would definitely need to work with large files though, which categorically precludes Git.

The first point, I think, would be building a delta engine with case-specific code for the most common ubiquitous file formats, like docx, xlsx, psd, etc. Of course it wouldn't be able to be perfect with everything but it would certainly be better than eg just recompressing each version or something equally naive.

The UX would be the next major hurdle. Time Machine is a good example of the kind of simplicity that would be needed, but it would need to be a have a bit more surface area to be applicable and useful to all scenarios.

One other feature that comes to mind, which would be incredibly difficult to get right but probably critical, would be useful version diffing. I think keeping this simple and just building something that can do $anything->SVG (with maybe cheats where bunches of the SVG is mostly just a bitmap in certain cases) and then doing something fast on the SVG (and/or its bitmap contents...) would probably be the most viable target.
Ah, that's true. Good point.
Meet the Guy Who Drove Across the U.S. In a Record 28 Hours 50 Minutes
How does one go about getting one's hands on such things?
Source for the Trabb Pardo–Knuth algorithm, "an early example of a programming chrestomathy".[1][2]

Kind of a boring algorithm to be named after oneself, I'd say :-).

1: https://rosettacode.org/wiki/Trabb_Pardo%E2%80%93Knuth_algor...

2: https://en.wikipedia.org/wiki/Trabb_Pardo%E2%80%93Knuth_algo...
Is this in the same space as Sphinx and Doxygen? The VuePress docs only have a trivial markdown example.
https://en.wikipedia.org/wiki/Hear,_hear
(a + b)/c = a/c + b/c for c ≠ 0. Otherwise it has no meaning.

Therefore (2 + 1)/0 = 2/0 + 1/0 is not even false, it just means nothing.

BTW, you didn't mention Infinity explicitly, but it would lead to the same inconsistency, if you think about it:

(2 - 1)/0 = 2/0 - 1/0

:)
We didn’t. I’ve heard good things about it, but my understanding is it’s windows/mono, and we run all Linux in production, which seems like a pain to navigate. (F# is CLR right?) Maybe this isn’t that big of an issue in reality but we had a reason to specifically consider OCaml, and once we passed on it, had strong biases to otherwise avoid things considered exotic.
The OP didn't invent the definition of fields as defined by additional and multiplication, with division defined as the Inverse of multiplication. Even the Wikipedia article on fields (https://en.wikipedia.org/wiki/Field_%28mathematics%29#Defini...) defines them this way. (Not that Wikipedia is an authority on truth, but I find that it's a pretty good indicator of what positions are common/widespread regarding a subject.) It's a bit silly to claim that division is defined as axiomatic "in mathematics" given how fundamental fields, defined as the OP defined them, are to modern number theory and mathematics in general.
If Norway can rehabilitate those addicts, then great.

What’s the problem with needle exchanges?

What sort of alternative strategies do you have in mind?
> The idea that SF "collects" homeless people (from elsewhere) is a myth not supported by data.

It is, actually, supported by the data you just posted to refute it, which indicates nearly a third of SF homeless were not in SF when they became homeless.
We're still post-crash, and China is putting a lot of money into American real estate.
_Whoops_, I completely conflated cgroups and namespaces, thanks :)
31% of homeless in SF came from elsewhere. This evidence may actually go against your opinion...

What are the numbers like for other cities?
Reasons I instantly loved Vue when I came across it:

- Single file include,

- Included in-browser template compiler if you wanted it (plus the option to write view functions manually)

- Comprehensive Documentation that you could read through in a hour

- Reasonable embrace of HTML, CSS, and JS as separate tools. For example, most of the reactivity system is managed in JS, but the integration with HTML components is excellent -- nothing crazy like passing all your variables through a single `data` attribute on a <div>.

Vue seems to be working hard to build a moat of complexity around itself. I think it all started with the introduction of .vue files. I personally don't understand the need to put 3 different languages in the same file. Vue CLI is another step in the same direction of adding complexity. It looks like simplicity because "oh it's so easy for new people to get started", but if this keeps going, you're going to get tons of people who don't learn the basics/don't understand how the underlying tools work/can't fix problems in their own codebase because they didn't write the first 20% of it.

I still love Vue but I'm very very skeptical that this complexity they're adding isn't going to snowball, and eventually vue-cli will be the only supported way of creating vue apps, with some of the features that keep Vue simple being removed because they "prevent" progress.

Also, Vue CLI is not a game changer. Frontend frameworks all seem to have their own CLIs now, which is baffling in-and-of itself on the face of it.
Universal basic income is so 2017. Universal basic stash is clearly the way forward.
It does seem to be the paperclip maximizer of ideologies.
The problem is that Apple and Google are not trying to give people the ability to download the software they want without catching malware, but to make a profit. If Google were trying to provide that service they would not ban ad blockers from their store. They would not charge arbitary 30%, but whatever operating a software repository actually costs.

The problem here is not a lack of competition. Ultimately, there needs to be one default software repository that people can trust -- you can't have a free-for-all here for the same reason you can't have a free-for-all for software in general. The profit motive is the problem.
This is all true, but the mortgage interest deduction should be $0, particularly in the rich cities that refuse to let enough homes get built and fix things like zoning. It's an awful distortion that's a handout to the wealthy to the penalty of renters (generally less well off)
What happens when people start claiming to be drug addicts so they can sell the free heroin to real drug addicts?
> Or those with Adjustable Rate Mortgages that popped and then got priced out of their homes.

Or those with interest-only periods, same effect.
Excessively shitty grey weather?
So their content is available in those places.
I guess I'm not in CS, maybe thats the difference.
Use Node.js and Watson to detect emotion, identify entities and discover answers
If I recall correctly, the Canadian equivalent has a longer term rehab upstairs from the area where the drugs are given out. The staff makes people aware it’s an option. People who may otherwise never interact with medical professionals.
Nobody is saying you can't do it, however it's just rarely done. The default way is to not share/license, so that's what normally happens.
It sounds like from what I have learned elsewhere on here that Julia is doing something interesting here.

https://news.ycombinator.com/item?id=17737308

https://news.ycombinator.com/item?id=17737158
Distribution and consumption details would both be political nightmares, even if a legislative body agreed on the core principal being important and the public at large was on board.
>Since y = x/0, it follows that the product of y and 0 is equal to x, because division is the inverse of multiplication.

Can you explain how this follows? I thought division was only the inverse of multiplication for all nonzero denominators, which would mean we can't use that definition for deduction in x/0.

It might hinge on your next sentence:

>By the field axioms, division does not exist if there is no multiplicative inverse with which to multiply.

but I don't understand why that's necessarily true. I don't understand how the field axioms require division by x to require the existence of a multiplicative inverse of x when x is zero. Sorry to take a bunch of your Friday, but I'm very curious now. Explanation much appreciated.

-------

edit:

Come to think of it, couldn't I define x/y as cotton candy for all x,y in field F and still satisfy the field axioms? They just don't refer to division.

Any connection between x/y and y's multiplicative inverse is just a nice convention. That convention states that x/y = x * mult_inv(y) when y != 0, but nothing else. That definition has nothing to do with the field axioms and changing it doesn't require that I change anything about multiplicative inverses. That means I don't touch the field axioms and my field is still a field.
> What I've come to prefer is for serialization to be implemented a the boundaries of your service, with your models at least somewhat isolated from any given serialization technique.

I think this is the right way to do it. Just like how UTF-8 to a string type is kept at the borders. Inevitably, someone comes along with a requirement that implies the first iteration of the data modeling was not only wrong, but backwards-incompatibly wrong.

It's hard to convince coworkers that it isn't code duplication though.

> Protobuf is a foot-gun here because it blends these roles in a way that's hard to get away from.

I'm not sure; in many ways it is just trying to give you a way to supply it the data to serialize with those models. I'd be nice to not have the "foot gun", but I'm not sure what such a serialization framework would look like.
Why wouldn't the real drug addicts go get the free heroin?