IRC channel logs

<mwette>Does mes handle the cond form with a guard? -- `(cond ((foo) (lambda (a b) a) => (lambda (a b) ...)))'

<mwette>^ Here (foo) returns multiple values, by the way.

<janneke>mwette: ah, no, mes doesn't have that yet

<janneke>it has only => in the two term clause

<janneke>but this doesn't seem so hard to support?

<janneke>match was much more problematic, as mes only has syntax rules, and that's slooowww on mes

<janneke>here's COND https://cgit.git.savannah.gnu.org/cgit/mes.git/tree/mes/module/mes/base.mes#n105

<janneke>(we don't have quasiquote here just yet :)

<aleksih>Thanks, I was also able to build a working tcc-bootstrappable for x86_64 by applying a few patches on top of tcc-bootstrappable and mes-libc. I will try and send them over to the mailing list this month, except for those that are already effective on the wip branch of course. It would have been smart of me to check that branch earlier

<aleksih>Right now I'm looking at potentially porting mescc to aarch64

<janneke>aleksih: ah right, and great

<mwette>janneke: OK. Thanks.

<matrix_bridge><Andrius Štikonas> aleksih: was it good enough to rebuild itself?

<matrix_bridge><Andrius Štikonas> Last I tried without any patches i could build tcc-mes but it was a bit crashy and it could only compile parts of meslibc/tcc

<aleksih>Yes, I've been working on two different Nix-driven bootstraps. One is Auxolotl, where I have this entangled patchset. Here's the tinycc-boot-relevant part: https://git.auxolotl.org/auxolotl/foundation/pulls/22/files#diff-7a384a1ffffa3fb908f49b38621a0a2b995de8d0

<aleksih>And the other is on nixpkgs, where I have GitHub pull request 479322 open, and it does seem to work well enough

<aleksih>The auxolotl bootstrap has riscv64 and x86_64 support entangled, whereas on my nixpkgs PR it's focused around x86_64

<aleksih>Oh to be specific, nixpkgs pull request #469294 is the delta from i686-linux support to x86_64-linux support

<GNUtoo>Hi, I found that: https://nlnet.nl/project/Ada-bootstrap/ , does someone has more details. I'm mostly interested in tracking the status.

<GNUtoo>The question has been answered in #guix, I only found #bootstrappable after asking in Guix

<GNUtoo>Sorry for the noise

<stikonas>GNUtoo: I haven't seen more details about ada bootstrap either

<stikonas>hmm, looks like efraim is working on it

<GNUtoo>yes, indeed

<GNUtoo>This is the repository URL: https://git.sr.ht/~efraim/AdaEd

<aggi>it's done, moved my main development host onto linux-2.4/tinycc into production!

<aggi>runtime testing passed with major programs/services

<aggi>lighttpd.static up and running, dnsmasq/dhcp, tor-proxy, mutt/gpg, ssh, nfs, self-hosting compilation - all passed

<aggi>it's remarkable insofar, because it is most recent software-versions still which can transition towards either linux2 or linux5 sysv abi

<aggi>with either gcc, or TinyCC!

<aggi>had to backport/debug a few more drivers: 100mbps usb-ethernet ax8872 is stable, realtek gigabit ethernet is working too now, sata/ahci

<aggi>which means, at the bootstrapping-stage of TinyCC/musl being available a complete distribution can be spawn

<aggi>with decent hardware support from linux-2.4, and alot of software/development-utilities

IRC channel logs

2026-01-22.log