skysight-inc/HackerNews huggingface dataset:
The merry pranksters who hacked the Afghan war
This is pretty awesome. React and typescript have independently improved my opinion of javascript - now we get to use them together.
출동119구급대 Ambulance Car (Fire&Rescue) 4 Button and Sound Effect Friction Action
You need two competent programmers and, more importantly, buy-in from about six people to let you hire them and substantially more once you go to implement the recommendations pulled from the data. You do not need a very complicated data storage solution, but your local IBM or Oracle rep would be more than happy to explain the benefits of their $100,000 offering over a steak dinner.
Heck, even use HaMLet to bootstrap it.

Hamlet is a portable SML implementation written in SML.

http://www.mpi-sws.org/~rossberg/hamlet/

(Not unlike SICL, which is a portable Common Lisp for R&D https://github.com/robert-strandh/SICL)
Instead of starting from the mathematically "rigorous" notation, I am able to jump to a more familiar idea and proceed to link it back to the notation and rigor described in the definitions and associated theorems. This is a much more "efficient" way, in my opinion, than staring at the notation and trying to decipher it for hours. Having examples makes it easier to understand the context of the symbols and rigor involved: by having a specific example of a general form.

Hmm are you in Applied Math? Or by "graduate" you mean perhaps some kind of terminal (non-PhD track) Masters program? Because "staring at the notation and trying to decipher it for hours" (when lucky; sometimes it could be days, or even weeks) is precisely the bulk of the Math graduate experience IMO --especially after quals...

Also, do know that after a certain point, the whole "examples then general form" approach is not just barely applicable (e.g. the 'example' alone often requires so much setup that it ends up being harder than the formal statement itself!) but is also a serious handicap to your capacity for thinking 'syntactically' from formal statements alone. Terry Tao has an excellent post on this[1]; although it might or might not be exactly applicable to your situation...

[1] https://terrytao.wordpress.com/career-advice/there’s-more-to...
This isn't going to be a problem you can solve with a quick question on HN. You need to sit down with someone with a list of project goals and a budget. I'm happy to chat, because I know how frustrating it can be from your side of things. My email is in my profile.
Concentration camps were mainly in Poland, because at that time Poland had about as many Jews (~3 mil) as the rest of the Europe combined (~3.5 mil), and it was a fully controlled, occupied state. It was just an engineering optimisation, however dark this sounds.
That's cool. I'm trying to use it right now. What I don't like so far is :

1. Lack of definition files for some isomorphic flux implementations ( like yahoo/fluxible ) ;

2. Lack of big projects written with TSX to learn from ;

3. No support in WebStorm ( even 11 EAP, dated 09.09.2015 ) for TSX files ;

With No. 1. as most annoying I would recommend for anyone trying to do isomorphic NodeJS + TypeScript app to be really patient and to expect writing commits to DefinitelyType repo.

Kudos for TypeScript team for implementing TSX it would be great when it's out of beta.
Yes but the price to write to the Blockchain is so low, a few cents that it's really accessible to everyone. I think Bitcoin is still a very significant development purely because it's completely independent from the existing global financial system.
I don't think it is...
This is the official Nazi doctrine but that doesn't mean Hitler's own views aren't more complicated.

Like most cult leaders, he probably didn't believe his own bullshit the way his followers did. I think there are some hints that this is true.
I think you missed the point. Money would be the last thing you needed to survive there.
Note that you don't need the declaration files. They are entirely optional. You can get started right now and add them gradually as they get written by the community.
I usually use alcohol or H2O2... But, really? Why is this here?
You are a n00b. Don't worry about it. You might think you are not. You might even think you have a shit-ton of experience because you wrote your first program when you were 5 and you've got a CS degree and you have worked on many personal projects and some freelance stuff. But your lack of self-confidence and your view of everybody else's mental processes show that you are new to the industry, you might be suffering from impostor syndrome, and your boss/employers might be taking advantage of that by giving you the n00b treatment, which basically consists on assigning you titanic tasks you are not prepared to do and leave you to your own devices, requesting that you finish them in what would barely be enough time for somebody who has done it a million times already (and charges a much higher rate for doing it). You are cannon fodder. You will either get through this phase and move on to the next level where you can accurately assess your competences and delegate to your underlings whatever tasks you are not fully capable of doing efficiently yet and don't care about; or you will burn out, give up and let your career die. I don't think you have just discovered you are not a genius. But not everybody in the industry is a genius. In fact there are very few, and soon enough you will be spending most of your time battling with less experienced, less competent people suffering from Dunning–Kruger effect delusions and their clusterfucks. Because they are the fewer, but boy do they mess up.
G­­o­o­gle­ is <-paying 99$ per hour! Work for few hours and have longer with friends & family! On tuesday I got a great new Land Rover from having earned $8752 this last four weeks. Its the most-financialy rewarding I've had. It sounds unbelievable but you wont forgive yourself if you don’t check it.....w­w­w.B­u­z­z­3­4­.C­o­m
Is there much difference between this and the built in windowing features of gdb like `layout asm` and so on?
Hitler believed in something like an even more brutal form of Manifest destiny. He hoped the great crimes required for building a great empire would become distant memories. He believed he was the brave soldier willing to do the hard things required for his people's long-term success.

https://en.wikipedia.org/wiki/Manifest_destiny

https://en.wikipedia.org/wiki/Indian_Removal_Act
What about the impact of reduced insolation on photosynthesis? Wouldn't crop yields be lower? And what about reduced carbon sequestration via buried biomass? Not to mention ecosystem-wide impacts of reduced photosynthesis.

But as long as it's under control, I suppose that shading could be adjusted as appropriate.
This Teen Blockchain Wiz Might Destroy a Billion-Dollar Forging Empire
I highly recommend Reading "He's Back", a satire: "
Narrated in the first-person by Hitler, the story follows the Führer as he awakens from a 66-year sleep in his bunker beneath Berlin to find an entirely changed Germany. In the celebrity-obsessed modern-day city, everyone assumes the fulminating leader of the Nazi party is a comedian in character — and soon he becomes a celebrity with a guest slot on a Turkish-born comedian’s TV show. His bigoted rants are interpreted as a satirical exposure of prejudice, leading him to decide to start his own political party.
If you think "people totday would-be never fall for his BS, think again. http://newsfeed.time.com/2013/02/10/hes-back-hitler-satire-t...
If I run a scientific scam, keeping dead brains frozen for the show is an obvious thing to do.

It would be like a relic[1].

I'd add some testaments to it with untestable claims.

You know, the usual.

The main difference between Cryonics and more established religions is that Cryonics is an unproven sect. Major religions survived and polished their traditions for hundreds or thousands of years.

Cryonics movement is younger than Scientology[2]

---

[1] https://en.wikipedia.org/wiki/Relic

[2] https://en.wikipedia.org/wiki/Scientology
related (ok, not actually related, but funny): http://www.savagechickens.com/2008/04/endorphins.html
Or they just forgot to include the opt out options.
https://xkcd.com/1314/
> It's way longer

Because of the much longer type names which have nothing to do with the syntax.

By just replacing all the type names by the original single-letter names, it goes from 107 to 72 characters, that's almost 50% increase in size (49%) due to longer type names, which incidentally is nearly double the increase in size between the Haskell signature and this new signature (57 -> 72, or 26%)

def M2<A1, A2, R, M: Monad>(f: (A1, A2) => R, a: M<A1>, b: M<A2>): M<R>

Funnily enough, this expansion is relatively worse if applied to the Haskell signature (57 -> 87, +53%)

> Naming the monad "Action" may be misleading depending on choice of Monad

Nothing to do with syntax either.

> It's tied syntactically to the syntax of the implementation

?

> The argument names are superfluous (to the type)

That can trivially be removed when just displaying the function's type (`f`'s arguments are not explicitly named after all), likewise for the unnecessary type quantifications, so a type-view of this function (rather than a source view) could be:

