2024-08-29 | 阅读全文

2024-08-29 | 阅读全文

为 Litchi 添加配置功能

2024-08-28 | 阅读全文

A Story About Litchi

2024-08-24 | 阅读全文

Schmidt and Google

2024-08-17 | 猪猪可能到死都以为,自己还不够努力…… 阅读全文

GGML PCA

2024-06-23 | 主成分分析(principal components analysis)是一类非常常见的算法,广泛应用于各种需要信息压缩的场景。虽然《深度学习》一书称之为“简单的机器学习算法”,但是PCA通常可以通过确定的数值算法实现。 阅读全文

Tensor Dancer 项目的开发环境配置

2024-06-14 | 我准备围绕几个基础的算法工具,编写一系列算法,最终形成一个高阶的算法库,并提供相关的 PostgreSQL 插件,这里记录一下开发环境配置 阅读全文

在 PG 中支持矩阵乘法

2024-06-14 | Tensor Dancer 项目核心目标之一,是在 PostgreSQL 中提供张量计算能力。这里我们从一个最简单的需求开始:支持矩阵乘法,使我们可以对 pgvector 的向量使用 PCA 矩阵降维。 阅读全文

一次不成功的 pull request

2024-06-05 | 或许,解决ollama嵌入向量的降维问题,已经没有简单的路可以走了 阅读全文

Java Llama CPP On MacOS

2024-05-15 | 阅读全文

个人版 AI 辅助系统的尝试

2023-12-16 | The Old Dwarf Forged A New Toy In His Mountain Workshop 阅读全文

Arg Parser

2023-12-11 | A simple arguments parser base special rules and Jaskell style 阅读全文
Tags: java jaskell


为 Java 编写的 Try 和 Tuple 类型

2023-12-02 | Java 传统上使用 try catch finally 关键字管理异常。这种机制久经考验。我参考 scala 的 Try 类型,编写了一组适用 java 的工具。 阅读全文

Croupier

2023-04-01 | Random select utils 阅读全文

《数据可视化基础》读后感

2022-12-05 | 这本书分门别类的介绍了各种主要的图表类型和对应的适用场景,给出了各种好和不好的设计示范。 阅读全文
Tags: tech data


《通向实在之路》

2022-11-13 | 近一段时间,我的各个开源项目都没有什么提交,在这段时间,我读完了《通向实在之路——宇宙法则的完全指南》。 阅读全文
Tags: math


Common Lang3 Bridge 发布第一个版本

2022-09-14 | 就在今天,我发布了 Apache Commons Lang Bridge 的第一个版本 阅读全文

Apache Commons Lang3 Bridge 未(完全)实现的内容

2022-09-05 | 实现这个封装库时,并非无条件的照搬,而是做了一定的取舍。 阅读全文

Jaskell Dotty

2021-11-27 | 面向下一代 Scala 的 Jaskell 实现 阅读全文

Jaskell Core 0.3

2020-05-21 | 我和代数组合子的十年 阅读全文
Tags: Scala Java Parsec


MAC OS 使用技巧二则

2013-10-26 | NTFS访问,磁盘空间丢失,是我在使用 Mac 时遇到的问题,也是 MAC 用户常见的问题。不过当时因为没有及时记录,现在的印象有些模糊了。特别是一些原理和名词未必准确。 阅读全文
Tags: tech OSX


搭建 SAE 本地开发环境

2013-10-09 | 现在在本地,特别是*nix系统下搭建SAE开发环境,已经是一个相当方便的事情。 阅读全文
Tags: tech web python


LVM Extend Or Reduce

2013-08-26 | LVM 容量伸缩控制可以热调整,而这只依赖很简单的几个指令 阅读全文

昔年旧日

2013-08-23 | 一桩旧事 阅读全文
Tags: live other


《iOS 编程(第三版)》书评

2013-07-24 | 这本书比我以前读过的 step by step 的读物更深入一些,而不失易于学习的优点。 阅读全文

WWDC 和Apple新一代操作系统族

2013-06-17 | WWDC 2013,后 Jobs 时代的标志典礼 阅读全文
Tags: tech iOS OSX


