skysight-inc/HackerNews huggingface dataset:
Empirical evaluations break down quickly as the complexity of what is being measured increases, so your best bet in doing a study is to focus on one or a few features.

PLs are of course evaluated over time in the market place over time, like any other designed artifact.
> Casts don't only throw types away, they can also add type information to otherwise untyped input, such as reading data from a file or an HTTP request payload.

This is true. A more interesting example might be a program which creates database queries from user input casting input strings to the type "unescaped string", and then converting them to type "escaped string" by performing a string-escaping process on them. (A cast from "unescaped string" to "escaped string", which is done implicitly very often in languages where those types are not machine-checkable, is often disastrous.)
Captain Haddock's curses, insults and exclamations
I'm using past tense to contrast it with today where the amount of spam/(true) malware-filled content around, especially for popular apps, is much higher than it was before.
While we are getting good at proof-of-work stuff -- we aren't great a proof-of-power.

Meaning, it would be easy for me to emulate 10,000 slow computers with one powerful one, doing 2 minutes of work 10,000x parallel (claiming each of these computers is very weak) and that completely bypasses the "beautiful" solution.

Sending BTC works because it isn't gameable (at this point). I like the idea of a ฿0.0001 (or even ฿0.001, 20 cents) fee for each email sent to me. It is a little over 2 cents US -- would absolutely stop spammers (most it cost prohibitive for them), but hopefully would not stop normal users.
I think the best way to describe it would be to make a distinction between frameworks and libraries. A framework integrates itself too much into the application's overall structure, while a library provides another tool that lets you write your code the way you've always been writing it, but to do something new.
Oh this is the worst part, i could once not start my viasat-app on smart-tv because samsungs, not viasats, servers were down. The workaround was to reconfigure the dns to point samsung to a local server that just said "im alive" and then i could start my apps and use them without any problems. T_T
There is a whole lot of green on this thread. The text is copied [1] and has been posted several other places. Generally the tone here and strong somewhat overreacting stances aren't particularly becoming of the HN community.

1. https://www.google.com/search?q=%22irungentoo+enforced+censo...
"Use regardless instead."

Direct quote from your link.
Seccomp sandboxes and memcached example, part 1
I've always taken it as meaning, "If it compiles, it must works, otherwise you're in trouble;" given that debuggers for Haskell are still relatively immature (especially for its age), your best bet is to lean heavily on the type system.
> An often better alternative to chaining is composition

It's not explained, but one of the reasons why is that function composition refactors more easily than chained code. The first operand (i.e. the value) in the chained code alters the semantics of all the subsequent chained code. You cannot replace parts of the chain as easy as you can with vanilla function composition; you always have that first value to worry about, and this reduces reusability slightly (compared to composition)
If you insist on continuing to be disingenuous we can simply end the conversation.
Why some at NBC view Brian Williams’ suspension as an exit strategy
I was always on the fence about static typing because I figured that it automatically led to more verbose code (clearly a significant down side), but after looking at Haskell and F# I'm not so sure that's true for them, even though it definitely is for C++ and Java.

I'm still unconvinced that additional testing is required to overcome bugs that a static type checker would catch, though. In my experience all of those "call a missing method on None" issues get caught relatively quickly by a test that you would have to write anyway even if you were using a language with static typing.
Same, but I feel like I'm missing something with one of the examples.

squareIsOdd =
square >> isEven >> not -- `not` is a built-in function that inverts booleans

squareIsOdd 3 == True
squareIsOdd 7 == False <-- huh?
I was referring to the fact that neither coffee nor tobacco impairs a person's judgement, or ability to function in society.

For example, Imagine a person who comes to work after smoking a cigarette versus a person who comes after smoking a joint.

