skysight-inc/HackerNews huggingface dataset:
Your reimplementation would either be very different from the original, and hence not suffer the same bugs, or the compiler wouldn't get further than a couple of function calls before giving you a cryptic error message since it doesn't understand the control flow.

Static analysis tools are useful for finding bugs in existing code, but safe programming languages won't magically point out all of the errors in some arbitrary code written in another language. They're safe precisely because they do not allow you to write code in the way that an unsafe language would.

As an analogy, if you were looking for use-after-free errors in some C code, it wouldn't do you any good to check a Python version.
Heartbleed is Just the Beginning?
"when google hired all the engineers at this startup, but not the only non-engineer" <-- that's the headline.
A Private Equity Titan With a Narrow Focus
Volkswagen’s New Car Is Not Allowed In America Because It’s Too Efficient
Then how can they afford the electricity?
No. I think that the article clearly shows:

execution speed, safety, programmer productivity ← pick any two
ummm, well bitcoin has done that. At one point you could get a thousand bitcoins for a $1 then it was 1 bitcoin for a $1000. So a return like that is possible and it has been possible in the last 4 years.

I am not saying it is rational I am just saying you are wrong :)
After coding in languages in like Scala/Python for a while, it took me a while to parse this. Scala equivalent: `def square(a: List[Int]) = a map {i => i*i}`
Autocomplete is not for learning "tools". It's for saving typing speed.

Features like "find references", "go to implementation", "find implementations", "show parameter list" are useful for understanding and navigating large code bases. They have nothing to do with how you write "shitty software" they have to do with how you navigate and understand the code base structure.

Writing shitty software has nothing to do with autocomplete.
An entire page detailing what you want from me, coupled with a 180 minute test. Yet in all of this there are only 4 bullet point sentences describing what you're offering me. That deal is not for me.
The folks behind the Gamers films are currently producing a film version of that as satire: https://www.youtube.com/watch?v=jk2Pr9jXCr8
No, but it eliminates a large chunk of the more comment cases.
It varies by state. Anywhere from 3 to 10 years (for non-IRS collections) depending on the type of agreement.
Engineering an Affordable Self-Driving Car
that would require a $500 dollar cost of electricity per coin, however in reality the $500 is made up of the investment in the hardware and electricity. You could not just switch off the machine and have $500 to spend on coins, you would need to sell the hardware. of course in most cases selling the hardware for USD and spedning it on BTC will generate more BTC than the hardware will mine.
> You'd still be stuck evaluating potentially hundreds of correct submissions.

I'm guessing the MVP of hackerrank was the web code editor + lint/findbugs/whatever for filtering. A lot of people have spent a lot of time writing open source projects that convert code to metrics, so making a reasonably prioritized list is probably fairly easy.

> There are lot of really smart developers out there with advanced degrees who could solve programming quizzes all day long but couldn't design and implement a useful dashboard application.

Agree!

I think this is a great critique of HackerRank as a business idea -- while they are new, it's just a hurdle that weeds the busier coders out of your hiring pool... if they become established there will be books on cramming for it, and will no longer separate the wheat from the chaff.

