skysight-inc/HackerNews huggingface dataset:
Why wait for Apple? There are dozens of development environments and coding tools already available, several of which can be used to build App Store Apps right on your phone or iPad, although you'll need to export them to XCode to build the app package. Check out Codea, Pythonista and the Kodiak Javascript and PHP apps for starters.

But yes, official support for development on the device would be very welcome and given the examples above is completely doable.
When you compare the new iPad and the Pro 9.7 on the Apple site it says Pencil is supported on both (but Smart Connector is only on the Pro).
I wonder if the person doing all the work should own it, or the person who did none of the work and gave no capital?
9 Best Blogs on Enterprise Compliance
Such a relief, I'm so sick of all these dreadful javascript 'apps', not a single one of them performs like a native app on any platform I've used.
Vessbroz-Without You
I'm very interested in getting started with this! One question, is there a way to change the key binding for switching active panes? Right now it seems like the only option is to use Tab and is the only key binding that doesn't appear to be configurable.
An Interview with Node.js's Matteo Collina
Wow, this is amazing. It sounds like a win-win as it will encourage creativity and personal projects.
I think this is a really good point. I am probably far too guilty of overemphasizing formatting etc., but by the same token, have seem the chaos that a lack of care in that department can cause, especially on big projects. Coming back to a big pile of code that someone else wrote, which is difficult to read or make sense of, six months after the fact to do maitenance is, like, top three things that make my professional life difficult.

Formatting, DRY, and good code organization don't solve business problems, but they do make solving those problems (and keeping them solved) a lot easier.
This is just putting into a contract what ought to be considered normal and reasonable defaults. I don't think they deserve special praise for it, rather companies that don't do this deserve criticism.

Whenever I've encountered overly grasping IP clauses in contracts I've always had them re-written so they only cover work which is done during working hours or related to <core_business>. No employer has ever objected to this, they usually have just been advised by lawyers to be ultra aggressive by default. One (English) employer struck the whole clause on the basis that copyright law covered them sufficiently anyway as by default works created "in the course of employment" belonged to the employer.
That guy sets a new record for cussedness.
If you have any of the problems 1-5, I would argue you actually have a problem of management not trusting engineers enough to buy them a good and suitable existing market solution, and that's why they have to come up with something makeshift.

I agree that it happens in companies, but it's definitely not a good thing.
The only really new thing is the MSRP [1]. Apple clearly believes they've left a price umbrella under the current iPads that is hurting them.

[1] Although older iPad models have been available for this price or lower from places like Apple Refurb or Groupon for years now.
There are: Raskell Haskell IDE, Pythonista Python IDE, and the Swift playgrounds IDE.

I own Raskell and Pythonista and they are quite good.
Functional Testing with TestCafe
Not OP but I went from a 15" to a 13" a few years ago. 90% of the time it doesn't bother me at all. I do think I'll switch back to 15" next time I upgrade. The main reason I switched was size/weight but by the time I'm due an upgrade again in a couple of years I have a feeling the 15" will be comparable to my current 13" in size/weight.
Right, "a part" was important. Looks like the authors of that writeup agree.

> Technologies such as Jupyter and Docker present great opportunities to make digital research more reproducible, and authors who adopt them should be applauded.
I prefer TotalFinder
Printing to PDF on google drive is my equivalent.

Useful when arriving in foreign countries where you don't have internet setup - download them all first and have names of destinations, maps, tickets and bookings - especially good in Asian where a taxi driver may not read or speak English.
So what? Is this somehow interesting or noteworthy?
Looking at the site now and it says pencil is only compatible with the Pro models
Agreed. In my couple years at GitHub side projects have been encouraged, not discouraged. It's been incredibly refreshing. Interestingly enough, I have worked on side projects the least at GitHub because I really enjoy my employment now and get paid a fair wage :)
Not any more as far as I can see.
Back up. iPhone in Red. Hurray (?)

http://www.apple.com/shop/buy-iphone/special-edition-iphone-...

iPad 9.7 (non-Pro)

http://www.apple.com/ipad-9.7/

