skysight-inc/HackerNews huggingface dataset:
Isn't this just what latex is for?
This comment is interesting :

> If you were investing millions into something, would you not request a personal demo where you actually see the demo for yourself, in your own time, and see how it works?

I know I would.
There is an option beyond Lewis trilemma God/Madman/Fraud which is that Jesus, Paul etc. were sane and genuinely believed the things they say, but they believed it based on worldview build on religion and therefore not connected to reality. (Like Newton researching alchemy - he was sane and honest, he just worked from faulty premises.) Add to this that the Gospels are not genuine first-hand accounts but rather express the gradual building of a myth among the early Christians based on second-hand accounts (written down a generation after the events) and a growing body of legends.

Clearly the Gospels are not 100% trustworthy (since they contain contradictions), so unless you want to reject everything, you have to make some kind of effort to discern the believable parts from the legends. For example in the Mark, the oldest version, Jesus does not talk a lot about himself, and there is no reason to consider him anymore than a human preacher. In John the myth have grow to the level that he more of less proclaims himself a God. This clearly illustrates how the story Jesus the preacher over a few decades turns into Jesus Christ the Son of God (or even God himself).
We know this to be false; most mortgage issuers did lend their own money for NINJA purposes. The typical practice done by Countrywide and others was to sell off the AAA tranches of MBS and keep the riskiest ones.

Would anyone have been fooled by individual NINJA loans with AAA ratings?

This question betrays a gross misunderstanding of how mortgage securitization works. It's perfectly legitimate to construct AAA mortgages from arbitrarily bad loans, provided you've accurately quantified how bad they are.
How Video Finally Proved That Cops Lie
That ignores common sense. If Uber is more profitable by circumventing W2 regulations it will do so. There is no morality in capitalism, only worship of the bottom line. Businesses don't care about "reasonable" regulations, they care about profit. I don't think there is anything wrong with that. A corporation is not a person, it can't be expected to think like one. Instead people must elect representatives that impose laws that force business to operate in a way that is compatible with our collective morality.
Does anyone know how expensive it is to fully sequence your own genome today (not genotyping but full sequencing)? And how complete is it, would every bit be correct?
How about the property 'this variable is never null'? You might call this trivial but it seems to be useful given that real-world programmers get it wrong frequently: http://stackoverflow.com/search?tab=newest&q=NullPointerExce...

Or the property 'this variable is never used after a free' in a language with manual memory management (Rust encodes this) or 'this program is free from data races' (also Rust)?

No one is arguing that strong static type systems make it impossible to write programs with bugs, but eliminating whole classes of bugs at compile time certainly makes it easier.
Whats the process (and costs involved) to get your own ASN? is it quite easy?
I enjoyed that. Thanks for sharing ~
What is social media liability insurance for? Never heard of it...
baires? Are we really making this a word?
This bird landed on the page about itself
What I typically do is create something, then try to teach how to make that something to other people. In person is good, but tough. Screencasts and blogs are great for this.

While teaching, you really get sudden moments of clarity as to why something is like it is, or why you had to do it this way.
Exactly like that. Run the elf binary, connect to PE X server.
You do the next logical step: Use your knowledge.

Make things. Help others. Perfect technique for some simple thing. Relax.

I don't think learning gets to a point to be stopped, though. Information and truth gets updated as others learn.
You don't think ever hedgefund is actively consuming social media data? How do you think the price of these stocks are affected so quickly?
I do recall reading that it's impossible to learn how to make certain sounds if you haven't learned them in childhood.

I don't think I believe that it's actually impossible though, at least not for everyone. What seems more likely to me is that for most people it's just not necessary or practical to become 'accentless', or at least it's not perceived to be worth the effort or money (for a vocal coach, or something like that).

A child not only has a brain that is (probably) optimized at that point in time to learn languages, but a child also has the privilege of being immersed in the language to learn, as well as massive amounts of free time to do so. Not to mention a lack of shame of messing up (or judgment for doing so).
Parsing absolutely anything in JavaScript using Earley algorithm
Wow! That's one fugly website

