skysight-inc/HackerNews huggingface dataset:
... Note the syntax isn’t the usual double pipe ||
operator that we associate with or, rather a single pipe | character ...

... PHP 7.1 introduces visibility modifiers to constants ...

... With PHP 7.1 it is now possible to specify that a function has a void return type, i.e. it performs an action but does not return anything ...

... Example four contains numeric values, so everything else is stripped out, and the sum of those are used to calculate the total of 10. But it would still be nice to see a warning, as this may not be intended behaviour ...

Good to see PHP continues to introduce new inconsistencies while striving to break existing code by fixing old ones. Best of both worlds!

edit: OK this was uncharitable and technically some of them are not inconsistencies, just things I thought were weird. I know PHP is widely used and considered useful and will stay with us forever. But I found those snippets interesting.
Windows Forms is the ironborn of Microsoft APIs - What is dead may never die...

But you do have to pray to a bizarre and Cthulhu-like old god (Win32).
Продажа добротного двухэтажного дома в Центрально-Городском районе
How we used Intercom to add £100,000s of marketplace investments at Fruitful
> trying to do anything but play a few games a day without spending money is intentionally made difficult as you'll run into progress blocks faster that way.

In contrast with many games which are nearly pure skinner boxes, Clash Royale's gameplay itself is fun and there are skills to be mastered.

The monetization scheme is just as bad as other games in that it lets you put in exponential dollars for linear gain. But the refreshing thing is the base game is fun and can be played freely without any time limits or other barriers.

That said after about 100 hours I may have finally reached my top skill and may get bored of the game before I unlock any new cards.
It's easy to specify such a system that's more powerful than ZFC and has strong arguments for its consistency: ZFC+con(ZFC), which is consistent iff ZFC is consistent.

And it's easy to go one level up, I.e that system plus it's own consistency.

These systems will be stronger than ZFC, and will prove the machine in question halts.

Of course, the lowest unknowable from ZFC BB number is probably around BB(15), so likely none of those systems get that high, but they do probably give us more than just ZFC does.

See also http://www.scottaaronson.com/blog/?p=697 for some limitations on this.

Also, there are large cardinal axioms which imply the consistency of ZFC and are believed to be consistent, but I'm not so familiar with them. I think mathematicians would consider those axioms as "what such a system would look like".
So if you want a car for hobbies (e.g. getting to backcountry) or transporting your kids around, you shouldn't live in an urban area?
A comparison in terms of speed between blade and cppcms would be nice.
It doesn't bring tuple-esque operations to the language; it's a shorter alternate syntax for the already existing "list()" destructuring syntax.
PHP looks more and more like Java.
Samsung made a giant building sized Galaxy S7 Edge for advertisement [VIDEO]
Sigh. Isolated doesn't mean they never, ever receive foreign influences. Take a look at their old, pre-iPhone cell phone industry. Japan didn't "invent" cell phone technology, so clearly they had at some point been influenced by foreign powers. But their own take on it has been developed in full isolation to the point where the Japanese themselves talk of their old smart flip phones as "galakei" in reference to the galapagos syndrome.
https://en.wikipedia.org/wiki/Gal%C3%A1pagos_syndrome#Mobile...

Funny you mention Wizardry because it's yet another example of galapagos syndrome in action. They took the basic ideas from the first Wizardry (even the spell naming schemes are still used to this day in games series like the Shin Megami Tensei) and then.. literally stopped looking at anything new in the series. It's like Wizardry 8 never happened in Japan. Their Wizardry clones to this day still play like Proving Grounds of the Mad Overlord, the first game of the series, just with "improved" (but anime-style) graphics. The innovations like the more open world, various interactions with world elements, improved positioning and movement to the turn based combat and so on. There's still no concept of movement and position (beyond being "frontline" and "backline" binaries) in games like Etrian Odyssey. And then games like Fallout came out and showed it was possible to integrate a large amount of variable interactions with the world and consequences to your choices and Japan was still making those Wizardry 1 clones as if the genre could never, ever improve on that basic game design.

