skysight-inc/HackerNews huggingface dataset:
"Tooling can also go beyond types, though."

By "tooling" there, I wasn't referring to static analysis. I meant things like type-directed name resolution, type-directed completion, Agda's "holes", and so on. Strictly, these do not rely on the type system being "a part of" the language, but they do rely on some degree of standardization on a particular type system for the tool to work (or work well).

"Interleaved calls to different types, for example, can be found through tooling."

I actually don't understand exactly what you mean here. You might be surprised what even pretty rudimentary type systems can find if you leverage 'em right, though - as I mentioned in that other thread, I track which threads access what resources, and which functions live on which threads, with C's type system unadorned by additional checks (I do use additional static analysis, it just is entirely unnecessary to catch this one).

"Well, I realize that is false. But the hoops all of the examples I have seen that types have to jump through to accomplish that aren't exactly pleasant.

"So, maybe my preference is just that tooling can give you many of the benefits of more advanced type systems, without having to have all of the boilerplate of it everywhere in the code."

Ironically, I think my C code has more annotations for my static analysis tool-of-choice than the C types. Certainly there are a lot of poor type systems, and a lot of languages that expose particular type systems poorly. Boilerplate type annotations are mostly unnecessary in languages with type inference.

As I've said elsewhere, though, your tooling may be "more advanced type systems". Splint, for instance, can enforce linear typing - something that is not a part of the type system laid out in the C standard (or that enforced by typical C compilers, even with warnings).

"At any rate, I should say thank you very much for keeping this dialog going. Been a blast!"

Yes, it's turned out great :)
It's important to keep in mind that it is quite likely that for most of the Thiel Fellows, there is not much "cost" associated with college. Give the high-achieving student, immigrant family skew of the fellows, it's quite likely that most of the fellows would get scholarships or would have parents who would pay for college if they attend.

If each fellow had to pay $150-250k for college, I bet not a single Fellow would entertain the idea of going to college.

Personally, I took a gap year before college but eventually decided to return to college afterwards, knowing that I would be able to get a $100+k dev salary in the Bay Area if I chose to forgo college. Part of that decision was driven by the fact that my parents would pay for college (and then some).

On a broader note, taking just one year off gave me a ton of perspective on what I wanted to do in life, my priorities, and on the value of college. Everyone should take time off.
Can you rephrase that in a way that makes sense? You appear to be saying that because sports teams are small that no probabilities can be assigned to the results of their games. There's literally a whole gambling industry that exists precisely because such a thing is possible. Likewise you appear to be arguing against insurance as a business model.

My guess is that you're misinterpreting Silver's work and assuming he was "predicting" that Brazil "would" win. He wasn't, and didn't claim to. He said Brazil was more likely to win, and gave numbers to that effect (that in this case happened to be wildly wrong).
Any undergraduate classical mechanics text book such as this one should cover it:
http://www.amazon.com/Classical-Dynamics-Particles-Systems-T...
I highly recommend Classical Mechanics by Goldstein et al.

http://www.abebooks.com/9780201657029/Classical-Mechanics-Go...
It depends on the tool, and what options you've enabled in it. Tools have motivated pretty substantial rewrites of code-bases I've worked with.
It's hard to predict a small group. Reliably. The masses are easy. Wall Street and Madison Ave do it all the time. But in football (soccer); which is fast paced, unpredictable and where an individual can have major influence you have a cluster fuck. Anyone's prediction is just a guess.

Now baseball is another matter. A much more rigid game. Easier to predict.

You know, we see this all the time in politics. How many upsets over the years? The models need to be thrown out every year. But it's expensive. So the US media clings to their same old models and is "shocked" when an upset occurs. And then they usually search so fast for a reason, they miss the real reason in the process. Hollywood has been missing the mark too. They also need to throw out their models and start over. BADLY.

Anyway I sometimes wonder just how far away we really are from Asimov's "Psychohistory ".
That's a misleading way of comparing them because the doctor has radically higher startup costs in both time and money.

Once that's factored in, the doctor still has higher lifetime earnings, but not nearly the 4x you're pointing at. More like 1.8x.