[and you don't need machine learning to work that out!]
Are you able to pay yourself a salary from donations? Or are you doing all of this work for free?
Spend some quality time with your family. If you have kids, then spend more time with them. Whatever time you allocate to them is never too much.
The article mentions a large helmet. Any pictures of it around?
Road Map to Building a Billion Dollar Company
a16z hasn't been too lucky with DD lately. Not just Magic Leap, I've heard that Improbable was struggling to fulfil its promises, and was being sued as a result.
At the moment, encrypted spam doesn't exist. But only because there aren't enough people using encryption to make it worthwhile for the spammers to invest time doing it.

Theoretically, a spammer could scan the public keyservers for email addresses and public PGP keys and then send encrypted spam to all of those people. If ever a well targeted spam mailshot was sent, that would be it. But would you really want to get on the bad side of thousands of tech nerds?
Horizontal scaled infinite Minecraft universe
There's no issue, as long as you know both languages. Which you should anyway - both JS and OCaml are interesting in their own right.
ctrl + F: "20 years", "Western country", "not focusing on other things"
There are some many existing ones. What makes this one different? A comparison table is the best sales tool.
I wonder if VR will live out to the hype would it be good development environment. Would it be so good that the obvious disadvantage of having something on one's face would be passable.

I know that right now the resolution is not there. Also maybe AR would be better.

I wonder now also how to do better code exploration software. Current development tools are usually tied more to the editing than to the exploration of the code base. Exploration is IMO much more important.
Flowchain proposed a blockchain for decentralized IoT and real-time transactions
bundle exec rake stats
Do you have a practical use case for this?
A Framework for Building Successful and Delightful Products
Ask HN: Do you really read long stories posted on HN
Do you really read long stories such as http://inference-review.com/article/the-difference-it-makes on HN? I mean do we moderate just based on length of the page. There are at least 5 stories per day that I find are super super lengthy with target audience being esoteric. Not sure, if this really makes a difference to audience at large?
A Galois connection calculus for abstract interpretation [pdf]
In my experience small businesses don't spend much on anything.
> If you think that you have found a bug in someone else's program, the first step is to make absolutely sure it is a genuine bug, so you don't waste the author's time and lose your own credibility.

I am thinking we need to create an open-source "10 commandments" website and this should be on it.
But they've only raised 22MUSD how can we expect them to have done anything yet? ;)

Suing them seem like an odd thing to do.
Ask HN: How much time you spend per day reading HN?
I was really wondering that how much time you spend reading HN stuff daily? There are seemingly quite a few interesting articles and if you seriously read most of it - it would not take anything less than hour? Are you also spending an hour daily?
It's not a16z suing them.
The critical element of a successful social transformation that you're missing (esp. due to your reliance on players like Trump and Uber) is trust. You cannot hope for an equitable and progressive outcome unless the participants are trustworthy. Otherwise, you're setting your society up for disappointment, exploitation, and failure. You don't have to agree with me--it will prove itself.
The problem is that this kind of "learning" experience propagates from CEO talk to CEO talk. Making a whole branch of technology a No-Go-Zone, even if the problems that stopped it, get solved.

"We could do that, and end up like Magic-Leap.." will be the Standard slogan at every pitch.
We are replacing all our python backend by golang and indeed static typing is a good way to well structure your data.
Regarding reliability, I would prefer elixir for 3 raisons:
#1 Functional programming. In go it's really easy to make error by sharing object reference in channel. And what is funny is that it's not so easy to make a deep copy of an object.
#2 Goroutine leak and supervision is really difficult to follow. How do you manage it in production ? Thanks to erlang, elixir provides all you need to monitor your green threads. You can even hot fix issues.
#3 Beam preemption is clearly a strong winning point.

Bonus point, go scalability is limited to your server. In elixir you can remove server boundaries.

For a new product, I will definitly bet on elixir.
Good work putting the colour highlighting on the formulae. It does make them easier to follow for someone who is not a complete wizard with algebra. Without this little formatting touch I would find the article to be mostly a sea of symbols that I would likely skim over and still not properly understand.
A lot less than the other sources, such as reddit/r/JavaScript. I am only learning to use HN. The fact that there are no "tags" to separate content streams (am I using HN wrong?) makes this source of information too noisy. I like to convenience of limiting my attention to /r/javascript, /r/node, etc.
One of the first pieces of 6502 assembly I read, and spent ages deciphering, was an implementation of Bresenham's line algorithm published in some magazine. Who needs floating point...
Machine Learning: An Introduction to Decision Trees
But if Uber eliminates that obstacle, won't all of their competitors benefit from the lower barriers to entry? Does Uber simply ease the cost of switching--both for drivers and riders?
"allowed Rothschild to profit immensely during the French Revolution by providing financing and war materials to Austria"

Similar to the Bush family activity

https://www.theguardian.com/world/2004/sep/25/usa.secondworl...
That doesn't seem to have any email capabilities...
On the other hand, a whitelist might work as a way to "trick" people into starting to contribute, by way of filing issues and submitting trivial pull requests?

Thanks for all your hard work on the site by the way! I've actually taken the opportunity to use it at my new job, as one option for students to publish/show work in our basic web/html course at Voss FHS[1].

Did you manage to keep publishing the transparent financial reports? As I've mentioned before, I personally find the openess of the whole operation to one of the most interesting bits of the site :-)

[1] http://voss.fhs.no/english/information-about-voss-folkehogsk...
Laws are only as good as their enforcement. I think Uber has been successful at calling the bluff of law enforcement and winning that showdown in many cases.
I wonder if at least in the context of chat bots these kinds of problems are mitigated or avoided by the conversational nature of these bots.

In the glass table example, the bot could be explicitly 'dumb' or pedantic and ask for clarification. Or perhaps even better, the bot could simulate natural conversation: assume one or the other (with maybe a dash of built-in knowledge about the world), make that assumption explicit to the user, and allow the user to correct it. This might even make the bot more human and pleasant to interact with.
Re. how to teach matrices: First teach computer graphics, then teach linear algebra :)

