skysight-inc/HackerNews huggingface dataset:
Yes, it is so. No, nordic countries aren't the example for leftists I mentioned.

Actually there's this conjecture that if communist revolution didn't happen in Russia it would now be more like 300 million strong Sweden, not 145 million Nigeria in snow.
How to Do Function Declaration in CoffeeScript?
I thought the answer was going to be "tricking the world into thinking regex was a good idea". I've always considered regex to have the rare and elusive "write only" flag. Write only. As opposed to read only. Because once you write a regex that's it. You will never know what it does ever again.
That's definitely the idea! We want to run on top of Github/other git hosting solutions to be able to setup your own rules while being more flexible and better than Gerrit (we think that the commit by commit approach it's definitely not the most efficient one).

Since GitHub started to grow, pull requests became very popular for open source contributions. Now, companies are also using them to reinforce their internal code review process. We think this can work even better by building the next generation of pull requests, helping companies to improve their process.
Meizu MX4 Ubuntu Edition Sold Out
No it is not.

http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

Many equate "C == what my compiler does", but just like any standardized technology with holes open to implementers to decide upon, portability isn't as people think.
Good thought re.H.323, it is often forgotten in these discussions, in part because many implementers resent binary protocols and the ITU has few friends outside the telephony world. https://www.packetizer.com/ipmc/h323_vs_sip/

The IRC protocol is neither sophisticated nor scalable enough that we can all federate our private trusted IRC servers. IRC services are severely limited by being a brittle undirected acyclic graph of servers with little but text forwarding in the protocol. Trying to do anything sophisticated like e.g. identity management, is an ugly business.

NNTP has no identity scheme and no private channel. Running it over TLS doesn't change that. You can forge an ersatz private channel with encryption (I once did so, using Usenet as a message queue to backhaul out-of-band service alerts) - but it's neither pretty nor grandma friendly.
You can prosecute the owner of the property, and no reasonable court would deny you on that.

> Clearly people DO recognize this as a risk or it wouldn't be explicitly banned by so many HOA agreements.

That's circular reasoning - we ban it in HOA agreements because it's dangerous, and it's dangerous because look - it's banned in HOA agreements!
Since I have never tried mathematica or Maple (and barely even touched matlab) I did wonder about the visualization.

I found this (probably) highly biased, but never the less interesting comparison: http://www.wolfram.com/mathematica/compare-mathematica/files...
BT 101 – Behavior Trees grammar basics
Interesting debate! We want to improve the code review process for collaborators. If we improve that process for collaborators, in the long term it will be better also for managers :)
One Action You Should Take Today to Grow Your Blog
Sigh, sorry to hear that. I was hoping h.323 might work well for a personal call system with the option of ditching regular cell service. And just try and brute force most communication through h.323 :-/

It seems obvious multimedia calls is part of our future, and I refuse to let that be dictated by corporate lock-in -- be that Skype/Lync, Hangouts or whatever Facebook will launch when they enable videochat. And any videochat/conference needs text messaging/conversations too, so it seems like it would be nice to run everything through one server/service.

Which I had hoped made sense would be a h.323 server (along with open source clients+maybe a websocket/web-client bridge).

Guess it'll have to be SIP for phone (so I can ditch my regular cell service), maybe SIP for videochat (but I'm sceptical about the videoconferencing bit)... and XMPP for messaging.

As neither Facebook, Google nor Microsoft support either XMPP in general (making it feasible to set up a bridge server) anymore, nor federation (which would actually be useful), I suppose I'll just have to give up on the idea that there'll appear a chat network where I'll be able to reach most of my contacts with a Free/Open client that isn't forced to play catchup to corporate whims.

For a while, Facebook via XMPP worked (but not group chat), now it's back to sms. Which is annoying because sms is gated by the telcos, although it should be easy enough to make a xmpp<>sms gateway (eg: [s]) with a spare android phone. For personal use that wouldn't have to incur any sms fees (but would mean keeping a non-free cellular plan).

For others frustrated by the same, there's at least a "traditional" project to reverse-engineer working with FBs current chat: https://github.com/jgeboski/bitlbee-facebook

