7ee5f9caad19adad38f5ed6ffc4c663f09244ded
[mes.git] / doc / announce / ANNOUNCE-0.19
1
2 Subject: GNU Mes 0.19 released
3
4 <#secure method=pgpmime mode=sign>
5 We are pleased to announce the release of GNU Mes 0.19, representing
6 100 commits over 10 weeks.
7
8 Mes has now brought the Reduced Binary Seed bootstrap to Guix and work
9 is ongoing to audit and verify this bootstrap path in NixOS.
10
11 This release introduces strings as byte-array, hash-tables and native
12 structs.  While that does increase the footprint somewhat, it fixes
13 our performance issue; tinycc is now compiled in ~8min (WAS: ~1h30).
14
15 Next targets:
16
17  - translate mes.c into unsnarfed mes.M2
18  - use Gash to remove bash, coreutils&co, grep, sed, tar from the Guix
19    bootstrap binaries
20  - replace the NixOS bootstrap
21  - use dietlibc, uClibc, ... for bootstrapping GNU (bash, binutils,
22    gcc, tar) and remove Mes C lib+gnu?
23  - bootstrap gcc-3.x or 4.x directly, drop initial gcc-2.95.3 target?
24  - have M1+hex2 create gcc/tcc-usable object files?  archives?
25  - Debian?
26  - ARM, the Hurd?
27
28 Packages are available from Guix's core-updates branch.
29
30 * About
31
32   GNU Mes[0] brings a Reduced Binary Seed bootstrap[1] to Guix[2] and
33   potentially to any other interested GNU/Linux distribution, and aims
34   to help create a full source bootstrap as part of the
35   bootstrappable builds[3] effort.
36
37   It consists of a mutual self-hosting Scheme interpreter written in
38   ~5,000 LOC of simple C and a Nyacc-based C compiler written in Scheme.
39   This mes.c is being simplified[4] to be transpiled by M2-Planet[5].
40
41   The Scheme interpreter (mes.c) has a Garbage Collector, a library of
42   loadable Scheme modules-- notably Dominique Boucher's LALR[6], Pre-R6RS
43   [portable syntax-case[7] with R7RS ellipsis, Matt Wette's Nyacc[8] --and test
44   suite just barely enough to support a simple REPL and simple
45   C-compiler: MesCC.
46
47   Mes+MesCC can compile an only lightly patched TinyCC[9] that is
48   self-hosting.  Using this tcc and the Mes C library we now have a
49   Reduced Binary Seed bootstrap for the gnutools triplet: glibc-2.2.5,
50   binutils-2.20.1, gcc-2.95.3.  This is enough to bootstrap Guix for
51   i686-linux and x86_64-linux.
52
53   Mes is inspired by The Maxwell Equations of Software: LISP-1.5[10] -- John
54   McCarthy page 13, GNU Guix's source/binary packaging transparency and
55   Jeremiah Orians's stage0[11] ~500 byte self-hosting hex assembler.
56
57 * Download
58
59   git clone git://git.savannah.gnu.org/mes.git
60
61   Here are the compressed sources and a GPG detached signature[*]:
62     https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz
63     https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz.sig
64
65   Use a mirror for higher download bandwidth:
66     https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz
67     https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz.sig
68
69   Here are the MD5 and SHA1 checksums:
70
71   f9f901f175fbc8a5a3d90c9c551ccc8c  mes-0.19.tar.gz
72   4f7612731a745ebb806548186453d55e0d0bf217  mes-0.19.tar.gz
73
74   [*] Use a .sig file to verify that the corresponding file (without the
75   .sig suffix) is intact.  First, be sure to download both the .sig file
76   and the corresponding tarball.  Then, run a command like this:
77
78     gpg --verify mes-0.19.tar.gz.sig
79
80   If that command fails because you don't have the required public key,
81   then run this command to import it:
82
83     gpg --keyserver keys.gnupg.net --recv-keys 1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273
84
85   and rerun the 'gpg --verify' command.
86
87 Mes runs from the source tree and can also be built, packaged and
88 installed in Guix from a git checkout by running
89
90     guix package -f .guix.scm
91
92 * Get informed, get involved
93
94     See https://bootstrappable.org
95     Join #bootstrappable on irc.freenode.net.
96
97 * Changes in 0.19 since 0.18
98  ** Core
99  *** The build system has been simplified.
100  *** Mes now prints a backtrace upon error.
101  *** Performance has been improved 2-8 times, making Mes 2-10 times slower than Guile.
102  *** Mes now supports a module type and uses a `boot-module'.
103  *** Mes now supports a hash_table type.
104  *** Mes now supports a struct type.
105  *** Mes now supports building a %bootstrap-mes seed from Guix.
106  ** Language
107  *** Records are now implemented using struct (WAS: vector).
108  *** 44 new functions
109  ceil, char-downcase, char-set-adjoin, char-set-complement,
110  char-upcase, current-time, delete-file, dup, dup2, file-exists?,
111  floor, frame-printer, get-internal-run-time, getcwd, gettimeofday,
112  hash, hash-ref, hash-set!, hash-table-printer, hashq,
113  hashq-get-handle, hashq-ref, hashq-set, inexact->exact,
114  make-hash-table, make-stack, make-struct, module-define!,
115  module-printer, module-ref, module-variable, read-line, round,
116  stack-length, stack-ref, string-downcase, string-tokenize,
117  string-upcase, struct-length, struct-ref, struct-set! struct-vtable,
118  struct-vtable, with-error-to-file.
119  ** MesCC
120  *** Assembly defines have been cleaned-up: duplicates deleted, missing added, wrong fixed.
121  *** MesCC now supports compiling GNU Bash and GNU Tar.
122  **** 6 New functions
123  getegid, geteuid, getppid, setgid, setuid, sigdelset, sigprocmask.
124  **** 22 New macros
125  EACCES, ENOSPC, ESPIPE, INT16_MAX, INT16_MIN, INT32_MAX, INT32_MIN,
126  INT64_MAX, INT64_MIN, INT8_MAX, INT8_MIN, LLONG_MAX, LLONG_MIN,
127  SIZE_MAX SYS_getegid, SYS_geteuid, SYS_setgid SYS_setuid, S_IRGRP,
128  S_IROTH, S_IRWXG, S_IRWXO S_ISGID, S_ISUID, S_IWGRP, S_IWOTH, S_IXGRP,
129  S_IXOTH, UINT16_MAX, UINT32_MAX, UINT64_MAX, UINT8_MAX,
130  _POSIX_VERSION.
131  ** Noteworthy bug fixes
132  *** Mes now supports characters #\xNN.
133  *** Mes now supports assq-ref and assoc-ref with alist == #f.
134  *** Mes now support \xNN in strings.  Fixes using Nyacc-0.86.0.
135  *** MesCC now supports the unary plus operator.
136  *** MesCC now supports the `U' integer suffix.
137  *** MesCC now comes with INTnn_MIN/MAX, UINTnn defines in stdint.h.
138  *** MesCC now always exits non-zero when assembler or linker fail.
139
140 Greetings,
141 janneke
142
143 [0] https://www.gnu.org/software/mes
144 [1] http://joyofsource.com/reduced-binary-seed-bootstrap.html
145 [2] https://www.gnu.org/software/guix
146 [3] https://bootstrappable.org
147 [4] https://github.com/oriansj/mes-m2
148 [5] https://github.com/oriansj/m2-planet
149 [6] https://github.com/schemeway/lalr-scm
150 [7] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html
151 [8] https://www.nongnu.org/nyacc
152 [9] https://gitlab.com/janneke/tinycc
153 [10] http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf
154 [11] https://github.com/oriansj/stage0