这是一年中最神奇的时刻。许多世界上最棒的书呆子都在某个酒店里出现了，他们正在互相谈论编程的未来。我说的当然是奇怪的循环，这是一个每年一度的“多学科会议，汇集了开发人员和思想家，在新兴语言、替代数据库、并发性、分布式系统、安全性和web等领域构建未来的技术。”

我从来没有去过奇怪的循环，但几年来，我已经吞食了一个健康的百分比的谈话张贴在YouTube上，因为他们是如此该死的怪异，创造性和未来。典型的奇怪循环谈论的是编程和开发可能是什么。奇怪的循环扬声器不是停留在平凡和实用上，而是经常钻研一些晦涩难懂、不太可能实现的技术，如果这些技术成功的话，可能会产生巨大的影响。

以下是我今年最喜欢的几款：

“lux编程语言”

奇怪的循环对话让我了解了一些业界最有趣的新编程语言。例如，像Idris和Elm这样的语言是三年前由它们的创造者在strangeloop上分别引入的。如果一种语言真的值得使用，你可能会在明年的奇怪循环中得到一个实际使用它来解决一个新问题的人的后续谈话。但是，作为一个不是专业程序员，因此不需要用代码来完成任何事情的人，我最喜欢的是原始语言介绍。

今年，EduardoJulian向我们介绍了他雄心勃勃的Lux编程语言，一种函数式静态类型Lisp。不知道那些词是什么意思？我的处方更奇怪。基本上，Lux吸收了许多编程语言的思想，同时还提供了一些我以前从未见过的特性，并将它们全部用括号括起来（这就是Lisp部分）。

“datafun：一种函数查询语言”和“粒子物理，快了10000倍”

从事高能物理的吉姆·皮瓦斯基和研究程序语言设计的迈克尔·阿恩特泽纽斯都留着大胡子。他们还确信，传统编程语言和数据库查询语言之间存在一些最佳点，可以为大数据从业者提供所需的能力。

我喜欢这两个胡须的谈话，一个来自工业界，另一个来自学术界，他们得出了一个类似的解决方案。他们好像有什么发现。我不能百分之百确定他们在做什么，因为我没有他们描述的问题，但我喜欢协同效应，无论我在哪里看到它。

“可信互联网的消亡”

当我把这个添加到YouTube下载队列时，我不知道自己在干什么。我本以为我会学到互联网运作方式的根本转变，但我得到的却是联邦**如何与互联网对接的根本转变。或者，至少是一次尝试性的转变。美国数字服务公司的玛丽安贝洛蒂（mariannebellotti）做了一项令人难以置信的工作，她清楚而合理地解释了**在为公民**网站以与各种机构进行互动时，为自己**的迟钝和不直观的规管障碍。

这是一个卡夫卡式的网站，有点令人沮丧，但看到正在进行的整理工作也令人振奋。

“使用rocket生成更安全web的代码”

Rust是我最喜欢的编程语言，所以我很高兴看到Rust最有前途的web框架Rocket的创始人sergiobenitez的演讲。Rust是一种设计用来创建程序的语言，这种程序不存在许多可能导致安全漏洞的典型缺陷，同时（理论上）与C之类的低级语言一样快。Rocket将这些想法扩展到**一个默认安全的web框架，如果Equifax的崩溃教会了我们什么的话（Sergio在演讲的中间给出了一个很好的解释），那么我们需要一些世界上更安全的默认web框架。

“ats系统编程简介（不太温和）”

在Aditya Siram的演讲之前我从没听说过ATS。它是另一种类型安全的系统编程语言，因此它与Rust有共同点，但与Sergio的Rocket talk不同，Aditya的幻灯片中没有语法高亮显示，如果这能让你知道你在做什么的话。阿迪蒂亚在谈话中引用了一句话，很好地总结了这个奇怪的循环：

"People keep saying that learning programming languages makes you a better programmer. It really doesn't. It makes you a better programmer up to a point, and then it makes you bitter and dissatisfied, because you will never be able to port those ideas over to your day job."

“惰性防御：使用缩放的TTL来保持缓存正确”

我有一个宠物理论，缓存失效的典型困难是什么阻碍了Twitter使tweets可编辑。所以对于我来说，从Twitter工程师那里得到一个奇怪的循环来解释Twitter的实际缓存设置是多么方便。我承认，Bonnie Eisenman的演讲对于一个奇怪的循环演讲来说是非常实际的，但我会允许的。我的宠物理论现在有了一些确凿的证据：“我们非常非常依赖缓存。99.9%的请求都是从缓存中提供的，而在好的一天，这一点要高得多。”

这次谈话并没有直接涉及tweet编辑，但是考虑到本次谈话中概述的Twitter系统的特点，我认为可编辑的tweet需要对Twitter的后端进行重大修改。

“走向强人工智能的生物途径”

我把最好的留到最后。马特·泰勒（Matt Taylor）解释了大脑的新皮质是如何在20分钟内以惊人的密度和亮度工作的，然后无缝地过渡到Numenta是如何试图在软件中模拟新皮质的。在这场演讲中分享的许多事实都在杰夫·霍金斯2004年出版的关于智力的书中（杰夫·霍金斯，Palm的创始人，也是Numenta的创始人），但是对这些想法进行现代的、视觉的探索真是太棒了。