| (* 这是我（预期，亦或是已经）在 ∞-type càfe summer school 上做的 talk， | |
| "从零教你手把手实现一个 MLTT 类型检查器" | |
| 的内容稿。本 talk 计划以现场边讲解边手写代码的方式实现， | |
| 所以虽然这份内容稿会尽量尝试还原 talk 的思路和逻辑， | |
| 它的内容可能会与实际的 talk 有出入，建议有条件的人直接去听 talk 本身 *) | |
| (* 本次 talk 将会使用 OCaml 来实现一个 MLTT 类型检查器。 | |
| 你可能不会写 OCaml，但这没有关系。本次 talk 只会使用以下的功能： |
Scalable Vector Extensions (SVE) is ARM’s latest SIMD extension to their instruction set, which was announced back in 2016. A follow-up SVE2 extension was announced in 2019, designed to incorporate all functionality from ARM’s current primary SIMD extension, NEON (aka ASIMD).
Despite being announced 5 years ago, there is currently no generally available CPU which supports any form of SVE (which excludes the [Fugaku supercomputer](https://www.fujitsu.com/global/about/innovation/
| sda5_crypt UUID=c66880c1-c2f1-40fc-9580-f25d493876ef none luks,discard |
Setup Mouse/Touchpad speed and configure tap-to-click on the touch pad
xinput --list
⎡ Virtual core pointer id=2 [master pointer (3)]
⎜ ↳ Virtual core XTEST pointer id=4 [slave pointer (2)]
⎜ ↳ USBest Technology SiS HID Touch Controller id=11 [slave pointer (2)]
⎜ ↳ Elan Touchpad id=14 [slave pointer (2)]
| package goddrinksjava; | |
| /** | |
| * The program GodDrinksJava implements an application that | |
| * creates an empty simulated world with no meaning or purpose. | |
| * | |
| * @author momocashew | |
| * @lyrics hibiyasleep | |
| */ | |