skysight-inc/HackerNews huggingface dataset:
Hi Aaron, I saw the link earlier but did not get the time to check it out earlier. Someone from arrayfire pointed out that you were using arrayfire and now I recognized your name / id from the arrayfire forums :)

Anyway, I am giving it a listen now.

If I had to ask a question, what is something that frustrated you about arrayfire and what do you think needs fixing ?
This is all mostly because google went from search engine indexing other people's stuff to site that you go to to get answers (whether those answers are based on copyright infringement or not is another matter).

A similar thing happens in Google news where stuff from sites like breitbart.com are mixed in with reputable news sources making it look as though they are of a similar degree of quality.
If that works for them, more power to them! They'll still likely need a commercial Co-dfns license if they are doing that, not because of the produced code, but because of the programming environment in which they do the development, unless they want to slice Co-dfns out of its "host" environment.

You are right, however, that you can use the free, non-commercial Dyalog to run the AGPL Co-dfns. Co-dfns is both a commercial and a research enterprise, and so it is important to me that the ideas in the compiler are manifest openly to the public, hence the open-source nature of the project. However, it also needs to fund that research somehow (have you ever tried to get a grant to write APL? Hahahaha!), and so commercial uses need to be managed in a reasonable way, namely, something mutually equitable.

Some interested parties are working to use Co-dfns in public facing services, and not just private data sets. One group is very slow moving, but we're exploring the possibility of a rewrite of the cryptographic stack.
The perspective correct ion makes them appear to float in space.
If he is embellishing, he is certainly doing it in an understated way by saying he's impacted/saved fewer than 1,000 lives.
Well, shiiiiit. I came to Hacker News to avoid doing my discrete math homework. While this is number 1, guess I'll plug Fleck's textbook from UofI http://mfleck.cs.illinois.edu/building-blocks/
environment.d
I've been using a Linode load balancer for three years now (it's also $20/mo), in front of a bunch of vps's.

Allows me to have zero-downtime upgrades by switching servers out of the rotation, and also not be concerned if individual servers die or are rebooted (which is very rare anyway).
RIDE is already quite good. It is simple and effective and in a sense better than jupyter. Throw in some D3 they would get the graphical capabilities, just like how jhs does it.

A comercial example? Mathematica.

Imagine a Mathematica clone with APL...
I think part of the disconnect is that this issue is a big deal for tech professionals, but barely noticeable for everyone else.

By the nature of the bug, the likelihood of any particular individual having any meaningful exploitable information exposed to somebody in a position to exploit it is astronomically low. So most ordinary people are ignoring it, and justifiably so.

If you're responsible for security for a site that sends traffic through CloudFare, then it's a very big deal for you. You'd better be quick on the trigger to see and react to this stuff, and you'll have to mass-reset sessions at the very least, and possibly reconsider whether you really want to be terminating SSL at CloudFare. Exactly because, while not much has probably been exposed, you will never be able to be sure what was exposed to anyone from random hackers to the whole world, via search engine caches. So a broad reaction is justified.

And of course people who like tech but aren't actually responsible for any sites being served through CloudFare tend to react the most. Even though it's not a big deal if you're already doing all of the standard security precautions, like different passwords everywhere and 2-factor authentication on anything important.
Benevolent Deception in Human Computer Interaction
I'm giving this a +1 just for that final picture of the cat staring down into the PC.
When you notice such missing annotations, email hn@ycombinator.com, and dang and company will gladly update accordingly.
If you want to reach a moderator, please e-mail hn@ycombinator.com.
I think you're right. I don't have a reference handy, but I recall reading a long time ago that there are more educated, professional black women in the US than educated, professional black men, and it makes it difficult for them to marry someone at or above their level in those areas. And they have a lot of resentment against successful black men who marry white women, because that further exacerbates the imbalance.
R's data analysis libraries are still far ahead of Python. Dplyr, Shiny, etc. So much stuff is still in built in R.

