skysight-inc/HackerNews huggingface dataset:
Would a homoiconic Haskell be a lisp?
hello, koding dev there. "koding.com's vm service" provides a standard real terminal. what are your expectations? asking to make it better.
What happens when the repayment power of those that took the loans is crippled by the loans in such a way that they can't fulfill their basic needs? it's gonna happen with a non negligible portion of people

The problem is not the fact that the debt can be wiped, the real concern is that for some people the debt will not be repaid at all and they can't do anything about it. That debt, whether refinanced ( http://www.nbcnews.com/business/obama-signs-student-loan-bil... ) or wiped out, will make banks lose money.

Buckle up.
Wonder if there'd be interest in a smaller, clear version of this as a greenhouse. Something that could be laser cut and packed down to a postable package. Light enough that you could lift and place it over your seedlings.
The author of the letter has earned at least a doctorate honoris causa. (S)he is a true civis reipublicae litterarum.

Universities as we dream them, like Humboldt did, are alas a relic of the 19th century. They’re a lost romantic desire, like the inspiring anecdote (regardless of its historical truth) of a student Niels Bohr and a professor Ernest Rutherford debating over truth as equals.

Universities as we know them since the 1960s evolved into cash-burning bureaucracies. Soon, academia may evolve again — open sourced learning, who knows?

Until the age of enlightenment the bigger part of scientific endeavors was done by dilettanti, unpaid, un-institutionalized “hobbyists” and other philosophes. We will return to those days — perhaps, and need be, at the expense of “democratic access” to learning.

But the ideal of a community of intellectuals devoted to truth and science will live on in the honest hearts of young scientists (and self-employed hackers). Kudos to the courageous heart of that young PhD-student for reminding the academic managerial caste of our ideal!
My point is that when I was eager for it, dollars were a great metric for my hourly value. Now, personal enjoyment, or feeling like I'm doing something valuable with that time has a much greater importance.

I feel the same way now that I have a daughter (10 months old). I work full-time, but I have always done the odd freelance or consulting job on the side...a few hours in exchange for a few extra bucks used to be worth it. Now, I'd rather spend that time reading to my daughter, or watching her figure out how a toy works.
This is true for for-profit colleges. But some public and non-elite private colleges risk pricing themselves out of existence - or at least into dire financial straits - if they raise their prices too high and if student loans dry up.
I don't think it's too hard to get started. While the Haskell website itself could and should be a bit prettier and more organized to highlight this, the Haskell platform itself is a one click install and pretty easy to get started with. That gets you up and running with everything you need to start learning the ecosystem.

http://www.haskell.org/platform/

What FPComplete is doing is phenomenal for corporate adoption because big companies like to mitigate risk by having some support options and tools available.

Personally, I think regardless of the rate of popular adoption, Haskell is a phenomenal tool to have at your disposal and more programmers should start learning it and building systems with it. The learning curve is ridiculously high compared to most other languages because you're going to have to change a big part about how you think about solving problems, but its a fun ride.
That was, of course, just an example. I'm also assuming that any "real" type system implemented this way would do this with something like typeclasses or higher kinds or something else.

The larger point is that baked-in type system see the word "int" as a type, but what that's hiding is the higher abstraction: that what we're really doing is specifying a function which should be run when determining the validity of the program.
> there is no Linux release of Opera 17, but there will be Opera for Linux

Yes, that's what they said for Opera 16, too, and 15. Last version of Opera to be released for Linux was the (pre-blink) 12.

I'm sure they will get around to it eventually, but I've personally given up waiting and switched to Firefox (mourning the loss of my beloved spatial navigation, which was why I'd stayed with Opera until now). (Being able to access all my bookmarks from Firefox for Android is a nice side-effect, AFAIK Opera still haven't gotten around to implementing Opera Link for Android version).
Off the top of my head, both the interest rate cap that passed this summer and the President's recent student loan proposals? What else would be under discussion here?