Regarding cocaine deaths, that is despite the fact that cocaine is not legally available, and is very expensive whereas cigarettes are readily and cheaply available. Almost all the deaths from cigarette smoking happen to heavy users over the long-term (149,222 of deaths are between ages 50-69 and 250,000 are over the age of 70) when compared to hard drug use. Cocaine is highly addictive, and the fact is a good percentage of the population does not have the self-control to restrict them to "occasional responsible use" (As is amply evident in the case of alcohol)
Nonsense. C++ is fun!
I really don't like the idea of using fixed length of whitespace for delimiting scope instead of using explicit markers. It's not really a language issue, just syntax preference.
I'm thinking of going full code-hipster and learning Tcl
Has anyone created anything interesting in Tcl lately?
cheesy old-left blather. it seems to offend some people that value is defined by whatever the market will bear, rather than something inherent.
It varies by province. In Ontario, the per-student funding grant hasn't increased (in absolute $) in over a decade, so it has fallen to 40-45% of overall revenue.
T-Mobile in the US is pretty similar. The service plan is no-contract and can be changed every month (perhaps intra-month, I have done some dynamic changes and it seems to take effect in the middle of billing cycles). The hardware payment is separate with a fixed no-interest cost spread over 2 years. The hardware is the same cost if you buy it up front or spread payments out over the 2 year period.
Hacker News:U.S. Central Command's Twitter Hacked by IsIs
Paxos, a beautiful protocol for distributed consensus
Lots of PFSense people seem to think the PC Engines APU[1] is ok. Netgate sells a DIY kit[2].

It's only a 3 port system though.

[1] http://www.pcengines.ch/apu.htm

[2] http://store.netgate.com/kit-APU1C4.aspx
I agree that the terminology I used in my post isn't mainstream, and I won't claim it is. However, I couldn't think of a different word which would have the same familiarity with this audience which could plausibly carry that meaning. If anyone else can come up with better words, I'll use them.

To be clear, here's what I mean:

Conversion: The machine looks at the current type to figure out how to transform the value into a valid instance of the new type.

Casting: The machine ignores the current type and simply applies the new type.
https://github.com/irungentoo/toxcore/issues/137
BitTorrent Inc. to produce exclusive TV shows
The Motivating Function of Thinking About the Future [pdf]
He isn't a troll, all his statements are real. I confirm them. I'm a good friend of Proplex.. I mean I was a good friend of Proplex.

Proplex finally killed himself because the Tox Foundation harrased him. HE TOOK HIS OWN LIFE.

RIP Proplex, I miss you.
care to share that script?
Your first two sentences is what I was trying to describe.

I may be addressing a straw man here, but anyways;

I would contest this that analogy is completely useless for creating knowledge of reality.

Analogy is a tool to translate facts into thoughts another person can understand. Physicists describe Dark matter as an analogy to matter with exceptions to make it easier for others to understand what they're looking for. "It is like matter, except in these ways". If it works as a tool of human communication, and creating knowledge of reality requires human communication, then it is a tool that can be potentially useful.

