changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > org > docs / meta/tech.org

changeset 14: de53155af111
parent: b38886ced111
child: a0017112db77
author: ellis <ellis@rwest.io>
date: Sun, 17 Dec 2023 23:28:53 -0500
permissions: -rw-r--r--
description: migrated from core
1 {{{header(tech,
2 Richard Westhaver,
3 ellis@rwest.io,
4 The Compiler Company Core Technologies)}}}
5 
6 * OS
7 We primarily support [[https://unix.org][Unix-based]] Operating Systems. Check
8 project-specific docs for officially supported targets.
9 
10 Development and CI is ran on [[https://archlinux.org/][Arch Linux]] (btw).
11 * Core
12 ** [[https://lisp-lang.org/][Lisp]]
13 ** [[https://www.rust-lang.org/][Rust]]
14 ** [[https://www.gnu.org/software/emacs/][Emacs]]
15 * Libs
16 ** [[https://rocksdb.org/][rocksdb]]
17 ** [[https://archlinux.org/pacman/][pacman]]
18 ** [[https://docs.kernel.org/filesystems/btrfs.html][btrfs]]
19 ** [[https://tree-sitter.github.io/tree-sitter/][tree-sitter]]
20 ** [[https://kernel.dk/io_uring.pdf][uring]]
21 ** [[https://github.com/BLAKE3-team/BLAKE3-specs/blob/master/blake3.pdf][blake3]]
22 * Extras
23 ** [[https://ngn.codeberg.page/k][k]]
24 ** [[https://mlochbaum.github.io/BQN/][BQN]]
25 
26 * Our Software
27 The software provided by /The Compiler Company/ is a powerful but
28 opinionated programming environment. It consists of a GNU/Linux
29 kernel, some vendored programs and libraries, and a suite of custom
30 software.
31 
32 The software is modular by design. You can pick and choose which
33 components to embed in your own projects and you are encouraged to
34 modify any part of the system to meet your goals.
35 
36 In general, our software is designed for:
37 - early adoption :: integrate research, protocols, libraries, and
38  hardware features from leading research orgs faster than anyone else
39 - rapid development :: interaction, code introspection, tooling, and
40  automation built for prototyping at massive scale
41 - power :: using our environment should feel like cheating - macros,
42  DSLs, and unmatched hackability
43 
44 ** Langs
45 /The Compiler Company/ is above all, a =Lisp Company=. The most
46 powerful software requires the most powerful code.
47 
48 Lisp isn't enough though. =Rust= is our imperative language of choice
49 at the time of writing and generally suited for system-level software
50 components.
51 
52 We make use of the Steel Bank Common Lisp compiler (SBCL) and the
53 nightly Rust compiler toolchain.
54 
55 ** OS
56 /The Compiler Company/ is a =Linux Company=. There may be minimal
57 support for Darwin-based systems, but Microsoft Windows systems will
58 never be officially supported.
59 
60 One of the /anti-goals/ of our software is ~portability~. For all of
61 the features we optimize for, portability becomes a burden, especially
62 with closed-source OS kernels. We are also explicitly driven to reduce
63 consumer dependence on these closed-source systems, especially in a
64 distributed network. They are simply unfit for use with the software
65 we produce and the systems we build.