EDIT: nevermind, apparently both you and drcode are discussing hypotheticals only.
The legacy of Danny Lewin, the first man to die on 9/11
Sub-$500 47-inch smart TV runs Android
hi, koding dev there. nope, it's not docker.
Please forgive my comment if it sounded snarky. I was just thinking out loud.

Props to anyone who tinkers; young, old, and anywhere in between.
Not to mention the REMOVING of windows installer from VS 2012 and replacing it with a PoS limited InstallShield ;)
We adapt.
For what it's worth, they're currently very poor quality to Google's geocoder.
I think he meant (and I initially assumed from the headline) effectively bash in the browser, running locally.
Aren't VI-A and IV-A the same layout?
So... an online college with a placement department.
Erik Naggum had an impassioned defense of Lisp-2: https://groups.google.com/forum/#!msg/comp.lang.lisp/04rR3_j...

I don't buy it, but I can understand the reasoning.
My favorite line was "Housing is a major expense that is ripe for pruning."
> How do you make sure that the academe that is selling their project as 'basic research' isn't just pulling a fast one on you and sucking your funds to tickle their intellectual jollies?

The term "basic research" refers to the study of fundamental principles. It is undertaken precisely to "tickle intellectual jollies". This is not a bad thing. Basic research is important because it is critical for the advancement of Science to understand why something works the way it does. This approach is distinct from applied research, which is very often concerned with making a buck from the derivation of Scientific results.
You can't directly, but a lot of people hope to get a reasonable rate of return on their degree, career-wise.
I think the headline here implies that the said middleman is unsure about the viability of the market, so any savings figure is dependent on low loan default figure.
Does natural gas exploration and exploitation have peak phenomena similar to petroleum? And does coal have its own reserves and peak phenomena?

Coal, petroleum, and natural gas are three large categories of energy hydrocarbons. If gas is cheap relative to oil or coal, then at the margin, some users will shift to gas. Prices of energy hydrocarbons will be correlated, over the long term.

Then, as coal, oil, and gas are all depleted (with their own separate peaks, perhaps), their prices will increase. Foods like corn which have many dependencies on low-priced energy (farm equipment, fertilizer, drying, and transport), will come under increasing upward price pressure.

Corn is used in perhaps a quarter of food SKUs in American grocery stores, so won't a lot of food prices go up as energy prices go up, as a consequence of peak oil (or coal or gas)?
The problem is that your debt, if measured at the end of your lifetime, will also balloon WAY out of control. Simple example, 30 years after college, 40k usd in debt gets you to 462k at 8.5% annual. That is, assuming you get a job immediately that truly translates in higher earnings, which a lot of times isn't true.
We're talking about programming fonts here, though. Serifs have been proven easier to read than sans-serif fonts in usability studies. Also, there are multiple advantages to using monospaced fonts in programming applications.
Precog is being open-sourced
Reminds me a lot of the book, Blink, that addresses these types of intuitions and their basis on reality.

What's more interesting, is when exactly does stereotyping cause the snobbish culture to collapse into a celebratory circle jerk of Italian suits and only the finest crystal for our 12 year old rotted grape juice?

Is there anything left of the supposed domain experts that used to live in these critical societies or has the lack of recorded expert opinions caused the protected tribal knowledge to evaporate?
The OP describes an environment where data goes from node to Rails.

If you want to check a string for valid encoding and/or replace bad bytes with replacement char on the _ruby_ end... it's not very obvious how you do that with the ruby stdlib api, and it takes a few tricks to do right.

So I wrote a gem for it: https://github.com/jrochkind/ensure_valid_encoding
Thank you for your questions mjhea0. Long term, as you guessed, we're building something different from a job board -- we're architecting an ecosystem where talented engineers can make a living completing missions online, with version control, test cases, and continuous integration. We imagine this looking like a hybrid between github and odesk but it's ultimately the hackers we work with that will shape this experience.