It's only very recently in Japan, with the success of games like Skyrim outselling their own jrpg in their home country, that japanese developers started to take note that maybe, the genre could do better than replicate the same game from the 80s ad infinitum. Which is how they ended up with games like FF15 which finally dropped the primitive, limited combat system from early wizardries that weren't even position aware. I prefer turn based RPGs, but I would take the real time FF15 over a system that doesn't even simulate the space in which you fight ignoring all potential positioning and movement tactics. Something that even board based, pen&paper RPGs can simulate.
Their own take on the ability to feature combat in an actual environment usually precludes any RPG features other than pure combat, like Fire Emblem. They have good turn based combat but that's all there is to the game. No dungeons, no exploration, no world, not much choices, no nothing, just a series of combat missions after combat missions. It's the kind of hyperspecialization and narrowmindedness that led to the galakei and the inability to build anything like the modern smartphone.

Nintendo is another manifestation of the galapagos that has just recently started to panic and understand that they won't be able to go on forever like that. The next Zelda will finally let go of the template created by Ocarina of Time and will play more open. That's a start, considering how much they love to remake the same thing again and again.
http://digg.com/video/zelda-is-going-open-world-and-the-game...
See https://news.ycombinator.com/item?id=11753046

You can get more powerful, it's just unlikely anything we can build will get that high.
Which inconsistencies are those? Functions that return; or don't return at all already return null in PHP.
They're making fun of Bootstrap, but having classes that allow you to define margins and padding quickly by adding a class is actually really helpful. Of course that shouldn't be expanded to every possible property.
You can if the applications are packaged properly.
Robert C Martin – The Transformation Priority Premise (2011)
“I Am Very Real”: Kurt Vonnegut to Drake High School (2014)
Google wants to find the art in artificial intelligence
BB 7910 can be computed: it's just a finite number. What you mean is that the value can't be proven correct in ZFC.
I suppose its not an inconsistency as such, but I included it because I thought it was funny.
Archiving Websites with Wget
Define constants for use by other modules in Perl
« Battleborn »: le jeu figurait au Top 5 de l’Humble Store le 2 mai
Sorry, There’s Nothing Magical About Breakfast
Website helps people divest their money from gun stocks
5 simple things you should be doing with your feature requests
For me, too much was tied into using the Kore CLI to build and manage the actually application. Plus configs for routing is the only (apparent) option.

I think Kore would be an awesome framework if it weren't built with the assumption that you want to use its configs and its CLI. And although these could be useful too, I don't think it's too much to ask that the actual functionality there be exposed nicely and well-documented.

In particular, I'd just like to be able to wrote my own main and start Kore from there with high-level calls (including building routes).
I think it would work fine. Parking meters exist for a reason - a lot of people park their cars on the street and go do whatever they came to do. You could upgrade the meters to also support payment for charging.
SWIFT asks customers to help it end a string of bank frauds
Absolutely it's a bubble. That doesn't stop people right now from having large increases in rental payments, so inflation is real. It might become massive deflation when the bubble bursts and as you say in rural Japan it's hard even to sell a house at any price sometimes.
Can you break down what's wrong with the rakuten one? I don't find it repellent at all.
I also like this one: http://cookpad.com/
You can see the entire messier catalog, quite well, with a pair of binoculars. 1 meter is a fucking ludicrous diameter.
Photographer Uses LED-Rigged Drones to Illuminate Nighttime Landscapes
I don't know much about erlang or elixir. Erlang was popular at work for a short period of time, but I think more people are fans of Haskell now (seems Scala may even be falling out of favor a bit).

As Seren said, C is pretty much defacto at the moment. C has a fairly large community. What would be gained by using Erlang? My understanding is that Erlang is geared toward distributed systems. I can absolutely imagine an massively distributed control system would benefit from Erlang. If you think of 'robotics' like cars where there is essentially a different robot for each control, maybe Erlang is a good fit. If the device is going to have a single CPU, maybe not so much.

