00:00:26 -!- PatashuXantheres has joined.
00:03:04 -!- Patashu has quit (Ping timeout: 245 seconds).
00:26:41 -!- ais523 has quit.
00:27:39 -!- DHeadshot has quit (Read error: Connection reset by peer).
00:27:52 -!- DHeadshot has joined.
00:31:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:40:14 -!- david_werecat has joined.
00:46:56 -!- zzo38 has quit (Remote host closed the connection).
00:59:42 -!- DHeadshot has quit (Read error: Connection reset by peer).
00:59:42 -!- oerjan has quit (Quit: Lost terminal).
01:22:52 -!- MDude has quit (Read error: Connection reset by peer).
01:23:09 -!- MDude has joined.
02:01:28 -!- madbr has joined.
02:29:20 -!- PatashuXantheres has changed nick to Patashu.
02:56:08 -!- david_werecat has quit (Ping timeout: 240 seconds).
03:17:38 -!- zzo38 has joined.
03:18:04 <zzo38> Pointers may be more useful than lambda calculus for some things; for other things, lambda calculus may be more useful. Isn't it?
03:19:11 <kmc> no pointers are Awesome™ and lambda calculus gives you bad breath
03:21:37 <zzo38> Have you ever seen the Kaiji anime/manga?
03:26:28 -!- kwertii has quit (Quit: kwertii).
03:33:46 <madbr> how many actual programs use lambda calculus?
03:36:23 -!- Patashu has quit (Remote host closed the connection).
03:42:09 -!- Patashu has joined.
03:55:40 -!- monqy_ has joined.
03:55:52 -!- monqy has quit (Disconnected by services).
03:56:12 -!- monqy_ has changed nick to monqy.
04:01:45 <zzo38> Free (CoYoneda f) is always a monad regardless of f, and f can be a GADT of actions, and you can make the monad of the actions to perform, which can also allow the actions to be manipulated. The f could also be a class wrapper: data X :: * -> * where { X :: XC x y => x -> X y; }; class Typeable x => XC x y | x -> y where { ... };
04:17:52 <kmc> if your preferred natural language doesn't use the Latin alphabet, what keyboard layout do you use when coding? US QWERTY?
04:19:45 -!- madbr has quit (Ping timeout: 265 seconds).
04:35:11 -!- madbr has joined.
04:36:31 -!- pikhq_ has joined.
04:39:29 -!- pikhq has quit (Ping timeout: 246 seconds).
05:51:56 -!- Patashu has quit (Remote host closed the connection).
06:06:59 -!- asiekierka has joined.
06:10:33 -!- glogbackup has joined.
06:10:56 -!- HackEgo has quit (Remote host closed the connection).
06:11:07 -!- HackEgo has joined.
06:32:21 <zzo38> Do you watch Kaiji?
06:32:30 <zzo38> Do you watch Kaiji or Akagi?
06:36:10 <zzo38> Yes. I watch Kaiji and I read the Akagi manga
06:36:26 <monqy> do you watch Akagi and read the Kaiji manga?
06:36:27 <lambdabot> monqy: You have 9 new messages. '/msg lambdabot @messages' to read them.
06:38:20 <zzo38> Kaiji and Akagi are both very excellent manga written by Fukumoto, although his drawing is bad (he admits this).
06:38:34 <shachaf> Do you read it in Japanese or in Canadian?
06:39:25 <pikhq_> Shame there's not a zzo translation.
06:49:59 <zzo38> They are in Japanese.
06:50:29 <zzo38> Although I watch the Kaiji anime with English subtitles
06:52:56 -!- madbr has quit (Quit: Radiateur).
07:13:05 <zzo38> Even though Set cannot be made instance of Monad, a type can be made for the Kleisli category of Set and make the Category instance for that.
07:15:54 <zzo38> Do you like the variant campaign rules for Dungeons&Dragons game and Icosahedral RPG, that I have made?
08:21:33 -!- Vorpal has joined.
08:21:41 -!- Patashu has joined.
08:31:59 -!- Taneb has joined.
08:39:28 -!- nortti_ has joined.
09:07:23 -!- nortti_ has quit (Ping timeout: 252 seconds).
09:21:16 -!- derdon has joined.
09:23:43 -!- monqy has quit (Quit: hello).
09:50:15 -!- Taneb has quit (Ping timeout: 244 seconds).
09:50:35 <nortti> yay. got forth interpeter in my ircbot
09:54:45 -!- zzo38 has quit (Quit: (x-a)(x-b)(x-c)...=?).
10:01:54 -!- Taneb has joined.
10:09:41 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
10:09:55 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
10:26:12 -!- oonbotti has joined.
10:26:18 <oonbotti> #echo, #welcome, #cat, #ls, #rm, #writefile, #cc, #exec, #msg, #readmsg, #forth, #loadforth
10:26:50 <oonbotti> : ; WORDS FORGET RESET + DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
10:26:55 <oonbotti> ERROR:word 'FORGET' cannot be forgotten
10:27:03 <oonbotti> : ; WORDS FORGET RESET DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
10:27:12 <oonbotti> : ; WORDS FORGET RESET DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
10:27:41 -!- oonbotti has quit (Client Quit).
10:41:33 -!- oonbotti has joined.
10:41:45 <oonbotti> : ; WORDS FORGET + DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
10:43:35 -!- PatashuXantheres has joined.
10:45:40 -!- Patashu has quit (Ping timeout: 250 seconds).
10:46:35 -!- nortti has set topic: It is the 90s and there is time for the requirements of supervision and control of transmissible spongiform encephalopathies, also an Esolang event @ Hell/Finland on 3.10.2011: https://wiki.helsinki.fi/display/lambda/esoteeriset+ohjelmointikielet | I think pointers are considerably more useful than lambda calculus | 12345678 | http://codu.org/logs/_esoteric/.
11:15:08 -!- derdon has quit (Remote host closed the connection).
11:20:19 -!- MoALTz has quit (Ping timeout: 250 seconds).
12:25:46 -!- Taneb has quit (Ping timeout: 244 seconds).
13:17:38 -!- elliott has joined.
13:18:48 <lambdabot> elliott: You have 2 new messages. '/msg lambdabot @messages' to read them.
13:19:09 <nortti> elliott: new command char is #
13:19:23 <oonbotti> bfi.py \ botcmd.py \ botcmd.pyc \ ircbot.py \ msgs.txt \ replacecmd.sh \ sforth.py \ sforth.pyc \ tmpdata \ userdata \
13:19:35 <Gregor> #shell cat /etc/passwd
13:19:45 <nortti> #shell rm replacecmd.sh
13:19:52 <oonbotti> bfi.py \ botcmd.py \ botcmd.pyc \ ircbot.py \ msgs.txt \ sforth.py \ sforth.pyc \ tmpdata \ userdata \
13:19:53 <elliott> 22:10:09: <nortti_> Ii never saw anyone other there than Sgeo
13:19:58 <elliott> nortti: i joined it first.
13:20:10 <elliott> #shell for i in a b c; echo $i; done
13:20:17 <Gregor> elliott: I declared it, that makes it MY channel ;)
13:20:31 <elliott> i was considering registering it
13:20:44 <nortti> elliott: when did you join it?
13:20:50 <elliott> 03:33:46: <madbr> how many actual programs use lambda calculus?
13:20:56 <elliott> nortti: right after it was added to the topic
13:21:44 <nortti> I joined it 17th May 16:57:15 and there was no one there.
13:22:11 <nortti> oh wait. yes there was. I didn't notice you
13:23:49 <nortti> for a long time Sgeo was there but after some time I was left as the only one there
13:27:58 <nortti> elliott: my shell doesn't suck. It is undocumented feauture of my bot and it requires that you are in oonbotti's .botops file
13:28:11 <oonbotti> #echo, #welcome, #cat, #ls, #rm, #writefile, #cc, #exec, #msg, #readmsg, #forth, #loadforth
13:28:42 <nortti> elliott: also, #forth has alias %
13:29:35 <elliott> http://esolangs.org/wiki/Jumping_to_-1_is_exciting
13:29:57 -!- azaq23 has joined.
13:30:13 <elliott> ok, someone called Bfucker has created two brainfuck derivatives in two days
13:31:09 <nortti> elliott: it seems blahbot also reserves !
13:31:47 <nortti> or is % just a prefix and not jumping to -1 is exciting command
13:33:25 -!- oonbotti has quit (Quit: oonbotti).
13:33:58 -!- oonbotti has joined.
13:37:21 <nortti> also only words >R R@ R> - * / MOD : ; are written in python. everything else is written in forth
13:37:24 <oonbotti> : ; WORDS FORGET + DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
13:37:39 <nortti> oh and forget is also written in python
13:37:52 <elliott> nortti: % was the prefix it used
13:37:57 <elliott> it had other commands too :P
13:38:05 <elliott> $42 is how much I paid for it
13:38:28 <nortti> elliott remember to put space between $ and 42
13:38:55 <elliott> I was deliberately omitting it so I had the chance to possibly complain about your new prefix :P
13:40:19 <nortti> I also thought using * as prefix and make bot complain if command was not found but then i rememberd what it is used for
13:42:21 <nortti> elliott: also if it wouldn't need space between $ and words to execute there would be even more annoyance
13:44:07 <elliott> botte will theoretically use . as a prefix
13:44:15 <oonbotti> : ; WORDS FORGET OVER >R * - / . R@ R> MOD
13:45:25 <nortti> $ : swap over >r >r drop r> r> ;
13:46:31 <nortti> that is how these words are implemented in my forth interpreter
13:46:53 -!- david_werecat has joined.
13:47:50 <nortti> If I remember correctly I could also implement OVER in forth but I don't really see how if I don't have swap
13:49:04 -!- PatashuXantheres has quit (Ping timeout: 244 seconds).
13:51:23 <oonbotti> : ; WORDS FORGET + DROP SWAP DUP NIP OVER >R * - / . R@ R> MOD
13:57:02 -!- asiekierka has quit (Remote host closed the connection).
14:22:14 -!- Taneb has joined.
14:29:31 -!- Ngevd has joined.
14:31:24 -!- Taneb has quit (Ping timeout: 252 seconds).
14:32:36 -!- MoALTz has joined.
14:39:09 -!- Ngevd has changed nick to Taneb.
14:58:24 -!- Phantom_Hoover has joined.
14:58:27 -!- Phantom_Hoover has quit (Changing host).
14:58:28 -!- Phantom_Hoover has joined.
15:07:48 -!- nooga has joined.
15:08:43 <nooga> WHY DOES OTOOL OUTPUT AT&T ASSEMBLER SYNTAX ;C
15:09:20 <Gregor> Because all the associated tools INPUT AT&T assembler syntax?
15:09:36 <nooga> but even stupid gdb has an option for that
15:10:28 <nooga> + apple's gdb is too old or too stupid to understand disas \m and \r options that i need
15:11:21 <elliott> the solution starts with l and ends with inux
15:11:31 <elliott> or starts with bsd and ends with the null string
15:12:03 <nortti> or maybe it starts with m and ends with inix?
15:12:17 <Gregor> elliott: Actually it ends with "BSD" and starts with a variety of other words.
15:12:35 <elliott> i was considering saying that
15:12:46 <elliott> nothing starts with m and ends with inix other than suffering
15:12:49 <nooga> i could just build binutils on OS X
15:13:11 <Gregor> nooga: And then enjoy it not being able to meaningfully handle any of the native binaries?
15:13:44 <nooga> i'd rather write a ruby script to crunch otool's output
15:14:00 <nortti> elliott: 1.5 runs on my old machines, 2 is fast and requires minimal amount of memory and 3 is pretty stable
15:14:03 <elliott> suffering also starts with r and ends with uby
15:14:11 <elliott> nortti: thanks for this information
15:14:18 <nortti> elliott: ruby on minix!
15:14:39 <elliott> nooga: i don't know why suffering exists
15:14:58 <nooga> but why it starts with r and ends with uby?
15:15:23 <nortti> elliott: also why do you think that suffering starts with m and ends with minix
15:15:28 <elliott> nooga: well you're about to find that out for yourself
15:16:17 <nooga> i code ruby for at least 3 years and still didn't notice anything
15:16:41 <elliott> then there may be a bigger problem
15:17:05 <elliott> sometimes people start with s and end with uffering
15:17:07 <nooga> even though it's quite slow
15:28:27 -!- ais523 has joined.
15:28:28 -!- ais523 has quit (Changing host).
15:28:28 -!- ais523 has joined.
15:33:55 <Gregor> elliott: Sergei von Uffering?
15:46:45 <HackEgo> bin \ canary \ karma \ lib \ maketext \ monqy \ paste \ quotes \ share \ wisdom
15:47:02 <HackEgo> ls: cannot access monqy/: Not a directory
15:48:03 <HackEgo> ls: invalid option -- ' ' \ Try `ls --help' for more information.
15:49:11 <HackEgo> ls: cannot access karma/: Not a directory
15:50:03 <nortti> `run cat karma | pastelogs
15:50:14 <nortti> `run cat karma | paste
15:50:17 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10030
15:50:18 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28886
15:54:03 <elliott> the karma thing is broken because gregor is terible
16:02:33 -!- FireFly has quit (Excess Flood).
16:05:22 -!- FireFly has joined.
16:14:17 <elliott> oh wait i think I fixed `karma
16:14:23 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ++: not found
16:14:46 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.11427
16:14:56 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12049
16:21:03 -!- Guest28135 has joined.
16:21:19 <HackEgo> Guest28135: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
16:22:19 <nortti> who are you and what has taken you here?
16:24:14 <elliott> we'ere lots of friends here
16:24:17 <nortti> do you know anything about esoteric programming languages?
16:24:17 <elliott> practically a friend party
16:25:24 <elliott> (texas is a country in the south pacific)
16:25:29 <nortti> Guest28135: 14/m/Finland
16:25:43 <elliott> its like 47 in human years or something
16:25:45 <olsner> elliott: no, texas is austria
16:26:18 <nortti> olsner: by the way are the kangaroos moved there yet
16:27:16 <olsner> nortti: not sure, ask Gregor
16:32:41 -!- Slereah_ has joined.
16:34:11 -!- Slereah has quit (Ping timeout: 246 seconds).
16:40:07 -!- monqy has joined.
16:40:44 <lambdabot> monqy: You have 1 new message. '/msg lambdabot @messages' to read it.
16:46:59 <Vorpal> elliott, know any good Forth tutorials?
16:47:28 <Vorpal> Can you please recommend one perhaps?
16:47:46 <elliott> i dont remenmber the ones i know
16:50:06 <olsner> how can you know about them if you don't remember them?
16:50:42 <elliott> olsner: i know how but i don't remember how
16:57:28 <olsner> I should learn forth some time
17:04:39 -!- Taneb has quit (Ping timeout: 246 seconds).
17:22:03 <nortti> Vorpal: statring forth
17:23:03 <nortti> and you can use oonbotti's interactive forth interpreter
17:23:13 <elliott> isn't thinking forth better
17:23:43 -!- Taneb has joined.
17:23:51 <nooga> fuck otool -> http://pastie.org/3972547
17:24:24 <Taneb> I'm gonna start a Dwarf Fortress over an aquifer
17:24:44 <elliott> Taneb: are you termcasting it
17:24:56 <nooga> nortti: i've added machine code to the output
17:24:57 <elliott> im watching monqy play twice at once
17:25:16 <nooga> and some colors (visible only in terminal)
17:25:19 <nortti> nooga: to what output?
17:25:37 <elliott> monqy: nice giant newt dying
17:25:47 <nooga> and now just a small function left to translate at&t into intel syntax
17:25:59 <nooga> nortti: to the otool's output of course
17:26:40 <nortti> Taneb: when do you start termcasting?
17:27:07 <nooga> what is this with starting over an aquifier?
17:27:17 <nooga> i've never done that because i was afraid
17:28:09 -!- madbr has joined.
17:28:30 <olsner> nooga: why is there no bindump on your platform?
17:28:54 <olsner> hmm, I think I mean objdump
17:29:28 <olsner> whatever... you know, that tool that already does all that stuff you want
17:29:59 <nooga> olsner: OS X has shitty thing called otool instead
17:30:04 <ais523> objdump does sound like the right tool for the job
17:30:14 <nooga> and binutils are not very good with handling native binaries
17:30:41 <nooga> huh, i know about objdump guys... i'd used it if i could
17:32:23 <olsner> huh, you already know about it? then why aren't you using it!
17:33:34 <olsner> feels like the correct solution to this problem is finishing the binutils port for mac
17:33:55 <Taneb> Fortress name, anyone?
17:34:50 <olsner> Taneb: call it "TANEBS FORTRESS"
17:35:03 <Taneb> olsner, I'm afraid I can't do that
17:35:22 <HackEgo> Taneb is not elliott, no matter who you ask.
17:35:39 <HackEgo> :s.6p[.o@5|36aylMߋUϧ9Wg{T;%m.(9R)d9o=KXAКzbwdhFeo~...&rGhϡDJl穬 ).g\.5^s.(..j.v6I!bt.YX{?....mT.)X*K../@..ȞF@s.....v!...N2..E.F..w~CF<..zl*.̠ڡ^!}.>.Cț.nw+[. \ 浒#(.l.A..5;Mz..H[3Z'GyT?.ξ].+1.f3?Ѫ.|)ua!2s)I
17:35:50 <nortti> he is not null terminated
17:35:59 <HackEgo> \.Vu`|pF^&L\ǂ>.;.J./թfZDnċ.="5WsTWW(P34%|_ \ vң.iQ\1.vl&.QS%퍽)#rPb.s.S\8n.UH뤈.皦 o<`7{h3<<^֍c-N..|Rӝ?1v9h9s./yA!]A8v$=>.Zu.؝Pq._C?>.qf.YۓфPSBc|_9Jǩ..a.ָ8li.Mxo \ ..f&..Y.H6W0.7. .O䠖Y..
17:36:05 <elliott> btw people watching the termcast
17:36:41 <Taneb> (80x25 is default for DF)
17:37:13 <Taneb> Beeseizures of Doom
17:37:27 <madbr> type x*y into google
17:37:33 <nortti> good thing anything really gets bigger than my 160x30 terminal
17:38:04 <elliott> Taneb: did that really say oklo
17:40:17 <Taneb> I thought aquifers were more wet
17:40:30 <elliott> Taneb: what happens is when you dig the rock goes all bade.
17:40:33 <elliott> check the wiki for informatione
17:40:43 <elliott> you don't jsut want to dig down
17:41:28 <madbr> wonder where 80x25 comes from
17:41:57 <elliott> or rather ibm pc in general
17:42:15 <madbr> weren't there some other terminals that had that amount of chars before?
17:42:18 -!- asiekierka has joined.
17:42:49 <olsner> the width of 80 comes from the size of punch cards, which was based on the size of late-19th century american dollars, iirc
17:43:21 <madbr> yeah vt100 had 80x24 chars
17:45:05 <madbr> that's probably where the pc's 80x25 comes from
17:45:43 <madbr> that and probably various signal timing considerations :D
17:48:09 <elliott> if not yuo're fortress will probably die
17:48:21 <Taneb> My fortress will probably die anyway
17:48:26 <Taneb> This is Dwarf Fortress
17:50:11 <elliott> for values of probably equal to certainly
17:58:41 -!- madbrr has joined.
17:59:58 -!- madbr has quit (Ping timeout: 265 seconds).
18:01:56 <ais523> hmm, 320x224 used to be a very common screen res because it was easy to get it out of a standard TV
18:03:02 <madbrr> that's because the real tv resolution is 240 lines (from 262.5 if you count HBlank), but TVs overscan for some retarded reason so you only get about 224
18:03:21 <madbrr> so they decided to not make any content for those extra lines over 224 :D
18:05:13 -!- Guest28135 has changed nick to Mike.
18:05:43 -!- Mike has changed nick to Guest86467.
18:06:01 <ais523> Guest86467: you can't use a name reserved by someone else, try a different name
18:07:16 -!- Guest86467 has changed nick to Guestxxxxx.
18:09:31 <ais523> Gregor: has to be six Xs, and they have to be capital
18:09:50 <Gregor> ais523: THANK YOU FOR EXAMINING MY JOKE, CAPTAIN PEDANTRY.
18:09:52 * ais523 thinks that that's a somewhat weird restriction
18:10:10 <madbrr> (also for SNES, 16 extra lines of vblank is nice)
18:10:44 <madbrr> (and saving 16 lines of fillrate on psx is also nice :D )
18:13:05 <ion> ais523: In *your* system’s definition of mkstemp, sure. :-P
18:13:23 -!- asiekierka has quit (Ping timeout: 245 seconds).
18:16:31 <HackEgo> 825) <Sgeo> hack and back? <Patashu> works on anything much slower than you <monqy> at the cost of: guilt, hating yourself, me sending you the message "hi" <Patashu> am I also forbidden to cast mephitic cloud and cblink <monqy> i will also send you "hi" if you: kite excessively, use mephitic cloud, -yes
18:20:30 <lambdabot> http://www.zooborns.com/zooborns/2009/07/darmstadt-zoo-germany-coati-babies.html
18:22:49 -!- asiekierka has joined.
18:30:46 -!- Taneb has quit (Quit: Leaving).
18:52:37 -!- KingOfKarlsruhe has joined.
18:59:33 -!- Guestxxxxx has quit (Quit: Rooms • iPhone IRC Client • http://www.roomsapp.mobi).
19:02:12 -!- pikhq has joined.
19:02:48 -!- pikhq_ has quit (Ping timeout: 265 seconds).
19:06:35 -!- oerjan has joined.
19:11:13 <elliott> you get to tell them about preview
19:11:36 <oerjan> how sad that they will never know
19:12:46 <elliott> ais523: you get to tell them about preview
19:13:39 <ais523> I missed that one of my RC entries was actually 22 condensed
19:13:59 <ais523> see, everyone else should use RSS recent changes too, avoids the problem neatly :)
19:17:54 <ais523> http://www.techdirt.com/articles/20120525/04185919074/tv-networks-file-legal-claims-saying-skipping-commercials-is-copyright-infringement.shtml
19:18:10 <ion> KMines’ clock seems to wrap around hourly.
19:18:32 <elliott> ais523: how horrible is dgamelaunch
19:18:43 <ais523> slightly less horrible than "horrible"
19:18:55 <elliott> how easy is it to set up :P
19:19:01 <ais523> if you know how to set it up already, it's easy
19:19:02 <elliott> (also, how much system load does it drain?)
19:19:06 <ais523> if not, I recommend finding instructions somewhere
19:19:12 <elliott> (rephrase: would it slow the wiki down)
19:19:31 <elliott> i could just write my own server but ehhh
19:19:40 <ais523> dgl itself doesn't put a huge amount of load on the server
19:19:44 <ais523> things it's running might do
19:20:11 <ais523> it'll put a higher load on if things produce a lot of output, because of trying to record it
19:20:31 <elliott> maybe i'll disable autoexplore :P
19:25:45 <elliott> ais523: would asking you questions about dgamelaunch be productive?
19:26:09 <ais523> elliott: sadly, the person I find most knowledgeable about dgl at the moment is kerio
19:26:16 <ais523> I'd probably refer questions to him
19:26:24 <ais523> (or paxed, who's the current maintainer, but is typically very busy)
19:26:33 <elliott> that way you get all the suffering
19:26:57 <elliott> my question is: is dgamelaunch protocol-agnostic, i.e. can I run it behind anything that can start a remote process, or does it hook into telnet/ssh specially?
19:27:13 <ais523> oh, I think I know that one, you configure telnet/ssh to run it
19:27:29 <elliott> so I should be able to get it to run behind mosh, then
19:27:45 <elliott> monqy: imagine a server that lets you know when you're lagging instead of having to mash an invalid key!!!
19:29:09 <elliott> i don't think monqy is imagining hard enough
19:32:16 <elliott> monqy: fire storm "considered op in light"
19:32:27 <monqy> it's op in regular crawl too
19:32:42 <elliott> nicer range in light though
19:32:59 <elliott> monqy: it's ok i'll imagine it without you
19:34:26 <elliott> kmc: is it possible to adjust how long mosh waits before complaining about lag
19:37:28 <kmc> only by editing the source code
19:38:04 <elliott> how long does it normally wait?
19:38:57 <kmc> don't remember
19:39:01 <kmc> like 10s or so
19:39:47 <kmc> go ahead and change it
19:39:55 <kmc> but note that the default heartbeat interval is 3s
19:40:12 <elliott> i'd rather not have to get anyone who wants to use my server to patch and compile mosh
19:40:14 <kmc> so if nothing is happening you will get a "lag" warning every 3s
19:40:27 <kmc> the message is a client side thing
19:40:36 <kmc> so yeah, i guess they would need to compile it themselves
19:40:47 <elliott> in which the most annoying lag only lasts a second or two
19:41:05 <elliott> and it'd be nice to be notified of it rather than having to spam a key that has some visual effect
19:41:10 <elliott> to make sure you're not playing blindly
19:47:05 <elliott> kmc: how easy would it be for the mosh server to be able to control how long to wait before complaining about lag
19:47:16 <elliott> and/or how long the heartbeat interval is
19:47:45 <kmc> with unmodified clients? i don't think that's possible
19:47:57 <elliott> how easy would it be for mosh to allow that
19:48:05 <oerjan> soon someone is going to wonder what happened to the previous kitties.
19:48:49 <kmc> elliott: i think it would not be too hard
19:49:05 <oerjan> or perhaps Gregor is one of those cat ladies.
19:49:05 <kmc> you would just make these parameters be part of the terminal-state object which is synchronized between client and server
19:49:16 <elliott> how much do i need to yell at people to get it to happen :P
19:49:28 <kmc> that depends on whether your yelling takes the form of a patch
19:49:36 <kmc> i don't see a great need for this feature; maybe you can elaborate
19:49:51 <elliott> 20:40 <elliott> it's for a roguelike
19:49:51 <elliott> 20:40 <elliott> in which the most annoying lag only lasts a second or two
19:49:51 <elliott> 20:41 <elliott> and it'd be nice to be notified of it rather than having to spam a key that has some visual effect
19:49:53 <elliott> 20:41 <elliott> to make sure you're not playing blindly
19:50:04 <elliott> if it waits like 10 seconds before notifying you there's lag
19:50:10 <elliott> then you still have to do that a bunch
19:50:31 <elliott> if I could configure the server to say "hey, heartbeat every one second and complain about lag every one second"
19:50:34 <elliott> then it would be massively reduced
19:51:05 -!- oerjan has set topic: It is the year 2525 and man is still alive | I think pointers are considerably more useful than lambda calculus | 12345678 | http://codu.org/logs/_esoteric/.
19:51:42 <ais523> are those digits for elliott?
19:51:49 <ais523> and does he still have the keyboard problem?
19:51:58 <elliott> ive just gotten really fast at copying and pasting
19:52:03 <kmc> elliott: it seems more reasonable to have it be configured by the client, rather than something the server pushes to the client
19:52:05 <oerjan> no, the topic is anachronistic
19:52:49 <elliott> kmc: fair enough, but "mosh server" is easier to tell people to type than "mosh --heartbeat=1 --lag-timeout=1 server"
19:53:04 <elliott> it seems reasonable for the server to be able to specify a default
19:53:25 <ais523> elliott: and thus you are discovering that mosh and telnet are designed to solve different problems
19:53:41 <elliott> ais523: i don't see the relevance
19:53:47 <elliott> how does telnet solve my problem any better
19:53:58 <elliott> telnet does not even indicate lag at all
19:54:17 <ais523> well, you can write a telnet client that does
19:55:06 <elliott> mosh has other advantages too
19:55:13 <elliott> I don't see why you think it's less suitable than telnet
19:55:51 -!- zzo38 has joined.
19:56:50 <kmc> it's a strange point to make, given that the mosh client already indicates lag
19:57:02 <elliott> what point is strange to make?
19:57:09 <kmc> that you can make a telnet client that does
19:57:14 <kmc> by way of contrasting with mosh
19:57:31 <elliott> oh, you were talking about ais523's point
19:57:41 <elliott> i don't know what ais523 is talking about really :P
19:57:51 <ais523> that was a counterargument to elliott's argument
19:58:25 <elliott> it's your original argument that doesn't make any sense
19:58:28 <kmc> i agree that mosh and telnet solve different problems though
19:58:32 <elliott> what are the different problems mosh and telnet are trying to solve, in your opinion
19:58:38 <elliott> and why is my problem more like the problem telnet solves than the problem mosh solves
19:58:42 <elliott> (and what do you think my problem is)
19:58:52 <ais523> well, things like ssh are basically based around solving /authentication/
19:58:58 <ais523> how to run a shell remotely and proving it's you
19:59:10 <ais523> mosh is based around how, inside a single-user session, you can keep it connected and so on
19:59:18 <ais523> telnet is more broadcasty, it allows anyone to connect without checking
19:59:24 <kmc> the main difference i see is that telnet and ssh convey a reliable octet stream from one point to another
19:59:28 <ais523> also, telnet is a really well-designed protocol
19:59:35 <ais523> with all sorts of extensions
19:59:47 <elliott> ais523: mosh does not depend on ssh
19:59:55 <kmc> whereas mosh synchronizes the current state of your terminal, without regard for the past
19:59:56 <elliott> and roaming is not the only advantage it offers
19:59:59 <ais523> elliott: it does for auth, doesn't it?
20:00:15 <kmc> ais523: there are two layers to mosh
20:00:34 <kmc> at the lower layer you run mosh-server, it prints an AES key, then you convey that to the client securely (this is up to you) and run mosh-client
20:00:36 <pikhq> I don't think anyone's done much with *other* mosh authentication schemes, but the design of it (as far as I'm aware) is such that you could reasonably use anything.
20:00:50 <elliott> 20:59 <kmc> whereas mosh synchronizes the current state of your terminal, without regard for the past
20:00:56 <elliott> this is one reason I find mosh desirable, btw
20:01:08 <kmc> but for the common case of authenticating over ssh, we provide a wrapper script that runs mosh-server and mosh-client for you
20:01:12 <elliott> because that's likely to be more efficient at updating a changing game screen
20:01:12 <madbrr> is there an utility to batch convert unix text files to cr-lf format
20:01:20 <elliott> and also because it means that setting your TERM to something different doesn't break spectators
20:01:23 <kmc> madbrr: unix2dos
20:01:41 <elliott> ais523: oh, and I find ssh a preferable auth mechanism to telnet
20:01:46 <elliott> ais523: because sending passwords in the clear sucks
20:01:52 <elliott> heck, many roguelike servers use ssh already
20:01:56 <ais523> elliott: just tell telnet to use ssl
20:02:04 <pikhq> "Batch convert"? GUIs suck for that.
20:02:13 <elliott> ais523: i think you're trolling at this point
20:02:26 <ais523> elliott: telnet with ssl is installed and currently running on nethack4.org
20:02:26 <madbrr> pikhq: was thinking of something more like oggdropXPd
20:02:31 <elliott> ais523: i am aware of this
20:02:46 <madbrr> ie a GUI app designed to convert a lot of files conveiniently
20:02:52 <pikhq> madbrr: So, you want a child's toy.
20:02:56 <kmc> pikhq: there is https://github.com/dmilith/genmosh
20:03:13 <madbrr> I want something that's convenient
20:03:17 <elliott> madbrr: for x in *.c; do unix2dos "$x"; done
20:03:19 <pikhq> madbrr: for i in *.txt; do unix2dos $i; done
20:03:20 <madbrr> and I don't really like console apps
20:03:21 <kmc> the last time I looked at the code, it seemed like a security disaster
20:03:37 <pikhq> So, you want a child's toy. Got it.
20:03:51 <elliott> "child's toy" is a really stupid way of phrasing that
20:03:53 <kmc> "hi, how can I batch convert unix to dos files? but i have to do it while blindfolded using only my left pinky toe"
20:04:03 <elliott> but a console application is really going to be 10x more convenient for converting a bunch of files in batch
20:04:06 <elliott> than having to select each one
20:04:13 <kmc> get some real tools and then use them to solve your problem
20:04:15 <madbrr> kmc: more like highlight a bunch of files in explorer, drag, drop, kdone
20:04:23 <madbrr> faster than the stupid console
20:04:28 <elliott> you realise you can drag things to console programs right
20:04:46 <kmc> pikhq: so I wouldn't recommedn this genmosh to anyone ;P but it's at least an example of someone making an alt mechanism and publishing it
20:04:58 <ais523> I typically use a one-liner Perl script, unix2dos never seems to be installed when I need it
20:05:01 <pikhq> In fact, in Windows, if you select a bunch of files and drag it onto a console program, it passes those files as arguments.
20:05:04 <elliott> i wish web browsers supported ssh authentication
20:05:10 <kmc> also maybe it got less disastrous
20:05:13 <ais523> (/is/ unix2dos a one-liner Perl script, I wonder? never thought of checking)
20:05:24 <zzo38> In Windows, it is possible to drag files from Explorer into the command prompt window.
20:05:38 <pikhq> kmc: It's a good example of the *principle* that you can implement alternate authentication.
20:05:39 <madbrr> pikhq: doesn't that tend to bust the command line length limit?
20:05:46 <zzo38> Possibly a similar program could be made for Linux too
20:05:52 <madbrr> pikhq: or was that just a win98 limitation
20:05:58 <elliott> another good reason not to use windows :)
20:06:05 <ais523> zzo38: does it depend on the version? I seem to remember that that doesn't work from Windows Vista onwards due to some complicated security thing involving messaging
20:06:18 <elliott> zzo38: it already works in linux
20:06:25 <pikhq> madbrr: Huh, it's 32k.
20:06:26 <elliott> with reasonable file browser/terminal combinations
20:06:33 <madbrr> dude, I compose music, the win32/64 programs for that are just much, much better than the linux ones
20:06:48 <kmc> madbrr: so install a real command line environment for windows
20:06:56 <kmc> such as cygwin
20:06:58 <madbrr> no, cygwin is retarded
20:07:09 <elliott> so do you want help or do you want to complain and annoy everybody
20:07:13 <elliott> if the latter, please just /part instead
20:07:17 <olsner> it seems to me that you now have a task different from composing music, for which win32/64 may not be a good choice
20:07:31 <zzo38> madbrr: When I compose music I find the programs best which are cross-platform anyways
20:07:32 <madbrr> just wanted some useful nice tool
20:07:35 <elliott> olsner: don't you know the old aphorism "use the right tool for one specific job I do and the wrong tool for everything else"
20:07:46 <olsner> not that the operating system is really relevant at all here
20:07:50 <kmc> madbrr: k, I think you have your answer by now that we don't know of one
20:07:58 <elliott> madbrr: well, you've been offered several practical and convenient ways to do what you want
20:08:16 <madbrr> I've been offered one yes
20:08:47 <zzo38> For music I use things such as MCK
20:08:50 <ais523> you can convert in WordPad, I think, although not batch-convert
20:08:59 <elliott> use a console program and drag stuff to it (whether the icon itself or a running console prompt); or install cygwin and use that to circumvent limits with the previous solution
20:09:02 <elliott> (and also allow convenient globbing)
20:09:03 <madbrr> also been preached to for not liking neckbearded tools and the command line
20:09:13 <elliott> no, I don't care if people don't like command lines
20:09:20 <ais523> in general, GUI programs are bad at batch jobs; you can design a GUI for one specific batch job, but you can't make a general one to handle batch-ising of jobs
20:09:22 <elliott> I care if people complaing when they're suggested for good and justified reasons and then just yell and insult people
20:09:29 <ais523> I don't think there's a GUI version of xargs, nor can even figure out how one would work
20:09:39 <pikhq> There's also the option of reporting bugs in a bunch of software: programs SHOULD support most reasonable newline conventions.
20:09:48 <madbrr> ais: for some very specific case you'll have to use batch scripts yeah
20:10:12 <Gregor> ais523: Select a group of files, drag them to an executable. By GUI convention, that behaves like xargs.
20:10:17 <ais523> and even not in those cases, I often do anyway because it's a much simpler and faster way of expressing what I want
20:10:17 <elliott> Gregor: we already suggested that
20:10:25 <ais523> Gregor: that behaves like xargs for opening files
20:10:26 <elliott> madbrr isn't happy because it involves a console window popping up at some point presumably
20:10:30 <elliott> and then he'd be a neckbeard!!!
20:10:31 <ais523> is there an equivalent for performing transformations?
20:10:37 <Gregor> I'm not REALLY reading, this conversation is very stupid.
20:11:00 <madbrr> elliott: nah, drag and drop to console apps is fine
20:11:11 <elliott> ...then why are you still complaining
20:11:15 <elliott> that was the second thing suggested
20:11:42 <zzo38> I find usually even drag/drop not needed since you can use wildcards and/or tab completion, but sometimes dragging the files to the command-line window is very useful
20:12:19 <pikhq> zzo38: Yes, but you're not offended by the idea of using a command line tool. :)
20:12:56 <zzo38> Even if using a system that does not support dragging between windows, if there is a clipboard (such as the X clipboard or whatever) you can make it that whatever files are selected their full paths goes on the clipboard.
20:13:24 <zzo38> Probably the PRIMARY buffer, so that you can then middle-click the terminal emulator window to paste the names there.
20:15:03 <olsner> sounds like a neckbearded solution
20:15:57 <elliott> someone hecked my aim and it gave me a neckbeard
20:16:05 <elliott> what else have we been referencing for the past 17 years
20:16:33 <elliott> someone hecked my aim and it trapped me in a matrix of solidity, causing me to grow a neckbeard
20:16:37 <olsner> what is a neckbeard anyway?
20:16:55 <elliott> i think the clue's in the name
20:18:01 <olsner> seems to me that neckbeard should either be just "beard" or just "hair"
20:18:08 <olsner> depending on which side of the neck you're referring to
20:19:02 <Vorpal> <nortti> Vorpal: statring forth <-- thanks
20:19:18 <elliott> Vorpal: i think thinking forth is meant to be better
20:19:21 <elliott> but i don't recall exactly
20:19:24 <Vorpal> <nortti> and you can use oonbotti's interactive forth interpreter <-- I'm learning forth because I need to use it, so I already have a target implementation in mind
20:19:34 <elliott> Vorpal: forth implementations tend to differ wildly
20:19:40 <elliott> what is the one you are planning to use?
20:20:00 <oerjan> olsner: it's a specific kind of beard
20:20:17 <Vorpal> elliott, you know about the minecraft mod redpower2? Adds a fully emulated 6802 running forth into minecraft. :)
20:20:24 <Vorpal> (as of the last version)
20:20:28 <elliott> i don;t have a beard. there's just a black hole underneath my face
20:20:36 <elliott> Vorpal: ok well the chances that's ans forth are pretty low i'd say
20:20:55 <Vorpal> elliott, I looked at it, and it looks like pre ans forth yeah.
20:21:02 <oerjan> elliott has been a singularitarian too long
20:21:09 <olsner> hmm, based on the internet, I think I've identified my usual beard as a neckbeard
20:21:44 <olsner> but I'm not sure... am I supposed to shave my face but leave my neck, for it to become a neckbeard?
20:21:45 <elliott> Vorpal: then any intro book will probably cease being useful to you after a sufficient number of chapters
20:21:51 <Vorpal> elliott, anyway that mod is cool, you can put redwire (basically better behaved redstone dust, that doesn't fade so quickly, can be insulated, can run on walls and much more)
20:21:53 -!- asiekierka has quit (Remote host closed the connection).
20:22:26 <Vorpal> elliott, I just need help getting started with the basics really.
20:22:52 <itidus21> olsner: i think the idea is that a neckbeard is an extension of a regular beard..
20:23:05 <pikhq> Yeah, redpower is awesomeness.
20:23:24 <itidus21> its the first time ive heard that word though
20:24:23 <Vorpal> elliott, also that mod has probably the lowest density memory ever: 8K expansion modules connected to the backplane, each module a full cubic meter!
20:25:00 <pikhq> Vorpal: By Minecraft standards that's impossibly high density.
20:25:40 <Vorpal> pikhq, looked at Mystcraft btw? It is basically a mod that lets you write books linking to new dimensions (with certain properties you discover by experimenting and can then use at will), in Myst style
20:25:44 <pikhq> Vorpal: Little bit.
20:26:05 <pikhq> Vorpal: Checked out frames in RP?
20:26:07 <Vorpal> other great mod: logistics pipes (addon for buildcraft).
20:26:27 <Vorpal> pikhq, that is what I'm going to use my forth skills (that I'm planning to learn) for.
20:26:48 <Vorpal> automated mining machine. With the enterchest mod to move stuff back to base.
20:27:19 <Vorpal> hm I have a lot of mods installed. Using the multimc launcher currently, it is really good.
20:27:43 <Vorpal> handles installing the mods for you, you just drag the zip files into it and it handles the rest
20:27:46 <pikhq> I use some hacked up shell scripts. :)
20:27:56 <Vorpal> pikhq, I'm too lazy for that
20:28:16 <Vorpal> anyway I needed something that was cross platform, since I sometimes dual boot one computer to windows
20:28:41 <Vorpal> pikhq, anyway: used logistics pipes?
20:28:48 <pikhq> It is t3h awesome.
20:29:17 <Vorpal> I have like 250 auto crafting tables set up along the walls of a room, with logistics pipes connected to them
20:29:31 <Vorpal> only issue is that the request interface gets clunking with that many recipes
20:30:23 <Vorpal> but still, many mod recipes are downright annoying. Like the frame motors.... Oh and the wireless redstone ones (another mod, using the one that integrates with redpower)
20:31:56 <Vorpal> like you need to make an obsidian stick, then a "reather pearl" (sp?), then combine those. Then combine that with a stone bowl you just crafted. Now you have an antenna dish. And that is just about half the work of a transmitter or a reciever...
20:32:32 <Vorpal> hm, actually that is for receiver, there is no dish for the transmitter
20:32:53 <Vorpal> pikhq, anyway, which mods do you play with?
20:35:44 <pikhq> I think the bigs ones ATM are RP, IC, BC, logistics pipes, EE...
20:36:15 <Vorpal> personally: in jar: modloader, forge, mystcraft, NEI (for displaying recipes and for cheating in my test world), rei minimap, optifine. In mods/: buildcraft, equivalent exchange, ender chests, forestry, industrialcraft, invtweaks, laser mod, logistics pipe, compact solars (IC2 addon), ironchests, railcraft, redpower, treecapitator, WR-CBE (that is the wireless redstone one), somnia (so time is simulated
20:36:16 <Vorpal> while you sleep). Plus a few smaller buildcraft addons.
20:36:40 <Vorpal> oh and I forgot that IC2 addon that adds like induction furnace tire machines for macerator and so on
20:37:12 <Vorpal> I used to use the portal gun mod too. It is fun but a bit overpowered for survival...
20:38:13 <Vorpal> pikhq, you should try out railcraft. It is kind of neat. A bit more useful in SMP though I feel, since you don't tend to get cities to travel between in single player
20:38:38 <Vorpal> still, stuff like elevator rails are cool :)
20:40:05 <lambdabot> Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it.
20:40:17 <pikhq> Phantom_Hoover: On occasion.
20:40:21 <Vorpal> Phantom_Hoover, only heavily modded MC. Wouldn't play vanilla any longer
20:40:32 <Vorpal> and not as much as I used to
20:40:35 <pikhq> What happens, really, is sometimes I get in the mood and play for a while, and then leave it abandoned for a while.
20:40:55 <Vorpal> played fallout new vegas today a lot. And a bit of MC
20:41:25 <Vorpal> Phantom_Hoover, I found I roughly play every other release of MC.
20:41:50 <Vorpal> I hardly touched 1.1, did quite a bit on 1.0 and I am now playing 1.2.5 quite a bit
20:44:23 <Vorpal> pikhq, btw I found that an issue with EE is that it pretty much makes any other sort of resource acquirement pointless once you reach the EE endgame. I could just slap down a mark 3 collector next to a energy condenser and set it to generate diamonds, then hook up a provider logistics pipe. And I no longer need to mine any diamonds...
20:45:06 <pikhq> Vorpal: By the time you hit the EE endgame, resource acquisition is just an annoyance anyways.
20:45:36 <Vorpal> pikhq, but I hit it before redpower frames were added, so now I'm kind of hard pressed to find a use for my frames :P
20:46:49 <Vorpal> currently I have more red matter in my automated farm for that than I know what to do with. I started transmuting the stuff into pedestals to save space!
20:47:05 <Vorpal> (I don't like throwing away EMC)
20:47:51 -!- FluffBall has changed nick to Zuu.
20:48:52 <Vorpal> pikhq, of course, since I have forestry I have not even reached close to the endgame of THAT. God damn bees with 8% chance of mutation...
20:49:34 -!- pikhq_ has joined.
20:51:01 <Vorpal> pikhq_, every tried the forestry mod?
20:52:29 -!- pikhq has quit (Ping timeout: 252 seconds).
20:53:07 <Vorpal> it is a nice kind-of-addon to buildcraft (it used to be an addon, but now it is technically freestanding, though significantly more useful with buildcraft). It adds biofuel for example, as an alternative to the finite oil resource of buildcraft.
20:54:00 <Vorpal> also adds stuff like reed farms, tree farms, peat farms and what not. Oh and *really* in-depth beekeeping.
20:59:12 -!- calamari has joined.
21:00:01 <ion> My new hobby http://youtu.be/_aW6d46VbpM
21:01:22 <Vorpal> ion, did the guy inside survive?
21:02:20 <ion> I know as much as you do.
21:03:29 <Gregor> ion: Your new hobby is killing yourself in stupid ways?
21:03:45 <ion> gregor: Yes, preferably losing an arm in the process.
21:04:45 <elliott> "derka derka allah jihad [+18]" the only thing stupider than youtube comments is the people who upvote youtube comments
21:04:56 <nortti> have you heard that ELKS has got an update?
21:05:04 <Vorpal> Gregor, I'm just amazed that guy didn't kill anyone else as well
21:06:10 <pikhq_> Besides, the quote is "derka derka muhammed jihad".
21:06:35 <ion> elliott: Verily.
21:07:20 <elliott> pikhq_: it doesn't really matter what the quote is
21:07:54 <pikhq_> Course, that movie was really, really stupid...
21:21:43 <fizzie> nortti: Weird, I'd have assumed ELKS to be pretty dead.
21:22:20 <nortti> fizzie: me too. but they got release out after 6 years
21:23:45 <fizzie> Maybe it's some sort of a zombie kernel.
21:25:08 <nortti> maybe. they also got it to git and left cvs behind
21:27:37 <nortti> they also got a new project: busyelks. it is busybox style thingie for elks.
21:30:38 <nortti> Vorpal: Embeddable Linux Kernel Subset
21:30:45 <Gregor> Does ELKS still use bcc? They should switch to owcc ...
21:30:49 <Vorpal> heh, never heard of that one even
21:30:55 <elliott> Embeddable Linux Kernel System, isn't it
21:30:57 <Vorpal> nortti, so something like µclinux?
21:30:59 <elliott> oh the website disagrees with itself
21:31:05 <nortti> Gregor: they still use bcc
21:31:17 <nortti> Vorpal: basicaly. but for 8086
21:31:38 <Vorpal> hm wasn't/isn't there a C compiler frontend with a name just like ELKS?
21:31:53 <Vorpal> something very close anyway?
21:33:04 <Vorpal> urgh... need to sleep, just feel half asleep on top of my keyboard for a few seconds...
21:36:55 <ion> It’s fun when you happen to be pushing some key at the time you fall to microsleep.
21:37:08 -!- Patashu has joined.
21:37:11 <ion> As in, “it’s fun when you happppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp”
21:37:25 -!- Vorpal has quit (Ping timeout: 248 seconds).
21:38:30 <ion> You might not even notice you took a short nap except that a bunch of repeated letters suddenly appeared on your screen.
21:45:02 -!- azaq23 has quit (Max SendQ exceeded).
21:45:25 <itidus21> first set my hands in the right place, then type with my eyes shu.. and, little errors may start to creep in..
21:45:40 <itidus21> its god if you just typing to type
21:47:57 <itidus21> the trouble is overcompensating if you think you held a key too long
21:48:43 -!- azaq23 has joined.
21:48:55 -!- azaq23 has quit (Max SendQ exceeded).
21:50:08 -!- azaq23 has joined.
21:50:17 -!- derdon has joined.
21:50:17 -!- azaq23 has quit (Max SendQ exceeded).
21:51:00 -!- azaq23 has joined.
21:56:56 <nortti> Gregor: is owcc open watcom? what kind of license they have?
22:09:19 * Sgeo is watching an IWBTG blind LP for some reason
22:17:07 <Gregor> nortti: Yes, Open Watcom. It's under a wonky but usable license, FSF-rejected but OSI-approved because it actually /requires/ that you publish changes you make in certain circumstances where you don't even publish the binaries.
22:17:33 <elliott> Gregor: bleh, that's dfsg-violating
22:17:45 <elliott> why would the OSI approve that? it's evil
22:18:21 <Gregor> Yeah, it's not a great license X-D
22:18:27 <lambdabot> http://en.wikipedia.org/wiki/Debian_Free_Software_Guidelines
22:18:27 <lambdabot> Title: Debian Free Software Guidelines - Wikipedia, the free encyclopedia
22:18:42 <elliott> it fails the desert islnad test
22:24:23 <shachaf> if (!strcmp, name, EXPECTED) {
22:24:30 <shachaf> I was wondering why my code was being odd.
22:25:09 <shachaf> Should've been compiling with -Wall
22:30:23 <pikhq_> shachaf: Well, it is *valid* C, at least.
22:30:35 <shachaf> pikhq_: That's the problem. :-(
22:40:39 <oerjan> strictly conforming, isn't it?
22:40:57 <pikhq_> It's *silly* behavior, but it's quite well-defined.
22:41:03 <kmc> working on the IOCCC are we
22:41:15 <pikhq_> (silly in the sense of "nobody would intentionally do this")
22:43:37 <elliott> oerjan: "valid" means "strictly conforming" in the context of C :P
22:43:43 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]).
22:44:37 <kmc> does gcc -Wall actually catch that
22:44:51 <shachaf> warning: the address of ‘strcmp’ will always evaluate as ‘true’ [-Waddress]
22:45:01 <shachaf> warning: left-hand operand of comma expression has no effect [-Wunused-value]
22:48:00 -!- FireFly has quit (Changing host).
22:48:00 -!- FireFly has joined.
22:49:23 -!- nortti_ has joined.
22:52:07 * oerjan swats FireFly -----###
22:53:12 <oerjan> we were severely under quota here
22:53:15 <shachaf> kmc: Are syscalls actually made through the VDSO?
22:53:38 <HackEgo> 537) <Vorpal> elliott_, oh they are people known in the ruby community? <elliott_> Vorpal: Uh... you mean Hannah Montana? <Vorpal> elliott_, yeah. And Zed Shaw. Either they are that or they come from popular culture.
22:53:41 -!- DHeadshot has joined.
22:53:46 <HackEgo> 411) <elliott> Gregor: do you have any idea how overrated lives are <Gregor> Damn right!
22:53:48 <HackEgo> 195) <tswett> That is the mark of Gregor right there. <ais523> tswett: except that Gregor didn't write that <tswett> It's still the mark of Gregor.
22:53:56 <HackEgo> 718) <Phantom_Hoover> The only way you could do better would be to implement Monopoly with chocolate.
22:53:59 <HackEgo> 39) <mycroftiv> [...] sometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective
22:54:09 <kmc> shachaf: on Linux i386 it's the current preferred mechanism, though direct int $0x80 still works
22:54:11 <ais523> elliott: I was about to say 411
22:54:27 <HackEgo> *poof* <elliott> Gregor: do you have any idea how overrated lives are <Gregor> Damn right!
22:54:32 <kmc> shachaf: on Linux amd64 you use the 'syscall' instruction directly, and the VDSO is only for userspace "vsyscalls" like gettimeofday
22:54:38 <shachaf> kmc: Ah, but on amd64 it just uses the syscall instruction?
22:54:44 <ais523> good thing I managed to cancel typing that, or I'd have to revert the deltion of the new 411
22:54:48 <shachaf> Yes, that's what it was looking like.
22:54:49 <HackEgo> 411) <Gregor> "<Gregor> Damn right!" wouldn't be much of a quote :P
22:55:00 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.7017
22:55:04 <ais523> oh well, that one's deleratble too :)
22:55:15 <elliott> you must leave quotes that get their meaning removed
22:55:15 <shachaf> So where can I get a guaranteed executable syscall instruction in the address space? :-(
22:55:26 <shachaf> I guess the VDSO (a) still has them and (b) isn't guaranteed.
22:55:34 <kmc> shachaf: i don't have any new ideas since last time
22:55:42 <HackEgo> 410) <Gregor> decrypt 'illustrates the "can do" approach of conservatism in a patriotic way'
22:55:55 <shachaf> I mean Intel 64®, not amd64.
22:56:12 <kmc> it works on both
22:56:13 <shachaf> Better go with Intel® 64® just to be safe.
22:56:29 <kmc> "intel 64" ≠ ia64
22:57:00 <kmc> just assume the names are maximally confusing
22:57:09 <nortti_> intell's 64bit x86 CPUs are actually amd64 CPUs
22:57:34 <shachaf> Yes, and they're also Intel® 64® CPUs.
22:57:49 <shachaf> Did you figure out an answer to newsham's question?
22:58:03 <kmc> pclmullqlqdq
22:58:11 <elliott> What was newsham's question?
22:58:26 <shachaf> elliott: It was about how you can figure out the cardinalities of polymorphic types.
22:58:41 -!- JKL1234- has joined.
22:58:56 <HackEgo> JKL1234-: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
22:58:56 <shachaf> For example, forall a. a -> a has one inhabitant, and forall a. a -> a -> a has 2.
22:59:14 <shachaf> Can you do a pseudo-algebraic thing like you normally do with cardinalities to figure it out?
22:59:22 <shachaf> a -> (a -> b) -> a -> b is also 2
22:59:40 <nortti_> JKL1234-: What brings you here?
22:59:56 -!- JKL1234- has left.
23:00:47 <shachaf> Phantom_Hoover: There are two "a"s to apply.
23:03:17 -!- atehwa has quit (Read error: Operation timed out).
23:03:22 <elliott> shachaf: You need parametricity for that.
23:03:23 <elliott> i.e. you can't prove it everywhere that the algebraic type law stuff applies.
23:03:23 <oerjan> presumably it's true in system F
23:03:23 <zzo38> I have thought of things like that too; with things like (forall x. x -> x -> x -> x -> x -> x) the cardinality is how many -> there are. And do you know what kind of function (forall x. [x] -> Maybe x) is?
23:04:03 <oerjan> zzo38: the latter could branch on length to select which element, if any, to use?
23:04:13 -!- atehwa has joined.
23:04:28 <oerjan> although it needs to have an upper bound if you allow infinite lists
23:04:50 <zzo38> shachaf: Yes, that is church natural numbers
23:06:52 <zzo38> oerjan: What it seems to me is that if the input and output are treated as natural numbers, then the type constrains output to be less than or equal to the input
23:06:53 <oerjan> shachaf: for a start, you can try to construct the adt it emulates, like a -> a -> a means there are two constructors with no arguments
23:07:18 <oerjan> (a -> a) -> a -> a means there are two constructors, the first takes an argument of the same type
23:07:31 -!- TeruFSX has joined.
23:08:27 <oerjan> zzo38: well yes that's one way of looking at it
23:13:18 <ais523> --- google.com ping statistics ---
23:13:21 <ais523> 27 packets transmitted, 23 received, 14% packet loss, time 42327ms
23:13:21 <ais523> rtt min/avg/max/mdev = 17.485/31.434/156.107/32.597 ms
23:13:26 -!- calamari has quit (Quit: Leaving).
23:13:34 <ais523> there is something wrong with this connection, right?
23:14:05 <zzo38> oerjan: Well, is there the other way?
23:15:07 <nortti_> hmm it seems like all stack based data manipulation cam be defined using : ; >R R@ R> BEGIN WHILE LOOP IF EPSE THEN - >
23:15:55 <zzo38> And maybe you mean REPEAT instead of LOOP
23:16:04 <ais523> also, I'm again reminded that TCP can function even in cases of heavy packet loss
23:17:00 <nortti_> oh and with AND bitwise arimethrics can be implemented
23:17:21 <oerjan> zzo38: they're presumably all equivalent...
23:17:22 <kmc> ais523: not very well, though
23:18:12 <nortti_> ( : NOT 0 SWAP - 1 - ; : NAND AND NOT ; )
23:18:13 <ais523> well, yes, but what would work better?
23:18:28 <ais523> and 14% isn't as bad as it could be, it mostly just confuses slow-start and that sort of thing
23:19:12 <zzo38> But I guess I can see how they work : DUP >R R@ R> ; : DROP IF THEN ;
23:20:41 <nortti_> zzo38: actually : DROP DUP - - ;
23:21:31 <zzo38> Yes, that works too
23:22:17 <nortti_> ( that is how it is implemented in oonbotti's forth )
23:22:31 <zzo38> And even if you don't have 0 if you only have 1 you can still make : 0 1 1 - ;
23:23:48 <nortti_> actually even without numbers : + >R DUP DUP - R> - - ;
23:26:45 <nortti_> also numbers can easily be defined with if you have 0 1+
23:31:27 -!- ais523 has quit.
23:32:51 <nortti_> : > < NOT ; : = 2DUP > -ROT < OR ;
23:35:03 -!- ais523 has joined.
23:35:07 <nortti_> forth is pretty awesome because how much of it can be derived from so little
23:36:28 <pikhq_> Forth is awesome because when people call it "simple" they're not lying.
23:39:27 <nortti_> and with that and 1+ we can define : 1 0 1+ ;
23:41:12 <nortti_> : 2 1 1+ ; : 3 2 1+ ; : 4 2 2 * ; : 5 4 1+ ; : 6 2 3 * ; and so on and so on
23:43:46 <shachaf> Why does strcpy(dst, src) return dst?
23:43:51 <shachaf> That's such a useless value to return.
23:44:13 <ais523> you may well want to assign it to something
23:44:36 <shachaf> So assign dst to that something.
23:44:45 <shachaf> A much more useful value might be dst + strlen(src)
23:45:10 <elliott> strcpy is practically broken because of that
23:45:14 <shachaf> Or void. void would be better than always returning the first argument. :-(
23:45:45 <zzo38> shachaf: Yes I agree, dst + strlen(src) would probably be better
23:46:14 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quotw: not found
23:46:19 <HackEgo> 195) <tswett> That is the mark of Gregor right there. <ais523> tswett: except that Gregor didn't write that <tswett> It's still the mark of Gregor.
23:46:34 <HackEgo> 43) <Deewiant> I spent the last minute or so killing myself repeatedly \ 88) <ais523> so a.b.c.d.e.f.g.h.i.j.k.com might be self-relative, but a.b.c.d.e.f.g.h.i.j.k.l.com always means a.b.c.d.e.f.g.h.i.j.k.l.com.? \ 106) <soupdragon> if you claim that the universe is more than 3D the burden of proof is on you to produce a klien bottle that doesn't self intersect <soupdragon> ^ I learned that trick from atheists
23:47:23 <tswett> So, did quote 195 actually happen, or is HackEgo hallucinating?
23:47:46 <ais523> hmm, it'd be entirely possible to produce a klein bottle that doesn't self-intersect by using time as the remaining dimension
23:47:53 <ais523> but might be quite mechanically awkward to create one
23:48:03 <ais523> tswett: it probably just run out of space on the line
23:48:23 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quotificate: not found
23:48:30 <tswett> Yes, but my logs for freenode don't contain the phrase "mark of Gregor" except as said by HackEgo in that quote.
23:48:49 <ais523> perhaps you weren't there when you said it
23:48:50 <shachaf> Try a case-insensitive search.
23:49:01 <elliott> `pastlog ..:..:..: <ts.*still the mark of gregor
23:49:31 <tswett> Perhaps someone else said it in my name?
23:49:42 <ais523> I'm checking my local logs (of every channel), because I'm in the quote too
23:49:49 <ais523> perhaps it wasn't in #esoteric
23:50:04 <shachaf> My hard drive is only 750GB.
23:50:22 <shachaf> I once contemplated getting a 1TB hard drive, so I assumed that it must be 1TB.
23:50:41 <ais523> [Monday, December 06, 2010] [06:50:33 pm] <tswett>It's still the mark of Gregor.
23:50:59 -!- MDude has quit (Ping timeout: 246 seconds).
23:51:02 <tswett> Ah. My logs stop three weeks before that.
23:51:06 <ais523> that'll be UTC not glogbot-stupid-timezone
23:51:27 <tswett> Well, I have a strict one-year limit on identity.
23:51:35 <ais523> heh, that quote was 270 for a while
23:51:39 <shachaf> tswett: I have a 15-second limit!
23:51:51 <ais523> my logs didn't capture any numbers in between
23:51:52 <tswett> If something was done by someone more than one year ago, it was not done by me.
23:52:18 <lambdabot> No quotes match. That's something I cannot allow to happen.
23:53:20 -!- ais523 has quit.
23:53:50 <elliott> 00:51 <ais523> that'll be UTC not glogbot-stupid-timezone
23:53:56 <elliott> @tell ais523 glogbot's stupid timezone is UTC
23:55:23 <atehwa> elliott: oh, I dropped a few status updates here, too :) The event went fine, the voluntary exercises ran for a couple of weeks, no one really cared to do them, so I quit giving them.
23:55:58 <elliott> atehwa: Aw, that's a shame.
23:56:03 <elliott> Good to hear the event went well, though.
23:56:04 <atehwa> So, to summarise: consciousness about esolangs was heightened, there was nice participation across different universities, it was fun, and not very much else resulted. :)
23:56:19 <elliott> Sounds like the esolangs community in general
23:57:33 <atehwa> actually, the event was really fun. They posed a lot of good questions, both the likes of "how would you do this in Thue?" and the likes of "is there something that uses videos as source code"?
23:57:58 <atehwa> oh nooooo I got the quotes and the question mark the wrong way