One of our objectives is to bring the certainty and assurance that top companies enjoy with full time staff, to the talented, nomadic hackers of the world, while preserving hackers' needs for flexibility, getting paid what they deserve, and supporting best practices (unless you're a fan of submitting that .zip file on odesk -- nothing hurts me more).

To answer your question about retaining talent:
One of the reasons I seek ephemeral opportunities (and I suspect there are others like me) is I appreciate flexibility; working on various projects which interest or challenge me, with different teams, on a schedule which works for me. I don't anticipate 'solving' the problem of attrition directly as much as I do finding creative, safe ways of working around hackers' preferences to achieve the most beneficial outcome for all parties involved. This includes experimenting with strategies like structuring missions around teams of hackers to mitigate risk.

That said, there are several things we're doing for our hackers to be deserving of their loyalty. First and foremost, we don't charge our hackers any fees -- all of our fees are client facing. Why? I complete missions on behalf of Hackerlist, I don't want fees and I don't think it's right to hold more talented technologists to a different standard. Second, we're giving equity in Hackerlist to the top 4 performing hackers in our first batch. Finally, we have a team of mentors available for advice and guidance.

In terms of finding and vetting experts:
We have a board of mentors with specialties in different areas who are assisting in the screening process. I also bring my own expertise, being a 2-time founder, having a partial PhD in AI/NLP and having led technology (and a good deal of technical recruiting) efforts for two YC companies (Hyperink, Ark).

It's worth nothing, we're only accepting 2^4 applicants for our first official batch (so far there's 700+ applications) specifically so we can address and tackle these quality issues head-on and provide our hackers the best experience possible.

TL;DR
- no fees to hackers, they keep all their earnings
- high price points
- we handle invoicing + vetting (clients & hackers)
- we have a strong network of mentors to control quality
- we're good to our hackers and aim to build a custom experience around their needs.

best wishes + happy hacking
Famous chaos models in Minsky (open source monetary modelling tool)
They are providing an easy way to create a sandbox to code or learn to code.

A simple use case would be if you were to teach a class on coding that required a Linux environment to compile C, but the students brought their own laptops, you could

A. Struggle with all the possible laptop configurations and how to install VMs and/or the proper packages on those computers

or

B Use koding.com and have everyone do their projects on koding.com's VM so that everyone can focus on learning instead of configuring.

At the end of the project, you also get the added benefit that the tools used to validated homework and projects will be the same tools used to develop. This was a big problem when I was in school where students would develop on a rogue platform (ie. MS or OSX) and the TAs would compile and run the code on Linux and there would be build errors or run time errors for random configuration problems.

----

As for their business model, from what I can tell, they want to first create a universal platform for anyone that wants a linux sandbox to play, code, learn. Then they will charge businesses or universities that want to upgrade to have a lot of access or special VMs.
I don't follow the opining for the "handcrafted" houses of yore, presumably ones that have been around for the aforementioned 5 generations. Have you lived in such houses? They are generally pretty crappy. Nothing is a standard size (making maintenance a nightmare), any and all building materials have started to break down, and the owners have almost always completely neglect updating the house. For example, replacing their old plate-glass single-pane windows.
Being inexpensive is just part of what makes this cool, part of the simplicity. Another part is ease of building. It makes me want to participate. I really do feel like going out right now and tinkering.

This structure and the post about it is art.

Thank you for sharing.
The issue is at the end of a normal Bankruptcy proceeding, assets are sold to repay the note. Lets say you go out and buy a rental property for $500k, if you never make a payment the bank can repossess the rental property and sell it to recover their loan. Your asset is gone, you have no way of making any kind of income from it after it has been repossessed.

With student debt its different, if you went to undergrad at MIT then did an MBA at Standford - you are probably looking at north of $100k in debt. If one year after college you defaulted and it was discharged, you would still retain the 'asset' (your education). You could go out the next day and get a nice job at google and continue to earn income from your asset. The bank has no recourse to prevent you from continuing to use the asset they loaned you money for. This is one of the main reasons that you can't discharge student loan debt. No one is going to come take your degree away from you if you don't pay.
Video games highlights for August 2013
Nissan Hops on the Wearable Bandwagon With Biometric Smartwatch
All good points, lifeisstillgood. But I'll point out this thread was mainly about "guaranteed minimum income" and this is the first time you stated that you consider "welfare" to be a short term provision :-)
Credit cards also carry interest rates based on that risk. Do you think student loans would work with 25% interest?
We also have a thing called apartment buildings. Hundreds of homes stacked vertically and centrally heated is still the efficiency champion.
Show HN: RestfulGit – Open-source restful API for accessing Git data
Also true of mobile IE10
From that link:
"Students at for-profits account for nearly half of all student loan defaults but only about 12% of post- secondary students,"

In other words, not so much "half of all defaults" but
"at 4 times the rate."
This is pretty awesome - they are ahead of the curve. It's quite appealing to be able to have access to a full dev environment/VM with just Google Chrome as a prerequisite. I know Google does a lot of development with a similar sort of tool - nice that this sort of infrastructure is rolled out for smaller shops.
It seems like you just need to know who is currently speaking and mute them if you aren't actually hearing their voice.

Perhaps Uberconference (http://www.uberconference.com) solves this issue? (No personal experience with it and there may be other products that also help with this.)
Where does the electricity come from and where does his bodily effluence go?
I believe that the Credit CARD Act of 2009 changed much of that. IIRC if you are a student with no income then you need to give them a collateral the size of your credit limit.
Creating memory maps in LaTeX using {bytefield}
No.

A free app.

The data points of the app users are sold to employers.
But that was exactly my point: what IS this "higher abstraction" to which you allude? What are you actually advocating here? Typeclasses? Sequent calculus? Something else? Details matter.
The only difference here is who is paying who. "Run an online university. Oh yeah, the university is an app, not a website, and therefore super trendy." is not a "perfect opportunity for hackers". The actual software involved with such a proposal is chump-work.
I always thought it came from a Roman Army disciplinary practice.

http://en.wikipedia.org/wiki/Decimation_(Roman_army)
you're right, but local bash in the browser is technically not possible for now. (if you don't hack or bridge the chrome). It can be an emulator or a connector like the secure-shell app by Google in Chrome store. Terminal app provides a free and full terminal with Koding VM.
True. But this isn't useful unless you know which code C to do the test on (in the OP's original example C would be the code of the login program).

