TAG:language

2020-10-22 20:50
回过头来看20:20,你会有什么不同的做法?";我想我会……。 巴西的新数据隐私法是什么,在巴西做生意的公司需要知道什么…。 你在未来的应聘者身上寻找的三种技能或能力是什么?“最重要的是我……。 在技术领域,有一件事通常可以被认为是静态的经验法则,那就是事情在不断变化。创新,特别是在云时代,是不断发生的,很难跟......
2020-10-11 16:5
很明显,这个站点的目标之一是说服人们认真对待F#作为一种通用开发语言。 但随着函数式习惯用法变得越来越主流,C#增加了lambdas和LINQ等函数功能,似乎C#越来越“赶上”F#。 “C#已经具备了F#的大部分功能,我为什么还要费心去切换呢?”*。 “没有必要改变。我们所要做的就是等待几年,C#将获得许多提供最大好......
2020-10-11 15:45
法语DGFiP的M语言编译程序
2020-9-30 4:19
Https://cppcon.org/https://github.com/CppCon/CppCon2020-Halide是一种开源的,特定于领域的语言,用于优化图像处理,机器学习...
2020-9-22 22:38
Hask是一个纯Python、零依赖的库,它模仿了来自Haskell的大多数核心语言工具,包括: 完整的Hindley-Milner类型系统(带有类型类),它将对任何装饰有Hask类型签名的函数进行类型检查。 所有您喜欢的语法和控制流工具,包括运算符节、一元错误处理、保护等。 来自Haskell基库的(一些)标准库的......
2020-9-9 22:57
下载PDF摘要:我们探索了基于转换器的语言模型在自动定理证明中的应用。这项工作的动机是,与人类相比,自动化定理证明者的一个主要限制-原始数学术语的生成-可能可以通过语言模型的生成来解决。我们为Metamath形式化语言设计了一个自动证明器和证明助手GPT-f,并对其性能进行了分析。GPT-f发现了新的简短证明,这些证......
2020-9-5 10:46
下载PDF摘要:最近的研究表明,大型基于文本的神经语言模型,按照传统的监督学习目标进行训练,获得了一种令人惊讶的倾向,可以进行少量和一次性的学习。在这里,我们证明了一个位于模拟3D世界中的具体化Agent,并被赋予了一种新的双编码外部记忆,当用传统的强化学习算法训练时,可以表现出类似的一次性单词学习。在通过连续的视觉......
2020-9-5 7:23
一些州发现自己需要懂60年历史的编程语言COBOL的人来改造陈旧的政府系统,目前这些系统正在努力处理冠状病毒危机带来的大量失业申领人数。 堪萨斯州、新泽西州和康涅狄格州在上周申请失业救济金的人数达到惊人的660万后,都经历了技术崩溃。 他们可能很难找到他们需要的程序员。这些天来,知道COBOL(通用面向商业的语言)的......
2020-8-27 0:35
(定义(thunk-time-it任务)(在(Cim)之前定义)(定义答案(任务))(在此之前定义增量(-(Cim)之前))(printf";时间:~a ms\n";增量)答案)。 Racket允许程序员添加新的语法结构,其方式与其他语言允许制定过程、方法或类的方式相同。您所需要做的就是制定一条简单的规则......
2020-8-25 1:50
许多公司都吹嘘自己在招聘过程中对技术一无所知。这是有道理的,为什么要限制你的候选人人才库呢?他们可能会说:“优秀的开发人员应该能够迅速发现不同语言之间的细微差别,他们的算法知识和经验正是我们要寻找的。”我最近从一个语言不可知的招聘经理,到一个语言不可知的候选人,再到一个语言不可知的家族,再到新手Python开发人员。......
2020-8-24 4:18
开放领域问答模型-理论上能够用新奇的答案回答新问题的模型-通常只是简单地记忆在它们所训练的数据中找到的答案,这取决于数据集。这是一个隶属于Facebook和伦敦大学学院的研究团队的断言,他们在一篇预印本论文中提出了证据,证明在开放领域基准测试的模型给出的答案中,有60%-70%嵌入了训练集中的某个地方。 开放领域问答......
2020-8-20 0:29
为什么我的模型会做出这样的预测?这一预测是否可以归因于敌对行为,或者是训练集中不受欢迎的前科? 如果我更改文本样式、动词时态或代词性别等内容,我的模型行为是否一致? 并排模式,用于比较两个或多个型号,或一对示例中的一个型号。 高度可扩展到新的模型类型,包括分类、回归、跨度标记、seq2seq和语言建模。支持开箱即用的......
2020-8-18 7:52
在类型驱动开发中,类型是构造程序的工具。我们将类型作为程序的计划,并使用编译器和类型检查器作为我们的助手,引导我们找到满足该类型的完整程序。越有表现力的类型是我们放弃前面,我们就越有信心,结果程序将是正确的。 在Idris中,类型是语言中的一级构造。这意味着类型可以作为参数传递给函数,并且可以像任何其他值一样从函数返......
2020-8-17 8:31
Julia允许您编写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注册说明如果你还没有注册,或者认为其他人可能会感兴趣,现在做还不算太晚。我们将继续开放注册服务一周。我们保持主题的开放性,主要标准是“新鲜度”或新想法。我们不......
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])是纳-德内族的一种南部阿萨巴斯堪语,通过它与北美西部地区所说的语言有关。纳瓦霍语主要在美国西南部使用,特别是在纳瓦霍族。它是使用......
2020-7-25 16:12
TypeDraft是TypeScript的超集,它为该语言增加了DSL和宏机制。如果TypeScript是可缩放的JavaScript,那么TypeDraft就应该是可缩放的TypeScript。 我们可以通过指定不同的环境变量来构建不同版本的库。例如,在实现DSL时,我们实现了名为“debug”的DSL: 这样就可......
2020-7-24 8:0
(这是我在PyCon和DevDay上的一次演讲的改编。幻灯片和视频有俄语版本)。 你知道下划线是什么吗?一般而言,让生活变得更美好的是JavaScript库。适用于任何用JavaScript编写的人。我主要编写Python,我也想让我的生活更好,所以我继续为Python编写了一个类似的库。但问题是,你需要理解某种东西......
2020-7-21 2:54
“玩GPT-3感觉就像看到了未来,”旧金山的开发者和艺术家Arram Sabeti上周在推特上写道。这在很大程度上总结了过去几天社交媒体上对OpenAI最新的语言生成人工智能的反应。 OpenAI在5月份发表的一篇研究论文中首次描述了GPT-3。但上周,它开始向要求访问私人测试版的精选人员点滴提供该软件。目前,Ope......
2020-7-18 3:24
几周前,我在GitHub上浏览,遇到了一个吸引我眼球的回购。它托管了一个完全用NIM编写的项目。 我立刻得出结论,这是很多人使用的众多编程语言中的一种,但我只是个不懂它的笨蛋。但我没有把它放在一边,而是决定:让我们来了解一下这方面的情况。 因此,下面来介绍一下我使用NIM的经验,这是一个快速编程教程,以及为什么这种语......
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中,然后使用以下指令来访问数组的元素......
2020-7-6 1:59
新的“PKG和存储协议”和随之而来的主机包集中服务已经合并,并出现在JuliaV1.5.0-RC1中。新的PKG将由特定于用户的UUID和其他信息组成的遥测发送到服务器,在那里它用于统计用户数和其他统计数据。我们的目标是回答“有多少Julia用户?”在筹款方面。当前协议是选择退出,这意味着除非用户更改配置,否则将收集......
2020-7-3 1:54
该提案处于项目提案阶段(如Eclipse开发过程中所定义),并且是为了声明其意图和范围而编写的。我们征集更多社会人士的参与和意见。请登录并在评论区添加您的反馈。
2020-6-30 23:51
它应该是一个关于不同的压迫结构如何相互作用的理论,但它并不完全是可证伪的,因为这个理论是用来纠正这种压迫的,因此创造了新的等级结构,改变了你已经观察到的结构。例如,与马克思主义社会和阶级斗争理论相比,共产主义革命实际上创造了一套具有压迫关系的新阶级,但一直假装旧的阶级仍然有效和有效。受害者变成了欺凌弱小的人,并以声称......
2020-6-22 5:37
import";regent";struct point{x:Float,y:Float}--具有两个字段的简单结构。--明确4项任务。暂时忽略任务主体;每个任务的行为都由它的声明进行了很好的描述。请注意,每个声明--说明任务将读取或写入的内容。任务a(点:区域(点))其中写入(点)--[[.]]。结束任......
Programming Language Pragmatics(www.cs.rochester.edu)
2020-6-21 2:6
实现程序设计语言的策略必须与设计范例一起研究。一个原因是,一种语言的成功取决于其实现的质量。此外,这些策略的能力有时会制约语言的设计。语言的实现始于计算程序句法结构所需的语法分析和词汇扫描。今天的语法分析技术,在第一部分中描述,是有史以来开发的最漂亮的算法之一,是使用数学对象创建实用工具的一个很好的例子。它们是值得的......
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......