大数据早报：比特币突破6300美元创历史新高 Facebook开源RacerD（10.31）

正文

请到「今天看啥」查看全文

天文是非常迷人的，当我们抬头仰望星空的时候，有太多的太空之谜让我们遐想连篇。而自从有了天文望远镜和照相机之后，我们就见到了越来越多的关于宇宙中天体的照片。

而最近一篇名为《抱歉，你的宇宙已经被 NASA PS 过了》的文章在朋友圈被广为转发，让我们了解到浩瀚的天空照片其实都是经过 PS 处理的。今天，我们大家就一起来看看哪些天文照片是经过 PS 处理的，同时也了解下这些照片是怎么诞生的以及为什么要对照片进行 PS？

从天文照片的诞生过程可以看出，最初通过天文望远镜拍摄的照片只能捕捉黑白，虽然照片内的信息非常丰富，但是对大众来说，看明白原始的天文照片仍有不小的困难，而修图的过程是将这些信息可视化，让大众能够更直观的了解太空。

上文也提到，我们人眼目前能看到的只是可见光，而太空之中的星系所反应的光是人类肉眼看不到。而为了让大众能够全面真实的了解太空，使用 PS 技术将这些看不到的信息，转换到我们能看到的信息是非常有必要的。

此外，最初通过天文望远镜拍摄的照片也并不是全部都是真实的，因为在拍摄过程中，摄像头的光学特性会在图像中产生一些原本不存在的东西，而这些不存在的东西会让大众误以为是太空中存在的其他星体，所以天文学家们需要将这些不存在的东西从照片中清除。

用 PS 处理图片，不仅接解决了信息可视化的问题，同时也让科学的数据真实呈现。每一张被 PS 过的天文照片都遵循了十分严格的规范，毕竟不能无中生有，也不能将有的信息变没。

『Facebook』Facebook开源RacerD，帮助开发者消灭顽固 Bug

在内部成功使用之后，Facebook 近日宣布开放其开发工具 RacerD 的开源版本，代码包含在静态代码分析工具 Infer 的代码库中。

据 Facebook 介绍，Infer 静态分析平台过去 10 个月内在 Android 代码库中捕获了超过 1000 种多线程问题。Race Condition 是程序在多线程多任务处理时，对有些共享资源进行操作（例如两个进程同时修改同一个数据时），导致整个处理过程变得混乱甚至锁死，引发 BU G。Race Condition 查找起来非常困难，开发者很难彻查一个 APP 中所有的潜在问题，因为 Race Condition 引发的 bug 并不持续，因此难以诊断。

Facebook 科学家 Blackshear 和 O’Hearn 写道，RacerD 能查出大多数 Race Condition 导致的 Bug ，虽然不能保证全部。

目前 RacerD 兼容 Java，下一步 Facebook 将进一步开发使 RacerD 能够兼容 C++ 。

End

阅读排行榜/精华推荐

1

请到「今天看啥」查看全文