这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

SOFAArk 是一款基于 Java 实现的轻量级类隔离加载容器，主要是为应用程序提供类隔离和依赖包隔离的能力，由蚂蚁金服公司开源贡献；基于 Fat Jar 技术，简单的单模块 Java 应用或者 Spring Boot 应用均可被打包成一个自包含可运行的 Fat Jar，称之为 Ark 包；Ark 包内嵌 SOFAArk 类隔离容器，通过 java -ja...

Jumpserver 是全球首款完全开源的堡垒机, 使用 GNU GPL v2.0 开源协议, 是符合 4A 的专业运维审计系统。Jumpserver 使用 Python / Django 进行开发, 遵循 Web 2.0 规范, 配备了业界领先的 Web Terminal 解决方案, 交互界面美观、用户体验好。Jumpserver 采纳分布式架构, 支持多...

这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

Mpx 是滴滴开源的一款致力于提高小程序开发体验的增强型小程序框架，通过 Mpx ，我们能够最先进的 web 开发体验 (Vue + Webpack) 来开发生产性能深度优化的小程序，Mpx 具有以下一些优秀特性：数据响应特性 (watch/computed)；增强的模板语法(动态组件/样式绑定/类名绑定/内联事件函数/双向绑定等)；深度性能优化(原生自定义...

介绍音视频处理工具FFmpeg有哪些强大的功能。先对ffmpeg进行概览，包括可以用来干什么，与之相关的ffprobe、ffplay、ffserver等工具；再介绍如何安装ffmpeg；如何用ffmpeg处理音频，比如从音频中提取某段音频片段；以及各种视频处理，包括视频属性的获取和调整，包括调整视频宽高尺寸大小；以及动图gif处理，包括视频转动图、动图转视频...

WPS开放平台是为广大第三方服务商提供WPS个人云服务核心能力的平台。入驻WPS开放平台，不仅优先获得wps持续性开放的各项最新能力，也通过WPS应用中心连接全平台海量优质的办公用户资源，为企业提供办公解决方案。提供开发文档和技术支持，助力开发者打造优质应用，优质服务商更将获得优先展示推荐。

Quarkus 是一个用于编写 Java 应用的云原生、容器优先框架。Quarkus 是 Kubernetes 原生的 Java 技术栈，它由同类中最佳的 Java 库和标准精制而成，并针对容器和云部署量身定制。Quarkus 的总体目标是将 Java 带入云原生的应用开发，并使它成为 Serverless、云和 Kubernetes 环境的领先平台。

dva 首先是一个基于 redux 和 redux-saga 的数据流方案，然后为了简化开发体验，dva 还额外内置了 react-router 和 fetch，所以也可以理解为一个轻量级的应用框架。

Quarkus ，一个用于编写 Java 应用的云原生、容器优先框架。