#language
2020-9-22 22:38
Hask是一个纯Python、零依赖的库，它模仿了来自Haskell的大多数核心语言工具，包括：
完整的Hindley-Milner类型系统(带有类型类)，它将对任何装饰有Hask类型签名的函数进行类型检查。
所有您喜欢的语法和控制流工具，包括运算符节、一元错误处理、保护等。
来自Haskell基库的(一些)标准库的......
2020-9-9 22:57
下载PDF摘要：我们探索了基于转换器的语言模型在自动定理证明中的应用。这项工作的动机是，与人类相比，自动化定理证明者的一个主要限制-原始数学术语的生成-可能可以通过语言模型的生成来解决。我们为Metamath形式化语言设计了一个自动证明器和证明助手GPT-f，并对其性能进行了分析。GPT-f发现了新的简短证明，这些证......
Grounded Language Learning Fast and Slow(arxiv.org)
2020-9-5 10:46下载PDF摘要：最近的研究表明，大型基于文本的神经语言模型，按照传统的监督学习目标进行训练，获得了一种令人惊讶的倾向，可以进行少量和一次性的学习。在这里，我们证明了一个位于模拟3D世界中的具体化Agent，并被赋予了一种新的双编码外部记忆，当用传统的强化学习算法训练时，可以表现出类似的一次性单词学习。在通过连续的视觉......
2020-9-5 7:23
一些州发现自己需要懂60年历史的编程语言COBOL的人来改造陈旧的政府系统，目前这些系统正在努力处理冠状病毒危机带来的大量失业申领人数。
堪萨斯州、新泽西州和康涅狄格州在上周申请失业救济金的人数达到惊人的660万后，都经历了技术崩溃。
他们可能很难找到他们需要的程序员。这些天来，知道COBOL(通用面向商业的语言)的......
New Racket Language Website(racket-lang.org)
2020-8-27 0:35(定义(thunk-time-it任务)(在(Cim)之前定义)(定义答案(任务))(在此之前定义增量(-(Cim)之前))(printf"；时间：~a ms\n"；增量)答案)。
Racket允许程序员添加新的语法结构，其方式与其他语言允许制定过程、方法或类的方式相同。您所需要做的就是制定一条简单的规则......
The Tao of Language Agnosticism(remesh.blog)
2020-8-25 1:50
许多公司都吹嘘自己在招聘过程中对技术一无所知。这是有道理的，为什么要限制你的候选人人才库呢？他们可能会说：“优秀的开发人员应该能够迅速发现不同语言之间的细微差别，他们的算法知识和经验正是我们要寻找的。”我最近从一个语言不可知的招聘经理，到一个语言不可知的候选人，再到一个语言不可知的家族，再到新手Python开发人员。......
2020-8-24 4:18
开放领域问答模型-理论上能够用新奇的答案回答新问题的模型-通常只是简单地记忆在它们所训练的数据中找到的答案，这取决于数据集。这是一个隶属于Facebook和伦敦大学学院的研究团队的断言，他们在一篇预印本论文中提出了证据，证明在开放领域基准测试的模型给出的答案中，有60%-70%嵌入了训练集中的某个地方。
开放领域问答......
Lit: The Language Interpretability Tool(github.com)
2020-8-20 0:29
为什么我的模型会做出这样的预测？这一预测是否可以归因于敌对行为，或者是训练集中不受欢迎的前科？
如果我更改文本样式、动词时态或代词性别等内容，我的模型行为是否一致？
并排模式，用于比较两个或多个型号，或一对示例中的一个型号。
高度可扩展到新的模型类型，包括分类、回归、跨度标记、seq2seq和语言建模。支持开箱即用的......
Idris: A Language for Type-Driven Development(www.idris-lang.org)
2020-8-18 7:52在类型驱动开发中，类型是构造程序的工具。我们将类型作为程序的计划，并使用编译器和类型检查器作为我们的助手，引导我们找到满足该类型的完整程序。越有表现力的类型是我们放弃前面，我们就越有信心，结果程序将是正确的。
在Idris中，类型是语言中的一级构造。这意味着类型可以作为参数传递给函数，并且可以像任何其他值一样从函数返......
The Julia Language – A fresh approach to technical computing(julialang.org)
2020-8-17 8:31Julia允许您编写UI、静态编译代码，甚至将其部署到Web服务器上。它还具有强大的类似shell的功能来管理其他进程。它提供了类似Lisp的宏和其他元编程工具。
Julia具有用于C/Fortran、C++、Python、R、Java和许多其他语言的外来函数接口。Julia还可以通过其嵌入API嵌入到其他程序中。具......
2020-8-17 8:29
Halide是一种编程语言，旨在使在现代机器上编写高性能图像和数组处理代码变得更容易。卤化物目前的目标是：
GPU计算API：CUDA、OpenCL、OpenGL、OpenGL Compute Shaders、Apple Metal、Microsoft Direct X 12。
Halide不是一种独立的编程语言，而......
2020-8-11 5:13
你好，干扰者！很高兴为我们的首个编程语言Jam揭开序幕。如果你刚刚听说这件事，或者需要复习一下，那么请访问以下链接：Jam登陆页面Jam Introo发布Jam注册说明如果你还没有注册，或者认为其他人可能会感兴趣，现在做还不算太晚。我们将继续开放注册服务一周。我们保持主题的开放性，主要标准是“新鲜度”或新想法。我们不......
Stet!, the Hot New Language Game(www.newyorker.com)
2020-8-5 0:5
今年的末日是星期二，我邀请了一位朋友来参加一场双人对决：一轮Stet！，这是根据“Dreyer‘s English”改编的新语言游戏；接着是马克·艾伦(Mark Allen)的“That Word Chat”节目，这是一档为墨水部落的编辑、词典编纂者、语言学家和其他人制作的自制Zoom脱口秀节目。我的朋友是梅里尔·珀......
Navajo Language Grammar(en.wikipedia.org)
2020-8-4 23:47
纳瓦霍语或纳瓦霍语(/ˈnævəh oʊ，ˈnɑː-/；[3]纳瓦霍语：Dinébizaad[t？nép？z̥ɑ̀ːt]或NaabeehóBizaad[nɑ̀ːpèːhóp？z̥ɑ̀ːt])是纳-德内族的一种南部阿萨巴斯堪语，通过它与北美西部地区所说的语言有关。纳瓦霍语主要在美国西南部使用，特别是在纳瓦霍族。它是使用......
TypeDraft: Language Is the New Framework(medium.com)
2020-7-25 16:12TypeDraft是TypeScript的超集，它为该语言增加了DSL和宏机制。如果TypeScript是可缩放的JavaScript，那么TypeDraft就应该是可缩放的TypeScript。
我们可以通过指定不同的环境变量来构建不同版本的库。例如，在实现DSL时，我们实现了名为“debug”的DSL：
这样就可......
Why Every Language Needs Its Underscore(hackflow.com)
2020-7-24 8:0(这是我在PyCon和DevDay上的一次演讲的改编。幻灯片和视频有俄语版本)。
你知道下划线是什么吗？一般而言，让生活变得更美好的是JavaScript库。适用于任何用JavaScript编写的人。我主要编写Python，我也想让我的生活更好，所以我继续为Python编写了一个类似的库。但问题是，你需要理解某种东西......
OpenAI's New Language Generator GPT-3 is Shockingly Good -- and Completely Mindless(www.technologyreview.com)
2020-7-21 2:54
“玩GPT-3感觉就像看到了未来，”旧金山的开发者和艺术家Arram Sabeti上周在推特上写道。这在很大程度上总结了过去几天社交媒体上对OpenAI最新的语言生成人工智能的反应。
OpenAI在5月份发表的一篇研究论文中首次描述了GPT-3。但上周，它开始向要求访问私人测试版的精选人员点滴提供该软件。目前，Ope......
2020-7-18 3:24
几周前，我在GitHub上浏览，遇到了一个吸引我眼球的回购。它托管了一个完全用NIM编写的项目。
我立刻得出结论，这是很多人使用的众多编程语言中的一种，但我只是个不懂它的笨蛋。但我没有把它放在一边，而是决定：让我们来了解一下这方面的情况。
因此，下面来介绍一下我使用NIM的经验，这是一个快速编程教程，以及为什么这种语......
A Programming Language for Games (2014)(www.youtube.com)
2020-7-12 0:24
我的第一个演讲是关于为游戏设计编程语言。鉴于2014年9月17日。一个实现正在构建中，并且已经有了许多演示。看这个。
2020-7-11 9:15
机器人游戏-GitHub上的传统组装65(C)02是一个8位架构，有三个主要的8位寄存器。A寄存器或累加器用于大多数计算和移动数据。另一方面，X和Y寄存器用于索引到内存中或向上或向下计数1。它们不能用于通用计算，如A。X和Y寄存器的一种用途是遍历内存。例如，您可以通过将索引加载到X中，然后使用以下指令来访问数组的元素......
Julia Language Telemetry on by Default(discourse.julialang.org)
2020-7-6 1:59
新的“PKG和存储协议”和随之而来的主机包集中服务已经合并，并出现在JuliaV1.5.0-RC1中。新的PKG将由特定于用户的UUID和其他信息组成的遥测发送到服务器，在那里它用于统计用户数和其他统计数据。我们的目标是回答“有多少Julia用户？”在筹款方面。当前协议是选择退出，这意味着除非用户更改配置，否则将收集......
AsciiDoc Language Submitted to Eclipse Foundation(projects.eclipse.org)
2020-7-3 1:54该提案处于项目提案阶段(如Eclipse开发过程中所定义)，并且是为了声明其意图和范围而编写的。我们征集更多社会人士的参与和意见。请登录并在评论区添加您的反馈。
2020-6-30 23:51
它应该是一个关于不同的压迫结构如何相互作用的理论，但它并不完全是可证伪的，因为这个理论是用来纠正这种压迫的，因此创造了新的等级结构，改变了你已经观察到的结构。例如，与马克思主义社会和阶级斗争理论相比，共产主义革命实际上创造了一套具有压迫关系的新阶级，但一直假装旧的阶级仍然有效和有效。受害者变成了欺凌弱小的人，并以声称......
Regent: A Language for Implicit Dataflow Parallelism(regent-lang.org)
2020-6-22 5:37import"；regent"；struct point{x：Float，y：Float}--具有两个字段的简单结构。--明确4项任务。暂时忽略任务主体；每个任务的行为都由它的声明进行了很好的描述。请注意，每个声明--说明任务将读取或写入的内容。任务a(点：区域(点))其中写入(点)--[[.]]。结束任......
Programming Language Pragmatics(www.cs.rochester.edu)
2020-6-21 2:6实现程序设计语言的策略必须与设计范例一起研究。一个原因是，一种语言的成功取决于其实现的质量。此外，这些策略的能力有时会制约语言的设计。语言的实现始于计算程序句法结构所需的语法分析和词汇扫描。今天的语法分析技术，在第一部分中描述，是有史以来开发的最漂亮的算法之一，是使用数学对象创建实用工具的一个很好的例子。它们是值得的......
GoPlus – The Go+ language for data science(www.github.com)
2020-6-17 23:20
a：=[1，3，5，7，11]b：=[x*x for x<；-a，x>；3]println(B)//输出：[25 49 121]mapData：={"；Hi"；：1，"；Hello"；：2，"；go+"；：3}reversedMap：={v：k for k，v<；-ma......
A natural language shell based on GPT-3(vimeo.com)
2020-6-13 1:47
这是OpenAI在Vimeo上的“自然语言外壳演示”，Vimeo是高质量视频和喜爱它们的人的家园。
Alpine Linux 3.12 Released with D Language Support, MIPS64 Port(www.phoronix.com)
2020-5-31 18:34我们依赖您的支持：您知道您每月只需不到3美元就可以获得Phoronix Premium吗？今天就试着在一个页面上查看我们的网站无广告、多页文章，以及更多内容，这样我们就可以写更多的Linux硬件评论了。围绕MUSL libc和Busybox构建的Alpine Linux轻量级发行版的3.12版现在可以用于该平台，容器......
GPT-3: Language Models Are Few-Shot Learners(github.com)
2020-5-29 10:2
最近的工作显示，通过在大量文本语料库上进行预先培训，然后对特定任务进行微调，在许多NLP任务和基准方面取得了实质性进展。虽然这种方法在体系结构上通常与任务无关，但它仍然需要数千或数万个示例的特定于任务的微调数据集。相比之下，人类通常只需几个例子或简单的指令就能完成一项新的语言任务-这是目前的NLP系统在很大程度上仍然......
Bosque Language (Microsoft)(github.com)
2020-5-14 13:24
PermalLink GitHub是5000多万开发人员的家园，他们一起工作，共同托管和审查代码、管理项目和构建软件。
报名。
Bosque编程语言是微软研究院的一项突破性研究项目。Bosque同时支持现代云开发人员期望的高生产力开发体验(例如来自TypeScript/Node堆栈)，同时还提供资源高效且可预测的运行......