skysight-inc/HackerNews huggingface dataset:
regarding inference - where do you draw a line between "let's fail to infer with an error message because of rigidity of the type system" and "let's be flexible and construct a type that will pass all constrains implied by this part of program"?

> the problem with static type systems is that there is a lot of details that you need to figure out to A) be able to use it and B) be able to avoid the edge cases. You'll eventually need to learn about type theory ... which isn't just one thing. Agda and Idris have incompatible definitions of equality and that has an impact. Are your dependent types intensional or extensional? It matters. And that's just the theory side. Two different type systems with the same theory might have different implementation details that impact the programmer. Are you using ML? Is that an applicative functor or a generative functor? Hey, you're using first class modules, cool. Btw you can't use that with applicative functors, don't ask why it has something to do with complicated type theory stuff that took people years to figure out.

that in itself is one of the best arguments for strong dynamic systems with small set of ground types - if before solving your problem you have to solve the problem of how to type your problem and before that you have to learn man-years worth of category theory.. no thanks.
How to solve voter turnout? free donuts?
"The thing is people, even in Catalonia don't want independence" - in your opinion perhaps. Many others have a different opinion. But this is something that could easily be settled by ... a vote on independence.
I also practice TDD, but with a different 'T' - Type Driven Design. I find them much easier to reason about with types and safer (you can't compile your code if it doesn't pass the type check). Just model your data as ADT and pattern matching accordingly.

Of course, types alone can't represent every error cases out there (especially the one related to number or string), so I still write Unit Test for those cases. But the number of Unit Tests needed is much lower.
Have you looked at photos of anything owned by Trump lately.
If you're doing/teaching scientific computing with Python, it's widely used, if not "the" standard. Anaconda will almost certainly be available in any current scientific computing environment.
Robot granted Saudi citizenship has more rights than Saudi women
You should take the lack of feedback as a "please try again later" message. (Like some use in the 404 pages.)
See the distribution of votes for the regional Parlament.
Let's see how long this very post-modern independence declaration stays (mostly) peaceful. If non-violence is maintained, even in the context of the adversarial positions (unionists VS non-unionists) we may have a situation of overlapping sovereignties in same (or mostly same) territory.

I disliked the populist and the un-democratic tone set by both sides on this matter since the referendum, but if this works out peacefully it may set a precedent for future group sovereignty movements.

Overall, I think this is another nail in the still open coffin of westphalian-nation-states.
> On the Catalan side, there was not enough votes to morally claim for independence

Fair enough. How much % census would you consider enough? Catalan pro-independence had higher % than say for instance Brexit vote. And a good chunk of the % was lost to Spanish Police "raids", quite violently boycotting the peaceful vote.
This, and: Who are funding the independence movement?
if you did but congrats :)
Is it just me... or is the movie "Wall-E" one of the premiere sci-fi movies of our time? This walmart robot could easily be in that movie along with all of the other little robots doing menial tasks for fat humans.
I'm not the GP, but the point I would make is that the top 20% pay an appropriate amount of tax commensurate with their (our) income. They (we) pay about two-thirds of all taxes, and make about two-thirds of all income. So headlines claiming that they (we) pay disproportionately-high taxes are trying to make a point, and lying to do so.