def M2<M: Monad>((A1, A2) => R, M<A1>, M<A2>) => M<R>

Oh look, it's now shorter than the original signature (though somewhat more noisy, I'll give you that)
This claims that the network makes twitter, not the 140 character limit. Well, it was that 140 character limit made the network in the first place.

The author describes reasons why the 140 character limit is a problem (e.g. you can't have long conversations), in which they absolutely miss the point. Twitter is not meant to solve all of your communication needs. The 140 character limit allows Twitter to be a reliable source of quick bits of information - you can dive deeper if you want, but it's a great cursory overview.

Tools don't have to solve every problem. They can (and probably should) solve one specific problem really well. Twitter does that.
It's fine for my atypical usage ... but then I am on Linux and have never liked itunes so have no music on there, and don't take many pics as am with someone that doesn't like photos taken.
The idea that a 'nationalism' with particular ethical values in conflict with Judaism, like Catholicism has moral and ethical values which conflict with Judaism, as a source of anti-semitism was refuted and replaced with Darwinism versus Judaism and the notion that the absence of ethical value was directly opposed to ethical value.
I don't think Snyder means Hitler had a tactical plan and an exact route of achieving a specific goal. He means that Hitler had a certain vision, and many of his actions can be understood as being influenced by that vision. Even if Snyder claims a more calculated approach on Hitler's part, I think his basic interpretation of the vision is enlightening enough even if you don't buy the theory of the calculated mind.
Its part of the hardware (emulated by qemu). A VGA card (or any other text mode capable video adapter) will use either a portion of ROM or some part of video memory to hold the font from where its accessed simultaneously to the beam drawing the CRT screen. (Hercules, CGA, EGA, VGA all did this).

In contrast to this, many Unix workstations never implemented such a thing and went directly to graphics framebuffers (SUN cgX framebuffers for the ... Sbus??). For that, of course you have to implement the font rendering in "bios" , or in the case of the sun machine in the OpenFirmware. Slowly.)
I wonder where Hitler was inspired and adopted anti-Semitism. Some sources attribute to his years of homelessness in Vienna, a city known for its virulent anti-Semitism.
Others blame it on composer Richard Wagner, of whom Hilter was an ardent admirer of. While other musicians like Chopin were also anti-Semitic, Wagner remains as the most notorious. His musical works suggest disgust towards Jews, notably Meistersinger and Parsifal, while essays like Jewishness in Music express it more explicitly. But Wagnerian anit-Semitism was rather cultural, as Stephen Fry put it once. [1] Now that Wagner’s reputation has become retroactively tainted with its the association to the more radical anti-Semitism of the Nazis, I’m thinking he would be rolling in his grave.

