在 nixos 中使用 telega 进行聊天
telega 是一个 emacs 上的 Telegram 客户端,在 nixos 中,telega 包过于老旧,在 unstable 中已经无了,下面尝试使用传统方法安装 telega。
下载源代码
cd ~/.emacs.d/site-lisp
git clone git@github.com:zevlg/telega.el.git
参考文档进行配置
telega 是一个 emacs 上的 Telegram 客户端,在 nixos 中,telega 包过于老旧,在 unstable 中已经无了,下面尝试使用传统方法安装 telega。
cd ~/.emacs.d/site-lisp
git clone git@github.com:zevlg/telega.el.git
参考文档进行配置
peony 是优麒麟的文件管理器,我之前在 开源软件供应链点亮计划 活动中中选了实现预览插件的项目,今天稍微总结下。
Document Server 是一个在线办公套件,包括用于文本,电子表格和演示文稿的查看器和编辑器,与Office Open XML格式完全兼容:.docx,.xlsx,.pptx,并支持实时协作编辑。
支持所有流行的格式:DOC,DOCX,TXT,ODT,RTF,ODP,EPUB,ODS,XLS,XLSX,CSV,PPTX,HTML
项目地址是:https://github.com/ONLYOFFICE
haskell 的一些教学可以参考:
https://www.seas.upenn.edu/~cis194/fall16/index.html
CodeWorld:可以在线运行hs代码,基于ghc.js,四舍五入还是在本地跑
下面是利用 CodeWorld 画圆的小例子
import CodeWorld
main :: IO()
main = do
drawingOf $ circle 1
Prelude> :t (!!)
(!!) :: [a] -> Int -> a
Prelude> [0,1,2,3,4]!!3
3
Prelude> [0,1,2,3,4]!!0
0
Prelude> :t (^)
(^) :: (Integral b, Num a) => a -> b -> a
Prelude> 54.5^5
4.8081998590625e8
Prelude> :t (^^)
(^^) :: (Fractional a, Integral b) => a -> b -> a
Prelude> 5.6^^6
30840.979455999986
Prelude> :t (**)
(**) :: Floating a => a -> a -> a
Prelude> 0.2**0.1
0.8513399225207846
软件是计算机系统中与硬件相互依存的另一部分,它是包括程序,数据及其相关文档的完整集合。
程序是按事先设计的功能和性能要求执行的指令序列。
数据是使程序能正常操纵信息的数据结构。 文档是与程序开发,维护和使用有关的图文材料。
前不久,2020图灵奖今日出炉,龙书作者 Alfred Vaino Aho 和 Jeffrey David Ullman 获奖,作为计算机界的最高荣誉,图灵奖获得者及其成果对计算机学科意义非凡,以前只是大概知道几个人,今天,特地翻了翻维基,看看得奖的都有谁。
通过 man sem_init
可以查看具体文档。
或者使用: https://man7.org/linux/man-pages/man3/sem_init.3.html
sem_init函数是Posix信号量操作中的函数。sem_init() 初始化一个定位在 sem 的匿名信号量。pshared 参数指明信号量是由进程内共享,还是由进程之间共享。如果 pshared 的值为 0,那么信号量将被进程内的线程共享。value 参数指定的初始值。
sem_post是给信号量的值加上一个“1”,它是一个“原子操作”---即同时对同一个信号量做加“1”操作的两个线程是不会冲突的。
sem_wait是一个函数,也是一个原子操作,它的作用是从信号量的值减去一个“1”,但它永远会先等待该信号量为一个非零值才开始做减法。也就是说,如果你对一个值为2的信号量调用sem_wait(),线程将会继续执行,将信号量的值将减到1。如果对一个值为0的信号量调用sem_wait(),这个函数就会原地等待直到有其它线程增加了这个值使它不再是0为止。
回想起来,我是因为对 goroutine 有兴趣而去了解 Go 的,因为 finger tree 而想学 Haskell,结果坑留了半年了(另一个坑留了快3年,Monad 还没弄明白),今天有时间先填上一个再说。
goroutine,Go 语言的协程,是一种比线程更轻量的存在,一个cpu可以支持上万的协程。Go 可以通过 goroutine 支持并发。
Go使用的是并发模型中的 CSP 模型,Communicating Sequential Processes,译为通信顺序进程、七周七并发第六章内容,这本书继续留坑有空再看。