freenode/#clasp - IRC Chatlog
Search
9:59:42
beach
Is it because you are worried about memory size if you were to store source location explicitly?
10:00:45
scymtym_
memory size: yes. store source locations explicitly: that is necessary in both schemes, right?
10:04:54
scymtym_
this allows querying precisely where things came from or what happened to a given input range
10:05:17
beach
I see. It is going to depend on the frequency with which you consult that data structure.
10:07:13
scymtym_
but if i used your technique to never process more than one TLF, maybe it would be OK again
10:07:19
beach
I have done preliminary tests using Cleavir to convert top-level forms of reasonable size to ASTs and HIR, and I got a few milliseconds. Nothing to worry about.
11:35:19
drmeister
I can interrupt the jupyter notebook kernel (Control-C) and it doesn't segfault anymore. I think I found all of the unhandled stack unwinds.
12:51:24
drmeister
Re: Parallel building of Clasp - I created a "forkable-boehm" repository that builds a forkable version of the Boehm garbage collector.
13:53:14
Selwyn
what kind of work has been done so far in terms of making scientific libraries available in clasp?
14:23:08
Kevslinger
shiho: How fluent was I? I've dreamt of being able to live in Japan and speak fluently
15:09:25
beach
scymtym: I think we should write a paper about Eclector to submit to ELS 2019. If you agree, I'll start the infrastructure, since I now have it down.
15:10:26
beach
scymtym: I will do most of the writing, of course. You already told me that writing papers is not your thing.
16:08:08
drmeister
::notify Selwyn There has been no work done yet in exposing gsl or odeint within Clasp. I would like to see them exposed very much and would be happy to provide guidance.
16:26:00
scymtym
beach: i'm not against writing papers per-se. the problem is more that i'm often not convinced regarding the scientific contribution. i would worry about that for eclector as well. what would the subject of the eclector paper be? in any case, i'm not objecting to you writing about it, of course
16:27:00
beach
Well, ELS is not a highly filtering conference, so as long as it is original and there is some contribution, it is fine.
16:28:10
Bike
i read a paper in a medical journal once describing a new method for determining the area under a curve, by dividing the area into trapezoids
16:28:23
beach
The contribution would be the fact that comments and such are parsed and can be customized, and same with interpretation of tokens, etc.
16:29:00
Shinmera
The "scientific contribution" of my thesis is implementing and evaluating benchmarks. It turns out a lot more things can count as "science" than one might think.
16:30:14
Bike
does eclector deal with comments by having a particular macro on ; and so on? (something i could probably read a paper to learn, too)
16:31:21
scymtym
Shinmera: "thesis = free implementation / benchmarking / experimentation work" is a common mindset here as well
16:33:36
scymtym
Bike: the macros on ;, #|, #+- provide hints /why/ a certain input range is skipped. a general mechanism performs out of band signaling of the fact /that/ an input range has been skipped
16:34:24
scymtym
so if you own reader macro uses *READ-SUPPRESS* there will be a notification but without a specific reason
16:35:58
scymtym
currently, the client has to organize theses notifications. for example, #+nil '(1 (2 3) 4) will notify multiple times for nested ranges
16:42:32
beach
scymtym: OK, I will draw up the outlines of a paper in the next few days. Then we can fill in the blanks for the next 10 or so months.
16:51:58
beach
You could ask whether the company likes to have its name on a scientific paper. That might provide sufficient information.
16:57:40
scymtym
scientific staff, technically. i mostly do software engineering and a bit of teaching
17:34:59
cracauer
LLVM's build is "a bit" hard to control. Does anybody know how I make a source build of LLVM+clang come up with this file:
17:35:18
cracauer
/opt/clasp/bin/../lib/LLVMgold.so: could not load plugin library: /msi1/opt/clasp/bin/../lib/LLVMgold.so: cannot open shared object file: No such file or directory
17:35:46
cracauer
it also tried to use a "/usr/bin/ld.gold" to link, but passed LLVM IR files to it, not ELF files.
17:36:12
cracauer
I'm chipping away and taking notes. Just mentioning it here in case anybody has seen it, or will see it in the archives.
17:38:34
Shinmera
I've had gold issues before, years ago, but I can't remember what the solution was :/
17:40:17
drmeister
cracauer: Which OS do you want to talk about first and how did you install llvm+clang5.0.2?
17:41:05
drmeister
Also - I created a github repo for the boehm library that supports 'fork' - you can use that to get parallel builds to work.
17:43:46
cracauer
I think I did all the telling I could in wscript.config, $PATH, $PATH_LIBARARY_PATH etc
17:43:53
drmeister
Ok - FYI on linux - I use the apt-get version of llvm/clang 5.0.1 and they work great.
17:43:59
drmeister
LLVM_CONFIG_BINARY = '/Users/meister/Development/externals-clasp/build/release/bin/llvm-config'
17:44:23
drmeister
That needs to be fixed for your path to llvm-config and put into the clasp/wscript.config file.
17:45:59
cracauer
I don't think it is useful to distract you right now. I'll figure it out. Just here in case anybody has seen the specific errors.
17:46:03
drmeister
It looks a bit peculiar because you have INSTALL_PATH_PREFIX=/opt/clasp and LLVM_CONFIG_BINARY = /opt/clasp/bin/llvm-config - those two installs will be sitting on top of each other.
17:48:14
drmeister
On macOS I use a github repo that I call 'externals-clasp' - it builds llvm/clang from source and installs it on my system in /Users/meister/Development/externals-clasp/...
17:48:27
cracauer
I think my problem is that the manual install from source of llvm is incomplete, and that it picks up some chunks from debian's llvm.
17:49:02
cracauer
On debian-testing the clang also segfaults in tools/clang/lib/Headers/arm_neon.h :-)
17:50:05
drmeister
https://github.com/clasp-developers/clasp/blob/dev/tools/dockerfiles/cando-build/Dockerfile#L1
17:52:03
drmeister
That Dockerfile is what I use to build Cando (Clasp+Cando/chemistry) on an AWS machine - it works.
17:58:03
cracauer
I think the correct url for the public is https://github.com/clasp-developers/clasp/blob/dev/tools/dockerfiles/cando-build/Dockerfile
18:20:40
cracauer
if you visit that URL directly with copy and paste in a browser, it gets you a 404.
18:21:14
cracauer
if you instead browse the git tree starting from clasp-developers/ then you end up on the same url and from then on copy'n'pasting that url works, too.
18:23:03
cracauer
and people wonder why software development is criticized as a non-exact science :-)
18:25:24
drmeister
cracauer: I use a web based IRC client called irccloud (www.irccloud.com) - I just click on the link and it works. Copying and pasting a link is really difficult with the web client because of the way selection works.
18:27:17
drmeister
I have to position the mouse on just the right pixel at the start of the URL and then carefully select to just the right pixel at the end of the URL.
18:38:49
cracauer
it also pays off to have an xterm that can cat a preprocessed C++ file really fast
19:30:48
drmeister
Six minutes of your life that you won't get back - but you get to watch DNA being folded.
19:55:46
Shinmera
drmeister: I just spent two hours getting screwed over in video games. I think I'll be fine with six minutes more being wasted.
21:38:59
drmeister
It appears to be the presence of an empty directory clasp/src/lisp/kernel/contrib/sicl messes up ./waf configure
21:40:19
drmeister
And that empty directory appears to be a zombie that came back during one of my nightmare git merges.