Places where I still use R is its easy to use statistical functions, handling large amounts of missing data, etc.
If you haven't studied economics in graduate school, you may not be aware of the extent to which freshwater-like fundamentalism is embedded in the core ansätze of the discipline.
This is pretty much what data science in the real world is like.

Define the question you are interested in (in this case, a somewhat reasonable attempt to compare R/Python/SAS) and the put other things in blobs with a note that says this is what this blob is. Enjoy.
That was six years ago :)

The rumor is that Apple changed its mind due to the VirnetX patent lawsuit, which forced it to switch FaceTime from P2P to relaying all calls through a central server. But who knows if that's the whole story. I'd still like to see an open FaceTime.
Did anyone else find the "Simultaneous MultiThreading (SMT)" section of the article to be long on hand-waving and short on detail? It seems like all the actual information there is conveyed in the diagram, the text is full of nearly content-free sentences like "With each thread, AMD performs internal analysis on the data stream for each to see which thread has algorithmic priority.".
Alongside others, I've been using a combination of Vultr and Ramnode and I've found both fantastic, especially Vultr.
Koko – Reframing our thoughts using the Crowd
> Most journalists, however, are more in fear of their lives or communications when outside the US.

I've upvoted you because of the first sentence but the second one leaves me a bit puzzled. There are plenty of places where the threat level against journalists is equivalent to the US and quite a few where it is actually less.

In fact, the current 'head-of-state' of the United States is on the record for saying the press is the enemy of his administration.
It's better to use

stack --install-ghc $whatever_command

which gets you the version of GHC you need to be able to run $whatever_command into ~/.stack if you don't have it. Much less brittle than a system-wide installation, and perfect for working with multiple GHCs. Anecdotally: I setup the Arch Linux machine I'm typing this on yesterday. I installed[1] Stack/GHC before xorg :)

[1]: It was so that I could run Aura: https://github.com/aurapm/aura
I think it's the other way around...able men aren't looking for work because the job market isn't attractive. They must be doing something that satisfies them one way or another. I have a problem when people start pointing out that they must be junkies doing drugs and alcohol.

To think that a dysfunctional "job" is somehow superior means there is some kind of social agenda/engineering going on...blaming the people who are affected when it's clear that the problem is employers looking for cheaper outsourcing. What we have right now is social engineering and "thought leaders" trying to excuse the obvious.

I think it's extremely concerning to think someone who doesn't work isn't a productive member of society and to conclude that they're doing household chores. Many rich people who inherit their fortunes do not work, but no one says they are junkies etc...
Post-Election Stress Disorder: A New Diagnosis?
You might want to aim at industries that are seen as less desirable or trendy but have real technical problems that you'd be good at solving. It's even better if you are directly tied to a revenue generation process. Hedge funds come immediately to mind.
I'm actually designing one better. :-) Probably a few years out from true production ready (maybe more, who am I kidding, probably more), but definition something cool.
Speaking of the nuances of Finder.

In windows, to jump to a file starting with 'docu' one can start typing d o c and explorer will jump the file.

Likewise, it's possible to tap d d d d to navigate between all files starting with 'd'.

Is there a way to do either of these with finder?
> NASA proposes a magnetic shield to protect Mars' atmosphere

That's officially called a "deflector", anyone who's seen Star Trek knows.
We're working on it! We're getting close already. If you have a naively parallel algorithm that is good for doing CSP style decompositions on, then you can compile your individual unit programs using Co-dfns and then using Dyalog APL Isolates to distribute the bulk computation across the distributed computing cloud. It's more work than it should be right now, but it does work for the right types of problems.
I can't thank you enough for this comment
Many countries solve that:

You can't present the exact same case again after you filed to dismiss...

...unless a major change has happened, such as a massive amount of new incriminating evidence.
> But for the vast majority of the lost Mar's atmosphere the kinetic energy needed to achieve escape velocity is not from impact with solar wind ions or other solar wind related/magnetic field means.

Source? That's in direct contradiction with the article stating:

> In addition to determining that solar wind was responsible for depleting Mars' atmosphere, these probes have also been measuring the rate at which it is still being lost today.

