正则语言没那么难
2025年3月20日程序员们肯定知道正则表达式，正则语言则属于theoratical computer science，但它没那么难。简单来说，能被正则表达式表示的，就是正则语言。 正面例子就不说了，大家肯定都有概念。我举个反例，什么不是正则语言呢？我用伪正则表达式\eqref{reg-n}来描述，a要重复n次，然后b […]
程序员们肯定知道正则表达式，正则语言则属于theoratical computer science，但它没那么难。简单来说，能被正则表达式表示的，就是正则语言。 正面例子就不说了，大家肯定都有概念。我举个反例，什么不是正则语言呢？我用伪正则表达式\eqref{reg-n}来描述，a要重复n次，然后b […]
The Keychron company The Keychron company is located in Hong Kong, products manufactured in China. Its websites create an illusion that it’s a G […]
2010年左右，我开始使用Evernote。那时候，我用它来记密码、软件注册码，还有一些杂项条目。接着，我渐渐用Evernote“收集”写得好的文章等。如今，我好久好久才会去登录一下Evernote，查看一些以前的东西。为什么我不再用笔记软件了呢？因为没什么东西需要记了。 不上课记笔记 有人需要上课 […]
我于2015年买了Roccat Tyon（冰豹钛鲨豹）多键可编程鼠标，之后一直使用它。但有个悲惨的消息，Roccat公司在2019年被收购，于2024年所有产品停产。Tyon鼠标于2021年后也已经断货了。鼠标的可编程性需要向键盘转移，所以本文将会关注键盘的可编程性。 我上一次购买键盘大约在2017 […]
For anything other than simple substitutions on a single line you should be using awk, not sed. Hold spaces, pattern spaces, and 95% of the sed langua […]
Touch Keyboard and Handwriting Panel Service 如果禁用，将无法使用中文输入法或任何英文以外的输入法。 Microsoft Software Shadow Copy Provider 如果禁用，System Protection里的System Restor […]
String similarity and transformation (Edit Script) A distance of two sequences can be defined, for instance by TLSH. Such a definition may not derive […]
Given two (sets of) objects \(o_1, o_2\), the learn function generates a program p. When given \(o_1\), the program p recovers \(o_2\). When given ano […]
I found a CatchChallenger benchmark performed in year 2012 to 2016, where gzip, bzip2, lzma, the extreme option of lzma, xz, the extreme option of xz, […]