The only way to tell if a compiler will put a backdoor into certain programs is to read the disassembled source.
No, JP Morgan is NOT a middleman. These were cut out in 2010, and JP Morgan is lending directly now. Their loans are not subsidized nor backed by taxpayer money, and they are free to decide to stop lending, which is what appears to be happening now.
Sorry this thread got kind of ugly, jessaustin, your comment is actually very pertinent, I think :-)
Such as "the value of this conversation has been decimated by pedants"?
Not really as JSON is not valid JavaScript and requires its own parser. It's based on JavaScript, but it is not JavaScript.
Many languages claim to be "lisps" for various reasons, and there's always someone who disagrees.

Also, what exactly do you mean by "homoiconic"? People love this word because it sounds fancy and marks them as someone who geeks out on programming, but the fact is that this word is, if not ambiguous, at least prone to abuse. Let me give a specific example.

The new language Julia has a macro system and Julia's designers claim that the language is homoiconic. Is it? It has a way to quote expressions such that

a + b

is just the result of a + b whereas

:(a + b)

returns the expression tree for a + b. This can then be modified, eval'd, and otherwise sliced and diced. But what does that expression tree look like? When you print it in Julia, you get something like:

head: call
args:
[0] symbol(:+)
[1] symbol(:a)
[2] symbol(:b)
type: any

Question: does that look like a normal snippet of Julia code you could paste into your test editor and eval? No. The "real" syntax for that code is something like:

{:call, {:+, :a, :b}, Any}

(Julia-ish pseudocode, not precise)

