00:02:14 <oerjan> ok, now i'm ready for your pathetic whining about the decay of rationality, reason and logic
00:02:48 <Slereah_> Here's a nice article about it : http://dis.4chan.org/read/vip/1243454099
00:02:55 <ehird> oerjan: you hurt me. you hurt me with a stick.
00:02:57 <oerjan> the latin adjective is "niger", although the suffixes are correct afaik
00:03:24 <ehird> oerjan: a pointy stick. possibly even rusty.
00:04:43 <oerjan> ah no, it's -er, -ra, -rum, so those are fine suffixes
00:05:34 <ehird> oerjan: I PRETTY MUCH AM A TURTLE
00:06:03 <oerjan> but then you wouldn't recognize logic _if_ it pinched you with a rusty, infected stick
00:07:01 <ehird> oerjan: no, turtles are very SOCILOLGICAL BAT
00:07:49 -!- RodgerTheGreat_ has quit.
00:07:55 <oerjan> bah, they are just decadent members of the tortoisie
00:10:13 <oerjan> WHY DO YOU HAVE TO INSULT MY MOM SHE IS DEAD OH MY GOD WHY MUST YOU BE SO CRUEL
00:10:40 <ehird> a flying fuck is given to the dove dove dove dove dove, i mean oven
00:11:16 <oerjan> wouldn't a flying duck be better. for the oven i mean.
00:12:12 <ehird> Just omit names; they're like
00:14:46 * oerjan assumes ehird is still talking, but omitting all the words
00:15:05 <ehird> oerjan: WORDS, FUCK WORDS!
00:15:17 <ehird> omit needless words WE HATE words so all
00:15:22 <ehird> forall quantification, implication of all
00:15:41 <oerjan> it's the logic of hate
00:15:48 <ehird> mental time DIPSHITTERY.
00:16:05 <ehird> types? do you KILL
00:28:09 <ehird> oerjan: but ~ as wave represents the curvature of a list of values, and the implicit line represents their mean.
00:38:17 -!- upyr[emacs] has quit (Remote closed the connection).
00:43:03 -!- GreaseMonkey has joined.
00:56:24 -!- oerjan has quit ("Good night").
01:01:13 <Warrigal> ehird: may I respond sarcastically to a sarcastic statement you made some weeks ago?
01:06:47 <CESSMASTER> i wonder if i should turn on my air conditioner and dehumidifer at the same time
01:38:38 -!- BeholdMyGlory has quit (Remote closed the connection).
02:15:58 -!- immibis has joined.
02:19:48 <immibis> does anyone here play tribal wars (http://www.tribalwars.net)?
02:28:10 -!- Corun has quit (Read error: 110 (Connection timed out)).
03:31:49 -!- comex has joined.
03:32:27 <comex> no response myndzi? :p
03:32:57 <pikhq> Huh. Myndzi must have turned off the script.
03:34:00 <GregorR> Well that was just confusing.
03:34:09 * GregorR stabs immibis in the face.
03:34:09 * immibis stabs GregorR in the face.
03:35:01 * pikhq stabs myndzi in the immibis
03:35:02 * myndzi stabs pikhq in the immibis
03:35:02 * myndzi stabs immibis in the pikhq
03:44:16 <myndzi> comex> no response myndzi? :p
03:44:20 * Warrigal performs the obligatory relatively null action.
03:44:21 * immibis performs the obligatory relatively null action.
03:44:24 <myndzi> comex> no response myndzi? :p
03:44:46 <Warrigal> So immibis echoes all of them, and I think myndzi only echoes ones containing "myndzi".
03:45:24 <myndzi> did somebody say null action? :)
03:45:28 <myndzi> ah, he didn't completely reproduce it
03:45:31 * pikhq stabs myndzi in the myndzi with the mydnzi. Also, immibis
03:45:32 * myndzi stabs pikhq in the pikhq with the mydnzi. Also, immibis
03:45:32 * immibis stabs myndzi in the myndzi with the mydnzi. Also, pikhq
03:45:33 * immibis stabs pikhq in the pikhq with the mydnzi. Also, myndzi
03:45:33 * myndzi stabs immibis in the immibis with the mydnzi. Also, pikhq
03:45:34 * immibis stabs myndzi in the myndzi with the mydnzi. Also, pikhq
03:46:10 * myndzi actually has flood protection
03:46:11 * immibis actually has flood protection
03:46:18 * Warrigal totally myndzi immibis myndzi immibis myndzi immibis and also wonders whether they replace all instances or only one.
03:46:18 * myndzi totally Warrigal immibis Warrigal immibis Warrigal immibis and also wonders whether they replace all instances or only one.
03:46:19 * immibis totally myndzi Warrigal myndzi Warrigal myndzi Warrigal and also wonders whether they replace all instances or only one.
03:46:19 * immibis totally Warrigal myndzi Warrigal myndzi Warrigal myndzi and also wonders whether they replace all instances or only one.
04:05:17 * immibis thinks he has triggered myndzi's flood protection
04:05:18 * myndzi thinks he has triggered immibis's flood protection
04:05:18 * immibis thinks he has triggered myndzi's flood protection
04:07:13 <immibis> hooray for flood protection
04:11:39 <myndzi> it used to blacklist users who abused but i disabled it because it tended to get in the way
04:11:55 <myndzi> and i hadn't had occasion for it to be useful in a situation like above for a long time
04:35:33 <immibis> http://forums.thedailywtf.com/forums/t/11475.aspx?View=Flat
04:51:40 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
05:28:04 -!- pikhq has joined.
05:49:24 -!- GreaseMonkey has quit ("HydraIRC -> http://www.hydrairc.org <- Nobody cares enough to cybersquat it").
06:29:47 -!- HackBot has joined.
06:30:09 <GregorR> (The world's least secure bot, now on FreeNode!)
06:31:42 <GregorR> It's sort of like EgoBot's !sh, but with a persistent environment including a bin dir that it actually uses to run its commands.
06:31:56 <GregorR> Oh, and access to google.com
06:32:06 <GregorR> And maybe I'll add esolangs.org
06:33:07 <HackBot> addquote \ calc \ define \ google \ quote
06:33:40 <GregorR> (use `run <command> for commands with full proper shell support, otherwise it just runs the command specified with the rest as one argument)
06:33:48 <GregorR> You wanted bin/define, btw
06:34:03 <HackBot> #!/bin/bash \ if [ ! "$1" ] \ then \ echo 'Define what?' \ exit 1 \ fi \ \ QUERY=`echo -n "$1" | od -t x1 -A n -w1000 | tr " " %` \ \ lynx --cfg=/dev/null --lss=/dev/null \ \ --dump --width=1000 'http://google.com/search?q=define:'"$QUERY" | \ grep -A 3 'Definitions of' | \ head -n 4 | tail -n 3
06:34:39 <HackBot> * a violent release of energy caused by a chemical or nuclear reaction \ * the act of exploding or bursting; "the explosion of the firecrackers awoke the children"; "the burst of an atom bomb creates enormous radiation aloft" \ * a sudden great increase; "the population explosion"; "the information explosion"
06:35:11 <pikhq> `run :(){ :|:& };:
06:35:31 <GregorR> Good lawd people, when will you realize that I run everything in carefully controlled environments :P
06:40:15 <GregorR> `fetch http://pastebin.ca/raw/1467237
06:40:20 <HackBot> 2009-06-20 05:40:20 URL:http://pastebin.ca/raw/1467237 [209] -> "1467237" [1]
06:40:43 <GregorR> `run mv 1467237 bin/esolang; perl -pe 's/\x0D//g' -i bin/esolang; chmod 0755 bin/esolang
06:41:31 <GregorR> Oh, hah, forgot the URL for lynx X_X
06:42:12 <GregorR> `fetch http://pastebin.ca/raw/1467238
06:42:17 <HackBot> 2009-06-20 05:42:16 URL:http://pastebin.ca/raw/1467238 [241/241] -> "1467238" [1]
06:42:19 <GregorR> `run mv 1467238 bin/esolang; perl -pe 's/\x0D//g' -i bin/esolang; chmod 0755 bin/esolang
06:43:52 <HackBot> Brainfuck is probably the most famous of the [6]esoteric programming languages, and has inspired the creation of a host of other languages. Due to the fact that the last half of its name is often considered one of the most offensive words in the English language, it is sometimes referred to as brainf***, brainf*ck, brainfsck,
06:44:06 <HackBot> Kipple is a minimalistic [6]esoteric programming language with a set of [7]stacks, four operators, and a single control structure. Kipple was designed by [8]Rune Berge in March, 2003.
06:57:00 <HackBot> bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr
06:57:07 <HackBot> /tmp/hackenv.29869/bin:/usr/bin:/bin
06:57:29 <HackBot> bash \ cat \ chgrp \ chmod \ chown \ cp \ cpio \ date \ dd \ df \ dir \ dmesg \ dnsdomainname \ echo \ ed \ egrep \ false \ fgrep \ grep \ gunzip \ gzexe \ gzip \ hostname \ ip \ kill \ less \ lessecho \ lessfile \ lesskey \ lesspipe \ ln \ login \ ls \ lsmod \ mkdir \ mknod \ mktemp \ more \ mount \ mountpoint \ mt \ mt-gnu
06:57:59 <immibis> `run for a in 0 1 2 3 4 5 6 7 8 9; do {echo hi; } done
07:04:32 -!- immibis has changed nick to immibis_.
07:04:38 -!- immibis_ has changed nick to immibis.
07:05:28 <HackBot> This is HackBot, the extremely hackable bot. To run a command with one argument, type "`<command>", or "`run <command>" to run a shell command. "`fetch <URL>" downloads files, otherwise the network is inaccessible. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository; if you're faimilar with mercurial, you can fix any problems caused by accidents or malice.
07:05:36 <HackBot> /usr/bin/whoami: cannot find name for user ID 2020678
07:05:45 <GregorR> Hm, that should have worked >_>
07:06:02 <immibis> `run yes > extremely-large-file
07:06:17 <immibis> `run ls -lh extremely-large-file
07:06:18 <HackBot> -rw-r--r-- 1 5000 5000 10M Jun 20 06:06 extremely-large-file
07:06:21 <immibis> `run ls -lh extremely-large-file
07:06:22 <HackBot> -rw-r--r-- 1 5000 5000 10M Jun 20 06:06 extremely-large-file
07:06:26 <immibis> `run ls -l extremely-large-file
07:06:27 <HackBot> -rw-r--r-- 1 5000 5000 10485760 Jun 20 06:06 extremely-large-file
07:06:44 <HackBot> /bin/df: cannot read table of mounted file systems: No such file or directory
07:06:45 <GregorR> It's really not all that extremely large, is it :P
07:07:02 <immibis> `run yes 2>&1 > other-extremely-large-file
07:07:04 <HackBot> /usr/bin/yes: standard output: File too large \ /usr/bin/yes: write error
07:07:12 <HackBot> rootfs on / type rootfs (rw) \ none on /sys type sysfs (rw,nosuid,nodev,noexec) \ none on /proc type proc (rw,nosuid,nodev,noexec) \ udev on /dev type tmpfs (rw,size=10240k,mode=755) \ /dev/disk/by-label/PRGMRDISK1 on / type ext3 (rw,errors=remount-ro,data=ordered) \ tmpfs on /lib/init/rw type tmpfs (rw,nosuid,mode=755)
07:07:26 <HackBot> Usage: mount -V : print version \ mount -h : print this help \ mount : list mounted filesystems \ mount -l : idem, including volume labels \ So far the informational part. Next the mounting. \ The command is `mount [-t fstype] something
07:08:03 <HackBot> bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr
07:08:13 <HackBot> bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr
07:08:20 <pikhq> `ln -s /proc/mounts /mnt/mtab
07:08:38 <HackBot> Also you think they're solving murders all the time? They're out wiritng ..... your-a-moron. it should have been labeled youre-a-moron regardless of the ... \ digg.com/xbox/WOW_You_re_a_MORON - [17]Cached - [18]Similar
07:08:54 <pikhq> `ln -s /proc/mounts /etc/mtab
07:08:56 <HackBot> /bin/df: cannot read table of mounted file systems: No such file or directory
07:09:37 <GregorR> Didn't you guys get your fill doing this to EgoBot ?
07:11:45 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
07:16:40 -!- pikhq has joined.
07:21:07 -!- EgoBot has quit (Remote closed the connection).
07:21:26 -!- EgoBot has joined.
07:21:46 -!- HackBot has quit (Remote closed the connection).
07:23:43 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
07:34:09 -!- pikhq has joined.
07:42:12 <EgoBot> /usr/bin/whoami: cannot find name for user ID 1468460
07:42:22 <EgoBot> /bin/df: cannot read table of mounted file systems: No such file or directory
07:42:36 <GregorR> Except that HackBot lets you keep files.
07:42:42 <EgoBot> /home/egobot/egobot.hg/multibot_cmds
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:00:56 <immibis> but in the same root as hackbot
09:16:31 -!- kar8nga has joined.
09:30:15 -!- MigoMipo has joined.
09:32:23 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
09:32:54 -!- Patashu has joined.
09:44:00 <immibis> heh, "find | xargs grep" will stop if it encounters a fifo
09:44:23 * immibis now knows how to piss off people who use the command line for everything
09:45:10 <immibis> assuming nothing else is using the fifo, yes
09:45:17 <immibis> because grep tries to read from it until eof
09:46:49 <immibis> so it will pause until something writes to the fifo
09:47:20 <immibis> sorry, "stop" is ambiguous. i meant "pause"
10:28:19 -!- immibis has quit ("Make it idiot proof and someone will make a better idiot.").
10:30:52 -!- oerjan has joined.
10:41:03 <oerjan> proper spelling is "morgen"
10:41:26 <AnMaster> similar to Swedish "morgon" indeed.
10:42:27 <oerjan> as i implied the other day, i find it amusing that !swedish tends to _add_ e's when the impression for a norwegian is the exact opposite
10:50:12 <AnMaster> impression? You mean when a Norwegian would think the reverse would apply for Swedish?
10:50:34 <oerjan> yes, you turn e's into other things all over the place :D
10:51:15 <AnMaster> oerjan, I suspect it was actually the opposite, when you consider history :P
10:52:15 <oerjan> also it doesn't apply wrt all norwegian, many dialects and nynorsk have plenty of non-e
10:52:20 <AnMaster> oerjan, but you say we *add* e:s too? (err what is the plural of "e"? I can't be e's, since that would be like "foo's bar"...)
10:52:39 <oerjan> nevertheless i think it's e's
10:52:48 <AnMaster> yeah that command is so wrong :P
10:53:13 <oerjan> "e's" as the plural of "e"
10:53:32 * oerjan swats AnMaster -----###
10:54:01 <AnMaster> oerjan, go dance some samba then
10:54:11 * AnMaster wonders if oerjan will get that obscure reference
10:54:34 <AnMaster> you know the software samba right?
10:55:04 <AnMaster> windows file sharing server/client tools for *nix.
10:55:17 <oerjan> that's the part i _know_ when i say barely
10:55:20 <AnMaster> it's web config ui thingy is called SWAT
10:55:51 <AnMaster> iirc that stands for Samba Web Administration Tool
10:55:56 <oerjan> ok, that was better than i feared
10:56:05 <AnMaster> oerjan, what did you fear then...
10:56:22 <oerjan> something even more incomprehensible
11:10:23 -!- kar8nga has quit (Remote closed the connection).
11:29:10 -!- KingOfKarlsruhe has joined.
11:29:12 -!- oerjan has quit ("leaving").
11:40:09 -!- Corun has joined.
11:47:37 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server").
12:37:39 -!- BeholdMyGlory has joined.
13:02:59 -!- Corun has quit.
13:38:19 -!- upyr[emacs] has joined.
13:58:04 -!- bsmntbombdood_ has quit (Read error: 110 (Connection timed out)).
14:27:44 -!- MigoMipo has joined.
14:34:13 -!- Patashu has quit ("Patashu/SteampunkX - MSN = Patashu@hotmail.com , AIM = Patashu0 , YIM = Patashu2 .").
14:45:23 -!- bsmntbombdood has joined.
14:46:35 -!- KingOfKarlsruhe has quit (Remote closed the connection).
15:02:22 -!- bsmntbombdood has quit (Connection timed out).
15:27:35 -!- kar8nga has joined.
15:55:01 -!- pikhq has joined.
15:56:04 -!- HackBot has joined.
16:02:06 -!- iEhird has joined.
16:02:58 <iEhird> oerjan: and your batallion is weaker still :p
16:03:10 -!- iEhird has quit (Remote closed the connection).
16:14:34 -!- Hiato has joined.
16:30:04 -!- ais523 has joined.
16:41:55 -!- Hiato has quit (Remote closed the connection).
17:01:33 -!- kar8nga has quit (Read error: 104 (Connection reset by peer)).
17:26:50 <GregorR> `addquote <Slereah> EgoBot just opened a chat session with me to say "bork bork bork"
17:27:54 <GregorR> Hm, HackBot is FreeNode-unresponsive ...
17:28:21 <GregorR> Ohhhhhhh, and I know why >_>
17:29:07 -!- HackBot has quit (Remote closed the connection).
17:30:22 -!- HackEgo has joined.
17:30:39 <GregorR> It's a bot I made that's sort of like EgoBot's !sh, but more powerful because it allows persistent files.
17:30:50 <GregorR> So anybody can add new commands, e.g.
17:30:52 <GregorR> `addquote <Slereah> EgoBot just opened a chat session with me to say "bork bork bork"
17:30:53 <HackEgo> 5|<Slereah> EgoBot just opened a chat session with me to say "bork bork bork"
17:35:23 <GregorR> That is, since addquote is just a file in $PWD/bin:
17:35:25 <HackEgo> addquote \ calc \ define \ esolang \ google \ imdb \ quote
17:36:33 <ais523> also, you're sharing a prefix with unlambda
17:37:12 <GregorR> Well, unlambda isn't here ;P
17:38:03 <HackEgo> Retrieved from "[8]http://esolangs.org/wiki/Bf"
17:38:03 -!- kar8nga has joined.
17:38:13 <GregorR> Heh, you need the full name :P
17:38:17 <HackEgo> Brainfuck is probably the most famous of the [6]esoteric programming languages, and has inspired the creation of a host of other languages. Due to the fact that the last half of its name is often considered one of the most offensive words in the English language, it is sometimes referred to as brainf***, brainf*ck, brainfsck,
17:38:26 <GregorR> It just fetches junk from the esolang wiki.
17:38:38 <HackEgo> Retrieved from "[8]http://esolangs.org/wiki/Main_page"
17:38:48 <HackEgo> NTCM is an [6]esoteric programming language developped by [7]user:Slereah. It is based on a [8]Turing machine with multiple tapes and I/O (the name stands for n-tape choice machine).
17:38:58 <HackEgo> This article is a stub, which means that it is not detailed enough and needs to be expanded. Please help us by adding some more information.
17:39:15 <GregorR> ais523: It's hard to guess what the relevant info is in a short shell script :P
17:39:20 <HackEgo> Retrieved from "[8]http://esolangs.org/wiki/Recursion"
17:41:30 <GregorR> Oh, and you can use `fetch <URL> to download stuff into the environment. But be careful of pastebins, most of them put \r\n-style newlines on so you'll have to run it through dos2unix for it to work.
17:47:40 <pikhq> Imagine, they use network newlines.
17:47:58 <pikhq> (yes, that's not just a DOS-ism, that's RFC. Whooo.)
17:48:01 <GregorR> But it doesn't matter after the headers :P
18:03:39 -!- bsmntbombdood has joined.
18:08:06 -!- iEhird has joined.
18:08:46 <iEhird> PETA asked phish to rename to sea kitten. I'm not joking
18:08:54 -!- iEhird has quit (Remote closed the connection).
18:20:33 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
19:01:32 <GregorR> http://img40.imageshack.us/img40/9172/1245456677307.jpg
19:20:38 <AnMaster> hm, I remember someone in here made some tool to figure out shortest link path from one article to another on wikipedia... But I can't find it in the logs...
19:20:49 <ais523> that was GregorR, wasn't it?
19:21:12 <GregorR> I made a vaguely similar "tool" which is a game and not a tool :P
19:21:23 <AnMaster> GregorR, so who made the tool then
19:21:24 <MigoMipo> AnMaster: http://www.netsoc.tcd.ie/~mu/wiki/
19:24:41 <GregorR> Congratulations! You found Jesus in 4 clicks!
19:26:33 <GregorR> My pseudo-related thing is a web version of Five Clicks to Jesus
19:27:16 <AnMaster> GregorR, I wonder how much longer the paths would be without articles like [[2007]] [[5]] and such
19:32:04 -!- bsmntbombdood has joined.
19:40:04 <lament> i read paths as penis :(
19:40:51 <GregorR> `addquote <lament> i read paths as penis :(
19:40:51 <HackEgo> 4|<lament> i read paths as penis :(
19:50:09 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
19:50:41 -!- bsmntbombdood has joined.
19:51:11 -!- oerjan has joined.
19:51:45 -!- CESSMASTER has quit (Remote closed the connection).
19:52:38 <oerjan> 08:02:29 <iEhird> erik naggum 1965-2009
19:52:38 <oerjan> 08:02:58 <iEhird> oerjan: and your batallion is weaker still :p
19:53:16 * oerjan swats that smile off ehird's face -----###
19:55:18 * oerjan thinks he _may_ have talked to naggum on usenet once. possibly.
19:59:00 <AnMaster> google only gives "erik naggum" for that, The same?
19:59:32 <oerjan> any chance you could read more than three lines up?
19:59:58 <AnMaster> oerjan, I don't want to give anyone a shock by doing that, so no
20:00:14 <AnMaster> also it is probably against my religion or something.
20:00:27 <oerjan> well then you'll just have to remain ignorant on this issue as with others ;D
20:01:09 <pikhq> Random, silly idea. Funcfuck. Brainfuck with: variables, functions. Nothing else. ... Clearly, I'm bored on a Saturday.
20:02:00 <AnMaster> pikhq, variables and functions.. hm. Details.
20:02:19 <AnMaster> I guess you need variable assignment too
20:03:31 <pikhq> cp(x,y){@a x[y+a+x-] a[x+a-]}
20:03:58 <AnMaster> pikhq, that isn't only variables though, that is a loop there.
20:04:10 <pikhq> Declare a variable.
20:04:27 <pikhq> And yes, there's a loop. That's Brainfuck.
20:04:34 <AnMaster> also addition and substraction
20:04:45 <pikhq> That's Brainfuck. Yes.
20:04:47 <AnMaster> pikhq, then it isn't *only* variables and functions really ;P
20:05:01 <AnMaster> (depends on what you meant with only there)
20:05:20 <pikhq> "Nothing else" meaning "that's all that's added".
20:05:23 <AnMaster> pikhq, ah, I interpreted "Nothing else" as "remove all other bf stuff"
20:05:39 <AnMaster> both interpretations were possible
20:05:57 <pikhq> Brainfuck with *only* variables and functions would not be Brainfuck. That'd be (lambda) and (def).
20:06:52 <AnMaster> pikhq, that was my conclusion too.
20:06:54 * pikhq may want to use Gregor's Brainfuck ld for this; need to figure out how that works
20:07:16 <AnMaster> pikhq, you could compile it into something else than bf
20:07:26 <AnMaster> like, C, or whatever. Quite trivially
20:07:42 <AnMaster> pikhq, also, what is this "Brainfuck ld"
20:07:59 <pikhq> It's a linker. For Brainfuck.
20:08:16 <AnMaster> pikhq, I was wondering "what sort of input", but that answered my question
20:08:31 <AnMaster> (since you need some sort of metadata to perform meaningful linking)
20:08:41 <ais523> a lot simpler than bf-ld, I imagine
20:08:45 <ais523> because bf-ld's an assembler too
20:10:09 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
20:10:16 <AnMaster> ais523, on the other hand, higher level input allows you to more easily do optimisations on the output. Which is why you don't use plain old object files for LTO, but some sort of extended format, such as llvm bytecode or whatever
20:10:19 -!- bsmntbombdood has joined.
20:10:35 <AnMaster> and I can actually think of some possible LTO for bf yes
20:10:38 <ais523> AnMaster: I don't really care about link-time optimisations for gcc-bf
20:10:49 <ais523> just simple things like efficient multiplication are hard enough
20:11:36 <AnMaster> for example: based on profile feedback (or heuristics if profile feedback isn't available) try to place called functions close to the caller.
20:12:28 <AnMaster> the function itself too maybe, if it means you can just go straight into that function, skipping the main switch thingy. Would help for tail calls I guess..
20:13:16 <AnMaster> ais523, at what layer of gcc does it handle tail call optimisation
20:13:28 <pikhq> I'd imagine it's in RTL.
20:13:31 <ais523> AnMaster: I don't know off hand
20:13:39 <ais523> but it'll either be at the RTL or GENERIC level, most likely
20:17:22 <oerjan> <GregorR> ais523: It's hard to guess what the relevant info is in a short shell script :P
20:17:44 <oerjan> you could look for the ''' title bolding
20:18:09 <GregorR> I'm downloading the rendered HTML, not the source wikicode.
20:18:24 <ais523> look for bold tags then
20:22:19 -!- augur_ has joined.
20:22:20 -!- augur has quit (Read error: 104 (Connection reset by peer)).
20:25:56 <HackEgo> Linux codu.org 2.6.26-1-xen-amd64 #1 SMP Sat Jan 10 20:39:26 UTC 2009 x86_64 GNU/Linux
20:26:50 <AnMaster> ais523, but the output of gcc-bf is tail call optimised too right?
20:27:01 <AnMaster> since the switch for it is an -f one, not an -m one
20:27:10 <ais523> I wasn't modifying the bit of gcc that does that
20:27:24 <pikhq> Easy to test if you've got gcc-bf producing functioning output.
20:27:58 <AnMaster> ais523, btw, much to do in "RL" still?
20:28:19 <ais523> AnMaster: no, but I've just finished my degree
20:28:27 <ais523> and am not in much of a mood to do anything, I'm rather tired and breathless
20:29:07 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
20:29:32 <GregorR> Tia would be a better lap kitty if she wasn't so overweight :P
20:30:49 <ais523> I've got a provisional first, which is great
20:32:28 -!- puzzlet_ has quit (Read error: 60 (Operation timed out)).
20:33:11 <AnMaster> "provisional first"? The google results I get are all about US tax...
20:33:20 * GregorR has no idea what that means in context.
20:33:58 <ais523> ok, there are five ranks of degree results you can get in the UK
20:34:07 <ais523> first (best), upper second, lower second, third, and pass
20:34:11 <ais523> also, fail, but that isn't a degree at all
20:34:28 <ais523> and provisional just means that the mark hasn't been approved by the final appeals board people yet
20:34:38 <ais523> generally speaking, though, they leave marks the same unless there's an appeal
20:34:57 <ais523> AnMaster: it's also a possible result from exams
20:37:59 <oerjan> and your exam result is... "great success!"
20:38:53 <GregorR> ALL YOUR EXAM ARE BELONG TO US
20:39:43 * oerjan sometimes feels slightly bad about using memes from sources he hasn't seen himself...
20:39:54 <oerjan> but then, probably everyone does
20:40:31 <AnMaster> Why aren't there any memes based on the works of Shakespeare for example? Or are there?
20:41:02 <oerjan> some of those are probably so ingrained in english that no one knows they are memes...
20:41:31 <ais523> many words in common English usage were apparently invented by Shakespeare
20:41:40 <oerjan> since in principle every word is a meme
20:41:44 <ais523> I can't remember offhand
20:41:49 <ais523> but a websearch will probably find out
20:42:10 <GregorR> `google words invented by shakespeare
20:42:10 <HackEgo> And what really gets my goat up is you thinking that Shakespeare borrowed words that were already in existance at the time he did not, he INVENTED these ... \ piksels.com/words-invented-by-shakespeare/ - [17]Cached - [18]Similar
20:42:23 <ais523> http://www.nosweatshakespeare.com/resources/shakespeare-words.htm is one interesting result
20:42:32 <ais523> I don't know how accurate it is, but it contains words such as "apostrophe"
20:42:46 <oerjan> ais523: i seem to vaguely recall reading that that is a bit of a myth based on he being just the first known source of a word...
20:43:02 <oerjan> but then, that may have been a myth too
20:43:11 <ais523> I don't see any reason why Shakespeare would be the one to invent apostrophes
20:43:30 <Deewiant> Apostrophe has another meaning than ', it could have been that one
20:43:54 <oerjan> ah wikipedia supports me
20:43:56 <Deewiant> Although dictionary.com suggests that specifically the ' meaning originated during Shakespeare's time
20:44:10 <oerjan> "It is often stated that Shakespeare "invented" ("coined") more words into English than any other author. This is a misconception . rather, Shakespeare's works are often the earliest cited written record of many words in such dictionaries as the Oxford English Dictionary (OED)."
20:44:49 <oerjan> although that section has disturbingly no citations
20:45:10 <GregorR> Citations are for the weak.
20:45:35 <oerjan> the next section says the exact opposite, and is littered with "citation needed" :D
20:45:55 <oerjan> (http://en.wikipedia.org/wiki/Shakespeare's_influence)
20:47:20 <ais523> incidentally, Enigma fans: http://download.berlios.de/enigma-game/ExtralifeCandidates.png
20:47:25 <ais523> they want to replace the extra life symbol
20:47:36 <ais523> and those are the four suggested replacements
20:49:16 <GregorR> http://codu.org/projects/hackbot/fshg/
20:49:42 <pikhq> Y'know what Esotope needs? A brainfuck backend.
20:54:53 <oerjan> that article seems to have become rather confusing as the result of merging at least 3 older articles
20:55:56 <AnMaster> <ais523> incidentally, Enigma fans: http://download.berlios.de/enigma-game/ExtralifeCandidates.png <--- application/x-download ? wth?
20:56:24 <AnMaster> wm;dl (wrong mime type, didn't look)
20:56:31 <ais523> AnMaster: yep, I was having trouble too
20:56:43 <ais523> but then, the Enigma people never seem to put information up in a sensible manner
20:56:52 <ais523> I remember them linking to a Flash video rather than embedding it, for instance
20:57:26 <AnMaster> ais523, ok I opened it from inside gimp
20:57:35 <AnMaster> I don't understand what that picture is showing...
20:58:02 <ais523> AnMaster: it's an Enigma level
20:58:09 <ais523> with the new extralife symbols added
20:58:19 <ais523> the question is, which of the four yellow symbols works best as an extralife
20:58:52 <AnMaster> ais523, I thought it was some new system to replace extra lives...
20:58:58 <AnMaster> anyway the current one look best
20:58:59 <ais523> no, just a different image
20:59:02 <AnMaster> the other one looks out of place
20:59:14 <ais523> and they want to move away from the current one, as it looks identical to a new actor they want to add
20:59:31 <AnMaster> ais523, why not use one of those symbols as the actor then ;P
20:59:44 <AnMaster> would be less confusing for old players
20:59:54 <ais523> AnMaster: because it wouldn't look like a black version of the meditation marble
21:02:20 <AnMaster> ais523, they should make the main ball yellow too then (which would rather defeat the point as well)
21:02:45 <ais523> the extralives are black on the ground even if you have a white marble, though
21:09:37 -!- augur has joined.
21:10:01 -!- augur has quit (Read error: 104 (Connection reset by peer)).
21:10:30 -!- augur has joined.
21:10:48 -!- augur_ has quit (Read error: 104 (Connection reset by peer)).
21:16:06 * GregorR can't figure out a way to make HackEgo support wolfram-alpha.
21:16:59 <AnMaster> GregorR, you can't say that. Coding a MIPS emulator in JS then saying stupid JS... You are disqualified.
21:23:54 <ehird> Warrigal: feel free.
21:25:09 <ehird> 11:52:38 <oerjan> 08:02:29 <iEhird> erik naggum 1965-2009
21:25:11 <ehird> 11:59:00 <AnMaster> google only gives "erik naggum" for that, The same?
21:25:38 <ehird> 12:01:09 <pikhq> Random, silly idea. Funcfuck. Brainfuck with: variables, functions. Nothing else. ... Clearly, I'm bored on a Saturday.
21:26:37 * pikhq is thinking of implementing a Forth, instead. Significantly more useful and all that.
21:27:09 <ehird> pikhq: A Forth; Forths. Forthii. Forthae.
21:29:28 <ehird> It's called Latin, swine.
21:29:47 <AnMaster> svin kan du vara själv i så fall
21:29:54 <oerjan> Cithius, Althius, Forthius
21:30:20 <ehird> 12:27:58 <AnMaster> ais523, btw, much to do in "RL" still?
21:30:24 <ehird> clearly AnMaster has never been a university student
21:30:50 <AnMaster> ehird, I wasn't sure if it was summer holidays for him yet.
21:30:59 <AnMaster> what with different such in different countries too
21:34:55 <ehird> 12:47:20 <ais523> incidentally, Enigma fans: http://download.berlios.de/enigma-game/ExtralifeCandidates.png
21:34:55 <ehird> 12:47:25 <ais523> they want to replace the extra life symbol
21:34:57 <ehird> 12:47:36 <ais523> and those are the four suggested replacements
21:35:01 <ehird> there is no reason for it to be in a yellow box.
21:35:06 <ehird> make it a red heart
21:35:50 <ehird> if you disagree, you're wrong :) :P
21:36:15 <ehird> 13:16:06 * GregorR can't figure out a way to make HackEgo support wolfram-alpha.
21:36:15 <ehird> 13:16:10 <GregorR> Stupid JS :P
21:36:21 <ehird> GregorR: hook into webkit then kill yourself
21:37:09 * pikhq is crazy, and thinking of writing a Brainfuck Forth.
21:37:22 <ehird> pikhq: Considered that, started, gave up; it's not actually all that interesting.
21:37:27 <ehird> pikhq: It'd be a fairly trivial translation of JonesForth.
21:37:47 <ehird> pikhq: Write a minimal forth forth that can forth itself :-)
21:38:35 <Warrigal> ehird: actually, I may have said this already.
21:38:41 <ehird> Quite a few Forths are written in Forth, apparently, or at least used to be; I suppose that's less common what with Forth not being very ubiquitous these days and certainly things like gforth and RetroForth aren't written in Forth.
21:38:55 <Warrigal> Anyway, OMG SOMETIMES HOW IT WORKS IN NATURE IS BETTER THAN SOME RANDOM THING YOU CAME UP WITH
21:38:56 <ehird> Warrigal: Well, say it again anyway; whatever it is, I've probably forgotten it.
21:39:05 <ehird> Warrigal: Now, what was that in response to?
21:39:25 <Warrigal> Something along the lines of OMG SOMETIMES GENETIC ALGORITHMS DON'T WORK EXACTLY THE SAME WAY AS IN NATURE
21:39:51 <ehird> Warrigal: If that's what I said, then your response is stupid :p
21:40:11 <Warrigal> Telling me it's stupid isn't going to help, because I already think that it's not stupid.
21:40:44 <GregorR> Bleh, I can't even convince wolfram to generate a PDF for me :P
21:40:45 <ehird> Warrigal: you're an butt.
21:40:55 <ehird> GregorR: He's too busy fondling his ego.
21:41:20 <ehird> GregorR: Fun fact: that "PDF" link is actually a <span>.
21:41:35 <ehird> The "Mathematica form" links on some inputs? They're javascript: links.
21:41:40 <ehird> Consistency hyuk hyuk!
21:42:07 <GregorR> I tried going to the URL specified in the JS manually, but it figures out I'm being sneaky and doesn't generate the PDF :P
21:43:12 <GregorR> Mmm, referrer, that's a good point >_>
21:43:55 <ehird> GregorR: Referer. It's in the HTTP spec.
21:44:01 <ehird> An HTTP referer is a referrer.
21:44:13 <ehird> YOU SHALL EXHALT THE EXHALTED TYPO.
21:44:38 <ehird> Hmm, seems like http://lemonodor.com/ is dead. No posts since september and the main page just links to archives instead of recent posts.
21:46:09 <GregorR> Nope, referrer didn't solve it ...
21:46:22 <GregorR> Maybe it's because I'm not actually generating all the data in the first place :P
21:47:59 <AnMaster> I think someone mentioned a "don't ever remove anything" file system in here some months ago.
21:48:09 <AnMaster> mentioned as "discussed the idea"
21:48:28 <AnMaster> seems like the lastest linux kernel supports such an FS
21:50:41 -!- kar8nga has quit (Remote closed the connection).
21:53:03 <Warrigal> AnMaster: ehird said "exhalt".
21:53:34 <ehird> AnMaster: You can... look up?
21:53:36 <ehird> Further than 3 lines?
21:53:40 <ehird> THIS CHANGES. EVERYTHING.
21:53:56 <AnMaster> ehird, only when the phase of the moon is exactly correct
21:54:06 <AnMaster> oh and about 500 other variables too
22:00:16 <GregorR> Well, I can get wolframalpha to give me the necessary data in JSON format :P
22:01:08 <GregorR> Do you think graphs are going to make it here?
22:04:25 * GregorR just doesn't understand why the PDF part isn't working ... I can get all the data, I just can't convince it to make a PDF :(
22:05:54 <GregorR> It's because I'm a retord!
22:06:54 <fizzie> Just in case you haven't noticed (although you probably already know); you're actively trying to be in violation of the W|A Terms of Use: "The Wolfram|Alpha service may be used only by a human being using a conventional web browser to manually enter queries one at a time."
22:07:54 <pikhq> GregorR: So, think you could describe the format of your Brainfuck ld?
22:07:57 <ais523> they also claim people under 18 can't use
22:08:53 <pikhq> ... So, don't even remember it. Great.
22:09:02 <pikhq> Fills me with confidence in trying to use it for anything. :P
22:10:33 <GregorR> pikhq: If you read the file, try to figure something out, then ask me, I may be jogged into remembering :P
22:11:15 <oerjan> this information is available only on a need-to-know basis. even to the author.
22:11:25 <GregorR> `fetch http://pastebin.ca/raw/1467987
22:11:26 <HackEgo> 2009-06-20 21:11:25 URL:http://pastebin.ca/raw/1467987 [846/846] -> "1467987" [1]
22:11:42 <GregorR> `run mv "1467987" bin/wolfram; dos2unix bin/wolfram; chmod 0755 bin/wolfram; echo done
22:11:48 <GregorR> `wolfram distance to jupiter
22:11:56 <HackEgo> distance to jupiter Input interpretation: Jupiter Current result: distance from Earth 4.436 AU astronomical units Value: 6.636 108 km kilometers Comparison as distance: 4.4 mean Earth Sun distance Corresponding quantity: 1 AU Solar radiation pressure from P 0.23 µPa micropascals L c4Πr2 : Generated by Wolfram|Alpha
22:11:56 <ehird> `wolfram PLOT DISTANCE TO JUPITER OVER TIME LOLOLOL
22:12:02 <ehird> GregorR: Needs moar \
22:12:54 <ehird> http://www81.wolframalpha.com/input/?i=distance+to+jupiter+over+time
22:12:57 <ehird> Jupiter | distance from Earth | current time
22:12:57 <ehird> location Over,United Kingdom
22:13:37 <GregorR> The distance is much greater from over the US.
22:13:51 <HackEgo> 4.43600 Astronomical Units = 412 352 317 miles
22:14:12 <pikhq> GregorR: Of (stack heap stack-marker walk carry), what is the pointer on?
22:14:30 <GregorR> pikhq: Stack unless there's reason for it to be elsewhere.
22:14:40 <GregorR> (i.e. you're mid-operation)
22:16:22 <ehird> `calc number of faggots in a nigger butt
22:16:23 <HackEgo> www.urbandictionary.com/define.php?term=+nigger+faggot - [19]Similar
22:16:27 <ehird> `wolfram number of faggots in a nigger butt
22:16:40 <ehird> `wolfram number of faggots in a faggot
22:16:47 <HackEgo> number of faggots in a faggot Input interpretation: convert 1 faggot to faggots Result: 1 faggot Additional conversions: 0.027 m3 cubic meters Comparisons: (6 10 4 to 0.0014) twenty foot equivalent unit 680 to 1520 ft3 Interpretation: volume Basic unit dimensions: 3 length Generated by Wolfram|Alpha (www.wolframalpha.com)
22:17:04 <ehird> `wolfram faggots per second in miles per second
22:17:11 <HackEgo> faggots per second in miles per second \ \ Input interpretation: \ \ convert 1 faggots s faggot per second to miles per second \ Result: \ \ faggots s faggots per second and mi s miles per second are not compatible. \ \ Unit information: \ \ unit \ faggots s faggots per second \ \ dimensions length time length \ 3 \ \
22:17:21 <ehird> `wolfram speed of light in faggots per second
22:17:28 <HackEgo> speed of light in faggots per second \ \ Input interpretation: \ \ convert 1 c speed of light in vacuum to faggots per second \ Result: \ \ c speed of light in vacuum and faggots s faggots per second are not compatible. \ \ Unit information: \ \ unit \ c speed of light in vacuum \ \ dimensions length time length \ 3 \ \
22:17:38 <augur> ehird: are you trying to understand what you're equivalent to in normal units of measure?
22:17:40 <augur> because it wont work.
22:18:04 <ehird> `wolfram 1 au in beardseconds
22:18:10 <HackEgo> 1 au in beardseconds \ \ Input interpretation: \ \ convert 1 AU astronomical unit to beard seconds Nordling and Österman convention \ Result: \ \ 2.99195741383 1019 beard seconds Nordling and Österman convention \ Additional conversions: \ \ 1.49597870692 108 km kilometers \ Interpretation: \ \ length \ Corresponding
22:18:35 <GregorR> `wolfram poorest countries in asia
22:18:41 <HackEgo> poorest countries in asia \ \ Input interpretation: \ \ poorest country in Asia \ \ Result by GDP per capita: \ \ 1 2 3 4 5 \ \ Myanmar Afghanistan Nepal Tajikistan East Timor \ \ $216.50 per year $217.79 per year $273.19 per year $359.97 per year $374.21 per year \ \ Generated by Wolfram|Alpha (www.wolframalpha.com)
22:18:58 <AnMaster> GregorR, is HackEgo some variant of EgoBot?
22:19:19 <ehird> `wolfram deaths / world gdp
22:19:27 <HackEgo> deaths world gdp \ \ Input interpretation: \ \ world \ \ annual deaths GDP \ \ world \ Result: \ \ 1.212 10 \ History: \ \ 6 \ \ people $ people per US dollar \ \ 2006 estimate \ \ prune`result \ Currency conversions: \ \ JPY EUR GBP CNY CAD MXN \ \ 1.252 10 1.697 10 1.997 10 1.766 10 1.07 10 \ 6 \ \ 8 8 8 7 \ \
22:19:29 <GregorR> It's like EgoBot's !sh, but with a persistent data storage area.
22:19:43 <ehird> GregorR: That result is totally useless compared to the online one
22:19:57 <GregorR> ehird: My lack of interest is palpable :P
22:20:21 <ehird> GregorR: But it gets the result completely wrong. "1.212 10" != "1.212 x 10^-6 people/$"
22:20:32 <GregorR> ehird: My lack of interest is palpable :P
22:21:11 <ehird> Then I'm not sure why
22:21:39 <HackEgo> * capable of being perceived; especially capable of being handled or touched or felt; "a barely palpable dust"; "felt sudden anger in a palpable ... \ * can be felt by palpation; "a palpable tumor" \ [15]wordnet.princeton.edu/perl/webwn
22:22:08 <GregorR> ehird: I'm sorry that your particular pet function doesn't come across properly. Where by "sorry" I mean "I don't care"
22:22:30 <AnMaster> seems a bit too many as separators
22:22:45 <AnMaster> GregorR, what about converting that into | or something
22:22:51 <coppro> `wolfram The Answer to the Ultimate Question
22:22:56 <HackEgo> The Answer to the Ultimate Question \ \ Input interpretation: \ \ answer to life, the universe, and everything \ Result: \ \ 42 \ according to Douglas Adams' humorous science fiction novel Hitchhiker ' s Guide to the Galaxy \ \ Generated by Wolfram|Alpha (www.wolframalpha.com) on June 20, 2009 from Champaign, IL. © Wolfram
22:23:08 <GregorR> <*> GregorR: Anything you implement is insufficient in some whiny and ridiculous way!
22:23:34 <AnMaster> GregorR, I think it is currently great, but could be even better
22:24:12 <oerjan> `run echo 'cat >/dev/null' > bin/GregorR
22:24:46 <GregorR> You realize it's not chmod 0755, right? :P
22:25:00 <oerjan> `run ls -l bin/GregorR
22:25:00 <HackEgo> -rw-r--r-- 1 5000 5000 15 Jun 20 21:25 bin/GregorR
22:25:17 <oerjan> `run chmod a+x bin/GregorR
22:25:22 <oerjan> `run ls -l bin/GregorR
22:25:22 <HackEgo> -rwxr-xr-x 1 5000 5000 15 Jun 20 21:25 bin/GregorR
22:25:23 <AnMaster> GregorR, anyone can run such commands?
22:25:34 <GregorR> AnMaster: wget is limited to certain whitelisted URLs.
22:25:48 <GregorR> AnMaster: `fetch will download any URL, but isn't scriptable.
22:26:03 <AnMaster> GregorR, what urls are white listed
22:26:15 <HackEgo> GregorR \ addquote \ calc \ define \ esolang \ google \ imdb \ quote \ wolfram
22:26:23 <GregorR> .google.com .esolangs.org .imdb.com .wikipedia.org .wolframalpha.com
22:26:44 <AnMaster> GregorR, does it do system() or execute them in a shell
22:26:45 <GregorR> Use `run to get shell expansion. Without `run it's interpreted literally, so that things like `addquote will work.
22:27:13 <GregorR> Otherwise `addquote <GregorR> hi would try to input GregorR to addquote :P
22:27:32 <AnMaster> GregorR, with output sent to hi
22:27:54 <HackEgo> /tmp/hackenv.14507/bin:/usr/bin:/bin
22:28:44 <AnMaster> GregorR, could you white list kernel.org?
22:29:07 <GregorR> If you give me a reason? :P
22:29:29 <AnMaster> GregorR, easier to download a kernel tarball from it and compile a kernel over irc :P
22:29:46 <GregorR> It has time and file size limits, so that would never even begin to work :P
22:29:58 <AnMaster> GregorR, GET A BETTER CPU THEN
22:30:07 <AnMaster> to make it possible in the time limit
22:30:24 <GregorR> Compiling a kernel in 30 seconds would be BITCHIN' SWEET :P
22:30:45 <AnMaster> pikhq, it can't compile the kernel afaik
22:30:55 <GregorR> AnMaster: It can compile the kernel /while you boot/
22:30:55 <ehird> AnMaster: Yes, it can.
22:30:57 <AnMaster> because all it does is basic constant folding
22:30:59 <ehird> It does it in like 15 seconds.
22:31:10 <ehird> http://bellard.org/tcc/tccboot.html
22:31:16 <ehird> TCCBOOT is only 138 KB big (uncompressed code) and it can compile and run a typical Linux kernel in less than 15 seconds on a 2.4 GHz Pentium 4.
22:31:25 <AnMaster> ehird, iirc it failed on "kernel didn't know compiler specific header" or something
22:31:34 <ehird> AnMaster: Tell that to tccboot?
22:31:50 <AnMaster> so how does tccboot extend it hm
22:31:52 <ehird> Tccboot uses normal tcc.
22:31:56 <ehird> It's written by the tcc author.
22:31:58 <ehird> This is in 2004, though.
22:32:04 <GregorR> tccboot uses a disputably small patch to the kernel.
22:32:07 <AnMaster> was about half a year ago I tried
22:32:51 <AnMaster> ehird, tccboot uses 2.4 kernel
22:32:59 <ehird> AnMaster: Because it was made in 2004.
22:33:15 <AnMaster> ehird, yes, but I was talking about the current state of matters
22:36:55 <Warrigal> `wolfram melting point of apples
22:37:01 <HackEgo> melting point of apples \ \ Input interpretation: \ \ apples \ Result: \ \ melting point \ \ 29.3 °C degrees Celsius \ Unit conversions: \ \ 302.5 K kelvins \ Thermal properties: \ \ melting point optimal storage temperature specific heat \ \ 29.3 °C 1.5 °C 3.64 J g °C \ \ Generated by Wolfram|Alpha (www.wolframalpha.com)
22:37:55 <HackEgo> 29.3 degrees Celsius = 84.74 degrees Fahrenheit
22:38:24 <AnMaster> all forms of time limits should be abolished
22:38:26 <oerjan> the quality of apples is not what it used to be
22:38:32 <HackEgo> full name of Jesus \ \ Input interpretation: \ \ Jesus Christ \ Result: \ \ full name \ \ Yeshua Ha Nozri \ \ Generated by Wolfram|Alpha (www.wolframalpha.com) on June 20, 2009 from Champaign, IL. © Wolfram Alpha LLC—A Wolfram Research Company \ \ 1 \ \
22:38:43 <AnMaster> I realise this isn't done over a night
22:38:57 <ehird> AnMaster: what are you talking about
22:39:01 <Warrigal> How many of us here knew that his full name was Yeshua Ha Nozri?
22:39:01 <AnMaster> but in the long term they should be
22:39:16 <ehird> AnMaster: you're on crack
22:39:24 <oerjan> AnMaster: well no one cares about abolishing time limits in the _short_ term anyway *ducks*
22:39:58 <oerjan> Warrigal: i guess Nozri means "from Nazareth"...
22:40:46 <ehird> Ha Nozri means that.
22:40:56 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
22:41:42 <oerjan> google points to Bulgakov's The Master and Margarita
22:43:23 <AnMaster> to begin with, abolish time limits like those for tests in schools, or for payment of invoices and such. Those are easy. In the future we ("we": humans in general) aim to abolish time limits like the life span of humans (immortality in other words), having to go to bed/wake up, (stop earth's rotation, let people move across the "border" of the day/night when they wanted, note: you need to solve the cl
22:43:23 <AnMaster> imate impact somehow too), and the heat death of the universe.
22:43:48 <oerjan> it does not occur in wp's Jesus article
22:44:07 <GregorR> If it's not on the Oracle, it's not Truth.
22:44:07 <AnMaster> oerjan, just add it and cite W|A?
22:44:16 <ehird> AnMaster: so what is your justification for this mad rant?
22:44:30 <ehird> I do like the idea of abolishing time limits for the payment of invoices.
22:44:38 <ehird> It's like a credit card without the payment step!
22:44:49 <ehird> Wooooooooooohoooooo
22:44:56 <ehird> [the economy promptly collapses]
22:45:10 <AnMaster> ehird, isn't it doing that already anyway
22:45:25 <ehird> Yes, but I'm fairly sure the solution isn't "make everything free".
22:45:29 -!- ais523 has quit (Remote closed the connection).
22:45:32 <oerjan> AnMaster: it's not even in the Yeshua (name) article
22:45:41 <oerjan> so the nozri part may be dubious
22:45:49 <AnMaster> ehird, it will definitely get the job done quicket
22:45:57 -!- ais523 has joined.
22:46:02 <ehird> AnMaster: so why do you want to do all this crazy stuff?
22:46:25 <AnMaster> ehird, of course this mean you don't know when the stuff you ordered will be delivered either
22:46:40 <AnMaster> UPS doesn't have a time limit either
22:46:50 <ehird> AnMaster: So basically you want the entire world to collapse?
22:47:23 <AnMaster> ehird, for UPS you wouldn't notice the difference I think
22:47:48 <ehird> I have my own rant.
22:47:59 <ehird> All life should be erased, not overnight of course.
22:48:03 <ehird> How this could be done: Kill everyone.
22:48:14 <AnMaster> ehird, that is another way to do it
22:48:50 <AnMaster> ehird, Together we shall destroy the world!
22:49:08 <oerjan> the project is already underway. problem is those pesky critters keep breeding faster than Death can remove them
22:49:46 <AnMaster> oerjan, nuclear weapons will fix that. Of course, they might take an unknown time to deploy
22:50:41 <oerjan> it will soon be reseeded, surely
22:50:53 <AnMaster> oerjan, um? I said in the whole universe in the long term
22:51:06 -!- pikhq has joined.
22:51:15 <AnMaster> when I mentioned the heat death of the universe
22:51:27 <oerjan> hah, the hardy ones in outer space don't care about a bit of radiation
22:52:22 -!- Halph has joined.
22:53:03 -!- coppro has quit (Nick collision from services.).
22:53:04 <oerjan> and for the heat death method, you'll have to prevent them from escaping to a new universe. crushing all signs of intelligence might help there.
22:53:27 -!- Halph has changed nick to coppro.
22:54:51 <pikhq> http://esoteric.voxelperfect.net/wiki/Perl
22:56:03 <HackEgo> We'll write more about Perl after we decipher the following code:
22:57:36 -!- Halph has joined.
22:57:46 -!- coppro has quit (Nick collision from services.).
22:57:52 -!- Halph has changed nick to coppro.
23:00:06 <ehird> also, i believe entropy can be reversed; am I bonkers?
23:00:24 <Slereah_> ehird : Entropy isn't a real law
23:00:25 <pikhq> Hi there, Multivac.
23:00:52 <ehird> what I meant was that I believe that in time, we can make this universe habitable indefinitely
23:01:51 <Slereah_> Nah, I don't think we can do it that way
23:01:59 <Slereah_> What we can do is find INFINITE ENERGY and shit
23:02:17 <ehird> Slereah_: but infinite energy is another fuck you to the first law of thermodynamics :P
23:02:20 <Slereah_> Just steal usable energy from other universes!
23:02:30 <ehird> Slereah_: infinite energy doesn't prevent the universe dying as far as I know, though
23:02:43 <coppro> Slereah_: then we get alternate universe people coming through to complain
23:05:27 <GregorR> I'm trying to think of something dirty along the lines of "Increase the entropy o' that bitch" but it's just not working.
23:06:01 <Slereah_> Oh yeah, take that number of microstates
23:07:55 <oerjan> http://www.webcomicsnation.com/shaenongarrity/narbonic/series.php?view=archive&chapter=13510 (fourth strip)
23:08:33 <oerjan> it's a bit slow to load
23:09:18 <ehird> If time travel is possible, we can probably just time travel to the first point in time where shit's cool in the universe and kick back, relax, and stop other life from forming.
23:09:50 <oerjan> hm... maybe we already did
23:09:59 <oerjan> that _would_ explain the fermi paradox
23:10:30 <ehird> Fermi paradox is quite stupid. Uhh, speed of light, anyone?
23:11:12 <Slereah_> Fermi's paradox is based on the idea that alien civilisation are willing to launch extensive interstellar space programs with no return in their lifetime
23:11:28 <Slereah_> Or possibly in the lifetime of their civilisation
23:12:23 <oerjan> well, that a fraction of them are
23:13:15 <ehird> oerjan: we don't see alien shit because alien shit is far too far away
23:14:40 <oerjan> the paradox is not just about why we cannot see them. it's about why don't we see them _here_
23:15:10 <oerjan> for which Slereah_'s question is relevant
23:15:35 <ehird> oerjan: i don't get what you mean
23:15:49 <ehird> what's odd about aliens being really fucking far away from us
23:16:13 <oerjan> ehird: the size of the galaxy is no obstacle for a sufficiently patient civilization. they could colonize it in a few million years
23:16:42 <ehird> oerjan: there's nothing to say that they should be motivated and finished _now_, though
23:16:55 <ehird> come back in a few billion years. it's a big, big space and not a lot of shit in it.
23:18:04 <oerjan> ehird: the assumption is that unless we are really one of the very first civilizations, others would _already_ have arisen billions of years ago
23:18:27 <ehird> oerjan: yes, but add the factors of "gigantic space, large distances separation, and motivation"
23:18:36 <ehird> and it's not at all unlikely that we don't see alien shit.
23:18:46 <oerjan> then add population growth
23:18:58 <ehird> i don't get why it's so odd.
23:19:25 <oerjan> it's not odd that _some_ civilization wouldn't expand. it's odd that _none_ would, if there were many
23:20:12 <ehird> oerjan: think about how uncommon life probably is, though
23:20:12 <oerjan> and if one of them _has_ an intrinsic drive to expand, they should fill the entire galaxy in a few million years
23:20:46 <oerjan> sure, that is one solution to the fermi paradox, to say that life is so rare that we're alone in the galaxy and then some
23:21:25 <GregorR> Y'know what's annoying? When things that are not paradoxes are called paradoxes.
23:21:30 <ehird> life just isn't so insanely common that it's unlikely that none of them conquer everywhere
23:21:31 <GregorR> e.g. Fermi "paradox", twin "paradox"
23:21:39 <ehird> GregorR: Birthday "paradox", curry's "paradox".
23:21:43 <ehird> There are two kinds of paradox.
23:21:54 <GregorR> "Weird shit" is not a correct definition of paradox.
23:21:58 <GregorR> It's a misuse of the term.
23:22:08 <ehird> Go complain to everyone for hundreds of fuckin' years.
23:22:14 <Slereah_> Well, paradox is kinda ill defined
23:23:38 <HackEgo> * (logic) a statement that contradicts itself; "`I always lie' is a paradox because if it is true it must be false" \ [22]wordnet.princeton.edu/perl/webwn \ * Paradox is the fourth studio album released by Royal Hunt.
23:23:48 -!- jix_ has joined.
23:23:55 <ais523> ugh, that's a really bad example
23:23:58 <ais523> due to not being paradoxical
23:24:07 <ais523> I could falsely, but non-paradoxically, claim that I always lie
23:24:14 <ais523> because I have told the truth at least once
23:24:22 <GregorR> "This is a lie" is a better one.
23:24:38 <GregorR> (Or "this statement is false" to be a bit more formal)
23:25:23 <ais523> If I'm not mistaken, then this sentence is paradoxical.
23:25:35 <Slereah_> THE FOLLOWING SENTENCE IS TRUE
23:25:40 <Slereah_> THE PREVIOUS SENTENCE IS FALSE
23:27:07 <pikhq> Y'know, it's funny how corny sci-fi seems to think that will lock up a robot or computer...
23:27:32 <GregorR> MUST FULLY RESOLVE ALL STATEMENTS GIVEN AS INPUT
23:27:38 <oerjan> Now why would they think that that that that that that that that
23:27:43 <pikhq> Shame computers don't do formal logic. Or even informal logic, really. :P
23:29:50 <ehird> pikhq: Sure they do formal logic.
23:30:00 <ehird> Curry-Howard isomorphism, anyone?
23:30:04 <GregorR> Shame computers don't taste like chicken.
23:30:43 <Slereah_> What if the computer runs on Mercury?
23:31:09 <Slereah_> What's the most used language in AI research anyway, apart from homecooked ones?
23:31:55 <ehird> GregorR: That's a bit of a cliché.
23:32:02 <ehird> Slereah_: AI research is, uh, nonexistent nowadays.
23:32:50 <Warrigal> "The sky is red" is a paradox because if it is true it must be false.
23:33:19 <pikhq> bool foo(function x){return x() == true;} bool bar(function x){ return x() == false;} int main(){assert(foo(bar));}
23:34:29 <pikhq> I do believe that the result of *that* mess is "Segmentation fault -- core dumped."
23:35:01 -!- jix has quit (Read error: 110 (Connection timed out)).
23:35:36 <pikhq> No, no. It'd just fail.
23:35:49 <pikhq> s/x()/x(foo)/ s/x()/x(bar)/
23:37:23 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server").
23:39:05 -!- BeholdMyGlory has quit (Remote closed the connection).
23:51:10 <AnMaster> pikhq, yeah, they aren't tail calls
23:51:40 <AnMaster> (that is, assuming your correction)
23:51:55 <AnMaster> (and a relevant typedef for "function"
23:52:03 * ehird devises more of his Semi-Perfect Language For Now ^_^
23:52:23 <AnMaster> pikhq, actually the type of function would have to be a non-prototyped function
23:52:55 <AnMaster> you can't express a recursive typedef in C
23:53:26 <AnMaster> or one taking a non-prototyped function
23:53:52 <ehird> AnMaster: a new lisp.
23:55:55 <ehird> GregorR: You mean lithp.
23:58:39 <pikhq> AnMaster: "Relevant typedef"? That's just C++0x.
23:58:59 <pikhq> (in C++0x, functions are of type function. Neat, huh?)
23:59:44 <ehird> Not well-typed, yes.