You seem to be forgetting that Mars has a very thin atmosphere, so there is no appreciable bow shock created. The upper atmosphere will protect itself only if it's dense enough to create sufficiently strong eddies to deal with peak solar wind. Mars' atmosphere is not dense enough. Venus' is, maybe that's what you're thinking of? Adding a synthetic magnetosphere to Venus will not accomplish much due to the effect you're describing.

And besides, do you really think the Director of Planetary Science of NASA, who recently launched MAVEN to study exactly this topic, somehow missed the core assumption of this project?

You're making a very strong claim, so please provide strong proof of the following:

- Show that "But for the vast majority of the lost Mar's atmosphere the kinetic energy needed to achieve escape velocity is not from impact with solar wind ions or other solar wind related/magnetic field means" -- NASA seems to disagree

- Show that photoionization accounts for "the majority of kinetic energy needed"

- Show that bow shock in Mars' thin atmosphere is sufficiently strong to deflect peak solar wind activity

I don't believe any of those three points are provable for Mars. I believe you can show that bow shock is sufficiently strong on Earth and Venus, but not Mars. I believe you can show that Jeans escape is small on Venus because of the composition of the atmosphere, but not Mars.
> The idea was that a parent faced with the possibility of their child dying painfully couldn't possibly refuse the treatment and therefore couldn't give informed consent.

Well ... I get the idea, but I am not sure this is rational. If I have the choice between pizza and no pizza, and of course everyone would choose the pizza, my choice is not uninformed, just because it is too good of a deal.
HK is at 91 ATM, which isn't really bad. Most of the time, HK and SZ have relatively mild pollution by Chinese standards.
> Turns out he's Trump's ambassador to Israel.

Author of the linked blog.

https://en.wikipedia.org/wiki/David_D._Friedman

David Director Friedman (born February 12, 1945) is an American economist, physicist, legal scholar, and libertarian theorist. He is known for his textbook writings on microeconomics and the libertarian theory of anarcho-capitalism, which is the subject of his most popular book, The Machinery of Freedom.[2] Besides The Machinery of Freedom, he has authored several other books and articles, including Price Theory: An Intermediate Text (1986), Law's Order: What Economics Has to Do with Law and Why It Matters (2000), Hidden Order: The Economics of Everyday Life (1996), and Future Imperfect (2008).[3]

Trump's ambassador to Israel

https://en.wikipedia.org/wiki/David_M._Friedman

David Melech Friedman is an American bankruptcy lawyer.
I didn't mean to submit this again. I was certain someone already submitted it and I was trying to find the HN link by submitting it to new.
They are similar, although SABR tends to be more verbose as it keeps a polynomial relationship between size of SABR programs and the underlying SAT. It can in some ways be easier to reason about, but that's sort of in the eye of the beholder. In the past I've prototyped simple examples in SABR then written a generator in python for the full program.

Here's a great resource for those interested in constraint programming: http://www.hakank.org

Sudoku examples:
SABR: http://www.hakank.org/sabr/sudoku.tb

ASP: http://www.hakank.org/answer_set_programming/sudoku.lp

There's the built in construct of transitions which isn't in this example that is preloaded into SABR, but one could easily enough write the restraints required for this in clasp.

SABR envisions the universe as the "Board" and it has a given size consisting of elements and each element can have a specific state as defined by "Symbols". Then you can build on that to say what is legal for a theoretical set of elements, and how that set can transform over time, then you can define which of the Board elements correspond to the defined theoretical set.

Its way more opinionated than most other constraint programming languages, which can be mind bendy.
Looking Down the Long Enterprise Road with Hadoop
I've always found the problem with alt os's is that I have to pick my device to match the OS. I just want a small but adequately powerful laptop, so Linux is my only real choice.
DiabloD3: What's the typical reaction when you share Intercept posts with people?

Most of Greenwald's stuff has the ring of truth to it, but you'd never guess that from the way people react. Not agreement, not disagreement, but more like when someone just politely keeps talking after you've farted audibly.