It really depends on the application and the architecture, but to me, Erland isn't a natural choice.
I wonder why PHP includes more and more type checks and visibility features, when all those checks are performed at runtime. What good does it do when your code suddenly throws a fatal error at runtime because you did not respect the type specification. I mean, I get that type checks are useful for IDEs, but enforcing these rules at runtime using fatal errors just does not make any sense to me.
And I thought toot sweet referred to cocaine[1], which might explain some marketing...

[1] https://books.google.com/books?id=FFMADAAAQBAJ&pg=PA80&lpg=P...
> In reality, Tesla is doing you a favor by making their body panels so expensive because that means it's easier for your car to get declared a total write off in an accident and you can get a new car

I think the chance of getting new value for your totalled car is pretty slim, unless it was written off in the first year or you're paying extra for GAP insurance.

My car got written off by an insurance company last year after someone drove into me. I ended up taking a settlement and getting the car fixed myself, there was no way their write off settlement would by me anything like the car I was about to lose. I also hate "throwing away" something mechanically sound over a few body panels, some panel beating, and some paint. And it is certainly not the 'green' choice either!
Mario Kart certainly has a "the more you're losing, the faster you go" .. or at least the inverse implemented.

Along with "the further behind you are, the more likely to get a blue shell".
Google Decorates It’s Data Centers Walls with Beautiful Murals
The usual thing: they're trying to differentiate from all the other job ads.
It's meaningless on its own. To form a judgement one would need to see what
they're working on, how they're working on, in what environment, and so on.
If you want a car for hobbies, you should figure out where to store it when you're not using it. Maybe rent a spot in an underground car park somewhere in the city. Public transport is just fine for transporting your kids around, and will be much better when there're less cars on the city roads.
India’s Mini-Shuttle Blasts into Elon Musk’s Race for Space
JavaScript: Your New Overlord (2012)
I did see something similar to this one last year but don't remember now.
Given a particular car/bike with a particular set of tires on a particular track, Newton’s laws impose a theoretical limit on lap time.

I don't know how close to that limit the best humans have come, but it wouldn't surprise me too much to find that it's within a second or two.
A direct link to images : http://www.isro.gov.in/rlv-td/reusable-launch-vehicle-techno...
There is a theory that multiplayer is more interesting than singleplayer because you are playing against unpredictable characters.

Someone toyed with this idea by letting the player of the game play against animals: https://www.youtube.com/watch?v=6DXiuzAQztU
Tyranny of the Algorithm?  Predictive Analytics and Human Rights
It shows an inner "reactor vessel" which looks to be the pressure vessel, and an outer "containment vessel."
Three-Tiered Baatara Gorge Waterfall in Lebanon
Tf-glove: An implementation of GloVe in TensorFlow
There's no reason you can't have a car in an urban area, but we should work towards a transport model that doesn't require you to own one. Public transport in combination with cycling for short distances plus a solid carsharing infrastructure should be sufficient for a large chunk of the population. Even removing 30% of the cars from the streets would go a long way to improve the situation.
He is referring to the Gambler's Fallacy (https://en.wikipedia.org/wiki/Gambler%27s_fallacy). That is, the belief that in a series of uncorrelated events, after a long string of losses, you are more likely to have a win.
Fastcgi was incredibly simple to get hello world running - both in C and through the Chicken Scheme FFI. However, "all" it provides is the backend for a web server so you'd still need to handle things like routes and templates and responses yourself. Still, I don't find those to be the challenging part.

The issue that I'm having with fastcgi is the random scarcity of API documentation. I can't believe it's so hard to find - googling for "fcgx accept_r api documentation" just yields nothing.

