skysight-inc/HackerNews huggingface dataset:
I'd definitely be interested, but I'd also be worried that you could really sustain interest in doing this for a decade.
You could do an Offer HN I'll help you come up with a name?

The other thing to do would be just to have a gentleman's agreement where they sign something (TBH I wouldn't worry with a legal contract initially, if you work with honest customers the gentleman's agreement is OK, and worst case if it was a big deal you could take to court and likely win)

So the agreement would be something like:
I'll come up with a name for you, I won't make you pay upfront, but if I come up with one you like and you haven't already thought of it [make them list all the ones they are currently considering upfront], then you'll pay me $500.
Reply to this email with your full name if you agree.
And then just make sure you follow them on twitter and connect on linkedin or such so that they feel that you would notice if they screwed you over, but like I say I think most people are nice and worrying about getting screwed over is likely premature optimization :-)
Very good article. Studying computer science as my sole field, I am starting to realize how much I have missed out on getting an alternative take on things.
These GPUs are more than twice as fast as Amazon's GPUs. They also have 4x the memory and there is probably more GPU to GPU bandwidth as well. Doing deep learning on clusters is not practical yet due to bandwidth issues. If you want to train state-of-the-art models you need the biggest single machine you can get, and this is it.
I agree that FP isn't more mathematical than other forms of programming.

the operational semantics of functional languages are much more well-defined.

No. The operational semantics of any language that has a compiler or interpreter is as well-defined as possible. What you may mean is that the meta-theory of (pure) FP is better understood than the meta-theory of other paradigms, typically because FP has simpler meta-theoretic properties.

Logic programming is itself firmly based in axiomatic semantics

This is a non-standard use of the term "axiomatic semantics" which is usually referring to Hoare-logic with pre- and post-conditions. Prolog has (simplifying a bit) a proof-theoretic / proof-search / resolution-unification-based semantics.

[Hoare-logics for imperative languages] is comparatively understudied, though.

That used to be the case, but the last decade has seen extreme progress in this matter, and Hoare logics for imperative languages are routinely used these days.
> After sending a bunch of these emails by hand, I wrote a Bash script for the process in my old Harvard Computer Society shell account (sending from a .edu address would make us seem reputable while not flush with cash). I tested it out, but having forgotten both “set -u” and to provide any inputs, it sent an email with all variables blank. The to: address defaulted to mailer-daemon@, an administrative list that all of my former HCS colleagues were on. They were pretty confused to see my email asking if I could buy “.com” from them, and I was suitably embarrassed. I figured the cost of further similar embarrassment would be higher than the manual time I'd save, so I kept sending emails manually.

> In total, I sent several hundred emails that day. Of the plausible responses I received, stripe.com was the clear winner. (Incidentally, I also got a reply from the parse.com owner; months later I sent my accumulated domain name list to Tikhon Bernstam, which is how Parse got its name.)

http://www.quora.com/How-did-Stripe-come-up-with-its-name/an...

Cost:

> We'd rather not disclose the amount, but it was less than you might think.

http://www.quora.com/How-much-did-Stripe-com-spend-on-their-...

Summary: They sent emails from a student email address to the domain contacts as listed in the Whois details. Cost was perhaps in the range of $2-20k (which I realize is a big range).
Yeah, seems Lenovo after releasing three generations of laptops every ThinkPad fan hated finally gets to its senses. http://blog.lenovo.com/en/blog/retro-thinkpad-time-machine/
It’s also strange to me since more then once when discussing startup naming I’ve quoted this earlier article Paul wrote where he makes nearly the opposite argument: http://aux.messymatters.com/pgnames.html
Was answering the question above and came across this so figured I'd share -- though maybe Patrick/Stripe has changed his/their mind since then :-)

> We'd rather not disclose the amount, but it was less than you might think.

http://www.quora.com/How-much-did-Stripe-com-spend-on-their-...
This just FUD. Formal proofs are quite prevalent. Look at ACL2 for a start.
Microsoft has released an SDK for reading and writing Office files, under the Apache 2 license: https://github.com/OfficeDev/Open-Xml-Sdk

