changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > org > meta / tech.org

changeset 6: f747ffac7f40
parent: 55e56793d888
author: Richard Westhaver <ellis@rwest.io>
date: Sun, 25 Aug 2024 00:15:40 -0400
permissions: -rw-r--r--
description: meta and task work 
     1 #+title: tech
     2 #+author: Richard Westhaver
     3 #+email: ellis@rwest.io
     4 #+description: The Compiler Company Core Technologies
     5 #+setupfile: ../clean.theme
     6 * Core
     7 :PROPERTIES:
     8 :ID:       f6d8cc58-e6ec-4482-b6b8-3977e771a578
     9 :END:
    10 ** [[https://lisp-lang.org/][Lisp]]
    11 :PROPERTIES:
    12 :ID:       765d7aea-1f04-47ac-b59a-b5e83ce05194
    13 :END:
    14 ** [[https://www.rust-lang.org/][Rust]]
    15 :PROPERTIES:
    16 :ID:       e4fce1b9-dc0f-4bd9-b26e-3b41e583e901
    17 :END:
    18 ** [[https://www.gnu.org/software/emacs/][Emacs]]
    19 :PROPERTIES:
    20 :ID:       da8b7be1-28c9-44cb-b013-9e6edf2f0581
    21 :END:
    22 * Libs
    23 :PROPERTIES:
    24 :ID:       e0db5df8-5e99-4199-a042-5bfab74f3711
    25 :END:
    26 ** [[https://rocksdb.org/][rocksdb]]
    27 :PROPERTIES:
    28 :ID:       e363bbaa-57ad-4e73-af2b-7fe487f67c7c
    29 :END:
    30 ** [[https://archlinux.org/pacman/][pacman]]
    31 :PROPERTIES:
    32 :ID:       e2ce47d2-2a6d-4f7b-acd7-3835463072a8
    33 :END:
    34 ** [[https://docs.kernel.org/filesystems/btrfs.html][btrfs]]
    35 :PROPERTIES:
    36 :ID:       4e99345f-9e2b-4edb-9f97-5daf6fb66c14
    37 :END:
    38 ** [[https://tree-sitter.github.io/tree-sitter/][tree-sitter]]
    39 :PROPERTIES:
    40 :ID:       b13a05bd-cc78-4d9b-84db-873f2714f32c
    41 :END:
    42 ** [[https://kernel.dk/io_uring.pdf][uring]]
    43 :PROPERTIES:
    44 :ID:       016e1ebc-56b0-47f6-a610-1f8761bf69dd
    45 :END:
    46 ** [[https://github.com/BLAKE3-team/BLAKE3-specs/blob/master/blake3.pdf][blake3]]
    47 :PROPERTIES:
    48 :ID:       a0898683-d3ce-4d44-aaf7-b989cc5418d8
    49 :END:
    50 * Extras
    51 :PROPERTIES:
    52 :ID:       e1bf8a4c-a9d6-478a-879d-49d6b5a2a72b
    53 :END:
    54 ** [[https://ngn.codeberg.page/k][k]]
    55 :PROPERTIES:
    56 :ID:       0f4175ad-656b-4348-9328-5e409379b3fd
    57 :END:
    58 ** [[https://mlochbaum.github.io/BQN/][BQN]]
    59 :PROPERTIES:
    60 :ID:       3cc89f3d-20a5-420f-bc7e-0731254e5040
    61 :END:
    62 
    63 * Software
    64 :PROPERTIES:
    65 :ID:       06de34a3-60b4-4f48-bcab-eabeb3fe41c3
    66 :END:
    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
    70 software.
    71 
    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. 
    75 
    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
    83 
    84 ** Langs
    85 :PROPERTIES:
    86 :ID:       f5411514-19d6-4fb0-bdbe-48c4b5581e5c
    87 :END:
    88 /The Compiler Company/ is above all, a =Lisp Company=. The most
    89 powerful software requires the most powerful code.
    90 
    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
    93 components.
    94 
    95 We make use of the Steel Bank Common Lisp compiler (SBCL) and the
    96 nightly Rust compiler toolchain.
    97 
    98 ** OS
    99 :PROPERTIES:
   100 :ID:       1ae69e1e-1e01-4e48-b205-e28fb0fd0b1e
   101 :END:
   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.
   105 
   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.