[s] http://projectmaxs.org/homepage/

[ed: Forgot to commend duckduckgo and fastmail on hosting proper XMPP with federation and registration (at least ddg[d]) enabled. That's one reason why XMPP is nice -- you can actually point non-technical users at a suitable client, and add a couple of screenshots how how to set it up with ddg -- and they can then federate/talk away (that is assuming you don't/can't/won't support registration on your own server -- in my case the main reason not to recommend people wanting to talk to me to register on my server, is that I wouldn't know what kind of "SLA" my own server would have -- so if they used XMPP for other things than talking to me, having an account with someone a little more dedicated to keeping a server open to the general public might be better. But the main point is that that just works with XMPP today. And it should've just worked with both Facebook chat and Google talk/hangouts/newnamehere. And it probably also should've worked with Microsoft accounts/skype/hotmail.

[d] https://duck.co/blog/post/2/using-pidgin-with-xmpp-jabber

]
Some years ago, I did develop bacterial pneumonia after a bad cold. So maybe the antibiotic saved my life. But the antibiotic prescription was based on diagnosis and sputum culture, and not just prophylactic. Better yet, now I've been immunized.
"At the heart of Gryffin is a deduplication engine that compares a new page with already seen pages. If the HTML structure of the new page is similar to those already seen, it is classified as a duplicate and not crawled further."

Does anyone know what definition they use to constitute "similar"? In particular I'm wondering if you have to do any sort of configuration on Single Page apps which could have remarkably similar markup but completely different behaviors/vulnerabilities.
This doesn't resolve the multifarious issues with identity, reliability, scalability, federation, standardisation &c &c that further rule IRC out from being the universal panacea.
The War Over Genome Editing Just Got a Lot More Interesting
I'm not sure why you are placing onus to fix it on AirBnB. The assumption somehow seems to be that any little stupid local regulation, even if obviously bought and paid for by very specific interests in most transparently corrupt way, is sacred and businesses have absolute moral obligation to abide by it. I have no idea where that comes from. Rather, it should be the burden of local government to find solution that is acceptable both for residents and businesses and does not do unnecessary harm.

It's one thing to zone non-commercial (which has very little to do with individual short-term rentals) and another ban short term rentals altogether.
Anything that moves will one day break. I hesitate to move away from the reliability of a static panel. Adjusting the drip rate in this scheme would also be constant battle of weather, temperature and season. You'd never get it perfect.

Compared to a simple solar setup it may be more efficient, but compared to more complex, yet still static, combinations of a panels and a reflectors I don't think the improvements are worth the extra complexity of moving parts. I'm thinking of rigs like this: http://www.builditsolar.com/Experimental/Reflectors/Reflecto...
It's good that someone gave this format a name. Although it's not called anything special, but Go can read this format easily. See the Decoder example [1].

If you don't actually need a stream, I think it's a bit nicer to write a special header at the beginning and make the whole file a single JSON object:

{"header": {"title": "An example", ...},
"rows": [
["row1"],
...
["rowN"]
]}

[1] https://golang.org/pkg/encoding/json/#example_Decoder
Switzerland disproves your argument.
> But I don't suspect they have revolutionary breakthroughs ala the NSA with crypto

Besides inventing public key cryptography?
Or you can just live outside of San Francisco, and take 20 min train :)
Discussion from a few days back on the paper itself: https://news.ycombinator.com/item?id=10238373
How are you getting such quick responses from S3? In our own testing using Java. It was taking over 500ms just to initiate the connection with S3 from Lambda.
My advice is to absolutely nail the abstraction layer between CI and code review. Remember that the most valuable software often has large build matrices and necessarily complicated code review <> CI workflows. Gerrit+Jenkins is actually surprisingly limited in these regards. GitHub+[Circle,Travis] delivers surprisingly close to the same level of flexibility here as Gerrit+Jenkins.
No contortion of logic allows you to escape the fact that Airbnb has vastly increased the number of people renting out homes and apartments. The demand for short term vacation rentals certainly existed previously. Airbnb lowered the barriers to entry for a huge volume of new supply, private primary residences. The short term residential rental market simply did not exist at anything close to the current volume before Airbnb. It is an undeniable cause and effect relationship. So saying that blaming Airbnb for problems stemming from short term residential rentals is "shooting the messenger" is more than a little intellectually dishonest.
TL;DR: Keep learning.
I'm glad I'm not the only one who feels this way.

