skysight-inc/HackerNews huggingface dataset:
> Sure, but, like, changing the fundamental cost structure of our health care system seems like a pretty big add to the already absurdly big policy change of a basic income.

We already have a national individual mandate for health insurance with specific coverage rules which has made decisions about this; essentially, a mature BI would cover expected out-of-pocket costs plus insurance premiums in that system.

(That's not to say further reform of that system isn't possible or desirable, with or without BI, just that, given the existing system, there seems to be a fairly natural way that healthcare within that system fits into BI.)
Isn't that similar to what's been happening with collage tuition? Government helps you pay tuition and gives you some breathing room, so the collages raise tuition higher until you're back at the limit you can possibly pay, taking away your breathing room again.
Are Spring Error Messages Too Long?
The format for the dataset is here: http://yann.lecun.com/exdb/mnist/

A good exercise would be to figure out how to extract the data and put it into a numpy array. Then you can test on most - if not all - of the frameworks.
> Now I understand you must play that game, that everyone plays that game, and they just don't talk about it because it doesn't help them to do so. It helps them to keep potential competitors naive.

Yeah, and that's the primary reason I increasingly don't want to be an entrepreneur. Call me naive, but even if I could somehow handle the necessary sacrifice of conscience to be able to compete in the marketplace, I think I wouldn't like the person I would become very much.
Also a shame that the people that pulled this off are allowed to live.
I wanted to write a comment a la "Who is going to work at Starbucks if they don't need to earn their rent" - but then I realized that those jobs might go away very soon. And what then? I don't want to live in a world with 70% of the population losing a large portion of their growth potential (bc of unaffordable education, healthcare, even housing).
Reading arguments for Basic Income makes me realize what it must be like to argue with a flat-earth proponent. I literally can't understand the frame of mind that leads to the belief that this would be a good idea, at least as proposed.

I realize this isn't a substantive argument about the issue at hand, and will be rightfully downvoted..but I think this might be the first time I've _ever_ been so daunted by the ridiculousness of an idea, that I can't begin to formulate arguments against it, solely because I can't tell how to frame the argument.
Thanks for the info. This is the first time a library has replied to me ;)
Python Reverse Shell Post Exploitation Tool
You should read "anybody" here in the same way as if I'd said, "Just about anybody can walk across a room."

That's also just objectively not true, but when we're talking about the population as a whole, then it's an OK proxy for the complete truth.
For example, providing free breakfast & lunch in schools addresses malnutrition of poor children much better than providing the same resources indirectly through their families, especially in various cases of dysfunctional alcoholic parents.
> In summary: OO is substantially more expressive than FP.

In the same way assembly is substantially more expressive than C. Expressiveness in the way you've defined here is the least interesting aspect of a programming language.

Since it's well established that OO and FP are equivalent in the sorts of things you can compute, you ideally want a paradigm that makes it easy and intuitive to code up computations versus one that is strictly 'expressive'.

> This view is too simplistic, and doesn't scale up to include OO features such as method overriding.

I'm pretty sure this is simply false. Modern Haskell with GADTs for example can easily encode any aspect of OO, including method overriding. Do you have a counter-example in mind?
New polling application beta
This is very Venus Project'ish! I am very excited by this blog post. If anyone wants to learn more about some fundamentals behind this, start down the Venus Project path and prepare to think differently.
I've been thinking about this myself.

I even bought an arduino and raspberry pi did a few things with them.

Been thinking about on demand companies that could utilize robotics and/or tele-presense robots.
Twitter removes popular Putin parody account
Frequent libertarian here too – as I've started working with low-income populations in my day job, I've had many of my fundamental assumptions challenged – at this point, I'd say, more than sticking to ideals, I want to see data – if these programs solve well defined problems, there's a case for them. If not, then what are they doing and how can we fix or eliminate them?
How do we deal with this now? If you have a job, and you spend all your money before you pay your rent, how do we help those people out? I'm not aware of any government institutions that will pay your rent for you. If you spend all the money you have on food, I suppose you can get food stamps, but most likely you go to a soup kitchen.

