Posts

2025-04-13T15:17:00+08:00 shell、eshell与工具
2025-03-15T20:20:29+08:00 C++ 异常与 stack unwind
2025-01-06T19:32:20+08:00 Haskell 里 Generics, Template 与 Typeable 的一些杂思
2024-09-27T12:07:02+08:00 dioxus中的hooks与runtime的scope
2024-09-21T16:17:20+08:00 C++ 中结构体成员名的反射
2024-01-14T08:33:43+08:00 2024 始记
2023-02-19T10:38:46+08:00 C++ 模板参数逐个处理
2022-11-06T12:32:14+08:00 一种出现内存崩溃错误的现象
2022-10-23T13:30:28+08:00 物理场仿真相关算法记录
2022-03-28 11:41:32 +0800 为什么 haskell 的 monad 定义使用 a -> m b 作为输入
2021-09-15T14:58:28Z CPS and monad and function
2021-05-18T18:09:38Z 临时文件目录空间导致的编译失败
2021-04-13T16:24:27Z haskell: fix point
2020-12-10T15:56:43Z sha256 等 hash 算法结果长度
2020-11-11T18:24:00Z 中文排版标准
2020-10-15T15:25:51Z 编程语言语法的思考
2020-09-30T23:16:21Z efi、systemd-boot与grub及双系统问题
2020-08-02T12:16:45Z haskell中fmap, liftM, mapM, traverse历史问题记录
2020-07-24T20:22:34Z 建立v2ray透明代理时遇到的问题记录
2020-07-14T09:47:08Z nixos install
2020-06-30T18:34:33Z nix derivation
2020-06-20T13:53:33Z 调试器与软件启动过程
2020-05-19T14:54:36Z haskell caf
2020-04-21T22:12:22Z foldl,foldr,foldl'
2020-04-06T14:58:44Z REFS code is engineering, types are science
2019-12-02T18:38:56Z nix计算目录sha值访方法
2019-12-02T08:33:24Z 转：haskell如何让你的生活更简单
2019-11-30T16:03:27Z nix setupHook和一些tips
2019-11-25T08:58:43Z 引用：haskell相关文章列表
2019-11-20T14:12:57Z nixpkgs configre与build相关思考
2019-10-16T16:40:04Z 对逻辑与物质的思考
2019-10-15T11:12:10Z Why modality and chording
2019-10-11T12:00:01Z 转：你是否有编写haskell的能力
2019-10-01T14:13:20Z 类型类、逻辑与哲学
2019-09-20T20:05:59Z haskell pettern synonyms and view
2019-05-17T08:32:01Z 毕设遇到C语言相关记录
2019-03-13T12:19:36Z minori解散感触
2019-02-17T21:20:46Z 邮件标签与文件夹
2019-01-29T12:14:27Z nixos使用与开发配置
2019-01-12T20:09:12Z 编程语言的思考
2018-12-01T22:10:41Z linux邮件列表的一点记录
2018-09-24T18:23:30Z ipv6配置记录
2018-07-12T09:30:52Z macos commandline version
2018-05-22T16:57:17Z lambd演算
2018-05-20T17:58:13Z 抽卡游戏内购思考
2018-04-29T15:28:21Z zsh启动时间优化
2018-04-25T19:29:21Z 数学教育
2018-04-23T18:42:56Z 递归中的栈溢出
2018-04-04T16:07:14Z nixos试用
2018-03-13T19:12:20Z 开发环境debug
2018-03-11T13:36:25Z gentoo配置makeopt
2018-03-11T13:32:12Z 学习与教育，思考其一
2018-03-06T22:36:01Z Gentoo清理不需要的包
2018-01-30T21:50:34Z git文件大小写问题
2018-01-21T18:30:36Z 你的第一本哲学书
2018-01-11T18:35:03Z 如何解题笔记
2018-01-11T18:32:41Z 用数学眼光看世界笔记
2018-01-07T13:33:01Z 娱乐，故事，深度，中庸
2017-12-24T19:32:21Z 使用git查找bug
2017-11-11T09:36:50Z 群居与独居
2017-11-07T12:38:47Z 操作系统与IDE或编辑器
2017-11-05T12:49:38Z 开发工具相关插error记录
2017-10-25T12:56:08Z 用乘法实现除法
2017-10-15T16:44:11Z 浮点误差
2017-10-03T00:00:00Z 使用Gentoo的数个理由及注意点
2017-09-03T15:43:07Z gentoo USE 注意点
2017-08-31T16:52:39Z 通过ssh连接虚拟机
2017-08-29T14:17:23Z 在vps中安装gentoo
2017-08-16T08:19:27Z haskell包管理处理
2017-08-03T22:51:21Z 宏，eval，函数
2017-08-03T00:46:30Z emacs自配置或使用spacemacs
2017-07-26T10:23:17Z 从vim转至emacs的理由
2017-07-09T15:43:01Z 求值环境模型
2017-05-13T20:31:10Z 深度优先，广度及迭代深度优先
2017-05-06T19:57:49Z 连接本地docker内的mysql
2017-04-23T13:06:18Z Haskell类型限制
2017-04-19T16:00:23Z 函数式编程语言之多语句思考
2017-04-19T11:52:13Z 笔记使用工具
2017-04-19T09:28:00Z 《上帝掷骰子》-量子力学史话笔记
2017-04-07T23:10:03Z 罪之光约会小感及一次项目记录
2017-03-18T12:38:47Z 函子，应用函子，单子
2017-03-12T16:03:00Z CL与Scheme与Haskell
2017-03-05T12:48:00Z 记一次作业程序
2017-03-04T21:34:00Z Web服务器日志分析工具
2017-03-03T18:13:00Z linux虚拟交换内存配置（文件）
2017-03-01T16:54:00Z owncloud安装问题记录
2017-03-01T11:54:00Z gitlab安装问题记录