No pencil or keyboard support. $329 for 32GB or $429 for 128G
The keyboard in the Pro is much better. I prefer its feel to the now-spongey-feel of the older chicklet-style keyboards.

I'm in the same boat, though; just wanted an 11" Air with Retina display, and I'd be happy. The 12" is not that at all, so I finally jumped ship to the 13" Pro. Not as happy as the air in terms of portability, but it's a solid laptop (non-TB).
If it's legally correct, then the law is so flawed.
Bug: seraching for partime jobs take to https://www.fossjobs.net/page-unavailable/. ie. https://www.fossjobs.net/jobs-in//parttime/ takes to https://www.fossjobs.net/page-unavailable/
10 Resources That Will Make You Better at Influencer Marketing
BBC's Brexit coverage pessimistic and skewed, say MPs
It's a bit weird, only the 128 GB Mini 4 is available at the moment, which means the Mini is $70 more expensive than a base level iPad 9.7".
3 Steps to Painless Compliance
Yours is the first note I've seen that palms are causing problems on the trackpad. The reviews, and folks I know who have one, seem to give the "palm rejection" high praise.
It's funny, as a Go and Rust fan, they're still in the same space to me conceptually.

I'm sticking with Go at the moment because moving my shop to Rust is quite difficult (for varying reasons), and because Go offers a nice compromise on ease and power. However i miss no-null types so bad. All that compile-time information is amazing.

I really hope Go adopts some features from Rust.
Yes they can. It's not my fault the government has access to shit hardware or that it'll take a really long time. Encryption is just a really big combination lock with a very long series of inputs.
Minimizing Interruptions
Umm ... no, it's not supported. The first two columns show the two Pro models and the third column is the new 9.7 model.

