skysight-inc/HackerNews huggingface dataset:
> if software is moving more towards safety and reliability and you are resisting that change that's a sign there's a problem with your habits and preferences

Unless safety and reliability come at the cost of some other metrics that you consider more valuable?

Currently - at least in the HN bubble - it appears that the pendulum is swinging towards static typing and away from dynamic language features. It is surely premature to conclude this is a permanent trend.
There are some songs where I hate a particular instrument, or I would like another one to be louder. So I can see why this would appeal to some (limited) group.
That domain name must have cost them a fortune.

I see what they keep to keep it stupid simple for novices on the main page but they really need to add advanced testing for experts if they want to get support of the service.
Ahead-of-time type checking can only really work if the entire program has type declarations everywhere, and if you know what constitutes the entire program. This isn't the case for the vast majority of existing PHP code. Furthermore, PHP's dynamic features mean that there are cases where ahead-of-time checks will always be impossible. So you have to have at least some runtime checks, at the boundaries between typed and untyped code.

Furthermore, doing ahead-of-time checking would require infrastructure we don't currently have for providing information to the PHP interpreter about whether or not PHP files have passed type checks. But again, most code is not fully typed, and so this doesn't provide all that many guarantees to the interpreter.
There we go, there's the person actually defending them. Nope, I'm not too quick; Uber's a scummy company and this is a blatant invasion of privacy.
Someone should have created a Windows.css framework for easy native design..
> XCOM2 has a slightly controversial "randomness compensator": repeatedly missing increases your chance to hit, and being hit repeatedly by the aliens lowers their hit chance.

Do you have a source for this? I'm not doubting you, but I've played copious amounts of XCOM2 (until it broke on NixOS..) and didn't notice. But now that I think about it, the hit chances are less predictable than in the prior games.
Why do we have allergies?
> If you're choosing a specific model of math, you need to specify that in your statement.

I mean, in my most recent statement I quantified over all consistent models...

> It will still be computable within that model, just not provably so within that model.

OK, now I'm confused; what is the specific definition of "computable number" you're using?

Also, informally speaking, say we're both working in ZFC. You claim that BB(7910) is computable. What does that mean? Does it mean you can write down its value as a normal decimal number?
http://www.isro.gov.in/sites/default/files/galleries/Reusabl...
Here's a summary if you're in a hurry:

"Why do we get allergies? No one has a firm answer, but what is arguably the leading theory suggests that allergies are a misfiring of a defense against parasitic worms. In the industrialized world, where such infections are rare, this system reacts in an exaggerated fashion to harmless targets, making us miserable in the process.

Medzhitov thinks that’s wrong. Allergies are not simply a biological blunder. Instead, they’re an essential defense against noxious chemicals–a defence that has served our ancestors for tens of millions of years and continues to do so today."
Two Approaches to Scalable Database Design
If you are over 26 then maybe....at least in the UK if you are younger than 26 you have to pay a MASSIVE young driver surcharge(a car can cost 30 pounds/day to rent, but a young driver surcharge can be 100 pounds/day). It's literally cheaper to lease, a brand new Citroen C1 will cost you 100 pounds/month + ~80/month in insurance. The car is new so whatever goes wrong with it you are covered, you just have to put petrol in it.
I imagine the big airbag/bouncy castle thing would work for free fallers. You'd need it to be quite thick like 50ft and quite large so you don't miss it jumping out of the plane. From mountaineering I think polyester tends to have the best strength to price ratio. There's a supplier here that can make 800 tons / month at about $2000/ton. Say 1 kg/m2 and .5 km x .5 km = 250 tons = $500k. Plus airpumps etc. Kickstarter?
I get his cynicism from an idealist engineer's prospective. It's a problem for anyone who has applicable knowledge that meets a marketing/branding agency. Watson was a new tool that could play jeopardy and IBM needed a way to sell the heck out of it. branding Watson as AI is the act of an increasingly desperate corporation.

