sirseal
sirseal on Hacker News
Wow! This is some fantastic stuff. To be (slightly) cynical, I wonder how much code reuse one could get out of this _in practice_. At any rate, I think it's a win to be able to do all of this kind of coding within the same language. Also, being able to bring functional programming, immutability, and types to these different environments is a sure win!
Thanks for writing this up! How'd you pay for this? Did you have to take out a loan? Did the companies have a payment schedule?
Wow. That's crazy expensive. I'm glad to hear about this story. I don't think I'd pay $50k for something like this.
From the Crema wiki that I just glanced at, it is indeed not possible to write infinite loops:
"The only type of loop supported by Crema is the foreach loop. This loop is used to sequentially iterate over each element of a list. Crema specifically does not support other common loops (such as while or for loops) so that Crema programs are forced to operate in sub-Turing Complete space. In other words, foreach loops always have a defined upper bound on the number of iterations possible during the loop's execution. This makes it impossible to write a loop that could execute for an arbitrary length of time."
This is a fantastic explanation. Thank you for phrasing it so concisely.
Sounds like it could work. With any supervised learning algorithm, the key is to have good labeled data that accurately captures the function you want to learn (i.e. something that exposes errors + their causes and supplies the proper sysops fix).
They are actually a public company as you can buy stock in them.
Do you really believe that it'll ever be on the JVM? Why would Microsoft put any effort into that? CLR is now cross platform. If you want functional programming that is similar in style to F# (and ML-family of languages), check out Scala.
This is a good critique: it's important to cite the people who have laid the early groundwork, regardless of how far in the past that work was done.
HFT is a tool of oppression. Who can afford it? Who has the time, capital, and personnel to make and deploy HFT algos? And ultimately, who is really benefitting the most from this technological advance?
I hear you. I imagine that Scala poses a lot more problems than other JVM languages. Not knocking you, or anyone else at Parallel Universe.
It's an opinion, but I find that synchronous programming is a lot easier to reason about than asynchronous.
I'd pay money for this if it worked with Scala.
You realize a Monad is a concept, not a language feature. One can implement a Monad in any language.
Go is situated as a better node.js. The entire language appeals to people who come from dynamic language backgrounds: python, ruby, javascript, etc. It is also a language that actively works against clever, intelligent, elegant programmers [1]. Rob Pike himself has stated that Go is intended for unintelligent people [1, 2].
Go is the new Java (<=1.5). It's slightly better....but it's not a language that will grow with you. If you're a serious programmer, you'll easily outstrip the usefulness and expressiveness of Go.They’re not capable of understanding a brilliant language but we want to use them to build good software. So, the lang
tl;dr: Go is uage that we give them has to be easy for them to understand and easy to adopt.
[1] http://nomad.so/2015/03/why-gos-design-is-a-disservice-to-in...
[2] http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2014/Fro...
> On the first, few people effectively negotiate with their employers for salary increases, and a lot of people fail to negotiate at all.
Boo-fucking-hoo.
Grow the fuck up. If one cannot learn how to effectively communicate, then one will face the consequences.
That's what it means to be salaried vs. hourly. You get the job done and don't mess around.
Does it make sense that doctors have to charge 10x just to even-out the insurance companies only paying 1/10 the price? Nope. You should direct your anger at for-profit medical insurance companies, which make billions of dollars in profit every month.
To your ethical claim: can engineers go to prison for being unethical? No. Can physicians? Yes.
> How long until doctors find themselves in a similar position? Medical bills are, after all, the number one cause of bankruptcy in the US, and US doctors are the highest paid on Earth.
Blame medical insurance companies. Physicians must charge 10x what something actually costs because insurance companies will only pay 1/10 of the bill. This insurance company bullshit works all fine and dandy, until it lands on a poor uninsured bloke.
Ask yourself: "why the hell should a medical insurance company be for-profit?" Why should the top 5 medical insurance companies make _billions_ of dollars in _profit_ _every_ _month_ ?
http://www.forbes.com/sites/peterubel/2014/02/12/is-the-prof...
There's certainly limits. Compilation-time type safety can only guarantee the absence of certain errors or presence of certain behaviours. Any question that can be reduced to the halting problem is something that cannot be automatically verified. However, there's lots of interesting and useful stuff that is not reducible to this problem. Such as "is this input really an integer?" (cough cough, dynamic languages)
Definitely. It's because, fundamentally, Ballmer was not a technology person. He simply didn't get it.
Are you serious? You are incapable of reading and understanding an 8 page document? Or learning general strategies of where to find summary information (hint: the beginning and end of every paper).
There's a lot of information loss when you try to fit an idea into a list of points.
And yes, your comment is quite ironic since it is incoherent, unorganized, lengthy, and ultimately, sounds like nothing more than a bunch of whining.
Awesome work! Thank you for sharing.
Except juice, which has the equivalent amount of harmful sugar. It's more because Bloomberg is a typical dickhead politician who makes policy only to further his own power.
I'm not that great at C++, but can't you use the const keyword to declare that something's value isn't changing?
Where's the Antritrust Probe of Comcast, Time Warner Cable, and all of those other shit-eating ISPs? At least Google gives me some fantastic services at little cost to me.