And it's not until about age 40 that the doctor breaks even relative to the plumber.

And the doctor can only pull all that off in the first place with access to about $500,000 in credit.
Assume You're Wrong
> And whilst I can work out that that 20 line block in the

> middle is used to decide which users we need to send emails to

Yeah but no, you can't do that with text color.
It seems that it wasn't so much about the rigidness of the game, as much as it was Neymar missing from the field. Brazil is very superstar-oriented, with excellent offense followed by pretty good midfielders, followed by okay defense, followed by bad goalkeeper.

Predictions on baseball teams probably fall through when a star player is injured.
Yeah, so that's a bit scarier. Lyophilized samples are fairly shelf-stable. There's a much better chance they'd be infectious.
Swinging Atwood Machine (js physics simulation)
Just to remind everyone what we are dealing with here: http://en.wikipedia.org/wiki/History_of_smallpox

During the 20th century, it is estimated that smallpox
was responsible for 300–500 million deaths.

Half a billion people dead, after a vaccine was discovered. And that was one century of the 12,000 years it has existed.

That's why I get shivers from the opening of http://en.wikipedia.org/wiki/Smallpox:

Smallpox *was* an infectious disease...

[...]

To this day, smallpox is the only human infectious
disease to have been completely eradicated.
Catalonia Fines Airbnb, Threatens to Block Locals From Using Site
Technical tools aren't enough. Those can also make the situation worse. If people don't receive general security training. Plain tools could be just a trap.
Right, but I think that's what he's saying. Statistics can only describe the average outcome, which is only interesting when evaluating how extraordinary the actual outcome was.
" Brazil is very superstar-oriented"

Which is exactly why their current models failed. The need to be flexible.

Lots of people lost money. Maybe it was done on purpose? The models I mean. Cause I bet someone made a fortune. Someone short-selling the game?

PS: Or maybe Neymar's injury was "managed". Humm.. a nice juicy conspiracy theory. Stranger things have happened in the game before.
Congratulation Beyang and Quinn. Looks really slick!
___ ___ ___ ___ _ _ _____
| -_| . | . | | | | |
|___| _|___|_|_|_ |_|_|_|
|_| |___|

(New York, NY) http://www.eponymous.co/careers

Eponym is building a platform for making eyewear and distributing it directly to customers. We build our own brands, like Classic Specs[1] and extend existing brands, like Steven Alan Optical[2].

On the back end, our e-commerce API runs Python and MongoDB, with bits of Celery, nginx and uwsgi. We integrate with UPS, USPS and NetSuite (in fact, we maintain some open source libraries for doing so [3][4]).

On the front end, our sites run on a tricked-out CodeIgniter app. We're working on the next generation of the framework in ember.js in the months to come.

Sound good? Email me!
paul@eponymous.co

[1] http://www.classicspecs.com
[2] http://www.stevenalanoptical.com
[3] https://github.com/eponymco/netsuite
[4] https://github.com/eponymco/ClassicUPS
Because people go and make sites that don't work with JS. Even though often it's /more/ work to make the site not-work with JS. And then they justify it by saying "well it's only 1 or 2 percent". It's not hard. And then "professionals" (like the OP) think that everyone has the latest fancy computer with super fast Internet (there are developed countries with rubbish Internet connections, let alone the less-developed countries that often share a single megabit per second for the whole country).

It's like people saying "well blind people, they don't even count, like who cares about accessibility anyway?". Fuck those people.

It's like the people who think it's just fine and dandy to have Google Analytics and Facebook trackers, and all the rest. Even when they should know better! You're contributing to a worse society by giving these companies so much power!

Next these young white men will wonder why anyone cares if someone jokes about "raping some bitch". I mean it's just a joke right? It's not serious. Why are you getting so up tight. Geeze, women. PC is just going too far.

And I guess this is just for your. Because this has dropped of the front-page. I think I need to go back to /., which while awful in it's own way, doesn't have men too young to shave asking stupid questions.
Very slick. Would love to see HN updated someday soon.
This is a brilliant illustration of a consequence of conservation of angular momentum. Even if the spinning mass is made to be very small, it is enough to resist being pulled over by the falling mass. As the string gets shorter (small r) the angular velocity must increase and so does the tension in the string.

