skysight-inc/HackerNews huggingface dataset:
While it's great to hear of progress in the AI research sphere, if you are working in this field, and are truly close to creating true artificial intelligence, I have a little tip for you:

You probably want to learn not to include maniacal laughter in your forum posts.

Just, you know, when you do combine the concepts into theories into worldviews, and you come to post your "Show HN: Generative causal inference in turing-complete domains replicates cognitive-psychology experiments" announcement to share with the world that you have birthed a genuine universal AI, please don't start that post off:

"Ahaha. Ahahahahaaaa."

People will likely get entirely the wrong idea.
Author here. I guess I didn't really think of it in terms of starting at a specific time, I was just looking at the past. I focus mainly on tech entrepreneurship so I'd say maybe mid-90s onwards would be what I looked at.
Apologies, will do!
JS;DR

(I do not mind it when JS is required for something that cannot be done without. I mind it when someone requires me to run an insecure, power-hungry obfuscated script to do something that can be done just as well without.)
It's nice to get people thinking about possible connections and sharing terminology here, but I'm not sure that many of the connections which the article manages to make precise are particularly new or deep.

A neural network is just a mathematical function[1] of inputs and parameters, and of course you can build them up using higher-order functions and recursion. Libraries like theano already let you build up a function graph in this way -- see theano.scan[2], for example, which is something like a fancy fixed-point combinator.

The idea about types corresponding to representations seems like it would be hard to make precise, because at a type level everything's pretty much just R^n or perhaps some simple submanifold of R^n. "Has representation X" isn't a crisp logical concept, and in most type theories I know of types are crisp logical properties.

Even if you can accomodate fuzzy/statistical types somehow, I would tend to think of a representation as being the function that does the representing of a particular domain, rather than the range or the distribution of the outputs of that function. Two very different representations might have a similar distribution of outputs but not represent compatible concepts at all.

Still there is a neat observation here that by combining two different representations downstream of the cost function you're optimising (e.g. by adding their outputs together and using that as input to another layer) you can force them in some sense to conform to the same representation, or at least to be compatible with eachother in some sense. You could probably formalise this in a way that lets you talk about equivalence classes of representation-compatible intermediate values in a network as types.

It wouldn't really typecheck stuff for you in a useful way -- if you accidentally add together two things of different types, by definition they become the same type! But I guess it would do type inference. For most networks I'm not sure if this would tell you anything you didn't already know though.

If you want to find a useful connection between deep learning and typed FP, you could start by thinking about what problem you'd want your type system to solve in the context of deep learning. What could it usefully prove, check or infer about your network architecture?

[1] I was going to say "a differentiable function", but actually they're often not these days what with ReLUs, max-pooling etc. The non-differentiable points are swept under the rug in that I don't see anyone bothering with subgradient-based optimisation methods.

[2] http://deeplearning.net/software/theano/library/scan.html
Isn't that just the Object databases from 15 years ago? I remember using one from Versant that seems to be what you're describing.
If you use an argument and someone provides a single counter example, then your argument is false. That's it.

You can continue arguing your conclusion or view, but you need to find another argument to support it.

The fact that humans could invent super-flight despite not being able to build a bird means that the argument that we cannot build a super intelligent machine because we don't yet know how to make ourselves biologically more intelligent, is not a good argument.
Madison and the University of Wisconsin are developing their startup scene more since I've started here.

The nice part about Madison is that it isn't just the university, like some are commenting about UIUC. The Ionic framework is based out of Madison, made by two Wisconsin grads. Gener8tor is an accelerator in this city and they're growing. They really do provide good opportunities to founders, and they have funding from State Farm insurance that seems to be steady, so I have hope that things can really go somewhere. Though I have to say that having been around their office and at a few events they really don't feel tech-oriented.

And then the university has their own stuff. To anyone at UW-Madison reading this: avoid them! WARF is a hungry parasite and if you do anything interesting they will do their best to take their perceived share.
Project Due Dates Color Coding
I look at AI as a continuum or evolution of software to do more for humans.

Today, if you make a phone call and a computer operator picks up, the experience is not as nice as it could be. In 50 years, it may become indistinguishable from talking with a human.

Similarly, a google search may become more intelligent. Facebook is already going this way with Project M.

Calling a cab via uber may result in a software-driven car picking us up. There is no evidence this kind of intelligence will threaten humans. It's just a tool.

Humans are in the business of solving problems, AI helps us solve problems. Killing us is not solving a problem
and in being so, what exactly is the point?
The text doesn’t say how ambiguity is resolved (i.e., if there are multiple structs that have a member with the given name).

The resolution was that struct didn't introduce a new namespace - it wasn't legal to have the same member name used in two structs in the same scope.
Perl 6 hands-on tutorial – A small introduction to a big language [pdf]
Show HN: Libr – OO Library for C
Female Funders
I would greatly appreciate one. Been waiting ages and it seems joining without an invite is either impossible or taking longer than I have the patience to care for.

