skysight-inc/HackerNews huggingface dataset:
you seem to completely have missed this footnote:

>[3] The existence of people like Jessica is not just something the mainstream media needs to learn to acknowledge, but something feminists need to learn to acknowledge as well. There are successful women who don't like to fight. Which means if the public conversation about women consists of fighting, their voices will be silenced.
That's a classic.
Careers Available with an MBA
Ex Frat Stars Make Funny Real Estate Rap Video
> But as Numba has shown, it's achievable to write a CPython-to-LLVM-IR compiler for subsets of the language, then add NumPy-awareness, and add multiple targets like GPUs, and achieve better-than-PyPy speed ups jitting pure Python (CPython) code.

Other than "to-LLVM" and "targets like GPUs", jitpy does exactly that for PyPy-in-CPython.

http://jitpy.readthedocs.org/en/latest/

It's not quite as fast for numeric code (though it's close and conformant) but it's also not a language subset nor does it degrade to CPython performance on dynamic parts of the language. It should be a terrific option if you're able to section out discrete workloads that CPython's struggling with, even in non-numeric code.

Few people know of it though.
I guess this is a good place to give a shout out to jmtulloss, who is one of the many talented engineers responsible for implementing the Rdio web interface...

... as well as plug https://spotbot.qa/, which he is working on with another early Rdio employee.
> Violence is only justified in defense, as they're invading us.

How about when they're shooting up our cities without invading us?
I have nothing but good things to say about the pypy/cffi team. I have been maintaining a project using it for about a year and a half, and we've had great experiences reporting bugs to and getting help from Armin (the maintainer of cffi, a pypy guy).

Distributing cffi libraries that depend on each other can still be somewhat of a snarl, but last I looked there are a lot of remedies for this being discussed.

Chapeau to the team!
Another possibility: she's not the pope, and while her hunches might be right a good majority of the time, she's not infallible.
That doesn't sound right. Consider DNS.
Sure, you have to do a lot more QA and support than on consoles. And there will be some PC specific development, both for the engine and for amenities that PC players expect like keyboard+mouse support, graphics options, etc. But the biggest costs in AAA gamedev aren't going to be platform specific. The assets (textures, models, animations, sound fx, music, level designs) should just port over. Likewise most marketing will be platform agnostic; you don't have to triple your marketing budget when going from one platform to three. And art + marketing is probably like 70%-80% of the budget.

The marginal profitability of a PC port should thus be extremely high. (Which is why pretty much every AAA game will launch on the PC too, not just on the consoles. If the PC really was a marginal and expensive platform, they wouldn't bother).
Now that I know about her, she seems pretty awesome. Great work, Jessica! I especially respect that she stays out of the press battles to focus on productive things. It's wiser because they're a trap anyway. The post gave a perfect example of that where they just tried to set her up for ratings. She seems to be playing her hand incredibly well as a ninja and sage behind the scenes. Such people don't get much press but are essential to many of the best organizations. Most are fine with the former because the pride is in the latter. :)
Oh, it is very much relevant for Go, except that those of us interested in expressivity simply gave up on Go a long time ago.

You see, Go is not popular enough to have users that don't like it. The people that end up trying out Go simply move to something else if they don't like it. Go's community is also strongly opinionated and has rejected any dialog for meaningful improvements. In other words the Go community is filtering out people that want something different. Whether this is good or bad, you be the judge, but if there's one thing that's definitely bad is the echo chamber. Case in point you're under the impression that Go is tolerable, even though many of us consider it to be worse than Java.
I constantly use the service. I download songs to listen to offline while driving, streaming albums / playlists while coding, and if I'm at home and chilling, I normally have the Rdio Roku app playing music while I'm cooking or keep my laptop on and connected to Bluetooth while remote controlling it from my phone (phone notifications over Bluetooth audio get annoying). It's an amazing service and I'm really sad to see it go. :/
A Week in the City of Light and Love
This got me thinking, how feasible would an implementation of APL be as a DSL embedded inside of Agda (or some other similar language)?
No, hearing voices is a very different experience to the regular internal monologue that everyone has.

People hearing voices perceive those heard voices in the same way they'd perceive an actual person talking to them.

People experience different voices, but it's reasonably common to experience the voice as male and standing behind you. But the voice could be whispering (like white noise), or robotic, and it could appear to come from people actually in the room or from objects.
You can use the media keys with Google Play Music in a browser, at least in Chrome. No third-party app required.
Seattle city council votes down municipal broadband pilot project
First let me say that I have not written anything substantial in ATS. I have been pondering what it can be used for for a long time. I think ATS has some really neat features. It is almost two languages combined into one from a practical point of view:

1) An ML style language.