If you scroll down to "Compatible with Apple Pencil" you'll see that only the first two columns have the checkmark.
Homebrew is not suited well for DMG package distribution (well, at least I don't know examples of such software).
But you can install Marta just as any another macOS GUI software.
Julia – A Fresh Approach to Numerical Computing (SIAM Review, Feb 2017) [pdf]
When you embrace an industry like coal and cut funding to industries involved in science it's a step backwards.

Weather is one of the most important factors in business today. Airlines, farmers, tourism, construction, all depend on accurate forecasts. Interesting that this administration doesn't see much value in it.
Unless we are seeing different pages, the website seems to show that the iPad does not support the Pencil, whereas the iPad Pros do.
The SSD is crazy fast, and can make up for a lack of RAM in many circumstances. Swapping isn't as painful when your disk can read and write at 1.5-2 GB/sec.
Are you looking at the 9.7" iPad (which we're talking about here), or the 9.7" iPad Pro?
>> developers making mistakes and publishing incompatible updates

If Apple thinks your device is old enough to end support (and Apple's pretty good at pushing updates for old devices for quite a while) why would devs keep trying to support you (when the app probably only cost $1-2 and 5 years have passed).
Because the only thing stopping people from using them is the lack of an IDE?

Or because programmers would take well to having to program on the iPad?

Or because programmers are not a rounding error when talking about "everyone"?
Would a hosted ZooKeeper service be useful? Is there one?
I think ZooKeeper is great.

However, you would ideally need 3-5 servers in different data centres to really get a reliable service. That implies provisioning, setup, configuration and in many use cases, the app or service (e.g. Kafka) is not even going to write/read a lot from ZooKeeper. ZooKeeper just has to ... be there.
So the cost of hosting could be shared between many different companies. (With the proper security features in place of course).

I'm thinking about making such a small service that does this for people. But would anyone be interested? It would be free for small use cases, e.g. 3 nodes with less 1,000 writes per month.
I felt the same as you, when I bought my first Macbook after weeks using I remember my feelings and my thoughts "what a good laptop, what ergonomic machine, great pleasure to have it and work with".
AirBnb charges and pays VAT in the UK and EU [1]. EBay charges and pays VAT in the UK and EU [2]. I understand that companies want to avoid paying taxes, but I wonder what the legal reasoning was that led Uber to decide not to. Uber needs to pick its battles better.

[1] https://www.airbnb.com/help/article/436/what-is-vat-and-how-...

[2] http://sellercentre.ebay.co.uk/business/about-vat
The iPhone 7 goes red to help fight HIV/AIDS
It's funny. I said this same thing in a different thread about the US having lower happiness levels and was down votes.
It took me a while to get used to the thin MacBook keyboard, but I find it OK now. I probably will buy AppleCare for my MacBook because it doesn't seem robust.

That said, coupled with the LG ultradef monitor, which is also a USB-c hub, I find the MacBook to be just fine for software development.
And one wonders why they can't hire top talent.

One the one hand, they want capable people who go out of their way to achieve results + love their craft. Guess what, that often happens by working on side projects (whether ultimately commercial or not, is irrelevant).

As an employee the only concession I would personally be willing to make would be to not compete directly with the company you're employed at. And only if you're not employed at a company doing everything, i.e. a Google or a Microsoft.
No, it doesn't. The only models with a check mark in that row are the two Pro models.

Perhaps they've just updated the page?
If you’re up for contributing a simple timeout or something like that I guess the developers would appreciate that a lot :) https://github.com/fossjobs/fossjobs/
From Evelyn Sanders review:

This issue's Research Spotlights section contains two papers. The first article, “Julia: A Fresh Approach to Numerical Computing,” by Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B. Shah, presents the software package Julia. It includes an overview of the language with a concentration on numerical computing, accompanied by a set of examples which can be downloaded and run while reading the article. It quickly moves beyond a simple tutorial of basic features, offering a detailed perspective on design philosophy in the context of other and perhaps more familiar programming languages, explaining the ways in which Julia manages to be both dynamic and fast. While the examples start simply, they progress quickly and include disparate subjects such as different approaches to Brownian motion, and best methods for parallelization. The article will be a nice introduction to readers with an interest in numerical computing who are currently unfamiliar with Julia, but it will also be of great interest to those already using the package who would like a deeper understanding of the design of Julia, thereby gaining a better facility to optimally use it.

Source: http://epubs.siam.org/doi/abs/10.1137/17N974264
TBH it's a lovely thought, but it sounds like a legal nightmare waiting to happen. Your employees have access to proprietary code, how do you stop their code from being "tainted" by that access?
ICO on potential risk to patient medical records held by GPs on TPP SystmOne
Depends on the line of work and the hobbies of most people one knows.

Given my line of work and hobbies, the iPads are very appreciated tools.

For the average soccer mom or Joe Sixpack, not so much. At best they'd surf the web and social media on them.
Biggest mistake ever. Github will regret this decision, mark my words. (clarification: Not that it's a bad concept, but they will spend massive amounts of cash defending the "Prospective product" moniker of the agreement.)
That's an absolutely absurd request. I can understand if they said that you wouldn't be able to work on your game during business hours, or on your company machine, but to request that you dissolve your company and sell them your IP? That's insane
Apple product releases always make the HN front page. Hide and move on.
Homebrew has the Caskroom, which would work:

https://github.com/caskroom/homebrew-cask

EDIT: details on how to add your own Cask for an app:

https://github.com/caskroom/homebrew-cask/blob/master/doc/de...
I'm not sure what specific temporal properties you're interested in, but safety properties proven through the standard proof techniques (like inductive invariants), and at least common statements about liveness are supported.

> Liveness is about infinite number of states, but any real model checking is bounded by definition.

First, model checking is not bounded to a finite number of states in principle, and certainly not by definition[1]. Even in practice, modern, state-of-the-art model checkers do support infinite state spaces[2] -- of course, not in general, but in some cases. However, TLC, the model checker packaged with the TLA+ tools, is indeed not such a model checker, and can only check finite state spaces; it is what's known as an explicit state model checker. Second, liveness is not about an infinite number of states, but infinite behaviors, i.e. infinite sequences of states; the two are not the same.

> but to prove liveness you are almost doomed to use temporal logic.

Oh, absolutely, and after all, the TL in TLA stand for temporal logic, but the point is that proving complex liveness properties in real-world software systems is rare, simple liveness seems to be supported by TLAPS (although most people just use the model checkers), and complex temporal reasoning hardly ever comes up. That's why supporting complex temporal reasoning -- if it is indeed missing in TLAPS -- is not a priority. The features of TLA+ are in general very much driven by the needs of engineers working on real systems.

However, if you happened to come across a liveness property you wanted to but couldn't prove with TLAPS, I'd love to hear about it.

[1]: The name model checking comes from the model checking problem in logic, namely checking that a structure M (a program in the case of software) satisfies a logical proposition 𝜑, i.e., that M ⊨ 𝜑, or that M is a model of 𝜑. The name "model" comes from a logical model, i.e., a structure that satisfies a theory or a proposition.

[2]: E.g., https://cpachecker.sosy-lab.org/
90% VOO
10% BND

Rebalance once a year. And keep investing every spare dollar you make.
Might be best to report it at https://github.com/fossjobs/fossjobs/issues :)
I'm with you there. The newest MBP's are probably good but the price is way too high. I'm going to be buying a windows machine for the first time in 10 years.
Electric cars pose little threat to oil demand
I wish "serverless" was instead called "daemonless" or "function as a service / faas". Too late, I know, but "serverless" is just not what's going on. It seems more appropriate as a term for apps that run locally (even in a browser) without backend dependencies.
This is a completely valid point, thank you. I added it to the public TODO list: https://quip.com/TOH6Abh8ruxi.

By the way, you can already change the font (https://marta.yanex.org/docs#fonts).
If I were 10 years old and I had Bitcoins to spend, I sure as hell wouldn't use them "to purchase a black hat SEO campaign". What 10 year old kid would?
>Using an iPad (with external keyboard) to even type a simple document is an exercise in masochism.

What exactly is the frustration from it? I find it perfectly fine, if not better than using a laptop for writing "simple documents".

In fact that's exactly the use case most pro writers that use an iPad use it for.
Couldn't the thief simply pull up on your gun case and cut the cable through the gap created? There's no way you're going to get the cable tight enough by hand than a thief can't move the case a bit (safes generally use bolts, which don't have this problem). Maybe if it's secured to the back wall it will be awkward enough to maneuver the cutters that the thief gives up?
Evolutionary, not revolutionary.
As a thought experiment, for people who agree with the idea that a company 'owns' all of the thought-output of an employee: Why should that mean only the valuable IP, and not _all_ of the thought-output, including the unpleasant parts. If an employee commits a pre-meditated murder, should the company be liable, as a partial 'thought-owner'?
Flawless App Releases: 39 Tips to Improve Product Management for Apps
Why not just give a copy-pastable policy?
> Does anyone know why it still hasn't managed to get enough traction to become the official path for the language

One reason is that CPython is kept relatively simple on purpose, so it abstains from implementing things like a jit or other very complex optimizations. The biggest obstacle for pypy adoption is that it can't serve as a drop in replacement in the majority of cases, be it because its behind (until now far behind) in supporting new versions of the language or because
a lot of popular packages rely on C extensions. The CPython way of binding to C on which these packages rely on does not fit the architecture of pypy very well so they did not really support it at all until recently.
Writing a user manual for yourself
Can you clarify? In my mind

"prediction" != "assumption" != "theory"

and

"observation" != "proof"

Basically I seem to disagree with everything you wrote.
Help us hack on Tramcar (https://github.com/wfhio/tramcar). It's still very early days, but we'd love to see others starting use and contribute to this software! :)
I hadn't heard the term before, but these pages have good explanations:

https://en.m.wikipedia.org/wiki/Serverless_computing

https://aws.amazon.com/lambda/

"Run code without provisioning or managing servers [...] pay only for the time you consume"

Makes sense, but based on the name, I initially expected to see a framework that lets you spin up an app without writing any backend code, perhaps like using Firebase but more framework and less service. Then I thought there are even more ways to remove the server.

Maybe there should be multiple levels of "serverless". Type 0 serverless is an html file. Type 1 serverless is a static web page. Type 2 serverless is a dynamic app with a backend service; no writing backend code. Type 3 serverless is a dynamic app plus backend code with a backend management service; no provisioning or managing backend instances.

:P
Congrats on release. Assuming you were interested to sell, what would that number be? How did the conversation go after that point?
Just Launched – Verdy App – Making simple decisions, simple again
The Nintendo Way of revenue generation: vary the size and color of your gadget every 3 months, and you can print money.

This worked for Nintendo for a very, very long time with the different versions of DS. Until it didn't.
> I'd wager BDFL prefers the CPython implementation because it's probably simpler. Also, it supports tons of targets and is super simple to build.

At a EuroPython Keynote, the BDFL mentioned that he hasn't had a closer look at PyPy (he mentioned downloading it and playing with it for a few minutes). I.e. there is a certain disinterest. Also, remember that the "Zen of Python" (https://www.python.org/dev/peps/pep-0020/#id3) was written about the design principles of the Python interpreter, and PyPy is not exactly the Zen of python.

Personally, I'd love to see Python 4 to be based entirely on PyPy.
We have a lot of Node people successfully using Rust; npm even uses Rust in production these days.

(It's also being used in production outside of Mozilla, last I counted we had over 50 companies on our "Friends of Rust" page.)
I work at a fairly large independent game studio and there is a similar arrangement with the developers here. The studio has developed a framework of Unity extensions that aren't open source, but that the developers are free to use in their own side projects without having to cede any ownership back to the studio if/when their game is released.

Even the fact that game developers are allowed to create other games outside of work, potentially with other non-studio teams is a super nice perk of working here.
"...As long as the work isn’t related to GitHub’s own “existing or prospective”

Very good and very honest.
It's nice that they explicitly spell this out. I'd personally still be leery of running personal projects on company time/property, simply because of the "existing or prospective products and services" clause; it's amazing how many products and services large companies are prospectively looking into.

The cost of not using company hardware or time is that of a laptop and working outside your "9-5"; simple insurance against the potential costs.
Sorry, it's not possible right now. But I've added a task to the TODO list (https://quip.com/TOH6Abh8ruxi), and it will be fixed in Marta 0.1.1.
Apple’s new 9.7-inch iPad ups the processing power and lowers the price
Cars are probably broken into less than gym lockers. A locked door on a car is typically sufficient deterrent, as the thief will just prowl for an unlocked one. A lock on a gym locker is apparently not enough deterrent.
By unopinionated I simply meant that it allows you to deploy to multiple clouds. As someone that hasn't read up on this stuff, can you explain to me the implementation differences that would prevent you from 'lifting and shifting'?
China facing full-blown banking crisis, world's top financial watchdog warns
It's great to see companies doing more to help charitable causes, but considering the price difference ($749 vs $649 for the base iPhone) I'd like to know exactly how much of that extra $100 goes to the supported charities...
And so the economic censorship triumphs again
The American Dream Is Killing Us: It Happens Slowly at First
That's probably https://github.com/fossjobs/fossjobs/issues/9 :)
I didn't say that. The question is whether video games are capable of it, at least in principle. There's plenty of shoddy writing and music, too, but that's not a good point of comparison.
Actually it is even a one new particle (Omega_c baryon), but they observed five different excited energy states of it (like observing different excited states of a Hydrogen atom), so called resonances [1]. But the discovery is still exciting because it should have been really hard to find something that we don't really know how looks like in such large amount of noise.

The problem is that it is hard for us to predict masses/energies of new composite particles because although Standard Model provides hypothetical way to do it, it is infeasible computationally.

[1] http://physics.stackexchange.com/questions/64862/resonances-...
For real, this should be the norm. Good on GitHub anyway though!
The ColorWare special edition old school iPhone wrap is pretty slick. If the cost of these wraps can come down, I think they will prove to be quite popular with the younger crowd. Who wants to wait for Apple to come out with a new color scheme??
Amazon, too, pays VAT in the UK.
Martin McGuinness Dead
Also, no Pencil support

Does anyone know is there is a hardware reason that the normal iPad can't use the Pencil or is purely a software thing to make people buy the more expensive iPad Pro.