[1] www.youtube.com/watch?v=16noW1H0yq8
Are you suggesting there is literally no way to check these things?

Remember, this is a company that enters into a contract with you, if they don't do as they claim, they are hugely financially liable. They've been around for longer than many other companies, do you think they would have been able to hide massive fraud for all this time?

AFAIK, we're not talking about some "faith-healer" off in a corner somewhere, we're talking about an actually company, with facilities, doctors, etc. I imagine with open books as well, though I'm not sure.

Let me ask it the other way around - what would it take, theoretically, to convince you that it's not a scam? At least not in the way you are claiming (which is that they're not really preserving brains/bodies)?
I usually write the declaration files that I need and submit to the repo. It's not that hard :) and your app feels kinda 'complete'.

I would take the opportunity to address the DefinitelyType repository issues.

Actually if anyone from TypeScript team reads this, they should know people there are struggling with that.

There are multiple flaws in gathering so much development code under one roof and a lot of discussion that goes nowhere [1][2][3]. What would be great if there is some sort of "native" support / recommendation of definition files.

1 : https://github.com/borisyankov/DefinitelyTyped/issues/5040
2 : https://github.com/borisyankov/DefinitelyTyped/issues/2150
3 : https://github.com/borisyankov/DefinitelyTyped/issues/4513
The introductory economics courses at my school didn't require calculus. This would have been less annoying if every single topic hadn't been explicitly introduced as finding the slope of, or area under, particular curves.
Weeks wages? More like months wages for me lol
This is great news without a doubt, Does anyone know what is the direction Typescript is headed now that ES6 is becoming increasingly supported?
But of course nowadays most distributions use KMS and put the consoles in a graphics mode on which the virtual console is emulated.
> Start with the conclusion and then work backwards.