2) A linear type based imperative language.

On the plus side it has strong theoretical foundations; compiler code base is small enough to be readable; it transpiles to everything and has top notch performance at least for the C target using the second style. The catch is that I would like to write code in the ML style, which requires GC for long running programs (the ATS compiler itself does use the ML style without GC as memory leak is not a concern for a batch mode application). That makes it hard to start small with a library project. The linear type style is high performance but a lot more challenging to use. Xi encourages users to start with ML style and transition into the linear type only when needed.

I have experience doing proofs (group theory in math) using a dependent type prover (Lean). Tooling is really important. Even with excellent type feedback one really needs a lot of automation (like integrated SAT provers) to make the work practical. My feeling about the linear type is the same. We need the proofs to be mostly automated and a lot of nice feedback when the type checkers fail for it to be practical. Though if safety and efficiency are both critical someone may be willing to pay the price now to use linear types. So maybe it will have good applications in the embedded software domain. In my interest area resource usage is only a (small) part of the concern. Even if one roots out all resource bugs one still has logic bugs to deal with so the the availability of and the ease to use well tested libraries are a lot more important than resource management to me.

This has been a really promising language project. If it gets some well-deserved community love maybe it will really blossom.
So to the first question, there's not a transactional layer to guarantee the client handled the message. Once a message is sent to the client, it is assumed the client has a mechanism for queuing messages if it can't keep up.