I switched universities after the first year, and subsequently I took a lot of courses in the "wrong order". I did computer graphics first and then linear algebra. That's the wrong way around as defined in the curriculum, but it was clearly the right way for me. And for most people I believe too.

When the matrices came, they were clearly a practical vessel for the practical things we needed to to in computer graphics and were getting a little unwieldly and we had an inkling there was a pattern lying underneath for.

Sometimes it is both possible and better to teach the practical hands-on craft first, to create hunger for and an appreciation of the theory, and then teach the theory.

(And then go back and blow up the "craft" ideas and go further still.)
Hey all, author here. Happy to take any feedback, in particular “I tried and it didn’t work out of the box” stories. I will NOT tell you to RTFM.

I recommend reading https://github.com/cloudflare/hellogopher#why for more insight.

There’s also a gif demo https://twitter.com/FiloSottile/status/822745605806112768

EDIT: uploaded the keynote I gave at Golab where I present the problem and introduce this project https://vimeo.com/200469720
Jocko – Kafka implemented in Golang
The problem with wasm right now is that it gives you very little in terms of interoperability with JavaScript. You simply cannot manipulate JS objects (including DOM objects) from wasm.

Compiling a language like BuckleScript to wasm is therefore not possible at the moment, simply because the interop features of BuckleScript cannot be encoded in wasm.

Besides, there are other difficulties: wasm doesn't have any kind of managed heap at the moment, which means that compiling a managed language to wasm requires to embed an entire GC in your production code! It's much better to take advantage of all the VM features offered to JS, like a GC, when compiling a managed language to the Web platform.
The author of this article needs to try Hololens. The technology is definitely here.
This looks awesome. I haven't tried it yet, but the hopefully it supports writing test coverage files for multiple packages, i.e. I already split the code up into separate packages and put each package in a corresponding subfolder. Using go test ./... I want to collect coverage reports for all my packages while ignoring `vendor`