As another commenter said, if income taxes are your biggest bite, that says more about you than you realize. Depending on what you earn, FICA often ends up being the biggest bite at 15.3% of every dollar your earn. For some people, sales tax could be the biggest bite, or at least a bigger bite than income tax.
Google Says Its Early Bet on A.I. Is Paying Off
glad java doesn't have this problem 99.9%. even if you teach very old java. it would still work today.
People also have the right to remain. It is not clear that a majority wants to secede, the percentages are close to 50% though. So want happens with the rest of the people. Besides the independent Catalunya movement does not apply that freedom to its regions and considers Catalunya indivisible (For instance they deny the right of Tarragona to secede an hypothetical Catalunya state https://youtu.be/3eS-j9Wx8lw?t=999).
What? Does it take away from it somehow that it's a twist on someone else's famous phrase? I immediately recognized the reference despite hardly being a Pollan-head, so I doubt anyone's idea was to conceal the connection.
> You dont need outside support to declare independence, it is of no concern to those in Catalan what the US or anyone else thinks.

Good luck without being self-sufficient.
NHS could have 'fended off' WannaCry by taking 'simple steps' – report
To meet the given sensitivity and precision requirements, you could potentially have to sample a significant fraction of the stream. And then you're still faced with the problem of finding the heavy hitters in the sample.
I was in BCN a few days ago, and one year prior, as well. Everything seemed very normal, both in the touristic and non-touristic areas. The former was full of foreigners, just as it was a year ago. As for the latter area, I went to a large mall on the outskirts where seemingly only locals were, and it was also super full.
Conspiracy theorists will come up with anything to prove themselves correct.

For example:

> Also there were documented hotspots that were in excess of steel melting temperature.

This will be evidence for the Thermite that the "Big Bad Government" planted in the towers to make it an inside job.

--------

When talking to a conspiracy theorist, do NOT challenge them to a facts battle. You take their facts that they tell you, and you debunk what they're saying individually. The vast majority of 9/11 Truthers believe in "Jet fuel doesn't melt steel beams", so you must FOCUS on this argument.

A conspiracy theorist will always, always, ALWAYS "out fact" you. Because their community is making up bull----, they have way more "facts" than you ever will have. You can't win by "breadth" of argument, you can only win with "depth" of argument.

NEVER broaden an argument against a conspiracy theorist. That's how they win.
Most 'breakthroughs' in AI have come from Canada, not Silicon Valley.
Ireland built a bunch of single family homes a million miles from anything with no transport connections bar already crowded roads. Now (for Dublin at least, where I live) rents are extremely high in the city centre and along the Luas and Dart, though I generally try not to mention too loudly that it still feels reasonable compared to urban California. There are still cheap homes in the middle of nowhere with shit transport connections, tbf (also Tallaght, which has other problems). It's a real shame they didn't try building housing that wouldn't effectively destroy the cities with cars. I'm not a big fan of Leo but hopefully relaxing height restrictions will help with getting more flats built.

Homes in Dublin under €175 (asking, at least)
http://www.daft.ie/dublin-city/houses-for-sale/?s%5Bmxp%5D=1...

Also, green space is nice but it is worth considering that the actual natural environment of this island was lost between 1000 and 500 years ago. It used to be nearly all forest, but grazing animals are death to forest as they eat the saplings.
I do hope this announcement will not turn into a civil war or something similar.

Our startup has been selected to start NUMA winter batch next week, and the last thing we want to have is blood on the street.
Inaction Inertia Effect: Why Black Friday causes a big drop in short-term sales
I cannot imagine that it ends in a civil war. Civil wars happen when you have

1) a lot of young men,

2) who have little to lose, and

3) who are used to living a life with not much more comfort than that of a soldier (maybe even less)

The young generation in Catalonia is small, they have a lot to lose, and they live very comfortable lives.

I don't see them taking up arms. Maybe they will take to the streets for a few days, but they are not willing to fight in great numbers, or give up studies or jobs.

In the last civil war in Spain or the one in America or the ones in the Middle East, those conditions were present.
Well, labeling someone’s comment with a buzzword is not really a counter-argument.

Your and his arguments could be labeled as “Tory” but it would be useless for me to point that out; id rather attempt to reach common ground or understanding.
I think many devs build applications only testing manually for a long time, and taking shortcuts (hacks) when something appears wrong. When they later want to write some unit tests, there are no proper units and that ball-of-mud-y code is hard to test. Of course, integration tests are still feasible because they're agnostic of the internal mess.

