skysight-inc/HackerNews huggingface dataset:
Unfortunately, there's so much bigotry in the world that it's difficult to separate different types of criticism of large areas of the world, but it's entirely possible to be positive about Middle Eastern cultures and strongly against the power structures there. For example, they have great food and literature, but you can be whipped to death for publicly criticizing unelected rulers in places like Qatar. It's not necessarily culturally insensitive to say that's backwards policy.
Cryptol does something pretty similar. You implement your functions in Cryptol and then verify them with SAT/SMT solvers, or generative testing. Its less about verifying the C/C++ implementations and more about verifying properties of the algorithms themselves. (Example: https://github.com/GaloisInc/cryptol/blob/master/examples/ZU...)
What about the language? I get it that it's not a problem at all at work, but did you have to learn some German for a normal, day to day living? How long did it take you to learn enough to feel comfortable there?
You can't prove the hash function is correct, no.
But you can prove the hash function is implemented equivalently to its definition.
That's what the article is about.
Mumsnet's co-founder suffers 'swatting attack'
A properly competitive process wouldn’t start the review until the deadline, and would randomize the order of submission.
Hierochloe odorata
C's beauty can be deceptive - it has its fair share of corner cases, and with compilers trying to exploit undefined behavior for more aggressive optimizations, these have become easier to run into.

And having run into my fair share of memory-related problems in C, there are languages I much prefer for everyday programming (Go, Python). Ironically, the kind of issues a garbage collector addresses have never been much of a problem for me. But there have been times where I would have killed for a compiler switch to enable array bounds checks; this might reflect poorly on my programming skills, but this is by far the nastiest type of problem I have run into using C.

But C makes it still much, much easier to form a reasonably accurate model of how your code will be executed on the computer at runtime than C++. Compared to the alternatives (C++, Ada, Rust come to mind), C is still a gem of simplicity, and it continues to be popular for a good reason.
I suspect they only make the trainee nurses and doctors do that. Once you get higher up the pecking order, you don't have to do it anymore (many in my family are nurses/doctors).

Less so with tech.
ReadMe.io (W15) is hiring Node devs to build magical developer experiences
> Maybe suffering from mental illness isn't ALL bad. Maybe it has some valuable upsides

Perhaps. I would trade my intelligence and creativity for a happy life and popularity in a heartbeat. Without question.
It gets debugged in a flash though.
An interesting question on the "what if there was a war and no-one came?" is what would happen if Amazon could no longer hire the monstrous number of high calibre new entrants it needs every year.

It's the wrong question to ask, I think. Those joining Amazon or any other top company do so through internship track or personal network. Anyone who complains about burnout and getting worked to death really has no reason to complain. They did get to see the insides of Amazon while working there as an intern, and if they didn't see it their friends did.

The question is really: why do people keep thinking they can outrun the bear even though everyone else they can see cannot?
Having a mental illness doesn’t make you a genius: http://www.theguardian.com/commentisfree/2015/jun/10/mental-...
DSSSL for XML: Why not?
Sounds to me like he may not actually understand how git works, or he's following bizarre conventions that I've seen before from overseas devs I've worked with to just overwrite the entire project every commit
In a thread about employer abuse this comes across as remarkably tone-deaf. Note to self: do not go to work for Mr Stucchio.
A more unpleasant variant of this would be to combine `#define i j` with a language like Fortran 77 where variables are implicitly typed by letter. e.g. `#define i x` would change the implicit type from int to float...
Many people are fooled by prestige. PG's elaboration on it changed my life: "Your opinions about what's admirable are always going to be slightly influenced by prestige, so if two options seem equal to you, you probably have more genuine admiration for the less prestigious one. [...] If you admire two kinds of work equally, but one is more prestigious, you should probably choose the other." (http://www.paulgraham.com/love.html)

I went to a no-name company, I love the freedom that I have in a small team, and I leave work around 4-5 p.m., if I want. Also, I have still enough energy to do side-projects. That is something people working at more prestigious places probably lack. (I am based in Zurich and I love it; here a blogpost about living & working here: https://medium.com/@iwaninzurich/eight-reasons-why-i-moved-t...)
I'll give you that. I did it without thinking. Yet my experience with windows has been really awful. I've had various issues including viruses, firewalls, bloatware, support deprecation to name a few. I guess I'm really happy with the Linux distributions I use.

That said Microsoft is still an innovative company. They still create good applications and have robust data software.
It feels to me that this conversation is quite old I'm finding myself not convinced by the examples put forward in the article. It looks like a lot of unnecessary complexity. You can have a lot of success by simply picking a common css convention.

.mybutton
/* all styles for Normal */
.mybutton.disabled
/* overrides for Disabled */
.mybutton.error
/* overrides for Error */
.mybutton.in-progress
/* overrides for In Progress */

This is simpler and works incredibly well with javascript because I don't have to find replace remove a subset. I just addClass('disabled') removeClass('disabled').
If you spouse divorces you for irrational and unfounded reasons then anything else could trigger them too. You can't blame the messenger.
yep. e.g. gcc 4.8.4 happily complains about redeclaration errors and points out that it is a result of the offending macro expansion.
The state of responsive images in 2015
I really think a union at Amazon would probably fix a lot of issues, but would cost most of the things about the culture that are actually good.

I do think the FC workers should be in a union. Absolutely.
Intel’s new processors let you wake your PC with your voice
"The composes keyword says that .normal includes all the styles from .common" -- great, except you have the meaning of the word reversed. In the context above it actually means ".normal is part of .common", which is clearly not the intent. If you wanted it to mean that ".normal includes all the styles from .common" then .normal should be "composedOf: common"
A Guide to Developer Mentoring
It's great because it works under corporate proxy, no more site blocking :).
Pitfalls of rent restraints: why Stockholm's model has failed many
> When your software has a serious problem the company is losing a million dollars an hour, so they're not very sympathetic to problems you may have standing in the way of a return to smooth operations.

If it's worth millions of dollars per hour, you can afford to hire more employees to give greater and more coverage.
Thanks for clearing that up. I worked with threading a lot in C# hence my misconception that it could be used for spinlocks in C/C++ too.
You can see lots more if you're willing to go text-based. Like LambdaMOO: https://en.wikipedia.org/wiki/LambdaMOO (telnet: lambda.moo.mud.org 8888) - not the oldest but one of the oldest that's substantially community-built (it doesn't take much to get permission to make things) and still running.
There's plenty of evidence that shows those signs on highways that show you your speed cause you to slow down.
Watch Dan Boneh's coursera cryptography course where he at least mentions that provably secure cipher systems require that P != NP. Combine that with the wikipedia article on cryptographic hash functions which tells you that you can build ciphers from hash functions. Done.
Royalties on DASH? Say It Isn't So
Yes. And you could be a member of Ashley Madison who's just curious, or who's doing a documentary for Al Jazeera, or who's trying to see if your spouse is on it.

I was speaking generally. I said that it's reason/evidence in favour of a conclusion. I said that it isn't proof of it. Those kinds of general rules and presumptions are useful for all kinds of things and in all kinds of ways. Or do you think that our judgements should be entirely composed of perfectly comprehensive and universal rules?
sounds like they need a union
If he still does that after a stern talking to, you should take his commit privileges.
After a little more Binging (seriously, it returned better results than Google this time), I found out that it was a product of Bruce D'Ambrosio of Oregon State University.

I believe it was based on this:
http://web.engr.oregonstate.edu/~dambrosi/bayesian/frame.htm...

My memory isn't great, but you basically entered your goal, your different options, constraints and resources along with information about your confidence in each and it would suggest a course of action.
The horror story that I heard was a disgruntled engineer silently replaced the source codes (C++ based) in the project with compiled binary object files and he kept the source codes on his local computer, not checking those in. He did this over an extended period of time to make sure this crept into the backup tapes as well. No one found out because each engineer owned a code module of their own. Then he resigned.

When his successor tried to debug and enhance the code base, the core files were basically all stripped binary object files...
In the UK they have articles where companies complain about skill shortages and developers with unrealistic salary expectations. The laws of the supply and demand are slow to move some markets.
Just to clarify, I didn't call it "regulatory capture". I asked for a term that fits better.

Your suggestion of "the history of the world" cuts open that term's torso and spills its entrails onto the street. ("eviscerates"? really? that was unnecessary.)

On a more substantive point, it's absolutely not a "no-brainer" for the FBI and DOJ to be using FISA court surveillance laws to prevent this. Even if they capture 9/10 of the people sent to gather seeds, which is generous, then it would only take a few dozen plane tickets and rental cars for Chinese corporations to steal all the information they need. Getting a few example cases into the courts so that we have high-profile proof is useful for state-level negotiation, maybe, but it's not going to prevent the theft.
I wasn't being very clear, but by "virtual architecture" I meant something like a design practice that extends conventional built architecture to exploit the novel properties of virtual spaces. Like physically or topologically impossible buildings.

Gibson's cyberspace (at least in Neuromancer) is just a 3D grid containing basic shapes. His later works do describe more elaborate worlds, but as far as I remember they are copies of the real world (eg. Chia's virtual copy of Venice in Idoru or the world inside the Aleph in Mona Lisa Overdrive).

The Street in Snow Crash is nearer to what I was thinking of.

Edid: The Virtual Venice belonged to Chia in Idoru [1], not Marly in Count Zero as I originally said.

[1] http://www.procolharum.com/awsop_novel3.htm
Ship of Theseus
Thank you! =D
When did Zynga blossom into a beautiful swan? It just grew up to be an ugly duck.
Barrett Brown did way more than that: https://news.ycombinator.com/item?id=9024835
True story, did you know you can have paradoxical sets without choice? You just need infinity.

https://en.wikipedia.org/wiki/Paradoxical_set

http://www.math.hmc.edu/~su/papers.dir/banachtarski.pdf
I had a professor back in the university that changes all the variable names to beer names while at a job. It ended up not being a problem for the company as he was consistent with the names.
Top Customer Onboarding Tools Startups Need in 2015
Apparently, streamingmedia.com is offline. Find a cached version here: http://webcache.googleusercontent.com/search?q=cache:PLf03YV...
It is always a funny joke to say "commit this when you leave a job". But I always wondered if there are people that actually do this.

Although it could be funny and give a sense of revenge for some wrong (perceived or real) that the person leaving might have suffered, I don't think this would be a good idea. Contracts usually include liability for gross negligence or wilful misconduct.

Does anybody have a record of this actually happening at any company?
This seems like too much abstraction (magic) of things. Plus those auto generated classes really look odd and would make debugging difficult.
Ask HN: Digital Ocean enforcing 'no multiple accounts' policy without exception?
They are saying I must either make each client the billing contact on their own account or I must use Team Accounts.

Here's my reply:

1. I cannot make my clients the billing contact. They don't want it - they pay me to handle hosting. I don't want it - I'd need to clear every single change in cost with their purchasing department whenever I make a change with cost implications.

2. Team accounts are great but currently they are missing one features that is really impossible to work around: fine-grained control of access. I CANNOT allow outside developers access to the whole account for multiple clients. It would break PCI compliance and local data-protection laws.

Surely you can see that Team Accounts aren't ready for prime time without this? Please revert to the previous flexible policy until you've plugged this major hole in the Team Account functionality.

I've thought of one more huge deal-breaker. I write automated deployment scripts. It's critical that the potential for a buggy script to cause damage be limited to a single client. If I am forced to have all clients on a single account that will be terrifying.
There's a difference between largely anonymous groupings of data and disclosing PII.

I think dumping the member information with email addresses, profile information could happen. Just verifying emails is already happening.

But the CC info with last four digits, addresses, names, etc. might be hard to keep visible for any length of time.

The Adult Friend hack wasn't as high profile as this one, but has largely been benign.
I have the feeling VC funding is just for two kinds of founders.

The ones who really like the "go big" stuff, even if they can't do it (see product owner problem)

The first timers who really need the money.

The rest bootstraps. Especially those who made good money on their first gig.
That's the problem they need to solve, opt-in and making it easy and visible enough to get enough people to enable it to make it actually useful.

A VPN or similar system to make sure you're not getting accused of things their free wifi is being used for too is a good idea. Not sure if anyone has done that yet in the various implementations.
Correct. Would the word 'comprises' be more appropriate?
I'm actually loving this. I hope the latest patent craze about HEVC ends up seriously hindering its adoption, too. It can only make open source royalty-free codecs rise faster.
Those who make liberal use of 'git bisect' can not be so easily trolled.
I assume soucemaps would solve this.
Oh I so desperately need a PHP equivalent right now.
You turn this capability off. I did and I sleep much better since!
You can do some gross stuff in Python, as well!
> Easy immigration (for EU citizens)

The lucky schmucks. As far as I could tell from research, immigrating as a US citizen is not an operation they support at all.
This is the premise of Closure Library, e.g., goog.string.trim().

http://closure-library.googlecode.com/git-history/docs/local...
Pictures don't hurt anyone (except sometimes in the libel/slander sense).

But don't stolen credit cards get traded online? Or other impersonation / "identity theft" information? Maybe a marketplace for one of those would be a good example.

.

The trick is probably making sure that "something that we all agree is wrong" matches with things that actually harm people who didn't freely agree to it. Things like murder, coercion, kidnapping, breach of contract, ...
Online-preisfinder
Steeplechase: An automated framework for testing WebRTC
The business was overly optimistic and misunderstood the scope the project and announced it way to soon ie at the beginning of the year. Miscommunication and lack of effective project management caused the rewrite to go way over the already unrealistic deadlines. Sales dried up as everyone was waiting for the new hot.

Investors exacerbated the problem by requiring a 10% head count reduction for no other reason than "it will make everyone else work harder". With blood already in the water, and the train wreck of the rewrite, they started losing their top talent. I bailed because it was clear they missed core functionality, and supporting the new release was going to be a nightmare. And yes I did try to raise awareness of the issues I saw, to the point of shouting in meetings and being a jackass, to no avail. Note I only did that once, then checked out mentally, it's just not worth it. Should've left then, but stuck around for another year.

When the release finally happened, it was situation where vp of IT had to make a deadline or lose his job, so the new release was crippled from the start. Sales went from doubling every year to falling well below the previous year.

Edit: added a lot of detail.
Is Angular 2.0 ready?
How about

#define free(x) if((rand()&15)!=15) free(x)
Yes, the title is extremely unfortunate for such an interesting piece of technical history :(
I always liked events like fig (festival of independent games) where you can sit down and play an indie game in various stages of development, usually taught by the creator. A increasing number over the past few years have been on Kickstarter.

http://bostonfig.com/tabletop-games-showcase/
John Carmack – GDC 2015
"The number of major games that only or even mainly exist thanks to Kickstarter must be tiny."

Yes, the article is silly to spend much time talking about games which made millions. But the overall effect of crowdfunding making more small games available looks pretty real to me. I've backed a dozen or so table-top games and RPGs now. None of them made anywhere near a million dollars. Most of them raised 1x to 10x the amount they were asking for. I'd guess maybe half of them had a chance of being published without crowdfunding.
Oh, yes, I like that much more :)
I've created this as an issue on their github repo, at https://github.com/css-modules/css-modules/issues/24
Yes, and those articles are totally unconvincing drivel. If there really was a shortage, and the role is truly crucial, then they'll increase their offer. But the UK is not going to be able to fill those roles when engineers can get an offer in SV from Google, Facebook, or Apple.

"There's no shortage of smart, hardworking engineers. There's a shortage of smart, hardworking engineers willing to work for very little money." ~ David "Pardo" Keppel

If you're having trouble hiring, it's probably because you're not paying enough. It turns out that talented people are worth paying a lot for.
Something I wrote to amuse the junior front end developers here:

document.write('Error: Script not found.');
var node = document.currentScript;
if (node.parentNode) { node.parentNode.removeChild(node); }

Pop that in a JS file called something like jQuery.min.js and add it to an HTML page with the usual <script src="/js/jQuery.min.js"></script>. It'll run when the page loads, add the line of text to the page, and then it'll remove it's own <script> tag so there's no reference to it in the DOM (in relatively modern browsers) if you view the source. It's easy to debug by watching the network traffic, but it caused a few scratched heads for a little while.
There is already a very compact 2D vector-oriented format with its own scripting language: SWF. You don't even need to use Adobe's implementation - there are alternative Flash Players and authoring tools out there.
I'm interested in this. When you said, "When you work with video compression a lot," what did you mean? Working with video compression at an algorithm level, or applying different compressions to the same video and comparing the results, or something else?
I give a pretty high level over view of things I would like to highlight. I try to make a point to mention things that will elicit more "concrete" questions. For example, I mention that I just recently moved to Seattle which is usually quickly followed by "Where did you move from?" I tell them I moved form NYC and almost always that is followed by "Oh wow NYC, That's a big change!"

I mainly describe things I want to talk about so that I'm asked questions about those things and I can elaborate on them. The interviewer isn't likely to have an extended dossier on your life (I guess if you were interviewing at the NSA they might) so you get an opportunity here to highlight the things that make you sound best. They can only ask you about what you tell them so tell them some cool things.
Electronic Music Schools: What You Look For?
Writing: A Methodical Way to Dream
Personally, I think an explanation using the SVD would probably be more intuitive:

http://math.stackexchange.com/questions/3869/what-is-the-int...
Worse. Depending on the jurisdiction, they may be able to get you arrested for hacking.
Theirself or Themself?
It can, but it is highly non-trivial. Here are a couple of 2015 papers on OpenSSL verification from the same group at Princeton:

SHA verification (ACM TOPLAS): https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf

HMAC verification (Usenix Security): http://www.cs.princeton.edu/~appel/papers/verified-hmac.pdf
Twitter-Spam King Guykawasaki Starts Up the Conversation Again
This is very similar to some of the tricks used in text mode[1] to give "pseudographics". You can basically view each grid square as a character position, and the definition of the tiles as a font.

[1] https://en.wikipedia.org/wiki/VGA-compatible_text_mode#Fonts
while I see your point, I respectfully disagree. You could get a real carrier that gives you external IP. And if your office hides your computer behind firewall, they could have a reason for that. For, I don't know, corporate security. And there you go, running bugFTP 0.3 inside the company network where every computer is trusted... Sure, that's a great idea.
"there's almost nothing worse in programming than making graphs."

Reports? I was offered a significant pay raise to work exclusively on reports. I declined.
HTTPS Should be the standard
MP3 Speed Changer
My favorite (JS)
https://twitter.com/benbjohnson/status/533848879423578112
He must be using push --force in that case.. which seems like a bad practise.
PdB = "Pure dead Brilliant" = "awesome"

Quite a remarkable bit of code that - I loved HyperNeWS.
Building the Future of Live Chat Support. Our Journey into Innovation
The Linux Kernel Module Programming Guide (2007)
Machine Learning for non-programmers
Money Talk: Avatech Graduates Raised 1.4M Dollars So Far in Iran
Exactly. Well put. Sometimes ugly ducklings grow up to be ugly ducks.
One source of your frustration is that you're viewing all the individuals on Twitter as if they're a single entity that's also adamantly against profiling. "how do you make a case that it's unethical for dragnet traffic..." You're assuming they also hold other popular views you've seen on Twitter, then calling them hypocrites.
The deepest dive
I believe random ones based on compilation date can be evil, since git bisect can't find them. What about an error that only happens depending on character encoding?
I remember that game: Javascript hide and go seek
10 Great Websites to Learn Coding