Computability & Computer Science & Pr

For interesting things involving computability or computer sci...
Jul 23, 2020 23:39
I'd also be interested to know if anyone has an idea of a better place to share this survey!
Jul 23, 2020 23:31
Hello, I am designing a software system that will help people learn programming. Could you take a few minutes to fill in a survey about the tools and resources you currently use, or previously used, to learn how to code? forms.gle/rTfmzB6jTMy9y4Bt5 (I'd also like to speak with anyone who has time in a short interview!)
 

 The Heap™ – Consultancy ©®

General on- and off-site discussion for dba.stackexchange.com....
Feb 22, 2020 21:04
As you see above, the change isn't sticky.
Feb 22, 2020 21:03
search_path
--------------------------------
public, extensions, pg_catalog
(1 row)
Feb 22, 2020 21:03
show search_path;
Feb 22, 2020 21:03
Log out, log in
Feb 22, 2020 21:03
ALTER DATABASE d3lq87ei1pmuag SET search_path = exchange, extensions, public;
Feb 22, 2020 21:03
Hi, we have been trying to configure Postgresql on Heroku to no avail today.
 

 MathOverflow

General discussion for mathoverflow.net
Aug 19, 2017 17:42
Hello: would anyone here have time for an approximately hour-long interview on your experiences as a Mathoverflow user? My interest has to do with a project described here: cs.ox.ac.uk/projects/MSM
Jun 21, 2017 12:44
Note deadline is June 30th, but the event is in December
Jun 21, 2017 12:42
Hello, this is a call for abstracts for an upcoming meeting to take place at the Mathematical Institute in Oxford. Perhaps someone here would like to come along and talk about the mathematical culture on Mathoverflow?
 
Apr 15, 2017 16:57
@egreg I've just upgraded Ubuntu to a sensibly recent version and am trying the texlive installation again
Apr 15, 2017 15:51
I googled for "no such file but the file exists" and I see that may have to do with 32 bit vs 64 bit issues
Apr 15, 2017 15:33
`$ ls -l /usr/local/texlive/2016/bin/x86_64-linux/kpsewhich
-rwxr-xr-x 1 root root 83424 Apr 7 2016 /usr/local/texlive/2016/bin/x86_64-linux/kpsewhich`
Apr 15, 2017 15:33
Requested ls command is as follows:
Apr 15, 2017 15:31
Apr 15, 2017 15:31
OK, with latest attempt to install I see lots of errors in the log (I had ignored these earlier)
Apr 15, 2017 15:28
but the ls result is in there
Apr 15, 2017 15:28
sorry, the data was all munged together in what I pasted above
Apr 15, 2017 15:28
@egreg I'm now reinstalling the thing from scratch to see if it is somehow resolved, and that it should be done shortly; but the earlier result from ls -lt was just the file
Apr 15, 2017 14:49
pdflatex example.tex
-bash: /usr/local/texlive/2016/bin/x86_64-linux/pdflatex: No such file or directory
Apr 15, 2017 14:49
the basic problem is that none of the tex commands work
Apr 15, 2017 14:48
that's just a test command
Apr 15, 2017 14:44
is there any guess about why the file is there, on the path, and yet can't be executed by bash?
Apr 15, 2017 14:43
/usr/local/texlive/2016/bin/x86_64-linux/kpsewhich --help
-bash: /usr/local/texlive/2016/bin/x86_64-linux/kpsewhich: No such file or directory
Apr 15, 2017 14:43
and if I run this:
Apr 15, 2017 14:43
But tlmgr can't find it
Apr 15, 2017 14:43
So, kpsewhich exists, and is on the path
Apr 15, 2017 14:43
ls -lt /usr/local/texlive/2016/bin/x86_64-linux/kpsewhich
-rwxr-xr-x 1 joe joe 83424 Apr 7 2016 /usr/local/texlive/2016/bin/x86_64-linux/kpsewhich
Apr 15, 2017 14:42
which kpsewhich
/usr/local/texlive/2016/bin/x86_64-linux/kpsewhich
Apr 15, 2017 14:42
tlmgr --self --all update
Can't exec "kpsewhich": No such file or directory at /usr/local/texlive/2016/bin/x86_64-linux/tlmgr line 75.
Apr 15, 2017 14:42
Hi, my texlive installation seems not to be working, but in a weird way.
Mar 9, 2017 12:21
thanks
Mar 9, 2017 12:21
Fair enough - I'll work on a standard MWE mock up when I have a bit of time
Mar 9, 2017 12:20
So that question is a placeholder for now
Mar 9, 2017 12:20
I've seen similar problems arising in standard LaTeX but it would take some time to assemble a real MWE
Mar 9, 2017 12:19
Ask editors of "Artificial Intelligence" I guess
Mar 9, 2017 12:17
@DavidCarlisle Here is a description with pictures tex.stackexchange.com/q/357636/4357
Mar 9, 2017 11:49
@DavidCarlisle Now that I have a working hack I will create a question that asks for the right way to solve it
Mar 9, 2017 11:46
OK my ridiculous hack actually seems to work
Mar 9, 2017 11:44
\clearpage removes the gap above the text, but introduces one below
Mar 9, 2017 11:44
I want no gap
Mar 9, 2017 11:43
@yo' -- The table is fine, the problem is that the following text gets typeset to the bottom of the page
Mar 9, 2017 11:42
A sufficiently ridiculous idea
Mar 9, 2017 11:42
I guess I could put the text itself inside of a figure environment and get it to float
Mar 9, 2017 11:41
I'm drawing a blank (literally and figuratively). This is a moment of Zen I guess
Mar 9, 2017 11:38
Worked fine w/o their intervention!
Mar 9, 2017 11:38
I'm just trying to correct the proof at this point
Mar 9, 2017 11:38
The markup was introduced by a journal editor