TAG:tool

2020-10-20 13:30
下载PDF摘要:在本文中,我们简要概述了Python统计建模和机器学习社区中符号计算的现状和未来潜力。我们详细介绍了MiniKanren作为术语重写和符号数学的底层框架的使用,以及它协调使用现有Python库的能力。我们还讨论了关系编程对于实现更健壮的、可移植的、特定于领域的数学级别的优化的重要性和潜力--略微侧重于......
2020-10-14 20:25
WordPress推出了一项新功能,可以自动将整个博客作为Twitter线程发布,包括所有文本、图片、视频和嵌入内容。你可以通过编辑帖子页面右上角的绿色Jetpack图标访问这一功能,旁边还有分享Facebook和其他社交网络链接的现有选项。 WordPress辩称,这一功能是“放大内容的绝佳方式”,因为它允许帖子到......
2020-8-29 0:30
显然是这样的,考虑到最近SPAC的爆炸性增长--SPAC是“特殊目的收购公司”的活泼首字母缩写。 虽然这种投资工具已经存在了很长时间,但它突然成为最热门的融资方式,特别是在科技领域。今年到目前为止,已经通过75个SPAC筹集了超过300亿美元的资金。这是去年的两倍多,2020年还会有更多。 这是一个好兆头,因为SPA......
2020-8-27 23:28
您的思维不应该局限于以文本为主的线性文档。你想把东西搬来搬去,带来新的想法,剔除不相关的材料,弄得有点凌乱。以下是缪斯女神的不同之处: 将相关信息从网络、电子邮件、推特、松弛、您的文件、笔记或照片中拉入您的手机。然后按你认为合适的方式安排。MUSE可以让您筛选和整理所有内容,帮助您找到新的模式和洞察力。 试图在文件浏......
J Notation as a Tool of Thought(www.hillelwayne.com)
2020-8-15 15:23
肯尼斯·艾弗森(Kenneth Iverson)1964年的语言APL为他赢得了图灵奖。他的获奖演讲“记法作为一种思维工具”认为,更好的记法将引导人们对数学有更深刻的理解。他提供了许多例子,涉及线性代数、算术、概率和逻辑。 不幸的是,他涵盖的大多数数学与编程无关。但是,他的核心思想仍然适用,改变我们描述程序的方式会改......
2020-8-12 22:54
Storybook是世界上最受欢迎的组件工作室,被行业巨头、初创企业和开源项目广泛采用。 我们研究了BBC、IBM、思科和Shopify等公司的领导团队。这些团队已经成功地扩展了组件库,并开创了自己的最佳实践。 新的Storybook合并了这些最佳实践,以便所有团队都能受益。更重要的是,我们删除了样板和配置,以简化您......
The worst tool for the job(www.johndcook.com)
2020-7-28 21:24
我不记得在哪里读到的,但有人建议,如果你需要工具,买你能找到的最便宜的。如果它不够用,或者坏了,或者你经常用,那就买你能买得起的最好的。 如果你遵循这个策略,在买好的工具之前先买一个便宜的工具,有时会浪费一点钱。但是你不会把钱浪费在购买你很少使用的昂贵工具上。在你最终买到一个好的工具之前,你不会把钱浪费在购买一系列递......
2020-7-26 7:24
Typeter是一种测量和分析文本/代码编辑器的视觉延迟的工具。 编辑器等待时间是输入事件和相应屏幕更新之间的延迟,特别是击键和字符外观之间的延迟。虽然存在多种延迟(插入符号移动、行编辑等),但输入延迟是编辑器可用性的主要预测因素。 请阅读我的文章“打字”,了解更多关于编辑器延迟及其对打字性能的影响。 运行该程序需要......
2020-7-8 7:58
这是古老而久负盛名的学习方式:闲逛,看看会发生什么。使用模拟来询问问题,并直观地了解系统是如何工作的!? 原始代码太不可访问。此外,拖放也太主流了。但是使用loopy,您可以像小婴儿一样,通过简单地画圆圈和箭头来为系统建模。 想要在朋友模型的基础上再接再厉吗?或者挑战你的敌人';模特?Loopy可以让你与模拟对......
2020-6-24 13:22
WireViz是一款用于轻松记录电缆、线束和连接器引脚的工具。它接受纯文本、YAML格式的文件作为输入,并生成漂亮的图形输出(SVG、PNG等)。多亏了GraphViz。它处理BOM(物料清单)的自动创建,并具有许多额外功能。 理解并使用符合IEC60757的颜色缩写(黑色=BK,红色=RD,.)。可以选择将颜色输出......
2020-6-7 15:21
SQLancer(合成查询Lenger)是一个自动测试数据库管理系统(DBMS)以查找其实现中的逻辑错误的工具。我们将逻辑错误称为那些导致DBMS获取错误结果集(例如,通过省略记录)的错误。 数据库生成:此阶段的目标是创建已填充的数据库,并向DBMS施加压力,以增加导致可随后检测到的不一致数据库状态的可能性。首先,创......
2020-6-6 8:14
去年年底,Facebook宣布了一个工具,让用户可以轻松地将上传的照片迁移到Google Photos。该工具最初在爱尔兰可用,并计划在今年上半年扩展到更多国家。这家社交网络在4月份将推广范围扩大到美国和加拿大,现在已经达到了今天的全球推广水平,从而实现了这些计划。 今天,我们即将100%推出我们的照片和视频传输工具......
2020-5-28 5:44
学者们说,他们在Linux、MacOS、Windows和FreeBSD等操作系统使用的USB驱动程序堆栈中发现了26个新漏洞。 由普渡大学(Purdue University)的惠鹏(音译)和瑞士洛桑联邦理工学院的马蒂亚斯·佩耶(Mathias Payer)组成的研究团队表示,所有的漏洞都是通过他们创建的一种名为US......
2020-5-2 18:6
作为当地的企业主,你可能很难平衡在线送货的需求,特别是在冠状病毒大流行期间。 如今,你需要在客户所在的地方为他们提供服务。但当送货服务很昂贵,设置它们可能很耗时时,这可能是具有挑战性的。 在这里,WeGo Delivery帮助您快速高效地开始自己的送货路线,2020年底之前不收取任何费用。 让我们的工具为您完成这项工......
2009-9-27 6:28
Kingstyles 又一个免费的web2.0风格在线制作工具,可订制个性化的banners、buttons、logo。
2009-6-6 0:41
在英国,继续我们的本周小工具推荐。本期的工具有点多!!
2009-5-14 2:10
非常著名的Go2web20网站推出了自己的工具条:2BAR,浓集了众多的web2.0工具。
2009-5-10 20:35
漫长的旅程,终于如约的来到英国,关于英国的生活,打击可以看看我的私人博客“飞越梦想”。在英国,继续我们的本周小工具推荐。
2009-4-19 12:52
从上期“本周小工具推荐”读者的反响来看,还不错!冲冲也很高兴,继续本周的小工具推荐。
2009-4-17 10:48
Deepzoompix 来自微软的交互式电子相册,给你不同一般的视觉享受!
2009-4-7 6:26
Vattoz 集音乐搜索与播放于一身,可轻松的打造自己的PlayList。
2009-4-6 13:26
PostRank 是带有评分的RSS工具,可生成类似热文的widget。
2009-4-5 10:59
加盟天涯海阁后将继续此专栏。因为这些工具十分的简单,不需要太多介绍,大家一看既可明白,就不单独为它写一篇日志,以后仍以本周推荐的方式定期推荐给大家,请大家留意!
2009-4-4 13:2
Cowurl 是很不一般的个性化网址缩短服务,可自定义前缀的域名。
2009-3-12 10:58
无疑,在越来越多的转换器中,PDF 文件相关的转换器格外耀眼,也是品种最为繁多、最为专业、功能齐全的!花了一些时间将我所指的PDF 相关转换器重新整理,希望对大家有所帮助!
2009-3-10 11:19
Writeonit 又一个趣味图片合成服务,提供趣味图片、标题图片、杂志三种类型的趣味合成服务。
2009-3-9 16:12
最近,又发现了6个新的功能各异的网址缩短服务,有些又是全新感念的功能,一并推荐给大家!
2009-3-4 6:41
Youtubereloaded 简单两步完美定制你的Youtube播放列表,提供Embed输出。
2009-2-27 11:26
Pdftoword 号称是目前最为精准的pdf to word文件转换器,简单的作了一下对比分析。
2009-2-27 6:52
Resizo 一个轻量级在线图片大小修改工具,上传图片可自由修改其大小。