As to the second, the caveat is basically saying that if a message is broadcast and nobody cares about the message (ie: there aren't any subscriptions) then mist isn't going to store the message anywhere, it just gets dropped.
Thanks, but this seems like a lot more complexity than using github's built-in SSH Key manager (especially since I wager that most people using github are not on windows). That, and I've inevitably always needed SSH keys for one thing or another on every computer I've used, so it's just really streamlined.
If you feel like taking the responsibility, financially, then give him a fair severance such that he can look for something new without ruining his situation.
> Well after a decade of US military occupation of "Saudi" Arabia...

Having a base in a foreign country is not the same as an occupation - especially when the base is there with the permission of the foreign country, because they want your support against other foreign countries.
While I (sort of) agree with the basic premise of what you're saying, in the real world, its not very helpful.

We didn't "pick" UDP. We operate a VoIP related service that interoperates with many different carriers via SIP. Almost all of those carriers ONLY use UDP. SIP UDP packets can often be fairly large. This is especially problematic because GCE uses a non standard MTU size (1460 bytes). This does not make our app, or every other SIP related app that is forced to use UDP, "Buggy".
AWS still doesn't support IPv6 except on internet facing ELBs. Pick your poison.

https://forums.aws.amazon.com/thread.jspa?messageID=536049

https://www.reddit.com/r/aws/comments/3ccn5o/real_ipv6_suppo...
I agree with this, but unfortunately one such broken protocol is IKE, widely used for VPNs.

(Off topic: has anyone tried grafting a TLS handshake onto ESP?)
Super bummed. I've been a subscriber from the very beginning. Loved their interfaces and service far more than any of the alternatives.

(Though these days 90% of my Rdio listening is through Sonos, but still it worked great.)

You'll be missed.
The war on crypto
It's like saying that secure communication is the root of evil. Blaming crypto is a cop-out of epic proportion. Crypto has been around forever. Crypto is going nowhere. So long as the narrative is "crypto makes us less safe", we will be treading water at best.

There are other avenues of intelligence. Fighting crypto is the laziest and least effective of approaches. People are stupid. People make mistakes. People like to flaunt their beliefs and their efforts to fight for such. Crypto only comes in at the final stages -- where planning is taking place.

You can't recruit via crypto if the people you are recruiting don't have your keys. Or know what keys are.
And the exploitation of Paris continues
PSA: Go with Gusto (formerly Zenpayroll) instead for payroll. We signed up for both Zenefits and Zenpayroll several months ago. Zenefits was a nightmare. Zenpayroll has been an absolute delight.

They obviously don't offer identical functionality, but they're getting more similar now so this is a comparison of where they overlap.

Customer support: Both Zenefits and Zenpayroll are very responsive, but Zenefits provides significantly less helpful responses, the kind you'd expect from first-level big-corporation support. Zenpayroll is much better on this front.

Software: Zenefits is clearly not a startup driven by product or engineering. It's fine given it's free, but still has tons of rough edges and bugs everywhere (e.g. it's easy to click submit twice all over the site and create duplicate entries.) I know it's better than the incumbents, but Zenpayroll has a far better product and it really shows even in basic usage-- it's kind of amazing this level of quality now exists for payroll.

Health insurance: If you have an extremely simple situation and are a startup in CA, Zenefits is probably fine. We have about a dozen employees based in DC, SF, and NYC. Instead of telling us to go elsewhere, Zenefits spent two months and dozens of hours/email threads/phone calls making slow "progress", telling me information that ended up being inaccurate, omitting critical information, replying to one out of every three questions, saying repeatedly it would get done, and finally telling me they just couldn't do it.

The Zenefits rep could not have been worse-- if he'd been actively hostile or more clearly ignorant, that would have been better since we would have short-circuited sooner. (Yes, I did complain about the rep... they routed me right back to him on the same call.) Afterward, I called Zenpayroll and their rep was super knowledgeable and set expectations clearly. It was night and day. We also tried talking to Zenefits' partner Ubiquity for a 401k, and had a negative experience there as well.

We've now heard many, many versions of our story above. I wish Zenefits all the best since they've made a lot of startup founders' lives easier (including ours, for new hire onboarding), but boy do they have scaling issues... all I'm saying is, if you have the option of both Zenefits and Gusto for a particular service, 100% go with Gusto.
Threadable joins Emmerge to make email work better for teams
Almost all of A&Ms recruiting pamphlets feature pictures of ROTC kids. It's how they advertised the school, it's the culture that is ingrained from freshmen camp onward. I think they have a big training program for students who are actually interested in becoming officers.

While it's a fair criticism of a university, it's almost like criticizing a christian university for being too religious. There's a pretty drastic difference between it and other Texas schools, like UT.

For me, it was one of the biggest turn offs when I was choosing a college.
My first encounter with the concept was the PeopleWare book that described such teams with principles for how to attempt to create them. Stories like the Black Team of bug hunters terrorizing half-assed employees at IBM were great. Way later on, Pirates of Silicon Valley... the only one Woz endorses as accurate... portrayed that Steve Jobs used an extreme version of that strategy to make Apple what it was.

Not to mention, the few places I've worked like that were the only ones where I looked forward to going to work and gave it that extra percent of effort. Didn't even feel like work. Wonder if that's the experience for everyone else. All employers should at least to attempt to create such an environment as good things just seem to emerge from it.

And as this excellent post show, it can work wonders in startup incubators too.
Sure, this is a question that people ask quite frequently. I most recently answered it here: https://news.ycombinator.com/item?id=10569768

"""Actually, Pymod was designed to be almost an anti-Cython. :)

My issue with Cython is that it's a limited sub-language within Python, where you add Cython elements incrementally & iteratively (diverging from Python in the process) until the code runs "fast enough". I'd rather work directly in a full-featured, internally-self-consistent language from the start. Nim has a clean Pythonic syntax, with all the best parts of C++ (including its runtime speed).

Hence, Pymod takes the form of an `exportpy` annotation (a user-defined Nim pragma) onto existing Nim functions, which are then auto-compiled into a Python extension module.
So there's no gradual divergence of my Python code (as it becomes more "Cythonized"); rather, the high-performance code is written directly in pure Nim. :)

"""

There are a few more details in that thread comparing the wrapping of existing C libraries in Cython vs Pymod. (It doesn't seem right to copy-paste an entire thread...)
A lot of open-source projects by Nanobox look awesome, but most don't have any documentation or demos :-(.

I'm most interested in:

[Hooky D](https://github.com/nanopack/hookyd) - Remote hook execution layer
[Butter](https://github.com/nanopack/butter) - Git based deployment system
[Shuttle](https://github.com/nanopack/shuttle) - Transparent TCP proxy for web
https://en.wikipedia.org/wiki/List_of_unsuccessful_terrorist...

For some there are causes of detection listed.
There are loads of good cloud providers with IPv6.
I see what you mean but don't think it's that bad. The actual cost is $4/employee/month. It's not like using it for less than a year is a common scenario.
In my opinion, homomorphic encryption is the new quantum computing. Remember all the hype there was 15 years ago, around the time the first quantum computers were being demonstrated? I think homomorphic encryption will be the same: it's an interesting concept, and it has some specific use cases where it excels at, but I think we'll see that it doesn't really beat traditional encryption for most realistic needs.
Rust has used jemalloc for a long time (since Rust 0.8, I think). The new feature is the ability to configure it to use the system allocator instead.

But whichever malloc implementation it uses, it still relies on the kernel. For example, jemalloc uses the operating system to map memory, by calling library functions like VirtualAlloc (win32) or mmap (POSIX).

https://github.com/jemalloc/jemalloc/blob/3a92319ddc5610b755...
> I don't think almost any kids can read in kindergarten, and I also don't believe they even attempt to teach it there.

Many, many kids can read in kindergarten. I certainly could.
If you are doing performance counseling with employees generally, this should be a natural outgrowth of that, and specifically of the counseling done with this employee aimed at understanding and resolving the performance deficit vs. expectations so that it didn't reach the level of requiring termination.
I think it is a bit dangerous to consider this a failure of the surveillance state. One fundamental problem is that intelligence agencies are seen as having been given or having taken on the impossible task of preventing any political violence.

While it's understandable to think that they have failed at this, given that the task is impossible, it's probably not a good idea to last the failure at their feet.
Mist isn't intended to be a message queue, its simply a message passer.

Similar to the old question, "if a tree falls in the woods and no one is there to hear it does it make a sound?" Yes; similarly Mist will send a message whether or not anyone is listening, and will keep sending them whether or not the client is prepared to handle them.
Yeah, a great read.

> So we decided to build a moderation system. I originally had my parents moderating since they were retired, and after a few days I asked my dad how it was going. He said, “Oh, it’s really interesting. Mom saw a picture of a guy and a girl and another girl and they were doing ...” So I told Jim, “Dude, my parents can’t do this any more. They’re looking at porn all day.” We decided to open up the community of moderators to the public. You had to apply and write an essay to get in.
I was an October baby, so I started "a year late". I only had one good friend a year above me, we got out of touch when he went to Junior High while I was stuck in 6th grade. My other friends were in the same year and considering the older friend grew up to have lots of legal problems, I'm not disappointed on that end.

I do wish I had finished a year earlier, though. It would have meant cheaper college and would have also meant starting a career sooner, which for me is above $100k/yr. It would have also increased the chance of my mother still being alive since she died right after I was hired and I think if she didn't have to work until the end because I'd have been paying her bills she'd still be around.

I'd suggest going with what your kids want. If they want to learn, go for it. If they're perfectly happy with pre-school/daycare, or have lots of friends in that age group, maybe reconsider. They'll make new friends regardless of the grade, though.
Very well-said. And hilarious. :)
It would have always happened. As China gets bigger, it wants do more technical things.
Yes, GPM has supported fingerprinting for a really long time.
The way it was explained to me by law enforcement people is that law enforcement has a right to know if you have ever been arrested so that they can take safety precautions if you are ever arrested again. IMHO, that's a weak argument.
>“Bode’s law,” formulated in the 18th century, which holds that planets and moons orbit their hosts at predictable mathematical ratios.

I think this is a very unclear description of the "Bode's law" hypothesis. How does an object orbit another at a ratio? Thankfully Wikipedia provides a much more sensible explanation. (Also, is "host" really a term used by astronomers for orbited celestial bodies? With respect to the Sun, is Earth a "guest," or maybe a "parasite?")

Perhaps I'm just picky, but this piece strikes me as rather "fluffy." Murch shares very little in the way of concrete or actionable thinking. There's a lot of praise and little justification for it. Generally speaking I dislike interviews of this sort: even James Lipton doesn't stroke the ego quite so much while requiring so little of his guests. There also seems to be a certain desperation here to arrive at the conclusion that the humanities have a meaningful contribution to make toward a scientific or objective understanding of the universe.
So I'm still unsure if you think a lack a multiplicity of attacks is due to their not wanting to attack despite their statements or if or their inability or curtailment due to current methods of mitigation.

I understand we can expect more attempts and sadly more attacks and we need to take more innovative measures, but I wonder if you think current methods have been a complete failure or have succeeded in thwarting other attempts we are mot privy to. For one plans dont go from 0 - 100 instantly, they develop over time. So any plans could be intervened any time in between and we may only get to hear about the late stage interventions, or, perhaps were ineffective and the terrorists kind of really lazy baddies who aren't opportunists.
John Conway's contributions on mathforum.org (1993-2004)
We're working feverishly to get documentation and demos available and would LOVE any help or contributions from the community ;).
Some Unicorns Might Be Overvalued, but All Dinosaurs Gonna Die
Sure. Plenty of people grow up with a religious upbringing as well, but as adults we can choose to stick with it or to change. If people consciously choose to stick with that, fine. But I don't want them imposing it on others, and I especially don't want them acting like their way is the only possible way to arrange the universe.
Apparently they used playstations...
Err, I get that! but I am still wondering on where would I use this ? If I dont need transactional layer or buffering, I could use event listener and dispatcher pattern. Anything more than that, a message queue like ZMQ works. Where does this fit in ?
I'm not sure if I'd go so far as to say that apps which rely on UDP fragment reassembly are "buggy", but I definitely agree that the article title is exaggerating by calling UDP on GCE "unusable". Many UDP services (including one operated by my company, on GCE) will work just fine.

Interestingly Linux will actually, by default, throw EMSGSIZE any time you try to send() a UDP datagram that is larger than the detected network MTU to the destination. As I understand it, you have to explicitly turn this behavior off to get fragmentation.

http://man7.org/linux/man-pages/man7/udp.7.html
I did not in fact miss that footnote. Given that, is there some point you were trying to make?
This is referring to messaging being sent through mist. Mist doesn't care what the data looks like, and won't transform it.

Currently the public-facing websocket client is not allowed to publish messages until this is mitigated, as you mentioned. Any feedback here would be appreciated.
Free+Facebook+Hack+Online
Whether it's a feature or not is subjective. And I think I mostly agree with you - it's probably bad that we're encouraging the application of bad statistics.

But the alternative isn't just replacing bad with good, it'd be more like telling ~98% of the science majors in the country, "hey, you're too dumb to do real statistics, so please just stop trying". I can't see that realistically happening.