#编程
2020-11-25 3:46
答案集编程（ASP）是一种软件范例，可用于表示知识并解决组合和信息密集型问题。组合搜索问题是那些被认为没有减少解决方案空间的有效方法（NP-hard）的问题，本文提供了此类示例。知识的概念非常广泛，并且非常依赖领域。它包括各种程度的信念，事实和规则，这些信念，规则和规则可用于进行推理，并且通常包括我们对世界的常识性理......
Exotic Programming Ideas: Part 3 (Effect Systems)(www.stephendiehl.com)
2020-11-23 0:18继续我们关于奇异编程思想的系列，我们将探索效果的主题。在许多主流编程语言中发现了效果标记的形式较弱，但是，在整个效果系统中使用编程来定义语法以定义和标记表面语法中的效果区域仍然是语言设计中的空白。
首先，我们应该定义一种效果。我们将采用函数式编程学科中常用的定义，这仅仅是因为它具有一个精确的定义，而口语用法通常是......
What is your favorite C programming trick?(stackoverflow.com)
2020-11-22 20:18
因此，在您的代码中，如果您具有某种必须为8个字节大小的倍数的结构，可能由于某些硬件限制，您可以执行以下操作：
除非struct mystruct的大小是8的倍数，否则它不会编译；如果它是8的倍数，则根本不会生成任何运行时代码。
我知道的另一个技巧是《图形宝石》一书，它允许单个头文件在一个模块中声明和初始化变量，......
Using ROCm to Program FPGAs(forums.xilinx.com)
2020-11-21 22:29本周在SC20虚拟会议上，Xilinx将展示一项技术演示，展示Xilinx Alveo加速器卡与AMD ROCm™开放软件平台的集成。技术预览基于AMD在高性能计算技术方面的领先地位，特别是利用用户模式排队和共享虚拟内存，可以在Alveo加速器上提供直接的，低延迟的工作分配。
Alveo加速器用于在高性能计算应用程序......
2020-11-21 12:21
罗伯特·弗洛伊德（Robert Floyd）从托马斯·库恩（Thomas Kuhn）借来，介绍了编程范式的概念。今天，范式不断被争论。库恩会告诉我们什么...
2020-11-21 12:20
在GitHub，我们在使软件开发民主化方面投入了大量资金。这部分是通过作为开源之家并为教育者和学生提供工具来实现的。我们还正在构建降低软件开发入门障碍的功能，例如代码空间。但是，要使软件开发更容易实现并使其更易于采用最佳实践，例如持续集成，分发和软件文档，还有许多工作要做。
这就是为什么我们决定协助fastai为Py......
Differentiable programming for gradient-based machine learning(forums.swift.org)
2020-11-21 12:4
你好，Swift社区，自三年前成立以来，在Swift中开发差异化程序（“ Differentiable Swift”，“ AutoDiff”）已经走了很长一段路。今年早些时候，在核心团队希望评估将这种功能合并到Swift中之后，@ dan-zheng和@marcrasi推动并完成了从上游到Swift主分支的大规模过渡......
A Ray of Hope: Array Programming for the 21st Century [video](www.youtube.com)
2020-11-21 11:50
APL及其后续产品，即数组编程语言的思想比他们的时代提前了两代。这些语言基于以下概念：
A Case for Properties: Programming Language Design(blog.willbanders.dev)
2020-11-16 2:38属性是现代语言的一个非常好的特性，我最近在Kotlin中对它们产生了浓厚的兴趣。有一段时间，我对使用字段执行任意计算的想法感到不舒服，但在使用了几个月之后，我真的很享受它的简单性--特别是当我搬回Java的时候！
经过深思熟虑后，我想给出一个支持属性的案例，它强调了属性相对于直接访问字段的好处(主要是关于getter......
Handmade Seattle – virtual low-level programming conference(www.handmade-seattle.com)
2020-11-15 1:53
独立低级编程会议。
How C++ Programming Language Became the Invisible Foundation For Everything, and What's Next(www.techrepublic.com)
2020-11-14 8:27
强大、灵活、复杂：C++的起源可以追溯到40年前，但它仍然是今天使用最广泛的编程语言之一。TechRepublic采访了C++的创建者Bjarne Stroustrup，找出了原因。
C++的起源可以追溯到1979年，当时编程语言Bjarne Stroustrup的创建者Bjarne Stroustrup第一次开始开......
Exotic Programming Ideas: Module Systems(www.stephendiehl.com)
2020-11-14 0:18所有成功的编程语言都是相似的；每种不成功的编程语言都有自己的不成功之处。
软件的历史是与同时但独立的对话并行的，这就是我们如何看待计算以及我们如何与其他人类交流这些想法的故事。计算的故事一直是关于这种非常新颖和独特的人类表达形式的进化，我们称之为代码。我怀疑在21世纪成为一名程序员肯定就像是在公元前3200年成为一名......
Metaprogramming for Madmen (2012)(fgiesen.wordpress.com)
2020-11-13 17:48
好的，本系列之前的帖子实际上旨在传达有用的技术信息：假设您真的想编写一个网格生成器，那么其中肯定有一些有用的部分。
这不是这些帖子中的一个。事实上，这几乎是完全相反的：一个疯狂的策略，尽管困难重重，但实际上是奏效的，然后却产生了惊人的适得其反。我们提前知道会发生这种事，但我们绝望了。我不认为我们从整件事中学到了任何有......
The Flavors of Object-Oriented Programming (In JavaScript)(css-tricks.com)
2020-11-12 6:51
在我的研究中，我发现在JavaScript中有四种面向对象编程的方法：
我应该使用哪些方法？哪一种是“最好的”方式？在这里，我将介绍我的发现和一些信息，这些信息可能会帮助你决定哪一种是适合你的。
为了做出这个决定，我们不仅要看不同的口味，而且要比较它们之间的概念方面：
面向对象编程是一种编写代码的方式，它允许您从一个......
Spreadsheets: Functional Programming for the Masses (2014) [slides](www.slideshare.net)
2020-11-10 21:49
1.电子表格：电子表格：函数式编程面向大众的函数式编程西蒙·佩顿·琼斯西蒙·佩顿·琼斯玛格丽特·伯内特·玛格丽特·伯内特艾伦·布莱克威尔艾伦·布莱克威尔。
3.问题1：微软研究院的函数式程序员应该做什么？答案1：说服开发人员使用Haskell实现。再也没有C#了！哈斯克尔更厉害了！
4.Q1：微软研究院的函数式程序员......
Spreadsheets: Functional Programming for the Masses (2014)(web.cecs.pdx.edu)
2020-11-10 20:32无法往返http请求到上游：拨号tcp4 131.252.208.59：80：I/O超时
2020-11-9 16:0
大多数程序员应该知道的一个巧妙的工具家族是“定理证明器”。如果你读的是计算机专业的大学，你可能已经接触到了…。但在编程时，您可能不会考虑使用它们。
虽然我确信它们可以用来证明定理，但我从来没有用过它们来证明定理。它们对于快速检验一些假设和找到有用的常数很有用。让我举一个简单的例子。
我们知道软件中的无符号奇数有乘法逆......
Build Your Own Programming Language with Scala(www.lihaoyi.com)
2020-11-9 14:14Scala的一个优点是实现编程语言。即使您的目标不是实现一种全新的编程语言，这些技术仍然很有用：用于编写内存、程序分析器、查询引擎和其他类似工具。这篇博客文章将带您完成用Scala实现简单编程语言的过程，介绍一些基本概念，最后介绍一个简单编程语言的可用解释器。
关于作者：Haoyi是一名软件工程师，也是许多开源Sca......
The Tao of Programming(www.mit.edu)
2020-11-9 12:59这位新手拼命工作了很多天，但当他的师傅检查他的程序时，他发现它包含一个屏幕编辑器，一套通用的图形例程，以及一个人工智能界面，但没有丝毫金融方面的暗示。当师父问起这件事时，这位新手变得义愤填膺。别这么不耐烦，他说，我最终会投入资金的。一个好农民会忽视自己种的庄稼吗？一个好老师会忽视哪怕是最谦逊的学生吗？一个好父亲会允许......
Composing Programs(composingprograms.com)
2020-11-9 2:38欢迎来到编写程序，这是一个免费的编程和计算机科学在线入门课程。按照SICP的传统，本文主要关注抽象方法、编程范例和管理大型程序复杂性的技术。这些概念主要是使用Python3编程语言来说明的。除了阅读下面的章节，您还可以将您的知识应用到文本附带的编程项目中，并使用在线Python Tutor可视化程序执行。
Embed Gravity programming language into your code(marcobambini.github.io)
2020-11-8 23:50描述 / 描写 / 形容 / 类别
Feynman, Algorithmic Orchestration and Node Based Programming(generative.substack.com)
2020-11-8 9:34
创造力就是允许自己犯错。艺术就是知道该保留哪些。-斯科特·亚当斯。
上周，我读完了这本书，“你在开玩笑，费曼先生”。我不得不说，费曼一定会喜欢在生成艺术领域工作的。(顺便说一句，这是一个很棒的收听节目(免费，带音频订阅)。)。一位20世纪极具影响力的科学家，但不是你的实验室老鼠；而是一个几乎愿意做任何事情去体验的人。......
2020-11-7 18:10
Vgil是一种非常安全的编程语言，也是2013年1月PLT运动会比赛的参赛者。
许多编程语言声称认真对待测试、合同和安全，但只有Vigil真正警惕不允许不通过编程规范的代码。
Vgil非常类似于Python，但有一个较小的条件，即您必须提供一个main()函数，该函数将自动为您调用。
比单纯的句法和语义更重要的是它增......
2020-11-7 11:26
2018年，当我在卡内基梅隆大学(Carnegie Mellon University)担任终身教职的两年时，我看到了软件界正在发生的事情。2018年，《剑桥分析》问世；不久之后，GDPR成为法律。大多数在行业中创办公司的学者之所以这样做，是因为他们正在将一个特定的项目商业化；我离开秋田软件公司是因为我看到，现在是构......
The Lost Ways of Programming: Commodore 64 Basic(tomasp.net)
2020-11-7 11:19
在这篇互动文章中，我们将在浏览器中使用Commodore 64 Basic构建一个突围游戏。这是一个有趣的编程技巧，但它有相当深厚的理论背景。听我解释。
我相信，当编程比我们使用的特定编程语言更重要时，我们如何与编程环境交互。
这从来没有被广泛研究过，我们可以从过去的系统中学到一些有趣的东西，包括准将64 Basic......
Netflix tests a programmed linear TV and movie channel in France (techcrunch.com)
2020-11-6 20:57
该频道名为Netflix Direct，只对常规Netflix流媒体服务的订阅者开放。它将播放来自法国、美国和其他地区的电视节目和电影，这些节目和电影是从Netflix现有的内容库中挑选出来的。根据这家流媒体巨头的说法，特别是在法国推出的理由是，该国的许多观众倾向于喜欢观看节目，而不必选择他们下一步具体要看什么。
N......
Python overtakes Java to become the second-most popular programming language(www.techrepublic.com)
2020-11-5 20:25
在TIOBE指数的历史上，Java第一次跌出了前两名，而Python则落后于卫冕冠军C。
11月发布的TIOBE顶级编程语言排行榜出人意料：在其20年的历史上，C和Java首次没有占据前两名，Java下滑到第三位，而Python则取而代之。
10月份的TIOBE指数中，C语言位居第一，Java语言位居第二。从历史上看......
Bddisasm: The Bitdefender x86 Disassembler(hvmi.github.io)
2020-11-5 20:10管理程序内存自省(HVMI)依赖于分析内存访问以确定它们是否合法。例如，通过分析旧的存储值和新存储的值，HVMI可以决定是否允许修改。然而，这带来了需要对修改受保护内存的每条指令进行深入分析的复杂性。与RISC体系结构不同，x86有大量的指令可以通过复杂的读-修改-写(RMW)方式访问存储器，并使用复杂的寻址方案。为......
Benefits of ASync/Await in Programming(blog.doyinsoft.com)
2020-11-4 22:6
在编程中，异步/等待模式可以是许多编程语言的句法特征，其允许以几乎类似于标准同步函数的方式构造异步、非阻塞函数。它在语义上与协程的概念相关联，通常使用类似的技术实现，主要目的是为程序提供执行其他代码的机会，同时期望完成一个长期运行的异步任务，通常由承诺或类似的数据结构表示。该特性在C#5.0、Python3.5、Ha......