That's just not true (I studied history in graduate school). It is true, however, that sometimes you look at the facts and a certain pattern emerges, and you then go back to find further evidence for that pattern. But you full-well realize that you're by no means providing an absolute and complete model of reality -- just an aspect of it. The reason is that in a complex system, it's very hard to build models that are both "predictive" and descriptive. So you settle for an approximation, with the assumption that your readers understand it as such. Few historians claim that their model is complete.
>The whole problem of the Jews exists only in nation states, for here their energy and higher intelligence, their accumulated capital of spirit and will, gathered from generation to generation through a long schooling in suffering, must become so preponderant as to arouse mass envy and hatred. In almost all contemporary nations, therefore – in direct proportion to the degree to which they act up nationalistially – the literal obscenity of leading the Jews to slaughter as scapegoats for every conceivable public and internal misfortune is spreading."

—Friedrich Nietzsche, 1886

Snyder seems to ignore the plans for expulsion of Jews to areas both under and outside of German control. This includes Palestine, which was specifically mentioned when talking about Polish anti-antisemitism. Why omit this fact? As for the argument that that the killing could only be done in a "zone of anarchy" well, the Nazi-German state did not leave a vacuum after invading Poland. Instead, they took over state functions. A genocidal state, but a state nonetheless.
This is one of those situations in which incremental improvements in technology add up enough that they enable some pretty amazing applications. Very cool.

Aside from the 3d printing, this is possible largely because of huge advancements in immune-inert implantable materials and anti-biofouling coatings. I think we're ready to see this sort of thing become the norm very very quickly.
Which presidential campaign is winning over Silicon Valley? 'None of them'
Google "The Highlander".
It's just going to keep getting more features from ES6 and ES7. Some of the features in ES6/7 were taken from TypeScript, I reckon.

https://github.com/Microsoft/TypeScript/wiki/Roadmap
Location: Los Angeles, CA

Remote: Yes

Willing to relocate: Yes

Technologies: AngularJS, Node, MongoDB, Ionic/Cordova, Android, HTML5, Canvas, D3

Resume: http://mankind.com/resume

Email: markallenhall@gmail.com
Language Design: Declarations
We were cracking games in the early 90ies using Borland Turbo Debugger on two machines with a null modem between them.
Use /dev/urandom instead of /dev/random
See http://www.2uo.de/myths-about-urandom/ for the reasons
I somehow understood the same thing(a graph is a collection of points that makes a function true..) a year ago through Gilbert Strang Big picture of derivatives: https://www.youtube.com/watch?v=T_I-CUOc_bk
The tandem experiment is a very clever way to have them communicate.

This doesn't exactly prove anything about a language but it is a good way to obtain valuable sound data.

I wonder if higher order training could be achieved. I.e. Instructor signal one dolphin a secret command, dolphin communicate with second dolphin and second dolphin does the trick - to test if sounds used to organize the tandem are the same or related in any way to sounds used to relay the secret.
I would be interested to know about the difference with TypeScript and Flow, which can do the most ES6/7 things, which has the most expressive type system.
The email field on hn profiles is hidden, if you want people to see it you should post it in the about field.
> and square numbers have just the right number of stones to make a square!

This one bothers me, because I don't think it's right. You can define the triangular numbers easily: 1, 1+2, 1+2+3, 1+2+3+4, ... and it's easy to arrange that number of dots into a triangle. The difference between two consecutive triangular numbers is always increasing by one.

The difference between consecutive square numbers always increases by two. The squares are 1, 1+3, 1+3+5, 1+3+5+7, ... and it's also easy to arrange square numbers of dots into squares.

