skysight-inc/HackerNews huggingface dataset:
This code here isn't representative of any Haskell end-users would write, it has a whole other syntax (LiquidHaksell) layered on top of it that augments the type system and it imports the internals of GHC.* libraries to work with the base machine types. The strength of GHC's implementation is that a lot of the compiler internals are directly accessible in the frontend source language with certain language extensions enabled (GHC.Exts, GHC.Prim, ``-XMagicHash``).

That said the code here is more about the implementation of the vector library internals at a very low level that deals with machine types. If you're a Python user this is effectively equivalent to reading the NumPy internals which I can tell you first hand are an ungodly mess of preprocessor macros and code generation gone horribly wrong and far worse than this.
Yes, PL/SQL occurred me too. It has its flaws, but I greatly prefer it to T-SQL.
Funny how Norvig completely tosses PEP-8 out of the window, but in a more "functional" style

They're very nice articles nonetheless
Hyhyhy.py – Presentation nano-framework. [GitHub]
It's very simple project in python to create a static presentation. I hope someone does it profit or want to contribute to the project.
I'll comment based on the context of the question submitted. The student is a sophomore. If the student were about to graduate, if newly out of college the answer would require some thinking.

If they are a sophomore I would say, startup hands down. As a sophomore I would assume they don't have any experience, or any risk, or any real need for money. It easier to do a startup at that point in life. They will find if they love it or hate it. It's better to test the waters then, instead of after college when they have real risks, a real need for money (house, spouse, kids, etc)

Me personally, I founded my first startup my junior year of college, which lead to co-founding a second startup while in grad school. Both startups had little to no profit. There were weeks where I easily put in 40-60 hours+ a week in along with a full time engineering course load. And yes, I still maintained a social life and remained active in campus organizations.

Post-graduation, I'm on my 3rd 'corporate' job. My current job and previous employment were with publicly listed, multinational companies who decided to start innovation centers/incubators...not only build their next generation of products, but in-source everything back to the US.

I also think it's a fallacy to generalize the work, and people in startup vs corporate life. My first employer, I ran circles around most of the developers, and had to be there 8 hours a day...I rarely worked more than 8. My 2nd job, I was the least senior of all the hires and everyone ran circles around me. My current one, I'm in the middle of the pack as far as experience, and hours are reasonable.

tl;dr While in college do a startup.
Yeah, Real Programmers don't need safety.

http://en.wikipedia.org/wiki/Real_Programmer
Quantum Phenomenon Detected in D-Wave Computer
People using stack overflow either want answers to their questions, to help others, or to showcase their expertise. "Exchanging information" is barely a mechanism for that, but never an aim itself.

Funnily enough, stack overflow is heavily gamified: part of the incentive for answering questions is to increase your score and earn medals.
At times more is less and less is more. 2 minutes to see why
If your fee is $250 per interview or $15K per hire, does that mean you expect employers to need 60 interviews with MightySpring leads to find a good candidate? Or is there a reason for discounting the interview fees comparatively?
I would mention here Richard Gabriel's essay "The End of History and the Last Programming Language", which you can find at http://www.dreamsongs.com/Files/PatternsOfSoftware.pdf

His argment that "Languages are accepted and evolve by a social process, not a technical or technological one." seems to apply here, also (in the context of the time) "Successful languages must have modest or minimal computer resource
requirements."
> People claim that startups work you hard, I personally don’t see it. From people I’ve talked to, I’d say 50 hour weeks are average. That’s about what you see in corporate America these days.

I think only in America would somebody say 50 hour weeks don't count as working you hard. Also, the average US working week is 35 hours, 37 in "information" industries:

http://www.bls.gov/news.release/empsit.t18.htm

The fact is that past 35 hours most people just aren't very productive, and a startup asking you to work 50 hours is going to get just as much "busy-looking" time as a corporate job asking you to do the same. Don't work at any job that expects you to work 50-60 hour weeks. Those companies are unhappy places.
I never knew we were obsessive about them, thanks. Only ever owned the one staedtler (mars). We call them clutch pencils in oz. And my Dad used it for maybe twenty years before me.