Anyway, it was very cool to get it running in Scheme so I'll definitely write a post on that soon. I'll post it on this thread when I do.
If you write down a value for BB 7910 but can't prove that it is correct, I wouldn't say that you "computed it".
I may be wrong (and hope to be corrected!), but I think that End-to-End is never expected to be in the Chrome Web Store. I think they feel that this kind of encryption is too complicated for the average user. It's intended more for "power users" who already know that they want it.
I understand the skeptical point of view and its fair enough, we'll all just have to wait and see how this all plays out. I'm more optimistic bearing in mind that nine years ago the electric car industry barely even existed and its ramping up at an astonishing pace over the last three years.
Eventual Consistency is not safe and that's ok
We are finding that unit testing is pretty straightforward with Placebo [0] (also Mitch Garnaat!), for which we use a common "boto client getter" library that the unit test framework can hook into to inject Placebo.

The really hard part is integration testing. You can Chaos-Monkey your Lambda functions, but you can't Chaos-Monkey DynamoDB. We're looking at ways of building tooling to do that.

For deployment, we wanted to use Serverless, but as they started to move away from CloudFormation, that didn't work for our more enterprise needs, so we've been rolling our own, based on ideas from Kappa.

[0] https://github.com/garnaat/placebo
I'm more excited by some features not detailed in the article.

Return type declarations, which were introduced in PHP 7.0, are being enhanced somewhat.

First, it's now possible to declare nullable return types (previously all return types did not permit null):

public function getFoo(): ?int;

(You can also use ? on parameter and property types.)

Second, we now have a void return type for functions where there is no useful return value:

public function handle(): void;

