skysight-inc/HackerNews huggingface dataset:
"[...] Costanza asked Sussman why MIT had switched away from Scheme for their introductory programming course, 6.001. This was a gem. He said that the reason that happened was because engineering in 1980 was not what it was in the mid-90s or in 2000. In 1980, good programmers spent a lot of time thinking, and then produced spare code that they thought should work. Code ran close to the metal, even Scheme -- it was understandable all the way down. Like a resistor, where you could read the bands and know the power rating and the tolerance and the resistance and V=IR and that's all there was to know. 6.001 had been conceived to teach engineers how to take small parts that they understood entirely and use simple techniques to compose them into larger things that do what you want.

But programming now isn't so much like that, said Sussman. Nowadays you muck around with incomprehensible or nonexistent man pages for software you don't know who wrote. You have to do basic science on your libraries to see how they work, trying out different inputs and seeing how the code reacts. This is a fundamentally different job, and it needed a different course. [...]"

(From http://wingolog.org/archives/2009/03/24/international-lisp-c...)
I'd forgive you. You have to be willing to accept downvotes if you want to make a joke. The joke has to be worth it.
Try finding just a can of coke these days in the states, it’s hard. Everyone wants to sell a half a liter or more.
>I believe high protein intake is as bad as high fat intake, high calories intake, and high everything else.

What constitutes high protein intake, and at what point is it detrimental? Should our macro breakdown be 33%/33%/33%?

How does increased calorie expenditure play into this? The study I referenced says I should eat 130g protein (520 cal) for best gains. My TDEE (on days I don't run) is 2500, putting me at roughly 20% protein. If I do run I've got an extra ~500 cals, how should those calories be allotted?
I had to look but there is a NES emulator that does sprite replacement which is interesting:

https://github.com/mkwong98/HDNes
https://www.youtube.com/watch?v=N57ApspYHVE
Tell the time, run forever, choose 1
R is good for one-off analysis problems, but is really bad for large distributed production systems. My team moved a large internal analysis application from R to Python because Python works well for both statisticians and software engineers.
> Why are the results so strange, and no improvement in sight for years

I don't currently have any issues with Google search result but I won't be surprised if underlying PageRank is slowly crumbling away. After all forums died off, blogs popularity has drastically dropped and most links between users are exchanged on closed platforms (FB) / communicators. Wisdom of the crowd might no longer be available in open web.
Jurisdiction is an issue in cyberspace. It's hard for someone to steal your physical stuff from the other side of the world.
Qt 5.11 Alpha Released
You're in Mexico City? So am I. Maybe we could connect sometime?
What Is Polycystic Ovary Syndrome (PCOS): Causes, Symptoms and Complications
An underground lender issues a credit > dodgy debtor than pays him up to his limit of $50k usd per year he can take out of China

Simple
> The fissure is over whether a disagreeable idea or speaker should be engaged and defeated on rational grounds, or excluded from the premises by whatever means necessary. Last generation's liberal professors value the exercise for its own sake. Today's leftist students think it's an abomination that they're allowed into the institution at all.

> That's not what I see happening, but sure, you can accuse other people of that if you like.

I've seen videos of it happening. Basically a speaker is invited to give a talk, but people who disagree with her crowd the auditorium and scream to prevent the talk from being given. The intention is not to "engage [or] defeat on rational grounds," but to shut down and exclude.

A lot of the people who have this done to them are in fact disagreeable, but that doesn't make the reaction less illiberal.
Nuclear power plants do not emit radiation inser normal operation. Coal power plants do.

Also: https://www.nextbigfuture.com/2016/06/update-of-death-per-te...
Rob Goldman apologizes to Facebook and Robert Mueller
I think that’s how he might see himself, a counter to the gloom and doom which is ubiquitous, fallacious and probably just another spurious product of human psychology. I think most it is owed to Hans Rosling.
As maxerickson said, that land is not free. And the question is not the amount of land, but the amount of valuable land. Land that is near jobs, near markets, near ports, or near decent hospitals or schools.

Sure there's loads of terrible land in West Texas, which could possibly provide for a lifestyle of subsistence farming, but the US standard of living is such that it would be wiser to live on welfare in a city.

But in theory, if someone could covertly farm some crops on one of the numerous vacant sites in Manhattan, and not have to pay any rent, then that same amount of subsistence labor could provide for a potentially decent lifestyle.

Same amount of effort would bring in a much greater return, just through the better location.

My point about farming was to ask why we can't all share in the fruits of rising productivity. Why can't we just keep doing what we had been doing, and still take advantage of fancy new gizmos? And the answer is that progress causes land values to rise, but the valuable land is generally owned by a subset of the populace who demand a greater and greater rent just because they can.

So really the question is: how can we all share the value of land, without it just funneling back to higher rents? My suggestion is to look at land value taxation.
If you look through the parents, I didn't ask for anything. Also, the point made was that iOS had features first... Android has had other features first... they've both had the feature in question long enough to be in place through several hardware refreshes (given an average ownership of 1-3 years), so the preference doesn't hold as much weight.
Show HN: Colors.sh – Bash colored and formatted output made easy
https://news.ycombinator.com/item?id=16420328
> one of his daughter's name is My(after whom MySQL was named).

Mind blown
Do you really think that the reservations based on caste i.e. SC/ST not having a creamy layer is balancing the act?

I had got 150 in IIT JEE, a friend had got 70. I missed the cut off by 30marks, I am from 'open' and he was from SC, he wore woodlands shoes, Rayban glasses and he missed IITB admissions by 5 marks. Can you imagine? We were in the same school etc

Reservations system has run amok, incidentally, even Dr. Ambedkar had said that reservations need to be there only for the first 10yrs otherwise it'd have drastic effects and they are.

I am reading India after Gandhi and I appreciate all that was done by our founding fathers and mothers, I appreciate the fact of reservations, but the madness has to stop.

People ahve started to treat reservation as their 'birthright'
The post I replied to was effectively "iOS had features first" my reply was that "android also had features first" ... the point being that there have been enough hardware refreshes where the features in question are on both platforms reducing the weight of the argument.
Folks give me a funny look when I exclusively use cash. This is yet another reason why.
I'd call myself more of a "data plumber", with a double-BS in physics and computer science, but I'm considering returning for a MS so I'm more qualified to do interesting work.

Is there a consensus about what kind of Master's would be most useful data-sciency stuff? Computer science? Stats?
Processed food has a common parlance. I mean, you could try to expand the definition to include 'pre-washed' vegetables, but that would be a waste of a definition. Processed food in day-to-day parlance means 'highly processed', in the extreme being things that have been reconstituted and then items like preservatives and salt added like potato chips, protein powders with lots of ingredients, and so forth - in contrast to foods like vegetables or meats (or potatoes) that weren't pulverized and re-mixed into new foods with new chemicals. The most striking example of terrible, processed foods are cereals [ not the scientific word, the common parlance word ] : take corn or wheat, mash it to shreds, add huge amount of corn syrup and pretty colors, you have a food which you re-define (remember definitions have context) as 'cereal'.

Apologies for replying to the wrong parent, though!
That sounds like a cancerous organism, in which case the solution is excision and destruction.
I tried Jupyter Lab two weeks ago and found it to run unbearably slow. I'll try it again eventually I suppose, very well could have been a local issue
In my experience, you have more people renting homes that are 100% leveraged, so your paying their crappy mortgage, with some "upkeep" costs on top. If interest is higher, more people are renting houses with more equity tied up in the house, so their costs are lower and they rent cheaper.
For comparison, in NL they start at 105,000 Euros ($130K), in Germany at 87,000 Euros ($107K).
Hack the Fog, San Francisco's First High School Hackathon
Not hard for a single language. Languages differ in the way their keyboard should work; not just layout, behavior is also different.
You would think that but there are several larger industries (i.e. porn) that are attacked in a similar fashion that have not done such things.
> The community tends to have smarter on average people in it. Simply because all the less smart people are put off. Sounds elitist? Maybe.

Have you thought about the possibility that it's actually a community of people who first and foremost _consider_ themselves as being smarter than the rest? Maybe this is what's really off-putting to equally smart, but more humble developers?
At the same time, the community has faced challenges in using various software workflows with the notebook alone, such as running code from text files interactively. The classic Jupyter Notebook, built on web technologies from 2011, is also difficult to customize and extend.

Do I read this correctly as hinting that Jupyter Notebook is being replaced by an IDE?
Supplements are a $30B racket
Wallaroo seems like a well-thought-out system, but it’s hard to find any case studies or mentions of real-world enterprise/startup use of the product, and therefore it’s tough to justify trying it out. Are any of those stories coming down the pipeline as well?
I've heard this rationalization before, but I doubt it's a widespread practice in the pirates' world. Look, people are selling their soul to get "free products" (think about all the use cases where you are the product when using all the nice "free services"). Free is awesome. We're used to free. We demand free. We get offended when some app asks for $1.99 (I exaggerate for style of course, but as someone who has an app on the Mac AppStore, this comment has a reason rooted in reality - and for the record my app is Free while you try it and you pay to unlock it so you can customize it).

It's an interesting rationalization for an illegal activity, but you are not forced to go down the path of illegality by pirating a software you want to try. You can ask the author for a trial version, and if that leads nowhere, you can just skip this software. Not happy with the terms of the deal? Don't take the deal! The author would be wise to have a trial option, but doesn't owe it to anyone.

Personal anecdote time: when I was much younger I wanted to buy an exotic car and the dealer didn't offer test drives (understandably). I'm not sure it would feel acceptable to anyone if I had snuck into the dealership at night and took the car out for a spin around the block and put it back after an hour just to "test it out". I realize many flaws can be pointed out in my analogy easily, but the point is that one can get away with "illegal software test drive" because it's software and one would never think of doing it with hardware, because the risks of getting caught (and their consequences) are too high when we deal with tangible assets vs sitting home downloading cracks or serialz.
kernel module needs to be integrated into custom Android ROM
I always like when op-ed writers point out the main criticism of their argument before their critics have a chance to:

> The most troubling aspect of having the finance industry try to restrict gun sales is that it would push the most dangerous guns into an untraceable world where sales would depend on cash. That’s true. All things considered, though, it would make it considerably harder to even find such guns.

I have no especially strong evidence to either support or refute the last sentence, but my gut reaction is that "considerably harder" is stretching it.
> Ketosis is a medical condition that is potentially harmful and even deadly in some cases

it is not compatible with certain diseases or other medical conditions, but blanket statement like that is bullshit.
That behaviour describes my biggest pet peeve with banks. I don't want product offers from you. You take my money, make money with it, and pay me interest (a whole < 1%). That's our relationship, fuck off with your "credit card protection free trial period".
PH Maker Story: The Makers of Storeo, an Instagram App with 7,000 MAU
Man tries to reduce e-waste but is facing prison over dispute with MS
If only there were a means of processing a transaction with little pieces of paper that hold value.
How to Learn Anything in Two Weeks
The Business of SaaS
I completed 5 two week sprints on a variety of technical and non-technical topics. This is the first post in a series about why I did them, how I went about each sprint, and what I learned.
I'm a generalist project manager.

When you say "Disable password login via ssh", what is going to be the login method from this point onwards? Via a personal certificate? Tks
Yep! Issuing cheap loans to young people is literally what the previous neo liberal government did. Of course local economists which warned against the plan found after that it increased prices.

Now however the province has elected a labour government which has mentioned numerous times to expect action on the demand side and expectations are sky high that they'll be a bit different.

Here's an article about people are expecting today. A tax on foreign capital is expected.
http://www.cbc.ca/news/canada/british-columbia/bc-ndp-govern...
Yes, the price difference is huge. E class is common as a taxi here, base price for a consumer model is 55K Euros, S class nearly double that.
Social proof: A key consideration for modern marketing
Social Processes and Proofs of Theorems and Programs (1979) [pdf]
I wouldn't expect that to even last in our lifetimes - as a practical matter at least.

The war on cash is real, and if you pay attention on HN and other places the social zeitgeist sees this as a good thing.
This kind of flamebait isn't how we converse on Hacker News, please.

https://news.ycombinator.com/newsguidelines.html
> How about Netflix? They use AI/ML quite a bit. It seems to have driven quite a lot more people to watch movies and tv than before.

... and the word 'cable cutters' is being thrown around with a lot more intensity, plus various charts of rapidly declining cable TV viewership.

> Amazon uses AI/ML in its Echo, which was quite a high-selling consumer good last holiday season.

[gestures at the latest brick-and-mortar bookstore news with B+N on the rocks and Borders in its grave ... given AMZ got it's start as a bookseller.]

A pessimistic response to be sure (and one that I'm reluctantly making), but there's coincidence, and then there's a pattern that starts emerging whenever a disruptor unicorn cements its place into an industry.
> Increase corp taxes on large corps (say over 100 billion) and decrease on smaller ones.

Heck, I'd settle for tax reforms that didn't give large corporations that can afford an army of tax accountants/lawyers and a host of offshore shell corporations an advantage over small corporations that can't afford those things. You don't even need to get into giving advantages to startups to begin with, just stop hamstringing them by making them compete against folks that can sidestep the tax code.
Sony releases mysterious teaser for its next phone
What I've heard developers notice is a sharp drop in sales the instant a product is put on the torrent sites (eg, there's a clear "before" and "after" pattern). I also know that there's one plugin developer (u-He) who has posted that the "time bomb" method he uses does drive sales the instant those "time bombs" go off. (https://www.kvraudio.com/forum/viewtopic.php?p=5762973#p5763...). Of course, I only know little bits I hear from developers here and there -- the small shops are the ones that probably have the nitty gritty data details.

The impression I get is that coding some degree of protection is worth it, as long as the protection does not impact the user experience that much (and judging from what I see, this is quite possible). There's no excuse however for emulating the warez guys and bundling malware with your software... there's smarter ways to protect products.
I rather create my own company that is completely focused on this one thing, so I don't want to give another company access to my proprietary data.
I'm not sure it's a mistake. Doing a search seems better for non-technical users since you get spelling correction, and you're more likely to get a decent result if you mis-remember the domain name.
> and how the results (especially local, non US ones) are somehow off in some cases.

For local results, DDG sucks by default. Google, when I enter something local or German, has great results, DDG only if I flip the local switch to "Germany". But besides that I prefer their results for most things besides rare searches (if there are under 100 results, DDG is almost useless). But bangs make it preferable to me even then.
The general advice I've seen is to not host your own server. But I think it would be a great learning experience. If you cover the basics, is your server still extremely vulnerable?
"What use is <symbols> for anyone except someone who already groks what the S combinator does and is for?"

How does this not apply to any and all identifiers and symbols and functions?

What use is a given function until you read its signature, implementation, and docstring?

You could use this to condemn all abstraction. After all, even a function you take for granted comes at the expense of indirection.

It just so happens that we as craftsmen make trade-offs. Imagine a pattern that shows up so much that you can extract it into a function like a combinator. For instance, look at parser combinators. Yes, you'd have to credentialize in some patterns, but once again, that's what we do every day as we work on what amount to machinas of abstraction.
That's a really great quote. Here's the video for anyone looking for the full interview: https://www.youtube.com/watch?src_vid=FkxUY0kxH80&v=UKdZU9Db...
The Case for Impeaching Clarence Thomas
Google is not the most evil corporation ever invented. The most evil corporation has not been invented yet.
I agree here. Being able to write code in the mathematical rendering is such a beautiful feature of Mathematica that Jupyter is missing. I am not sure how it's outclassed as a notebook because of this. As an IDE? Sure, Mathematica's notebook isn't a good IDE at all. But as a notebook for writing mathematical statements, it's fantastic. It's the one thing I need in order to go to an only Julia workflow.
In principle the situation isn't that different from IPv4. A device on an IPv6 network can cycle through a series of random "temporary addresses" which it generates itself, without contacting a DHCP server. Someone who gets your IPv6 address can track it down to a specific network, but there's no record of which device on that network initiated it, similar to IPv4+NAT.

(A couple of caveats. One is that attackers can still correlate different connections within a short period of time, between temporary address rotations. Another is that temporary address support is broken on some Windows versions, so you may be leaking your MAC address all over the ace without knowing it.)
Russian funny moments and best fails 2018. New funny video 2018
Fkn thieves
The original study saying formal verification was useless. In Section 6 of this paper [1], Avra Cohn gave a similar reality check when attempting to mechanize a hardware proof. Also, Guttman summarizes here [2] problems with many verification efforts. Finally, Wired has a modern take [3] on debate in 1979 paper by de Millo et al. These collectively represent most of opposition’ points to formal verification of software.

This is great for its description of social process of mathematics, the traditional approaches, and the limitations. I’m probably going to do a takedown of some points in the de Millo et al work at some point because I think the field got far enough to address some of it. There’s still some truth in what they’re saying. Probably best to treat new approaches as something different from traditional math with their own goals and expectations.

Any rebuttal of mine would focus on the LCF + de Bruijn approach negating much risk in proof steps, the high-level languages/frameworks that were built to make it easier (not easy), the fact that many people are doing what they suggest they won’t, the examples corroborating reliability benefits, and something exploring vetted theorems vs vetted verified components which I think are similar in how they’re used.

The risk that they predicted best was trusting verified components so much they didn’t include other checks: many ended up doing that. Good news is we have ways to do assurance in depth for those that are willing. Essentially, we just combine different methods of risk mitigation instead of relying on any one too much. Also, always have field updates, monitoring and recovery built into the plan for the system.

EDIT: On Lobsters version, Derek Jones added his blog post [4] making similar claims with a number of references. Thursten's "On proof and progress in mathematics" was a great read.

[1] http://www.cl.cam.ac.uk/archive/mjcg/papers/AvraProofPaper.p...

[2] http://www.cypherpunks.to/~peter/04_verif_techniques.pdf

[3] https://www.wired.com/2013/03/computers-and-math/

[4] http://shape-of-code.coding-guidelines.com/2018/02/19/mathem...
I created this simple tool to help format the output of bash scripts, since it was not so trivial when I wanted to do this myself, colors.sh lets you easily set the formatting (foreground and background colors, etc), preview it and see how to implement it.

Hope it's helpful for others too :)
The increase in homeless encampments as detailed in this report are also a stark indication of how false the recovery is. Unfortunately most of the homeless get shipped to California, often with one way bus tickets from municipalities that don't want to deal with the problem. https://www.nlchp.org/Tent_City_USA_2017
(Looks like they need to renew their TLS certificate.)
How to Become a Centaur
Are methods of exhaustive search considered to be AI?
I don't think that's the biggest criticism of their argument. The real problem is that if banks are allowed to stop people from buying guns, they'll happily turn around and use that power to stop people from buying other things, too. Behind on your mortgage? You probably don't need that bottle of whisky, so let's deny your purchases at liquor stores...
I use the Dilbert-o-Meter as a measure of how bad the job is once you're actually in it - how many Dilbert cartoons do you witness play out in real life exactly as in the strip. I had this happen in my first job out of university, watching strip after strip happen in front of me without any irony. I lasted three months in that job before I quit.

I now use the same metric to decide when to quit a job and move on. I'm now at a startup, and keeping a close eye on its inevitable transformation...