skysight-inc/HackerNews huggingface dataset:
In most fields of mathematics, it is not necessary to state that ZFC is assumed. Axiom of choice is singled out sometimes, but the other axioms are considered so self-evident that it's not even worth mentioning. Yet from a logical standpoint, there's nothing special about ZFC to be so universally adopted. We could've had a completely different set of axioms and completely different mathematical concepts as a result. The reason why ZFC is chosen is because it results in concepts that are applicable in the real world. If a new independent axiom could give a rise to some useful concept applicable across many different mathematical fields, eventually ZFC+X might be adopted as the universal axiom system and it wouldn't be necessary to write "assuming X" in every proof.
Presentation of Software Architecture
Toxic VC and the marginal-dollar problem
> They want to make the local citizens pay for their overseas retirement then?

They want to make foreigners pay them their foreign retirement, in that case.

> Again - community centric economic policies for domiciles is imperative.

It is the government itself that is creating the problem, by overly restrictive zoning policies, similar but even more pronounced in NZ.
A man who 'discovered' 780 Indian languages
It is not "with no cliff". It is a "4 year cliff". Possibly they are inexperienced and don't know what they are doing.
Yup yup this is a good list. Thanks for mentioning landrush, it is something I could have used.
From the critical information summary (https://static.vividwireless.com.au/online/Wireless-Broadban...):

> Whilst the Vividwireless service uses the Optus 4G Plus network, it is designed to be used in the home and its data speeds are different to mobile and mobile broadband speeds on the Optus 4G Plus network. In metropolitan areas where you connect to 2300 MHz coverage at your nominated address, download and upload speeds of up to 12/1Mbps are available.

And the cheaper 200GB plan CIS (https://static.vividwireless.com.au/online/Wireless-Broadban...) adds,

> Otherwise in other compatible coverage areas, download and upload speeds of up to 5/1Mbps are available.

So, 12/1 or 5/1 rather than 23/12 or 45/15 as I tend to get out in the country on the same network.

Yes, hiding this information in there is misleading, because people aren’t generally aware of what the different frequency bands and relevant 4G technologies (TDD/FDD) mean and think that “4G” is just one thing.
Are you glossing over the uncomfortable parts of the empire that had nothing to do with the British? The world wasn't great before the Empire came (a lot of it was under some other empire anyway) - The Brits did record a lot of their atrocities though, meaning there is an informational bias.
Someting is off with the food prices. Multiplying the other amounts by 100 yields reasonable comparisons to todays prices:

$485 - mens suit

$8000 - NYC rent

$150/day - working person salary

$600 - rural rent

$35/lb butter

$40/dozen eggs
That’s because food is easy to grow. Stone Age people seem to have figured it out. Medicine is much harder..
Sorry to be a bit pedantic, but ‘nation state’ is not just a technical sounding alternative for ‘major country’. It has a specific definition around national homogeneity, and in most people’s opinions Russia is not a nation-state.
This is an arguement of power, not of economic prosperity or liberty.

The government can always come in an and kick you out. They can raise property taxes to 100% of the house value. It is within their capacity.
Actually, you can make money by solving captchas. https://2captcha.com/make-money-online
What does webm support look like these days? Last I checked neither Safari nor IE had webm support.
That said, if you go for functional style in OOP, i.e.
shoving as much as you can into static helper functions and
most of the rest into dumb private stateless functions,

We had this at a company I worked at a while back - dozens of modules with nothing but static functions that all took a first argument of the same type. If only there was some kind of METHOD for declaring a whole bunch of functions that operated on the same data...
The ghost blog allow me to directly upload images to my cdn, it's a little more work to publish a video and I was too tired when finishing this article yesterday to think of better options anyway :)
The whole point of buying advertising is to influence an outcome and the US Presidential Election is the clear topic or 'case study' for the slide deck. Twitter is listing discounts for advertising to a foreign news agency while bragging about how its platform allows advertisers to engage with their audience. It wouldn't surprise me if nobody at Twitter considered RT's motives, but then... ignorance is not an excuse.
> For example, if you do OpenGL on Linux, you use the Mesa library, and so does everybody else.

Nvidia has their own OpenGL implementation that replaces Mesa so if you do OpenGL on Linux with Nvidia you are not using Mesa. Which is a good thing since Mesa is lacking in terms of features compared to Nvidia's implementation.
It is still cheaper than porting to the language du jour, like changing plane engines in mid-flight, while ensuring that the new system meets 100% of the existing requirements.
A Dutch blog (geenstijl.nl) has used this to organise a initiative to count the votes for the 2014 European parlement elections, because the results only were to be announced days later. They had 1378 people sending in the results they got by waiting for the results in polling stations. And with those results they were able to make a very accurate exit poll.

https://en.wikipedia.org/wiki/GeenPeil#First_initiative_2014
> I'm not sure how well we did.

Well it's already leaving again after it completed its maneuver around our sun, and we haven't even a proper telescope pointed at it yet...
Building and maintaining three platforms (Mac/Windows/Linux) and maybe four (a web client) or even six (iOS/Android) is expensive as hell, but rigging your web app up to work in electron is cheap and good enough.

There's really no incentive to spend 10x the money for high quality native apps anymore, and that's a shame.
[ircmaxwell] will be disclosing a massive WP SQLi vulnerability soon
If Mir becomes a Wayland server and they switch to Wayland DE session, that will still be technically true ;)
What a nuance. If people vote for a dictatorship, is it a democracy?
Agreed, symlinks and file permissions always seem to bite the people working on Windows. There are parts of our build process that people working on Windows simply can't run because symlinks are created and VirtualBox/Windows complain.
Well, that's not really a comparison at all. "Would you like to be a colony of evil empire A or evil empire B?"
How does any of that about Hitler relate to his policy of exterminating Jews? It's not as if his dietician and Eva Braun were nicer to him he would have decided not to implement the final solution. That's ridiculous.

Once people start actively calling for the deaths of others based on race or religion or creed, that's where the fundamentally opposing ideologies are found that are only resolved through violence.

The lesson we should be learning from history is that appeasing racist fascists doesn't improve things, it only emboldens them by validating their beliefs as acceptable.

I'm not advocating stripping humanity from anyone, because I am fully aware that it is humans who create and commit these abhorrent acts. White nationalists, neo-nazis, whatever you want to call them are absolutely human. They are also all total shithouses that pose a threat to stability and harmony in the same way ISIS do.

They either stop what they are doing, or the blood of both sides runs in the streets. They are the only two options when it comes to beliefs like this. The problem is, the blood running in the streets is often what they want, and what we get.
Afaik using javascript at all with bootstrap is optional, It just means stuff like modals won't work.
Let's not get carried away
The Stranger Things That Gave Birth to Science
Extensive discussion: https://news.ycombinator.com/item?id=15474893

Extensive discussion of a counter-argument:
https://news.ycombinator.com/item?id=15482558
I was surprised when Jack said they'd be returning ad money from RT/Sputnik, because that's not really the election influence problem they have.

Political discussions on Twitter are flooded by obvious bot/content farm accounts like "BaldEagleFreedom983428" shitposting memes how Hillary bought CNN to take away your gunflags. Ban this crap.
I interpret the contrary of property rights. A land owner should decide what happens on his land, but what he can ask of his neighbors should be very limited. A person with a land in nz can't sell it to a foreigner, he is being deprived of his property rights.

I wouldnt be surprised if a measure like this ends up unconstitutional (no idea about nz constitution)
Not so lucky for Black slaves in America: https://en.wikipedia.org/wiki/Slavery_Abolition_Act_1833

Instead they would need to wait until 1865, 33-23 years later..
I mean they're a cable news station. What's nefarious about them advertising?
> I've been accused of being a Monsanto shill so many times online, its not even funny.

Not that I am saying your definitely are, but looking at your post history it is easy to see how people might believe that. You barely talk about anything other than Monsanto being a positive force.
Is that graph saying that in western Europe developers get paid an average of $10,000 a month, or $120,000 a year?

So average developer salary in western Europe is ~€105,000 and in the UK ~£90,000?

Does anyone here believe that? They would be the towards the higher ends of salaries for devs in those countries.
> A man is running. A dog is behind him barking and growling. What does the man think might happen?

So what's the correct answer here?

* That's a mean dog

* I hope it's on a leash

* I hope it's not going to start running after me

* I hope I don't get bitten

* Where can I hide?

* OMG, I will get rabies!
Median 16GB? No way from my experience with dev agencies - most are on 8GB, some on 16GB, some on 4GB. I think I've only seen one Android dev with 32GB, ever.
Russian scientists find flaws in popular theories of gravity
Is civilization even good? Civilization seems to be on track to destroy everything and everyone: http://www.businessinsider.com/germany-insect-population-fly...
You are forgetting the effects of getting so much foreign cash into your economy.
> its about the fact you don't control an external dependency during testing

If your code is structured using small static functions, you don't have any dependencies in the first place, just arguments you are passed and transform. You will probably create interfaces for external services you depend on, but you can avoid needing to mock them if you express the transform directly.

> This is very assuming

I'm not assuming anything, since I wrote the static method and I also decided to call it, presumably for the result it calculates. Your argument appears to be that static methods could contain bad code but that applies to all code you depend on.
I don't mean that. Xcode is itself a Mac app, but Apple hasn't cared about the technologies for building Mac apps for a long time.

The UI framework for building Mac apps (AppKit) was designed in the 90s. In ~2007 it was revamped for the original iPhone as UIKit, but crucially Apple never backported their modernization to the Mac. And even UIKit is starting to look outdated compared to modern innovations such as React Native.

So I don't envy the Xcode team, they are working with an old codebase and targeting an abandoned UI framework.

I'm sure if Apple could swallow its corporate pride and just fork VSCode, they could work miracles.
One thing thing I can add to this that was driving me nuts (though not strictly Vagrant's fault):

The DHCP client on Ubuntu 16.04LTS doesn't always play nice with multi NIC vagrant machines. All my vagrant boxes are dual NIC (eth0 is the standard 10.0.2.x NAT interface and eth1 is a private interface in the 192.168.56.x range with a static IP - which makes it easier for various vagrant machines to talk directly to each other).

I had an infuriating issue where my boxes would startup and then randomly (it seemed at the time) stop responding to network requests. Initially I thought they were hanging for some reason and would tear them down and re-init them.

Finally thought to enable GUI mode and I noticed that even though a box had stopped responding, I could login fine via the virtual box GUI.

It turned out that Ubuntu's DHCP client was ignoring /etc/network/interfaces (auto generated by vagrant) and wrongly refreshing IP leases on both interfaces (eth0 and eth1).

The trick is to kill the running dhclient during provisioning and restart it with switches that force it to only maintain leases for eth0:

machine.vm.provision "shell", inline: "kill $(pidof dhclient) && /sbin/dhclient -1 -v -pf /run/dhclient.eth0.pid -lf /var/lib/dhcp/dhclient.eth0.leases -I -df /var/lib/dhcp/dhclient6.eth0.leases eth0"
Great, was it really necessary?
Yeah, like if burglars taped a door open and a security guard found it and instead of reporting it he untaped it and then they came back and taped it again.

Its not like in books.
1993. I know because that's the year I was born in! Lol
OK,fair call; I don't want to drive people out of their homes, I want to a) crash prices and b) keep them low, so I'd prefer to tax gains (even paper ones) in combination with other speculative disincentives (mainly the removal of the current incentives and special treatment). In an ideal situation no revenue is collected from capital gains because there are none to tax...
Just wrote a post a week ago on the subject of date/time issues programmers have to be aware of: https://medium.com/@florian_32814/date-time-526a4f86badb

It's almost sad that Massachusetts switching wouldn't even make it into that document... (too normal)
No. I would be the first employee.
HireSweet monitors GitHub and Stack Overflow to recommend you your next engineer
Now You Can Have Gourmet Meals in the Comfort of Your Own Home [video]
> other axioms are considered so self-evident that it's not even worth mentioning.

Maybe "considered so common" would be a more precise wording.

I'd also argue that the design space within finite math is reasonably limited. I have never seen an interesting alternative axiomization. For infinite math there is of course much more room.
Yeah I am confused too now. Can someone please clarify the situation here?
What you describe is the typical mindset against TDD, it's difficult to explain the benefits, and really you just have to experience them for yourself. Changing your mindset is difficult, I know, why change what works right? My only tip is to keep an open mind about it, as TDD benefits are often not apparent to begin with, they only come after a couple of days work or weeks or months later or even years later.

You find that you need to do less mental work, as your tests make the required abstractions apparent for you. 'the minimum thing that makes the test pass' ends up being the complete solution, with full test coverage. Any refactoring done is safe from regressions, because of your comprehensive test suite. And when other colleagues inevitably break your code, you already have a test lying in wait to catch them in the act.
What was in the title/description of the meeting in your calendar app?

I'm guessing at least one person in the room was on android and syncing with gcal.
AMD's mobile Ryzen/Vega APUs
OpenPower has open firmware.
> infinity does not exist within anything that can be conceptualized.

Yet math is consistently being conceptualized?

Enabling clear thinking about concepts outside of the real world is the while point of math.
> Secondly, the US has an unhealthy superiority complex and considers itself exceptional among all other nations

It is an exception (I speak as a European). It was the last of the great powers, and the first to figure out that a loan is a better weapon than a gun. The American empire is qualitatively different from all European empires.

> They deride Americans because they are in fact engaging in colonial-type practices today, despite the lessons of the past.

Don't kid yourself that Europeans just happened to learn how immoral empire is at the exact moment their empires fell apart. It's more like the Americans figured out (lucked into?) a better form of empire, and nobody could compete with their first-mover advantage.

We'll see if China can outcompete America at its own game, I guess.
The new Ubuntu GNOME desktop doesn't use Mir, but Mir is still being developed for other uses, like embedded devices. It's also one potential way Ubuntu MATE may get Wayland support.
Same here. But the music is sweet.
Even if that's true, so what? It was pretty clear who Fox News or MSNBC would support but I doubt anyone would be up in arms if Twitter took advertising money from them.
they spy on you. in one studio there was a system that monitored yout kb/mouse inputs and logged an automatic pause into the billing system if there were no activity on your inputs.
Oh yeah, two other handy networking related commands I use are:

vb.customize ["modifyvm", :id, "--macaddress1", "auto"]

Which forces a fresh MAC address.

vb.customize ["modifyvm", :id, "--nictype1", "Am79C970A"]

Which changes the virtual NIC type (for whatever reason, I find on my current host Am79C970A gives much better transfer speeds than virtio)
For me vagrant works best with declarative configuration and a runner. something like this, with sane defaults and many options available by changing fields in a dictionary.

https://github.com/Attumm/vagrantfile_example/blob/master/Va...
It doesn't fragment the community as you can call kotlin code from java and vice versa. Seamlessly.

Kotlin is great in that it brings Java 8 features to Java 6(lambda expressions, functional programming, etc.) and more. It's a boon to productivity and makes programming in the Java ecosystem fun again.

There is a sometimes increase in compiling speed but it's very marginal and the method counts increase with the transpiling but it's not noticable until the app get's on the larger side.
People always come at this from an angle of "what can I do that computers can't?". You need to take into account the incredible diversity of people who use the internet, and what they can and can't do. There's already a viral article written by an old lady who can't pass the current captchas. Add to this, people who don't speak english, or don't speak it well; people who battle to read and comprehend text in any language; people who battle with logical reasoning; etc, etc, etc. The lowest common denominator for a task that be easily solved by any human is pretty low.
Rocket Internet has the (self) funding, the netlog creators have funding ( Twoo / Netlog / Realo / facebox / redbox), drupal got funding in America ( fast growing tech company in the USA),...

We only have public companies here who are throwing pennies at startups ( 25 k) including the governement.

Eg. http://idealabs.be/ ( Belgium from Telenet NV - the biggest ISP here)
OK, so don't then. You are still in a bubble, important or otherwise. You can't expect me to throw out the service manual for my old Volvo because NASA wouldn't build a space probe to those standards.
Looks like css is missing.
Yes, every user has to agree with the Terms of use when signing up.
The war against Pope Francis
I'm not sure what sort of call you think I'm making here, it's just an observation of the economic effects. If you've bought a house to live in and the market doubles then halves again, you didn't benefit from the rise nor suffer from the fall. The main losers for a drop in prices are speculators, the main winners are practically everybody.

However home owners that are not actually benefiting from higher prices are incredibly attached to their paper gains and so any policy that threatens that will be wildly unpopular.
The New York Times Is Now Available as a Tor Onion Service
Performance advantage is pushing messages from the server instead of having the client poll.

The tradeoff is dealing with half-open TCP connections (need an in-process ping to ensure the connection is still alive) and designing the app for state recovery in the case of missed messages.
> I work on V8, on JITs and WebAssembly. 70% coverage for these code bases would be absurdly low. We would never ship code that is that poorly tested, and you shouldn't either.

Tell that to a gamedev company.
it's certainly not supply and demand if 80% of the market is heavily regulated by the government. nor does it need to be.

i didn't say i don't like it. i said i'm conscious of the consequences of high population density.

this is the first time i'm hearing about ireland being destroyed. do i need to send blankets? potatoes? :)

please cut the hyperbole, it's polarizing and not helpful.
The Battle of Brains vs. Brawn
The crawler uses PhantomJS, but you can also create jobs that use a plain HTML downloader or even cheerio. The platform is very flexible.
Absolutely not. I keep seeing this simplification thrown around and it's patently false.

The uniform spherical cow analogy works better when saying "consider a nation-state as a single actor in a global economy."

The rational actor assumption is more along the lines of the continuum approximation in fluid dynamics: that even though we don't have the power to model each individual molecule, we can do well enough by applying heuristics on top of that (pressure, density, etc.) that we can reason out some cause-effect behavior by measuring and tracking those higher-level quantities. We can even derive equations from them, though they may not have analytical solutions.

The problem with this is of course not just the inhomogeneity of the environment with respect to these higher-order quantities, but with the molecules themselves. This combined with strong nonlocal effects makes economics a really really difficult science to pin down mathematically, so all we seem to be able to do so far is fit the data to one of a few common models and wipe our hands clean of it.
So I think the performance of this API (particularly on Mac) is one of the core problems other people are talking about on this thread.

Slack, Hangouts, Appear.in all use it and on Mac in particular it seems to use alot of CPU.
How to Cancel the Execution of a Long Query in DeepSee?
I don't think you understand the NZ situation very well; the government collects very little from property sales compared to most parts of the world, because there's no stamp duty and there's practically no capital gains tax.

That said, government revenue isn't even the problem, the excessive cost of housing is the problem.

The government is already interfering in the housing market by not taxing it at the same level as normal income; by making it tax advantageous to earn capital gains rather than by labour it pushes money into that market.

I'd prefer that they stopped messing with the housing market by treating it the same.
> You also seem to have missed the whole point of wayland's design. There is no separation between "window managers" and "display servers"; there are just "compositors".

I think the point is that this design is bad.
There are alternatives, but i'm biased. See my other comment.
One of the biggest hurdle we have is that the clients dont usually have many tests in place. Testing and validating a full batch night for example (ie 6 hours of intense batch work) is quite complicated.