#函数
What Color Is Your Function?(journal.stuffwithstuff.com)
2020-5-19 13:5我不知道你怎么想，但是没有什么比一种老式的编程语言咆哮更能让我早上行动起来了。看到有人使用平民使用的那种“鲸鱼”语言，在偷偷访问StackOverflow的间隙蒙混过关，这会激起人们的愤怒。
(同时，你和我只使用最开明的语言。(为像我们这样的专业工匠修剪指甲的手设计的凿子工具。)。
当然，作为Said Screed的......
What is the Random Oracle Model and why should you care?(blog.cryptographyengineering.com)
2020-5-17 8:17
这是关于随机甲骨文模型的一系列帖子中的第一篇。*对于一些人的品味来说，这可能会有点不稳定，所以如果你对可证明的安全不感兴趣，没问题。“一旦我把这件事从我的系统中拿出来，我会带回更多关于软件和物理安全的信息。
碰巧今天我计划讲授一门关于可证明安全和“随机Oracle模型”的课程。“在整理我的想法时，我突然想到，a)这门......
Shortcutting a Standard Library(medium.com)
2020-5-8 14:44
我们最近决定大幅扩展Dark的标准库。虽然我们的标准库为Dark“框架”提供了很多功能，包括HTTP、Worker/Queue和数据存储函数，但我们在“包含电池”语言中所期望的常规函数(如用于数学和操作标准数据类型(如列表、字典、数字和字符串)的函数)上略显不足。
作为更快发货的捷径，我们决定从榆树标准库开始。ELM......
Close Look at CSRF Tokens(denvaar.github.io)
2020-5-7 19:56我开始了解CSRF令牌是如何生成和验证的。我是通过在Phoenix web应用程序中跟踪函数调用流来做到这一点的。这是一个让我陷入一些深洞的过程，但最终是一次有益的经历。对本文的具体细节不太感兴趣的读者可以跳到底部的摘要部分查找TL；
本文详细介绍了CSRF令牌的生命周期。为了开始我们的旅程，我们将导航到正文中包含H......
2020-5-6 0:18
我最近花了很多时间编写茴香，并为它的编译器做贡献。由于它是一种编译Tolua的语言，这也意味着需要花费大量时间来了解Lua。本文将集中讨论Lua(不过我会在脚注中不时提到茴香)。
Lua是一种整洁、优雅、相对简单的语言。我发现它特别值得注意的是它可以嵌入到其他程序中；能够承载多种不同风格的编程；以及它的一个实现Lua......
Joy (Programming Language)(en.wikipedia.org)
2020-5-2 18:6跳转到导航跳转到搜索计算机科学中的Joy编程语言是一种纯函数式编程语言，由澳大利亚墨尔本拉特洛比大学的Manfred von Thun开发。Joy基于函数的组合，而不是λ演算。事实证明，它与Forth有许多相似之处，这不是因为设计，而是因为一种并行的进化和融合。它的灵感也来自于John Backus的FP的函数级编程......