最近闲下来的时候其实一直有在玩Agda。...我的第一感觉就是,Agda真的很好入门。Agda的语法和Haskell几乎完全一致,而且由于Agda支持Unicode,于是代码中可以使用大量的数学符号,可以很简单的将一个命题翻译为Agda代码。...在Agda中,命题的证明就是给出一个类型的一个项。可以说,在Agda中证明一个命题能充分体现Curry-Horwad同构的实质。...对于更深层次的证明,需要学习更多内容才可以。 最后是关于ide。Agda与Coq都提供了Emacs的插件以便编写程序。此外,Agda还有Atom与Vscode(不完善)等现代编辑器的插件。...CoqIde agda-mode in Atom agda-mode in Emacs 相比之下,CoqIde编写代码的体验较好。三个分栏窗体提供的信息充足且格式完整。
image.png 让 Emacs 的修饰键变得更有意义 在 PC 键盘上,Ctrl 键被称为 C,Alt 键被称为 M,这些键并不是 C 和 M 键,由于它们总是与相应的字母或符号键配对,所以在文档中很容易识别...例如,C-x 在现代键盘符号中的意思是 Ctrl+X,M-x 是 Alt+X。就像你从任何应用程序中剪切文本时一样,同时按下这两个键。...如果你按 C-X(也就是 Ctrl+X),就是告诉 Emacs 进入空闲状态,等待第二个键或键盘快捷键。 Emacs 的文档,无论是官方的还是非官方的,都有很多键盘快捷键。...忽略键盘快捷键 潜在的键盘快捷键太多,在这里无法一一总结,更不希望你能记住。这是设计好的。Emacs 的目的是为了定制,当人们为 Emacs 编写插件时,他们可以定义自己的特殊键盘快捷键。...使用 Bash 时练习 Emacs 了解 Emacs 键盘快捷键的一个好处是,其中许多快捷键也适用于 Bash。
在使用 Emacs 时,经常会进行分屏,比如左边写代码,右边看文档。...当左窗口为 active 时,可以利用下面两个快捷键对右边的窗口进行翻页 • C-M-v 向下翻页 • C-M-V 向上翻页 这个默认快捷键不是很好按,我个人一般采用下面的按键方式: (global-set-key...0") 'scroll-other-window) ;; 向下翻 (global-set-key (kbd "C-9") 'scroll-other-window-down) ;; 向上翻 本来更好的键位是...C-[ 和 C-] ,但是在很多系统中,Control 键经常用作转义,比如 C-[ 在 US 键盘中表示 escape ,所以最好不要用 Control 来组合一些特殊符号来用。...- Emacs Stack Exchange[2] • Who stole “C-.”, “C-;” and possibly other keys from my Emacs?
你知道如何更改Photoshop中的键盘快捷键吗?下面小编来教大家如何在Mac上更改Photoshop中的键盘快捷键以及如何将键盘快捷键重置为其默认值。...现在,按下要分配给所选功能的键盘快捷键。您按下的键将出现在所选功能旁边的“快捷方式”框中。 如果 Photoshop 已经使用您选择的键盘快捷键,它将在窗口底部显示一条错误消息。...此消息告诉您键盘快捷键当前用于哪个功能。 您可以覆盖 Photoshop 的错误消息并从现有功能中删除键盘快捷键并将其分配给您新选择的功能。为此,请单击窗口右侧的“接受”。...要更改哪些 Photoshop 键盘快捷键 要更改哪些键盘快捷键完全取决于您在 Photoshop 中使用的功能。如果您经常使用某个功能,最好为其分配一个简单的键盘快捷键。...单击窗口上的“确定”将其关闭。 您的键盘快捷键现在已重置!
(Vim粉讽刺Emacs组合快捷键太多) vim 对于内核开发人员,需要在服务器上编程的人员来说,在很多时候可能是唯一的选择,而且他的编辑模式,文本操作的设计理念确实是很厉害的(虽然我不用,但也不否认他的优秀...模式编辑高度灵活, 定制性强用键盘能完成所有的事情,键盘党的最爱逼格高… … 缺点: 懵逼,一直懵逼,全程懵逼(我在哪儿,我在干什么,这特么是什么鬼玩意,我要怎么退出… …)… … 神的编辑器 Emacs...(Vim编辑器直接打开,会显示帮助“乌干达的可怜儿童”,Emacs粉讽刺Vim功能不如Emacs多,Vim能干的他都能干) EMACS 对于lisp程序员来说又或者许多喜欢折腾新编程语言的人来说确实是神器...编写插件的语言是其内置的一门方言lisp,高端大气上档次逼格高快捷键丰富多彩到你记不住… … 缺点: 懵逼,一直懵逼,全程懵逼(我在哪儿,我在干什么,这特么是什么鬼玩意,我要怎么退出… …)… … 在神的编辑器中...因为我不是vim的资深用户也不是emacs的资深用户,但现在想去使用一份结合二者所长的东西,结果可想而知。 工具陷阱 软件工业界不断的开发出新的编程工具的目的是什么?
所以一个快速搜索文件和符号的快捷键也是非常能够提升效率的。...Ctrl + , 转到所有(go to all) 不过我建议将其改成: Ctrl + N 这是 ReSharper 默认的转到所有(Goto Everything)的快捷键 这可以帮助你快速找到整个解决方案中的所有文件或符号...,看下图: 图片 修改方法可以参见:如何快速自定义 Visual Studio 中部分功能的快捷键,下图是此功能的命令名称 编辑.转到所有(Edit.GoToAll): 图片 有一些小技巧: 你可以无需拼写完整个单词就找到你想要的符号...这些过滤器有单独的快捷键。这样就直接搜索特定类型的符号,而不是所有了,可以提高查找效率。...Ctrl + H 打开替换面板,或展开搜索面板为替换面板 Ctrl + I 渐进式搜索(就像 Ctrl + F 一样,不过不会抢焦点,搜索完按回车键即完成搜索,适合键盘党操作) Ctrl + Shift
我最喜欢的主题是“命令行”或者说 shell,因为了解人们如何熟练使用 shell 可以让你深入地了解他们的想法,他们喜欢什么样的工作流程,以及某种程度上是什么激发了他们的灵感。...没接触过的人和新手可能没有意识到 bash shell 的默认输入模式是 Emacs 模式,也就是说命令行中所用的行编辑功能都将使用 Emacs 风格的“键盘快捷键”。...这只是使用提供给 shell 用户的诸多 Emacs 快捷键组合之一完成的。还有其他更多东西,如复制文本、粘贴文本、删除文本以及使用快捷方式来编辑文本。...使用复杂的快捷键组合并记住可能看起来很愚蠢,但是在使用较长的命令或从 shell 历史记录中调用一个命令并想再次编辑执行时,它们可能会非常强大。...尽管 Emacs 的键盘绑定都不错,如果你对 Emacs 编辑器熟悉或者发现它们很容易使用也不错,但是仍有一些人觉得 “vi 风格”的键盘绑定更舒服,因为他们经常使用 vi 编辑器(通常是 vim 或
于是我们又想到了键盘这个老大哥,三顾茅庐,重出江湖,键盘又慢慢的替鼠标分担起一些对电脑下达命令的职责,也就有了众人皆知的一些快捷键,例如Ctrl+C。 ?...而快速则保证了我们的思路不会打断,输入(IO)能尽量不托大脑(CPU)的后腿。因此,我们就开始追求起所谓的全键盘操作。 2 Vim & Emacs 正所谓理想很丰满,现实很骨感。...Emacs(江湖人送外号:神之编辑器),区别于Vim,默认采用了另一套更容易被大众所接受的快捷键体系来解决快捷键设计的问题,也就是通过快捷键的组合来解决。...这是两种快捷键体系设计思路,但是对于我们有什么用呢?随着Vim和Emacs多年的圣战和两者神一般的地位。这两套快捷键体系潜移默化的影响着之后众多的软件的快捷键设计。...Vim或Emacs的快捷键,如果使用Chrome还可以使用cVim这种神器,而MacOS更是原生就支持Emacs的一些核心快捷键。
大家好,又见面了,我是你们的朋友全栈君。 苹果mac电脑全选的快捷键是:Command-A 全选(All)。...mac最基础的快捷键大全: 1、Command是Mac里最重要的修饰键,在大多数情况下相当于Windows下的Ctrl。...4、文本处理: Command-右箭头 将光标移至当前行的行尾 Command-B 切换所选文字粗体(Bold)显示 fn-Delete 相当于PC全尺寸键盘上的Delete,也就是向后删除 fn-上箭头...调出窗口,可输入绝对路径直达文件夹(Go) return 这个其实不算快捷键,点击文件,按下可重命名文件 Command-O 打开所选项。...在其它位置上对文件复制(Command-C),在目的位置按下这个快捷键,文件将被剪切到此位置 Command-上箭头 打开包含当前文件夹的文件夹,相当于Windows里的“向上” Command-Delete
机器学习中的基本数学符号 教程概览 本教程分为 7 个部分,分别是: 1. 看不懂数学符号的沮丧 2. 算术符号 3. 希腊字母 4. 数列符号 5. 集合符号 6. 其他符号 7....更多帮助资源 看不懂数学符号的沮丧 你在阅读机器学习算法的相关内容时会遇到一些数学符号。...算术符号 在本节中,我们将重温一些基础算数中你不太熟悉的符号,以及毕业之后一些可能遗忘的概念。 简单算术 算术的基本符号你已很熟悉。...数列符号 机器学习中的符号常用来描述数列运算。一个数列可以是一列数据,或者代数项。 索引 读懂数列符号的关键是要弄明白数列中的索引符号。...其他符号 本节中我会列出一些较常见的其他符号。一种常见的情况是我们会先抽象地定义一个方法,然后用单独的符号来重新定义一个具体的实现。
无论使用什么操作系统,键盘快捷键都可以帮助你快速上手,可以在启动应用程序或导航到所需窗口时节省时间和精力。 就像Windows中一样,有一些Ubuntu热键可以简化操作,使事情变得更容易。...在本教程中,您将学习一些漂亮的Ubuntu键盘快捷键,这些快捷键可帮助您简化生活并提高工作效率。...02 使用超级键启动终端 另一个有用且方便的快捷方式是终端快捷方式。您可以使用简单的Ubuntu键盘快捷键“ CTRL + ALT + T”启动终端。...分配自定义键盘快捷键 Ubuntu键盘快捷键还不是全部功能。您也可以创建自己的自定义快捷方式。只需单击“设置>设备>键盘”。将显示可能的键盘快捷键列表。...定义Ubuntu键盘快捷键结论这就是我们关于Ubuntu键盘快捷键的话题。您可以随意尝试并使用。
本文链接:https://jerry.blog.csdn.net/article/details/100576073 很多IDE,比如Eclipse和Visual Studio Code的auto completion...的Intellisense快捷键都是Ctrl + Space,正好和国内开发者切换中英文输入法的案件冲突了,很烦人。...Visual Studio Code里切换Intellisense快捷键定义的方法: File->Preferences->Settings进入设置菜单: ?...找到Trigger Suggest原先的按键设置:Ctrl + Space ? 我改成了另一个组合:Ctrl + L ? 现在按Ctrl + L就可以触发自动完成的功能,不会再和中英文输入法冲突了。
https://jerry.blog.csdn.net/article/details/89396687 很多IDE,比如Eclipse和Visual Studio Code的auto...completion的Intellisense快捷键都是Ctrl + Space,正好和国内开发者切换中英文输入法的案件冲突了,很烦人。...Visual Studio Code里切换Intellisense快捷键定义的方法: File->Preferences->Settings进入设置菜单: ?...找到Trigger Suggest原先的按键设置:Ctrl + Space ? 我改成了另一个组合:Ctrl + L ? 现在按Ctrl + L就可以触发自动完成的功能,不会再和中英文输入法冲突了。
大家好,又见面了,我是你们的朋友全栈君。 1. 使用快捷键快速操作 ....按Tab键可以显示或隐藏工具箱和调色板, 按“shift+Tab”键可以显示或隐藏除 工具以外的其他面板。 3....使用其他工具时,按住ctrl键可切换到move工具的功能(除了选择hand工具时)按住空格键可切换到hand工具的功能。 5. 同时按住alt和ctrl+或–可让画框与画面同时缩放。 6....在hand工具上双击鼠标可以使图象匹配窗口的大小显示。 8. 按住alt双击photoshop底板相当于open as。 9. 按住shife双击photoshop底板相当于save。 10.
对于从其他代码编辑器迁移过来的用户,推荐使用 Emacs、Sublime Text 和 Sublime Text (macOS) 按键映射。...GoLand 会为您提供适用于当前上下文的最相关符号列表。...plugins.jetbrains.com/plugin/9792-key-promoter-x 有了这个插件,每次您在 IDE 中将鼠标放在按钮上时,Key Promoter X 都会向您显示可以使用的键盘快捷键...最后,我们介绍了“Smart Code Completion”,它能够智能地补全代码,并为您提供适用于当前上下文的符号列表。...为了进一步提高操作速度,您还可以下载“Key Promoter X 插件”,它会在您将鼠标放在按钮上时显示可用的键盘快捷键,帮助您学习和使用更多快捷键,减少鼠标操作,提高开发效率。
可能有些人不知道,Linux命令行也有一些方便文本操作的快捷键,如跳到行首的快捷键是Ctrl-a,,跳到行尾的快捷键是Ctrl-e,删除光标所在处的字符的快捷键是Ctrl-d。...虽然这些快捷键很多时候都可以被小键盘的左右移动键、Home和End键替代,但是对于比较长的命令的修改,快捷键的操作还是比较快的。...因为我平时用Vim比较多,而Linux命令行绑定的是Emacs的快捷键方式,虽然可以通过在命令行执行set -o vi修改为Vim的快捷键方式,但是这样会影响常用的像Ctrl-p,Ctrl-n等操作,因此我还是打算将这些难记的文本操作快捷键总结下来...注意:如果光标所在位置为标点符号,则删除这个标点符号和跟在它后面的一个单词 Ctrl-w: 删除光标左边的单词,如果当前的光标在单词中间,则删除这个单词在光标左侧的部分 Ctrl-k: 删除光标后面的所有内容...Alt-u: 将光标所在单词的右边部分全变为对应的大写字母,光标移动到当前单词后面的标点符号上 Alt-l: 将光标所在单词的右边部分全变为对应的小写字母,光标移动到当前单词后面的标点符号上 Alt-c
问题 我在 /usr/include/linux/kernel.h 里遇到了一个奇怪的宏, /* Force a compilation error if condition is true, but...是什么意思? 回答 其实是用来检查表达式 e 是否为 0 的。如果不为 0,编译器就会报错。...(其实就是我们常说的静态断言) 这个宏的名字其实起的不好,应该为BUILD_BUG_OR_ZERO,这里有个相关的讨论:occasional discussions about whether this...(e):对上面的第 2 步得到的值置负。也就是,0 的负数还是 0,1 的负数为 -1 struct{int: -!!...(0);} --> struct{int: 0;}:根据第 3 步,如果是 0,那么就声明一个结构体,里边定义了一个位域长度为 0 的匿名位域变量,此时编译正常通过 struct{int: -!!
使用此实用列表可参考 Premiere Pro 的键盘快捷键,甚至可打印键盘快捷键的 PDF。您也可以使用可视键盘布局自定义快捷键以及向命令分配多个快捷键。...用于分配键盘快捷键的可视键盘布局您可以使用键盘 GUI 查看已分配的键和可用于分配的键。将鼠标悬停于键盘布局中的某个键上时,工具提示会显示完整命令名称。...注意:使用这种方法来代替以前版本使用的“转到”按钮。Premiere Pro 默认键盘快捷键许多命令具有等效的键盘快捷键,因此可最大程度减少使用鼠标操作的情况。也可创建或编辑键盘快捷键。...如果有键盘快捷键可用,它会出现在工具描述后的工具提示中。对于菜单命令,可在命令的右侧查找键盘快捷键。对于未显示在工具提示中或菜单上的最常用键盘快捷键,请参阅本文中的表格。...打印键盘快捷键电子表格您可将来自“键盘自定义”对话框的键盘快捷键列表粘贴到文本文档中,形成类似于电子表格的形式,并可用其进行打印。复制和粘贴方法的优点在于,操作的同时,可复查自定义的键盘快捷键。
Emacs 和 Vim 最大的就是快捷键的体系不同,在 Emacs 中,快捷键要有对应的控制键配合,才能正常使用,比如打开 Agenda C-c a 一般指的是 Ctrl + c a 而在 Emacs.../Alt、Shift这几种快捷键比较常见,但是 supper 这个键就比较少见了,而且在键盘上,一般也看不到,所以我们在配置的时候,需要在配置中声明这几个键被绑定在哪些键上,增加如下的配置: (setq...w32-lwindow-modifier 'supper w32-apps-modifier 'hyper) 但是如果使用的是 mac 的话又要增加另外的一些配置: (setq mac-command-modifier...,需要在特定的系统中使用,所以我们要在对应的配置上增加上对系统的判断。...这样就可以自由的使用各种快捷键了。
在Atom中移动 用鼠标和方向键,简单地在Atom中移来移去非常容易,然而Atom有一些快捷键,可以让你把手一直放到键盘上,更快速地浏览文档。 首先,Atom自带许多Emacs的快捷键来浏览文档。...这样等同于按下方向键,但是一些人不喜欢把他们的手移到方向键的位置。 除了单个字符的移动,还有一些其他的用于移动的快捷键。 alt-B, alt-left 移动到单词开头。...你同样可以使用row:column语法来跳到那一行的某个字符。 通过符号浏览 你也可以提供更多的信息来跳转。要想跳到一个方法声明之类的符号,按下cmd-r。...它会打开一个列表,包含当前文件中所有的符号,你可以通过cmd-t进行模糊查找。使用cmd-shift-r来查找存在于整个项目中的符号。...你可以通过在你的主目录下生成.ctags文件(~/.ctags),来自定义tags如何生成。这里是一个例子。 符号浏览功能在atom/symbols-view包中实现。
领取专属 10元无门槛券
手把手带您无忧上云