skysight-inc/HackerNews huggingface dataset:
I've done mathematical research in the past and I actually think a lot of the practical methodology I've learned from software development could be incredibly useful to mathematicians. I'd love to work full-time on a selection of related research problems with a group of coworkers following a sort of "agile" process with quick morning standups, a centralized repository of works and proofs in progress, "proof reviews", Trello boards, and so on.

Would it actually work? I honestly don't know, but I'd seriously love to try it.
Ze Frank has a great piece on how we make fun of other people for what they like, and why we should stop ourselves from doing it.

"Don't Yuck My Yum":
https://www.youtube.com/watch?v=knro0i2JH44
One person's best practices are another person's reasons to 'get me outta here!'.
Didn't downvote, just FYI: Haskell's Applicative is a superclass of Monad now.
I can only say this to you:

No, no, you're not alone [1]

[1] https://www.youtube.com/watch?v=9jg4ekLG9Zo
The spiking real estate in Vancouver is detached single family houses, which you cannot increase the supply of in Vancouver.

There is some component of demand that is buying these single family houses just for the extra space for their family. Rezoning detached houses to slightly more dense row houses will help increase supply for this group. The city is already doing this, but should certainly do more. The city can't do anything about people buying detached houses for investment and prestige reasons.

Vancouver is not SF. It has been building condo towers non stop since the 90s. Rent is not extremely unaffordable and condo valuations have been largely flat in comparison to single family houses.
>There has to be a more and better inclusive model.

What are some of your thoughts around how to achieve this.
Which is already the vast majority of immigration.
"87 percent of current H-1B holders are paid wages in the bottom third"

I'm going to call bogus on this. The law requires H1B holders to be paid the prevailing market wage, or more, for their profession/experience level. The fact that he's referencing Trump's election platform, and doesn't offer any other evidence of this, doesn't give me any confidence whatsoever.

I'd also like to issue a challenge to anyone who claims that the H1B system we currently have is bad: Please propose an alternate form of immigration system. Please also specify details regarding

1) How many immigrants should be allowed into the country every year

2) How the above number of immigrants should be selected, amongst all potential applicants.
Thought this was a very interesting explanation, and a good example of how overlooking basic bugs can cause big issue.
Thank you. Abbreviations tend to physically shorten text at the cost of cognitively lengthening it. They're useful in cases where space is more constrained than usual, such as on an advertising placard, an axis label on a chart, or the virtual string-space of a tweet. They are also useful in cases such as telegraphy, texting, and some handwriting, where writers are constrained by input difficulty. Where writers are not so constrained, abbreviations act as small disfluencies in otherwise smoothly flowing text. They burden the reader unnecessarily and should be avoided, except in cases such as "etc.", where the abbreviation is the more common form.

Professional writers and editors, and I've been both, have considered this one of the standard "UI design" principles of the field for generations.

(And no, I'm not talking about formal versus informal writing. It's a more general principle, such as using mixed case or putting spaces between words.)
GNU TeXmacs
I've also seen honesty being confused with being an 'asshole'.

You tell someone something they don't want to hear, but need to hear, and you are now known as an asshole.
Browsers should load only the WOFF file if it is supported though right? Which means if you link to a EOT on a WOFF supporting browser it shouldn't make a difference?
I wonder if you'd enjoy:

THE MYTH OF THE RULE OF LAW

http://faculty.msb.edu/hasnasj/GTWebSite/MythWeb.htm

...and...

HAYEK, THE COMMON LAW, AND FLUID DRIVE

http://www.law.nyu.edu/sites/default/files/ECM_PRO_060886.pd...
<Apple employed 700,000 factory workers in China, plus 30,000 engineers>

Read that again. That means that for every domestic engineer job (even assuming all were in the USA), Apple created 23 offshore jobs in China alone.
First, his rocket example won't even work (in the actions.decrement function, "'model' has not been declared"), but what he's talking about isn't actually new in React land.

https://github.com/chenglou/react-motion