So my workaround is something like the following, where I generate a coverage report for each package to later concatenate them into a final coverage report

```
for i in $(go list ./... | grep -v 'vendor')
do
coverName="$(basename $i).coverraw"
go test --ldflags '-extldflags "-static"' -v -race -coverprofile="${coverName}" "${i}" | tee -a "${test_outfile}"
done```
If that comment were relevant, then so would 100 other similar comments mentioning another typed language that compiles to JS.

Do you really want to drown the interesting HN comments in a heap of "hey, my favorite language also compiles to JS" kind of comments?
This is great. Between neocities and https://pinbits.io/ it appears we're starting to see real and useful applications for ipfs :-)
I don't understand how HN ranks posts: this was at the very top with just 9 points, no comments, how does that work exactly ?
Cryptography Discussion: Speculation on "BULLRUN" (2013)
The answer is simple: the person who is interviewing you hasn't got as much experience as you do. He doesn't know through what hoops and hops you've gone through to get there. Therefore, he is testing you in a framework that he perceives to be right. In all fairness, for 99% of the candidates, that is the right approach.

I fit more or less the description of your profile (except I have GH projects with 5000+ stars and ~3K side passive side business; oh well, I'd prefer your balance, haha). I find it extremely hard to find the right position to work in. I am a consultant and I move from one position to another every 6-8 months. However, I have been most lucky in my last two positions.

There is something bonding about being recognized from the open source work. In that respect, the last interview I had felt more like a coffee break, discussing various project promoting strategies with the CTO. And yet, I had to go through interviews with another 3 developers (all happened in a time span of two hours, on the same day). But, thats their hiring policy. Just get done with it and enjoy the ride.
You'll find almost all of those in OpenCL.
> To me, in the WebASM world, transpiling to JavaScript is starting to seem a little old-fashioned.

It's behind a flag in a couple browsers. Even with a flag, if you're going to actually do anything with the DOM, you're going to be shipping a js support library and calling into it. Using something that works now has value, particularly when you could get wasm in the future off the same code if anybody writes an OCaml wasm backend.

> Presumably Rust (or Ocaml) compiled to WebASM will also have substantially improved performance compared to transpiled JavaScript

Bucklescript adds asm.js type hints (but not the use strings) to the js output and does a fair number of optimization passes. Aside from reducing parse time, going from its current output to wasm is unlikely to pick up much in the way of perf. I'm actually not even convinced that wasm is going to be that much faster for load+parse over an optimized js payload because asm.js/wasm have to ship the runtime (allocator, stdlib, etc) while js just has to ship the code.

> Readable JavaScript is not as important as long as we have source maps

I write Clojurescript full time, which has source map support. I completely disagree with this statement.

> Ocaml and Rust share a lot of heritage

Rust was bootstrapped off an OCaml compiler. I like Rust and advocate for it but bringing up another compile-to-js language, particularly one as nascent as Rust doesn't really have anything to do with the merits or drawbacks of Bucklescript.
Just run "make cover" :)

It does exactly what you want, and it handles overlapping coverage blocks (if two packages have tests that run the same portion of code), which just concatenating will mess up. (It uses gocovmerge behind the scenes, but it will be hidden from you.)
It has kept Microsoft from sharing its EU data with American agencies so far.. and considering Microsoft has been under the microscope (haha) since it's EU antitrust suit I don't think they could pass the data without some serious ramifications. As far as ProtonMail goes.. well they certainly could force the support employees somehow, but if that ever gets out there would again be serious ramifications. Plus, why do you think the US Enterprise IT services/hardware industry took a serious hit when all the NSA leaks happened? What do you think will happen if it gets out that the US is even forcing foreign companies to obey to US law? I'm not counting on the NSA to behave - I'm counting on America as a whole to be greedy and put business above enforcement.
Tabela de preços dos smartphones Zenfone da Asus
I didn't say no one would.

