00:01:45 (General Quantifiers are meant to generalize existential quantification, universal quantification, and uniqueness quantification by allowing you to specify how many may exist (for uniqueness, exactly 1, for existential, 1 or more, and for universal, as many as there are)) 00:02:42 (sort of like https://en.wikipedia.org/wiki/Counting_quantification) 00:07:32 hppavilion[1]: have you looked at https://en.wikipedia.org/wiki/Surreal_number hth 00:07:50 boily: Well yeah 00:08:00 boily: I'm actively reading Knuth's book on the subject 00:08:13 (And working through the math along with it) 00:08:14 -!- DHeadshot_ has quit (Ping timeout: 252 seconds). 00:12:12 -!- iovoid has quit (Quit: Iovoid has quit!). 00:15:02 `? imode 00:15:03 imode? ¯\(°​_o)/¯ 00:15:18 imode: have you been asked the The Question yet? 00:17:22 boily: the question? 00:17:41 guess not. :P 00:21:26 not just the question, the The Question! 00:21:32 ask me The Question! 00:21:42 what are your approximative geographic coördinates and body weigh? 00:22:27 47.7511° N, 120.7401° W 00:22:33 ~180. 00:24:39 thanks! 00:25:09 was that The Question? :P 00:26:06 it was the The Question. 00:26:17 yay. 00:27:19 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:27:19 @metar KSEA 00:27:19 KSEA 052253Z 31006KT 10SM FEW035 SCT075 BKN250 18/08 A2993 RMK AO2 SLP141 T01830083 00:27:49 -!- iovoid has joined. 00:28:13 -!- iovoid has changed nick to Guest11425. 00:29:09 -!- Guest11425 has quit (Changing host). 00:29:09 -!- Guest11425 has joined. 00:29:13 -!- Guest11425 has changed nick to iovoid. 00:31:45 -!- moony42 has quit (Remote host closed the connection). 00:33:02 -!- oerjan has joined. 00:33:13 hellørjan 00:33:17 helloily 00:37:21 were you lobbed spaceheaters? 00:39:21 i think they missed. i have a couple radiators, anyway. 00:39:42 the inside is acceptable. 00:40:00 -!- moonythedwarf has joined. 00:40:27 [wiki] [[VoidLang]] https://esolangs.org/w/index.php?diff=49871&oldid=49857 * Iovoid * (+133) 00:42:45 `dowg science 00:42:47 2016-09-25 revert 942e964c81c1 \ 2016-09-25 ` chmod 777 / -R \ 2014-03-16 revert \ 2014-03-16 revert 1 \ 2013-12-06 echo \'Semi-automatic text generation.\' > wisdom/science 00:42:57 wat 00:45:46 `? jeffl35 the entry for me is 'moon' 00:45:47 jeffl35 the entry for me is 'moon'? ¯\(°​_o)/¯ 00:45:54 oh right 00:46:08 `cat bin/? 00:46:09 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnooodl; 00:46:14 * boily looks shiftily at oerjan. “what the fungot is going on...” 00:46:45 `? jeffl35 00:46:46 jeffl35 ? ¯\(°​_o)/¯ 00:46:49 `? jeffl35 00:46:50 jeffl35? ¯\(°​_o)/¯ 00:46:54 that is. 00:47:11 `url bin/? 00:47:12 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/%3F 00:47:20 -!- moonythedwarf_ has joined. 00:48:18 hm i see, it doesn't apply the munging (including space stripping) to the error reporting. 00:48:40 [wiki] [[VoidLang]] M https://esolangs.org/w/index.php?diff=49872&oldid=49871 * Iovoid * (+0) Typo in operator 00:49:42 -!- moonythedwarf has quit (Ping timeout: 264 seconds). 00:53:08 `? e 00:53:08 e is a freenode admin. E is not known to be an Agora player. 00:53:18 `slwd e//s/E/e/ 00:53:20 wisdom/e//e is a freenode admin. e is not known to be an Agora player. 00:54:04 for the same reason as `? peer 00:54:39 `? wisdomrules 00:54:40 wisdomrules? ¯\(°​_o)/¯ 00:54:45 `wisdom rules 00:54:46 rules of wisdom//All words mentioned in a wisdom entry MUST have a wisdom entry. fact: this entry is breaking the rules 00:56:55 meh 01:05:18 -!- carado has quit (Ping timeout: 264 seconds). 01:07:02 `` echo '.././/hi' | sed 's,((..?)?/)*,,' 01:07:03 ​.././/hi 01:07:12 `` echo '.././/hi' | sed 's,((..\?)\?/)*,,' 01:07:13 ​.././/hi 01:07:47 `` echo '.././/hi' | sed 's,\(\(..?\)?/\)*,,' 01:07:47 ​.././/hi 01:07:56 `` echo '.././/hi' | sed 's,\(\(..\?\)\?/\)*,,' 01:07:57 hi 01:08:00 sheesh 01:08:30 `sled bin/?//2s!"[)],;s,\(\(..\?\)\?/\)*,,! 01:08:31 sed: -e expression #1, char 30: unterminated `s' command 01:08:58 `sled bin/?//2s!"[)]!;s,\(\(..\?\)\?/\)*,,")! 01:08:59 bin/?//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,((..?)?/)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$ 01:09:21 eek 01:09:25 `revert 01:09:27 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 01:10:08 `sled bin/?//2s!"[)]!;s,\\(\\(..\\?\\)\\?/\\)*,,")! 01:10:10 bin/?//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,\(\(..\?\)\?/\)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then 01:10:31 `? /bin/sh 01:10:32 ​/bin/sh? ¯\(°​_o)/¯ 01:11:03 `? .. 01:11:04 cat: ..: Is a directory 01:11:07 oops 01:11:10 oh right 01:11:14 hmph 01:11:35 oh well that's fairly harmless anyway. 01:11:49 `? ../../../bin/sh 01:11:50 ​../../../bin/sh? ¯\(°​_o)/¯ 01:11:53 `? ../..//bin/sh 01:11:54 ​../..//bin/sh? ¯\(°​_o)/¯ 01:11:57 `? ../../bin/sh 01:11:58 ​../../bin/sh? ¯\(°​_o)/¯ 01:12:33 `file wisdom/../../bin/sh 01:12:33 wisdom/../../bin/sh: symbolic link to `dash' 01:12:42 seems to work 01:13:57 `? test 01:13:58 test failed. HackEgo-JUnit is not available. 01:14:35 hppavilion[1]: AAAAAAAAAAAAAH! forgot to copy the line! 01:14:51 boily: ? 01:14:55 is it lost forever? 01:15:05 Wat is going on? 01:15:15 boily: Oh, the line you wanted to horrify coworkers with? 01:15:23 I knew I was forgetting something... 01:15:38 (Well, no I didn't, but I'm always forgetting something so if you ask I say "probably") 01:16:49 -!- ^v has quit (Quit: ZNC - http://znc.in). 01:16:57 oerjan: it's far from being lost forever. it's now deeply entrenched in one of our git repos. 01:17:22 boily: teeeellll meeeee 01:17:24 (I *may* have managed to make somebody else do code review and merge a patchset that has a "poulet" in it once...) 01:17:27 (What is boily paid for exactly?) 01:17:33 Give it to oerjan instead. <-- but i already have one. 01:17:58 hppavilion[1]: I'm a software developer for a digital dentistry company. 01:18:10 * oerjan suddenly remembers something he forgot. thanks hppavilion[1] 01:18:14 ...digital dentistry? OK 01:18:16 yw 01:18:59 3D scanners, CAD/CAM software for prosthesis design, milling and printing machines, stuff like that. 01:20:25 boily: do you also program boring machines, like Vorpal does? 01:20:35 -!- moonythedwarf has joined. 01:21:01 no, I'm on the "Cloud Team". we manage servers for data interchange between dentists, labs, production centers, manufacturers... 01:21:40 @ask Vorpal Vellorpal. what kind of boring machine do you drill with? 01:21:40 Consider it noted. 01:21:57 -!- moonythedwarf_ has quit (Ping timeout: 265 seconds). 01:22:27 hppavilion[1]: it's the future of dentistry! it's shiny! teeth are fun! 01:22:29 -!- nulquen has joined. 01:23:22 -!- ^v has joined. 01:23:38 `relcome nulquen 01:23:39 ​nulquen: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 01:23:48 `? boily 01:23:49 ​"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 01:24:14 `slwd boily//s/.$/ who helps keep the world boring./ 01:24:16 wisdom/boily//"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring. 01:26:09 bleh :P :D 01:30:28 `? oerjan 01:30:29 Your mysterious weevil bulgarian quack octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 01:30:52 woohoo! j'ai dépassé oerjan! 01:31:09 (uhm. what's «dépasser» in English? drawing a blank here...) 01:31:23 passed? 01:31:36 overtook! 01:31:59 en:"to pass" fr:passer 01:32:34 no:passere 01:32:52 which is probably borrowed from french, or possibly latin. 01:34:09 -!- ^v has quit (Quit: ZNC - http://znc.in). 01:34:33 no:ta igjen 01:34:43 -!- ^v has joined. 01:39:43 Grapheme-Time Synesthesia: Different symbols have different durations 01:41:29 do numbers for you have an inherent beauty? like 242 looks nice, but 9147 is ugly? 01:49:00 [wiki] [[VoidLang]] https://esolangs.org/w/index.php?diff=49873&oldid=49872 * Iovoid * (+109) Add link to implementation. 01:49:03 -!- moonythedwarf has quit (Ping timeout: 244 seconds). 01:56:28 boily: 242 is beautiful, but 9147 isn't all that ugly 01:59:10 I wonder if it's possible for me to install PowerShell on HackEgo. 02:00:03 `cat /etc/lsb-release 02:00:04 cat: /etc/lsb-release: No such file or directory 02:00:26 Well, HackEgo doesn't seem to be running Ubuntu. 02:00:26 `` lsb_release -a 02:00:28 No LSB modules are available. \ Distributor ID:Debian \ Description:Debian GNU/Linux \ Release:n/a \ Codename:n/a 02:00:30 ais523: 9147 looks and sounds wrong to me. 02:01:06 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 02:01:09 Here's the URL for a .deb file: https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:01:26 Problem is, this thing has dependencies. 02:02:01 `cat /etc/issue 02:02:02 cat: /etc/issue: No such file or directory 02:02:14 `cat /etc/debian_version 02:02:15 cat: /etc/debian_version: No such file or directory 02:02:28 Does this thing even have apt-get on it? 02:02:31 `apt-get 02:02:32 apt 0.9.7.9 for amd64 compiled on Nov 16 2013 12:41:41 \ Usage: apt-get [options] command \ apt-get [options] install|remove pkg1 [pkg2 ...] \ apt-get [options] source pkg1 [pkg2 ...] \ \ apt-get is a simple command line interface for downloading and \ installing packages. The most frequently used commands are update \ and install. \ 02:02:37 Sure does. 02:02:39 `cat /etc/motd 02:02:39 cat: /etc/motd: No such file or directory 02:02:54 Well... it won't hurt to try? 02:02:59 `wget https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:03:00 ​--2016-10-06 01:02:39-- https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb \ Resolving github.com (github.com)... failed: Name or service not known. \ wget: unable to resolve host address `github.com' 02:03:06 tswett: you want `fetch 02:03:11 `fetch https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:03:28 hmm, `fetch is normally faster than this 02:03:30 maybe it's broken 02:03:30 `` apt-get moo 02:03:42 2016-10-06 01:03:16 URL:https://github-cloud.s3.amazonaws.com/releases/49609581/1434e3dc-7b5c-11e6-8375-31fdcb64a7cd.deb?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAISTNZFOVBIJMK3TQ%2F20161006%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20161006T010325Z&X-Amz-Expires=300&X-Amz-Signature=93d65c75024dc5add971ad455e8e17bc09c73015e5c36a8c949f5 02:03:42 W: Unable to read /etc/apt/apt.conf.d/ - DirectoryExists (2: No such file or directory) \ (__) \ (oo) \ /------\/ \ / | || \ * /\---/\ \ ~~ ~~ \ ...."Have you mooed today?"... 02:03:59 Well, it's a 39-megabyte file. 02:04:05 aha 02:04:11 `file powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:04:11 powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb: Debian binary package (format 2.0) 02:04:25 We're in good shape so far. 02:04:37 `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:04:38 dpkg: error: requested operation requires superuser privilege 02:04:57 Wish me luck in entering the password correctly? 02:05:01 `run sudo dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb 02:05:02 bash: sudo: command not found 02:05:22 Gregor: SUDOOOOOOOOOOOOOOOOOOOOO! 02:06:14 tswett: the sandbox doesn't even have writeable mounts outside /hackenv/ and /tmp/ 02:06:17 afaik 02:06:22 `mkdir powershell 02:06:23 No output. 02:06:26 you might be able to install it inside /hackenv/ though 02:06:40 `run sudo dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --instdir=powershell 02:06:41 bash: sudo: command not found 02:06:47 `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --instdir=powershell 02:06:47 dpkg: error: requested operation requires superuser privilege 02:06:56 `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --root=powershell 02:06:57 dpkg: error: requested operation requires superuser privilege 02:07:06 `run su -c 'echo test' 02:07:07 su: Cannot determine your user name. 02:07:13 `run su root -c 'echo test' 02:07:14 su: Cannot determine your user name. 02:07:16 that's a new one 02:07:17 `id 02:07:18 uid=5000 gid=308128 02:07:24 that's quite the gid too 02:07:26 dpkg --do-this-in-a-way-which-does-not-require-superuser-privilege 02:07:34 HackEgo is very giddy. 02:08:00 you might want to try dpkg-deb -x 02:08:10 `` dpkg-deb -x --help 02:08:11 `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --root=powershell --force-not-root 02:08:11 Usage: dpkg-deb [