Energy shuffles between the rotational kinetic energy of the spinning mass and the potential energy of the vertically moving mass.

I don't quite fully understand all that is going on, but I find it amazing that we can learn physics from js simulations... who needs a big lab for experiments when there is the browser?

Props to @dllu for coding this.
The students seem to be keeping their options open, but most of the statements don't sound like a "plan" to return to school.

The only hard numbers are that 40 completed the program, 40 are enrolled now, and 6 total went back to school. Doesn't sound like half to me, though of course it could work out that way eventually.
I could see this being used in repressive countries to find devices or memory cards full of e-books and learning materials.
I think he's saying it's a souped-up poisson model, not an agent based model. It's not trying to predict individual behavior.

A poisson model is probably valid, but it should perhaps be refined a bit. Maybe it should account for a systematic drift if the whole team plays badly (or a vital player, like the goal keeper, has a bad day). But it's probably really hard to calibrate that, and it's probably not too relevant unless you want to model major upsets.
We should all basically just get behind what the EFF is saying here.
https://www.eff.org/deeplinks/2014/06/fcc-and-net-neutrality...

It's tough for people like John Oliver to communicate to his audience anything other than, "Don't break the Internet." Indeed, part of the problem with net neutrality is confusion regarding what we mean by it. It's tough, but most people who are pro 'net neutrality' generally have the same idea of what they mean. They just might not understand how the Internet works, or how that relates to the FCC.
Dota 2 made no sense until I saw it as a sport
Well, it sure looks nicer, I'll give you that.

I'm more interested in the content, though. I was just trying here and there over the last week or so to learn some Haskell - people always seem to be raving about how cool it is. I found my way to the CIS 194 class link, the first one on the page, and I find that it really isn't very good for learning.

I went through the first page, trying to run some of the stuff. I find that the syntax of the ghci REPL seems to have almost nothing to do with the syntax shown so far. Apparently, I have to use let for every variable, which was never mentioned, and there are lots of funny tricks for how to use multi-line stuff. I still have no clue how to actually write something, compile it, and have some sort of output in the main ghc compiler. Is there a tutorial anywhere that actually helps you learn the language through doing useful things, instead of throwing a bunch of syntax that you can't do anything with at you?

Speaking of tutorials, the old page links to like 500 of them or so. I have no clue how to figure out which one to start with. If you're re-doing it, please link no more than 3 learning pages, no matter what. Have the rest in some buried page somewhere if you must, but keep the front page manageable. How is anybody supposed to make sense of however many tutorials and courses you guys have linked on the old one? I gotta figure I'm the prime audience for this stuff, but I have no idea where to start on your current page.

While I'm at it, can anybody recommend something like a step-by-step thing for people who are proficient in several other languages, but have never seen any Haskell before? Like where every little step has something you can actually type in, run somewhere, and get some sort of output?
The price you can get for something == its value.
Clearly the model does not claim to predict the future or else we'd all be putting money on the games. I don't think a justification or "eating crow" is necessary as the match was obviously an anomaly.
Can anyone comment on how bad it would be if this sample were viable and exposed to a populated area?
Clean Architecture and Rails
"However, the fact that 1/2 of recipients of a very prestigious award (and the associated money/opportunity) decided it was in their best interest to return to university is important."

Where did you get that from? The quotations and paraphrases from the article don't indicate any real decision to me. Just people (wisely) keeping their options open.
One more bit of background that may help you make sense of this. In DF, material properties, among other things, are defined in the "raws" (text files that contain assorted figures, like solid density).

You can see an example of what they look like here, on the DF wiki - http://dwarffortresswiki.org/index.php/v0.34:Saguaro/raw

---