So the difference between pentagonal numbers always increases by three. The first few pentagonal numbers are 1, 5, 12, 22, .... But pentagons don't tile the plane. How do you arrange a pentagonal number of dots into a pentagon? (Wikipedia has a proposed solution on display at https://en.wikipedia.org/wiki/Pentagonal_number , but the pentagons it constructs have no obvious internal structure. The square you construct from a square number of dots is symmetric wrt rotation.)
Having worked in a public educational setting before, I would recommend finding out whether you actually have an option to do something yourself before spending a lot of time on it. My experience tells me that the people running the system you're trying to get away from are likely to be territorial; it's extremely disappointing to get really invested in making something better only to have politics scuttle the effort.

There may be also be regulatory things (ferpa, etc) your solution would have to comply with.

Aside from that, your request is more ambiguous than you realize. You're going to have to be more specific about what you're trying to do.
> Kids in high school don't think of the graph of a function as being a subset of points of the plane

This is literally the entire point of graphing inequalities.
Eter9: A social network for singularitans
Producing “You're a kid now”, “You're a squid now” loops in major languages
OpenMP is a bunch of compiler directives (and a runtime library) for easy data parallelism. E.g. #pragma omp parallel for.

This library is a bunch of concurrent data structures (hash map, producer/consumer queue, etc) for multi threaded applications. This is more oriented to task parallelism than data parallelism (e.g. servers and such). You'd use this library together with pthreads or other threading library.

Does this answer your question?
Restoration of First Edition Unix Kernel Sources
Sign this petition to get Ron Gilbert the Monkey Island rights back
Can I recommend IBM Cloudant, first $50 is free if I remember correctly and you can hit the ground running with a webapp using multiple solution out there.

If you like software that has been around for decades using Oracle MySQL, or if you are liberal MariaSQL will do! I will personally recommend Postgres.

No the questions how much they can get out of these datasets and how they are going to collect the dataset is up for discussion.

But maybe just one competent teacher and a class full of enthusiastic kids, can make for a interesting project.
HN, come on - we can make this happen :)
I'm assuming 2 things -
1. The data is accessed by people, so an 50ms of latency doesn't matter so much for most purposes. Writes/modifications are infrequent so even a global lock when writing would be ok.
2. You have about a few hundred GBs of data at most.

If thats the case, the technical problem doesn't really require anything novel. A simple SQL engine like sqlite works - its very common, most programmers know or can pick up SQL and its mature/stable/battle-tested. I would go with that.

For a more detailed answer, maybe you could bring in a programmer or consultant to take a look, although they'll probably charge you way more than its worth.
two books I would recommend anyone wanting to become a great programmer to read:

- the pragmatic programmer

- clean code

I'm not sure I believe articles like this, but myself and colleagues have found these books to greatly improve our coding.
Network aside, I thought the debate originally arose from the fact that few are sure about which problem twitter currently tries to solve.

I'm not a twitter power user but I have the feeling that if they keep solving just this problem Facebook/reddit will soon absorb what Twitter makes great for me. (Which means: the network)
I spent quite a bit of time thinking about a security startup of my own recently and talked to a single investor about it. The wisdom seems to be that the consumer market for security products is a pretty hard one to be in. You can probably make some amount of money as AV & Password managers show, and there are business models that make money on the backend through data, but the prices people are willing to pay are pretty low and you're battling against whatever your customer acquisition cost is.

Personally, I threw out my thoughts of doing anything in the consumer space after writing down some basic numbers of what revenue, customer acquisition cost, etc would have to look like for me to consider it a success. The enterprise space seems a lot easier since I work as a security engineer and have a lot of contacts in the field, but I can see how it would be a lot harder without it. But if the tech is good you should be able to convince someone with connections to come on board and help you sell.

I don't think having an enterprise offering necessarily precludes having a consumer version (enterprises need mgmt features and are generally willing to pay), though it will obviously not be the focus of your company and your tech may morph over time as you align yourself closer with enterprises, but unless you're willing to spend money up front on customer acquisition and charge the customers more than that, you're always going to just be subsidising a free version that most people don't really know about and your real focus will be elsewhere.

I put an email in my profile if you want to talk about it at more length.
The Exceptional Beauty of Doom 3's Source Code