<html><head></head><body>Very inspiring work !<br><br><div class="gmail_quote">Le 16 décembre 2018 21:21:21 GMT+01:00, Jan Nieuwenhuizen <janneke@gnu.org> a écrit :<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre class="k9mail">We are pleased to announce the release of GNU Mes 0.19, representing<br>100 commits over 10 weeks.<br><br>Mes has now brought the Reduced Binary Seed bootstrap to Guix (bootstrap<br>a GNU/Linux system without binary GNU toolchain or equivalent) and work<br>is ongoing to audit and verify this bootstrap path in NixOS.<br><br>This release introduces strings as byte-array, hash-tables and native<br>structs. While that does increase the footprint somewhat, it fixes<br>our performance issue; tinycc is now compiled in ~8min (WAS: ~1h30).<br><br>Next targets:<br><br> - translate mes.c into unsnarfed mes.M2<br> - use Gash to remove bash, coreutils&co, grep, sed, tar from the Guix<br> bootstrap binaries<br> - replace the NixOS bootstrap<br> - use dietlibc, uClibc, ... for bootstrapping GNU (bash, binutils,<br> gcc, tar) and remove Mes C lib+gnu?<br> - bootstrap gcc-3.x or 4.x directly, drop initial gcc-2.95.3 target?<br> - have M1+hex2 create gcc/tcc-usable object files? archives?<br> - Debian?<br> - ARM, the Hurd?<br><br>Packages are available from Guix's core-updates branch.<br><br>* About<br><br> GNU Mes[0] brings a Reduced Binary Seed bootstrap[1] to Guix[2] and<br> potentially to any other interested GNU/Linux distribution, and aims<br> to help create a full source bootstrap as part of the<br> bootstrappable builds[3] effort.<br><br> It consists of a mutual self-hosting Scheme interpreter written in<br> ~5,000 LOC of simple C and a Nyacc-based C compiler written in Scheme.<br> This mes.c is being simplified[4] to be transpiled by M2-Planet[5].<br><br> The Scheme interpreter (mes.c) has a Garbage Collector, a library of<br> loadable Scheme modules-- notably Dominique Boucher's LALR[6], Pre-R6RS<br> [portable syntax-case[7] with R7RS ellipsis, Matt Wette's Nyacc[8] --and test<br> suite just barely enough to support a simple REPL and simple<br> C-compiler: MesCC.<br><br> Mes+MesCC can compile an only lightly patched TinyCC[9] that is<br> self-hosting. Using this tcc and the Mes C library we now have a<br> Reduced Binary Seed bootstrap for the gnutools triplet: glibc-2.2.5,<br> binutils-2.20.1, gcc-2.95.3. This is enough to bootstrap Guix for<br> i686-linux and x86_64-linux.<br><br> Mes is inspired by The Maxwell Equations of Software: LISP-1.5[10] -- John<br> McCarthy page 13, GNU Guix's source/binary packaging transparency and<br> Jeremiah Orians's stage0[11] ~500 byte self-hosting hex assembler.<br><br>* Download<br><br> git clone git://git.savannah.gnu.org/mes.git<br><br> Here are the compressed sources and a GPG detached signature[*]:<br> <a href="https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz">https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz</a><br> <a href="https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz.sig">https://ftp.gnu.org/gnu/mes/mes-0.19.tar.gz.sig</a><br><br> Use a mirror for higher download bandwidth:<br> <a href="https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz">https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz</a><br> <a href="https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz.sig">https://ftpmirror.gnu.org/mes/mes-0.19.tar.gz.sig</a><br><br> Here are the MD5 and SHA1 checksums:<br><br> 99e134df87adc5fc5fd2c04941929c23 mes-0.19.tar.gz<br> c9781b3b6a814acc985c2ac68caa111a56583bca mes-0.19.tar.gz<br><br> [*] Use a .sig file to verify that the corresponding file (without the<br> .sig suffix) is intact. First, be sure to download both the .sig file<br> and the corresponding tarball. Then, run a command like this:<br><br> gpg --verify mes-0.19.tar.gz.sig<br><br> If that command fails because you don't have the required public key,<br> then run this command to import it:<br><br> gpg --keyserver keys.gnupg.net --recv-keys 1A858392E331EAFDB8C27FFBF3C1A0D9C1D65273<br><br> and rerun the 'gpg --verify' command.<br><br>Mes runs from the source tree and can also be built, packaged and<br>installed in Guix from a git checkout by running<br><br> guix package -f .guix.scm<br><br>* Get informed, get involved<br><br> See <a href="https://bootstrappable.org">https://bootstrappable.org</a><br> Join #bootstrappable on irc.freenode.net.<br><br>* Changes in 0.19 since 0.18<br> ** Core<br> *** The build system has been simplified.<br> *** Mes now prints a backtrace upon error.<br> *** Performance has been improved 2-8 times, making Mes 2-10 times slower than Guile.<br> *** Mes now supports a module type and uses a `boot-module'.<br> *** Mes now supports a hash_table type.<br> *** Mes now supports a struct type.<br> *** Mes now supports building a %bootstrap-mes seed from Guix.<br> ** Language<br> *** Records are now implemented using struct (WAS: vector).<br> *** 44 new functions<br> ceil, char-downcase, char-set-adjoin, char-set-complement,<br> char-upcase, current-time, delete-file, dup, dup2, file-exists?,<br> floor, frame-printer, get-internal-run-time, getcwd, gettimeofday,<br> hash, hash-ref, hash-set!, hash-table-printer, hashq,<br> hashq-get-handle, hashq-ref, hashq-set, inexact->exact,<br> make-hash-table, make-stack, make-struct, module-define!,<br> module-printer, module-ref, module-variable, read-line, round,<br> stack-length, stack-ref, string-downcase, string-tokenize,<br> string-upcase, struct-length, struct-ref, struct-set! struct-vtable,<br> struct-vtable, with-error-to-file.<br> ** MesCC<br> *** Assembly defines have been cleaned-up: duplicates deleted, missing added, wrong fixed.<br> *** MesCC now supports compiling GNU Bash and GNU Tar.<br> **** 6 New functions<br> getegid, geteuid, getppid, setgid, setuid, sigdelset, sigprocmask.<br> **** 22 New macros<br> EACCES, ENOSPC, ESPIPE, INT16_MAX, INT16_MIN, INT32_MAX, INT32_MIN,<br> INT64_MAX, INT64_MIN, INT8_MAX, INT8_MIN, LLONG_MAX, LLONG_MIN,<br> SIZE_MAX SYS_getegid, SYS_geteuid, SYS_setgid SYS_setuid, S_IRGRP,<br> S_IROTH, S_IRWXG, S_IRWXO S_ISGID, S_ISUID, S_IWGRP, S_IWOTH, S_IXGRP,<br> S_IXOTH, UINT16_MAX, UINT32_MAX, UINT64_MAX, UINT8_MAX,<br> _POSIX_VERSION.<br> ** Noteworthy bug fixes<br> *** Mes now supports characters #\xNN.<br> *** Mes now supports assq-ref and assoc-ref with alist == #f.<br> *** Mes now supports \xNN in strings. This allows using Nyacc-0.86.0.<br> *** MesCC now supports the unary plus operator.<br> *** MesCC now supports the `U' integer suffix.<br> *** MesCC now comes with INTnn_MIN/MAX, UINTnn defines in stdint.h.<br> *** MesCC now always exits non-zero when assembler or linker fail.<br><br>Greetings,<br>janneke<br><br>[0] <a href="https://www.gnu.org/software/mes">https://www.gnu.org/software/mes</a><br>[1] <a href="http://joyofsource.com/reduced-binary-seed-bootstrap.html">http://joyofsource.com/reduced-binary-seed-bootstrap.html</a><br>[2] <a href="https://www.gnu.org/software/guix">https://www.gnu.org/software/guix</a><br>[3] <a href="https://bootstrappable.org">https://bootstrappable.org</a><br>[4] <a href="https://github.com/oriansj/mes-m2">https://github.com/oriansj/mes-m2</a><br>[5] <a href="https://github.com/oriansj/m2-planet">https://github.com/oriansj/m2-planet</a><br>[6] <a href="https://github.com/schemeway/lalr-scm">https://github.com/schemeway/lalr-scm</a><br>[7] <a href="https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html">https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html</a><br>[8] <a href="https://www.nongnu.org/nyacc">https://www.nongnu.org/nyacc</a><br>[9] <a href="https://gitlab.com/janneke/tinycc">https://gitlab.com/janneke/tinycc</a><br>[10] <a href="http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf">http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf</a><br>[11] <a href="https://github.com/oriansj/stage0">https://github.com/oriansj/stage0</a><br></pre></blockquote></div><br>-- <br>Jeko</body></html>