函数
2020-6-29 4:5
我探索了实现指数函数$f(X)=e^x$的几种复杂的逼近技术，包括泰勒级数逼近、拉格朗日插值、切比雪夫插值、Carathéodory-Fejer逼近和MinimMax逼近。这也是对使用这些方法来近似其他函数的更一般的介绍。在此过程中，我详细介绍了每种方法的相关理论，并应用数值分析方法对各种形式的误差进行了导航。我还以......
2020-6-25 23:27
您可以在我的GitHub上的实验室存储库中找到工作代码示例(包括这个示例)。
有时，为了预测新的、看不见的数据，有必要将现有数据分成几类。这个问题叫做分类，可以用来从数据中学习这些类的算法之一叫做Logistic回归。
在本文中，我们将深入研究Logistic回归模型，以了解它与其他回归模型(如线性回归或多元线性回归......
2020-6-24 22:48
Rust的设计灵感来自许多现有的语言和技术，其中一个重要的影响是函数式编程。函数式编程通常包括使用函数作为值，在参数中绕过它们，从其他函数返回函数，将它们赋给变量以供以后执行，等等。
在本章中，我们不会讨论什么是函数式编程或什么不是函数式编程的问题，而是讨论Rust的一些特性，这些特性类似于许多语言中通常称为函数式的......
2020-6-18 7:53
当你每天有2亿以上的用户时，你肯定想让你的API不让垃圾邮件制造者和公司知道，所以你必须在授权它对你的服务器进行API调用的二进制文件中保守一个秘密。Snapchat(10.81.6.81版)通过在每个请求中包括X-Snapchat-Client-Auth-Token标头来实现此目的，典型的请求如下所示：
忘了对这个......
2020-6-16 21:4
NETGEAR R7000经过一天的辛勤研究，放松、放松、轻松地做一些事情，这是一件很有趣的事情。虽然与10-15年前相比，现代软件开发流程极大地提高了商业软件的质量，但消费者网络设备在很大程度上被甩在了后面。因此，当需要一些快速乐趣和良好的信心提升时，我喜欢分析SOHO设备。本博客描述了一个这样的会话，即审核Net......
2020-6-13 16:32
这是一个参考，通过显示与JavaScript代码的比较，使开发人员更容易进入数学表示法。
本指南尚未完成。如果您看到错误或想要贡献，请开票或发送公关。
注意：为简洁起见，一些代码示例使用了NPM包。您可以参考他们的GitHub Repos以了解实现的详细信息。
根据作者、上下文和研究领域(线性代数、集合论等)的不同，......
2020-6-12 3:13
跳转到导航跳转在数学中搜索，康托函数是一个连续的函数，但不是绝对连续的。这在分析中是一个臭名昭著的反例，因为它挑战了关于连续性、导数和测度的天真直觉。虽然它处处是连续的，几乎处处都有零导数，但当它的自变量从0到1时，它的值仍然从0到1。因此，从某种意义上说，该函数看起来非常像一个常数，不能增长，而在另一种意义上，它确......
2020-6-11 2:43
什么是静态分析(SA)？好的，静态意味着“非动态”，即不在运行时或在运行期间。静态分析是在软件开发的上下文中在编译时或接近编译时完成的事情。但静态分析只是形式链的一部分，除了列车控制系统等关键系统外，通常不会充分利用它。
完整的形式化链条从形式化规范开始，形式化需求评估是形式化规范的一个重要前提，这一部分涉及的问题是......
2020-5-28 13:1
最近的一篇帖子引用了艾伦·凯(Alan Kay)的一句话，即表达Lisp本身就是麦克斯韦的软件方程式：是的，这是我在研究生院时得到的一个重大启示--当时我终于明白，Lisp1.5手册第13页底部的半页代码本身就是Lisp。这就是“麦克斯韦软件方程式！”
这句话出现在网络上的许多地方，但代码本身更难找到。这令人惊叹的半......
2020-5-21 20:33
为了获得将产生所需程序行为的语法突出显示，需要键入正确的文本，这常常妨碍编程的效率。程序员只能通过神秘的文字咒语间接控制代码的颜色和格式。在本文中，我们介绍了WysiScript，这是一种新的语言，它允许通过直接应用颜色和格式来表达程序语义，从而使程序员摆脱了对文本的这种陈旧的依赖。我们描述了该语言的主要思想，并用一......
2020-5-20 5:19
你有没有其他语言或语言特性的库的例子，它们真的应该实现一个众所周知的概念(Monoid、Monad、Alternative等等)，但它们没有实现，因为它们(可能)不知道这个概念？例如违反法律、缺少函数、过于复杂的函数类型等。
我遇到过很多这样的例子，他们总是折磨我。但无论如何，我现在什么都想不起来了。
级别1，因为即......
2020-5-19 13:5
我不知道你怎么想，但是没有什么比一种老式的编程语言咆哮更能让我早上行动起来了。看到有人使用平民使用的那种“鲸鱼”语言，在偷偷访问StackOverflow的间隙蒙混过关，这会激起人们的愤怒。
(同时，你和我只使用最开明的语言。(为像我们这样的专业工匠修剪指甲的手设计的凿子工具。)。
当然，作为Said Screed的......
2020-5-17 8:17
这是关于随机甲骨文模型的一系列帖子中的第一篇。*对于一些人的品味来说，这可能会有点不稳定，所以如果你对可证明的安全不感兴趣，没问题。“一旦我把这件事从我的系统中拿出来，我会带回更多关于软件和物理安全的信息。
碰巧今天我计划讲授一门关于可证明安全和“随机Oracle模型”的课程。“在整理我的想法时，我突然想到，a)这门......
2020-5-8 14:44
我们最近决定大幅扩展Dark的标准库。虽然我们的标准库为Dark“框架”提供了很多功能，包括HTTP、Worker/Queue和数据存储函数，但我们在“包含电池”语言中所期望的常规函数(如用于数学和操作标准数据类型(如列表、字典、数字和字符串)的函数)上略显不足。
作为更快发货的捷径，我们决定从榆树标准库开始。ELM......
2020-5-7 19:56
我开始了解CSRF令牌是如何生成和验证的。我是通过在Phoenix web应用程序中跟踪函数调用流来做到这一点的。这是一个让我陷入一些深洞的过程，但最终是一次有益的经历。对本文的具体细节不太感兴趣的读者可以跳到底部的摘要部分查找TL；
本文详细介绍了CSRF令牌的生命周期。为了开始我们的旅程，我们将导航到正文中包含H......
2020-5-6 0:18
我最近花了很多时间编写茴香，并为它的编译器做贡献。由于它是一种编译Tolua的语言，这也意味着需要花费大量时间来了解Lua。本文将集中讨论Lua(不过我会在脚注中不时提到茴香)。
Lua是一种整洁、优雅、相对简单的语言。我发现它特别值得注意的是它可以嵌入到其他程序中；能够承载多种不同风格的编程；以及它的一个实现Lua......
2020-5-2 18:6
跳转到导航跳转到搜索计算机科学中的Joy编程语言是一种纯函数式编程语言，由澳大利亚墨尔本拉特洛比大学的Manfred von Thun开发。Joy基于函数的组合，而不是λ演算。事实证明，它与Forth有许多相似之处，这不是因为设计，而是因为一种并行的进化和融合。它的灵感也来自于John Backus的FP的函数级编程......