(Disclaimer: I wrote the void return type RFC and implementation, so I'm biased here.)

We're also getting type declarations for class properties:

class Person
{
public string $name;
public int $age;
public bool $isEmployee;
}

There's a few other things as well. The list() syntax (destructuring assignment) has been shortened to [] and now lets you specify keys (disclaimer: I was involved in both of these). Also, trying to add non-numeric strings together with + now produces a warning (disclaimer: also me).
I personally think we should be able to buy music in its pre-mastered form. Yes, that will be a lot of data, but nowadays that is not really an issue anymore. The experience will be so much better than our current option, which is basically only the EQ settings on our amps.
This hot take is both pretty uncharitable and largely incorrect.

... "catch (FooException | BarException" is new syntax that would be a include-time fatal in existing code

... "public const FOO" is new syntax that would be a include-time fatal in existing code; public is the default modifier in the language when no visibility modifier is present, so existing code functions exactly the same as before

... ": void" return type only conflicts with existing code if a class is named Void, which becomes an error for the file declaring the class ... this is vanishingly unlikely [0] and an easy grep to fix; if you're looking at some code "$var = i_return_void();", the annotation is a clear sign that the "$var =" part is obviously confused.

... " 5 + 'a string' " is nonsense code which codebases that care about warnings currently want to be aware of.

[0] even the few hits for https://github.com/search?utf8=%E2%9C%93&q=%22class+Void+%22... are mostly false positives.
Technically I can invest into guns more with this site.
No Place to Hide –  Summit Ushers in Powerful New Anti-Corruption Measures
Top New Species for 2016
building libwebsockets on iOS can be quite a chore for many, however, and the authors of the library are not shy to express their distaste for Apple products, which I find inappropriate.
I disagree with that, HTML/CSS/Js is by far the most widely understood paradigm for building user interfaces. There's nothing stopping apps built with these technologies looking native other than the stylistic choices of the designers.
My ad blocker doesn't care that you separate the article into 11 pages. It only puts more load on your server.
Shopify is built on Rails, you know that right?
22 Technical, On-Page and Off-Page SEO Techniques (That Are Easy as Hell)
This is a really interesting question to think about.
Remember the Active Suspension ban in F1 in the 90s? (they are debating bringing it back for the 2017 season)

A purely mechanical car (no electronics to help control any car functions at all) driven by a human most probably wont be able to match an AI controlled car (steering, accelerator, brake, gear, suspension).
But ZFC isn't the only system in town. It's possible (although highly unlikely) that we could prove its value in another system that we can see to be just as valid as ZFC. (Like adding consistency axioms and so on.)
https://en.wikipedia.org/wiki/Gambler%27s_fallacy

the mistaken belief that, if something happens more frequently than normal during some period, it will happen less frequently in the future, or that, if something happens less frequently than normal during some period, it will happen more frequently in the future
Wow you should give Android another chance! Material is everywhere and feels so good on mobile. The UI is miles away from Holo, and the apps ecosystem bloomed as well.

About the APIs... Well, Java is still Java, Kotlin looks ok but is not there (yet).
Why not just rent c4.4xlarge for one hour?
If they're not enforced at runtime, then they're unsound if you have typed code calling untyped code. And as the maker of the sibling comment notes, runtime type checks still catch errors earlier than no type checks.

Moreover, having these declarations actually be part of the language, even if the interpreter itself cannot enforce them ahead-of-time, means tooling can be built around it, and we can use them for optimisations in the VM (which PHP 7.1 does: we elide type checks on certain arithmetic operations for operands of known types).

If you want to ensure type safety before the program actually runs, you can of course let your IDE or static analyser check that for you.
I honestly don't know, I didn't get to see what dialogs appeared. Bear in mind that computers often get us to accept terms and conditions, and virtually no-one reads them before clicking OK. There's no way I could blame my parents if that's what they did.

Hell, most of my security advice to them is explaining what is a 'legitimate' message box is and what isn't (Quick test: try describing it yourself, the many varied OS / browser / A/V popups, v.s. the scammy fake dialogs that appear.)
If you're using type signatures, the alternative is probably going to be that your program crashes at a later time. "Foo is not a Bar" is a better error message than "$foo->xyz() isn't a function", and this happens much closer to the point where you've messed up.
How your customers compete with you
There are many ways one might implement a circular buffer, that's not really important. The point is that you should use the standard names, so people may easily compare your "Double-ended vector" to the state of the art.
Wrangle Wandering Whitespace with Git
> "Are Americans illiterate or just easily confused? ;)"

Joking aside, I'd argue the main reason for the rise of that style of minimalistic website was responsive design. It's much easier to design a website to be responsive if the content is sparsely laid out to begin with. There was a mobile-first trend in web design, and I believe the type of layout you're referring to was the result. Perhaps we'll find better ways of handling responsive design in the future (better in the sense of making sites that are able to better tailor themselves to available resources without a notable increase in code).
I wish I could, but you and I both know that's a massive amount of time and work.
It would be nice for me to get individual master tracks for sampling purposes. I would pay for access too, but I've never even seen that as an option.
When I was living in Montreal for a couple of years I signed up to a community car share scheme. No insurance, no maintenance, no road taxes so it worked out cheaper to "rent a car" just when I needed it: https://www.communauto.com/index_en.html

With a good, cheap, reliable public transport system with this as backup I could easily get rid of my car if I lived in an urban area but still needed to get around at the weekends.
Thanks for your account with this device. Makes a possible bardon with a friend this evening go smoother. At least I know I can get AOSP on it. I do appreciate the links as well.
Gravity movies budget was 100 million USD and ISRO's mars mission budget was 75 million USD. So I don't get the smell of government propaganda.

After all India ain't North Korea.
The Linux 'perf' tool is one of the canonical examples.
How dreams predict the future by making sense of the past
The Linux kernel has a code style with 8 spaces and still has the 80 characters maximum. The coding style says "if you need
more than 3 levels of indentation, you're screwed anyway, and should fix your program.". So not everybody agrees that you need deep indentation.

https://www.kernel.org/doc/Documentation/CodingStyle
Installing roadside charging points is the only approach that I can see working for inner cities - maybe create "charging only" zones where you can only park and charge cars - parking a normal car there getting a ticket.

NB I live in central Edinburgh in a flat and there is no way we could have an electric car without some changes to the parking/charging infrastructure.
It's pretty amusing to read some of the PHP RFCs and see the verbal gymnastics taken to avoid saying "look, we're just taking this directly from Hack" :)