While true AI is a decade or two off, with each AI winter, an increasing number of human jobs are displaced. This next wave promises to be devastating to human productivity and a boon for machine productivity. The effects are real even if the intelligence isn't. When true AI is birthed, it won't need to be marketed. All that will be left are a few trillionaires, and food lines for the rest of us.

About the future "Wealth will be based on how many robots you own and control."
I think you've either not read the article completely, or failed to understand the central point that the author tried to illustrate.

The issue is with culture. There is no problem if rails wants to go one way, and the author wants to go another. The issue at hand is that Rails is stymieing growth, not just in its own ecosystem but in the ruby ecosystem as a whole.

I think this is a very good point, and in contract I can imagine that if Django had total and utter dominance in the python world, python would be in a similar position.
People really waste their time on these jokes.

I have a lot of ideas for small side projects that could be good (or probably not, but at least I wanna try them seriously) and can't get time to implement them, and people who have this time waste it writing universal.css.
How to drive UX with interactive storytelling
It's a good point, and one which I personally hadn't thought about. The RFC specifically mentions it, so it's obviously a concern:

> Choosing one over the other suggests intent. If you specify a value, it suggests the value is significant. In a void function, the return value is insignificant: it's always the same and has no actual usefulness.
https://wiki.php.net/rfc/void_return_type#why_isn_t_return_n...

I guess this 'pragmatism over consistency' fits in with the general ethos of PHP. I guess it's why so many people hate it, but I can't imagine a situation in which this will actually cause a problem.
Something like:
arecord -fdat | wsta ws:// ?
> Traditionally, the “marketplace” has been radio, where a well-mastered song hits that sweet spot where you feel immersed in the music but not battered by it. If your song is poorly mastered, the logic goes, people won’t want to buy your album.

Part of the problem here is that many radio stations will run incredibly aggressive limiters/maximisers across their output bus anyway, for the exact same reasons given in the following paragraph. Your average pop track is being compressed to hell and back at three stages: mixing (gotta make that synth subgroup 'pop'), mastering (gotta be louder than my rival pop-group) and transmission (gotta be louder than my rival station).
It looks superficially similar to the Shuttle, which is probably why people are happy with the term: http://www.isro.gov.in/sites/default/files/galleries/Reusabl...
> inheritance is literally copy-paste automation.

I don't get this. The problem with copy pasted code is that you can forget to push fixes to both copies. So it is perfectly consistent to be against manual text copies, but for templates, macros, compiler optimizations, inheritence, and all the other forms of abstraction that allow you to not repeat code.

Moreover, of the forms of abstraction availible, inheritence usually does much less copy pasting under the hood. Instead, it makes use of vtables to actually reuse the binary.
This is the same as other languages. In for example Java you have `public void method()`, and you then `return` which results in a `null`
The iPad’s Meandering Road to the Future of Personal Computing
We Only Hire the Best
Don't forget noise pollution.
I dunno. The FF15 system seem busy just for being busy.

I see this trend in MMORPGs as well, where they try to "action" up combat and you end up running around avoiding circles on the ground while plinking away with your backing attack because anything else is suicide.

And i would love to see some flip phones in western markets. All i see now is a slab of glass monoculture. Cover up the logo and you would not be able to tell who made the damn slab.

At least compact cars have the aerodynamics excuse to all look the same. But i don't see that applying to mobile phones.
We all have 24 hours per day, we just choose to spend it differently.
Are you sure about that? I don't think you can use the results of void functions in Java as expressions.
> "plus hardly any good games"

Of course this is purely subjective, but in my opinion the Dreamcast had one of the strongest game line ups of any console, especially considering that it was only a mainstream platform for a couple of years. Shenmue 1+2, Soul Calibur, Power Stone 1+2, Crazy Taxi 1+2, Jet Set Radio, Virtua Tennis 1+2, Street Fighter 3 (all three versions), Marvel Vs Capcom 2, Phantasy Star Online, Rez, etc... Was a great system, particularly if you enjoyed arcade-style gaming.
>This article might as well have been written by Microsoft's PR department. Totally not grounded in reality at all.