I've run into this a couple times and noticed at some point that writing unit tests while developing (not necessarily TDD) helps a lot in clarifying boundaries early on, and generally improves code quality.
Stateful x Stateless, Container x Presentational, HOCs, Render Callbacks and more
Apart for the (unfair) advantage, the salient point of a separate tax collection is that our administration can't investigate violations inside that region for taxes or public spending. There are virtually no corruption cases there. That doesn't mean there is no corruption there, but that we can't know because the people in charge of investigation is the same that could be investigated. This seems to be the reason they've been so quiet lately.
I'm so excited about Elixir these days. I would love to see more cookbook examples of using Elixir but NOT as a Ruby/Rails replacement.

While the concept is not new to me, I have recently become totally infatuated with the concept of green threads, actor models, etc... for dealing with concurrent processing. This is literally what Erlang was designed to do, and Elixir makes it user friendly.

The real beauty of Elixir/Erlang is being able to run hundreds of thousands of concurrent "threads" (co-operative in userspace, not OS-level).

Anyway I do not mean to detract from the post here -- just feel like a todo list is not a shining-star example of Elixir and would love to see some more hackers post their concurrency work here.
TechSmith SnagIt 18.0.0 Build 462 Keygen Full Latest
I find quite hard to rationalise all the weird decisions I make every day - esp when coming to carreer, life purpose, and choices.

Free will is hard and is harder for pirates / nerds / unconventional people.

This post is about the endless battle between your inner self, the one that interacts with the society, and how to be able and look in the mirror when you wake up.

Read it. It will help.
Local militia is often sufficient after you manage to anger locals.

Not sufficient to win maybe, but definitely to mandate some sort of peacekeepers.
Car trouble: Keyless and lockless is no match for brainless
Thanks for the feedback and for the kind words.

You certainly can ask people to sign up for Dropbox or Google Drive and a lot of folks do. It can be a bit of a side-quest if you just need them to send you a file so you can get to work on something. I've tried to make this easier to explain to the person you need a file from.

If you exceed the free tier, you'll be prompted for payment. Payment is associated with your email address, which you would enter anyway to get a link, so no additional sign-up is required. More convenient than that, I think, is that the person you are requesting a file from doesn't have to sign up for anything.

The file is encrypted in transit and at rest, but I think these are only basic measures. I agree that you shouldn't trust some guy from the Internet (including Google, perhaps). If the information to be sent is sensitive, I would recommend taking measures suitable to the level of sensitivity before sending it, probably encrypting it with keys you control rather than depending on the service provider.

Right now the size limit is 25GB, but I'm open to suggestions on that. Of course there has to be some limit, but I wanted to make it high enough that it didn't feel like there was one for most folks.

Thanks for the link. I'll check it out :)
Great question! It turns out the top 20% earn about two-thirds of the income and pay about two-thirds of the total taxes (all taxes, not just federal income taxes). So all in all, it seems reasonable.

Not that you'd get that from that headline!
Why does the continuum need to be made of points? Can you really show me a particular point in space?
Zcash Investment Trust Has Officially Filed with the SEC
I fail to see how is that relevant, people are saying either keep the server up or let other people run their own, reversed engineered server.
For instance, the Catalunya Parliament has a requirement of 2/3 of the votes to changes its 'statut' (kind or regional constitution). But they will secede with a simple majority.
Or just use the Tor Browser - ideally with the High security setting. Other browsers don't have the same anti fingerprinting and first party isolation defenses.
Now it is possible to have comments in JSON file &/or data
Notice that for all the Catalan low turnout has been hyped, they've actually got a higher proportion of the electorate than voted for Brexit:

43.03% * 91.96% = 39.57%
They should have voted then.
The article says that China is investing heavily in AI now, in reaction to the breakthroughs happening elsewhere. It suggests that breakthroughs over the next decade will be coming from China.
Pictures are easy to manipulate.

Videos, not so much:

https://spanishpolice.github.io/
Komlog identifies metrics directly in plain texts using machine learning algorithms.

