2 #+author: Richard Westhaver
3 #+email: ellis@rwest.io
4 #+description: The Compiler Company Core Technologies
5 #+setupfile: ../clean.theme
8 :ID: f6d8cc58-e6ec-4482-b6b8-3977e771a578 10 ** [[https://lisp-lang.org/][Lisp]] 12 :ID: 765d7aea-1f04-47ac-b59a-b5e83ce05194 14 ** [[https://www.rust-lang.org/][Rust]] 16 :ID: e4fce1b9-dc0f-4bd9-b26e-3b41e583e901 18 ** [[https://www.gnu.org/software/emacs/][Emacs]] 20 :ID: da8b7be1-28c9-44cb-b013-9e6edf2f0581 24 :ID: e0db5df8-5e99-4199-a042-5bfab74f3711 26 ** [[https://rocksdb.org/][rocksdb]] 28 :ID: e363bbaa-57ad-4e73-af2b-7fe487f67c7c 30 ** [[https://archlinux.org/pacman/][pacman]] 32 :ID: e2ce47d2-2a6d-4f7b-acd7-3835463072a8 34 ** [[https://docs.kernel.org/filesystems/btrfs.html][btrfs]] 36 :ID: 4e99345f-9e2b-4edb-9f97-5daf6fb66c14 38 ** [[https://tree-sitter.github.io/tree-sitter/][tree-sitter]] 40 :ID: b13a05bd-cc78-4d9b-84db-873f2714f32c 42 ** [[https://kernel.dk/io_uring.pdf][uring]] 44 :ID: 016e1ebc-56b0-47f6-a610-1f8761bf69dd 46 ** [[https://github.com/BLAKE3-team/BLAKE3-specs/blob/master/blake3.pdf][blake3]] 48 :ID: a0898683-d3ce-4d44-aaf7-b989cc5418d8 52 :ID: e1bf8a4c-a9d6-478a-879d-49d6b5a2a72b 54 ** [[https://ngn.codeberg.page/k][k]] 56 :ID: 0f4175ad-656b-4348-9328-5e409379b3fd 58 ** [[https://mlochbaum.github.io/BQN/][BQN]] 60 :ID: 3cc89f3d-20a5-420f-bc7e-0731254e5040 65 :ID: 06de34a3-60b4-4f48-bcab-eabeb3fe41c3 67 The software provided by
/The Compiler Company/ is a powerful but
68 opinionated programming environment. It consists of a GNU/Linux
69 kernel, some vendored programs and libraries, and a suite of custom
72 The software is modular by design. You can pick and choose which
73 components to embed in your own projects and you are encouraged to
74 modify any part of the system to meet your goals.
76 In general, our software is designed for:
77 - early adoption :: integrate research, protocols, libraries, and
78 hardware features from leading research orgs faster than anyone else
79 - rapid development :: interaction, code introspection, tooling, and
80 automation built for prototyping at massive scale
81 - power :: using our environment should feel like cheating - macros,
82 DSLs, and unmatched hackability
86 :ID: f5411514-19d6-4fb0-bdbe-48c4b5581e5c 88 /The Compiler Company/ is above all, a
=Lisp Company=. The most
89 powerful software requires the most powerful code.
91 Lisp isn't enough though.
=Rust= is our imperative language of choice
92 at the time of writing and generally suited for system-level software
95 We make use of the Steel Bank Common Lisp compiler (SBCL) and the
96 nightly Rust compiler toolchain.
100 :ID: 1ae69e1e-1e01-4e48-b205-e28fb0fd0b1e 102 /The Compiler Company/ is a
=Linux Company=. There may be minimal
103 support for Darwin-based systems, but Microsoft Windows systems will
104 never be officially supported.
106 One of the
/anti-goals/ of our software is
~portability~. For all of
107 the features we optimize for, portability becomes a burden, especially
108 with closed-source OS kernels. We are also explicitly driven to reduce
109 consumer dependence on these closed-source systems, especially in a
110 distributed network. They are simply unfit for use with the software
111 we produce and the systems we build.