programme

emacs中有趣的词法编程

词法编程最开始是有1984,Donald Knuth提出的词法编程. 另外可以参考emacs org-mode 词法编程和 emacs orgmode的高级词法编程 我的理解是词法编程,就是在文本和代码中交叉实现,不让代码只是代码,文本只是文本,其实这根函数式编成的思想是相似的,代码即数据,数据即代码。
… 阅读全文>>

我的Bash-It

Bash-it是一个开源的bash框架, 我的第一感觉是他的themes主题不错,所以就用了,这是我采用的rjorgenson的主题
… 阅读全文>>

bash智能分类升级版

加入了 seq 1 8 智能产生序列的方法 使得30度攻角的实验值也可以处理。 判断文件夹内是否存在文件 [ -e “实验*.txt” ] 无法执行正则表达式 因为有可能没有对应攻角的
… 阅读全文>>

git和github配置

git是一个Linus开发的一个版本控制系统,其实就是一个文件系统而已。 下面是我总结的一些操作步骤,最终的目的是你可以提交信息到github, 并了解git和github之间的关系。
… 阅读全文>>

Haskell在脑海里的踪迹

基于范畴理论,在每一个范畴里面都包含一个objects和fmap关系,利用functor映射到不同的category。 可以继续思考的是一个fmap:(*->*) 一个fmap是可以充当形参的,因为他正如在一个List module中 一个一个的破折号和箭头构成的map关系被放进List这个category中。
… 阅读全文>>

Bash智能分类文件并求值

Bash是linux底下的一种shell实现,可以方便linux用户进行系统管理。他的核心就是 调用最有效的命令组合形成更加强大完美的管理和应用程序,这也是unix的哲学,通过调用between programs的关系来get its power而不是通过自己的程序。 shell编成的目的减少unix相关系统的管理员的人物 下面介绍主要是bash语法,以及有bash语法调用awk,sed,grep等linux底下强大的工具实现一个文件智能分类,并对相应文件夹取平均。
… 阅读全文>>

gnuplot的核心是plot

gnuplot是一种科学绘图的开源软件,比origin强上不少。 而gnuplot的核心就是这个plot。
… 阅读全文>>

伟大的范畴理论

范畴理论是数学上的一种新的语言和框架结构. 对于程序员来说,它是另一种思考方式,一种极度有效的方式来提取规律(Extremely efficient for generalization) Programming is doing Math.编成的工作其实就是数学的工作。 范畴是一种表达事物(things) 和路径(ways) to go between things. 这可以参考thinking like a git,因为他也是一种基于范畴理论, 而延伸出来的实际产物,方便程序员对于development的管理。
… 阅读全文>>

HaskellWiki

一些常用的资料查询地。 130 tutorials 46 articles on mathematicas 46 FAQ topics 186 articles on other Haskell communities Stackoverflow:more than 10,000 problems
… 阅读全文>>

Haskell库文档结构

/src Folder for source-code Setup.hs Haskell build script app.cabal Cabal build script README Informative text file LICENCE Software licence statement 下面是我的建立过程:
… 阅读全文>>