It's in C#, but it builds on Mono, and it's probably still easier than hacking LO to act as a library.
I think the biggest thing is that you grok the idea of being "t-shaped" and are taking the initiative to do something. Now, the hardest part is - I think - deciding what to make the vertical bar of your "T". It can probably be almost anything, but some things are going to be more valuable from a career standpoint than others. I chose "java" for that about 2000, after having been focused on C++ for a few years before that. That decision turned out well, but I feel like Java has largely run it's course now. I mean, it'll still be around for a while, but it's not "sexy" anymore.

So, what would I make the new "vertical bar" of my own "T"? I'm leaning towards two somewhat parallel tracks: And both of these involve things that were on my "horizontal bar" going back sometime anyway, it's just time to start emphasizing them more. One, is Semantic Web / Artificial Intelligence / Cognitive Computing stuff. And related, but not necessarily exactly the same is Big Data / Machine Learning / Analytics / BI stuff.

I expect skills in those areas are going to be valuable for some time to come. I started digging into the SemWeb stuff several years ago, actually, but I wish now that I'd started investing more into machine learning a few years earlier.

As far as how to do that? Well, read and experiment and build sample projects for yourself... the same things you'd do to learn any new skill. There are a number of good books and websites out there. I'm reading Machine Learning for Hackers now, and also playing around with things like Mahout, OpenNLP, Giraph, and Spark with GraphX and MLib. I'm also looking into learning R, as it's widely used in that analytics / machine learning world.
Google has a lot of domains, most of which support SSL. If they didn't use SAN certificates, they'd have to allocate an IP address for every domain in each of their locations, which could get pretty complicated. Much simplier to just use one big certificate for everything!
Oh, you mean you mostly use non-VISA/MC debit cards like we do in Canada? (we have Interac)
I guess Nissan Motors better change their name now.
Yes, in fact there already is such a formalism:
http://faculty.luther.edu/~macdonal/

From the first page:

"Geometric algebra and its extension to geometric calculus unify, simplify, and generalize vast areas of mathematics that involve geometric ideas, including linear algebra, multivariable calculus, real analysis, complex analysis, and euclidean, noneuclidean, and projective geometry. They provide a unified mathematical language for physics (classical and quantum mechanics, electrodynamics, relativity), the geometrical aspects of computer science (e.g., graphics, robotics, computer vision), and engineering."
Looks very interesting, thanks. Kind of hilarious he didn't make a native Go API though..

This is the only one AFAICT:
https://github.com/ginuerzh/weedo
I'm surprised "lol" is so uncommon... only 1.9%. I see it more often than haha I think...
Also no mention of rofl? Or lmao? Or kekeke? Odd...

And by emoji, do they mean the Japanese ones?
Because smileys and emoticons existed long before emoji...

Maybe the facebook users are different than the internet crowd I know (mostly forums).
I suspect too many people would interpret "research" as (their view of) academic research: no definite goal, no time limit, no constraints. A spike is supposed to be a time-limited investigation of something specific. After that time, either you learned enough to go ahead with implementation, or you didn't, and you have to decide what to do instead.

FWIW, I've worked at a few places that used Scrum (my current employer uses less formal processes), and I and some of my co-workers also read HN. I guess I don't know if we're "the type of person that reads HN", though, whatever that is.
Code commenting in with html tags
Windows 10 says pins are safer than passwords how can this be?
Cory Haik on how the Washington Post is rethinking its strategy for mobile
An OpenGL driver capable of running most commercial games is horrifically more complex than a CUDA driver. An OpenGL driver that merely works according to spec is useless in practice. To achieve any practicality for non-trivial use cases an OpenGL driver has to take an attitude of "do what I mean, not what I say", much like web browsers and Windows' backwards compatibility. CUDA doesn't have those problems. NVidia never has to deal with developers complaining that their broken code worked fine on some other vendor's platform. They don't have to worry about programs relying on some esoteric decades-old feature that NVidia doesn't care about but had to implement anyways for standards compliance. And since CUDA is operating in the professional segment of the market, they can take their time when it comes to compatibility with bleeding-edge versions of other OS components.
Plain SELinux would not have prevented this as Firefox would run in your users context (unconfined_t), The alternative is, the sandbox command: https://danwalsh.livejournal.com/28545.html
Ask HN: Can't figure out the next step – any advice for building an audience?
I'm kind of in a weird rut (possibly related to the paradox of choice) in my efforts to build an audience within the PHP developer community. To clarify, it's not one of those feeling of helplessness situations, more like a lack of any solid ideas.