I feel like I gain more than I lose by simply excluding regexps from my toolbelt. (It's a personal choice, I'm not saying it'd be the same for others, since their values may differ from mine.)
Well, I know what Keybase is. But the page was so empty looking that I stopped reading, and checked out Noscript and Privacy Badger for blocked stuff and errors ;)
+1 for plantuml integration in org-mode. I have a university class teaching UML and it has been very helpful.

To get the true plantuml "UML IDE" experience, have the exported png open in a window (in the emacs sense) side-by-side with the code. Enable 'auto-revert-mode' on the image so that whenever you eval it it gets refreshed. If you run into problems where the image shows up in binary mode after reverting just enable 'auto-image-file-mode' (keeps it in image-mode).

You can also make it more "responsive" by setting the auto-revert-mode interval to something shorter (by default it checks every 5 seconds if the file has changed). I just defined a new 'fast-auto-revert-mode' function where it turns the mode on after let-ting the interval be 1 second, then added that as a hook for 'image-minor-mode-hook'.
Keybase does not need your private key.
Even though I hardly use it at work (JVM/.NET), it was my to go to language after Turbo Pascal. So I still enjoy following and dabbling with it.

Some of the issues C++ had were:

- C compilers were still catching up with ANSI C89 and it was a mess

- C++ being in the process of becoming standardise was even worse. It was quite hard to find out what were the working common features between compiler vendors, specially in terms of semantics

- The C culture that prevented many nice frameworks to succeed, because they were too high level, hence why MFC is such a thin wrapper over Win32.

- Lack of standard ABI in an age people only shared binary libraries.

C++14 and C++17 look really nice, but I doubt C++ will recover its place at the enterprise, beyond performance critical libraries/modules.
This is a bit true, but when you want to get things done, one line regex is often better than a whole file of code.

Write only regexes are trivial once you have tests: when you don't understand one, throw it off and replace with something you do. Tests pass? Here you go.

