========================
== Seeking Complexity ==
========================

geometric_algebra

DM PUBLIC

A Swift Introduction to Geometric Algebra

冥想

PUBLIC

TL;DR

  • 大脑的gym
  • 不是发呆,是一种刻意练习,也许要技巧的辅助,并不轻松
Read more...

证伪

PUBLIC

Motivation

如果一个理论可以强大地推导出任意理论,可能反而是无意义的。

历史上一个参考是弗洛伊德的对梦的解释。还有被熟知的:房间里有一头无法被任何方法探测的大象。

Read more...

double-entry_bookkeeping

PUBLIC

\[income + expenses + equity + liability = 0\]

Read more...

declarative_programming

PUBLIC

过程式和声明式的范式对比,出现在很多地方,这里罗列一些。

declarativeimperative
LispC
TensorFlowPyTorth
NixApt/Pacman
SQLORM
CMake/Makefilebuild.sh
HalideOpenMP/thread pool
Symbolic Diff (symforce)Automatic Diff (JAX/Jet)
DP for loopDP recursive with cache (used in transformer inference)
Eigen Lazy EvaluationOpenBLAS

low latency audio

PUBLIC

当我们讨论元宇宙的时候,能不能先把线上讨论的音频延迟问题解决。。。

这个问题解决是乐观的,因为我们通常认为影响延迟的部分(真实的网络延迟,中美做到200ms并不难,但是做到100ms几乎在物理上是不可能的)在这个问题里面并不占主要部分。

Read more...

tools

PUBLIC

这里记录能帮助尽快接近singularity的方法。

一般来说,学习曲线陡峭~=能形成累计优势:

  • 一次学习, 终生 受用
    • 不与非开放平台绑定
  • 越用越熟练,上限高,不会浪费时间投入
Read more...

zettelkasten

PUBLIC

TL;DR

如果尝试把这个网状的事实,用树结构去记录,并且线性地讲述出来。

并遭遇挫败。

可以试试用网的结构开始。

Read more...

计划经济不在了,我很想他

PUBLIC

有⼀些复杂的多约束问题需要决策,从过去来看,过于复杂的问题由于种种原因,经常陷⼊低效的讨论。

最近受⼀些事情启发,发现了决策⽅法论的⼀个可能的探索⽅向:计划经济与线性规划。

Read more...
Previous Page 5 of 5