emacs 打开任何以*.idr和*.lidr作为后缀的文件，都可以启用idris-mode. 另外，使用C-c C-l可以在*idris-repl*中加载当前文件并启用 type check 进行检查，出现的错误会打印在*idris-notes* buffer中。
源 | Reddit 译 | OSC - 周其 我时不时会发现一种编程语言的不同用法它有时候会改变我对编程的看法啊。这篇文章中，我想分享一下让我惊讶的发现。这不是类似于高呼“函数式编程会改变世界！”博客文章。我敢打赌，大多数读者都没有听说过下面的大多数语言和范例，所以你应该也会被这些新概念吸引。 注意：我对以下大多数语言的使用经验都很少，但是我发现他们背后的想法非常吸引人，但对其没有专业知识，所以有任何错误请指出并指导更正。如果您也有新的范例和想法，欢迎分享。 默认并发 示例语言：ANI,
在 Rust 中，函数指针用于直接指向一个确定签名的函数，适用于不需要捕获外部环境的场景。相对闭包来说，函数指针语法简单，性能略高但不能保持状态。闭包则功能更强大，能够捕获和使用其定义时的环境状态，适合需要维护状态和上下文的任务。总的来说，选择函数指针还是闭包取决于是否需要维护状态和性能要求。
作为一个对数学和编程语言充满激情的人，谁也不能阻止我分享我总结的10个超棒的用于数学的编程语言。 正文共：2619 字 预计阅读时间：7 分钟 作为一个对数学和编程语言充满激情的人，谁也不能阻止我分
Tuple类型对于Python自身来说是非常重要的数据类型，比如说函数调用，实际上会将顺序传入的参数先组成一个tuple；多返回值也是靠返回一个tuple来实现的。因为太常用，所以需要一个更有效的数据结构来提高效率，一个不可变的tuple对象从实现上来说可以比list简单不少。再比如说code对象会记录自己的参数名称列表，free variable名称列表等等，这些如果用list，就可能被从外部修改，这样可能导致解释器崩溃；那就只能选择改成一个函数每次都返回一个新的列表，这样又很浪费。所以即使是从解释器自身实现的角度上来说引入这样一个不可变的序列类型也是很重要的。
原文地址：Understanding Audio Focus (Part 1 / 3): Common Audio Focus use cases 原文作者：Nazmul Idris (Naz) 译文
译者注：本文介绍了六种编程范式，提到了不少小众语言，作者希望借此让大家更多的了解一些非主流的编程范式，进而改变对编程的看法。以下为译文： 时不时地，我会发现一些编程语言所做的一些与众不同的事情，也因此改变了我对编码的看法。在本文，我将把这些发现分享给大家。 这不是“函数式编程将改变世界”的那种陈词滥调的博客文章，这篇文章列举的内容更加深奥。我敢打赌大部分读者都没有听说过下面这些语言和范式，所以我希望大家能像我当初一样，带着兴趣去学习这些新概念，并从中找到乐趣。 注：对于下面讲到的大多数语言，我拥有的经验
26岁的单身母亲Brenda住在非洲最大的贫民窟基贝拉，这也是全球最贫困的社区之一。
导读：26岁的单身母亲Brenda住在非洲最大的贫民窟基贝拉，这也是全球最贫困的社区之一。
将rust的猜数字游戏迁移到WASI目标上，并增加日志追踪与命令行传游戏难度的功能
原文地址：Understanding Audio Focus (Part 2 / 3): More Audio Focus use cases 原文作者：Nazmul Idris (Naz) 译文出自
导读：吾日三省吾身，过年胖了吗？情人节过了吗？发际线还好吗？别想这么多啦，程序员和数据科学家的世界里，只有Python值得你费脑子！今天为大家准备了10本数据分析相关好书，助你早日成为Python大神！
预训练语言模型已经成为了现代自然语言处理pipeline中的基石，因为其在少量的标注数据上产生更好的结果。随着ELMo、ULMFiT、GPT和BERT的开发，使用预训练模型在下游任务上微调的范式被广泛使用。随后发现预训练语言模型在没有任何额外训练的情况下任务能执行有用的任务，进一步证明了其实用性。此外，根据经验观察，语言模型的性能随着模型的增大而增加(有时是可预测的，有时是突然的)，这也导致了模型规模越来越多的趋势。抛开环境的问题，训练大语言模型(LLM)的代价仅有资源丰富的组织可以负担的起。此外，直至最终，大多数LLM都没有公开发布。因此，大多数的研究社区都被排除在LLM的开发之外。这在不公开发布导致的具体后果：例如，大多数LLM主要是在英文文本上训练的。
本文最初发布于 phaazon.net 网站，经原作者授权由 InfoQ 中文站翻译并分享。
前段时间，我为Scala 3提出了XML字面量语法提案，在社区中正在讨论。这个提案可能预示着 Scala 3、Scala.js和Binding.scala的未来前景。为什么这么说？还得先聊聊Scala目前在编程语言界的江湖地位是怎么来的。
原文地址：Migrating MediaStyle notifications to support Android O 原文作者：Nazmul Idris (Naz) 译文出自：掘金翻译计划 本文永
导读：相比于科学，数据分析更像是一门艺术。创建样式优美的数据可视化是这个艺术中不可缺少的部分。然而，某些人认为优美的，也会有人觉得难以接受。和艺术类似，随着数据分析的快速演变，人们的观念和品味也一直在变化。但是总的来说没有人是绝对正确和错误的。
参考资料地址：https://www.crummy.com/software/BeautifulSoup/bs4/doc.zh/#id28
机器之心报道 机器之心编辑部 如果你有 100 万个 GPU hour，你会训练什么样的语言模型？ 到昨天为止，大模型「BigScience」已训练了 5%。 这个模型仅 bf16 权重就有 329GB，正在用 384 块 A100 进行训练，吞吐量每秒约 150TFLOPS。 好消息是，训练损失正在下降： 与很多公司未开源大模型不同的是，BigScience 模型训练的参数所有人都可见，根据项目组织者的预测，距离完成目标还有三个月的时间。 人工智能给人类社会带来了根本性的影响，但与互联网的兴起不同，
人工智能领域出现了各种开源方案，竞争日渐激烈。本文整理了一些影响力最大的开源大语言模型。
今天，给大家介绍一下平时偷偷在学习的几个 github 库。其中，有几个是很优秀的资源库，它们可能会帮助你成长为一名开发者；
通俗的来说，Python中所谓的命名空间可以理解为一个容器。在这个容器中可以装许多标识符。不同容器中的同名的标识符是不会相互冲突的。理解python的命名空间需要掌握三条规则：
本文转载：http://www.cnblogs.com/lovemyth/archive/2007/03/14/674584.html
但是在回调函数中，我们只能知道消息的主题名是什么。如果是非通配符订阅，订阅时使用的主题过滤器将和消息中的主题名完全一致，所以我们可以直接建立订阅主题与回调函数的映射关系。然后在消息到达时，根据消息中的主题名查找并执行对应的回调函数。
执行上下文（简称上下文）在编程语言中是一个极为重要的概念。它是一个包含执行时所需信息的数据结构，包括全局执行上下文和函数执行上下文等。变量或函数的上下文决定了它们可以访问哪些数据，以及它们的行为。每个上下文的数据和函数都保存在一个与之关联的变量对象中，虽然无法直接通过代码访问变量对象，但是后台处理数据的时会用到它们。
Python 需要使用标识符给变量命名，其实标识符就是用于给程序中变量、类、方法命名的符号（简单来说，标识符就是合法的名字）。
本文分享 了 JavaScript 基础的两个方面：执行上下文和调用堆栈。每当 JavaScript 代码运行时，它都在执行上下文中运行；调用栈则可以在脚本调用多个函数时，跟踪每个函数在完成执行时应该返回的控制点。
程序员之间有一个约定俗成的习惯，我们在学习任何编程语言时，所写的第一个程序，就是在显示屏上打印一行字符“Hello World”。
C语言学习 ---- C语言是一个非常灵活且高效的语言，在学习的过程中总会有很多坑。最近有一个项目是混合编程，高性能部分采用C/C++来完成，数据处理和分析采用Python来完成。Python去调用C/C++生成的动态链接库(例如：Linux是.so文件，osx是.dylib文件)。主要思想：Python进行数据处理和分析完成的“数据”抛给C/C++动态链接库，动态链接库处理业务逻辑。数据采用“推拉”(ZMQ)通信方式来传输给第三方接口,第三方的接口接到数据之后再通过kafka…。剩余的你懂得。。。。。。
单个数据称为值。从广义上讲，值有两大类：原始值，它们是原子的；结构化值，由原始值和其他结构化值构成。例如，值
基于BLOOM-176B研发的轩辕大模型，在金融场景中的任务评测中，效果相较于通用大模型大幅提升，表现出明显的金融领域优势。
几乎所有编程语言最基本的功能之一，就是能够储存变量当中的值，并且能在之后对这个值进行访问或修改。事实上，正是这种储存和访问变量的值的能力将状态带给了程序。
首先我们从一个 Go 变量遮蔽（Variable Shadowing）的问题说起。
函数调用是告诉 CPU 执行函数的表达式。发起函数调用的函数是调用者，被调用的函数是被调用者或被调用函数。进行函数调用时不要忘记包含括号。
编译原理是计算机科学领域的一个重要分支，它研究如何将高级编程语言的源代码转化成计算机能够执行的机器代码或中间代码的过程。编译原理涵盖了编译器的设计和实现，其中编译器是一种将源代码翻译成目标代码的软件工具。编译器的主要任务包括语法分析、词法分析、语义分析、优化和代码生成等环节。
大家常规的认知是，Go 程序中声明的类型越多，生成的二进制文件就越大。这个符合直觉，毕竟如果你写的代码不去操作定义的类型，那么定义一堆类型就没有意义了。然而，链接器的部分工作就是检测没有被程序引用的函数（比如说它们是一个库的一部分，其中只有一个子集的功能被使用），然后把它们从最后的编译产出中删除。常言道，“类型越多，二进制文件越大”，对于多数 Go 程序还是正确的。
本文章将围绕C展开来写一篇基础(小白)的博客。本人想从零基础开始慢慢的写，所以就先从概述开始了，慢慢的由低到高吧，就像是我们一开始都是从hello word开始入门一样。当然这篇博客大家可能会觉得水🌊
一个软件的开发，一行代码的实现，实际上是由两个环节所构成的：翻译以及运行。 而这两个环节是在两个环境下所进行的：翻译环境和运行环境。 翻译环境负责将源代码转换为可执行的机器指令，也就是计算机能听懂的语言。 运行环境负责实际执行代码的操作。 翻译环境可以被分为两个部分：编译和链接。 而编译又可以被分为三个环节：预处理（预编译）、编译、汇编。 所以整个过程实际上也可以看成是四个环节。
最近在研究 JavaScript 基础性的东西，但是看到对于执行上下文的解释我发现有两种，一种是执行上下文包含：scope(作用域)、variable object(变量对象)、this value(this 值)，另外一个种是包含：lexical environment(词法环境)、variable environment(变量环境)、this value(this 值)。
将词法单元流（数组）转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树（Abstract Syntax Tree，AST，抽象语法树）。
Go令牌 Go程序包括各种令牌和令牌可以是一个关键字，一个标识符，常量，字符串文字或符号。例如，下面的Go语句由六个令牌： fmt.Println("Hello, World!") 个体令牌是： fmt . Println ( "Hello, World!" ) 行分离器 在Go程序，行的分隔符关键是一个语句终止。也就是说，每一个单独语句不需要特殊的分隔线; 在C编译器转到内部的地方; 作为语句终止符，表示一个逻辑实体的结束。 例如，下面是两个不同的陈述： fmt.Println("Hello,
编译程序: 如何把源程序转换成机器能够接受的目标程序,软件工作者编制了一系列的软件.通过这些软件,把用户按规定语法写出的语句一一翻译成二进制的机器指令. 这种具有翻译功能的软件称为“编译程序”
本系列文章旨在让您深入理解音频焦点的含义，使用方法和其对用户体验的重要性。本篇文章是该系列的第一部分，该系列三篇文章包含了：
本文是@堂主 对《Pro JavaScript with Mootools》一书的第二章函数部分知识点讲解的翻译。该书的作者 Mark Joseph Obcena 是 Mootools 库的作者和目前开发团队的 Leader。虽然本篇文章实际译于 2012 年初，但个人感觉这部分对 Javascript 函数的基本知识、内部机制及 JavaScript 解析器的运行机制讲的非常明白，脉络也清楚，对初学者掌握 JavaScript 函数基础知识很有好处。尤其难得的是不同于其他 JavaScript书籍讲述的都是分散的知识点，这本书的知识讲解是有清晰脉络的，循序渐进。换句话说，这本书中的 JavaScript 知识是串起来的。
在前文中我们已经讨论过关于CVE-2019-0726的相关内容。我们知道，有时候在搜索某一个已知漏洞的时候便会偶然发现新的漏洞，有时这种漏洞还不止一个。
最近ndk debug好痛苦，堆栈里都是C++修饰过的名字，每次转化成实际的类和方法都要脑子里转一下，虽说c++filt可以转换，但是转换后可能更蒙蔽。。。这里贴出两篇文章供参考。
作用域就是变量和函数的可访问范围，控制着变量和函数的可见性与生命周期，在JavaScript中变量的作用域有全局作用域和局部作用域。
JavaScript 语法就是指构成合法的 JavaScript 程序的所有规则和特征的集合，包括词法和句法。简单描述如下： 词法定义了 JavaScript的基本名词规范，包括字符编码、命名规则、标识符、关键字、注释规则、 运算符和分隔符等。 句法定义了 JavaScript的基本运算逻辑和程序结构，包括短语、句子和代码段的基本规则，如表达式、语句和程序结构等。
周期性调度器的工作由scheduler_tick函数完成(定义在kernel/sched/core.c, line 2910), 在scheduler_tick中周期性调度器通过调用curr进程所属调度器类sched_class的task_tick函数完成周期性调度的工作
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
