From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: bokr@bokr.com Newsgroups: gmane.lisp.guile.bugs Subject: bug#73188: PEG parser does not support full PEG grammar Date: Mon, 23 Dec 2024 14:04:22 -0800 Message-ID: References: <78a81bc5-cd0d-0506-185b-c733c66e96ae@elenq.tech> <20241222200128.13782-1-ekaitz@elenq.tech> <87seqffm66.fsf_-_@gnu.org> Reply-To: bokr@bokr.com Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33441"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 73188@debbugs.gnu.org, Ekaitz Zarraga To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Mon Dec 23 23:05:25 2024 Return-path: Envelope-to: guile-bugs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tPqYG-0008ZY-Ga for guile-bugs@m.gmane-mx.org; Mon, 23 Dec 2024 23:05:24 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tPqY0-0000Md-Ok; Mon, 23 Dec 2024 17:05:08 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tPqXx-0000MN-7I for bug-guile@gnu.org; Mon, 23 Dec 2024 17:05:05 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tPqXu-0005Zx-Gt for bug-guile@gnu.org; Mon, 23 Dec 2024 17:05:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:MIME-Version:References:Date:From:To:Subject; bh=sgYjlpsIUIRMLtoVxaxcDJvyTYQCdjJgBNouzO4ODWo=; b=dzQQQFQyS7K/Ccr4cPl/byLlVQUsfKiycfWSH0dFz2KGJd2T8pb40gUkEC3jRVzbC1jIpli+j1Xib02th/FOXbHGvGBHBqD7JvYaiOs8PxGRYoeuODyiCdsZmsYk4xnhpwhQa7+qWqruw5/nhsrkk6F9Bzp17t2lk1FExvmoTRm8BtjNo5Z1ysqSR6QMJkZlaJgMxaxHOdPODz/VArcTswvxJokiKnGIm4uSmoRtF5gMhkvEEgngRzjPm/W/DrIFT5gjP9kdzfWlfXvxPdeKBClWcgcE7jeUWUbg5tOimvRBIE1k6pxp/gVJfdmfqcuTFr8sg2mBkrktLysPNU+e/w==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tPqXu-0006KE-C3 for bug-guile@gnu.org; Mon, 23 Dec 2024 17:05:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: bokr@bokr.com Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 23 Dec 2024 22:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73188 X-GNU-PR-Package: guile Original-Received: via spool by 73188-submit@debbugs.gnu.org id=B73188.173499148724284 (code B ref 73188); Mon, 23 Dec 2024 22:05:02 +0000 Original-Received: (at 73188) by debbugs.gnu.org; 23 Dec 2024 22:04:47 +0000 Original-Received: from localhost ([127.0.0.1]:58344 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPqXe-0006Jb-K6 for submit@debbugs.gnu.org; Mon, 23 Dec 2024 17:04:47 -0500 Original-Received: from mailout.easymail.ca ([64.68.200.34]:49644) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tPqXc-0006JN-A6 for 73188@debbugs.gnu.org; Mon, 23 Dec 2024 17:04:45 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by mailout.easymail.ca (Postfix) with ESMTP id 4613C60EA2; Mon, 23 Dec 2024 22:04:38 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1734991478; bh=c1hTx3gkNjTGYl3+3xudBUSSgTTVInR3NSs1YOvx0rg=; h=From:Date:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=OWZGbDg5+ndjJGogWo6zsSvRFVxQTQ6ynCoWASkLSR9YLCFo6DHREEY228i8XW+x+ kCkpyBYpwpEooONQX8FA0XHDcU7HQgPlAabknlAhpeUZm1nsR2EX9w1NYLOC6eeCDJ StgRRSaTgES0YqNV8jA6PeLLLx/fyiPSyMMC4oNAGfFmhNaCOzXXVy4hUpcYJZwdZn bpv1WqhuOwNTzpCCBs0TSWOfY1grD3MNA2y/YI+uOAYQZS7Xf6iBbuV4/qmuxaVL18 7UX7c3QLtKqfhKuozacgbeAtoQA/nPhemrjdSAuQD1Frvchv72E42bl4g6lUd+2KxT mWNmPJ36aax4w== X-Virus-Scanned: Debian amavisd-new at emo09-pco.easydns.vpn Original-Received: from mailout.easymail.ca ([127.0.0.1]) by localhost (emo09-pco.easydns.vpn [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rccbbpFCKfPy; Mon, 23 Dec 2024 22:04:37 +0000 (UTC) Original-Received: from localhost (unknown [50.208.209.153]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mailout.easymail.ca (Postfix) with ESMTPSA id 2FF5C60E9D; Mon, 23 Dec 2024 22:04:37 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bokr.com; s=easymail; t=1734991477; bh=c1hTx3gkNjTGYl3+3xudBUSSgTTVInR3NSs1YOvx0rg=; h=From:Date:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=RQqXMRLdqSqujj/+VyTuGWo99gx0RtqkCjlj1GEjnNYNxa7EQGUURloJy9CDoPb4a pZPjSYfSzDq4/g916ta9o0E/I0X5tvMVPaE0N2flMJD+9lCSM9BLc/NJMXl67OtERN OV9aLmubI0O9Wb9Xa05nji4Ni43Z1nnmc6gypWmqodvb/J+ytG+fVLSGIhg/oWVc00 M5H6LZ2IYrfEL2p+vj2ENT7dqXoRVl4HuXtg+35XHjo32J9h1m5L6EH/66BrheXmA0 2OID2V0QqdTwfwk2DnWiq5o66g9MENhVpYRU5SF3zbMeu/Bu2gPED1wzVzxk2H5CWw hgdTL0FoT8Tzw== Content-Disposition: inline In-Reply-To: <87seqffm66.fsf_-_@gnu.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:11137 Archived-At: • Late kudos to Ekaitz for this great PEG contribution, especially RISCV, which will IMO play a key part in the future of human secure control over machines :) • Is there a trustable git repo I could clone to follow future developments of this work? • IWBN to have an example doc for how to define a DSL and its interpreter a la brainf*ck, but compiled suitable for running in qemu bullet-proof container. Scroll to end of this email for what I was surprised worked, though it may have compromised my system, I'm not sure: CAVEAT! :) On +2024-12-22 22:22:09 +0100, Ludovic Courtès wrote: > Hi Ekaitz, > > Apologies for applying the wrong version of the patch series! > > I pushed the 3 patches you just sent: > > 6750f6cc8 * PEG: string-peg: Add HTML5 grammar test. > 38ad26497 * PEG: string-peg: Better support for escaping. > c86a48a92 * PEG: string-peg: Fix [^...] interpretation. > > I added commit logs that follow the project’s conventions (same as > Guix). > > In the future, when a patch fixes a bug, please include a test case that > reproduces the bug being fixed; possibly add information in the commit > log about the commit that introduced the bug/regression. This is useful > to get a good understanding of the situation. (I understand in this > case the problem was mostly me applying an earlier version.) > > And bonus points if you provide commit logs. :-) > > Thank you! > > Ludo’. > > > -=-=================================-=- Here is what worked way back when ludo published (a release announcement email that IMO is a paragon of release announcements) I'm not suggesting running this as I did, since I am not sure about security bugs, then and since, but I did it back when Ludo realeased it. CAVEAT! YOU HAVE BEEN WARNED! (Tips on published vulns appreciated) But runvm (below) seemed to work amazingly under (debian-based) pureos wayland. $ cd ~/wb/gxqemu/ $ file * guix-system-vm-image-1.4.0.x86_64-linux.qcow2: QEMU QCOW2 Image (v3), 32255246336 bytes runvm: Bourne-Again shell script, ASCII text executable $ ls -ltrad * -rwxr-xr-x 1 bokr bokr 211 Feb 7 2024 runvm -rw-r--r-- 1 bokr bokr 8862695424 Oct 14 02:17 guix-system-vm-image-1.4.0.x86_64-linux.qcow2 $ du -h guix-system-vm-image-1.4.0.x86_64-linux.qcow2 8.3G guix-system-vm-image-1.4.0.x86_64-linux.qcow2 $ cat -nA runvm 1 #!/usr/bin/bash$ 2 $ 3 qemu-system-x86_64 \$ 4 -nic user,model=virtio-net-pci \$ 5 -enable-kvm -m 2048 \$ 6 -device virtio-blk,drive=myhd \$ 7 -drive if=none,file=guix-system-vm-image-1.4.0.x86_64-linux.qcow2,id=myhd$ $ $ # I'm not doing the following, since I am not sure about security bugs, but I did it $ # when Ludo realeased it (with a realease announcement email that IMO is a paragon of $ # relase announcements): $ # $ # ./runvm & $ # in a system with Wayland as the display compositor, this runs the image in the foreground AND $ # continues running the term CLI '(bash)' in the background, amazingly compositing both anything $ # running via X-wayland headless Xorg, like maybe firefox-esr, and the qcow image, so you can $ # mouse around and switch between the two. $ $ # NOTICE: Not responsible for consequences of trying this: YOU HAVE BEEN WARNED :) $ $ uname -a Linux BRL14v1 5.10.0-33-amd64 #1 SMP Debian 5.10.226-1 (2024-10-03) x86_64 GNU/Linux $ pwd /home/bokr/wb/gxqemu $ cd ~/wb/guix/guix $ git log|head commit e92b20a41a026b8af7dd2031eb61267b061617b5 Author: Tomas Volf <~@wolfsden.cz> Date: Fri Dec 13 17:27:46 2024 +0100 services: mingetty: Support waiting on shepherd services. For auto-login on systems with elogind, dbus-system needs to be started. This commit adds ability to express that ordering. * gnu/services/base.scm (): Add shepherd-requirement $ -=-=================================-=- I am interested in using Ekaitz's Peg work and predecessor guile work of Andy Wingo and Ludo to produce secure minimal-code guile extensions displaying popups showing e.g. progress graphics based on direct wayland event protocols, to be able to show status of "hung" looping or deadlocked threads, subject ot user privilege authentication. IIRC the display ran at 60hz before starting the cow2 image and dropped to 30hz when showing both display outputs at the same time. If I get time, I'll try to take a video with my phone to show it, but don't hold your breath ;-) It would be interesting to try a minimal wayland for mes too :) Obviously these are wip-thoughts ;-) Thanks for reading :) Happy Holidays -- With kind regards, Bengt Richter