Well, Peter Bright loves MS tech and has bias against Google. IMO you should take his articles with a grain of salt.
Cool! The more common reusable rockets become, the more we can assume their cost benefits and apply them to even more ambitious space projects.
No it only shows they've done their homework.
Allot of the "security" of banking processes is based on human verification often via phone, fax, printing etc. so it's not surprising that they've compromised the printing process because that would flag the transactions immediately as the process mandates for the printout to be reviewed (and usually singed, and then filed with compliance).

If you can present an all clear signal to the bank staff at all the immediate human readable interfaces no one would notice, at best the fraudulent transactions would be detected 30+ days down the line when the banks perform account consolidation.

This is a good post about how money moves around between banks https://gendal.me/2013/11/24/a-simple-explanation-of-how-mon... it doesn't go into payment/messaging systems (i.e. SWIFT) too much which is a good thing but it does explains how bank handle and settle transfers.

SWIFT is a glorified messaging service for banks, that's how it started, today allot of "out of the box" applications have been developed on it but in it's core SWIFT is just a trusted network that enabled it's members to securely transfer messages between each other, these messages often end up being used to facilitate transactions but they aren't what actually moves money around.
Google's acquisition of DeepMind was just that - an acquisition. So that runs counter to Rodriguez's thesis.
I agree with this.

I think it will be a while before we get a decent theory, though, and it's not because no one is trying, but it seems too hard to me. For instance, the way I see it, we don't even know very well how the low-dimensional space of (for example) "naturally occurring pictures" is embedded into the high-dimensional space of "all possible pictures". So we can't even precisely state what we want our NNs to do, much less why they work well. Put another way, if we ask a mathematician "so why is it that when I use gradient descent on this architecture, I perform reasonably well on unseen examples?", she would reply, "ok, what distribution did you draw your training and unseen examples from?", and we can't answer that.
One thing I've appreciated more about Nintendo as I've grown older is the culture war that was going on over Mario.

For example, no Mario game ever features Brooklyn, even once. Yet the American movie and cartoon show are all about Mario being from Brooklyn. Then when Mario 3 came out, not only is he not from Brooklyn, but he wears a cat suit and turns into a Buddhist statue. That's a big f*-you message to America from Japan if I ever saw one. Pretty hilarious.
Here is the real link:
https://dotdev.co/upcoming-changes-in-php-7-1-76ebea53b820#....
You can cruise on good ships for less than $100 per day, if you shop carefully and wait for the right opportunity.

The advantage is the combination of extremely plesant, varied work environments, with no distrations from clients, coworkers, or the internet. The ability to sustain concentration lets do something hard in a week that might take you three months at home.
I agree. I think this is exactly why it isn't available as an API. They probably had supercomputers worth backing Watson, which they couldn't provide for every single API query. Although I still don't know why they didn't provide it and price it accordingly -- $1 / question or whatever it would require. Or shoot -- price it at expense as a loss leader. Even if they had a person filtering and approving each jeopardy answer they could price it to allow that.
paywall; didn't read
> XCOM2 has a slightly controversial "randomness compensator": repeatedly missing increases your chance to hit, and being hit repeatedly by the aliens lowers their hit chance.

Many games do, actually, and it's an interesting topic in of itself. In case someone wants some further reading:

- http://www.redblobgames.com/articles/probability/damage-roll...

- http://sinisterdesign.net/unpredictability-and-control-in-tu...

- http://www.gamasutra.com/blogs/RogerHgensen/20101123/88511/C...

- http://techland.time.com/2012/10/12/why-xcoms-random-results...

- http://forum.zdoom.org/viewtopic.php?t=50643

Another funny anecdote is that Wesnoth had to include a FAQ entry about the game being unfair because it relies too much on "luck": http://wiki.wesnoth.org/FAQ#There.27s_too_much_luck_in_this_...
Collaborative Coding or Cheating
+1 for symfony being the perfect example if you're looking for a completely decoupled framework.
Retire.js: identify JavaScript libraries with known vulnerabilities
An awful lot of software has been built and deployed with VB, WinForms, MFC etc. It needs to be maintained just like other legacy tech eg mainframes.
Are `class` attributes cached more efficiently than `style` attributes for some reason?
And Magento is slow for a whole lot of reasons, nine of which are related to symfony.
I love that you've received downvotes for expressing an opinion.

