任务
2020-11-9 16:0
大多数程序员应该知道的一个巧妙的工具家族是“定理证明器”。如果你读的是计算机专业的大学，你可能已经接触到了…。但在编程时，您可能不会考虑使用它们。
虽然我确信它们可以用来证明定理，但我从来没有用过它们来证明定理。它们对于快速检验一些假设和找到有用的常数很有用。让我举一个简单的例子。
我们知道软件中的无符号奇数有乘法逆......
2020-11-6 7:16
一种常见的体系结构模式是“任务队列”：任务进入有序队列，工作器弹出任务并处理它们。从分布式系统到线程池，这种模式无处不在。它同样适用于人类系统，就像在超市或银行排队一样。任务队列很受欢迎，因为它们简单、易于理解，并且具有很好的伸缩性。
任务队列有两个主要性能指标。吞吐量是指每个时间单位处理的任务数。延迟是指任务在处理......
2020-10-24 18:56
在小行星本努着陆两天后，美国国家航空航天局(NASA)的OSIRIS-REX任务小组于10月22日(星期四)收到图像，证实该航天器收集的材料足以满足其主要任务要求之一-获得至少2盎司(60克)的小行星表面材料。
当样品采集器头部经过几个不同的位置时，航天器捕捉到了它的图像。在查看这些图像时，OSIRIS-Rex团队注......
2020-10-23 6:39
A&；A641，A45(2020年)1马克斯·普朗克太阳能系统研究所，JUSTUS-VON-LIEBIG-WIG3,37077 Göttingen，德国电子邮件：[email protected] 2 Institut für Astrok，Georg-8月-Universityät，Friedrich-Hun......
2020-10-15 0:3
上周，育碧给了我一个机会，让我在一个几乎零售的州玩它即将推出的开放世界任务游戏“刺客信条”(Assassin'；s Creed Valhara)。在此之前，我在7月份进行了3.5小时的试玩，老实说，我的综合测试的长短相当简单：我喜欢这款游戏。育碧在这款我们非常喜欢的游戏“刺客信条·奥德赛”的续集中，很可能在新内......
2020-10-14 1:1
自动化到位后，不再需要花费时间在手动任务上；您可以在更少的时间内完成更多工作，并且您的职责会被委派给机器，在您做其他事情的同时，机器会在后台完成这些任务。你可以自由地进行新的努力。正如约翰·前田(John Maeda)所说，节省时间让人感觉很简单。
我想你会同意我的观点，在打印机还不存在的时候，抄写员的工作是传播知识......
2020-10-7 9:16
国际机器学习会议(ICML)，2020强化学习允许解决复杂的任务，但学习往往是任务特定的，样本效率仍然是一个挑战。我们提出了Plan2Explore，一个自我监督的强化学习代理，它通过一种新的自我监督探索的方法和快速适应新任务的方法来解决这两个挑战，这些任务在探索过程中不需要知道。在探索过程中，与以前的方法不同的是，......
2020-9-26 19:43
有人驾驶的太空飞行计划通常强调交通运输，即从地球到某个目的地再回来的旅行方法。除了着陆和升空外，宇航员在目标世界表面的活动通常很少受到关注。考虑到在两个世界之间移动人类所固有的许多挑战，这在现阶段的航天发展阶段并不太令人惊讶。
更令人惊讶的是，早在1965年，NASA的马歇尔太空飞行中心(MSFC)就将注意力转向了宇......
2020-9-26 1:0
有人驾驶的太空飞行计划通常强调交通运输，即从地球到某个目的地再回来的旅行方法。除了着陆和升空外，宇航员在目标世界表面的活动通常很少受到关注。考虑到在两个世界之间移动人类所固有的许多挑战，这在现阶段的航天发展阶段并不太令人惊讶。
更令人惊讶的是，早在1965年，NASA的马歇尔太空飞行中心(MSFC)就将注意力转向了宇......
2020-9-24 11:43
Todoist今天正式推出了一项功能，可能会显著改变人们使用这款广受欢迎的任务管理应用程序的方式：Boards。它的工作原理和Trello很相似，不过是内置在Todoist中的。
这一功能在测试版已经测试了一段时间，但今天它正式在Todoist上的所有设备上发布。与简单的一维列表不同，看板允许您使用垂直列表和水平列来......
2020-9-19 23:52
科罗拉多州科尔特斯(CNN)-在一个凉爽的12月下午，当太阳慢慢落在附近的萨瓦奇山脉后面时，阿迪和裘德·舒恩迈耶(Addie和Jude Schuenemeyer)盯着一棵几乎枯死的树，最后一根活着的树枝上悬挂着几个苹果。
但是，这一刻是不是太阳终于落山了，开始了他们近20年来对许多人长期认为已经灭绝的东西的追寻呢？
......
2020-9-12 2:56
“Ugh Fields”是一个非常有用的概念。LessWrong上有一个解释，但它是为利基观众写的，所以我在这里亲自试一试。
你有没有做过一项拖延已久的任务，一项本身并不是很糟糕的任务，但你几乎不能让自己思考起来而不感到糟糕？大多数人都会时不时地经历这种情况。这就是事情是如何发展到如此奇怪和可怕的状态的。
任务列在待......
2020-9-4 1:0
SpaceX的目标是9月3日(星期四)上午8点46分。美国东部夏令时，世界协调时12：46，用于发射其第12次星链任务，将发射60颗星链卫星。
2020-8-27 0:35
(定义(thunk-time-it任务)(在(Cim)之前定义)(定义答案(任务))(在此之前定义增量(-(Cim)之前))(printf"；时间：~a ms\n"；增量)答案)。
Racket允许程序员添加新的语法结构，其方式与其他语言允许制定过程、方法或类的方式相同。您所需要做的就是制定一条简单的规则......
2020-8-11 3:49
这并不是太空技术新闻中最忙碌的一周-就像许多行业一样，感觉我们进入了一个夏季低迷时期，事情明显放缓。现在可能尤其如此，因为很多公司都付出了巨大的努力，取得了巨大的成功。
这段停机时间将带来重大进展，包括SpaceX的“龙”太空舱首次正式的国际空间站乘员任务，计划在9月底进行。我们可能还会在同一个月看到蓝色起源公司今年......
2020-8-4 1:14
在多年为不想做每件事而感到内疚之后，我意识到我不需要动力来把事情做完。下面，我描述一下我是如何使用“不思考”这个概念的。
我花了五年时间才养成锻炼的习惯。我只是不想做这件事。我关注YouTube上的锻炼，希望屏幕上精力充沛的教练能帮助我变得更健康。我在游泳池里游了几圈。我跟着我弟弟跑了3公里。之后，我感觉很棒！称心如......
2020-8-2 20:54
SpaceX和NASA正准备完成他们迄今最重要的联合任务-乘员龙演示2号，这是合作伙伴在他们的商业乘员计划上工作的高潮，该计划旨在认证SpaceX航天器进行常规载人航天操作。美国宇航局的宇航员已经在机组人员“龙”号上进行了数小时的下降，并将于周日晚些时候在佛罗里达海岸外的大西洋中溅落。
8月1日星期六，美国东部夏令时......
2020-8-1 4:20
如果没有计划，IT项目管理是很难想象的。规划协调不同项目部门(软件开发、市场营销、销售等)的工作。有了计划，业务决策者可以专注于他们的发展方向，清楚地看到产品开发的方向。如果不估计每项任务的执行时间，计划就无法工作。养成将任务拆分成子任务的习惯，同时定义所有任务的估计执行时间并非易事。这种错误不仅在初级开发人员中很常......
2020-7-19 16:31
在Windows任务管理器中播放末日。终于把它修好了，而且看起来还不错！但它能运行“危机”吗？Ctrl+Alt+Deom通过获取原始像素来完成，...
2020-7-17 20:45
在Windows任务管理器中播放Doom 1993。终于把它修好了，而且看起来还不错！但它能运行“危机”吗？通过获取原始像素，然后解析..。
2020-7-15 7:49
2017年10月，罗布·韦里克(Rob Weryk)在犹他州普罗沃市万豪酒店(Marriott)的酒店房间里发现了一个星际物体。韦里克是夏威夷大学的天文学家和博士后研究员，他来镇上参加美国天文学会行星科学部的第四十九次会议。一天早上，在出发去参加一天的演讲之前，他打开笔记本电脑，浏览了他从毛伊岛哈利卡拉天文台(Hal......
2020-7-12 7:18
今年年初，NASA的一群科学家为他们应该选择哪些机器人任务来探索我们的太阳系而苦恼不已。来自美国各地的研究人员提出了20多个耐人寻味的想法，如从小行星上呼啸而过，潜入月球上的熔岩管，以及在金星大气层中盘旋。
最终，NASA选择了其中四个发现级任务进行进一步研究。几个月后，航天局将从四项任务中挑选两项全额资助，每项任务......
2020-7-11 20:23
今年年初，NASA的一群科学家为他们应该选择哪些机器人任务来探索我们的太阳系而苦恼不已。来自美国各地的研究人员提出了20多个耐人寻味的想法，如从小行星上呼啸而过，潜入月球上的熔岩管，以及在金星大气层中盘旋。
最终，NASA选择了其中四个发现级任务进行进一步研究。几个月后，航天局将从四项任务中挑选两项全额资助，每项任务......
2020-7-8 20:43
这一切都始于一项被拒绝的拨款提案。杜克大学(Duke University)神经学家艾哈迈德·哈里里(Ahmad Hariri)对结合基因测试和心理评估使用所谓的任务功能磁共振成像感兴趣。所谓任务功能磁共振成像是指受试者在接受大脑扫描的同时执行专门设计的认知任务。我们的目标是确定人们处理思想和情绪的方式差异的特定生物......
2020-7-6 3:23
本教程将帮助您开始使用Multicore OCaml编写并行程序。所有代码示例及其对应的沙丘文件都可以在code/目录中找到。本教程分为以下几个部分：
多核OCaml是OCaml的扩展，本机支持通过域实现的共享内存并行性和通过代数效果实现的并发性。它正在缓慢但稳定地合并到主干OCaml。域-只有多核才会首先登陆，然后......
2020-7-1 3:36
OmniFocus是一款功能强大的任务管理软件，适合忙碌的专业人士使用。有了帮助驯服混乱的工具，您可以在正确的时间专注于正确的任务。
要做的事比你脑子里想的还多吗？OmniFocus使得从任何地方捕获任务变得简单。由于OmniFocus与苹果设备深度集成，因此它成为您工作流程中无缝的一部分。
OmniFocus通过强......
2020-6-23 18:35
与Google任务、Apple提醒和兼容的CalDAV服务器(包括NextCloud和ownCloud)同步
2020-6-17 21:42
当谈到在宏观层面上计划软件项目时，有两个极端--试图预先计划所有事情，或者接受不可能做到这一点而根本不去计划任何事情。虽然大多数团队会发现自己处于这两者之间的某个位置，但更详细地观察他们仍然是值得的。
从历史上看，在一个以瀑布为基础的世界里，过度规划被广泛使用。这种方法背后的想法是预先对项目的整体进行非常详细的计划，......
2020-6-7 21:16
如果你回顾过去30年，这种变化甚至更戏剧性。
众多变化之一是关于在哪里以及如何完成工作的假设。以前的工作都是靠你的手来完成的。如果有什么事情需要做，你就卷起袖子开始工作。
现在的假设是，唯一能完成工作的地方就是电脑。如果你不在电脑前，工作肯定不会完成。
计算机是一台功能强大的机器，想到你手中的智能手机比将人类送上月球......
2020-6-6 17:42
在这个周末和本周早些时候的几个晚上，我创建了一个相当简单的虚拟机，命名为“Sol”，取自瑞典语中“太阳”的意思。我读了很多关于VM设计的书，我对操作系统设计、编程语言和其他围绕计算机作为通用工具的概念的难懂和书呆子的东西很感兴趣。
虚拟机(VM)是像物理机一样执行程序的机器(即计算机)的软件实现。-维基百科。
SOL......