Density was determined experimentally. Contact Uristocrat for a sample if you want to verify this yourself. A 6g (+/- 0.1g) piece of dry Saguaro wood had a volume of approximately 14 cm^3 (+/- 1 cm^3) [SOLID_DENSITY:430]
Your comment is a completely unwarranted attack on my personal character. Plus, you're arguing about something different from what I was arguing, as if I had argued it. Finally, you're taking a derogatory tone. Your comment is not part of a civil intellectual discussion.
Oppressive.
As one of the resident HN muslim users I think I should mention that within the muslim community nearly everyone assumes they're under some kind of surveilance whether it be targeted or indiscriminate. I mean the fact that Faisal Gill was nominated for special consideration is the icing on the cake.

I think over time more and more Americans are going to start to wake up and appreciate that the freedom loving utopia that America is percieved to be has slowly become a creeping monolithic police state. I don't say that to be controversial or alarmist but just to state what is in my view a fact.

What I'm interested in is whether Americans:

1. Care.

2. Care enough to change it.

3. Actually can change it.

My personal belief is that all three are no.
ANNELER VE ANNELER GÜNÜ İÇİN KUTSAL SÖZLER
For some applications a single "name" is good enough, but in other cases, even if your application doesn't interpret it, some downstream consumer of that information (either a person or a computer) will interpret it, like it or not, and may well be more likely to screw it up if there's no additional information (family/given distinction etc).

I think there probably isn't any universal solution that will minimize screwups in all cases, and you do need to look at your usage and audience... ><
Duplicate from the 4th, https://news.ycombinator.com/item?id=7989216
Amazing how people simply make up facts to support their ideology. Both penicillin and smallpox vaccine were discovered with little if any government support. But you know, whatever...
I get paid to write C++ code. I'm pretty good at it. I understand it's normal usage syntax very well. I don't fucking know what a god damn thing means in Haskell.

λ 5 + 7
12 :: Num a => a

What the christ? The 12 I get. Got it. The colons? Not sure. I think it's just a dumb separator. Num is type! What the hell is a => a? I have no idea.

In the top they have an example.

primes = sieve[2..]
where sieve (p:xs) =
p : sieve [x | x <- xs, x `mod` p /= 0]

Jesus. Where to begin? First of all I had to consult a dictionary for sieve. I guess primes is a thing (function?) that takes 2 or more things? Not sure. Not sure what 'where' means in this context. Don't have a good guess. Have absolutely no fucking clue what "p:xs" means. Also no idea what "p : sieve" means. I am equally stumped as to what "[x | x <- xs," means. The "x 'mod' p" I can guess! The /= 0 I'm not sure. Maybe "/=" is equivalent to "!=" ?

And here's the thing. I've tried to read a dozen or so tutorials on Haskell and I give up every time because the syntax isn't explain. Please, please for the love god just tell me what your abstract symbols represent!

Edit: http://learnyouahaskell.com/ Reading that now. So far it's pretty good.
Is this data accurate? As a Turkish fan, I don't recall nor can find any records of Turkey losing to Switzerland by a 7-0 margin in 1998.

Edit: Also sadly, Turkey didn't make it to the World Cup in '98.
> Chromebooks are one of the most heavy handed uses of DRM in the wild without even native apps with an App Store like iOS or Windows RT has.

Chromebooks are supposed to be for running web apps. IMO it's something of a failure that there are any native apps on the Chromebook (besides Chrome, of course). Although now that you mention it, the only one I can think of is the file browser. I don't use the others.

> A Google sign in is needed even to login and the only native apps are Google's own.

Not true. I use my Chromebook in guest mode all the time. No sign-in necessary.

You're misunderstanding why ChromeOS is so locked down, and why you must "jump through hoops" to install arbitrary software. It's about security and trust. If you boot up a Chromebook and it doesn't display the scary "Developer Mode Enabled" screen, you can trust that it is running a Google-signed version of ChromeOS that has not been compromised by a spyware, adware, or other malicious actors. This is one of the key selling points of Chromebooks; you can buy one for your computer-illiterate family member and you don't have to worry about their system being compromised.

I don't know much about any of the other stuff you mentioned.
I swear those guys must have contacted half of the devs in the US.
This is a very a sensitive topic to talk about, and I might be tempted to say more on this, but I won't, For the sake of all good things. I cannot agree 100% with either of the sides, on this issue. But a good way to think about this situation is this:

If you go search for a lion in a jungle, you would probably find one. If you do, you will feel ever threatened to live near that jungle compared to when you were unaware of his presence and just living in your space, and the loin keeping to his jungle.

Spying similarly makes you ever-so conscious of anything that borders the line of what you agree and disagree with.

People who have photographic memory suffer from a similar curse. If they have seen a murder scene, they cannot ever forget it.

Forgetting is a good thing. This sort of spying doesn't leaves a room for Forgetting much more for Forgiving.
I could have acheived better accuracy (87%) by simply calling everyone a non-murderer.
Watch out the future police are coming for you!
Agreed, that was silly.
I think the equivalent to None.get is fromJust Nothing. And yes, it's the equivalent of an unchecked nullable. The Haskell community generally frowns on fromJust (along with other unnecessarily partial functions). The better approach is to either pattern match:

case maybe_string of
Just string -> newFoo string
Nothing -> defaultFoo

Or to use one of the relevant higher-order functions:

fmap newFoo maybe_string :: Maybe Foo
maybe defaultFoo newFoo maybe_string :: Foo
Stabilization of unstable space debris
Thanks for the link, it's an interesting report.

Indeed, the social insurance premiums/expenditures are not included in govt. revenue/expenditure figures, thus the disconnect.

It's worth noting that ~25% (JPY29,040 billion - JPY20k per month per capita) of the funding for those programs comes from employer contributions for their employees.
I suggest you enable the `+m` flag for multiline input

This way, you don't have to use the weird curly braces trick (which I always forget), at the cost of having to type one more enter when entering a oneliner

FYI, this is my ghci.conf: https://github.com/berdario/dotfiles/blob/master/ghci.conf
(I don't suggest a new user to use ClassyPrelude)

That said, I'm not sure what learning material to suggest to you, but if google and stackoverflow.com fails you, try freenode#haskell

personally, I got a lot more interested in Haskell after starting with Clojure (it helped me to appreciate more things like immutable data structures)
SEEKING WORK - remote only, from Mumbai-India

Recently helped a couple of clients with performance optimization of WordPress sites - www.SingaporeFurnitureRental.com - helped to successfully improve the loading speed from the about 10 seconds to 3 seconds

http://architecturemedia.com/ - Helped in integration of payment gateways - django, cartridge, mezzanine

https://www.book-pay.com went live in June 2013 - developed from scratch in Django and Postgres,a site for booking seat for cycling tours offered by www.londonbicycle.com - so far 600+ users with 400+ seats booked

Helped in launching http://www.foodfan.com - Django,Postgres, S3 for photos, Sphinx for search, Jquery, API for iPhone and Android app

9+ years of software development experience in dotnet and Django, open to working on other technologies.

Have worked with clients from US, UK and Syria

A blog post - http://www.vishalsodani.com/programming/experience-report-fr....
https://www.github.com/vishalsodani/
http://www.linkedin.com/in/vishalsodani
http://vishalsodani.com/freelance-experience/

Contact: vishalsodani@gmail.com
You could try IHaskell[0] for playing around with Haskell. It is like GHCi, but provides a notebook interface where you can enter multiline expressions and do declarations, so it is a lot closer to real Haskell. (It can be a bit of a paint o install though.)

Disclaimer: IHaskell author here :)

[0] https://github.com/gibiansky/IHaskell
Breaking News Removing plane parts from Montana river
I felt the same way about the series Wired did/is doing on the Thiel Fellowship. I wish they'd cover more of the fellows rather than focusing on the few that they do.
FWIW, my parents didn't give me a generation name, and my kids don't have one. I have cousins and uncles (I think this is for males only? I could be wrong) who do have generation names. From what I understand, this practice is slowly dying out in favor of better sounding or more native-Korean names (without Chinese characters) in recent generations.
Programmer's life
it might be easier to use groovy, for noobs it's basically the same as python and runs on the jvm, also you can introduce java gradually without changing environments.

I love python - used it for years, but I am dumbfounded that people enter a CS degree without having ever first tried to write a program. That's like taking english lit without having read a book before.