I said not many - meaning, in particular, not the risk averse investors who control vast sums of other people's money and demand top rated securities.

Countrywide was making a profit off the resale of the loans, removing short term profits from the corporation, leading to personal gains even after the scheme failed, and Countrywide's CEO agreed to pay a "$22.5 million penalty to settle SEC charges that he and two other former Countrywide executives misled investors". Countrywide wasn't your typical investor.

> This question betrays a gross misunderstanding of how mortgage securitization works.

Your comment betrays a misunderstanding of what happened. People were fooled by the complexity.

I said nothing about the ability to construct accurately rated loans. The fact is that the MBSs and CDOs did fool many people, including the rating agencies.

And you didn't answer the question. How many would be fooled by a simple, individual, AAA rated NINJA loan?
Browsers implement what they call the "same-origin policy" as a cross-site scripting prevention measure. This prevents you from using XMLHttpRequest calls on other hostnames/ports, which effectively means if you're making a static website on a host with no API endpoints, your website can't interact with any backend services. As a result, you can't save or load data from a server-side database or do a lot of other operations that traditional web applications can do.

There's pre-CORS workarounds. You could build an HTML multipart/form-data POST form inside an iframe and submit it with JavaScript for example. And if the server API supports JSONP, you can inject a script tag into your page that loads the target content as a script which then executes the data in a callback to read it back into the client page.

If you don't care about REST, and you only need to do GET/POST requests with a limited set of mime types, you could make a client-side application that gets around the same-origin policy without using CORS. But it's ugly.

With CORS though, you can potentially make any type of request across origins, because the CORS preflight OPTION requests allow a server to specify what request methods and what headers a client from a certain origin can access at a given URI. And these days, you can find CORS-enabled third-party REST APIs that you can use with things like client-side OAuth to provide all the same functionality that you would have in a traditional web applications.

I've been thinking about using a completely split API/client-side app architecture in my own projects lately, because scaling a bare API is much easier and cheaper than scaling a web application.

So yes, CORS is just a security measure, but it gives you more functionality in a client-side application by allowing you to bypass an older security measure, the same-origin policy, in a very clean and explicit way.
Scientists enter Hawaii dome in eight-month Mars space mission study
Awesome!

It would be nice to include something like go2xunit so you can hook the results up to the Jenkins coverage reports.
And you seem to be painting Swiss legal system with the exact same brush as the USA governmental and legally sanctioned framework for spying on people.
If the post gets upvotes in a short amount of time it ranks higher
Business analysis Executive development Program
Neural Net learns to play Atari "Ice Hockey"
Rektifyy.tk+||+1.0.0
If we're just talking about compiling a typed language to javascript, gwt did it 12 years ago.
Sounds like Magic Leap developed schpilkaz in their genektagazoink. The demo was like buttah. Like a big stick of buttah. I love Rony Abovitz, but he's a little ibaboodled in the kebbie. Talk amongst yourselves. I'll give you a topic: Magic Leap is neither magic nor leaping. Discuss.

https://www.youtube.com/watch?v=oiJkANps0Qw
I guess there's something I don't understand. I couldn't find any information about them being sued. I can't figure out who else would sue them for not meeting their targets aside from shareholders who feel they were deceived.
> BuckleScript is fast, and compiles to readable JavaScript.

What is the obsession with having readable JavaScript? In the debugger (devtools) I don't want to step through the low-level assembler instructions (JavaScript), I want to remain in the high-level language where reasoning about the behaviour is actually possible. We have sourcemaps for a reason, make use of it!
I miss the days of pixel art and 90s anime. I just can't appreciate contemporary game art.
I see.
I was under the impression that you were criticising this study in particular - apropos of assumptions.

Sorry.