libera/#clasp - IRC Chatlog
Search
11:04:43
yitzi
Ok, that makes sense. If it is automated we can make it a build step like the static analyzer.
11:24:06
drmeister
I've seen a problem running the static analyzer with multiple threads - random crashes.
11:24:49
drmeister
It's certainly a multithreading issue because we never see problems running it in a single thread.
11:25:32
drmeister
I ran it under udb and while it slows way down it was able to run to completion overnight.
11:26:17
drmeister
The problem didn't occur :-( but I learned that I can run the parallel static analyzer completely under udb in under 8 hours.
11:49:52
drmeister
yitzi: I'm going to try installing cando on arch again today. I'll focus first on getting an arch install that doesn't default to root. Somehow to get a user account set up right away before I install anything.
11:52:19
SAL9000
drmeister: consider taking a copy of the VM (or a disk image of the hardware) after you get the basics installed? if you need to re-test the Clasp installation "from scratch" regularly, I mean.
11:57:15
yitzi
drmeister: The fix-koga branch has a potential workaround for the SBCL 2.2.4 issue if you need it.
12:09:26
yitzi
I made a windows VM and then installed wsl on that. You could make a windows VM with wsl installed and clone that before you attempt clasp installation. I suspect that is what SAL9000 is talking about.
12:13:46
SAL9000
You could set up Arch basics in that VM (create a user account, etc.) then clone the disk, take a snapshot, whatever
12:14:48
SAL9000
FYI, note that (apparently) having WSL 2 installed somehow interferes with VirtualBox. Something about both of them wanting to control Hyper-V.
12:16:18
yitzi
Hmmm. I did it using Gnome Boxes/libvirt and didn't have a problem. That is Windows VM with WSL installed in it.
14:31:31
yitzi
::notify kpoeck I am seeing failures for CLEAR-INPUT.1, CLEAR-INPUT.2, CLEAR-INPUT.3, and CLEAR-INPUT.4 on macos. Can you add those as well for mac?
15:41:30
drmeister
yitzi: We are about to install wsl2 on a Windows 11 Dell Laptop. Should we still use Arch or can we use Ubuntu at this point?
15:41:59
drmeister
I ask because I have simple instructions for installing Ubuntu and I have to piece together instructions for Arch.
15:47:49
drmeister
We ran `wsl --install` and I think it worked? I'm jumping around different sets of instructions.
15:48:16
drmeister
It's confusing me now because when I run `wsl --install` to make sure it's installed it just prints the wsl help.
15:49:05
drmeister
There is an option to `wsl --install` to install a distribution - and `wsl -l` says there are no installed distributions. So I think I'm at the stage to install a distribution.
15:54:31
SAL9000
drmeister: wsl --install is kinda weird because it installs WSL itself *AND* immediately proceeds to (attempt) installing Ubuntu
15:54:53
SAL9000
my recent experience says to remove the default-installed distro and install Ubuntu 22.04 LTS (or Arch) yourself
15:55:31
SAL9000
note that all my tests have been on Win10, you're in uncharted territory with 11 :-)
15:55:34
drmeister
We didn't install any distro yet. I think I can easily install Ubuntu 22.04 - Arch will be more steps.
15:56:23
SAL9000
i.e. you can "just open" xterm or whatever from inside wsl and expect it to show up on your Windows desktop, if the stories are to be believed
15:58:15
yitzi
You may need to build fmt there. If you look in .github/workflows/test.yml there is an exampl
16:02:25
drmeister
Crap When I try to open Ubuntu-22.04 it says "Something went wrong" "Please restart WSL with the folowing command and try again". Grrrr
16:09:01
drmeister
We turned virtualization on in the Bios and we turned on Subsystem for Linux in "Turn Windows Features On or Off" but we didn't turn on "Virtual Machine Platform" under "Turn Windows Features On or Off". Trying this now.
16:11:45
drmeister
We found a breadcrumb: Error: 0x800701bc WSL 2 requires an update to its kernel component
16:16:47
drmeister
Installing through windows store - now I'm running the Ubuntu 22.04 installer and it's asking for a username to start. This is good - my problems last time were I installed with Arch and went too far with the root account.
16:38:38
drmeister
https://github.com/clasp-developers/clasp/wiki/Installing-Using-a-Package-Manager
17:02:31
yitzi
We should list it as an alternative to pkg-config. pkgconf is newer and tries to be compatible, but some places don't have it. We are using only the pkg-config behavior.
17:16:51
Bike
drmeister: do you have any clues as to what might be going wrong with hash tables more specifically?
17:18:49
Bike
nothing in the hash table machinery looks obviously thread unsafe, but then again that's usual for thread unsafe code
17:35:20
kpoeck
Yitzi: I look into CLEAR-INPUT.1, CLEAR-INPUT.2, CLEAR-INPUT.3, and CLEAR-INPUT.4 on macos,
17:35:20
Colleen
kpoeck: yitzi said 3 hours, 3 minutes ago: I am seeing failures for CLEAR-INPUT.1, CLEAR-INPUT.2, CLEAR-INPUT.3, and CLEAR-INPUT.4 on macos. Can you add those as well for mac?
17:36:46
kpoeck
In my koga create build where I run the ansi-tests manually these don't fail, but let me test carefully also running the tests via ninja -C build ansi-test
17:50:23
yitzi
kpoeck: Right here https://github.com/clasp-developers/clasp/runs/6424704789?check_suite_focus=true#step:10:10019
18:14:19
yitzi
koga will do the same thing https://github.com/clasp-developers/clasp/blob/500f6b979d35784ae90415c84c9cba9607451a3f/src/koga/units.lisp#L237-L255
18:26:21
Bike
drmeister: i think i am going to need information of some kind to figure out what to check. if the source code for the parallel analyzer isn't up somewhere, maybe error messages you're getting if any?
19:57:19
drmeister
After `apt-get install nodejs` and `apt-get install npm` the `jupyter-labextension install ngl-clj` appears to be working.
20:06:04
yitzi
It will install to `/usr/local/bin/`, `/usr/local/lib/clasp/` and `/usr/local/share/clasp/`
20:08:58
drmeister
When I do `sudo ninja -C build install` I see it drop to the command line CANDO-USER>
20:15:34
drmeister
The kernel file /usr/local/share/jupyter/kernels/cando_dcando/kernel.json is installed.
20:18:47
drmeister
We need to stop using core outside of clasp so I can get rid of it at some point.
20:19:33
yitzi
kpoeck: I've made a first attempt at parsing UnicodeData.txt and generating islower, etc. tolower/toupper are not very intelligent, but isupper, islower, isboth are not too bad. https://plaster.tymoon.eu/view/3137#3137
20:20:25
yitzi
As a bonus it also generates a file with the character names in an alist so cclasp doesn't have to read and parse UnicodeData.txt
20:23:25
yitzi
drmeister: I finally realized that part of my confusion when we first started talking about images/snapshots is the different language in other lisp implementations. For example what SBCL calls a core CLASP calls and image, and what SBCL calls an image CLASP calls a snapshot.
20:25:57
yitzi
kpoeck: Again, just a first attempt and not integrate into koga or anything yet. https://github.com/clasp-developers/clasp/blob/unicode-4/src/lisp/modules/unicode-data/parser.lisp
20:25:59
drmeister
What does SBCL call the thing that gets written out when it crashes and you enable core files?
20:26:13
kpoeck
yitzi I changed the ansi-tests to expect CLEAR-INPUT.1 until CLEAR-INPUT.4 to fail, but they don't fail for me neither in macos nor in docker. Obviously I see in the ci that they are failing, but I wonder why
20:32:50
kpoeck
yitzi if you try it interactively, does the following returns t for you? `(loop for s in (list *debug-io* *query-io* *standard-input* *terminal-io*) always (eq (clear-input s) nil))`
20:40:29
drmeister
yitzi: Do you know off the top of your head how to disable security on jupyter-lab - or how to set a password?
20:44:41
drmeister
It would be better to set up a password so they can type the same password in every time
20:46:11
drmeister
Let's talk about it later. We got it up and running with Ubuntu 22.04 on WSL2 on a Dell laptop.
21:02:15
drmeister
In jupyterlab on some screens the parenthesis matching is not very clear. The color of the matching paranetheses is green but barely distinguishable. Do you know any way to make that more clear?