(ie https://web.archive.org/web/20130114163457/https://raganwald... meets http://en.wikipedia.org/wiki/Goodhart's_law)
def square(vector)
vector.collect { |i| i**2 }
end
What if someone gets hold of one of your passwords and then sees that pattern and tries it out on all the other websites?
With just a little bit of brain power and abstraction C can be made "safe" (assuming you don't cock up the API).
So Rust has unsafe code blocks that you use when you can't use the type system to enforce that a piece of code is safe. I wonder if would be viable to write those things in ATS with all the proofs to guarantee that the code is safe, compile to C and then call that trusted C code through the FFI?

It might not work in all cases, since I have the impression that unsafe Rust code is even more expressive when it comes to low level code (I guess this also means more unsafe) than C.
Now that made me laugh. Perhaps the intense occult D&D training can cause people to walk the dark path.
I think the point of TFA is that we can write this code and it will run as efficiently as C in a language which is safer than C.
It's good to remember this story too, because it shows that he was also a ruthless businessman, no matter how much effort he put into convincing everyone that this part was not "the real him".

And it's not a bad thing, it's part of the "whole truth" about someone and about how you need to be in order to succeed. And the fact that you need to be like that is not something that one should "sweep under the rug" or present as a "minor part of an otherwise great personality", because it does show you something: that at some level something is very wrong with the system and as much as we like to believe otherwise, fairness and success are a bit like having the cake and eating it too ...something that rarely happens.
Why to choose GNU linux?
It does if you're familiar with the common high-order functions used in functional programming.
Rich people are cheap.

Why acquihire someone who knows how much they can ask if you can pay close to nothing to that test website (it's a genetic service) and get a clueless buy competent nerd that will be glad to work alone on a project for peanuts?

That's why we're poor and they have "unlimited capital"
The buzz for thorium reactors is made by people who want to sell thorium reactors.
Okay, I definitely agree regarding crufty specs. The decision to include heartbeats could easily have left left it as a variant feature rather than core spec.

I still don't agree with the OpenSSL implementation being reference spec if you were refering to that as pygy_ pointed out. Unless the IETF released that code as an institution, I would consider it the same as any other 3rd party implementation - ie. not necessarily correct. How am I to know that the RFCs author wrote it unless I go digging? Why should I trust anything they wrote which may or may not have gone through any rigorous checking?

This isn't so much directed at you, tptacek (since your pedigree is well known), as it is the others bashing the IETF for implementation flaws - bash them for what they actually did and perhaps instead of getting angsty at the powers that be, try getting involved in projects like this if you believe they are so important.
Storj – Decentralized Storage
In that case you are doomed. You'll have to change all passwords to all sites after one has been compromised.
Not to sound offensive , but you're not A16z.
1.<< A16Z is rich enough to buy people>> No one is rich enough to buy people , unless well if you're talking about criminals.
2.Most good engineers will tell you , that money is NOT the primary motivator for them to build great products.( So aqui-hiring won't work)
3. As for Hackerrank--> that's what they're supposed to do - find people with good technical skills.
So irrational.

His investment was 80$ So the max possible downside is 80$ The max possible upside is much higher.

Treat it like an option for high winnings.

What would hurt more - losing 40$ now, or "losing" 10000$ in the future (when you realize you should have kept the Bitcoin)?
I'm saving it for the weekend. Will read about all the virtualization techniques for those spoj like sites and then have a go in 3hours trying to break that one :-)
Cool, it will also be probably 30x slower.
Fair point, but I generally seem to hear a lot of negative stuff about Steves personality. Sure give someone a second chance, but by the time they are on their tenth chance you have to start thinking differently.
US only I assume?
The whole VC industry is based around the idea that there are 10000% return on investment deals to be made..
Just because you can't design the perfect car, it doesn't mean that you should not improve the breaks.
On famo.us, semantic html and the future for web apps
For the amount of people that profess to Christianity, its amazing how many ignore the core tenets. I'm sure Bush was praising the Lord as he set the war machine in motion, or Bernanke saying a humble prayer as he pillaged the wealth of the middle class. Ah, the land of Christian principles. Thank God I'm not there.
> everyone start assuming bitcoin is like some virtual dollar tokens that have no meaning if there are no actual dollars involved.

For most people that's true. I certainly can't pay my rent in BTC, so they'd have to be converted into actual currency to be of any value to me.
If they don't have proof of the debt. Then what is triggering them to collect? How do you collect money that you don't even know is owed to you.
I always found it odd how Apple didn't follow windows user interface guidelines on Windows, forcing the Appleness on Windows. Weirdly, they don't follow their guidelines on Mac OS either, unless the crazy window design of iTunes is meant to be normal?
James Hoffmann: Weigh it out
My problem is I like taking these tests to find out what I don't know (quite a lot usually). To be fair though code reviews usually tell me more than tests these days.

The constraint that gets me is the honor code - I cannot use an IDE with code completion?! but that leaves nano or notepad ...
Project Management for Development Teams
Am I the only one who can't actually read the article? All I get is a "sign-up" floater :(
Does "ruthless businessman" ===== "liar"?

So to be a great businessman, I just have to lie to people that help me, right?

I suppose it would revolve around what people think "success" is - if it means lying to others and abandonment of morals for personal gain, then that's a very sad definition of "success".
aside from the fact that tests generally don't work i find this hilarious.

"the most important requirement is significant independent programming experience as demonstrated by your GitHub account"

a great way to find newbie hipsters and not experienced and seasoned devs. or at least limiting yourself to one community
Certainly. But abstract it enough and the abstractions and syntax extensions required become another language. Abstract it to the point where you don't have any pointer arithmetic, a good type checker and so on, and the C code has turned into something else. Just adding wrappers around buffers to prevent overflows etc. doesn't come near the type of safety you can get in languages where you can prove formally what is going to happen when the program executes.

Before you have the kind of security you can reason about like http://www.mitls.org (rather than just abstractions for buffers etc.) it can't look like C any more.
You're right, we need to fix the sdk's as well to tackle dll hell.
I always love to read Don's stories, they're always pretty great, and this post is no exception. The last few paragraphs are poignant, and not because it's about Steve, but because the emotion is real and you can relate to it.

Anyway, if you enjoyed this, you should read the history of Safari posts he did a while back, also a podcast he was a guest on one time, though I forget who it was with -- ah, Debug I think -- that was really excellent and well worth listening to.
JS Music Studio
That's right, and what seems to be confusing people is that the language underlying Mathematica-the-product was always, implicitly, "Mathematica".

We were a one-product company, and it didn't make sense to distinguish Mathematica-the-product and the language it ran.

The last time we'd tried to branch the underlying language off into its own thing was in the early nineties, where a certain intern by the name of Brin was in the middle of refactoring the code before he went off to do other things :).

My prediction is that the confusion will pass soon once we have these concrete products actually out in the world.

A new generation of people will be using and seeing the language for the first time. And they'll be doing stuff that old-school Mathematica-the-product (and most of its user base) would find quite alien.

Things like trying code out in online sandboxes, coding things in the cloud IDE (or locally, via Eclipse or "Wolfram Desktop"), deploying public APIs for other people to use, building websites totally within the language, doing internet-of-things type stuff, embedding chunks of WL code in Java or Python or whatever, writing natural language parsers on top of Alpha's technology, creating data science workflows, making private clouds, designing interactive visualizations, tweeting code at our executor-bot... and on and on...
To be honest I think it's the other way round - if you can do programming tests all day long you will succeed at most coding jobs. However there are a lot of developers who can't tackle an interview that with a nights sleep and no pressure can easily code a intuitive and effective architecture.

Sorry - programming tests raise far more false negatives than false positives (and this from a person who considers himself a false negative in most tests)
Convenience overloads for common use cases (iterating over the full vector, accumulating on a default-constructed accumulator, etc) would be great to have as standard. Are there and I have missed them? If not, what's the rationale? (this goes for the STL in general, not specifically these high order algos)
OpenSSL Project received $841.70 in donations last week
They have one full-time OpenSSL developer.

Given that up to "two thirds" of web servers on the internet use OpenSSL, this is, in my personal opinion, if not despicable, then at least decidedly hypocritical, given the number of people openly deriding openssl code (which is not great at all; but maybe people and companies using openssl should start giving cold hard cash to the openssl foundation, right now.)

http://online.wsj.com/news/articles/SB10001424052702303873604579491350251315132?mg=reno64-wsj; also see http://www.forbes.com/sites/kashmirhill/2014/04/10/whats-really-scary-about-heartbleed/

Donations page: https://www.openssl.org/support/donations.html
are you saying you go straight to a in-person coding exercise as the next step? seems odd, there is no phone interview between then?
Notice one performance of “Ceremonies” or “Distant Lands” streaming radio show like Hearts of Space that brings in 26 cents for the full writer’s share compared to 2,088 performances of “Gypsy Rain” on Spotify that brought in a total of 60 cents.

Presumably that HoS performance covers an entire audience hearing that song, whereas the Spotify performances are per-person. Wonder if the HoS fee also includes playing back old streams from the site?

At any rate, doesn't seem like enough money to live on. But I wonder if a Spotify is even possible if 14,000 performances could make a reasonable paycheck for a quarter. That'd be, what, around a buck a play per person? Why not just buy the CD at that point?
...which is 50% off at the moment https://agilebits.com/store
Thank you for sharing.
One thing I would question though: why do you count your living expenses as a loss, since you would have still spent that money if you had your job. In fact, I would say that you are most likely saving on living expense, since you must be trying to spend less since you are earning less.

Good luck with your startup!
And repeated by those who don't want this civilization to end when we either run out of fuel or break the ecosystem.
This is why PhoneGap is relevant. One codebase, many platforms.
If they had used Safari on Windows, I am sure they would have stayed away from the Mac version because I recall the Windows one being crashy and buggy.

Ah, those days of young browsers when Firefox was called Firebird and Chrome version numbers went up by dot increments, not integer jumps. It isn't that long ago either!
I don't the author makes any claim to have invented ATS. But why not show why an alternative technology would have avoided this issue?
Replace all structs with unions and hope nobody ever uses the other parts of the data structure!
1. I think a lot of people believe Rust will just type-check any old program and tell you when it has faults. So you can start with a bit of Ruby/C/Python, translate it to Rust and presto, all your bugs are exposed for the world to see.

In practice Rust's type checker accepts only a _very_ small subset of correct programs. I've been in a position to write some decent sized Rust code recently and it takes a shift in your mindset to start writing decent Rust code.

Even now there are patterns I'm unsure how to model in Rust. Arena allocation is a good example because it was partly the cause of Heartbleed too. Arena allocation in rust seems to require unsafe pointers and unsafe code blocks. You can look at Rust's standard library and see this.

2. The point being that the Rust language exposes unsafe code blocks and pointers. At some point you're going to hit those blocks (if nothing else in 3rd party code) and you're back to square one: You need to trust unsafe code that it is correct. It doesn't matter if that code is a VM or unsafe code.

*edited for some legibility.
For some people, this could be the most dangerous thing they ever download
You have to ask yourself this question: If I saw a webpage like this, but with the opposite trend (or no trend), would I consider this to be strong evidence against global warming, or would I dismiss it as cherry picked data, a statistical artifact, etc.?
Documentation is sparse in details. Is this built on top of kprobes[1]? If so a comparison with perf, systemtap, et al is probably more appropriate. Do you support utrace/uprobes or similar for userland work?

Is data selection/manipulation/summarization available on the kernal side? At high rates extracting enough/iptimal data has caught me with other linux probe based tools.

I like the ring buffer and scap concept. Very nice compared to the full dump or summarized stats other tools focus on.

[1] https://www.kernel.org/doc/Documentation/kprobes.txt
That's fucking hilarious!
Here is a blog post on this very issue:

http://herbsutter.com/2011/10/07/why-no-container-based-algo...
I'll just get my Siemens S65 out of the drawer and do that for you. (Yes, that is a phone from 10 years ago . . .)

Seems continued reinvention of the wheel is popular! In fairness, it seems a great effort but I am not sure millions of OSes is a great idea, particularly not for developer effort.
Do you have any plans to proxy the sound as well? (because i couldn't hear anything on the Klingelring demo)
What will a child look like in 20 years?
There's a really interesting Ted Talk by Taylor Wilson (perhaps the world's youngest nuclear scientist, and definitely a child prodigy) on thorium reactors as a safer alternative to uranium and plutonium reactors[1].

Apparently there's also this talk[2] by Kirk Sorensen, but I haven't seen that one yet.

[1]: http://www.ted.com/talks/taylor_wilson_my_radical_plan_for_s...

[2]: http://www.ted.com/talks/kirk_sorensen_thorium_an_alternativ...
Case in point. The greatest item ever!

http://en.wikipedia.org/wiki/Throne_of_the_Gods

Is it so bad that my cleric is lawful evil and gets his powers from Asmodeus? Does that make me a devil worshipper? Come on Mom, it's Asmodeus, not Satan.

Edit: Actually, I don't know if a cleric could get powers from a devil rather than a god. Dungeon Master's Guide check please? Ah, well. It's an RPG. We could do whatever we wanted as long as the DM approved.
I see this as the main takeaway from the article instead:

> One or two 233U bombs were tested in the Nevada desert during the 1950s and, perhaps ominously, another was detonated by India in the late 1990s. [...] intense gamma radiation 233U produces fries the triggering circuitry

...this only shows that military use is possible! For someone less concerned about safety and more concerned about having a nuclear weapon at all costs, it might be even easier. That triggering circuitry is definitely a solvable problem... brrrrrr
The first rave party ? :-)
I don't see the big issue with storing IPs as long as the only way to getting the data is through a court order. My problem is that I don't trust most ISPs not to hand over the data to the police if they simply show up and ask for it "in the interest of the children/national security/etc". Also, the data should be stored for a relatively short amount of time (the EU data retention directive called for a period between six months and twenty-four months, that's way too long).

Of course, when you hear about how the French DGSE was getting raw data from Orange anyway, it's clear that it's not the police overstepping you should feel the most worried about, it's these agencies whose entire purpose involves breaking the law.
Thats how almost every modern tracing facility works. Headaches are generally simplified by no malloc, no backtracking, no preemption and a limited DSL with strict compilation.
I feel you man. OpenSSL is like a guardian angel who's invisible to a person. The guardian angel has been helping the person all the time even though he/she doesn't know it. Then the time came that the guardian angel made a little unintentional mistake that led to large consequences. The person then starts blaming the guardian angel, forgetting all the good things the angel has done for him/her.
I've recently started working in C++ (I've had some prior knowledge, but mostly basics) and whenever I try to Google stuff up, a few of the results are Don't use C++ because of X

I read a few of them out of curiosity, and realised that they are mostly religious reasons to hate C++, hardly any of them are proper, factual, or empirical reasons. So, my hypothesis is the following: They were unable to learn C++, and because of immaturity, decided it was stupid[0][1].

[0]: I'm no saint to this. I said on numerous occasions Erlang is shit because I couldn't wrap my head around the syntax.

[1]: I believe it's a phenomenon associated with Psychological Projection, but I might've confused it with something else.
Yeah, with lack of communication, stress and chaos is inevitable, it's just a matter of time. At my next gig, I'll give my best to keep an high level of communication between my teammates.
Well it was worth a shot anyway (you made some comment in that area before that I thought was good). I need to go back over that Cook paper myself. Thanks for reminding me.
Bernanke was raised Jewish, but he hasn't spoken publicly about his beliefs, so it's not clear what religion if any he follows.

Do you also feel the same way about Jews?
Simple is beautiful. Well said! I'm sick of the recent trend in website design where it takes up the whole width, has huge images everywhere with maybe 1 line of useful text visible. And you have to scroll down all the way to get any decent amount of information. Looks pretty, but functionally it drives me crazy. Then again, it's ultra popular, so I guess I'm mostly alone. By the way, I like the site design. :)
Y not map.
collect and map are the same thing, just different names. IIRC, collect was the name used in Smalltalk for map operations.
HTML to Markdown JS library, for Node.js and the browser
Couldn't one simply leave a DOM renderer or converter in web browsers?
That has to be one of the most interesting monetization ideas I've seen in quite some time. Pretty genius (I'm assuming the money if you go off track goes to them) :D