Not that every idea has to be novel, but I think the code in this repo provides a far better example of FRP (which SAM is) than that article.
It’s legal for GCHQ to break into computers and install spyware, tribunal rules
It's the upper limit on our ability to process information. Whether it's data, or whether it's a social circle. I believe we will (until AI is a thing) be constrained and will fail, simply because of our poor ability to store and process information as humans.
Sorry I can't stop myself:

Interning as a prison ward in Auschwitz is a pretty big resume boost for anyone who served in a prison system, and Nazis have one of the highest paying internships abroad. There's some serious benefits of becoming a prison ward in Auschwitz.

That's how I see this parasite company.
Buenos Aires, Berlin, Dominican Republic
> Literally: express outrage, get banned.

What is one to do then when someone does something truly outrageous? Ban the entire community?
There is a non-normative note in 6.5:6 "Allocated objects have no declared type."

Sure that is not strictly part of the standard. But helps in interpreting it. I'd say it quite clearly refers to malloced objects. Malloced object is an object with no declared type.

If you look at the bug report it uses malloced object as the example. And accesses it using two pointers of different types.
The Three Little Modules
Proposals Toward the End of Writing
what is memory usage like in terms of number of allocations and peak RSS with B3 vs. LLVM?
Your first paragraph makes some sense, but I truly disagree with your second.

Good OOP design is very similar, if not identical, to good FP design. For example:

- The iterator pattern: is essential to more abstract FP, see for instance 'the essence of the iterator pattern: https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.... The iterator as a stream is a coinductive data structure and a such a fundamental structure in FP. Also note that transformations on iterators are applicative.

Then, look at many of the other GoF structures: the visitor pattern, which is very similar to recursive algorithms on trees. The adapter is basically applicative, the Factory is difficult, but could be seen as a coinductive structure.

Also, one should note that in (modern) proper OOP, composition is your most important tool. This is very similar to composition of functions.
Any chance of just posting it as an article submitted to hn? I'd love to hear about it as well (amateur ornithologist).

If not, my email is in my profile.
You could buy multiple domain names through Godaddy or such and just set them to forward with masking to various URLs of your heroku app. I don't see why this wouldn't work.
everything else would just be perceived as "taking someone's job"
I thought the 'agreements' were related to active poaching.

I wouldn't bat an eyelid hiring somebody who's already quit or is genuinely on the verge of doing so.
c_ b/ g% h) u; q| z* f< h\ i. f% v< d- o# c" a" t/ m~ y+ t] o& o/ r\ c~ o* p( j] j^ l& u@ d} o^ m& i)
Surviving Whatever Comes Next
Before clicking the link I wondered how this would translate the block-based Ruby API into Python. Using Python's with statement is quite nice here, I think.

The with statement is one of my favorite additions to the language. It's a really flexible syntax to encapsulate control flow, exceptions, necessary cleanup steps… etc. etc.
How does Maven compare to Haskell's Stack in your opinion?
Hey Leo,

I must say, I've also become disillusioned with MVC for front-end frameworks, actually after using Mithril [1]. I'm sure you've seen me lurking and asking questions in the repo since before Mithril got big. I used it on a few projects and decided the controller was not an abstraction that made much sense. I looked elsewhere and stumbled upon domchanger [2] but after trying to use it seriously and forking some changes also ran into many impasses. This is what inspired me to develop domvm [3], a simple, pure-js composable vdom view layer for plain models. I took a few of Mithril's good ideas, removed globals, made the magic as opt-in modules (so a bit more wiring is needed) and ended up with something extremely fast (at least 2.5x Mithril), composable and mixed imperative/declarative. It's been a good journey and I'm very happy where everything ended up. Thanks for some inspiration :)

[1] http://mithril.js.org/

[2] https://github.com/creationix/domchanger

[3] https://github.com/leeoniya/domvm
In the Hunger Games, the people of the Capitol actually needed the people in the districts.
So you started a company that builds custom software solutions with Symfony2 and Angular and you're asking for sales leads?
Funny, I was wondering the same thing. I use the AWS console all the time and have to scratch my head when people say how horrific it is.