诚聘全职漫画助理【珠海】

2013-04-08 | 阅读全文
Tags: 招聘


大脚文件下载链接错误

2013-03-11 |
````
阅读全文
Tags: tech


帮朋友发个招聘启事(优逸科技)

2013-03-07 | 优逸科技招聘高级软件开发人才。 阅读全文
Tags: 招聘


如何给 Jekyll 的 Post 设定附图

2013-02-27 | Jeklly 站点的页面可以附加元信息,用这种方法可以很方便的给Post设定附图。
````
阅读全文
Tags: tech web jekyll


我用 Jekyll 重构了 Dwarf Artisan

2013-02-25 | 最初紧急搭建的公司网站已经越来越难以满足要求,我重构了 Dwarf Artisan 的网站。 阅读全文
Tags: tech web jekyll


我的键盘体验

2013-02-22 | 我个人关于键盘的选择和使用习惯的体验。 阅读全文
Tags: 其它


每天都被老婆打

2013-02-17 | 每天都被老婆打什么的…才没有呢!只是单纯的秀恩爱,哼! 阅读全文
Tags: live family joke


Python TDD IN EMACS

2013-02-17 | Emacs有非常强大的扩展能力,可以用它和iPython组合成为Python的TDD式开发环境。 阅读全文

How To Create a HTTP PUT use Python

2013-02-17 | 旧文搬家,用Python构造HTTP PUT请求的代码 阅读全文
Tags: python web


Notes of Write Scheme 48 Hours

2013-02-13 | 这是一份学习笔记,《48 Hours》通过开发一个 Scheme 解释器介绍了 Haskell 语言 阅读全文

About

2013-02-12 | 关于这个坑 阅读全文
Tags: 关于 其它


How To Read Mathematics 如何阅读数学

2013-02-08 | 未经启蒙的话,数学是门无法阅读又无法理解的语言 阅读全文

为什么会有这个坑

2013-02-07 | 阅读全文
Tags: 其它

  • 《通向实在之路》

    《通向实在之路》 近一段时间,我的各个开源项目都没有什么提交,这些天,我读完了《通向实在之路——宇宙法则的完全指南》。 这本书,我是在作者罗杰彭罗斯得诺贝尔物理奖的时候买的。而我们这代人,很多都读过他的《皇帝新脑》,那时候,我们对他的了解还仅仅是数学家、物理学家和霍金的好友。 这本《通向实在之路》,比《皇帝新脑》更深入,主题也更专注。这本书总览了现代数学和理论物理的宏观图景,从欧式几何到非欧几何,从实数系到微积分,再复分析,微分几何、群、张量,对称,再到辛几何、代数几何,从而引出现代物理的场、动力学、相对论、量子力学和弦论,旋量、扭量、超对称,从测量和测不准,从夸克到黑洞。不可不谓之艰深博大,以至于虽然没有对每个问题详细解说,也仍然是800页的巨著——这是简体中文版,英文原版篇幅只会更大。 这本书很适合作为数学系或者物理系学生的综述课本,可以说是一本“有故事情节”的《普林斯顿数学指南》。当然,对于大学新生,几乎必然会有大量的内容无法读懂,我的意见是,尽管读下去,通篇读完之后,你会对你的大学四年,甚至直到博士阶段,将要遇到的知识有一个基本的概念,你会知道那些课程和理论的轮廓,这对于未来的学习会有极大的帮助,而随着学习深入,越来越多的知识,就会像片片拼图,逐渐的拼合成书中的图景。 当然,作为一本关注理论物理的著作,书中也并没有详述所有的数学分支,但是这并非是缺点,读者大可以以这本书为基石,自行填补拼图的其它方向。或许这本书唯一称得上缺点的,那就是门槛太高了一些,这不是那种普通人读了以后可以引为谈资的科普读物,如果没有相当的数学基础,我相信连里面的插图都无法正确理解。但是作为诺贝尔物理学奖得主的一本物理学和数学著作, 这又算得上是什么缺点呢?
    Tags: