2022-2-19 4:26比方说,我想成为一名知情、积极参与的当地公民。比如说,我的镇上有一个网站,他们在那里发布我可能关心的本地更新和警报。
具体来说,假设几天前总水管破裂,导致镇上所有人都被要求烧开水,我想知道烧开水的建议何时结束。
当然,信息就在他们的网站上,所以一个选择是整天重新加载网站,然后等待弹出警报:
但是,如果我的目标和愿望是......
2022-2-19 4:14OCamlPro创建于2011年,旨在倡导业界普遍采用OCaml语言和正式方法。2021是一个非常特殊的一年,因为我们庆祝我们的第十周年!在组建一支由高技能工程师组成的团队时,我们像往常一样通过我们的专业领域、编程语言设计、编译和分析、高级开发人员工具、正式方法、区块链和高价值软件原型设计进行导航。
在这篇文章中,如......
2022-2-19 4:5Linux容器(LXC)是一种操作系统级虚拟化技术,使您能够在一台Linux机器(LXC主机)上同时创建和运行多个Linux操作系统(OS)。LXC提供了一组工具来管理容器,以及创建最常见Linux操作系统虚拟环境的模板。
Docker是一种开源的容器化技术,专注于在隔离环境中运行单个应用程序。它的Docker引擎使......
2022-2-19 3:59在我的职业生涯中,可能发生在我身上最好的一件事就是让凯兰来管理我。我逗留了足够长的时间,看到凯兰的技术决策开始产生成果。我从中学到了很多,但我也从中学到了很多。我现在不可能成为编写数据驱动产品的工程师!如果凯兰没有在那里如此彻底地坚持技术选择的话。
离开Etsy后的一年里,我重新恢复了关心技术的能力。我的思想已经明确......
2022-2-19 3:54本月早些时候发布的GStreamer 1.20是整个社区17个月辛勤工作的成果。超过250名开发人员贡献了代码来实现这一版本,而且Collabora的贡献者再次超过了任何其他组织。
我们的工作集中在两个领域,我们认为GStreamer在这两个领域最为耀眼:嵌入式系统和网络流媒体,尤其是WebRTC。下面是我们的工程师......
2022-2-19 3:51我会第一个承认,在我加入之前,我没有在AnandTech工作过。正是由于偶然的机会,在一次超频活动中遇到了其中一位作家,这使我首先成为了一名读者,然后成为了一名作家,成为了我的新闻事业。如果你是AnandTech的新手,欢迎!十多年来,这里一直是我的家,我们的目标一直是在技术和工程相关的所有领域突破界限。对于所有的老......
2022-2-19 3:50在2022年2月10日的Zoom会议上,人们经常在轮到我之前谈论Apple-1。毕竟,也是6502电脑让苹果公司成为可能。在接近尾声的时候,这也是关于NFT的30多分钟。在这里,我没有任何贡献。总之,有些电脑的价值是6502的另一个成功之处。在我看来,促使人们拥有旧电脑的原因有三个,或者说是多种多样。一些人只是喜欢旧......
2022-2-19 3:50数据通常是数字产品和服务的核心,尤其是与在线广告相关的数据。这使得数据保护和隐私成为一个主要的政策问题。在网上冲浪时,消费者留下的数字痕迹可用于建立用户档案和推断偏好。我们量化了Facebook能够在多大程度上跟踪自己平台之外的网络行为。放置在第三方网站上的订婚按钮网络可以让Facebook在用户浏览网页时跟踪他们。......
2022-2-19 3:44可以安全地假设,在任何有用的密码系统中 至少有一个人可以访问密钥k。具有足够影响力的对手可以通过对此人施加影响绕过常规攻击的计算成本。
这种技术有时被称为橡皮软管密码分析,它给了对手一些严肃的创作自由。密码系统的安全性现在不依赖于数学陷门函数的假定难度,而是依赖于某些人对身体或心理暴力的容忍度。小偷知道用枪打......
2022-2-19 3:23Go 1.18即将发布,希望在几周后发布。它';这是一个巨大的发布,有很多期待,但原生模糊在我心中有一个特殊的位置。(我当然非常有偏见:在我离开谷歌之前,我曾与凯蒂·霍克曼和罗兰·鞋匠合作构建模糊系统)。泛型也很酷,我想,但是将模糊集成到测试包和go测试中会让每个人都更容易访问模糊测试,从而更容易在go中编写安......
2022-2-19 3:21Skip是一种通用编程语言,它跟踪副作用,以提供具有反应失效、符合人体工程学和安全并行性的缓存,以及高效的垃圾收集。Skip是静态类型的,使用LLVM提前编译,以生成高度优化的可执行文件。
跳过';它的主要新语言功能是精确跟踪副作用,包括值的易变性,以及区分非确定性数据源和那些可以提供反应性失效(当数据发生变化......
2022-2-19 3:15一边听风险商业ep。642年,我了解到一个僵尸网络多年来一直在利用TP-Link路由器中的漏洞提供短信服务。利用该漏洞,僵尸网络运营商可以通过他人的账单发送短信,运营商将此功能卖给其他人,包括其他罪犯。毫无疑问,当你收到虚假信息,通知你海关有虚假包裹时,也会使用类似的服务。目前尚不清楚这家特定的僵尸网络运营商能赚多少......
2022-2-19 3:14这不是一篇关于技术主题的帖子,而是关于工程师的一个常见陷阱——我们喜欢在看到错误的时候指出它。可以理解,我们非常擅长这一点。我们基本上接受过这方面的训练。当涉及到代码审查,或复杂分布式系统协议的设计审查时,我们希望能够尽快发现缺陷。习惯通常由三个因素形成——触发因素、行为和奖励。它';这和推动";感到悲伤......
2022-2-19 3:13结对编程是两个程序员在一台计算机上一起工作。一个编写代码,另一个观察并提供建议。它经常被誉为敏捷软件开发的关键部分。我觉得是';太可怕了。
让';让我们从经济学开始。因为我们雇佣两个程序员同时在同一个键盘上工作,所以成对编程的输出必须大于单个程序员输出的2倍才有意义。
我';d认为结对编程不是......
2022-2-19 2:51一家政府批准的新冠病毒检测公司计划向第三方出售客户DNA后,英国数据隐私监督机构正在对其进行调查。
作为ExpressTest交易的Cignpost Diagnostics为度假者提供35英镑的检测服务,该公司表示有权分析海豹的样本,以“了解更多关于人类健康的信息”,并向第三方出售相关信息。
个人被要求对其敏感医疗数......
2022-2-19 2:47提交日期:2022-02-11 15:33大多数运动项目是为运动员准备的,应该是。有些人赢得了观众,并在一定程度上屈从于观众。也许观众体育的巅峰是奥运会。这是一个国际舞台。虽然奖牌备受运动员垂涎,但几乎所有体育项目都有自己的世界锦标赛和其他比赛,这些比赛主要是为运动员和更为有限的认真观众举办的。奥运会是为了向全世界展......
2022-2-19 2:44我的项目工程师同事、建筑师和我最近参加了一个关于“固定团队远程移动编程”的内部培训课程。我们想学习如何在一群人中最好地一起编程,有什么工具支持,以及在我们的团队中学习和做这种工作是否容易。在这篇帖子中,我想分享我在这次培训中的经验。
Mob编程或集成编程描述了一种软件开发方法,在这种方法中,整个团队一起工作,同时使用......
2022-2-19 2:23授权:如需在商业(营利)环境或非免费应用程序中使用我的脚本,请联系我(Fred Weinhaus)了解授权安排。我的电子邮件地址是alink.net的fmw。
如果你:1)重新发布,2)将这些脚本合并到其他免费应用程序中,或3)用另一种脚本语言重新编程,那么你必须联系我获得许可,尤其是如果结果可能用于商业或营利环境。......
2022-2-19 2:9我';我拥有一个蓝色雪人话筒已有五年多了。它';它是一款相当不错的视频通话话筒,我非常喜欢它有自己的(直通式)耳机音频接口,以及专用的硬件静音功能。我';我在大约1500次通话中使用了它,但只有一个问题:静音按钮会发出噪音。
在那五年的大部分时间里,我的同事通常都能告诉我什么时候想加入对话,因为静音......
2022-2-19 2:9©2022美国科学促进会。版权所有。AAAS是HINARI、AGORA、OARE、Chouse、CLOCKSS、CrossRef和COUNTER的合作伙伴。
2022-2-19 2:6为了解决全球能源危机,研究人员长期以来一直在寻找清洁、无限的能源来源。为宇宙恒星提供动力的核聚变反应就是一个竞争者。通过粉碎和熔化海水中的一种常见元素氢,这一强大的过程会释放出大量能量。在地球上,科学家重新创造这些极端条件的一种方法是使用托卡马克,一种被磁线圈包围的环形真空,用来容纳比太阳核心更热的氢等离子体。然而,......
2022-2-19 2:5微软表示,它计划更新Windows 11 Pro,以便在初始安装阶段需要互联网连接和微软帐户。这些变化将反映微软去年最初添加到Windows 11 Home中的相同要求,这意味着您将无法通过在安装过程中创建本地用户帐户来避开微软帐户。
自Windows 10以来,微软一直在越来越多地推动Windows用户使用微软的帐......
2022-2-19 2:3你住在这里的大房子里。无论你住在哪里,你的小地方都深深地交织在一个更大的地方,像分形一样嵌入到一个称为分水岭的整体系统中,这个系统本身与其他分水岭整合成一个紧密相互依赖的生物群落。在终极层面上,你的家是一个叫做行星的有机体中的细胞。所有这些层次相互关联。你对你周围这个大系统的动力学了解多少?我们大多数人都不知道这个矩......
2022-2-19 2:0今天最成功的人工智能算法,人工神经网络,松散地基于我们大脑中复杂的神经网络网络。但与我们高效的大脑不同,在计算机上运行这些算法消耗了惊人的能量:最大的型号在其寿命中消耗的能量几乎相当于五辆汽车。
进入神经形态计算,它与我们大脑的设计原理和物理更接近,可能成为人工智能节能的未来。与在中央处理器和内存芯片之间长距离传输数......
2022-2-19 1:56由于我的自由和开放源码软件维护和行动主义工作,我拥有大量的IT足迹,以支持我所做的一切所需的服务和开发环境。不幸的是,我也是我自己的系统管理员,我在这方面非常糟糕。这是一个关于由于Linux mdraid缺陷和一个有故障的SSD,我如何使我的大部分服务离线并清除我的主目录的故事。希望这对将来的人有帮助,但如果没有,你......
2022-2-19 1:52在移动网络中,有一件事一直困扰着我,那就是除了cookies之外,所有东西都有那么多的杂乱。在欧洲,所有的网站都要求你接受cookies,所有的cookies都会让你在一生中增加一次额外的点击。对我来说,点击次数太多了!
别误会我的意思,我很钦佩法律的精神,人们应该知道他们是如何被跟踪的,但我不知道为什么几十年后,在......
2022-2-19 1:41本月,我与芝加哥的一家公司合作,以提高AIX上电子商务套件的性能。多年来,我已经多次使用AIX上运行的数据库。尽管如此,这周我还是陷入了困境。
TLDR:归根结底,这是IBM在2010年推出POWER7处理器时对资源计费的一个根本性改变。底线有两个:
如果启用了SMT,那么CPU利用率数字的含义就会改变。单个进程的C......
2022-2-19 1:35去年夏末我加入了Scale AI。这是一次疯狂的经历——现在规模正在以惊人的速度增长,去年估值超过70亿美元,最近与国防部签署了一份2.5亿美元的合同。就我个人而言,我已经做了100多份PRs,并进行了大约40次采访!它也是我工作过的最大的公司。以下是我学到的一些经验:
直接检查某件事是否有效通常比在头脑中证明要快
......
2022-2-19 1:24下面是我最喜欢的犯罪故事子类型《密室之谜》的概览。
前提很简单。读者们看到的是一桩不可能的罪行。一名受害者在一间锁着的房间里被杀。罪犯不可能犯下谋杀罪并逃走,但不知怎的发生了。
我不能否认,这些解决方案往往是离奇的,甚至是荒谬的。但我一直在读这些锅碗瓢盆。我会让你们其他人沉迷于其他的谜题,比如Wordle、数独或者任......
2022-2-19 1:24未读,2022年2月18日,凌晨12:58:15(昨天)2月18日 此群的电子邮件地址是匿名的,或者您需要“查看成员电子邮件地址”权限才能查看原始邮件
你好,gophers,我们刚刚发布了go1。18rc1,Go 1.18的候选发行版本。它是从释放分支上切下来的。go1。18在修订时标记为go1。18rc1。请使用......