Do you get the same reaction?
애 and 에 are supposed to be pronounced differently. However, the evolution of the language made the 애 phoneme sound more like 에
Infographic: The Best and Worst Science News Sites
> 50 IQ points is huge. It's the difference between a burger flipper and a physics professor. The change to the world when the average 5th grader is mastering chromodynamics is hard to even contemplate.

We will have super smart burger flippers?
The thought patterns in this are rather disorganized.
When Google Gets It Wrong: Answers with Debatable, Incorrect and Weird Content
In many cases (the water standard rule was one of them) the bureaucrats are acting on direct orders from Congress. Congress usually passes those laws demanding regulations to be written as a result of people asking the government to 'do something' about a problem that harmed an identifiable victim. Then the lobbyists get involved. Blaming bureaucrats for those regulations is like blaming coders for what happens after they get told to implement an incoherent design document.
Location: GMT+6( Time-zone is not an Issue, Can adapt according to work schedule)

Remote: Yes

Willing to relocate: Yes

Technologies: Python, SQL, WordPress, Html, CSS,
OLAP Cube Design, SSIS, SSAS, ETL System Design and Development, Copy-Writing, VA for Startup CEO's.

Résumé/CV:
https://www.upwork.com/freelancers/~0159c6d62f16d1cda1
https://www.linkedin.com/in/msuworld

Email:shihabu@outlook.com
10% is a really high guess. I would suggest less than 1%.
This fall I will be teaching the required "Discrete Math for CS course" to about fifty students at the University of South Carolina. Previously I used Epp's book [1] which in my opinion is an outstanding book but regrettably is $280.44. Many of our students are working minimum wage jobs to make ends meet, and I don't want to make them pay so much if I can at all help it.

Lucky I saw this!!

I do have one reservation though -- many of our students come in with a weaker mathematical background than MIT students; for example we spent several weeks doing proofs by induction (and no other kinds of proofs) and this text doesn't seem to feature a couple of weeks worth of examples.

I think I'll probably go with this and supplement as needed. Really it looks quite wonderful. (And hell, the book seems to be open source which would mean that I could potentially write supplmentary material directly into the book and make my version available publicly as well.)

This thread seems like a particularly good place to solicit advice: experiences with this book or others, what you wished you'd learned in your own undergraduate course on this subject, etc. I've taught this course once before -- I feel I did quite well but I still have room to improve. Thanks!

[1] https://www.amazon.com/Discrete-Mathematics-Applications-Sus...
Looks like an excellent resource. What would the prerequisite math skills be before diving into this work?
Touch that makes sense
I would be remiss if I didn't also link Paul's Online Math Notes.

http://tutorial.math.lamar.edu/

Also: /r/learnmath

We're friendly!
I can't entirely disagree, but it (caffeine) still seems to help more than it hurts.
But amphetamines are far more direct. Caffeine still seems to help more than it hurts for me (several times over diagnosed "clinical ADHD")
Wow. Journalism.
Well, the attackers in The Killing Star, by Charles R. Pellegrino and George Zebrowski, did more than just lob an object our way. And there's the issue: "One of the iron rules of relativistic bombardment was that if you could see something approaching at 92 percent of light speed, it was never where you saw it when you saw it, but was practically upon you...". So sending probes is rather unworkable.