In any event, while you CAN write a Julia program using the literal syntax for the data structures that represent Julia programs, people usually don't do that.

So what does homoiconic mean? Does it mean that you can get to the data structure representing your code and then manipulate it at will? Or does it mean that PLUS the fact that programs in your language always take exactly the form of the data structure that represents that code?

If the former, then a lot of languages (including C# with its expression trees) can claim to be partially or fully homoiconic. If the latter, then the list is much smaller.

So would a homoiconic Haskell be a lisp? I think what you'd end up with after taking things far enough wouldn't be Haskell at all. It'd be a lisp with a REALLY good type system.

After all, things like monads and morphisms and applicative functors aren't Haskell, they're mathematics.
Yes, flight sims have always been the core base of support for TrackIR.

Mind you, it seems that's partly because TrackIR's manufacturers NaturalPoint had trouble attracting support from FPS developers. From the guy who was apparently product manager for NaturalPoint http://forum.il2sturmovik.com/topic/385-oculus-rift-headtrac... :

> Thanks for the kind words. My larger point is that they have already won the battle, whereas NP and TrackIR only conquered one genre - flight-sim. OR doesn't really need the sim community, unless it completely flops with shooters. We make up less than 1% of gamers. I'm more sensitive to this stuff because I was in charge of TrackIR business development while I was at NP and I mainly left because I could not crack the shooter genre. It was really frustrating and I remember all these shooter devs and engine devs (including Gabe Newell when I showed him our mod for HL2 with head tracking)) laughing at me when I explained how cool TrackIR was and what it could do. They ALL told me it was a cheat and they would never take the time to implement special code to support a 3rd party device outside of a mouse and keyboard. Drives me nuts. What made them change their mind? The stupid screen? Weird.
Sugar intake must be decreased states the WHO. Can this be done by everyone?
Really impressive! Nice name, video, website!

However I would strongly recommend picking only one of your "features", the indoor navigation. If I were you, I'd definitely try to build a business by concentrating only on indoor navigation!

Indoor navigation is a huge new area where all the big players are looking for possible partners/acquisitions right now! Overlay-based AR, and the measuring tape demo is a joke compared what you've shown in indoor navigation!

You really have a chance of making a successful company based only on the indoor navigation feature. Forget the pricing for now, just offer it as a free beta on both iOS and Android and try to get the word out as much as you can.

Good luck!
They probably should be, but I'm not aware of any law against it. Failure to secure sensitive customer data? That should at least be a fineable offense. If a customer was provably injured by this hack, they would probably have grounds for civil suit.
Immerse Yourself in Positive Practice
> a problem that really can't be solved by technology.

But that isn't necessarily heightened by technology, either. I got along just fine with several of my remote colleagues; I actually preferred emailing, IM-ing, or chatting on the phone with them to interacting with many of my colleagues in the office.

Some of them were remote because they needed to be elsewhere in the world, yet were so valuable to the company that they continued to be employed in any fashion that could be managed.

That was part of the pleasure of interacting with them: They were both sharp and down to earth. The jokes were pithy, and the work got done.
ChromeOS has something, but I have a feeling that's the browser acting as a window manager and running the terminal from its underlying Linux OS. I do wonder what might be achievable with PNaCl...

Not saying what you've done ain't cool! Just wasn't quite what I expected from the headline :)
It's the same reason that people don't drop everything in their life to pursue their ideals: the odd of succeeding following the established path may be awful, but the alternatives' odds are even worse. Even without regard to the practicality of the choices (ie economic aspect of it) , you basically have two choices: go to grad school and have ~25-50% of getting somethings out of it (and I'm talking about knowledge/ skills, not the degree), or lock yourself in a room, hoping for the best?

If you're on the caliber of, says Srinivasa Ramanujan or Galois, then I'm fairly sure you don't have to give a shit to PhD or any educational systems. Most of us aren't that type of geniuses though, and we do need help and coaching from advisors, grad schools or otherwise.