I guess I'm wondering if there is any data on how many people "blow all their money and now can't afford rent and/or food", and how we help them now.
+1 to this. I have never wanted to bind my identity to my phone number and never will. This is an anti-feature to me.
This is not about no-platforming, where the private company sets the terms of conduct for its users. This is about freedom of expression being encroached upon; the government (EC) is telling companies owned privately by shareholders, and used by its citizens, what opinions they can and can't express without fear of ramifications.
I agree that implicits and type-classes can provide ad-hoc polymorphism,
but I'm not aware that they have been reduced completely to FP without
them, I'm also not aware of implicits and type-classes working in an
untyped setting. If you have references to the contrary, I'd be
interested to hear about it.
Social media is not directly subject to the first amendment. However, there is a legitimate problem if entities that monopolize a communication channel apply subjective censorship; it's a threat to the first amendment, an American principle, if the mass can't actually carry out free speech. It can be argued that online speech has now been monopolized by a few entities; while I don't think that's entirely true, there's a nugget of truth in there. If Facebook, which now wants to be more of a media company than just a place for cat pictures, controls an obscenely large portion of online communication, that means they(a small number of people in reality) can have far too much influence in political discussion, freedom of expression, etc. While the side of me that's liberatarian says that people can simply not use Facebook if they don't like it, saying that alone is not going to stop the mass in the center of the bell curve from subjecting themselves to censorship, which indirectly subjects myself and others to that same censorship. What can make this worse is the continuing implosion of Twitter. If we want people to have some retain modicum of responsibility(i.e. just unfriend/unfollow/block), censorship that oversteps reasonable boundaries needs to be challenged, and our government can do that if they impose on free speech.(whether or not that actually happens, idk)
> The fact of the matter is, people make bad choices. People who make bad choices are more likely to be poor. Lack of impulse control is extremely prevalent in poor communities. Like the GP, I was poor, I know poor people, and 95% of them are just shit at thinking long term.

This is true of most Americans and is incredibly condescending. The poor are better with the money they do have than the middle class by a huge margin IME. The poor by and large don't blow their money on "fine dining" or new cars. They change their own oil. They don't spend over $100/month on cable TV packages. You can find exceptions to all those of course, but they prove the rule IME.
Cool tech, fun toy! I hope it is successful. I think Joel should focus on it's toy-like nature, and potential as a learning tool, rather than trying to build this into a production grade tool.

I spent years building tools for this market between professional devs and non-developers. (Backlift.com and then Brace.io) It's really tough. Most people learning to code are trying to gain transferrable skills that can help them land a job. For them, learning git is a fruitful tangent along the path to shipping. Those that aren't interested in building those transferrable skills probably don't self-identify as developers. Making developer tools for non-developers is tough.
BI isn't necessarily intended to eliminate overhead. It's intended to acknowledge that we're rapidly approaching an economy where there aren't jobs for everyone (thanks to automation and a number of other factors that have been discussed) and to aid the transition to that point.
> The United States doesn't have that style of federation. Its provinces are held together by a common national identity in voluntary assembly, not a single nation presiding over others by raw force.

Don't say that within earshot of the American South.
> After all, without those rules people would be free to only patronise barbers who have acquired licenses, taxi drivers who belong to a cartel &c.

And would then get screwed by them so badly they'd ask for those rules back. After all that's how they got introduced in the first place - to protect people from "entrepreneurs" who will happily exploit them.

That said, this subthread is also a nice example of how one can rationalize both sides in a way that sounds morally bearable :).
https://binb.co
My friend works at Spokeo. If you don't know about them they are basically a people search engine. He keeps asking me to work there, but I just cant get over the moral implications of scrapping peoples lives and putting it up for viewing for a price. Something about the product just scratches me wrong so I haven't applied. It is really too bad as their tech seems solid and the offices are amazing.
It is true that U.S. culture is far more aligned with Shia Islam, but it is merely a game of numbers and control. ~80% of muslims are Sunni or some offshoot whereas the remaining percentage consists of Shia and other very small sects. As a result, Sunni is the dominant force in the ME except in Iran and half of Iraq where the Shia population is concentrated. If the goal of the US policy is to exert as much control over the ME, then aligning with Sunni is the clear play.
Yup, "One reason we think it may work is that technological improvements should generate an abundance of resources."
What HMAC is used to verify the contents of the archive before decryption takes place?
I thought the timing to be curious because of the EU/Twitter hate speech deal: https://www.theguardian.com/technology/2016/may/31/facebook-...
Yes, the stars are missing, but not where you think. The --files option has a star on the inside of each quote. This makes the search only show history for the host you are on (I sync my Dotfiles between machines).

sift searches a path/folder so the star you have is not needed.

But yeah, HOSTNAME_SHORT is something I derive from HOSTNAME.
Can “Explorable Explanations” Help Combat Climate Change?
Thanks for the clarification.

Five years is much better but fundamental issue is still there - "there is a deadline after which the utopia ends".

Did you consider maybe using fewer participants but possibly much longer time-frames (e.g. for the same budget 10x less people but 50 years of BI, or even 20x less participants and 100 years of BI to have safe margin)?

I'm aware this would be hard / impossible to personally see to the full fruition (see e.g. Up series [1]), but even just that 5 years window frame for the observation and research (which you already prepared yourself for) but with participants who could have "piece of mind for the rest of their lives" could radically alter the results of the experiment.