You can send any text, structured or unstructured, and it will try to identify metrics. If Komlog don't identify what you want, you can teach him, so the system learns from your feedback.

You can create plugins too (example: https://github.com/komlog-io/kpack_linux/tree/master/kpack_l...), so people can use and distribute them.

Komlog is a FaaS, so you can subscribe to metrics and create plugins to execute functions when new data is received for them
Yes, you're right, this entire fight is only about which avenues of research are fashionable. For the vast majority of mathematicians, this does not affect their work, and for the mathematicians whose work is directly affected, "answering" this question is like biologists answering the question, "Lions or tigers?" Some people's research will become more fashionable and other people's research will become less fashionable. No answer to this question will be of any more consequence than the philosophical conclusions that a number cannot represent zero quantity, negative quantities are nonsensical, parallel lines never meet, etc.

“Woodin showed that if you can just reach the level of the supercompacts, then there’s an overflow and your inner model picks up all the bigger large cardinals as well,” Koellner explained. “That was a sort of landscape shift. It provided this new hope that this approach can work. All you have to do is hit one supercompact and then you’ve got it all.”

This is the mathematical equivalent of "640K ought to be enough for anybody." Somebody's going to want something more, or something different, and they're going to do what they want. In the long run, mathematicians only care what assumptions generate neat and/or useful mathematics. In the short run this might affect young researchers' employment prospects and might influence them to choose different problems for that reason.
> I sometimes wish I could tighten down some Clojure code with static type guarantees. These are in small, remote portions of the code that have intricate algorithms. Static types would be very useful there. But that's the exception. In general, I like the flexible information model approach of Clojure better than the statically-typed approach of Haskell.

I feel the opposite way. I find a dynamic approach useful in some places, but in most places I miss having static typing to help catch errors faster and give my IDE better auto-completions and make exploring new APIs faster without constantly needing to look things up. And rather than small intricate algorithms, I find the most important place for static typing to be when making big refactorings that span the whole codebase. I think my ideal language would have static typing by default but you could disable it in places.
Why hate extension methods? Do you really want to write Enumerable.ToList(Enumerable.Select(Enumerable.Where(someList, e => e.someBool), e => new {a = e.x, b = e.y)) and so on?
I got suspended from Twitter for an account that was using aggressive advertising, long story... But I no longer had a twitter account. It was a lot like when I quit smoking, after a day I was wow there is life after smoking and I feel better. That's the same feeling I have with twitter, facebook... etc. I was just encouraging you to quit twitter.

;)
Much of the interesting work is done by Chinese nationals, many of whom feel the startup field in the US is slanted towards white people, so they go back to China and take their knowledge with them.

US research institutes are top-notch, but our casual racism and xenophobia are killing us. Not that the Chinese aren't also racist and xenophobic, but the pendulum of power is definitely swinging back across the Pacific.
This is where the danger occurs. When sinister people conflate a hoard of bots as their "silent majority."
VSCode dropped Squirrel on Windows ages ago for most of those same reason.

My only reason to support an Electron app on Windows is a need to import ancient Access MDB files. I've been meaning to explore deeper the possibility of using the desktop bridge for my Access reader component and call it from the Cordova UWP JS app. It's on my TODO list to explore, but I think just having a single UWP app (with a desktop component that lights up as available) would be the best distribution plan on Windows.
It is extremely unlikely that any amount of tech investment in Chicago would make 1000/mo apartments hard to find. Chicago is enormous, and has underinvested, relatively low-density neighborhoods stretching for multiples of the dimensions of San Francisco.

Logan Square apartments would get more expensive, but the market would respond to that the way it did with Lincoln Park, Wicker Park, Bucktown, and Ukranian Village: by gentrifying westward into Humboldt Park, Hermosa, and Belmont-Cragin.
Why "half" is often said:
- 2015 elections were considered "plebiscitary", i.e. in absence of a referendum, pro-independence parties ran together as one "yes to independence" vote. They obtained 39.6% of the vote: https://en.wikipedia.org/wiki/Catalan_regional_election,_201...
- Added together to radical left (anti-capitalist, pro-independence) parties, it adds up to 47.8% of the vote. With ~75% turnout. ~35% of census
- The "illegal referendum" this month resulted in 90.18% pro-yes with 43.03% turnout. ~38% of census. However, because of how it took place (not your normal election), the correctness of these results is often questioned, in one way or the other. https://es.wikipedia.org/wiki/Refer%C3%A9ndum_de_independenc...
Because it was run by the democratically elected legitimate government of Catalonia. Because it had immense popular support.
How true, in fact butterflies are more complex than all software put together :P you just broke that whole branch of xkcd jokes dammit!
Yes, I was copy pasting my post from elsewhere which was in response to the opposite claim :)
Social media is realizing the new batch of users don't have the stomach for TV-14 content.

