skysight-inc/HackerNews huggingface dataset:
> These days of online "newsmedia/newspapers" are not the same as the old days of print media

How "old" are we talking about? 10, 20 years ago? The newspapers that inspired the Founding Fathers to give explicit protection to the press? The days of Joseph Pulitzer? Because despite his namesake award, it sounds like he ran his newspapers about as upstandingly as the most clickbait service you can think of today: https://en.wikipedia.org/wiki/Yellow_journalism#Hearst_in_Sa...
The venues existing just for the poker machines is essentially incontestable.

In this article (http://www.heraldsun.com.au/leader/north/news-story/535a0090...) about the shadiness of the Preston RSL, they admit that the bar and bistro lose money, and the only thing keeping them in the black is gambling.

(Don't get me started on cup/derby day. That whole situation is a mess.)
> If you're new to it, focus on formally specifying parts and not the whole system.

This.

Many detractors of formal methods will claim that software to too complex to specify formally and so it's no use.

I believe they are right. Software is quite complex. And that's why you should use tools to help you manage it. When you start building an event-sourced system architecture for your e-commerce system that scales up automatically and never goes offline during a deploy or single component failure... how will you know your design is correct? How will you measure your success?

(Yes, TDD encourages a sort-of informal "specification by example" and integration tests catch a lot of errors... but the kinds of things formal specifications have been proven to catch cannot be imagined by a mere mortal... despite the illusions of power programming has given us it is helpful to remember that illusions have no real power. You can write a specification to verify your design is free from race conditions given some context but you cannot anticipate all of the state-transitions that can lead to a race condition if all you're thinking about is the code)

This is why I think formal methods are useful and why you don't need to specify the whole system. Nobody is going to care if you have a formal proof that you can copy a file. What is going to be interesting is if you have a high-assurance specification that you can check which demonstrates that given any number of clients and command-dispatching processes eventually an order will be completed and no event will be recorded twice, out of order, or dropped (given that there are at least N dispatcher processes running and what-have-you). It is quite impressive if you can write a proof that if you write your program to maintain certain invariant properties then you do not need to have a lock in your program.

You can't prove those things with a bunch of boxes and lines.

My advice is to start small and try to work on a specification of a particular component or protocol that matters the most. I like to think about it in terms of risk. I'll ask myself questions like: what is the worst thing that could happen if we get this part wrong? or what part of this system do we have to absolutely ensure is right for the project to succeed?

If the answer the first question is not, "maybe someone will be annoyed or the business will find it annoying" then I increment the risk counter in the back of my mind. If the imaginary actuary assessing my project says that the cost of insuring the project against its risk is out-pacing what I can make from completing the project or potentially bringing harm to the business (or people) then I'll take a step back and consider ways to de-risk the project. There are many levers I can pull and I'm glad I have formal methods as I think that the cost of doing that work pays off in spades. Combined with other techniques and tools at our disposal it is much cheaper today to write highly reliable software than it has ever been.
Okay, so telco companies are Title II. ISPs are not.

This rollback effectively means telcos can "upgrade" to no longer be telcos.
I just don't think it's a new approach at an architectural level and I don't see any gains (unlike say, AWS Lambda).

For example, I consulted to a large national broadcaster about 6 or 7 years ago who had created a legacy CMS which rendered XML/XSLT to reduce bandwidth, and the user's browser compiled to HTML in much the same way you describe. It would have been interesting as a tech demo when it was first created about 10 years ago and would have made a good HN blog post. But as a production CMS it was completely unmanageable, prevented them doing the things they wanted to do at a business level, and grew into a tentacled legacy blob which was extremely expensive to migrate off. It was an embarrassment to the tech management and they were open to switching tech even if that meant recycling their large in-house dev team. In the end the cost of their tech experiment which had gone out of control ended up in many millions.

Developers building CMS's is an established anti-pattern with a problem space that is quite hard to understand unless you have been working with users at large orgs for a while. Go and look at how many modules are on WP or Drupal - 10's of thousands, each one which will have had months to years of dev time. Each one represents real use cases that organisations had which was not solved by what developers imagined managing and publishing content to entail.
inkscape can generate them from bitmap formats.
There are many types of videogames with many different audiences, similar to movies. You can argue that videogames aren't art by pointing to Call of Duty, just as I can argue that movies aren't art by pointing to Suicide Squad. If you argue that movies are art by pointing to Citizen Kane, I'll point to Spec Ops: The Line or the Stanley Parable.

I also think you're conflating "art" and "visual design".
“The Actual Doing of the Thing” – [Episode #99] Make Money Online
Yet you're not suspicious that folks who have bitcoin claim deflation is useful?

> without long term inflation and it worked very well

Au contraire, past attempts at maintaining a non-inflationary currency have failed.
This argument has been used against many media now very readily accepted as art: that they're just amusements, they're not art. They frequently come from critics of other media that don't want to expand the club, and they are invariably demonstrated to be incorrect over even the short term.

As for your example, there are boring but beautifully shot films--2001: A Space Odyssey certainly fits that bill for me. There are engaging films with crude cinematography--the original Clerks comes to mind, for a certain time and audience. You are drawing a distinction without a difference.
I too have considered this [0]. You don't really need to scrape, old data is there via retrosheet and current data is available as XML and JSON via gdx.mlb.com (e.g. for 2017 [1]). Of course, beware the terms of use, but if it's just for yourself, I'd say no prob.

As for predictive analytics themselves, you can dig into all the metrics you want, but training/backcasting is how I'd approach it.

0 - https://github.com/cretz/software-ideas/issues/43

1 - http://gdx.mlb.com/components/game/mlb/year_2017/
Initial Coin Offerings Horrify a Former S.E.C. Regulator
>>> between allowing gambling to be run by organized crime and creating a system that enables at least a modicum of accountability.

By that logic nothing should be illegal as making anything illegal simply creates a black market. Some things are bad. Some things are just evil and need to be banned. Laws are meant to prevent people from doing things they otherwise would want to do.

Gambling is a classic vice. If people want it banned then they should be able, through government, to ban it. That has happened at the federal level already. Rather than attempt to lawyer their way out from under the ban, states should lobby their people to elect reps that will change the federal law.
This is true nationwide. People making < ~$13,000 spend 9% of their income on lottery tickets on the average.
From article:

Joseph Grundfest, who was a commissioner at the S.E.C. in the 1980s and is now a law and business professor at Stanford, said he had been contacting current commission officials and staff to urge them to bring cases, and fast.

“I.C.O.s represent the most pervasive, open and notorious violation of federal securities laws since the Code of Hammurabi,” Mr. Grundfest said in an interview.

“It’s more than the extent of the violation,” he said. “It’s the almost comedic quality of the violation.”

...

“We’re waiting to see a whole bunch of enforcement actions in this space, and we wonder why they haven’t happened yet,” he said. “I hope what they are doing is planning on a sweep of 50 I.C.O.s.”
If you use Hanzi to write down something spoken in Mandarin, I'd call the result "written Mandarin". Of course it might at the same time be valid as Cantonese or any of the other languages and dialects spoken in China.
The problem is that these principles are counter to his normal social relationships work. For example, if your boss is on the majority side, it’s significantly harder for most people to dissent. Being skeptical can be perceived as being rude, so many won’t do it.
And human brains are totally wired for gambling addiction.
The reporter comes off as a bit paranoid and slightly egotistical. Read up on the rules and follow them closely or risk facing consequences. If you aren't 100% sure, ask.

Personally, I was held overnight in a cell in KIX (Osaka International Airport) because after 6 hours of back and forth interviews, I couldn't provide a convincing enough reason for working for a Japanese company (my own company) without the correct visa. This was entirely due to miscommunication but something that would have been obvious – and easily remedied – had I consulted the right people. Fortunately, I was granted conditional entry the following morning. Though despite the inconvenience, the officers and warden were extremely pleasant and very accommodating.
You're equating mild, consistent inflation with hyper-inflation. That's not valid. Economies are non-linear dynamical systems that experience phase changes when they pass certain manifolds. Thus the phrases "mild inflation" and "hyper-inflation" aren't just quantitative but also qualitative.
Besides C, C++ and .NET, I have some experience with Python, Perl, VB6 and VBA. All of them have some form of C interop reasonably easy to use.

I also have some experience with Java, JavaScript and PHP. They don’t.
Some trivia - PLATO influenced Greenberg and Woodhead who went on to write Wizardry - which went on in turn to influence Sakaguchi who created Final Fantasy.
Ya no fan of totalitarian policy, but if you try to skirt immigration laws anywhere, it won't work out well for you.

Here in the U.S., I have to notify ICE everytime I change my address.], or I would be deported. Never had the courage to test them...
I agree strongly with (1). Jeff is brilliant, and wise, and his writing is terrific. I wish him success.

(And yeah, this article is spot-on, as always.)

But there's a problem with (2): his games are fucking terrible (for context, I've played 3 of his games, for a total of perhaps 50 hours, because I was really trying to like them). I mean, I'm super glad that someone that I admire so much has an audience, and I hope that some people continue to give him some money, but I could never recommend any of his games to anyone.

Then again, the things I think are terrible about his games, perhaps lots of people won't mind.

I guess what I'm trying to say is, just because Jeff Vogel is a wise dedicated respect-worthy guy, doesn't mean his niche will work for you. But then again, maybe you should give him some money anyway, and then just burn the game.
If you can write your models in AMPL or GAMS or some modeling language, you would be able to test IPOPT's raw speed.

I used IPOPT from AMPL for years and it is a formidable solver for general large-sparse NLPs. It would be nice to see benchmarks against it.
Meredith Corp. To Acquire Time Inc. For $2.8B
I think it's person-to-person. More research would be nice (!!!)
A Year in Computer Vision
Hitting an exact zero change is impossible, outside of the beautiful assumptions of a system of a equations. A practical person thus chooses which side of zero is better, for those times (effectively all the time) that we can't guarantee equilibrium.
Buy an ETF called Robo which invests in robotics and AI companies and the ones building components. It has had 42% YTD returns. I have been invested in it for a while on the idea that robots are at a precipice of taking off and most people don’t seem to see it. See Bonston Dynamics work and getting acquired by SoftBank which makes Pepper. See OpenAI and the other AI progress being made. See self driving cars and Nvidia which makes a lot of the processing chips for the SDCs.
Honestly I'd say the UK border is just as bad if not worse than that of the United States
Baseball is appealing because the game state can be accurately modeled as a state machine. Don't let this fool you -- the impact of variation is much higher for a single baseball game, than for another sport.

I've won 4 of my last 9 baseball "futures" bets, with more than 2-1 payoffs (some were to make the playoffs, or o/u games won, etc.) That's the way to bet on baseball -- use a large sample size. It's easy enough, once the futures lines come out, to find bets that clearly have a positive expected outcome, when using advanced sabermetrics (the baseball term for "statistics" aka Moneyball).

Unless this is a passion, take the time you have allocated to running the analysis, and use it in a healthy manner. Or multiply it by your hourly wage. Then read fangraphs or BP to find the exploitable futures lines.
Guess that's why professional front end developer and their experiences is so important :D
Nice, thanks! Interestingly, I could only see the grid pattern on Bikini and Enyu.
Time Inc. Sells Itself to Meredith Corp., Backed by Koch Brothers
Wikipedia's definition arguably includes the non-fictional Hiroshima and Nagasaki:

Terrorism is, in the broadest sense, the use of intentionally indiscriminate violence as a means to create terror, or fear, to achieve a political, religious or ideological aim. It is used in this regard primarily to refer to violence against peacetime targets or in war against non-combatants.
When I first went to the UK in 2004 as a student they had the same regulation. Register with local police within something like 7 days. Though this later turned out to be not very strictly enforced.
Disclaimer. I neither speak nor write any form of Chinese, but I've read a bit on the subject.

So: Cantonese (to choose one example) is a separate language from Mandarin (or a separate "variety", if you prefer [1]), but it uses the same writing system as Mandarin. Here is a random internet forum that supports the idea that two separate Chinese languages/varieties/dialects are using a single writing system: [2]. If this is really the case, it would be perfectly reasonable to describe a piece of paper as being written in Mandarin.

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

[2] http://www.cantonese.sheik.co.uk/phorum/read.php?1,111326,11...
Here's the thing: Game journalism corruption has been a thing for decades now. When Bubsy first came out, there was a media blitz in magazines like GamePro, who had fulsome praise and promoted Bubsy as the next Sonic. Of course anyone who's played the game knows it's rather terrible. So I think when we see outrage against games journalists, what we are really seeing is a skeptical audience and that's a sign of health in the community. Games journalists who praise a bad game as good because they were paid to, or who criticize a good game as bad because they can't be arsed to learn to play it and somehow, to them, it's the game's fault, are not fulfilling their ostensible function of informing the potential audience for these games.

That said if you're going to call out a games journalist, it's important to be gentlemanly and civilized and not act like a rabid chimp.
Regarding Vandermeyden's experience with Tesla, I don't know why companies always give the trump card to their HR department and disregard the stated good intentions of managers and leaders.

The cynical view, that managers are lying when they claim to care about equal treatment, severely diminishes employee morale and engagement. The optimistic view, that managers mean what they say, is completely undermined when employees wanting to improve the organization are ambushed and shown the door.

Managers that care about their organization's future health should have a more active role in the inevitable HR/employee discussion so that HR has a better understanding of the organization's priorities.
It's one step closer to a Mad Max world.
Worth noting that this field is reaching diminishing returns due to analyses. You might be 2% better than a stock analysis, but that's usually not a sufficient edge to exploit profitably unless you're talking HUGE numbers.

Finding a problem someone has, solving it with analysis, and offering to license/sell it to them (once it's proven to work) is probably more lucrative.

Unless you're chasing the variable rewards skinner box. In that case, I'd probably just take up a cocaine habit -- it'll be cheaper.
No, not yet. I went into my local Apple store and brought it up to one of the genius's and they haven't heard anything at all about the exploit from HQ. But, I can confirm that Intel's ME is present in all Apple macs. The physical hardware is completely unchanged according to the Apple genius bar employee.

It's unclear to me whether or not Apple uses Intel firmware for the non AMT portions of ME. I will report back to you when I find out. However, the evidence I've seen so far isn't looking too good, and it definitely looks like the vast majority of macs made in the last 5 years are all vulnerable, many appearing to run outdated Intel firmware to boot -- not good for Apple.

The evidence can be seen here,

https://apple.stackexchange.com/questions/306959/intel-manag...

where some people run a python program to check the version of their ME firmware (which works and returns numbers completely consistent with Intel firmware numbering). I wonder if Apple just isn't aware of the hack yet?
From other things I've read, probably vitamin D deficiency form lack of sunlight is a factor. Of course, there can be too much of a good thing too...

Intermittent sun exposure has also been blamed rather than frequent to promote tanning.

Lack of exercise and stress from indoor jobs may play a part as well in increased cancer risk in general.
How did you get that from officials just enforcing the law on the books?
The best insight in this comment:

"There was discovery in the old method, but I was still at the wheel. The search had an aim before, and is now aimless."

The real issue here's the increased personalization. Echo chambers, filter bubbles and alternative facts can thrive when you give each user a different gatekeeper that attempts to filter to their preferences.

Rather than using your personality to drive a system for locating information, the system locates information which ends up driving your personality. The fact that the algorithm's choosing before you begin the search adds a reverse coupling coefficient, which is too strong.

By attempting to show you only things you want to read, the system inadvertently creates barriers to communication between people who disagree.
WE VALUE  Your SUCCESS
> democratic countries like Japan

To be fair, Japan has only existed as a functioning democracy for a very, very short time, and it still keeps a number of aspects from its previous past as a feudal/centrally governed country.
> Maybe; maybe not. Either way, a far more interesting question, if (like me) you have no financial interest in the business’s success or failure, is: does it matter?

If you're an American, it does matter in the sense that the subsidies that allow Tesla to keep moonshotting with relative comfort are paid through your tax dollars [0]. Tax dollars that could either go back to your pocket, or otherwise indirectly benefit you by subsidizing a more effective venture. Hell, some of those tax dollars could even be used to help the original moonshot institution.

I think what Tesla and Musk are doing is very cool. But let's face it, lots of companies and individuals could promise cool things if they had a multi-billion cushion. I think the OP makes some decent points about how silly it is to care about immediate or substantial profit margins -- hell, any investor in Amazon would agree with that.

But it seems dangerously naive to just think this:

> But it is not true of Tesla. “When a measure becomes a target, it ceases to be a good measure,” and this is as true of money as it is of any other measure. The purpose of Tesla is not to make money; it is to pioneer fleets of smart mass-market electric cars, and the infrastructure to support them, and battery technology which is not limited to cars. Making money is ancillary.

That is the claimed purpose of Tesla. The author is confusing Tesla's self-interested claims with reality -- this is basically Kool-Aid-drinking-cultism. And giving Tesla and Musk the complete benefit of the doubt in terms of altruism, that doesn't mean that their positive dreaming has an infinite buffer against shitty implementation and business practices. Profit is definitely not everything, but it's a potentially very useful signal (among others) to weed out non-performance and incompetence.

[0] http://www.latimes.com/business/la-fi-hy-musk-subsidies-2015...
That may be the case. However, for tourism (which will probably be important for a lunar economy), travel time will be a major consideration. The moon wins hands down on that aspect.

Also, I imagine there will be a space elevator on the moon which reduces the gravity cost substantially. I believe it is possible to build one with today's technology (unlike on Earth).
FYI, it looks like you have an expired SSL cert on your website.
With all the comments here about how this is really a silly non-story (a sentiment with which I agree), why and how is it getting upvoted so much such that it makes the front page?
It's underhyped because the concepts Elixir brings to the table are most likely alient to most Rails developers (myself included at the time!)

Most people think it's about a faster activerecord, it's not. It's so much more!
How Solar Peaker Plants Could Replace Gas Peakers – SolarPACES
As a US citizen, I flew to the UK to spend about a week with a friend from work while he showed me around central England. I had to show proof of my return flight to the states and my colleagues home address, phone number, etc.
That's not true. People said the same thing about the potential Kuwaiti Oil Fires in the first gulf war, and yet hundreds of wells and lakes of oil burned for months and caused no winter scenario.

https://en.wikipedia.org/wiki/Nuclear_winter#Kuwait_wells_in...

Nuclear Winter is a case of scientists running personal social activism and using their cover as scientists to implant a false narrative.

> Even Dr. Richard P. Turco, the physicist who coined the phrase ''nuclear winter,'' discounts the idea.

http://www.nytimes.com/1990/01/23/science/nuclear-winter-the...
> I feel like the authors of all these hitpieces are personally unable to engage in healthy, limited usage of it, so they cast it as as some universal evil that every person is powerless to resist.

I can smoke cigarettes responsibly. One every few weeks, which I have researched and believe does not negatively impact my health. In fact, it provides a moment of stress relief that outweighs possible negatives.

How do you feel about cigarette legislation? They've never pointed a gun and forced people to smoke. (Which, by the way, is an awful metric for whether something should be banned. Except for gun pointing.)