讓我們看一些奇怪的迴圈對話，成為聰明人

這是一年中最神奇的時刻。許多世界上最棒的書獃子都在某個酒店裡出現了，他們正在互相談論程式設計的未來。我說的當然是奇怪的迴圈，這是一個每年一度的“多學科會議，彙集了開發人員和思想家，在新興語言、替代資料庫、併發性、分散式系統、安全性和web等領域構建未來的技術。”...

這是一年中最神奇的時刻。許多世界上最棒的書獃子都在某個酒店裡出現了，他們正在互相談論程式設計的未來。我說的當然是奇怪的迴圈，這是一個每年一度的“多學科會議，彙集了開發人員和思想家，在新興語言、替代資料庫、併發性、分散式系統、安全性和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的創始人），但是對這些想法進行現代的、視覺的探索真是太棒了。