So they're bending over backwards to keep their KPIs up, and if that means acting as if Oceania had always been at war with Eastasia so be it.
I think a lot of that is just the poverty of UI APIs and especially the imperative drawing paradigm. There's no reason in principle why we can't programmatically verify that the basics of the UI spec are fulfilled. If the whole UI layer is just impossible to verify then if we're at all serious about correctness then we should (hyperbolically) stop making UIs until we figure it out.
I think I am not mistaken in saying extension methods, like lambda functions, were invented primarily for the use case of Linq. Even if they weren't, that's how Linq is implemented, so extension methods serve more than that "one purpose" if you don't insist on writing C# in the style of C# 2.0.
Ok, but at some point you have to decide what you’re actually going to do.
It's a declaration of independence, approved in a resolution proposal, which means it's a petition to the Catalan government, not a law or anything like that. Which means it hasn't changed the legal body at all. The Catalan government could also ignore the petition, as it's not a binding mandate, just a petition.

My sources? I am Spanish and I have friends who are lawyers.

EDIT: You mention the Catalan Gov's twitter. Well, of course, they will say whatever they want. Their aim is to provoke the Spanish government.
None of that requires conda to be able to do. Can also build in a chroot, without needing an unconventionally configured compiler, if you want to make your binaries redistributable - which is a requirement some users will have but not all. "Easy availability of gcc 7.2 on CentOS 6" doesn't require being able to build for centos 6 from something newer, docker or chroot tools are fine for that.
Err... does the tor site still have the 10 views a month for free limit? Are tor users supposed to subscribe to NYT - that will surely blow through any privacy you hope to achieve.
I’m not sure I completely follow the implications in your reply tbh, it seems a little reductionist. Are you disputing that RT is a propaganda arm of the Kremlin? As stated above the Kremlin are quite explicit that this is indeed the case. Your point about us vs them… yes, indeed, thinking like this is indeed unhelpful and perilous, and one would be prudent to avoid it. However, the framing of geopolitics as ‘us vs them’ is concept that people like Mr Putin and his ilk fully leverage, propagate and exploit, it’s a core part of his strategy for the retention of power; Putin very much thinks in terms of “us and them”. The ‘West’ is far far far from a perfect entity/system whatever you want to call it, but the autocratic systems in place in countries like Russia are really incomparable with the freedoms enjoyed in the west.

I don’t quite follow your last sentence, can you elaborate? How could this approach be practically adopted? What check and balances for example?

“perhaps by not thinking in us-vs-them terms but viewing all such organizations as somewhat suspect and determining a personal ethical/philosophical position and developing the ability to discern lies from truth based on the net-sum of available facts and historical understanding of reporting bias and self-interest of the various news sources involved, and using this discernment to evaluate such situations against the aforementioned ethical/philosophical position..”
Discussion: https://news.ycombinator.com/item?id=15568078
Last election had a majority of votes to parties that didn't proposed independence, that's a hard fact, not an opinion. And as you will soon learn, there is no need to settle that question, it was settled long ago.