In the The Killing Star, our doom was already sealed by "Star Trek" :(
I'd like to read the article but it's so irritating to have it only load a page at a time on my iPad that it's unreadable.
I have used all of them to cut cost. I run some several personal side project all them and I can say that vultr.com is the best among these provider considering price per computation power.

1. OVH: OVH is great, cheap and very reliable. I have used a $3.49 instances there. The only thing with them is a very complicated control panel to use. But the disk space is kind of expensive to get extra space.

2. DO: DO is the worst I have used. They are lock my account forever and I'm unable to get any data out. The issue is I have tried to create two account that using same credit card. I tried this to take advantage of their free $5 credit. It's my fault I know. But at least they should merge the account, not suspending me.

3. Scaleway: Scaleway is great but not very consistent, sometime they seems very fast. But then suddenly the instance is not reachable for a short amount of time(30-60seconds). It happens several times a week. Doing anything there will require shutdown servers which may take more than 10 mins. Such as shutting down server to create snapshot.

4. Vultr is the best among these. Its offer great, consistent performance(CPU plus network). I used them to run monitoring agent which fetch thousand of websites to monitor them without any issue. Their control panel is the best too.
ArrayFire was designed primarily as an user library for scientists, it seems, and so there is a clear bias there. My coopting it for use as an IR language for a compiler front-end is perhaps outside of the original scope of ArrayFire. The good thing is that ArrayFire manages to capture a few key ideas that are often absent, but critical to APL, so that was good.

On the other hand, it is non-trivial to work with more advanced concepts and workflows/algorithms in a way that allows me enough control over my data to get the performance I want when dealing with nesting or other nuanced execution patterns. As a trivial example, it would be not having more control over how Scan works. ArrayFire is unfortunately not unique in the very limited amount of support for scan operations that will be executed in parallel. I have worked around this, but it's not ideal.

Additionally, the rank limitation of 4 in ArrayFire is infuriating. Given that we're working with C++, it seems like there should be no reason that I should be able to have arbitrarily many dimensions.

The design of arrayfire also makes certain code compositions difficult (this goes back to the issue with nested execution) meaning that I'm spending a lot of effort on working around this limitation in the compiler, having to add new compiler passes and optimizations to massage the output code in such a way as to avoid the syntactic and semantic limitations of the arrayfire primitives. I'm not sure ArrayFire can do better in this regard, and this is the sort of optimization that a compiler front-end could make plenty of use of, but it would have been a nice touch to have some built-in support for mixed CPU/GPU statement overlap to avoid me needing to separate out certain codes and possibly introduce various stages to make sure that all the computation can be properly fused and executed. This limitation is especially felt with GFOR.

So, if I had my way, ArrayFire would be less user friendly to the scientists (that's why Co-dfns is here! ;-) ) and more friendly as an IR for implementing APL runtimes. :-)
I enjoyed that trilogy greatly, but damn, it was depressing :(
The only area of un-touched by Python is web frontends and mobile apps.

Hope Web assembly would change that.
I really enjoyed Dave Grohl's documentary "Sound City", a large part of which revolves around his purchase of a Neve console, and bringing together many famous artists who recorded iconic albums on that very console, to relate their stories of recording at Sound City, and record new tracks with Dave and the rest of the Foo Fighters.

Dave's enthusiasm for the Neve and analog recording in general really opened my eyes.
Maybe we have different definitions of 'unreadable'. I'm typing this on an XPS 13 with 1080p screen and 1x scaling (Fedora 25). The text is perfectly readable.
Sales Inquiry FirstBusinessReview.com || DomainNameSales.com
You're the type of professor everyone wishes they had. That's so phenomenal you're looking out for your students like this. That and if you end up writing supplementary material for the book.
If I were to expand that idea a bit more and remark on the biggest class of bug that causes segfaults for me in ArrayFire, it would be the requirement for explicit data type casting using as() to avoid problems. I wouldn't want this to go away at the cost of performance, but....
In its current state, even cutting-edge machine learning is pretty accessible if you have a good understanding of linear algebra and calculus. If you want to do have a deeper understanding of machine learning then vector calculus, tensors, graph theory, etc. can only help you.
SNAPSHOTS OF a PHYSICIST’S LIFE (1999) [pdf]
Don't worry. Medium adds a random tracking crap at the end of the URL that confuses the HN deduplicator.

It was resubmitted 16 times, but none of the previous submissions gained any traction (one has 10 upvotes, a few have 1 comment) https://hn.algolia.com/?query=A%20note%20on%20our%20lawsuit%... The rules for duplications are not very clear, but I think this is not enough to count as a previous successful submission.

Anyway, I guess this will also not get many upvotes.
You're a godsend, thank you from another person. I've been slowly self working through textbooks my friends give me over the years after they finish from their classes but haven't really known which direction to go in being nontraditional.