Whereas having a whole file of many lines of code is much harder to replace when you don't understand what's it all about.
I once used the wonderful perl module [Regexp::Assemble](https://metacpan.org/pod/Regexp::Assemble) to produce a regexp to match [every single suburb/town name in Australia](https://gist.githubusercontent.com/singingfish/d43c884fbac00...) from a csv file download from the post office website. It was blazingly fast ... considering (better than the recdescent parser I'd been previously experimenting with).

Here's the code that generated the regex:

use Regexp::Assemble;
my $ra = Regexp::Assemble->new;
while (<$FH>) {
$csv->parse($_);
next if $. == 1;
my @fields = $csv->fields;
$ra->add($fields[1]);
}

my $suburbs = $ra->as_string;
Vinod Khosla: Anyone Who Talks About a Bubble 'Doesn't Have a Clue'
What do you suppose TLS 1.3 is?
Russian ‘Mythbusters’ Shoots an RPG at 45 Layers of Bulletproof Glass
How full is the drive? If it's more than 80% full you might actually be running into wear leveling issues.
Well if he read it, he certainly didn't understand it.

> When I was young I used to read pseudohistory books; Immanuel Velikovsky's Ages in Chaos is a good example of the best this genre has to offer. I read it and it seemed so obviously correct, so perfect,

This guy believes in PROVING PSEUDOHISTORY. It's hard to understand what that even means, but let's look at specifics:

"Noah's Flood couldn't as a cultural memory...

- of the fall of Atlantis

- of a change in the Earth's orbit

- of a lost Ice Age civilization or

- of megatsunamis from a meteor strike."

A generous person could give these a 1% chance of being right. Maybe a 5% chance if you had a very convincing argument.

A gullible person might give one a 30% chance of being true.

But it is utter nonsense to assign 100% probability to any of these (that's what proof means, it means 100% likely). These just aren't provable matters.

Circling back to Kahneman, it really seems that he's getting persuaded by intuitive arguments, and the book "Thinking Fast and Slow" really dives into how this happens.
Snapchat's Chief Talent Officer Departs, Is Said to Be Fired
What do Zulip / Slack / Hipchat / IRC / ... people do for screensharing and (group) voice calls?

We'd love the chat improvements, but without screensharing and voice we're stuck on Skype. :(
Heh. I wrote a post about this last year (and I'm not the first) http://willi.am/blog/2014/07/16/storing-data-as-newline-deli...

The main unique thing here is the proposal that tools like Excel should support this format. That's definitely an interesting idea. Biggest challenge is that the JSON objects can be nested, so table tools would need a way to handle that. Still, interesting
Who is Martin Shkreli – 'the most hated man in America'?
Absolutely agree. He tipped his hand a little there. It's clear at the end he may be biased against the proposition for personal reasons. He cites very valid reasons against the proposition, but these are points for adjustment in the proposal down the road. Something like this will pass sooner or later in one form or another. The basic gist of the proposition will be approved by some means sooner or later.
Reverse inheritance
Thanks for replying. I had a similar experience back in the MS-DOS days still, and share the same opinion.

Turbo Pascal -> C (meh) -> C++ (great back in business!)

Even though I mostly do JVM and .NET nowadays, still enjoy playing with C++ on the side, specially for mobile OS coding.

I see dropping C support on Windows as a means to force developers to migrate to more secure languages, but of course Microsoft should do what makes business sense.
Please explain how the OP cookie hijacking attack will be mitigated by TLS1.3?
It depends on the context. You can't federate with Google, Microsoft, Facebook anyway -- and you won't convert the world to use your favourite new protocol (most likely).

So that just leaves you with an easier problem: how can I host conversations etc for my team/org/my friends? And I think a single, isolated irc server should work fine for that use case, and work fine with many different irc clients?

So no, it's not a universial solution -- I just think it's strange when people bring up slack as somehow "better". Sure it's "better" in that it's a product with backing from some fine people -- but if you wanted a solution based on open standard, Free code that you could self-host without worrying about license costs etc ... then a battle-tested IRC server still seems like a half-decent option?

Or put it a different way: if you have 100s of users, could you get many of the features with IRC, and some bots? (Or maybe a slightly tweaked IRC server etc etc)?

[ed: Not that I claim there aren't problems with IRC -- and I've yet to run a personal ircd, so I don't know a) how much work it is to force TLS+SASL[1] and disable plain IRC, or b) if there are other solutions that might be better, that are available right now.

[1] https://freenode.net/sasl/
]
Operational Transformation Engineering Role at Lever (YC S12)
The big difference between the project I was on vs Naughty Dog was that ND was 100% committed to the PS3 exclusively and eternally. If you know you can't escape then you are motivated to put in the effort to make it as good a fate as possible. The PS3 rewarded effort, but only on a very steep curve...

Meanwhile, my team was multiplatform. That meant most people could hide in the easy spaces on the PC or maybe the 360. We had a small group of Russians and Europeans who enjoyed the challenge of hand-optimizing the SPU. They would not have tolerated synthesized code ;)
This is great. Good to see it named and an extension proposed. Many tools assume .json means a single JSON expression. It would be nice to have GitHub allow one JSON expression per line.

I see someone already created a GitHub linguist issue for it: https://github.com/github/linguist/issues/2217
This is how bulk operations in elasticsearch work. I'm a fan.
> are really arguments for sloppiness

The model checker verifies this for you whether you're "sloppy" (most mathematicians wouldn't call it sloppy; just those that work in typed logic systems) or not.

> I'd just carry out the proof by hand.

Except that the most used sorting algorithm in the world has had a real bug for years. It is very hard to prove by hand (see http://www.envisage-project.eu/proving-android-java-and-pyth...). And besides Lamport, Zave and many others have shown that a large number of hand-proofs of complex concurrent algorithms are very often wrong. Even ones with Lemmas and proofs and Guy Steele's and Nir Shavit's names on them (Snark), and even ones that win "best paper" and are adopted by the industry (Chord). Those algorithms had proofs, but the proofs were wrong: http://brooker.co.za/blog/2014/03/08/model-checking.html

If you could reliable hand-proof complex algorithms, you wouldn't need many of these tools. Lamport has written quite a bit about the difficulty of proofs for modern algorithms.

We are talking about specs that can run to 50 pages or so, and proofs that span hundreds of pages. There's no way people can do it by hand, and there's no way Haskell's type system's help is enough to help you prove it by hand.

> But all of this still seems like a lot effort to me.

It took 30 man years to deductively prove 7500 LOC with a theorem prover! It takes a few days to spec and verify Paxos or fixed Chord.

> if it's too hard to write correct programs that run on it.

There's a Haskell dialect on the JVM and a good (multithreaded!) OCaml implementation.

> All I see when I read those protocols is how to synchronize a single integer or something equally meaningless.

That's because those are the examples that fit in a tutorial. Quite a few real specs for real systems in TLA+/Alloy/Spin are available online. Here's one for Alpha's cache-coherence protocol: http://research.microsoft.com/en-us/um/people/lamport/tla/wi...

And here are all the verification annotations used to find and fix the TimSort bug: http://www.envisage-project.eu/proving-android-java-and-pyth...
We're working _a lot_ less.
http://ourworldindata.org/data/economic-development-work-sta...
this one is great, too. matches all printable ascii characters:

[ -~]

http://www.catonmat.net/blog/my-favorite-regex/
> who is calling it the "Airbnb Law"?

I think a lot of people do, not only in SF. Same for Uber laws, etc. Of course, they don't call it exactly that, but the intent is clear.

> Clearly this is referring to

Judging laws by "clearly this is referring to" is rather risky proposition, unless you are one of the nine people who have the power to actually decide such questions (aka The Supreme Court). Because otherwise you won't be deciding it, the judge or jury would, and what is clear to you may not be as clear to them. And you can land in a big trouble for it.

Not to mention being pursued by regulators is a very expensive and complicated thing even if you win. And regulators can be very zealous in their prosecutions, and they would try to twist every letter against you. There are numerous cases where judges had to rebuke regulators and prosecutors for excessive zeal and misinterpretation of the law. You do not want to be on the wrong end of that. So any law that leaves opening for that is extremely dangerous for the citizen.

> SF judge would want to jail somebody over renting out on Airbnb illegally?

It doesn't have to get to the judge even. It can be just "do you want to close your business now or do you want to risk prosecution that can land you in jail?" Criminalization of regular business behavior is dangerous because it grant immense powers to prosecutors by leveraging the threat of imprisonment - even if imprisonment itself does not follow. I.e. if prosecutors want something from you (like testify on unrelated case) and they discovered you let your friend stay in your apartment and took money for it, or even helped one friend to star at other friend's house (and you had no idea if any money changed hands, but prosecutors say they did so you are prosecutable now for "assisting") - they can threaten you with 6 months in jail now. Would you risk it, relying on the kindness of SF judges, or would you just bend over and do what the prosecutors tell you to do? Criminalizing common behavior may not land you in jail immediately, but it makes you more and more dependent on the good mood of the law enforcement. It is not a good thing.

> If it's a paid rental.

"Paid" is a very stretchable term. Any consideration can be considered payment. Did they offer to pay for your tickets on the game you go to see together as thanks for hosting them? This can be treated as the same as rent - you hosted them and got something in exchange. Etc., etc.

> And remember, up until this year it was completely illegal to rent for less than 30 days.

"It was worse in the past" is not really an argument for it being good currently. You can always think of something worse.

> The reason Prop F bans in-laws

is that they want less rentals unless it's under conditions under which people do not want to rent. Somehow it does not sound to me like and argument for, but a rather strong argument against.
Super interesting feedback, I super appreciate it :) Actually we are working now to manage the whole merge process and then CI + code review is our next item to tackle.

I will keep you posted about our progress!
I almost wrote this off as it seemed to be about how to write unmaintainable regex soup but the author pulled something quite elegant out of the hat at the end.