Picat表格逻辑编程简介 Picat是一种新的基于逻辑的编程语言。在许多方面，Picat与Prolog相似，尤其是B-Prolog，但除了谓词之外，它还具有函数、谓词头部中的模式匹配而不是统一、列表推导和可选的破坏性赋值。 了解一些 Prolog 有助于学习 Picat，但绝不是必需的。
安卓糖果：你要给谁打电话？任何人! 我对手机上的联系人管理器有一种爱恨交加的关系。我绝对喜欢拥有所有可用信息，我更喜欢它与我的 Google 联系人同步。 然而，我不喜欢的是您必须滚动查找要呼叫的人的繁琐方式。
构建您自己的企业 Wi-Fi 正如您可以从本月我在开源课堂上对 Wi-Fi 的关注中看出的那样，我真的很喜欢无线网络。 我已经为预算有限的学校实施了无线解决方案，并且我帮助计划了校园范围内冗余控制的企业解决方案的推出。
保护、隐私和季后赛 在我的数字生活中，我通常不是一个隐私狂。 这实际上不是一件好事，因为我认为隐私很重要，但它通常可能非常不方便。 例如，如果您走进我的家庭办公室，您会发现我没有为我的屏幕保护程序设置密码保护。
哈希表—理论与实践 我第一次听说哈希表是在我获得理学学士学位期间上完编译器课程之后。 事实是，当时我无法完全理解和欣赏它们的用处。 现在我对哈希表了解更多了，我决定写下它们，以便其他人也能看到它们的重要性。
Android上的科学 我在这篇文章中介绍了很多不同的科学软件包，它们可以在 Linux 下使用，但重点是运行在台式机上的 Linux。 然而，这是相当短视的，因为许多其他平台都可以使用 Linux，不应被忽视。 因此，在本文中，我开始研究您可以在 Android 平台上进行的科学类型。
IBM 新 Linux 服务器初探 今天，IBM 发布了其高端服务器 Power Systems 系列的最新产品。 它们是 Power Systems S812LC、Power Systems S822LC（用于商业计算）和高性能 Power Systems S822LC。 它们都是为 Linux 定制的。