In the past few months, I have:

* Posted a lot of blog posts explaining application security and cryptography for PHP developers. (These happen to be two areas that I specialize in.) https://paragonie.com/blog

* Authored a bunch of MIT licensed open source tools and libraries: https://paragonie.com/projects

* Responsibly disclosed several security vulnerabilities in moderately popular open source projects, with patches (the most recent one hasn't been resolved, but has a CVE assigned).

* Identified a lot of bad security advice in popular/accepted StackOverflow answers, and subsequently edited/added answers to offer safer advice where I could. I think this was probably the most significant thing I could have done to make developers adopt secure habits by default, but only time will tell if this actually has any significant impact.

* Opened an invitation for the PHP community to ask me if a given StackOverflow answer is secure: https://twitter.com/voodooKobra/status/621107117219561472

* Participated in the discussion on the PHP internals mailing list seeking to improve the state of cryptography in PHP 7.1 through the use of a simple API that supports multiple back-ends (libsodium, openssl, etc.) and offers secure defaults (i.e. only authenticated symmetric key encryption).

* Most recently, I tried to tackle the misleading or outright incorrect information on w3schools, but that was a total non-starter.

(continued)
(continued from top)

I'm mostly interested in building a relationship with the community, so that we can continue to raise awareness of security concerns and help people understand their consequences by providing easily digestible information through various mediums. One of which is our blog posts.

I've noticed that, for the most part, all of the new visitors to the Paragon Initiative website/blog come from the same sources, which tells me that I'm not succeeding. When the subject of expanding or diversifying our audience comes up, I draw a blank. Actually finding networking opportunities in the hay stack of semi-interested people? I'm totally lost.

Some ideas I've seen suggested online:

* Guest blogging - but I don't know which blogs would be worth approaching or whose audience or primary author is interested in application security topics

* Social media - I tend to err on the side of silence; am I making a mistake?

* Seminars/webinars - I haven't ruled this out.

* Give a way a free eBook - Started a book on PHP 7 development. I haven't finished much more than the table of contents and introduction.

Questions for HN:

1. Is PHP and web application security too niche for guest blogging opportunities?

2. What are some blogs or websites that would be a good place to start?

3. Should I be doing something else instead?

4. Does anyone think I'm completely wasting my time?
Are you / is AppArmor using a separate X11 instance for these? As otherwise, forget about it, I wrote about it here:

https://news.ycombinator.com/item?id=8652228
This is a developers platform, in a rather inconvenient form factor for any sort of scale deployment. The partners honestly probably love it because it means they won't be hit with support requests because a driver's acting up, and will just be getting the sales to handle the finished product.
Yeah, probably a job for De Moivre's equation.
I heartily recommend this chapter on it, covers similar geographical effects: http://press.princeton.edu/chapters/s8863.pdf
The buzz(kill) about caffeine
Intel's got the good fabs, but they can't get along well enough with the folks who know how to make a good GPU, so it's impossible to get an affordable desktop or mobile system at any price that has a decent GPU without actually paying for two entirely different GPUs.
Man, I feel out of touch. Dr. Scheme is now called Racket?

I'll crawl back under my rock. . . .
In 2015, most apps shouldn't support anything below iOS 7.

Create a constraint that attaches the input field to the bottom of the scrollview.

One tradeoff is that dismissal doesn't start until your touch enters the real keyboard area. I'll take it, since it's safer than using KVO to observe private APIs.
Honestly I kind of wonder why nobody has written a library that acts as a thin layer around and abstraction of native UI toolkits (AppKit, .NET, GTK+, etc) instead of a monolithic do-most-things-or-everything-yourself

IUP is exactly this. Native GUI focused and nothing more to be thin and lightweight. It's small (under 800K). It's written in pure C so language bindings can be made for any language. It is funded by the same university that created Lua. Liberal MIT license.

http://webserver2.tecgraf.puc-rio.br/iup/

Its weakness is it still lacks a native OS X backend. (People use GTK on Mac as a workaround.) There was an abandoned port attempt in 2010. Somebody just started trying to port it again a couple of weeks ago. (I'm sure additional volunteers/help are welcome.)

https://www.mail-archive.com/iup-users@lists.sourceforge.net...

https://github.com/ewmailing/IupCocoa/tree/Cocoa
If you are writing programs in Coq or another dependently typed programming language, these parallels between math and programming are not just incidental; they are one and the same. Theorems are stated as functions, whose type signatures reflect the theorem being proven. Even the gap that you mention at the end of your post is bridged, since the type checker will verify that your proof is correct (modulo the trust in the metatheory of the language itself, and its implementation). Things like refactoring, choosing more or less specific statements of theorems (e.g. more or less abstraction in a library), interfaces, etc, all become exactly analogous to the same kinds of problems faced in software engineering. It's really quite remarkable.

(Disclaimer: I'm hardly an expert in these languages; I just dabble.)
That's a bad example though. If airbnb.com is taken, should you take airbnb.io or airmatressandbreakfast.com? Paul's argument is: neither, get a different short name for which you can get the .com.
If you "skimmed" the tour and tutorials and don't know what it is, stop skimming. Then, start reading.

This isn't some arcane library you need domain-specific knowledge to understand, it's a system with a purpose and intent that's quite explicitly explained.
It's absolutely a DSL.
Category theory?
In the documentation.

It's built on top of Scribble.
Dropbox was GetDropbox.com < at least 1 counter example.
The good news is that if paulg was testing to see if HN was just an echo-chamber that applauds everything he says even if he gives terrible advice, HN just passed the test with flying colors. :-) Hooray for critical thinking!
This is what Product Hunt did.

Originally it was producthunt.co, and once there was sufficient traction, producthunt.com was acquired for a few thousand dollars (if memory serves).

I don't think anyone would argue that Product Hunt should have chosen a different name because the corresponding .com was taken.
A machine like this, you're buying the support, with the hardware as an add-on. This isn't made for the deployments, it's made for the development and debugging, where being able to call nvidia at any hour and get a decent engineer is worth it.
The other day I realized that a man-made law is also a bit like mathematics or computer software. It is carefully designed and constructed. Ideally, it is intended to work like a machine with as little room for human discretion as possible. And just like mathematics, adding an another "axiom" to the law has far, far-reaching consequences.
Anyone get this loaded on windows 10 ?
Arguably it's an optimization that compiler could perform instead and a method JIT most likely would. However tracing JIT's optimizations are confined to a linear trace - which I guess exactly the limitation the author wanted to demonstrate.
Not only on pouet: http://aminet.net/recent
The real problem here is that the legal system, under which many sophisticated laws are prosecuted, is under the stewardship of a lot of common, everyday people of middling intellect.

So, yeah, browsing history possesses all the legal integrity of pocket litter and fast food receipts, and who's to say which information on a typical consumer-class hard drive constitutes a forgery contaminated by trojans and rootkits, versus what is actual legitimate forensic evidence, but that doesn't stop zealous prosecutors and judges from placing this sort of evidence in front of bored, apathetic juries, serving jury duty, because their name came up on the list after getting a traffic ticket.
I wish we could turn this into a poll somehow so that we could get community-consensus on which sandbox option is the "most" secure from all the options provided.

I do have to agree with OP on the statement:

>> After the recent Firefox incident I realized how I lied to myself by believing that I'm secure just by using Linux.

Linux was promoted (partly) on the premise that is was more "secure" than Win, due to being open source. All the attacks since 2011/2012 (at such a large scale) seem to indicate that it isn't as secure as we think.
Well said. Advanced math is mostly about working with properties higher up the chain of abstraction, and then seeing what happens when you bring the insights learned up there back down to more concrete examples.

From an OO point of view, the real numbers inherit almost every useful trait: they're a field, they have a topology, they have a measure. Studying the parent classes, so to speak, gives you abstract algebra, topology, and analysis, respectively.

Once you get the basics of each, you can study how they interact. Then, once that stuff is clear, they can be recombined in beautiful ways to give you new objects to study.
Show HN: Lobste.rs for an African audience
To anyone naming their company and moving on when the Whois comes back as registered -- if you're really like the name, you should follow up with whoever owns it!

I was recently trying to come up with names for a website / app I've been working on and wanted to finalize a name. The couple of ideas I had were already registered, including the name I really wanted. I ended up sending out emails to the contact on record for the domains I was interested in and ended up buying the exact name I wanted for around $100, which was far less than I was expecting them to settle for. The name had been registered for 13 years and nobody who owned it ever did anything with it.
Facebook originally operated under "thefacebook.com" and bought "facebook.com" for $200,000 in August 2005.[1]

Looking at Crunchbase, they had raised around $13M at that point, so I'm sure spending $200,000 seemed like a lot at the time.[2]

[1] http://mashable.com/2006/08/25/facebook-profile/

[2] https://www.crunchbase.com/organization/facebook/funding-rou...
Since pretty much every huge, successful company has their .com, I suppose the question is when they acquired it and the compensation.
Didn't Cray had something like that, a variable floating point where you could opt how many bits (up to a limit) you wanted? I vaguely remember hearing about it from a talk Computer History Museum had.
Cake-chart – Interactive multi-layer pie chart
"There's no point in buying an expensive domain name for a company that may not survive past the startup stage."

This is exactly why the .com domain wins. They do not have this attitude. Their attitude is to be in it to win it and do what it necessary to be successful. That's the .com signal.
Check out this short video by a well known graphic designer (Michael Beirut). He explicitly talks about how logos are inherently NOT important and are overemphasized in the world. Rather it is the consistent actions of a company that give a logo meaning and builds a "brand": https://www.youtube.com/watch?v=I0jw-Q7r-ng
WTF does "quantum capabilities" mean?
The problem with existing libraries is that they try to do away with the notion of different platforms in favor of a metaplatform. In reality, the divergent nature of platforms must be embraced in some ways. I imagine the aforementioned hypothetical thin wrapper as providing really easy ways of getting per-platform right; for instance, it could know the standard control heights and whitespace on each platform and automatically adjust your program's UI accordingly. It also wouldn't be hard to set up a system that allows for per platform verbiage, icon assets, etc.
I don't think the logo is important but that's a different topic. If you at most successful companies in all sectors out there, they have their .com.
Almost all the people I know who are doing pure physics are studying quantum computing.

I am not sure if its hype or the professors actually think its going to really viable soon - In any case I am not sure why there is a shortage of funding !

I do not see why we cannot fund both the software side and hardware side. Research in quantum computing is cheap, unlike building new rockets, or building particle accelerators like the European.
Presume a hypothetical world where everybody's traffic is onion-routed, or at least VPNed. Streaming-content licensing would still happen in such a world—the location-enforcement would just have to happen by other means, like account phone-number verification.
It also depends on your market.

If ProductHunt disappeared tomorrow, I'd be sad, but that's it.

Stripe and Parse on the other hand both needed to signal strength to their customers from day one. There are many customers that would not entrust their payment details with getstripe.ly.
With STEM Education, Women Can Create Both Technology and Their Own Futures