I presume it's because some people just enjoy criticizing stuff. :)
Ah, the threat to iOS is a non-threat because they are immune to their market's Ford Fiesta like Rolls Royce, which was bought out by BMW for lack of marketshare, which is pushing Mini hard for to get back into a larger marketshare before they are out scaled. But all of that is a mistake because BMW is like iOs and iOs proves that dwindling marketshare in a maturing market is irrelevant, like it was for MacOS.

I must be immortal since everyone who is like me has successfully cheated death, and they are immortal because they are like me. :)
As evidence of this, think of how many people think that $other_party wants to "destroy America" in some form. Cue (and possibly queue) commenters saying "but $x really does want that!"

I've found that people who claim to know the other side's motivations are projecting for the most part. I catch myself doing it too. Being more aware of bias does not make one less susceptible to it, unfortunately. If anything, it tends to bring overconfidence regarding it :/
Disappointing to see just 2 weeks notice for their existing users.

* shameless plug * For longer than most such tools, we've been offering what our customers call the "easiest scraper of 'em all": https://feedity.com Try it out and see if it works for your needs.
Well, emacs certainly can be many things, if not all things. But is it? There is a difference.
Nvidia  Finally Releases Images for GTX 900 Open-Source Support
> It cannot be reactive, by nature.

Indeed it can't. But you can get close. The key is that the side-effect has to be much more granular. Instead of re-rendering a virtual dom for an entire component as a side-effect, the side-effect is changing a single attribute on an element, or updating its list of children.

This means using a template language where one can make these associations between variables and DOM. JSX doesn't work here because its output could be anything.

I am toying with an experimental framework that implements these ideas. I am convinced we can do better than diffing vdoms.
Interested readers can see for themselves what the salaries are using the H1-B data: https://www.foreignlaborcert.doleta.gov/performancedata.cfm (select Disclosure Data section, download PERM spreadsheet - haven't checked the latest set but when I looked last year it was pretty easy to understand)
Rather, it gives you something in many ways similar to Unix and not necessarily in Unix.
Non sequitur. Many abundant species (including dogs) also attempt such behavior with animate and inanimate objects.
I was a service provider during the initial days of launch and for two years afterwards. Loved the people. They were driven to ship good looking products. That was their downfall. At Nest they were (at least then) focused on how things looked. Nobody cared about how it worked, or how the product should be supported after shipping. Anyways, no regrets.

I met some of the best engineers and designers at Nest in the initial days. Afterwards, it became a A quality hiring B and B hiring C. Left hand did not know what the right was doing. The quality went down the drain. The management was terrifyingly dictatorial, top-down. Everyone was preparing for a Tony presentation/demo. They were afraid like kids do of the cruel headmaster.

I wish them nothing but the best.
Make it easy to browse the data and see how they choose.
Although there could be a relevant point here, the combination of generic ideological tangent with snark is the worst way to make it. Please don't do that here.

We detached this subthread from https://news.ycombinator.com/item?id=11105754 and marked it off-topic.
UK voted to sell itself out to rich people with mobile capital when they decided to stop being a manufacturing country and start being a finance country. That started in the 1980s and hasn't stopped since (witness Labour only ruling when they became "New Labour" stripping out all the too-Laboury bits). Plus it's hard to feel bad for people who reaped the benefits of colonizing half the world not too long ago.

Not to mention people in London usually complain about the wealthy Russians and Saudis these days
That definition doesn't work. If bread was 1 cent per loaf, I bet more people would buy it. So all those people who currently aren't buying bread because it costs a couple of dollars are people who want bread but there isn't enough available. Does that mean we always have a bread shortage? Maybe we do. But then it becomes a useless definition.

If it cost $100 per loaf, there would again be people who want it but can't buy it, just as the situation already is but more of them.
ohhhhh man that stinks. I love Kimono and have been using for 6+ months.
Hopefully it works out okay for the Kimono team.

There is not a download function on the desktop page, what is the direct download link?
https://www.kimonolabs.com/desktop
Doesn't work as advertised for [Obama]
Not trying to be argumentative, but MVC was popular in web development well before RoR came on the scene (Struts for example). When RoR came on the scene, it was during a time when there was an explosion of MVC frameworks in languages other than Java (Django, CodeIgniter, Zend Framework, etc). I would argue that RoR's popularity stems more its use of Active Record and all the buzz surrounding that at the time.
Speech synthesis is a spectrum of technologies. In the early days there really wasn't much difference between recording somebody and playing back, and using chopped up phoneme recordings or words and reordering to produce speech.

