Detexify LaTeX handwritten symbol recognition 用 LaTeX 的人找符号的表示方法通常很费事,需要去翻长长的列表.Detexify 是一个省事的小网站,只要画出记忆中符号的样子,就能自动出现想要的表示方法了,Excited! 来源:http://daily.zhihu.com/story/7682212…

摘要:虽然 GitHub 是一个学习技术的好去处,但是除了学习,它还集提高"搬砖"效率于一身.GitHub 上散落着各式各样的小工具,比如本周特推的 Adobe 开源的 React 组件库 react-spectrum 就能帮助开发者提升用户体验,微软开源.专为 Linux 打造的 ProcMon-for-Linux 则提供了简便有效的方式来跟踪系统调用,Forem 这个可快速搭建社区的小工具更不用说了,它集合了群组.话题等内容- 以下内容摘录自微博@HelloGitHub 的 Git…

热爱收集实用又好用的软件,工具类软件不在多,发挥作用,提高效率最重要~推荐几个压箱底的藏货 一.Noizio -自然而然的白噪声,专注工作 Noizio是一款OS X 下的白噪音应用,可以让自己觉着是坐在一个壁炉前.咖啡馆里.森林里,海边,有 10种模拟音效,可以让你忽略其他噪音,专注工作.这是一种自然而然的感觉,不需要刻意去倾听,一种背景音.Noizio 支持优山美地.支持Retina,可以随机启动,总之很棒呆. Mac AppStore下载:https://itunes.apple.com/…

文本型的log,比如Android的log,都是普通文本.在大家连续奋战的时候,难免看起来容易眼花. 这时候如何提高效率?我们给它搞个高亮好不好? 这就是我们要介绍的看log工具:TextAnalysisTool.net,下载地址在:(http://github.com/TextAnalysisTool/Releases/raw/master/TextAnalysisTool.NET.zip) 这个工具的方便之处有三个: * 可以配置高亮 * 可以隐藏不想看的log * 配置可以共享 配置高亮…

本期 fir.im Weekly 精选了一些iOS 开发工具和动画源码分享,希望每个开发者能专注效率.实用.灵感.  iOS开发工具--如何优化ipa包大小 @iOS程序犭袁 推荐了关于"如何优化ipa包大小"两个工具,一篇博文. 工具1:Unused,找出项目中未使用的图片 地址 工具2:ImageOptim 图片保真压缩 地址  文章:统计项目中图片使用情况 地址 17个提升iOS开发效率的必备工具 每个 iOSer 都有自己顺手的开发工具,好的开发工具让人更专注于项目并写出更好的…

在这篇文章里,我们将会介绍4个Python解释器自身提供的小工具.这些小工具在笔者的日常工作中经常用到,减少了各种时间的浪费,然而,却很容易被大家忽略.每当有新来的同事看到我这么使用时,都忍不住感叹,原来Python还隐藏了这么好用的功能.下面就来看一下Python自带的几个小工具 python学习交流群:516107834 一.1秒钟启动一个下载服务器 在实际工作中,时不时会有这样的一个需求:将文件传给其他同事.将文件传给同事本身并不是一个很繁琐的工作,现在的聊天工具一般都支持文件传输.但是,…

博客搬到了fresky.github.io - Dawei XU,请各位看官挪步.最新的一篇是:提高Scrum站会效率的一个小工具.…

提升使用Linux效率的小操作 保存更新? 本文记录了个人在使用Linux时觉得好用的一些快捷方式/功能: 为那种知道了能提高效率,但是的不知道也并没有影响的操作. 历史命令 该操作用于快速查看已使用过的命令 history history:查看历史执行过的命令 !num:重新执行history命令显示的第num行命令 快捷键 ctrl + r,进入命令查找模式: 输入关键字查找曾经执行过的命令: 继续ctrl + r,匹配上一次相关命令: 匹配成功: 回车:直接执行 ctrl + j:将命令赋…

写了个 Markdown 命令行小工具,希望能提高园友们发文的效率! 前言 笔者使用 Typora 来编写 Markdown 格式的博文,图片采用的是本地相对路径存储(太懒了不想折腾图床). 时间久了发现有两个明显的痛点: 删除图片时可能实际存储的图片未删除 上传博客园时需要一张一张手动上传图片 虽然社区中有类似的工具,但是多少感觉用着不顺手,索性自己造了个小工具. 删除本地未使用的图片 支持多 Markdown 文件,多层次文件嵌套! 批量上传图片到博客园 不会覆盖原始 Markdown 文件…

一.前言 在工作的过程中,我们有时可能会面临将Excel表格转换成CSV格式文件的需求.这尤其在游戏开发中体现的最为明显,策划的数据文档大多是一些Excel表格,且不说这些表格在游戏中读取的速度,但就论占用内存来说,同样的数据量Excel表格所占用的内存要远远大于CSV,因此将Excel转换成CSV势在必行.如果单单转换一个Excel表格还好,直接另存为就搞定的,但是如何将一个文件下的N个Execl表格转成CSV呢?今天马三就来和大家一起用Python撸一个Excel表格批量转换CSV的小工具—…