#+title: tech

 #+author: Richard Westhaver

 #+email: ellis@rwest.io

 #+description: The Compiler Company Core Technologies

 #+setupfile: ../clean.theme

 * Core

 :PROPERTIES:

 :ID:       f6d8cc58-e6ec-4482-b6b8-3977e771a578

 :END:

 ** [[https://lisp-lang.org/][Lisp]]

 :PROPERTIES:

 :ID:       765d7aea-1f04-47ac-b59a-b5e83ce05194

 :END:

 ** [[https://www.rust-lang.org/][Rust]]

 :PROPERTIES:

 :ID:       e4fce1b9-dc0f-4bd9-b26e-3b41e583e901

 :END:

 ** [[https://www.gnu.org/software/emacs/][Emacs]]

 :PROPERTIES:

 :ID:       da8b7be1-28c9-44cb-b013-9e6edf2f0581

 :END:

 * Libs

 :PROPERTIES:

 :ID:       e0db5df8-5e99-4199-a042-5bfab74f3711

 :END:

 ** [[https://rocksdb.org/][rocksdb]]

 :PROPERTIES:

 :ID:       e363bbaa-57ad-4e73-af2b-7fe487f67c7c

 :END:

 ** [[https://archlinux.org/pacman/][pacman]]

 :PROPERTIES:

 :ID:       e2ce47d2-2a6d-4f7b-acd7-3835463072a8

 :END:

 ** [[https://docs.kernel.org/filesystems/btrfs.html][btrfs]]

 :PROPERTIES:

 :ID:       4e99345f-9e2b-4edb-9f97-5daf6fb66c14

 :END:

 ** [[https://tree-sitter.github.io/tree-sitter/][tree-sitter]]

 :PROPERTIES:

 :ID:       b13a05bd-cc78-4d9b-84db-873f2714f32c

 :END:

 ** [[https://kernel.dk/io_uring.pdf][uring]]

 :PROPERTIES:

 :ID:       016e1ebc-56b0-47f6-a610-1f8761bf69dd

 :END:

 ** [[https://github.com/BLAKE3-team/BLAKE3-specs/blob/master/blake3.pdf][blake3]]

 :PROPERTIES:

 :ID:       a0898683-d3ce-4d44-aaf7-b989cc5418d8

 :END:

 * Extras

 :PROPERTIES:

 :ID:       e1bf8a4c-a9d6-478a-879d-49d6b5a2a72b

 :END:

 ** [[https://ngn.codeberg.page/k][k]]

 :PROPERTIES:

 :ID:       0f4175ad-656b-4348-9328-5e409379b3fd

 :END:

 ** [[https://mlochbaum.github.io/BQN/][BQN]]

 :PROPERTIES:

 :ID:       3cc89f3d-20a5-420f-bc7e-0731254e5040

 :END:

 * Software

 :PROPERTIES:

 :ID:       06de34a3-60b4-4f48-bcab-eabeb3fe41c3

 :END:

 The software provided by /The Compiler Company/ is a powerful but

 opinionated programming environment. It consists of a GNU/Linux

 kernel, some vendored programs and libraries, and a suite of custom

 software.

 The software is modular by design. You can pick and choose which

 components to embed in your own projects and you are encouraged to

 modify any part of the system to meet your goals. 

 In general, our software is designed for:

 - early adoption :: integrate research, protocols, libraries, and

   hardware features from leading research orgs faster than anyone else

 - rapid development :: interaction, code introspection, tooling, and

   automation built for prototyping at massive scale

 - power :: using our environment should feel like cheating - macros,

   DSLs, and unmatched hackability

 ** Langs

 :PROPERTIES:

 :ID:       f5411514-19d6-4fb0-bdbe-48c4b5581e5c

 :END:

 /The Compiler Company/ is above all, a =Lisp Company=. The most

 powerful software requires the most powerful code.

 Lisp isn't enough though. =Rust= is our imperative language of choice

 at the time of writing and generally suited for system-level software

 components.

 We make use of the Steel Bank Common Lisp compiler (SBCL) and the

 nightly Rust compiler toolchain.

 ** OS

 :PROPERTIES:

 :ID:       1ae69e1e-1e01-4e48-b205-e28fb0fd0b1e

 :END:

 /The Compiler Company/ is a =Linux Company=. There may be minimal

 support for Darwin-based systems, but Microsoft Windows systems will

 never be officially supported.

 One of the /anti-goals/ of our software is ~portability~. For all of

 the features we optimize for, portability becomes a burden, especially

 with closed-source OS kernels. We are also explicitly driven to reduce

 consumer dependence on these closed-source systems, especially in a

 distributed network. They are simply unfit for use with the software

 we produce and the systems we build.