Jupyterlite
最近总是接触各种 Jupyter…（JupyterLab/JupyterHub），发现居然还有可以完全跑在浏览器上的 Jupyterlite，那是不是可以直接放一个到这儿呢？ 大致的概念 原来的 Jupyter 是传统的 CS 模式，各种语 …
Intuitionistic Logic
Intuitionism 直觉主义（Intuitionism）1是主要由 L. E. J. Brouwer 以及其学生 Heyting 奠基的一派数学哲学2， 其主要观点是数学是人心智的构造物：自然数/实数/证明/定理… 都是心智的构造物， …
新博客
花了相当相当多时间重新建设自己的内容管理系统，总算大致完成（https://github.com/huangjunwen/mdtool），记录一下 需求 大致如下 内容应该可以很容易跨平台发布，例如除了本身作为博客的网站外，也能发布到微信公 …
Kademlia 简介
Kademlia 是一种 p2p 网络的分布式哈希表 (DHT: distributed hash table). 有别于单机版的 hash table, p2p DHT 需要将 key-value 键值对存放在大量的 (但不稳定的) …
写了一个 MySQL 数据表和查询的 go 代码生成器
项目地址 https://github.com/huangjunwen/sqlw-mysql 动机 最近这段时间开始用 go 写网站，遇到各种新老问题。其中一个老问题是如何访问 MySQL 数据库。 使用 ORM (Object …
Greenlet 原理
原理 我们知道，操作系统会给每一个线程分配一个独立的堆栈，它们各自独立运作，记录着该线程的各类运行状态：如函数本地变量，函数返回地址，寄存器状态等等各种上下文；从这个角度看，堆栈几乎就等价于线程 那么假如想要在用户态实现轻量级的类线程，就同 …
Shamir Secret Sharding
Hashicorp 这家公司的产品都很有意思，其中 Vault 是一个用来集中管理敏感信息（密码，各种 token，证书，key 等等）的工具。 Vault server 运行起来之后有两种状态：seal/unseal (密封/解封) ，这 …
RSA 简介
主要算法简介 RSA 的原理是在于能够找到三个很大的正整数 \(e,d,n\) 使得对于任何 \(0 \le m \lt n\)： \[ (m^e)^d \equiv m \pmod{n} \] 其中公钥为 \((n,e)\)，可以发送给任 …