skysight-inc/HackerNews huggingface dataset:
>If you're a good pedagogue, please help out.

I truly think I am, but I'm still struggling to learn Haskell...

>the abundance of poor pedagogy is surely a big reason why so many people develop mathematical anxiety.

I'm one of them, but 28 years later, I'm finally realizing that mathematics actually aren't that hard.

>The programming world lately is inundated with tutorials that take their pedagogical style from the Teletubbies or at best Bob Ross. Maybe that is not a viable way of teaching Haskell.

I think you hit the nail on the head, here, and I would like to hazard the following opinion: this is a deeply cultural problem in the United States, where we operate under the implicit belief that learning should be fun.

I don't mean to suggest that learning isn't rewarding, deeply satisfying, and occasionally exhilarating, but beyond learning your ABCs, it's rarely fun in the traditional sense. The problem, as I see it, is that we're failing tell the truth: learning non-trivial things is tedious, grueling, difficult, and tooth-grindingly frustrating while still being one of the most worthwhile things in life. Instead, we try to teach difficult or non-obvious concepts with the pedagogical equivalent of coloring books.

Stated differently, we simultaneously tell our youth that one has to "work hard" and "make sacrifices" for things like sports, while telling them that intellectual pursuits should be nothing less than blissfully entertaining.

As a general rule, I avoid anything labeled as being "for beginners", unless it's from a foreign editor. I'm lucky to be a fluent speaker of French, and I've noticed that French textbooks systematically approach subject matters in a rigorous, Cartesian, matter-of-fact way ... and this from grade 1!

You want to know how I finally grokked monads? I read this paper: http://repository.cmu.edu/cgi/viewcontent.cgi?article=2846&c...

It sucked. I mean it was awful. I spent weeks pouring over this thing, fighting the kind of frustration I described above.