Humans, unlike machines, rely on human interaction to cooperate. It is one thing to say the scientific method is very useful in describing the underlying reality in which we all exist, and yet something else altogether to show disdain to all other kinds of thinking. The scientific method is a tool at humanity disposal, to believe human thinking and human knowledge can be reduced to Science with a capital "S" is to mock it.
Where's the Snapchat's revenue or Instagram's or WhatsApp's?
2 ton, 5 meter spaceplane? That's tiny, about the same size as a Cessna. It's even smaller than a Soyuz reentry capsule.
also the m-disc is a dvd/blueray that lasts 1000 years
> (It should also do so using a straightforward explanation, ideally featuring a counterexample or stripped-down unprovable proposition. I don't know any type checker that does this, currently.)

I guess the incomplete-pattern-matching warnings (in eg ghc) come closest. They usually give you an example of an example of a value you haven't matched. But that's a very restricted and simple domain.
They have a very long way to reach Amazon and that's given that Amazon stays still all the years to come!
This could be interesting with an API to control pricing, that way it could be adjusted by BTC => local currency -- but also based on other things.

I for example, would like a multiplier based on my backlog. I might start at 20 cents an email -- but if I have 1,000 messages waiting for me to read, I would increase the price to contact me to $20 an email -- because at a certain point I can't keep up and the value per email drops to 0.
How about an array of Media?

package main

import (
"encoding/json"
"fmt"
)

type Media struct {
Title string
Price float64
PurchaseType string
}

func main() {
jsonData := []byte(`
[
{"purchaseType":"Rent","price":0.99,"title":"Inception"},
{"purchaseType":"Free","price":0.00,"title":"Johnny Mnemonic"},
{"purchaseType":"Buy","price":17.99,"title":"John Wick"}
]
`)
var media []Media
err := json.Unmarshal(jsonData, &media)
if err != nil {
fmt.Println("error: ", err)
}
fmt.Printf("%+v\n", media)
}

Output:

$ go run main.go
[{Title:Inception Price:0.99 PurchaseType:Rent}
{Title:Johnny Mnemonic Price:0 PurchaseType:Free}
{Title:John Wick Price:17.99 PurchaseType:Buy}]

Edit: Regarding the MediaType: http://stackoverflow.com/questions/14426366/what-is-an-idiom...
Collision-proof drone
Do not trust the main Dev, he called me a nigger and a faggot when I asked how to install Tox. He is a racist bigot.
Also the ones who want their code in a public repo so that future employers can review it.
Wow, there's a blast from the past. A friend of mine (Jesse Liley) built a cool device-mounting-thingy called MUT in Tcl a few years ago, for the Puppy Linux distro.
I’m Brianna Wu, and I’m Risking My Life Standing Up to Gamergate
> There are no other possibilities, period.

That's true! You have proved the original (deductive) claim "if it compiles, it works" for that one specific example, but that does not hold in general.

In general you may prefer the alternative (inductive) claim "more likely to be correct", but that claim requires empirical evidence.
Sorry but, how did you get this information? I never heard this before. You're also a just-created account...
I'm not at all in disagreement on your security ethic. It's difficult to say what would happen but context does matter. If Stuxnet came from a different source, had a different target, or was published as a research project the effects would be different. History is ripe with instances where someone makes a discovery, keeps it secret, and it remains secret for a long time so I'm not willing to believe everything is inevitable just yet.
Since there seems to be a flagging campaign (based on the low placement relative to articles with similar upvotes and time submitted) against the original, I'm submitting this.
SICP 6.001 tutor (eric grimson)
If the program is a composed from trivial data conversion steps that are implementable using standard transforms (C++:s stl algorithms, ML:s folds, etc) then it is very likely that it works when it compiles. If there are various branches in the logic and I can encode those branches using types as invariants then that eliminates a particular category of bugs altogether which reduces logical errors. If I use immutable variables it helps even more. I'd say the 'compiles and works' means that if one can leverage existing operations on containers and use types as helpfull invariants then those two stylistic choices reduce the possible number of bugs in various categories.

I would not claim all errors are removed... e.g. numeric code that depends on the precision of arithmetic on floating points is as error prone with or without static types.
Cool, that's a good refactoring.

What if we don't care about the errors and just want to return nil or the value. The caveat is that when any of your http requests get a non 200 response code no further processing is done and nil is returned.
You can still run tests. Debuggers are great for figuring out why your program is wrong and how to fix it. But they seldom alert you to problems in the first place. Tests do.
You added little to no content to something which was already being flagged, are you going to be surprised when this gets flagged too?
Christopher McCandless
Mystery of the real-life sea serpent
Check out my update if you haven't seen it already.

tl;dr The problem for me personally is when you start making functions based on the type of media and sacrifice type safety if MediaType is a string.
I had pipes freeze when our heater was set to 68 F. It's not a brick house and the people who built it were not professional builders so I don't think they got the insulation completely right.
Actually, using a non-total function like last doesn't do your claims any favours. I'd have picked map as the canonical example for free theorems.
Weird, it works here. I put a copy on my webpage at http://csail.mit.edu/~julian/papers/login_nail.pdf

As has been pointed out below, there are many C bindings for Protobuf (and my argument was that using something like protobuf allows reimplementing the protocol).
No, but maybe the moderators will do something about the situation.
"(it stays around 60 for some reason)"

You're leeching heat from your neighbors.
Seems the link in your profile throws a 404?
There are many hooks in the story and the "whodunit" or in this case 'whatdunit' is a hook that keeps a lot of readers through the story. I don't have a big log of books I've read in my life as compared to some, but this was one that I would pick up and devour and then push away from me upset. I'd stare at it thinking I didn't want to read more of the tragedy then I'd pick it up again. I can't think of any other book like that I've felt the same with.

That Chris' story has a proper resolution is important to the author and for those of us who took Chris' journey by reading Krakauer's book. There are still plenty of mysteries within it aside from the cause of death. Why did he do what he did? There's a theory out there that he may have been suffering an onset of schizophrenia. We have a good record of what he said to people and his journaling, but we will always be limited by what remains of that.

He was in many ways a very amazing person. If you recall he sought to 'kill the false being within' him. His seeming desperation to seek his most authentic self through a journey and a physical and emotional withdrawal from his family and familiar lifestyle (as I understand, which I may not) is something that is as relatable as it is strange and unique.

Nuggets of the idea you hear elsewhere by some pretty amazing individuals. For example, I have loads of respect for Bruce Lee. He was a celebrity and a person of deep thought but of massive action in his life. He made a point in an interview of the challenge to being able to actually express yourself honestly in what you do. To anyone seeking authenticity in themselves rather than whatever expectations or reactions real or imagined the rest of the world may have, to be completely free of that mindset.

I hope Chris believed he succeeded in the end. But I selfishly wish a lot more that he would have maybe almost succeeded but instead came back to tell the rest of us about it in his own words.
Web Essentials not saving CSS files
Grants are easier to come by in certain fields than in others. Natural sciences, for the most part, have it much easier than social sciences and humanities.

Tuition begins to matter when students lose funding. Then it's no longer "funny money." According to the Ph.D. completion project, between 50–60% of students that enter a Ph.D. program finish it by the 10 year mark: http://www.phdcompletion.org/quantitative/book1_quant.asp

Most programs guarantee funding only through the first 4–6 years. Some programs make students compete against one another for quasi-guaranteed funding after a certain point.

A substantial minority of graduate students are either going to quit the program with only a masters degree to show for it or are going to end up paying tuition. Usually they can reduce the amount of tuition paid by enrolling as a "non-resident student" or something similar. But the tuition rate (and how long they will cover tuition) isn't something that can be brushed aside, either by students managing their finances, or by departments assessing their budgets.
Not to focus on a question unrelated to this blog post's point, but

* "auto main() -> int" could be just "int main()".

* "auto v = vector<int>(20);" could be just "vector<int> v(20)".

* "auto print_value = [](auto&& v)" could be (I'd argue should be) "auto print_value = [](const auto& v)".

"auto" is useful, "auto" is great. But "auto" is not an end in and of itself.

(Bring on the C++(11) haters, blah blah.)
> In my experience all of those "call a missing method on None" issues get caught relatively quickly by a test that you would have to write anyway even if you were using a language with static typing.

There are lots of bugs that you still have to test for in a language with a typesystem like Haskell's. But it's not this class of bugs. Pattern matching (and completeness checks) should take care of that.
His last activity on github was 5 hours ago...
My advice is don't participate in the broken educational institutions.

Take up a job somewhere else, and teach the way Salman Khan of Khan Academy started teaching. Just start teaching on YouTube and helping students on Skype. Your paid job should sustain you.

Using your skills, you should be able to get a 9-5 job somewhere that pays you better than what you are getting paid now, which should leave 15-20 hours for your teaching side project.

I started teaching programming to a few people in this way, while I was employed in another (non-programming) profession.

Teaching is more rewarding when you don't have to follow someone else's rules and curriculum.
Hackathons are Gifts from Tech-Heaven
I've code algorithms for spellcheckers and text summarizers in Tcl. I've been using it for proof-of-concept data science/AI/machine learning stuff for years.
Yes. And even if you get to pot odds or better after taxes and decide to spend $20 (10 tickets), $200 (100 tix), or even $2000 (1000 tix) because you're at pot odds... 1 in 17.5 mil, 1 in 1.75 mil, even 1 in 175,000 are still very long odds. So, you can't win and dream if you don't play but if you play buy just one ticket. Buy it more for the fantasy you get to play in your dreams at night in your head, because that's most likely the greatest payout you'll get. $1 or $2 for a bottled drink or for some sweet dreams... Your choice, both are okay choices in my mind.

Edit: typos.
Hmm, maybe it's just me, but clicking on the HealthSherpa.com link on the sidebar leads me to http://blog.healthsherpa.com/www.healthsherpa.com and I'm assuming that it should simply go to www.healthsherpa.com
How many weeks of the year does she work as a high school teacher?
I went to the trouble of getting an Intex phone. Even for its price it's not worth it - even if I can build the JanOS/FFOS sources I don't think I have the driver to flash the phone.
take your SJW quest somewhere else.
Nice way of writing the article -- the narrative in the first half makes us believe Clougherty's side, while the second half shows the other side of the story.
With a better, faster algorithm, probably with some help from a GPU, this could become a new app. There's already "http://loopc.am/", but it's not as good. Then cash out by selling out to Instagram. Also use to jazz up real estate ads.
Legacy code (and skillsets) are always a good practical reason.
It's just security by obscurity and I'm sure as soon as hackers can profit from reverse engineering such code, they will reverse engineer it.
I was going to say Craigslist, where you do something simple and sticky and just be content to make a living, but it sounds like the monopolistic classified service already covers it.

The key is that it has to be something with a local bent.
> Sometimes I'd like a "typechecker" that isn't always guaranteed to terminate.

ghc has an undecidable-instances pragma for that.
How to Get a No Credit History Check Car Loan in Within Hours
Hey - feel free to reach out directly to denny@experiment.com, happy to learn more about your project and see how we can help!
Could Bitcoin help me cut out the 40% that Amazon takes to sell my book?
Ioffe and Szegedy get 4.8% top-5 test on ImageNet(beating recent MSR result)
There are good arguments for not even getting Turing-completeness in your value-level language. Totality would be a nice goal.

See http://blog.sigfpe.com/2007/07/data-and-codata.html
Don't investors normally get preferred shares?
Number 3 is already here. Your electric blanket can be connected to an internet connected power strip which can be turned on an off with an IFTTT recipe. Your Nest thermostat and this can both be scripted to turn on based on yout smartphone location.
What I would do in that case is modify checkUrl to return a bool, change the return to return response.StatusCode == 200, and change the for loop contents to

if !checkUrl(url){
fmt.Printf("Non-200 response for %s", url)
break
}
If you actually cared you would write a more moderate piece, most of the reason #GAMURG8 gets flagged is the hysteria makes it unbearable to read.

You basically blogged a "re-tweet", a poor attempt at circumventing the hackernews community...
I am definitely not the person to be giving you feedback on this, I'm not a lawyer or anything myself. Just consider me a pair of outside eyes looking in that loves when hackers tackle problems in other industries.
Me too. It's an incorrectly written link, as it doesn't include a protocol.
Also, does the scheme unencrypt the code to be run into what memory segment? What does this technique mean for current memory protection methods?

We do have nowadays non-executable stack, and heap by default. In fact, only the marked read only segments can contain runnable code, unless if you use specific workarounds. What happens if the code you are protecting and running is more complex, requiring calls where you would usually use position independence and stuff like ASLR to full extend? Do you lose these the benefits or those features, or is there necessary information leak (take a look at plt for instance)?

To add to this that in the end of the day if you can access both the data and the key it is just highly complex obfuscation, I am hardly impressed.
Overview of M.2 SSDs
Oh yes. It's quite wonderful, really. For the cost of a stipend and waiving tuition, they get someone who'll work almost for free, grading papers, teaching seminars, and maybe even bringing in grant money. Then as soon as they graduate, they're back, desperately applying for adjunct positions.

If you were very cynical, you could try and consider the RoI on a stipend from the point of view of the administration. It's one of the most abusive and exploitive things you'll find outside of a North Korean prison camp.