For anyone else who wants to know, the big difference between the 2mm clutch and the smaller leads is the clutch maintains the direction of the lead so you can sharpen it much finer - below 0.1mm. At the same time you can use the side of the pencil for a much thicker line.
Doenças causadas por vírus-saiba identificar e prevenir.
Framework7 – Full Featured HTML Framework For Building iOS 7 Apps
Create PhoneGap iOS apps with native look and feel
Monsanto Data Hacked at Precision Planting
Why do you actually care about "what you are achieving"? It seems like programming is your passion, which is an incredible luck in itself (most people don't have a passion, and many wish they had) - you should cherish it imo. Also, with time, you can become super-badass dev that will get recognized in the community, and maybe even start something of your own (like an opensource project that is widely used).
A tip for aspiring professional pencil sharpeners - On step 7, after correcting the collar, make sure to clean the tip with strokes TOWARDS the tip of the pencil. Your client will not be happy with the product if graphite residue has stained the wood. Don't learn the hard way like I did!!
Home Depot has been selling those lamps for $4.97ea for quite a few months now. They're a very nice replacement for the traditional A19 60W incandescents.

My only complaint, and it's a tiny one, is that they only dim to about 10% before cutting off entirely. There's also a small dark spot on the spot of the bulb opposite the socket, but in practice that's been a non-issue for all my use cases.
Oh come on. How hard is it to log how much memory is malloc'd.

(edit: I don't mean to be offensive here, I just don't see why people find such simple concepts hard. A simple wrapper over malloc would do :P)
Framework7 allows to create PhoneGap apps or web apps with iOS native look and feel
Easter egg on getpocket.com
At one point I hid tchotchkes in my office--coffee mugs, an umbrella--from at least three defunct Sun resellers. And that was before Sun itself went under.
The problem is programmers are humans and humans make errors (lot's of them.) Any model that relies on humans being perfect is fundamentally flawed. It's why all software has bugs. And sometimes those bugs endanger the whole internet or crash your car. The higher quality your team is, the higher quality their tools and automated tests the fewer bugs you will have. The more complex your code the harder for humans to understand and the more bugs you will have. It's a tradeoff, and I'm personally not certain on which sidebof the tradeoff this code is. Since most of the nastiness is on the library side, probably it's a good thing.
Talk summary: The Last Thing D Needs by S. Mayers
I believe the AAA game developers that say things like "I’ve spend years porting games from DX to GL on the Mac including multiple Call of Duty franchisees, Civilization franchisees, and more. You are always taking it on the chin with GL where DX works." https://medium.com/@michael_marks/opengl-for-real-world-game...

Valve was testing a game that was already years old when the tests were run, based on an engine that was written for DX9, and presumably only the happy case in terms of hardware and driver support (meaning an NVIDIA card and proprietary driver). If you're developing a AAA game for release next Christmas, you're going to want it to look better than the state-of-the-art from five or even three years ago. If you attempt that with OpenGL, you are going to run into holes in driver support for various GPU features, not to mention discrepancies in which rev of OpenGL is actually supported by the platform, which you will then have to work around with various vendor-specific extensions, which means more code paths and more things to debug. And then once all those holes have been painstakingly plugged, you can get to work on the performance hiccups...

Or you could use Direct3D, where everything Just Works on the same code path.

You can bet your ass that when HL3 is released as foreordained by the prophecies, it will be a Direct3D-only title at first. And remain so for at least a year.
Michael Bloomberg: Universities Becoming Bastions of Intolerance
>Sorry? The ability to add looping constructs and other control structures, like with or defstruct/defmethod etc. to CL isn't fundamental for CL as a language? What is fundamental, then?*

Who said anything about CL in specific? The article is about "how to write a Lisp in Python".

Second, no "reader macros" are not "fundamental", even for CL. Well, except if you mean the built-in ones, like #. But surely, adding custom reader macros is neither necessary nor fundamental for CL (nor are non-lispy DSLs). And they sure aren't for a simple Lisp (as in TFA).

From TFA:

"the beauty of the language is that we only need six special forms"

P.S Anybody who downvotes = disagress, does he also have any counter-argument?
I think you're right, you could even write a monad/language extension in which it's only possible to perform constant time operations effectively ruling out a class of vulnerabilities.
Definitely not a post mortem as smoyer mentioned. Huge opportunity with the World Cup, I hope you take advantage of it. Looking forward to seeing some fast, unique insight from Champion that I could not get from my favorite sports outlets.
Show HN: FiveStar.io – The best Amazon products, by budget
Humans are humorously bad at reasoning about large software systems written by a large number of people. Even if all the code you personally write is locally safe, it's very very difficult to guarantee that the interaction of it with all other components written by other people is itself safe.

That's why formal methods ( type systems, model checkers, ... ) are extremely important, the only to reason about programs in the large is to prove properties of the system that are machine-checkable and remove the need for manual proofs that admit error.
If you haven't seen it, the MacGillivray Freeman IMAX film "Everest" was shot contemporaneously with the tragedy and is excellent as such made-to-be-shown-in-Science-Centers documentaries go.
Spare us the hyperbole and the misrepresentation, please.

userbinator makes a very valid and legitimate point: regardless of what safety features a programming language may or may not offer, it's still critical for the programmer to understand exactly what's actually happening.

You can't have true safety through tools alone. Operator knowledge is just as critical as whatever safety features the tool may offer.
how is this disruptive or innovative? what does centrallo do that google or apple doesn't?
Buying game keys on the Internet is a great example of a stupid business method
The author of this article is http://en.wikipedia.org/wiki/Bob_Kohn

"Bob Kohn is the founder, Chairman and CEO of RoyaltyShare, Inc., an outsourced royalty processing solution for the music, book publishing, brand licensing, and motion picture industries."

From his own site http://www.bobkohn.com/ :

"Bob is the co-inventor on a patent covering a web-based royalty system and user interface."

It comes as no surprise that he wants the publishers to band together and "pull all their books from Amazon and throw their weight behind a law-abiding alternative."

I'm not saying he's wrong but it's disingenuous not to mention that in the blurb at the end of the article. Instead he's described as a lawyer and author.
What always bothered me about companies that ask you to work long hours (long term) isn't even the hours, it's more that it's a canary in the coal mine: it makes it obvious management doesn't know what they're doing. (Or alternatively: that appearance of work is more important to them than actual work. Maybe they're angling for a promotion and trying to impress their boss)

I worked at a company for a while where the solution to any deadline was either to work longer hours or to throw more people at it. (They called it "swarming"). I'm pretty sure not a single executive there had read the mythical man month, or they would have realized how insane that was. You can't just brute force problems that require creativity.
I'm just finishing my MSc and I feel so lost and hopeless. I just started to evaluate my options to enter the job market. I'm not sure what is corporate life like for a software engineer in the US but in my country I'm finding out that it has more to do with requirement analysis, evaluating the best COTS (things like Microsoft NAV, SAP, TIBCO seem to be common) for the client and then configuring and deploying it.

Maybe with some ABAP in the way and in some cases some J2EE/WSDL/SOAP or C#/.NET webservices to interact with it. It looks like it's almost impossible to escape this kind of work here, the main employers are outsourcing/consulting companies like Accenture, etc.

I fear that if I go this way I will never be able to escape because I will be gaining experience in this areas and my career will be stuck in this world.

I won't be touching anything like Python, Ruby, Scala, RabbitMQ, Redis or any other technology that might be used by companies were someday I would like to work for, and do real development/engineering.

I'm sorry for my ramblings, I just feel so lost and depressed and would like to get it off of my chest before I explode, and maybe find some advice and guidance from you guys.
> is it really that hard to know how large some block of memory is, and not access beyond it

Considering that developers have been making this error pretty much every single day for the past 40 years, I'm gonna go with 'yes'.
8 Smart Product Launch Tips
Mind you, I think its sketch to do take something community developed and make it proprietary (the old GPL versus BSD debate). But I thought the point of the article was that they didn't do that? I'm kind of taking the article at face value--I haven't been following what's been going on with Makerbot.
I'm pretty sure a lot of Sun were boneheaded.
I had an IPX at work in the early 90s and the 486/66 I bought for home ran rings around it.

Their off again on again attitude to Solaris on x86 and their closing down of their free C compiler ceded the market to Linux.

Oh and about Java. When they brought in their Coolthreads machines Java ran abysmally without special settings. You would think the Java guys would talk to the Coolthreads guys to get nice settings out of the box. Sun were like three companies in one who didn't talk to each other.

It's not just the hardware made Java perform like crap.
Java made Solaris perform like crap too.

http://www.brendangregg.com/DTrace/smc.html

Java reading a single file 12million times increased the boot time from 10 minutes to 30 minutes!
Deploying Rust applications to Heroku, with example code for Rustful
I don't think that C has any safety features; there are tools to help you find where you are being unsafe (e.g. static and dynamic analysis) and tools to mitigate the effects of the unsafe code (e.g. memory randomization, canaries, etc.).
Java SE 8 for Tablets, Pis, and Legos
Nice! ... or how about "Novam vitam"?
And that's different from startups how?
What are some good resources for Rust? I've been coding Erlang professionally for one and a half years now (spearheading a lot of our development), and will be continuing to work primarily in it for some time to come, and Rust is on my list of languages to look at. I don't suppose there's any equivalent to Erlang's Learn You Some Erlang For Great Good (I'd assume not given the language's still being in flux)?
I spent 3 years at one of the name-brand Wall Street firms before starting my own company. This essay rang true to me. It's now 5 years into my "startup" (Aside: can I still call it that? We have 25 employees and millions in revenue.)

I have no regrets. My goal is for our employees to have the kind of environment we always wished the large companies we used to work for would have. In fact, many of my early employees were "corporate rescues", bright engineers that had been languishing in comfortable corners of large bureaucratic BigCo's that we convinced to join us, mainly on the promise of actually being able to use Python as part of their day job and work on meaningful/interesting problems.

At our "startup", we use the best tool for the job; we only work with bright people; we focus on results; we never stagnate; and, we deliver on an important mission. Also, our engineers get to open source a lot of work that isn't core to the business (see e.g. http://parse.ly/code).

The only BigCo's that I've seen that have tried to maintain that engineering-friendly environment are e.g. Google and Facebook, but for those companies, size still becomes a limiting factor on impact. As the essay put it, "Proportionally, you will have a bigger impact on the company's future than you will working for a corporation."

Product development also has a different feel when you're trying to create one of the world's next great software companies, rather than when you just happen to work at one that already holds that title.
Yes this is seriously cool effect. Showed it to my five year old and she got dizzy :)
For those who like the idea:
http://www.amazon.co.uk/gp/aw/d/193435645X?pc_redir=14008622...
To me it went from perplexing, to hilarious to just gross.
Google Déjà Vu All Over Again
The biggest reason to make instructional examples out of the “goto fail” and Heartbleed bugs, aside from their high visibility, is because detecting and preventing bugs like these is a solved problem.
AK HN: Did you receive a response from Stripe's OS Retreat?
I applied for Stripe's OS retreat 2 weeks ago, and haven't heard back since, not even a "thanks for your application"-kind email. Did anyone applied for the program and actually received an answer from stripe?
> It's as if I'm just a faceless expendable resource,

