Search
Tuesday, 28th of July 2020, 3:58:56 UTC
6:05:35
lukego
I have started compiling Clasp on my laptop. I look forward to trying it soon/tomorrow/nextweek ;-)
6:14:28
lukego
I don't suppose there's a Nix cache of the Clasp build for Linux/x86 anywhere?
7:05:54
lukego
alas, nixpkgs distro package for clasp seems to not build
15:38:26
karlosz
new benchmark comparison with type inference compared to w/o type inference here: https://paste.gnome.org/pqovcpgbm
15:39:01
karlosz
< represents w/o type inference clasp, > represents with the latest type inference code
15:39:14
karlosz
(due to be merged into sicl still)
15:39:27
karlosz
beach: you may be interested in these cl-bench timings ^^
15:40:11
karlosz
overall it looks like there are some massive improvements in the numerical area due to use of less generic arithmetic operations
15:52:47
drmeister
lukego: What is the "nixpkgs distro package for clasp"?
15:54:32
beach
karlosz: That does look very impressive.
15:56:29
lukego
drmeister: maybe a bit obscure. it's the "recipe" of sorts for installing clasp on NixOS Linux distribution. https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/clasp/default.nix
15:57:11
beach
karlosz: Congratulations!
15:58:11
drmeister
karlosz: That looks great!
15:58:21
drmeister
That's moving the needle.
Tuesday, 28th of July 2020, 15:58:56 UTC