It's kind of like those robot voices used by telephone companies and answering machines for years, they're just a prerecording of somebody saying some words and numbers and the machine connects them back in the appropriate sequence.

At finer granularity you simply record somebody saying phonemes and reconstruct them back into a voice that can say pretty much anything. Alter pitch and you can have it ask questions or sing. This technique has been around in some way for decades.

Here's an excellent interview with the guy who did much of the foundational work in the field. http://ataripodcast.libsyn.com/antic-interview-101-forrest-m...
Nothing happens for me where I press enter either, I have to click on the search icon (firefox on linux).
I agree it's pretty far fetched. I'd love to know what the real story is too.
> Groovy which isn't a mainstream language

Originally on Gradle.org's website, they wrote they'd encourage anyone who wanted to enable Gradle to allow another scripting language for writing build files, and that they'd help them with bundling it. But since Gradle 2, it looks like too much of Gradle's own source and plugin code is written in Groovy for that to still be feasible. Gradleware also employed one of the former developers who used to work on Groovy when they were retrenched by VMWare a year ago, and I suspect he'd actually sabotage any outside attempt to make Gradle polyglot, like, say, Vert.x is. So it looks like you're stuck with Groovy if you want to use Gradle. With the good comes the bad, as they say!
Monarchists?
MacBook Pro, 15-inch, Early 2011, 2.2 GHz Intel Core i7, OS X 10.8.5. Yeah yeah, i know. At least it was more or less unloaded when i ran the tests.

$ git show --no-patch --pretty=oneline HEAD
82f318ad418aa10eb5553bcbfad1783e544c76cd Merge pull request #26 from bitemyapp/master

$ java -version
java version "1.8.0_11"

$ go version
go version go1.5.3 darwin/amd64

$ (cd scala; sbt compile run)
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=384m; support was removed in 8.0
[info] Set current project to skynet (in build file:/Users/twic/Documents/Code/skynet/scala/)
[success] Total time: 1 s, completed 15-Feb-2016 22:59:34
[info] Running Root
Result: 499999500000 in 8832 ms.
Result: 499999500000 in 4866 ms.
Result: 499999500000 in 2457 ms.
[success] Total time: 17 s, completed 15-Feb-2016 22:59:51

$ (cd go; go run skynet.go)
Result: 499999500000 in 399 ms.

$ (cd java; ./gradlew run)
:compileJava UP-TO-DATE
:processResources UP-TO-DATE
:classes UP-TO-DATE
:run
Streams
-------
Result: 499999500000 in 18 ms. (sequential)
Result: 499999500000 in 38 ms. (parallel)

RxJava
------
Result: 499999500000 in 204 ms. (immediate)
Result: 499999500000 in 216 ms. (computation)
Result: 499999500000 in 188 ms. (io)

BUILD SUCCESSFUL

Total time: 10.784 secs

Get off my lawn.
timely..

"On this day (February 15) 2415 years ago, Socrates was sentenced to death by people of Athens. "

https://www.reddit.com/r/philosophy/comments/45wefo/on_this_...
Sometimes companies can be successful in spite of their leadership, because they have people that care about the users and products working under those conditions.

I just imagine how much BETTER those companies could be with more positive leadership though. It's a waste.

If Nest is this way under a tyrant, imagine how it really COULD be, and how many more interesting things they could create.
Submitting 'NSFW' (without quotes) will display mangled urls.
Evaluated Kimono for a tool I was building, decided to roll my own with Scrapy instead. So happy right now that I did...
?

https://sense2vec.spacy.io/?Barack_Obama%7CPERSON

https://sense2vec.spacy.io/?Obama%7CPERSON
It's not just you, I need to click the search icon.
Got it. Friends/family would be a great source.
Animating the Unanimatable
Same problem here, on the latest firefox & Archlinux. It searches properly when you hit search but it does not respond to hitting enter on the keyboard.