Although, to an extent, I feel this does harm the Web of Trust when people hand out invites to random people. I feel since I am not a name - merely a pseudonym - that who I actually am in real life is not a problem. Making it easier for people to confirm I am who I say I am is beneficial.

Email is in my profile.
NoScript and similar are self-inflicted pain. Yes, content should work without JavaScript where possible, but at the same time, comments about it really don't need to show up on unrelated articles. In this case, the site in question is constructed entirely client-side using JavaScript. I'm not a huge fan of that approach, but complaining about it here (as opposed to with the site in question) is not helpful. The same comment could appear attached to any number of articles posted here, and it'd be equally content-free there.
Absolutely, I wasn't trying to say that the University helped start these ventures. From what I see there hasn't been a lot of support for student entrepreneurs on campus historically, but that has greatly changed (a lot of the programs I mentioned are just a few years old).

Pete Koomen's degree was a typo on my part. I've updated the blog post to reflect the correct info.
I think the joke is that "all the way" is making full contact with the ground, i.e. crashing.

Kinda like falling out of a skyscraper doesn't kill you. It's the sudden stop at the end that does.

(But I'm not defending the joke :)
I also wondered about that when AMD64 first came out, and my feeling was "because they wanted to make it harder for Intel too". At the time, Intel was likely already developing a 64-bit extension of x86.

On the other hand, I think the 16 to 32-bit extension (with the 386) was done quite well. 16 and 32-bit code can coexist, and it's even possible to use the 32-bit registers in 16-bit mode; not so with AMD64. It's not too difficult to figure out how to add 64-bit support in a more non-disruptive way, without having to do silly things like removing instructions and features that they had to reintroduce later [1][2].

[1] http://www.pagetable.com/?p=25
[2] https://en.wikipedia.org/wiki/X86-64#Differences_between_AMD...
Show HN: GPU accelerated marine vector maps for Android
I guess, is just that to think that FTL matters and ties up with causality means to grok relativity, and causality issues may be a result of a layman physics views of wormholes, but it generally isn't really a part of it.

I think you are making a category error by saying that wormhole is too loaded a term for the layman in this instance. Non-technical people are generally better at dealing with ignoring the details of a metaphor anyway.
See also the /r/outside subreddit, full of gems like "Please nerf the inheritance system." and "Question: why can't I understand most other players?"
A mind must seem divided to its owner (since we're parallel processors and consider many things at once) but unified to most observers (so they can model us and our behavior without immense time and effort). Stories about ourselves, that we believe, give us a self-knowledge that can be imparted. The quality of these knowledge-nuggets varies wildly, as does our belief in them.

Anyway, saying that we're natural story tellers isn't saying much. What's a story? Wikipedia:
"A narrative or story is any report of connected events"

i.e. a story (in this context) is some carefully curated data about the past, featuring us, and a pattern imposed on that data.

Obviously life isn't (just) a story. I imagine though, that someone who thinks they're very good at curating and connecting data about themselves, would place a high value on their stories, and those stories' predictive power. In the limit, the storyteller might disregard the gestalt data of their senses once the narrative is formed, which might give the impression that life is a story. This may work very well for the storyteller, but it's not the whole... story... the raw material remains in our minds, and has its own value. The best story misses much, adds much. Life is a process, stories are one product.

Another thing to notice: many of us here are assuming that 'story' means '..like in a book or movie!' I submit to y'all that the vast majority of told stories are vastly vastly different from such, to the point that we can often tell when someone's fictionalizing even when they're trying hard to disguise it. Stories about real life often have a meaningless or fractal bent that reveals the structure of their basis-memories, which is beautiful, I think.
The startup time bothered me, as I kept crashing my REPL.
Check the timeline posted in the link... presumably it would be:

Thursday, 3rd of September:

Release v4.0.0.
http://veryshortscifi.blogspot.com.au/2015/08/rent-prole-is-...
> It's hard to play a game that approximates reality enough that instruction manuals aren't provided, but differs just slightly enough to foil expectations.

Agreed. For instance, it takes a while to find out that the "right" way to build a successful city in SimCity (and not necessarily in reality) is to never build a single tile of roadway, and instead construct an exclusively rail-based grid.

On the other hand, some of its city planning lessons work very well: for instance, interleave residential and commercial every other 9x9 block (3x3 set of 3x3 zones, with a non-RCI zone in the middle), rather than separating residential and commercial, to avoid creating huge commutes. (Meanwhile, keep industrial far away from everything so it doesn't bother anyone.)
Overstriking with backspace is something I actually used recently:

https://github.com/TazeTSchnitzel/BBCode630

(to compensate for the limitations of a budget 80's printer)
The first iphone didn't have apps.
narrative means structure, structure means judgement. pro narrative is pro judgement.
TLDR: Zenefits is an awesome company to work for and is growing like crazy. Also, do something to stand out during the phone screen.
I don't see anywhere in his calculations where he takes into account that the more you lean the larger the tire surface against the ground gets. Motorcycle tires are actually intentionally designed for this nowadays.
>Finally, take an industry that these same BLS industry productivity data indicate has seen exceptionally fast productivity growth: textile mills (78 percent productivity growth just since 1997) or transportation equipment (84 percent productivity growth since 1997). (Page 20)

They did! Of course, this is just one example, but they did attempt to point out an industry where productivity growth has been very high but wages have not.
I'm curious, what is your development background, and what do you enjoy most about Node.js?

I come from a Java background, but have been working exclusively with Node.js for the last eight months. Everything I write, I can't help thinking things like "this problem has already been solved in Java many times over", and "this would be safer in a statically typed language", and "this would be faster to write in anything else" (though this is more a reflection on my choice of libs).
Maurice Blanchot, you are still waiting for us to catch up.

"Un récit? Non, pas de récit, plus jamais."
If the _average_ productivity is higher than the _average_ pay, then there must exist at least one particular job or category where productivity is higher than pay. These "underpaid" jobs may be unevenly or evenly distributed across the entire spectrum of jobs, but they must exist--unless the measurement of productivity is in question.
I don't use iOS, but if I did, I'd use it just for multiple search engines, awesomebar history search, and history/bookmark/tab sync.
Creativity, Inc. By Pixar President's Ed Catmull
But then FAKE is just like MAKE which is just like MSBuild or ANT.

IMHO FAKE syntax is not for me.

.NET has F#, nice. JVM has Scala, JRuby, Clojure, etc. But that's a matter of taste/opinions.
Roguelike Tutorial in Rust
I think he would've gotten a better score on the Lisp prediction if he didn't specify Lisp and instead went after Lisp-like features. Metaprogramming and homoiconicity are becoming increasingly popular, as are machine learning techniques.
Not to mention that generally people (especially programmers) are terrible at understanding parallelism and multithreading.
True reality is ineffable. The subjective does not equal the objective.

The nature of consciousness is a black box. Therefore the nature of measurement, of assurance that mathematics matches reality, is only within the context of conscious observation, which is therefore subjective.

The objective truth will not be found within subjection.
The reference to the octal format (2-3-3) of the instructions is to this document:

http://reocities.com/SiliconValley/heights/7052/opcode.txt

If you're at all interested in the x86 architecture, it's highly recommended reading.

(This used to be one of the first search results for "x86 octal instructions". Now it's nowhere in the first 10 pages of results and searching for its link directly doesn't even cause it to appear. What happened, Google...?)
My+Next+Move+-+My+Next+Move
try several months, unless you go with SLC SSDs
For Windows at least, there's IKVM: http://www.ikvm.net/
Maven manage your module/projects from building, dependency management, generating project website (if you want to), deals with packaging, and deployment (if you want to), and many more (via plugins).

Maven is essentially NuGet+MSBuild or Ant+Ivy or Bundler+Gem+Rake without having to manage build tasks manually.

Those tasks are:
1. Compile code
2. Compile test code
3. Run unit-test
4. Run integration-test (separately from unit-test)
5. Setup paths for running unit-test (say you want to use different config/resource files for your unit-test)
6. Package your artifacts _without_ the unit-test artifacts

Maven has these built-in and in a non-disruptive manner. Don't have unit-tests? Maven won't run anything for you.

You have unit-tests source code and assets that you don't want to be included in your final build? Maven will handle that out-of-the-box-no-config needed.

While people might prefer to use "one tool that does its jobs beautifully/correctly", the reality is that you need at least 2 things to build the project: tool to manage your dependency and tool to build+package your project.
One issue to go: https://github.com/nodejs/node/issues/2516

A .bat file is holding up the whole thing!
What is "air connectivity"?
I don't think he's talking about a trade. At the end, he was just saying that he's on the same boat as he's in the same predicament looking for a domain that with a different TLD.

I've never been in this situation before so I would just ask what he's willing to pay for it. That will probably give you a rough number to work with and maybe you can ask for a little more. Sorry I can't give you an exact number.
All the best.
To comment further on that, here's some more information for you guys based on the comparison notes:

* Meteor is a solution for both frontend and backend development, while Telepat focuses on backend functionality.

- You can use it for just the backend if you want. This statement is true, but just noting that you don't have to use both sides.

* When using Meteor in the backend, you also need to use it in your frontend app. Telepat lets you use any frontend framework.

- You don't have to use it with just Meteor's front end (which is I think what you meant). It has integrations with other front end frameworks and you could use it with just about any front end framework as long as you add some boilerplate to communicate with the client-side store and DDP.

* Meteor is a solution for creating webapps, and running on mobile devices works only via webviews. Telepat enables native clients and native functionality for mobile or embedded.

- Not true actually. They make it the easiest to get mobile apps out with Cordova and webviews, but there are various libraries out there like the ObjectiveC-DDP or meteor-ios library that integrates natively with iOS applications.

* Telepat allows using adapters for 3rd party databases, messaging queues and push transports.

- You can do this with Meteor as well and integrate NPM packages.

I hope that helps shed some light on the comparison.

The platform looks great though. I'll definitely have to take a look at it sometime soon.
Such a thing already exists and is commercially available from several manufacturers. Dummy heads are used primarily in acoustic test facilities, but have seen some use for specialised binaural recordings.

The problem with binaural recording is that the resulting stereo field sounds highly unnatural when replayed on loudspeakers. The overwhelming majority of modern recordings and mixes are a compromise between stereo and binaural playback.

https://www.neumann.com/?lang=en&id=current_microphones&cid=...
http://www.bksv.com/Products/transducers/ear-simulators/head...
OOSMOS – The Object-Oriented State Machine Operating System
Per the paper, for drug application to treat pancreatic cancer, the threshold should be lowered to 27.9%.

In other words, if a company wants to make money, it can randomly pick 4 non toxic compounds, and apply for FDA approval for treating of pancreatic cancer through click-trial, in average the company would get 4*0.279 ~=~ 1 compound approved and then market the medicine to the world that the medicine is effective.

They give weight/cost to type I and type II error, and their whole analysis can be changed if the weights changed.

I would treat the paper as a research-toy, self fulfillment. Try to change policy based on the paper would be absurd.
Now suppose that it doesn't stop. Suppose it can't stop.

Suppose no mathematical system is sufficient to describe any universe. It's always just a rough approximation.

Either could be true, I guess.
Many racers, including the referenced GP crowd use 16.5" wheels instead of the more standard OE 17" since you can mount a wider/taller tire. That profile allows increased lean angle due to better grip from the additional surface area of the tire contacting the track surface.
but... you get all of that with Mobile Safari..?
Not quite - looking forward to when more people start exploring Angular 2 and seeing the things done wrong in React in comparison, it is looking like a juggernaut of a library in many aspects.

React is the best relatively stable library/framework we have now though. I would definitely recommend people to look into using it seriously if they had a chance to start fresh, and have recommended it to people learning development, as well as mentored some new developers in using it. Other than some wonky API design in some areas, it is relatively simple to pick up and use. The complexity gets shifted to app architecture, which is always difficult for many developers to wrestle with.
I may be out of the loop here, but wasn't the big benefit of JavaScript everywhere that it's the same JavaScript everywhere?

Does it matter if server-side is JavaScript Next Gen and browsers lag by a few years of features?

Too many more iterations of this and you'll be back to two programming languages again and web developers heads will explode from having to learn two things instead of one things.
420?
> most impactful technology of the 20th century was probably the bicycle

The smallpox vaccine is a strong contender. Smallpox killed 300m people in the 20th century, more than all wars combined. And we wiped it out.
Same for last generation Samsungs (leader in ssd segment at the moment)
Funnily enough I used to work with Albert Treat at the "biotech startup" in South San Francisco. He's an incredibly talented individual, very driven, and contributed massively to the work done at that company.

Great advice, Albert! I'm glad you like your new job, too :)
Speaking as a hiring manager, showing me a cool hack is nice but acing a phone screen requires:

* you know something about my company and why you want to work here (visit our corp. site, interrogate the recruiter, read up on our press and know something about our space)

* you know what we're looking for and understand that we're talking to you because there's some intersection between your experience and our search criteria.

* for that intersection in the venn diagram of our candidate requirements and your resume, brush up a little so that you can speak to how you used technology X. If it was 2 years ago or less know it well... if we're talking 10 years ago being more general is fine.

* be able to describe how you got to where you are in your career and where you want to go.

* know who you're talking to in the phone screen and LISTEN to what they're asking you. i can't count how many folks i ask to describe how they built a particular solution go on to just ramble on about feature descriptions and process without ever getting to how something was built.
Naturally, reading this just makes me want to know what his critique actually was.
The classic coefficient of friction you learn in freshman physics is independent of surface area; the larger the surface area, the lower the pressure, so it evens out. With sticky materials though, this doesn't hold.
Mostly dynamic languages. I really like statically typed languages for certain tasks, but many times a dynamic language that gets out of your way can be quite liberating. It takes a lot of trust compared to a language where your compiler is what you trust - and occasionally you spend a bit of extra time tracking down why things are in a state other than what you expect, but on the whole it takes the time from this is what I need to this is what I have down considerably.
What do you think accounted for the huge turnover and why moving from CA to IL reduced that? Less competitive job options in IL that made the opportunities look more attractive?