Topics

tags: Tools

tags: Operating system, Apple

tags: Computer Systems

tags: 分布式

tags: Emacs,Programming Tools source: https://emacs-lsp.github.io/lsp-mode/

tags: Org Mode

tags: 技术 相关论文 [译] [论文] 可虚拟化第三代（计算机）架构的规范化条件（ACM, 1974） 容器化 Learning Containers From The Bottom Up

tags: Programming Language Java 生态工具 Maven/Ivy 依赖获取和解决工具 coursier SDKMAN Java 环境和 SDK 管理 SDKMAN 可以实现 Java 环境和一些常见 SDK 的管理，包括：JDK、Scala、sbt 和 Spark 等。 Java 项目构建工具 Maven Graddle Ant JVM Java 内存模型 JVM 设置代理 Java Networking and Proxies

tags: 分布式

tags: Memory Model,Programming Language,Computer Systems Programming Language Memory Models 编程语言内存模型 编程语言内存模型回答了并行程序可以依靠什么行为以便它们的线程之间可以共享内存的问题。 首先需要理解原子变量（atomic variable）或原子操作（tomic operation），编程语言模型作为程序员和编译器之间的约定规定了它们之间所需要的额外细节。 硬件、Litmus Tests、Happens Before 和 DRF-SC 程序使用DRF-SC 系统同步指令在多个处理器运行的代码之间创建一种“happens before”的关系。 Thread 1 和 Thread 2 执行 S(a) 同步指令。在这个特定执行中，两条 S(a) 指令建立了从 Thread 1 到 Thread 2 的 happens-before 关系，因此 Thread 1 中的 = W(x)= 发生在 Thread 2 中的 R(x) 之前。

tags: C/C++,Programming Tools

内存模型 硬件内存模型 编程语言内存模型

Python vendor package 之前一直在找 Python 类似 go mod vendor 部署的解决方案，今天在看 PySpark 的时候找到了，主要现存两种解决方案： Conda 生态可以使用 conda-pack 原生 CPython 生态可以依托 venv-pack pex 对比 时间 项目 活跃开发 贡献人数 提交数量 2021-08-28 venv-pack 否 2 30 conda-pack 是 15 246 pex 是 87 940 IPython EIN import numpy, math, matplotlib.pyplot as plt %matplotlib inline x = numpy.linspace(0, 2 * math.pi) plt.plot(x, numpy.sin(x)) Python Dark Magic Writing Python Extensions in Assembly 对应版本 manylinux2014 存在但是装不上 参见：PEP 599 – The manylinux2014 Platform Tag ...

tags: Programming Language

tags: 技术

tags: 技术

tags: Learning,Learning English

Emacs 插入断页符^L C-q C-l 或 M-x quoted-insert RET C-l。 可以通过 page-break-lines 这个扩展包来显示一个分隔符。 部分 Orgmode 中 awesome-tray 不生效 部分 Orgmode 中 awesome-tray 设置的 0.1 height mode-line 不生效。

tags: Emacs 快捷键 C-c C-o 打开当前光标下的链接 C-c C-l 插入链接 C-c C-' 插入代码块 Snippets [[http://www.gnu.org/software/emacs/][GNU Emacs]] 转义代码块 https://stackoverflow.com/a/7462884/2873718

tags: Programming Language