#编程
How Should High Schools Teach Computer Science?(inroads.acm.org)
2020-6-28 19:50随着新十年的开始，根据大多数人的说法，美国公立高中的CS教育似乎做得很好。参观教室，你会发现学生们正在使用机器人传感器，在Scratch上编写游戏和动画，与Arduino微控制器交互，构建网站，以及使用MIT App Inventor构建应用程序。像CSTA(计算机科学教师协会)和CSforAll这样的团体，它们的使......
Goodbye, Object Oriented Programming(medium.com)
2020-6-27 0:22
几十年来，我一直在用面向对象的语言编程。我使用的第一个面向对象语言是C++，然后是Smalltalk，最后是.NET和Java。
我热衷于利用继承、封装和多态的好处。范式的三大支柱。
我渴望得到重用的承诺，并利用在我之前的人在这个新的和令人兴奋的场景中获得的智慧。
一想到要将我的真实世界对象映射到它们的类中，我就抑制......
2020-6-25 11:27
Silq是苏黎世理工大学开发的一种用于量子计算的新型高级编程语言，具有很强的静态类型系统。
2020-6-24 13:43
SILQ是一种用于量子计算的高级编程语言，具有强大的静态类型系统。更多信息：https://silq.ethz.ch。
这里给出的构建说明是针对GNU/Linux和OSX的。Silq也可以构建在其他平台上，您可以自由地为您喜欢的平台编写一个带有工作构建脚本的Pull请求。
运行./silq example.slq，其......
Dip – A Programming Language for Beginners(www.google.com)
2020-6-24 13:22https://www.reddit.com/r/cs50/comments/hejze0/the_dip_programming_language_cs50_final_project/
2020-6-23 23:26
带条码登录和32个可编程产品按钮的收银机-DirkJanJansen/Sales
How I Programmed Myself(bezan.io)
2020-6-22 9:37
当我偶然发现它的时候，我正在参加另一个毫无成效的YouTube狂欢。
这个视频是一个人在谈论用断言来做真人秀节目。他提到，断言可以直接改变宇宙的规划……。更确切地说，宇宙运行的脚本是……。
当我观察自己的时候，我注意到我的头脑里好像有一个剧本，它让我每天都表现出同样的习惯。
每个人都日复一日地遵循着相同的习惯和惯例-......
2020-6-20 3:57
在追求强大的量子计算机方面，最近已经取得了几项技术进步。现在，来自苏黎世理工大学的计算机科学家在编程语言领域取得了重要突破：他们的量子语言是同类语言中第一个与经典计算机语言一样优雅、简单和安全的语言。
量子计算机的编程变得越来越容易：苏黎世理工大学的计算机科学家设计了第一种编程语言，可以用来对量子计算机进行编程，就像......
2020-6-19 7:2
当我在大约25年前第一次学习Python时，我立即对如何高效地将其应用于各种杂乱无章的工作项目而震惊不已。快进十年后，我发现自己在教别人同样的乐趣。那次教学的结果就是这门课--这是一门严肃的Python课程，自2007年以来，已经有400多个面对面的小组积极学习这门课程。交易员、系统管理员、天文学家、修补工，甚至数百......
2020-6-18 2:17
头顶上的LOGO用两条轨迹标出了CSV-5，它是由无数个细胞组成的电灯主体，每个细胞都是由想象者在曼哈顿设计的，他们为了设计一个单一的标志而赚的钱，比递送者一生的收入还要多。尽管它们努力脱颖而出，但它们都在一起涂抹，特别是以每小时120公里的速度行驶。
-尼尔·斯蒂芬森(Neal Stephenson)，Snow C......
A gentle introduction to pointers using the C programming language(www.brainstobytes.com)
2020-6-17 18:52指针是那些在您第一次了解它们时毫无意义的概念之一。通常，一个视角的改变就足以让你大脑中的某些东西发出咔哒声--呼！--一切都神奇地落到了它的位置上。
尽管它们名声不佳，但指针是极其强大的工具。此外，在某些语言(如C或GO)中，如果您想成为熟练的开发人员，理解它们是必须的。
让我们探索一下使用C编程语言的指针和几个非常......
The first intuitive programming language for quantum computers(www.sciencedaily.com)
2020-6-17 18:52在追求强大的量子计算机方面，最近已经取得了几项技术进步。现在，计算机科学家在编程语言领域取得了重要突破：他们的量子语言是第一个与经典计算机语言一样优雅、简单、安全的量子语言。
量子计算机的编程变得越来越容易：苏黎世理工大学的计算机科学家设计了第一种编程语言，可以用来对量子计算机进行编程，就像经典计算机一样简单、可靠和......
Functional Programming for Array-Based Parallelism(www.infoq.com)
2020-6-16 21:3
加布里埃尔·凯勒(Gabriele Keller)是乌得勒支大学软件技术小组的主席。她是新南威尔士大学编程语言与系统小组的联合创始人之一，也是Data6(NICTA)“值得信赖的系统”项目的首席研究员。她为哈斯克尔的类型族设计做出了贡献，也是“关联类型同义词”一文的合著者之一。
有两天时间，您处于函数式编程世界的中心......
IRS Programming Mystery Continues(federalnewsnetwork.com)
2020-6-16 13:28
最佳的收听体验是在Chrome、Firefox或Safari上。在苹果播客或PodCastOne上订阅Federal Drive的每日音频采访。
在2020财年，美国国税局(IRS)收到了一笔为期两年、价值1.8亿美元的资金，用于商业系统现代化。
这位专员是这样说的：“通过对信息技术的投资，美国经济实现了令人印象深刻......
Object Oriented Programming is an expensive disaster which must end(www.smashcompany.com)
2020-6-15 5:26(由劳伦斯·克鲁纳撰写，不过缩进的段落通常是引号)。你可以联系劳伦斯：[email protected]，或者在Twitter上关注我。
因此，个人A受到保护，不受新信息的有害影响。新信息是危险的，因为它可能会导致某人改变主意。只需将新信息声明为无效，即可使其变得安全。A相信所有的苏格兰人都是勇敢和可敬的，你不......
2020-6-14 7:55
表示不变量是保存模块产生的抽象类型的所有值的属性。表示不变量在软件工程和程序验证中发挥着重要作用。在这篇文章中，我们开发了一个反例驱动的算法，用于推导足以隐含模块所需规范的表示不变量。关键的新颖性是类型导向的可视归纳概念，它确保算法在减弱和加强候选不变量之间交替时朝着其目标前进。该算法由一个基于实例的综合引擎和一个验......
2020-6-14 0:2
微软云开发者倡导者瑞安·莱维克(Ryan Levick)在上个月的AllThingsOpen虚拟会议上表示，无论软件公司在工具和培训开发人员方面投入多少资金，“从本质上讲，C++并不是一种安全的语言。”他在一次虚拟演讲中解释了为什么微软正逐渐转向Rust来构建其基础设施软件，而不是C/C++。它正在鼓励其他软件行业巨......
2020-6-13 23:23
微软云开发者倡导者瑞安·莱维克(Ryan Levick)在上个月的AllThingsOpen虚拟会议上表示，无论软件公司在工具和培训开发人员方面投入多少资金，“从本质上讲，C++并不是一种安全的语言。”他在一次虚拟演讲中解释了为什么微软正逐渐转向Rust来构建其基础设施软件，而不是C/C++。它正在鼓励其他软件行业巨......
Weird Keyboards, Programmable Keyboards(blog.gboards.ca)
2020-6-13 20:12
嗨!。我的名字格尔姆和我做的键盘真的很小很奇怪。目前在36键键盘上！这是怎么发生的？10年前，在我的高中，我发现了这个庞然大物的键盘。我对此一无所知，我只知道这东西重约5磅，声音比地狱还大。最糟糕的是，它使用起来甚至感觉真的很好。当然，我们从CS壁橱里挖出的是一台布满灰尘的旧IBM Model M。它在实验室里用了几......
2020-6-13 11:9
为了帮助支持我们的社区在新冠肺炎期间远程工作，我们将在2020年6月30日之前免费提供ACM在我们数字图书馆中发布的所有作品。了解更多。
我们使用饼干，以确保我们给你最好的经验，在我们的网站。
您的浏览器似乎不支持它们，这会影响网站功能。
The Hamler Programming Language(www.hamler-lang.org)
2020-6-12 2:19Hamler是一种强类型语言，具有编译时类型检查和内置的并发和分发支持。
Hamler使各行各业能够构建下一代可扩展、可靠、实时的应用，特别是针对5G、物联网和边缘计算。
近十年来，我们一直在开发基于Erlang/OTP的软件系统，特别是我们的主要产品EMQ X-可伸缩的开源MQTT代理。所以，我们一直相信二郎号是工......
Facebook’s TransCoder AI Translates Between Programming Languages(venturebeat.com)
2020-6-10 6:46
Facebook的研究人员表示，他们已经开发出所谓的神经转译器，这是一种将代码从一种高级编程语言(如C++、Java和Python)转换成另一种高级编程语言的系统。它是无人监督的，这意味着它在没有标签的数据集中寻找以前没有检测到的模式，并且只需最少的人工监督，据报道，它的表现比基于规则的基线“显著”高出一大截。
将现......
2020-6-10 2:55
下载PDF摘要：转译器，也称为源代码到源代码翻译器，是一种将源代码从高级编程语言(如C++或Python)转换为另一种语言的系统。转译器主要用于互操作性，并将用过时或不推荐使用的语言(例如COBOL、Python2)编写的代码库移植到现代语言。它们通常依赖于应用于源代码抽象语法树的手工编写的重写规则。不幸的是，由此产......
2020-6-7 22:42
在最近的一次深夜公式跑中，我路过一大堆教孩子编程的书籍。我到处都看过这些书，但从来没有这么大规模的针对小学生的陈列。这些书籍是大量资源的一部分，这些资源包括暑期编程夏令营、课后代码俱乐部、旨在向幼儿园儿童传授JavaScript入门知识的应用程序，这些资源旨在让孩子们具备面向未来的技能。
很容易理解为什么父母要把编码......
What was programming like before the internet?(www.quora.com)
2020-6-7 16:25您提供的反馈将帮助我们显示更多相关的内容，在未来。
撤销。
你非常仔细地把程序写在纸上。你走进一间有几十台打孔机的房间，等待其中一台打卡机打开，然后非常仔细地在卡片上打出你的程序。你把你的纸牌拿到读卡机前，这是一项令人惊叹的机械工程，它把空气吹进你的一副纸牌，一个接一个地把它们带走，把这副纸牌全部读完后还给你。这些卡......
Introduction to Elena Programming Language(www.codeproject.com)
2020-6-6 23:3
Elena是一种具有后期绑定的通用语言。它是多范例的，结合了函数式和面向对象编程的特点。它同时支持强类型和弱类型、运行时转换、装箱和取消装箱基元类型、直接使用外部库。提供了一组丰富的工具来处理消息分派：多方法、消息限定、通用消息处理程序。
开发和学习编程语言是一项艰巨的任务。因此，遇到一种新语言时，您可能会问：为什么......
2020-6-5 17:56
这一切都是从一年多前开始的。在呼叫中心工作了11年后，我想要改变。当他们拆夜班的时候，机会来了，我抓住了。
我在2019年1月的最后一天，同时也是令人恐惧和兴奋的。太可怕了，因为：我该怎么付抵押贷款呢？我是不是太老了，不能回学校了？现在改变我的职业道路是不是太晚了？
另一方面，我有另一个想法-我开始做一些我一直想做的......
Why Elixir Is the Programming Language You Should Learn in 2020(www.erlang-solutions.com)
2020-6-4 6:21在选择学习一门新的编程语言时，您应该寻找什么？答案可能会因您的项目或职业目标而异，但作为基本起点，您需要一种语言：
在本文过程中，我们将向您展示长生不老药与上述所有点的关系。在我们开始之前，有必要让你稍微了解一下我。我喜欢认为自己是一个多语种开发人员。多年来，我使用过Elm、Lua、Rust、Dart、Go、Kotl......
2020-6-2 13:43
在最近的一次深夜公式跑中，我路过一大堆教孩子编程的书籍。我到处都看过这些书，但从来没有这么大规模的针对小学生的陈列。这些书籍是大量资源的一部分，这些资源包括暑期编程夏令营、课后代码俱乐部、旨在向幼儿园儿童传授JavaScript入门知识的应用程序，这些资源旨在让孩子们具备面向未来的技能。
很容易理解为什么父母要把编码......
Programming as Theory Building – Peter Naur(gist.github.com)
2020-6-1 11:33
彼得·诺尔(Peter Naur)在1985年的一篇经典文章“作为理论建筑的编程”(Programming As Theology Building)中辩称，一个程序不是它的源代码。程序是一种共享的心理结构(他用了“理论”这个词)，它存在于从事该程序的人的头脑中。如果你失去了人，你就失去了项目。代码仅仅是程序的书面表......