That's exactly what you (we) are. You're mostly a pluggable software engineering module. You're relatively rare, which is why you're paid more than most people, but within the group of all of us we are mostly fungible; when you quit, you'll be replaced, and the business will go on.

When you quit, you'll be replaced.

It sounds like you like what you do. Lucky you. Really.

Save and invest relentlessly, so that you can get to the point where you can work on what you want, whether you're paid well, poorly or at all. Make your financial security your primary work goal.

To keep yourself interested, find jobs where you really like the people. Although you'll be replaced when you leave, you might as well enjoy the company while you're there.

To keep yourself interested, change things up every few years, working in new languages, or new industries (we're really lucky here), new states, new countries, etc. Find ways to change things that fit your circumstances.

Unless God reaches down and touches your heart, you are not going to change the world, or "change the way we do X." So just enjoy your job (it's a really, really good job), focus on making yourself secure, and enjoy life.

And go outside a lot.
I think you need more information about what it is.
This is awesome, both features that I wish would be available in all video players. The questions that naturally arise:

1) How does one expose all these features without UI overload? You need a widget for the playback speed, and a widget to turn auto-pause off (in case I want to play a song in a background tab). More thought on this is needed.

2) Can we retroactively add these features to HTML media everywhere through a browser extension? This might address problem 1 by letting you choose an extension that only exposes the features you personally are most interested in.