------

[1] https://en.wikipedia.org/wiki/Up_Series
Not only that, there's a historical program called Arc that is also a file archiver/compressor. It led to PKZIP.
I've read the Readme, and I don't quite get what this does?
>That's fear of missing out talking.

I think it is more a fear of managing expectations than a fear of missing out. When instant communication is the norm, choosing not to instantly communicate being perceived as neglect, for example. While in reality, you simply need to block the distractions for a few hours to get work done.
My take on this is that computation is the act of describing different states that the processor can be in - or describing the path from one state to the next.

I think an understanding of state is fundamental - one thing that brought this home to me was a talk I watched given by Sophie Wilson [https://en.m.wikipedia.org/wiki/Sophie_Wilson] in which she displayed an image of a cpu. The image showed a 'path' across the cpu that was the current state, the next image showed a different path describing a different state. The path was a lot like a bolt of lightening.

An understanding of functional programming (FP) matches this a bit more directly than OO as FP is a pipeline of functions that describes state change and it is easy to reason about the state at any point in the pipeline. OO represents a real world object so you are encouraged to think about the problem you are modelling rather than the how to represent different states. But obviously in the end they both describe state and logic that describes state transition.
It's macro vs. micro. Over the past 50 years food prices have fallen, but since the great recession they've risen considerably (though still nowhere near what they were 50 years ago.)
I was going to reply that localStorage persists even when entire browser is closed, whereas cookies do not, but i cant find the docs to confirm it.

One use case would be somebody logging into a sensitive site from a public computer and expecting the session to end when the browser is closed.
>Every dictatorship has ultimately strangled in the web of repression it wove for its people, making mistakes that could not be corrected because criticism was prohibited.

-RFK, "Value of Dissent" (21 March 1968)

The problem is that of blindness and group think. Every major advancement of human rights has been against the "terms of service" and were extremely uncomfortable ideas for the majority of people.

Getting your feelings hurt every now and again can be used as a catalyst for personal and moral growth just like exercising causes pain but increases health.
You can spend $200k and master beer pong, or you can spend $200k and learn how to make analytical / computational models of real-world problems. A lot of people split the difference. Either way, you get the same degree, and employers seem unable to differentiate. The university system has already debased the currency, so forgery doesn't bite as keenly.
Simply Hired is shutting down June 26
Thank you, I had not noticed that in the original article, only the registry key.

That puzzles me, then - why have a registry key to toggle being able to manifest that at all?
I gave at talk about this at Scala Days NY, and I'll give it again in Berlin in a few weeks if I remember to actually book transport and a hotel. I'll just try and summarise here, because I don't have the energy or time to write out my talk :-)

I think FP and OO are fundamentally different in how they approach programming: the way they break down problems, what they consider to be good code, and so on. OO views code as small unit of encapsulated state communicating with one another. FP views code as a series of transformations. OO code is not good FP code, and vice versa.

On a lower level you can find many similarities. OO patterns are largely FP language features, from a time when knowledge of FP was not very widespread. At least five of the Gang of Four patterns are first class functions is disguise. Going the other way, a very typical pattern in functional programming is to build up a description of what should happen, and then have an "interpreter" actually execute that description. These interpreters often look like "coalgebraic" structures, which is an FP term for ... objects. Now isn't that interesting?

In summary, the techniques often look very similar if you squint, but the fundamental way they approach programming is very different.

That's a very quick sketch, which is somewhat hazy on the details. Apologies for the brevity and lack of nuance.
A while back I instituted a personal rule that I am not allowed to use my phone or laptop while watching TV or a movie. My rationale is that if I am uninterested enough in the show to need additional distraction, the show is not a good use of my time and I should just turn it off. It was really hard to get out of the habit, but it's worked pretty well for me. I find that I understand and enjoy the shows I'm watching more, and I also watch less TV because I more consciously notice when I'm getting bored, and I go do something else.
Your site also didn't work the two times I tried to use it after it was first on HN. It has to be a lot more reliable.
Sorry, I misunderstood your previous comment to mean that you thought we should go to an India-like "out of pocket" system plus (optional) health insurance to handle catastrophic costs. Rereading, your intent is clear.

(Not sure why I jumped to that conclusion, except that perhaps a basic income system appeals to the same economic minimalism that an out-of-pocket health cost system does.)
Apple isn't deleting anything. There is a software bug.

This is proof that slate is defaming Apple.
Why don't you just start with the CIFAR-10 example and go from there? https://www.tensorflow.org/versions/r0.8/tutorials/deep_cnn/...
As a counter-example, I had a similar experience with a mother and her daughter, except that they were still there when I came back out and were thankful for the food. I'm not saying that they're not bad at managing money (maybe they are), but there are more than one group contained within the label "that kind of person".

I've had other experiences with homeless men turning down food when I offered it. I know that my father-in-law would be (and has been, in the past) happy on the street, using his money for cigarettes and gambling with his friends. There are a lot of different kinds of people that would need to be accounted for and different motivations.
There is nothing compassionate about authoritarian income redistribution.
I got none of that from the same read. I got more of the phenomenon where people personally self-identify with people in stretch pants and masks now and the expectation that they own the tales more than their creators.
> I have to disagree. If the underlying library used has changed, then the code which uses the library has to be revalidated. You cannot assume it simply continues to work - to do so is to fully rely on the library provider getting it right, introducing no bugs, or anything unexpected. This is not viable for serious projects.

> The and the ONLY way in which existing code does not have to be revalidated is if it is completely and wholly unchanged.

And when I integrate a new release, how do I verify that you didn't accidentally change one of the older numbered versions of your code? I'm going to have to test either way when I integrate a new version of your code, so I might as well get any performance improvements or whatever you introduced into the implementation. Versioning your interface does not solve the problem you claim it does.

> There's nothing immature about them, and I don't know why you are saying there is. They were written about a year ago and writing them means also writing their test suite, which they pass.

I am saying they're immature because you said they were immature. You said, "The add-onlys were thrown together in a week or so many months ago, just to get those classes of data strutures out there, as writing the full versions of them will take some time."

> I was thinking of processor support, rather than compiler support.

I was also thinking of both processor support--you're the only one who mentioned any compilers. Given this supports only 2 processors and ConcurrencyKit supports 5, your claim that this is "actually as portable as it is possible for a lock-free library to be" is still provably wrong.
The u in uBlock stands for micro (µ).
What ever happened to the principle "I may disagree with what you say, but I will defend to the death your right to say it." This is about putting the lid on views of their citizens that European governments don't like. Disappointed that Twitter and Facebook are giving into this in Europe when they wouldn't in China.
counter-example in mind?

I note that GADTs are types, so this might not scale to an untyped setting. Anyway,
I'm not following research on GADTs closely, but you show me a sound and complete, compositional encoding of (idealised) object-calculi a la Abadi/Cardelli using (idealised) Haskell?
Ask HN: Am I under attack?
So, over the last month, I've received five "welcome to X" emails for relatively prominent online services.

Two of these were gaming related, and included a fairly unique username which I tracked to a redditor who claimed to have no idea what was going on, though they admitted they had an account with one of the gaming services.

It could be coincidence, I suppose, that someone has a similar email and keeps entering it wrong in the same way. It seems unlikely, but otherwise I'm not sure how signing up for services with my email address is an attack vector.

Is there a risk I am missing here?
> Heaven forbid you help propagate lesser used stuff as payment for getting access to the few papers that you feel entitled to get for free...

I'd more than likely just delete the unusable stuff after setting aside what I actually needed.

So, yeah, waste of bandwidth to send in the first place.
1> Proposals for the institution of BI as a public policy do not create money out of thin air, they redistribute it from wealthier individuals to poorer ones. (So if you earn $2million per year, you might pay about 1million in taxes and then get back 10thousand in BI. If you don't work, you pay no taxes and get 10thousand in BI.)

2> This YCombinator experimental program is not a fully implemented BI system. They will be selecting low income individuals and paying them a regular no-strings-attached income to see how it affects their lives/behavior. Other people in Oakland who do not receive these payments will probably bear a cost due to inflation as more money ends up in Oakland.
Symbols are nice. Code is awful: too verbose and obscure. So what's the point here?
One way to start to think about this is the relationship between objects and abstract data types. These are both techniques for introducing data abstraction, but their approach is different and have different tradeoffs.

https://www.cs.utexas.edu/users/wcook/papers/OOPvsADT/CookOO... is a paper that argues them as complementary to one another. It's worth reading in its entirety, but an excerpt from the conclusion:

A detailed analysis of the trade-offs involved must be made in order to choose whether an ADT or PDA ["object"] is better suited for a problem. Some relevant questions in this choice are: How likely is it that the system will be extended? Must the security of the system be preserved, even at the expense of extensibility? Is it possible the unforeseen interactions may be desired? Is the environment dynamically extensible, and must the additions interact in complex ways with existing code? How much efficiency is required? Is it likely that there will be a large number of binary operations with complex behavior?

In general, ADTs tend towards tight coupling, yielding more predictability, performance, etc. Objects tend towards looser coupling, allowing more flexibility and extensibility. This is a reasonable microcosm of the relationship between FP and OO.
I'm not talking about that compression, I'm talking about dynamic range compression.