I've also enjoyed playing Clash Royale, and have nothing against F2P as a model, generally.
As i like to phrase it, functional has a beauty all its own.
What about the various RCE bugs, do those not worry you?
so sad, cannot get 'long streak' :(
Be careful with the word "incomputable" (the article never said it was "undecidable" or "incomputable"); in computability theory BB(7910) is computable because it's just a single finite number. You could in theory specify a TM that writes down the answer without doing any calculation - incomputable problems necessarily involve unbounded outputs or inputs which prevents such trivial solutions.

I realise you're talking about formal systems specifically (which corresponds to a some theorem-checking TM implementing that system) but when you allow any system of axioms (e.g. one with the value of BB(7910) of axioms) you basically ask whether any TM can compute that number (including one that already 'knows' it).
"Everyone thinks they're hiring the top 1%.”—Joel Spolsky, 2005

http://www.joelonsoftware.com/items/2005/01/27.html
(Intro To) Map, Reduce and Other Higher Order Functions
Apparently it's also extremely slow, to the point that it needs a loading screen:

https://www.reddit.com/r/windows/comments/3ng3f4/windows_10_...
At least here in Oslo, there are charging stations on every other street in the city center ( https://m.ladestasjoner.no/map ). You need to park anyways, and parking beside a charging pole will not take any more time than just street parking in general, as the number of electric vehicles increase I would expect there to be poles everywhere.

And if you live outside the center. Where there are no poles, can have a driveway with charging or use your block's parking garage.
Warning:shameless promotion, here's my 'R' take on 99 problems, needs working on though!
https://github.com/saysmymind/99-Problems-R
I kinda like it. It reads almost like a modern BASIC. It's not too far away from VB.Net even. No wonder the other people here don't like it :D
1. way less clutter and repeating, my whole style is in one line per tag.

2. the scale also has fractional rem values.

I'd rather change "f5" to "f6" for a smaller font than:
"fontSize: 1rem" to "fontSize: 0.875rem".

3. the author of tachyons clearly understand design. If he improves his stylesheet, I benefit.

4. Apparently inline-styles are slower [0], but I don't count that since everything could be extracted.

[0] http://ctheu.com/2015/08/17/react-inline-styles-vs-css-stupi...

5. I thoroughly enjoy using it. :)
Close to the sun still takes more energy than leaving the solar system, similar to how it's just as hard to charge a capacitor to -9V as to 9V. And in what sense would it "burn up"?
> Apple and Google will probably do something similar with their various operating systems, but Microsoft has managed it first.

I thought all of Apple's OS variants these days were based on the Darwin kernel and variously intersecting sets of the same unix components and APIs. Every now and then I see someone complaining that a new Apple device contains 'an entirely new OS' like Apple TV OS, but isn't that just a variant of iOS? It seems to me it's precisely because Apple have been determinedly pursuing this common core stragety ever since the first iPhone OS that they've been so successful, compared to Microsoft's strategy at the time of having completely different code bases across product categories.
> And anyone who's educated and had a choice has moved to a larger city.

If they've rationally moved to the larger city, I don't see why anyone should cater to their problems.

You can't have it both ways, where people are rationally moving to cities but also surprisingly victimized by cruel city commute times.

Also, there is also plenty of room between SmallTown and New York City. It's a strawman to think the alternate to to Manhattan is a town of 10,000.
> People really waste their time on these jokes.

Oh, come on. It probably takes two hours, at most, to create a text generator that prints this whole universal.css file...
I know it is a joke. I have been a contributor to the Webkit project and these kind of jokes really scares me to death.
It's not kept secret the documentation is available more or less to the "public", so is the SDK.
You can also register for training, I underwent SWIFT training and I never worked for a bank, I'm not sure how it was arranged but I doubt it that strict of a process.
There are 100's if not 1000's online and offline providers for SWIFT training from training bank employees on how to use the software as end users through IT specialists which deploy the software to developers which build applications on SWIFT.

To get a swift.com account you need to have details, name, institution code (BIC code for banks) and some additional details.

SWIFT doesn't handle the authorization the institution you are registering on behalf does which means it's probably even more easier to phish/social engineer yourself in.

Gaining access to swift.com credentials also shouldn't be that hard, especially if have already compromised the bank's network or any of it's employees.

To get access to the SWIFT documentation and other materials you also don't have to compromise your initial target which makes it even easier.

Registration to SWIFT's "Mystandards" is open to the public completely which both gives you access to quite a bit of information as well as allows to you participate in discussion groups which may lead to a few more vectors for social engineering.
Ask HN: Is there a forum to discuss business models of various companies?
I have noticed a paucity of business discussions on HN.

Do you guys know of any online forums where people discuss business models, marketing strategies etc. (but not markets nor macro economic trends)?
The reality here in second-tier Chinese cities is that most people already get around, if not always then at least often, by electric vehicle.

They've either never had cars, have bought cars but have problems parking them or getting anywhere due to traffic (many cities were not designed for cars, and now have millions of them clogging every available space on and off the road network), or just jump on the back of black-market 'taxi' e-bikes to zip about. E-bikes already carry a large proportion of people in Chinese urban environments. There is no way that e-bikes, subways and buses combined are not the dominant people-movers in the country, today. While I did see some e-bikes in Japan, they were nowhere near as numerous. China is leading the way.

Typical Chinese e-bike cost new is USD$500 or less. Battery replacement (good for 1 year or so) is currently about USD$150 or less. They do get stolen a lot, unfortunately.
DMCA being misused for censorship
مشاهدة قناة البغدادية نيوز الفضائية بث مباشر اون لاين Albaghdadia TV
>I mean, in my most recent statement I quantified over all consistent models...

Not quite, as I pointed out in https://news.ycombinator.com/item?id=11753020. You can easily have a consistent system that proves the value of all BB numbers, it just won't be computable.

If you restrict us to computable consistent systems, then for any given model there will be some value of BB it doesn't prove, but also for any given value of BB there will be some consistent model that proves it. There's nothing in particular added about knowability by Aaronson's et al result, only about provability.

>OK, now I'm confused; what is the specific definition of "computable number" you're using?

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

Any finite number is computable, we just can't prove that a specific machine is the one that computes BB(N). We can prove that some machine in a finite set (all TMs of size N we haven't seen to halt or proven nonhalting) computes it, but we can't pin down which one, within that model.