And I got a D+ in undegraduate pre-calculus. I'm not a "math guy", but like everybody else, coloring books don't cut it after you start growing armpit hair. Big-boy concepts require big-boy methods.
I can cook moderately well (it's a skill like any other and comes with practice) but I absolutely loathe doing it (with one exception: I like to cook for partners and family).

The daily hassle of sourcing ingredients, cooking them, cleaning up the mess from cooking etc is an absolute chore.

95% of the time I'd be happy to be able to order a nutrious well made meal and have it delivered, here in the UK where I am your options for delivery are largely "pizza/kebabs" and "chinese/indian" and neither is particulary healthy (the salt and fat levels in a lot of the chinese takeaway dishes are insane, like 80% your RDA).
Replace the word "theory" with "abstraction" or "interface" then. All the article is saying is that there's a bunch of common things (Unix pipes, function composition, procedure sequencing) that all follow a few simple rules (a "contract" if you like). This means you can reason about them together without having to think about the individual "implementation details".
> MPs usually don't have enough time to even read bills, doing proper research is completely out of the question, and therefore they trust the party position.

I don't get this. They should automatically reject anything they didn't have time to read.
Also, try different brands. They fit differently, and as the baby grows the fit changes.
Kitty Cat Dance with Man – Very Funny Video
Cat Playing Ipad – Very Funny Video
Ghetto folks can fight back. Middle class will not.
What would be a better way to produce such a scorecard?

Is there already any collection of common criteria established by computer scientists and accepted by experts and / or any kind of standardization of requirements for secure software that was produced by leading security capacities that allows to extract data for a compact visual comparison like the eff scoreboard?

Would you like to provide or show me a link or any material that compares "the security" of products and offers an understandable and "industry-accepted" categorization?

Isn't it a bit strange that a small organization of non computer scientists produce something that was painfully missing for at least 50 years? Isn't it clear that a first approach to such a thing must fail and that this can only be a prototype for a process that should be adopted and worked out by people who understand what they are doing?

Isn't it a bit strange, that there is no such thing as that scoreboard produced by an international group of universities and industry experts, with a transparent documentation of the review process and plenty of room for discussion of different paradigms?

The eff scoreboard demonstrates painfully the obvious omissions of multiple generations of security experts who failed to establish a clear definition of what security exactly means, how to discuss it and how to find an acceptable approach to establish a thing that would allow to be named "review" in the scientific meaning of the word.

It is totally clear that Apple and Microsoft have very different ideas about security than OpenBSD developers, but it would still be of great value to have a space where people could follow that discussions and compare the results of different approaches and solutions to security related problems.

The eff scoreboard carries the embryo idea of a global crypto discussion, review, comparison and knowledge site that could also serve as a great resource for non-crypto people and students to learn a lot about that field. The highly valued information you and other experts are dropping here and there in HN threads and/or on various mailing lists should be visible in a place that collects all that stuff and allows for open discussion of these things in the public, so people can learn to decide what security means for them.

If such a thing exists, please show me.

If not, please build it.
Well, depends on the context really (they also have a plausible category)

So if they could find a counterexample to a myth it might get the 'busted' result (example: the Lead Balloon)
See also: The life of Brian, 'What have the Romans ever done for us'.

As for Britain giving up its ownership: To this date formally England lays claim to a whole bunch of places that they have colonized and in some cases it has gone to war to keep that situation as it is.

That the UK gave up India is a pretty complex affair but you can bet that the 'let's fight' option was only taken off the table when someone did some basic math.

Whether or not the invaded countries got 'enormous benefits' is immaterial, we do not live in the alternate universe where India was not a British colony, in which universe India may have been better off or it may have been worse, we simply can not know.

All we do know is that in this universe we (nowadays) take a dim view of such colonization, including those colonizations in our collective past. That some countries were 'not as bad' as others and that they left the places they invaded (and usually plundered) in some ways in better shape is imo immaterial to that.
> especially as it displaces less exploitative companies.

You're joking, right? Taxi drivers are practically indentured servants who begin each shift $100+ in the hole to some asshole rent-seeking capitalist who happened to buy the medallion at the right time 40 years ago.
Why Darwinian economics is so threatening to libertarians
The wood fired pizza (and oven design) dates to roman times.
The way I see it is that YCombinator provides a service: Advice and access to relatively small amounts of money. It is taking a cut too. This service is in competition with other ways of doing things. And at the moment it is successful so people opting and paying at times dearly for it still go for it again and again.

It is easy to criticizes a solution and blame the solution for the forces that shaped it. In the past where there was no YC if and only if you got funding maybe you ended up with a larger cut. Maybe, maybe not. Often professional third party capital came later. Also there were less standard processes and a more asymmetric information so probably the outliers were larger. There is a surviver bias when looking back.

YC deals in part with other peoples money (OPM) and that in general lead to attracting players strongly financially motivated with less technical skills and putting them at the top. Building a technical business from scratch requires technical investment on the ground level and leaves more equity for the technical guys.

So why has the route to get early funding through YC become so popular? I believe a factor is the general problem in the society of capital formation in the middle income layer of the society. In the past students left the university without debt - today they and their parents often are under water. Getting access to the initial capital has become harder and access to financing through third parties thus more important.

It will be interesting what Kickstarter does to the YC business. I guess YC has to compete more strongly on the services side.
Free discount bundle for all the tools you need to supercharge your sale process
30 is high. But about 8 to 10 per day is normal.

http://www.nhs.uk/conditions/pregnancy-and-baby/pages/nappie...

> Some babies have very delicate skin and need changing as soon as they wet themselves, otherwise their skin becomes sore and red. Other babies can wait to be changed until before or after every feed.

> All babies need changing as soon as possible when they've done a poo (stool) to prevent nappy rash.

> Young babies need changing as many as 10 or 12 times a day; older babies at least six to eight times.

The UK NHS has a bunch of information about pregnancy and newborn children. You might want to find a site that you trust because you will get a lot of unsolicited advice from friends and relatives and a lot of it will be bogus.

(Congratulations, btw!)
That's because the situation between Israel and Palestine is a bit more complex than the proponents of that particular strategy in that particular case would like to have you believe.
Skyrim in VR – Cyberith Virtualizer and Oculus Rift and Wii Mote = Full Immersion
looks like you guys seriously don't get it. Nothing stops them from pivoting to doing any other form of power transmission, they have the brand, and the money, and it's possible.

They just don't want to. Like someone insisting on releasing a certain specific technology instead of anything else in that space.
I recently played around with this and came up with my own variant:

http://cygx.github.io/js-rgba/

Only tested in Firefox, no idea if it works in other browsers...
The issue is that systemd might change that interface at any time, even in a minor or patch release. Because systemd's released as a single monolithic project, they don't have to commit to any standardization, deprecation cycle or the like for the interface between components.
Unix History Repository
Finally. This was the only feature I missed from slack.
The thought never enters many peoples heads that the person delivering food hosting rooms, driving cars thinks the person buying the service has a terrible life. 'So busy they can't even cook themselves a meal, forget that'.

No coercion, no evidence, just innuendo and undergraduate forelock tugging.
Interesting how cultural perspectives differ on this.

As a Chinese American, I wouldn't think twice about eating the eyes of a fish. They're tasty!
My mom cooked all of our meals growing up -- you could probably count on two hands the number of times I even set foot in a restaurant before leaving for college.

But I could tell even as a child that spending an hour and a half cooking and cleaning every day doesn't make any sense when you're earning $40/h each and takeout for three costs $20 and requires no clean-up.
How to Increase Traffic to Your Website
You do realize why the British called it the "dane geld" and not tribute right? Because the Dane used to plounder the English and demand gold to go away, and the English learned to their sorrow what happens when you pay the dane geld.

And I say that as a Dane.
Making Sense of Hexdump
The problem is: that need for rigourous methods at all times is what drives people away from science. It sucks the fun out of it.

Nothing has to be rigourous at all times. And certainly not on a TV show meant to entertain.

And people are not stupid, they understand that their methods have flaws. In fact, that's one of the reasons the show is as effective as it is: people discuss both the methods and the results, which is an example of peer review.
Seems like a lot of the pushback on this is about whether in releasing this playbook @sama and YC are (i) making a value judgment on unicorn startups vs other businesses, and (ii) serving their own agenda. Personally I don't understand either of these positions.

On (i) it's like attacking someone for releasing a book of muffin recipes by saying "you think muffins are the best food in the world! I only bake cookies -- do you think you're better than me?!". In fact they just like muffins, they have a lot of experience in baking muffins, and instead of keeping their recipes secret they want to help other people bake the best muffins in the world.

On (ii), again my personal reaction, I don't care if it's self-serving. It also happens to be very helpful to me.

Small businesses, large businesses, "lifestyle" businesses, unicorns -- they all take a lot of effort, not to speak of other life commitments. In fact there is a maximum amount of time they can take (24 hours minus a few hours for sleep per day) and depending on your personality you will likely dedicate more or less of this time regardless of the scale of the venture.

I don't think whether it's a $10m business or $100m business or more is a choice based on personal preference, it's based on the nature of the idea you find yourself compelled to pursue.

For example, I used to be an antitrust lawyer. I was often in the office until 5am, and that was as an employee. I worked HARD. I thought I wanted to work less so I quit my job to start a small business. But it turns out that the idea that I have been excited about for the last few years is not a small business, it could never be one even if I wanted it to be. It's the kind of idea that will either be huge or it will be nothing. When you are standing on the brink of that kind of endeavour a few helpful words, a playbook if you will, from someone who knows how it's done can be very helpful indeed.
Germany ‘systematically spied’ on own allies on grand scale
HuffPo, but Ebay (a part owner at the time, haven't checked if they still are) sued Craig Newmark (and another individual at Craigslist):

http://www.huffingtonpost.com/2010/09/10/craigslist-ebay-law...

But it was not about profit maximization, Ebay argued that actions they took were harmful to the stake Ebay owned in the company. So it was just a more typical shareholder lawsuit.

(It's unlikely that Craigslist has overtly stated that the purpose of the company is to maximize profit, so as long as Newmark controls a huge chunk of the company a lawsuit along those lines is going to be a tough hill to climb)
You ask about code, I'm going to talk about life.

Finishing a product is a mental model that doesn't necessarily relate to reality in any way. Design of Volkswagen Golf was "finished" in 1974. Wolkswagen Golf built in 2014 has very few interchangeable parts with the original.

Some people need that feeling of finishing a project. My dad lives for that feeling. Personally I don't get that high, no idea why.

Publishing/shipping a product is lot more tangible. Here completely different set of feelings and motivations are at play. Many people hate publishing, because it shows their mistakes to an audience. I hate publishing, usually only shame comes out of it.

The "ship early, ship often" mantra is for people like me who have loads of projects in the making. Some people really don't need it.

So publish unfinished product, then do something interesting?
cool work, would have liked it more if you had hosted it somewhere and provided a link here to try it out instantly.
Also, are you planning to show the items as actual cards instead of list items?
>Can there be treason if they sell it to a non-USA security research company?

I'm going to say "yes", since it seems that simple accusations of treason are enough to declare, say, a whistle-blower to be a traitor.

In the end, you're effectively a traitor when someone with sufficient power says you are.
That's string interpolation. That line writes either "00" or "01". It's essentially the same as `'0' + state`.

'x: $x, y: $y'

is a lot easier to type than:

'x: ' + x + ', y: ' + y

I actually had to triple check that line. Concatenation is very error-prone. I often mess it up.

String interpolation is a fairly popular feature nowadays:

https://en.wikipedia.org/wiki/String_interpolation
What's Abmahnungen?
Agreed, and thanks, that looks like an interesting paper.

In Gothenburg, Sweden, where I studied, Haskell is the first introductory language for students of CS and (I believe) CE. I know people who had barely even used a computer when they started there who are quite proficient with Haskell.

A side benefit of that is that the dorks like me who had been coding Perl and C and whatever for years before were thrown back to "oh shit, I have to actually study" mode and thus equalized with the people who were starting from scratch.

In terms of gender, when I started studying women were way less likely to have been coding since the age of 6. In the exam for a later course on Advanced Functional Programming that included monad transformers, functional embedded languages, the basics of dependently typed programming, and a semi-large Haskell programming project, I was happy to see a female classmate who hadn't programmed at all before university get the best score of anyone. But I digress... (Shoutout to Elin if you're reading!)

I'm somewhat anxious that my way of talking about this stuff might make people think that Haskell is way more difficult to learn than other languages, which I don't think is the case. I think people probably forget how much trouble they had grokking concepts like "objects" and "superclasses" and "generators" and so on. Haskell might be difficult in some other ways. Maybe in some ways it forces you to really understand things more than other languages. But it's still very possible to learn to program in Haskell without being exceptionally good at math.

Also, some of what people find tricky about Haskell is also present in other ML-style languages. I learned about O'Caml and some SML, and also Scheme, before I got into Haskell. So I knew about functional recursive styles of programming, and algebraic data types, and probably the biggest new things were lazy evaluation and the complete lack of side effects leading to the need for monadic sequencing. Those are not insurmountable.

Edit: By the way, I also appreciate how Haskell is becoming a sort of grass roots study group for coders to learn more about math, algebra, category theory, and what have you. It is not at all constrained to the universities anymore. This article is at the top of HN right now! Interesting times.
I was thinking in part of the pirate activities off Somalia. Most ship owners were better off paying $1m than losing a boat worth say $50m. The problem seems to have slacked off now and I feel it was more related to firearms being pointed in the direction of the pirates than people not paying. Likewise with Cryptolocker putting Evgeniy Bogachev in jail rather than on various yachts would be a start. http://www.usatoday.com/story/news/nation/2014/06/03/fbi-bus...
I have a budding idea that involved using a blockchain to manage cryptographic credentials, but I'm having trouble finding proper blockchain libraries. Any recommendations?

I'd prefer Python or Go, since that's what I'm mostly using these days, but at this point I'll take brainfuck if that's my only choice...
WordPress now runs a quarter of the web
I've not used them, but I would at least hope people working for them are required to have food safety certs.
I seem to recall they made it clear that they are not doing "science for pedants". They are doing "science for fun", to make it enjoyable and interesting and engaging, and they seem to have succeeded as suggested by the article.

Needing it to be 100% rigorous science is missing the point.

To meet your requirement they would need to submit a multi hundred page peer reviewed thesis with every assertion of "busted" or "plausible" or whatever. That would be super boring.
Or some other kind of backup radio or emergency signaling device; solar panels sound awfully expensive / fragile, instead you could have a self-contained wind-up system, bolted onto the ship somewhere secure.
That was mobile voicemail

And back in 92/93 there was an instance where a journalist got a tempory job in Edinburgh and looked up a private line at hollyrood.

After that they got very serious about security lead devlopers on some systems have to be DV Vetted now.

btw DV is the same roughly as TS clearance.
I know and by city too US sales tax makes VAT in the EU look simple
`gs` is also GhostScript. I had a really amusing afternoon when the two commands were at war with each other. The funny part was that my app was actually using GhostScript extensively.
I work in an office, and everyone on my team is remote, including my boss. I might as well be working from home most of the time! But I like going into the office :)
Here's the code that I used in Thunderbird. I make it small and light in color.

<div style="font-size: 10px; color: #666;">This message is signed using <a href="https://en.wikipedia.org/wiki/Pretty_Good_Privacy">PGP</a>. Public key:
<a href="https://pgp.mit.edu/pks/lookup?op=get&search=0xBE5D1E31ABCD1...
ABCD1234</a>
</div>

I see the link in the code is not closed properly, so you need to fix this.
I+found+flights+to+Paris+on+flychecker+at+€+68
There are rumors that tabloids have physically hacked into CAB's (street boxes) to tap lines the old fashioned way - probably using bent linesmen.
And even with Nexus, if the manufacturer steps out (TI) Google won't assume its responsibility and provide the respective fixes.

As if they don't have the resources to do so.
Here's an example from the UK. This seller has been operating for months on eBay selling millions of pounds worth of Apple gear.

15" Macbook Pro. 2.2GHz Processor. 256 GB Storage

===

from Apple [0]

£1,599 including VAT

£1,332 exc. VAT

--

from Electronic King Inc. on eBay [1]

(shipped from UK)

£1,219 presumably no VAT.

--

Apple USD price $1,999 = £1,328.

--

The seller has a UK address as contact details. And is using a mobile phone and a gmail address (ebayprincess05--@gmail.com).

There must be something more than avoiding VAT happening here. I thought for a while that this might be a fraud. Even with them evading the VAT I can't understand how they're turning a profit. My assumption was that they're building up feedback before just disappearing with a week's worth of sales. But 46,000 feedbacks is way beyond what's needed for that. Some of the feedback definitely looks suspicious - a high proportion of low-feedback buyers have bought exactly two of the same item.

[0] http://www.apple.com/uk/shop/buy-mac/macbook-pro

[1] http://www.ebay.co.uk/itm/NEW-Apple-Macbook-Pro-2-2GHz-2-2-G...
I also agree with this, but once you get to a certain age and start having a family (or start thinking about having one) then just saying money doesn't matter does not cut it anymore.

In my opinion good postdocs are massively underpaid. This has an big effect as You could live without having a long term project if you had the savings to survive between positions.