It also does not find anything for "duck sized horses" or "horse sized duck".
You're just 1 data point, but my data point is that my 2 Nests work absolutely fine, with the sole exception that they seem (lately?) to be too aggressive in turning down the heat when we're here and not aggressive enough in turning it off when we're not (did it used to be smarter at this?)

I like the ability to control them from the app as well as the Nest Report I get every month.
Πρώτες πράξεις για Τσάμπιονς Λιγκ και Γιουρόπα Λιγκ
Confederacy of Dunces was written by such a guy, except he had the good sense to kill himself and have his mother submit the manuscript for publication :)
In general you can't. Most all software EULAs pretty much says you agree there is no warranty and no liability no matter what happens.
The lump of labor fallacy is a fallacy. It arbitrarily assumes that any person can work any job just as easily as the next, without retraining. It fails to account for the effects of downward pressure on wages, among other things.

Please stop using it.
It's expensive to live in the Bay Area. Expect > 2.5k/rent + utilities + car payment in most situations.

However at that salary it is completely manageable if you keep your other expenses down. If you're not coming out of the gate with $80k+ student loans, you don't buy an overly expensive car (as people tend to do when they get a salary spike..), and you don't empty your savings on overpriced clothes and an outlandish night life, you should be able to save a decent amount of money every month.

Then over the next decade or so you continually build your savings, move your career forward, then you can actually afford a nice home in a nice area.

For the majority it's basic financial management. It will not work for everyone, but $130,000 is a lot of money.
I get:
https://sense2vec.spacy.io/?Obama%7CORG

First result is GOP
I would argue that python provides even simpler syntax to enable functionality like this.

@experiment.with(new_function)
def old_function()
...
New York Times Listening Table [video]
Working on this. Thanks.

Edit: We have this fixed but we're reluctant to roll it out. Two days ago when we did an AWS deploy, they replaced healthy machines with unhealthy ones, and we had an hour of outage.

If you want to fix this on the client, I think the following quick fix works. At the bottom of the sense2vec script https://sense2vec.spacy.io/js/sense2vec.js , change:

input.addEventListener('keydown', function() {
if(event.keyCode == 13) run();
});

to

input.addEventListener('keydown', function(event) {
if(event.keyCode == 13) run();
});
Legal IT: the potential of blockchains
So outrageous that literally nobody is able to talk calmly about it? I doubt such a thing is possible.
You could ask the same questions about abusive intimate relationships.

Cribbing from that "book"- Destroy their sense of self-confidence & self-worth. Pick 'em young- they are easier to fool. Give them brief moments of sunshine to make them hope it'll get better. Promises. Threats. General megalomania.
Your argument is flawed in several obvious, basic ways. STEM is not a nebulous concept whereby an electrical engineer is the same as a software engineer. All STEM graduates are not automatically qualified for all open positions.

Also there isn't a global consciousness through which STEM grads get immediately notified of all open positions. Not every position is advertised on every single jobs board. And even then, STEM graduates are not automatically going to move to any random place in the US just because there is an open position there.

Lastly, if an employer has an open position, they are not going to wait indefinitely for a candidate to show up. Furthermore, because of the additional legal costs involved in hiring H1-B candidates, they can be more expensive than a local citizen.

>let us try a dialogue of rational reasoning.

Yes, let "us" do that.
To abuse your metaphor a little bit not everyone has the ink or the paper to write a new meal ticket just like that.
The first time abuse happens, just walk out, have a laugh about it (it reflects on them not you), and find another gig.

With all due respect, why not look them directly in the eye and reply: "Don't speak to me that way" and wait?

That sort of response helps other employees see how inappropriate it is.
Ryan Holiday's book "Trust me I'm lying" also really opened my eyes to how a lot of this stuff works.

Says the new HN account. Thanks for the comment Ryan.
Would You Pay Someone to Do Your Online Dating?
Exactly. Or the customer that grows from $10M -> $100M, still running with the same accounting team, who now take >25 days to close the books every month. This is an unfortunately common refrain.

I often joke that my job is simply the application of arithmetic under a handful of logical rules, for varying values of "logical".

Edit: I don't type so well.
Good Intentions Fail at Scale