Weekly

上周末，作者尝试了Standard ML编程语言。文章介绍了在Coursera上关于编程语言的优秀课程，其中涉及了使用Standard ML进行基本和高级函数式编程。文章还展示了如何使用SML/NJ编译器和sml-mode在Emacs中编写ML代码。文章通过示例介绍了ML的基本语法，包括变量、条件语句、函数、记录、闭包、函数组合、模式匹配和数据类型。作者认为ML是一种强大的语言，能够提升开发技能，并可能使程序设计更加高效。

本文探讨了程序员在提升数学技能时可能遇到的困难，指出他们往往在阅读研究论文前没有充分掌握基本的证明方法。文章强调了理解数学证明过程的重要性，并介绍了“基本四”证明方法，即直接推理、反证法、逆否命题和归纳法。文章以集合论为例，详细解释了集合的定义、集合的表示方法以及集合之间的关系，并通过实例展示了如何使用直接推理证明集合的包含关系。此外，文章还简要介绍了证明技巧的进一步学习资源。

本文探讨了如何找到在100万以下产生最长Collatz链的起始数字。Collatz链是通过将数字按照规则转换成下一个数字来生成的，规则是：如果数字是偶数，则除以2；如果是奇数，则乘以3再加1。作者首先使用了一个简单的迭代函数来计算Collatz链的长度，但这种方法效率较低。随后，作者通过递归函数优化了计算过程，显著提高了效率。最终，作者通过在Clojure中实现这些算法，找到了产生最长Collatz链的起始数字，整个过程大约需要12秒。

作者Andrew Brampton分享了自己作为博士研究生和研究助理期间的所有出版物，包括多篇关于分布式哈希表、性能分析、视频点播系统等方面的论文和会议报告。这些作品可在GitHub上找到。其中，他的博士论文《高度交互式工作负载对视频点播系统的影响》于2008年在兰卡斯特大学完成。

作者是一位热衷于开源的程序员，多年来创建了多个项目并贡献给社区。这些项目包括Linux系统连接、网络性能测试工具、JavaScript序列图绘制、Node.js支持Hessian协议、Python命令行工具、PHP协议缓冲生成插件、Wiimote控制网页的实时绑定、蓝牙通信协议实现、C++实现的BitTorrent协议等。此外，作者还向Linux内核、FreeBSD、PHP、Python等多个项目做出了贡献。

NPR应用团队在开发新闻应用时，注重成本效益和移动端体验。他们使用Flask简化开发流程，Bootstrap作为前端基础，以及Fabric进行配置管理。团队开发的app模板支持从flat files提供服务，旨在提高开发效率和移动端性能。该模板开源，欢迎贡献和反馈。

Redis开发者Antirez宣布，Redis 2.8版本将包含两个重要特性：部分重同步（PSYNC）和键空间变更通知。PSYNC将显著提升从节点的工作效率，而键空间变更通知则允许用户接收键空间变更的实时通知。Antirez表示，随着这两个特性的加入，他将主要专注于Redis集群的开发。Redis集群将支持自动分区、热迁移和单键操作，并计划使用Redis Sentinel进行主节点故障转移。目前，集群功能已初步实现，但还需要进一步开发以达到beta质量。

UIAppearance技术自2011年首次在WWDC上介绍以来，虽然已有多年历史，但其应用并不广泛。该技术允许开发者通过UIAppearance代理设置属性，提高代码的可维护性和灵活性。文章详细介绍了如何将UIAppearance应用于自定义类，包括如何处理初始化时属性设置的问题，以及如何使用runtime查询UIAppearance设置。此外，文章还提到了UIAppearance的一些限制和注意事项，如BOOL类型不支持等。随着iOS 8的发布，BOOL类型已支持UIAppearance，使得该技术更加实用。

本文汇集了编程领域的多个主题，包括如何在谷歌等公司求职、算法复杂度评估、结构不可变性、PHP和Java语言的优缺点分析、编程笑话等。文章提供了面试技巧、算法复杂度知识、数据结构、数学和操作系统等编程基础，并深入探讨了PHP和Java的设计特点。此外，还介绍了JDK8的新特性，如Project Lambda和函数式接口，以及游戏开发、算法应用等实用技巧。整体上，这是一篇内容丰富、信息量大的编程知识汇总。

Roy Osherove在演讲中分享了如何成为一名更好的教练。他强调，作为教练，不应成为团队的瓶颈，而应通过传授知识和技能，帮助团队成员独立成长。他提出，领导力在于培养团队，而非成为唯一的知识来源。Osherove还讨论了学习周期、时间管理、质量三角以及如何克服个人、社会和环境障碍，以促进团队成员的学习和成长。他提倡使用清晰的语言和承诺，以建立团队的共同目标。总结来说，Osherove主张通过培养和引导，而非控制，来提升团队的整体能力。

随着软件功能的不断增加，用户界面变得越来越复杂，导致用户体验下降。然而，现在软件开发者开始重视用户体验，强调软件的易用性，通过用户中心的设计和团队协作，创造出既实用又愉悦的软件产品。例如，Cerner公司的新iPad应用针对医生设计，注重简洁直观的交互，并通过用户测试不断优化。这种以用户为中心的设计理念，旨在让软件变得简单易用，让用户专注于核心任务。

为了获得更好的浏览体验，请确保您的浏览器已启用JavaScript。若需要帮助启用，请点击链接获取指导。

这段访谈记录了Twitter首席执行官Jack Dorsey与Kara Swisher的对话，主要围绕Twitter的产品发展、社交媒体责任、以及公司面临的挑战展开。Dorsey承认了Twitter在处理网络暴力和促进健康对话方面的不足，并强调了将用户的安全放在首位的重要性。他提到了一些具体的改进措施，如改进政策、使用机器学习技术来降低不良行为者的活跃度，以及提供更多产品功能来减轻受害者的负担。此外，Dorsey还讨论了Twitter的业务模式、对政治人物的处理，以及公司未来的发展方向。

编程爱好者mishadoff宣布，他将定期分享自己收藏的10篇精选文章，这些文章大多与编程相关，但也可能涉及数学或幽默等其他话题。他强调，所选文章均为他个人“真正喜欢”的，且不定期发布，每次发布10篇文章。此外，这些文章可能年代久远，但只要他认为有价值和相关性，就会分享出来。他希望这种形式的文章集锦能引起读者的兴趣，并欢迎读者与他分享他们喜欢的编程相关文章。

欧洲单一欧元支付区（SEPA）已全面实施，要求欧元区和非欧元区SEPA国家内的所有欧元支付都必须通过SEPA支付方案进行。本指南从商家角度解释了SEPA是什么，并总结了SEPA直接借记方案的主要特点，帮助商家了解这对他们业务的影响。SEPA直接借记与英国直接借记类似，但存在一些差异，如货币、退款、银行详情等。商家可以通过GoCardless轻松设置和安排SEPA直接借记支付，从而简化收款过程。SEPA直接借记适用于定期支付、服务发票和有持续关系的客户，但在需要即时清算或可能被退款的交易中可能不太适用。