(Note: The auto-pause seems to work if switch to another tab or minimize the Chrome window, but not if you switch to another window (Chrome or not) by clicking the taskbar button. But hey, still better than nothing. And combined with the speaker icon shown on sound-emitting tabs, this could go a long way towards preventing that annoying situation of not knowing which tab has begun auto-playing in the background)
OffPage SEO SEO Video Marketing YouTube
LadyBits’ First and Last Year on Medium
> is it really that hard to know how large some block of memory is, and not access beyond it?

For one given block, maybe not. The problem is that in a language like C, the fallible human must get every single one correct, otherwise it's a bug waiting to promote to a security flaw. Not only must you get array indexing right, but also pointer dereferencing right, avoid dangling pointers, be mindful of the interaction of aliasing and mutation, etc. This is a lot for a person to never mess up. This is also the reason why projects like Rust exist: they start with the premise that humans will fail and provide tools that prevent the common mistakes.

> In my opinion, if you are writing code that is performing array indexing, and are even the slightest bit uncertain about the size of the array, then you should not keep going, but stop and think a bit more about what it's doing. Language safety is not a replacement for true understanding.

What if you are very sure that your code is correct, but five months later someone modifies code elsewhere in the program that aliases to this array and reallocs() it?
How to separate view controllers from their view logic
Two questions:
1) If you ever considered getting a mentor(or being a mentor), and you did find a mentor(or a mentee), how did you do it? HN? other web forum? Work? Friends?
2) If you ever considered getting a mentor(or being a mentor), but you didn't find mentor(or a mentee), what stopped you?
This is more of an analysis than a postmortem. Great writeup, though.
Scary gaming experience – temporarily gamble your FB profile
Play games against your friends and the winner can make one temporary change to the loser's Facebook profile! There is alot more to the app, watch the video: https://www.youtube.com/watch?v=T2Kz9YSmqyQ
Try it out if you dare at www.dateorslate.com

This was built a year or so back, but I have not had the chance to push it and market it. If anyone wants to help me market in return for a share in the profits please feel free to inbox me riaz@socialdom.com
On a related note, the other huge resolution photo tour of everest seems to have a bunch of clickable links, which take you to more detailed up close photo tours.. this is truly cool as a companion:
http://www.npr.org/2012/12/20/167621313/a-billion-pixel-tour...
What benefits would you see Modula-3 offering over the numerous other languages available today?

There wasn't anything particularly special about it when I last used it in the 1990s. It wasn't a bad language, but there wasn't anything particularly compelling about it or its implementations, either. There was nothing that really made it more useful than C++, or even Delphi and Java.
An error occurred in the application and your page could not be served. Please try again in a few moments.
When does a startup stop being a startup? When they reach a certain age, or reach a certain revenue, or when they go public/get acquired?

I know there is probably a more technical definition, but when do they cross that line in real terms as it relates to the risks and pains of working at a startup, like this article mentions?