#编程
Adventures in Advanced Symbolic Programming(groups.csail.mit.edu)
2020-8-16 8:39用于设计和实现大型软件系统的概念和技术，这些系统可以适应设计者没有预料到的用途。应用程序包括编译器、计算机代数系统、演绎系统和一些人工智能应用程序。用于实现附加数据定向调用的机制。使用部分指定的实体。管理多个视点。主题包括组合符、泛型操作、模式匹配、模式定向调用、规则系统、回溯、依赖关系、不确定性、记忆化、约束传播和......
Rob Pike's Rules of Programming (1989)(users.ece.utexas.edu)
2020-8-13 4:59规则3.当n很小时，花哨的算法速度很慢，而n通常也很小。花哨的算法有很大的常量。除非你知道n经常会很大，否则不要妄自尊大。(即使n确实变大了，也要先使用规则2。)。规则4.花哨的算法比简单的算法更麻烦，而且更难实现。使用简单的算法和简单的数据结构。规则5.数据占主导地位。如果你选择了正确的数据结构，并且组织得很好，那......
The Least Liked Programming Languages(www.oreilly.com)
2020-8-12 7:7
哪些是最不受欢迎/最令人畏惧的编程语言？为什么他们会害怕，他们是否得到了公平的评估？
StackOverflow的2020年开发者调查包括一个表格，列出了“最受欢迎、最害怕和最想要的语言”。喜欢和想要的语言，嗯，有点无聊。我们害怕的编程语言要有趣得多。正如托尔斯泰所说：“所有幸福的家庭都是相似的；每个不幸的家庭都有自......
Never use a dependency that you could replace with an afternoon of programming(blog.carlmjohnson.net)
2020-8-12 3:17
简而言之，我认为对于使用某些编程语言的人来说，使用来自互联网这个广阔的小丑世界的库已经变得太容易了。他们的生态系统使得依赖这些东西变得非常非常容易。问题是，这些库通常是💩的。如果它的某些部分损坏了，您可能无法对其进行编码，并且可能必须实际处理它们才能修复它。
我有一个简单的规则：永远不要使用可以用一下午的编程来替换的......
2020-8-11 5:13
你好，干扰者！很高兴为我们的首个编程语言Jam揭开序幕。如果你刚刚听说这件事，或者需要复习一下，那么请访问以下链接：Jam登陆页面Jam Introo发布Jam注册说明如果你还没有注册，或者认为其他人可能会感兴趣，现在做还不算太晚。我们将继续开放注册服务一周。我们保持主题的开放性，主要标准是“新鲜度”或新想法。我们不......
Expository Programming (2006)(archive.vector.org.uk)
2020-8-9 16:54很简单，遇见肯·艾弗森改变了我的生活。我曾经是一名心理学家，但在1966年遇到肯和阿丁·法科夫之后，我知道我更愿意做什么，从那以后我就一直从事计算机工作，尽管我认为我确实获得了心理学家对人类用户的同情。
当我加入ibm时，该公司对在中小学使用计算机的前景充满热情，艾弗森也相信他正在设计的语言可以在教育中发挥巨大的作用......
Programmable Synthetic Materials(phys.org)
2020-8-9 7:42
人造分子有朝一日可能形成新型计算机的信息单元，或者成为可编程物质的基础。信息将以单个原子的空间排列进行编码-类似于碱基对序列如何决定DNA的信息含量，或者计算机内存中的0和1序列。加州大学伯克利分校(University of California，Berkeley)和波鸿鲁尔大学(Ruhr-University B......
2020-8-7 18:48
开放RISC-V指令集体系结构(ISA)中最有趣的部分可能是矢量扩展(RISC-V&34；V&34；)。与一般的单指令多数据(SIMD)指令集相比，RISC-V矢量指令是矢量长度不可知的(VLA)。因此，RISC-V&34；V&34；CPU可以灵活地选择矢量寄存器大小，而RISC-V&34；V&34；
本文比较了两种......
2020-8-7 17:58
Crush是一种尝试，它试图使传统的命令行shell也是一种现代编程语言。它具有人们期望从现代编程语言中获得的特性，如类型系统、闭包和词法作用域，但其语法同时适用于批处理和交互式shell使用。
如何调用命令、传递参数和设置管道没有改变，这是当前工作目录的核心概念。这意味着琐碎的调用，如ls或find..。|伯爵看起......
2020-8-6 18:20
MicroBlock是一种受Scratch启发的新型编程语言，可直接在微控制器板内运行，例如MICRO：BIT、NodeMCU、AdaFruit Circuit Playround Express和许多Arduino板。
MicroBlock系统允许动态、并行和交互编程，就像Scratch一样，但有一点不同，那就是让......
2020-8-6 2:41
在过去的一年里，我13岁的侄子养成了对黑客的热爱。从动漫聊天，到Snake，一个最小的Twitter，一个博客，再到一个动漫音乐初创公司，他创造了一些很酷的东西(1)。然而，我最自豪的是，他是通过自我指导的游戏来做到这一点的，而不是通过僵化的课程。
为了帮助他做到这一点，我在幕后扮演了尤达的角色。我尝试了一种个人的教......
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(research.utwente.nl)
2020-8-5 13:58
首页--期刊主要分类--期刊细介绍--期刊题录与文摘--文摘内容。(主编)，Fokkinga，M.M.，&；Paterson，R.(1991)。使用香蕉、镜头、信封和带刺铁丝网的函数式编程。124-144。Https://doi.org/10.1007/3540543961_7。
基于与数据类型定义相关的递归运......
2020-8-5 6:57
本教程将逐步向您介绍构建Redis客户机和服务器的过程。我们将从使用Rust进行异步编程的基础开始，并从那里开始构建。我们将实现Redis命令的子集，但将全面了解Tokio。
您将在本教程中构建的项目名为Mini-Redis onGithub。Mini-Redis的主要设计目标是学习Tokio，因此得到了很好的评论，......
Top Mobile Programming Languages Include Java, C(insights.dice.com)
2020-8-3 20:44
在过去的几年里，移动开发领域涌现了许多新兴的编程语言，它们希望取代Java等“守旧派”语言。这些较新的语言，包括科特林和斯威夫特，拥有旨在吸引开发人员的功能。但他们真的获得了很大的吸引力吗？
正如你可能预料的那样，答案有点复杂。IEEE Spectrum的移动开发顶级语言提供了一些洞察力，让我们了解新语言目前是如何与......
World's First Fully Programmable and Open-Source Massive-MIMO Platform(renew-wireless.org)
2020-8-2 14:16RENEW项目将开发世界上第一个完全可编程和可观测的无线无线电网络。有了RENEW，无线研发社区将能够测试不同的想法和概念，从低级硬件到所有方式再到新的应用。该项目将支持许多第一，例如。
RENEW是莱斯大学、密歇根大学和德克萨斯南方大学的合作伙伴。更新团队将利用丰富的过去经验，即。
Rice Warp(成立于200......
Bret Victor the Future of Programming(www.youtube.com)
2020-8-2 8:45
“作为一个有创造力的人，你能想到的最危险的想法就是认为你知道自己在做什么。”于2013年7月9日在Dropbox的DBX会议上展示。
The Case Against OOP Is Wildly Overstated(medium.com)
2020-7-31 22:28
你不可能在不招致一些敌人的情况下统治发展世界几十年。而为数十种新旧语言提供概念基础的面向对象编程当然也有一些敌人。
也许这就是为什么我们经历了一系列关于OOP的无休止的热门话题。他们将其描述为一场破坏生产力的灾难，一套欺骗性的编程模式，以及一个旨在帮助贫穷的程序员隐藏自己无能的平庸工具。OOP甚至被宣布死亡(14年前......
Dafny: Verification-Aware Programming Language(github.com)
2020-7-31 0:5
Dafny是一种带有程序验证器的编程语言。当您键入程序时，验证器会不断检查您的肩膀并标记任何错误。此GitHub站点包含以下材料：
有关Dafny语言和工具的文档位于此处。在线和pdf版都有参考手册。(如果需要，可以生产乳胶版本。)。
您可以在Stack Overflow上询问有关Dafny的问题，也可以在Dafny......
NetLogo: A multi-agent programmable modeling environment(ccl.northwestern.edu)
2020-7-30 18:36NetLogo是一个多Agent可编程建模环境。它被全世界成千上万的学生、教师和研究人员使用。它还支持HubNet参与式模拟。它是由Uri Wilensky编写并在CCL开发的。你可以免费下载。您也可以通过NetLogo网站在线试用。您可以使用NetLogo做什么？点击此处阅读更多内容。单击此处观看视频。在此加入邮件......
iRobot's New Education Robot Makes Learning to Code a Little More Affordable(spectrum.ieee.org)
2020-7-30 9:19创建帐户
2020-7-29 4:49
我们正在建立一个小而精英的团队来改变人们教、学和使用编程的方式
2020-7-29 2:35
删除一直存在垃圾邮件问题的整个论坛群组是有意义的，如果论坛群组所有者不愿意使用Google的工具对其进行审核并保持其无垃圾邮件；毕竟，如果您创建论坛群组的目的是发送垃圾邮件，或者如果您只是在垃圾邮件发送者发现您的那一刻就放弃了，则群组中可能没有多少非垃圾邮件。这一点更是正确的，因为这些工具自论坛组创建以来就一直在那里......
2020-7-28 23:28
大家好！大约两年前，我们路过这里告诉你我们在Julia编程语言方面的所有工作。当时，我们刚刚结束了2018年的年度JuliaCon大会，有300人参加。今年，由于流感的流行，没有面对面的会议，但为了弥补这一点，改为举行了一个在线版本的会议(你应该完全查看一下-https://live.juliacon.org/).。......
Emojicode – full-blown programming language consisting of emojis(www.emojicode.org)
2020-7-28 2:28Emojicode使用大量优化将您的代码编译成本机代码，从而使您的代码变得更快。
Emojicode附带了一套全面的默认软件包。而且你可以很容易地写出你自己的。
我们相信表情符号具有表现力。让我们利用这一点让编程变得更有趣、更容易理解。
Emojicode是一种简单易学的语言，无论您有什么背景。众所周知，我们的文档非......
Python 'Dominates' IEEE Spectrum's 2020 List of Top Programming Languages(spectrum.ieee.org)
2020-7-27 13:39创建帐户
The feature that makes D my favorite programming language(opensource.com)
2020-7-24 7:59
早在2017年，我就写过为什么D编程语言是开发的绝佳选择。但是D中有一个突出的特性我没有进行足够的扩展：通用函数调用语法(UFCS)。UFCS是D中的语法糖，可以将任何常规函数链接到一个类型(字符串、数字、布尔值等)上。类似于该类型的成员函数。
如果您尚未安装D，请安装D编译器，以便您可以自己运行本文中的D代码。
/......
Deep learning to translate between programming languages(ai.facebook.com)
2020-7-23 0:10處理這個邀請時發生問題，我們正盡快修復.
Tell HN: The Programming Language Jam and Grant(blog.repl.it)
2020-7-22 7:59
我们构建Repl.it是为了便于探索和学习语言和编程范例。我们已经成长为一个社区，和我们一样，对语言感到兴奋。然而，令我们惊讶的是，编程语言空间似乎移动得如此缓慢。鉴于软件的发展速度如此之快，难道我们不应该看到编程语言有更多的创新吗？
我们可以把编程语言看作是一种擅长软件领域的工具，或者是一种思考和表达的媒介。如果语......
Things I wish I had known when I started programming, Part 6 (2019)(www.brainstobytes.com)
2020-7-22 0:8每次做出体系结构/设计决策时，您都会关闭设计中的选项，并限制程序的更改选项。设计是平衡当前需求(需求)和未来可能的更改请求。
您的主要目标是满足当前需求，并保留尽可能多的开放选项以适应未来的更改。如果您预感到将来会收到X功能的请求并进行相应的设计，则可能会发生两种情况：
2-请求从来没有来过，你最终得到了一个与你目前......
2020-7-21 12:50
这是我一段时间以来一直想写的帖子：一则关于比较Lisp家族编程语言的轶事。我认为自己是一个Lisp黑客。也许这一点从装饰在我的网站标题上的字母λ中可见一斑，这是对约翰·麦卡锡(John McCarthy)设计第一个LISP的灵感所在的λ微积分的引用。然而，除非你也认为自己是一个Lisp黑客，否则Lisp黑客可能没有什......