>Also, informally speaking, say we're both working in ZFC. You claim that BB(7910) is computable. What does that mean? Does it mean you can write down its value as a normal decimal number?

Lol nope. We can't even write down anything above BB(6). BB(7) has more digits than atoms in the observable universe.

My claim that BB(7910) is computable means there's a Turing machine that computes it. That's easy to prove, as any finite integer can be computed by a Turing machine.

There's no Turing machine that computes every BB number sequentially, though.
Bring it up does not change the fact that there is now radioactive material on an orbit which still potential overlaps the earth. Out of the solar system is a much better solution.
Fantastic question! Quick and dirty solution is simply to choose a distribution that isn't uniformly random!

Instead of starting with your random number generator, build up the discrete probability distribution function first. The histogram can have any shape you want.

So, for example, in Tetris, rather than choosing a uniformly random next piece, we give a 10% probability to a straight one, 20% to right-sided L, etc. Now we begin to see patterns that can make gameplay challenging or interesting. If a shape has not appeared in a while purely out of chance, alter the distribution. Keeping track of what cards have been played and what moves have been made forms the basis of a feedback loop that constantly evolves.
We've been using the Windows 10 for RaspberryPi and love it. Don't think of Win32 as your API--think of .NET and it all makes sense.
Mapping population change with Census data, CartoDB, and geopandas