| 01:16.30 | *** join/#utah mkf (telex@gateway/shell/anapnea.net/x-eeqzkxobalthslqx) |
| 01:47.54 | *** join/#utah AimerPaddle (~AimerPadd@c-98-202-183-214.hsd1.ut.comcast.net) |
| 02:11.54 | youtah | ~NACHOS |
| 02:11.55 | infobot | schweet. |
| 02:12.09 | youtah | I am disappointed it didn't capitalize it |
| 02:40.05 | *** join/#utah olli (~olli@66.201.56.4) |
| 03:11.37 | *** join/#utah Squishy_ (~textual@162-223-221-68.cpe.ngl.ninja) |
| 03:17.25 | eightyeight | https://pthree.org/2016/02/17/my-strange-tweets/ |
| 03:30.33 | levi | Hey, I have a PDF of Mealy's 1955 paper where he describes his state diagram formalism. I love finding this stuff. |
| 03:31.47 | eightyeight | Not familiar with the topic |
| 03:32.28 | levi | Have you heard of the distinction between "Mealy Machines" and "Moore Machines" as used to describe state transition systems? |
| 03:37.44 | levi | Mealy machines are the ones you usually see in CS textbooks on automata. The state is described in circles and the edges are labeled with the input that enables them as well as the output produced when the transition occurs. |
| 03:40.33 | *** join/#utah AimerPaddle (~AimerPadd@c-98-202-183-214.hsd1.ut.comcast.net) |
| 03:43.02 | eightyeight | I didn't study automata |
| 03:43.10 | eightyeight | Nor graph theory |
| 03:43.18 | eightyeight | I wish I would have though |
| 03:44.13 | levi | Maybe you've seen that sort of diagram elsewhere, though; it's very common. It's one of the sources that UML state charts borrowed from, for example. |
| 03:45.35 | levi | I just found Moore's "Gendanken-Experiments on Sequential Machines" too. |
| 03:47.08 | eightyeight | Interesting |
| 03:47.48 | eightyeight | I have looked at simple cellular automate as a possible PRNG |
| 03:48.06 | eightyeight | I still need to test their quality |
| 03:48.45 | eightyeight | Gah. Phone auto completion |
| 03:48.53 | levi | Moore's paper is about the things you can discover about the internal state of a finite machine by performing experiments on its inputs and observing its outputs. |
| 03:50.17 | levi | These guys were working along with the likes of Huffman and Shannon. |
| 03:56.50 | levi | http://people.mokk.bme.hu/~kornai/termeszetes/moore_1956.pdf |
| 03:58.01 | eightyeight | adds it to his TOREAD |
| 04:00.06 | levi | My TOREAD is so impossibly big. |
| 04:52.00 | *** join/#utah pdayton (~Adium@63.251.sfcn.org) |
| 05:38.10 | *** join/#utah jalbretsen (~jalbretse@68.69.165.225) |
| 05:42.10 | *** join/#utah davido (~davido@c-67-177-43-135.hsd1.ut.comcast.net) |
| 06:07.47 | jfindlay | levi: did you follow the recent result on graph isomorphism? |
| 06:20.38 | *** join/#utah keldwud (~keldwud@40.141.45.186) |
| 06:20.39 | *** join/#utah keldwud (~keldwud@unaffiliated/keldwud) |
| 06:26.43 | *** join/#utah Enemby (~Enemby@unaffiliated/enemby) |
| 07:25.19 | levi | jfindlay: No, I pretty much never see any "recent results" in mathematics unless they're related to type theory or something. |
| 07:42.55 | *** join/#utah keldwud (~keldwud@40.141.45.180) |
| 07:44.09 | *** join/#utah davido (~davido@c-67-177-43-135.hsd1.ut.comcast.net) |
| 08:07.05 | *** join/#utah keldwud (~keldwud@unaffiliated/keldwud) |
| 09:24.07 | *** join/#utah shalkie (~shalkie@theadamsresidence.net) |
| 09:52.46 | *** join/#utah pdayton (~Adium@63.251.sfcn.org) |
| 11:04.44 | *** join/#utah emcnabb (~emcnabb@108-232-8-110.lightspeed.rlghnc.sbcglobal.net) |
| 11:04.44 | *** mode/#utah [+v emcnabb] by ChanServ |
| 11:53.09 | *** join/#utah pdayton (~Adium@63.251.sfcn.org) |
| 12:37.10 | *** join/#utah RuShan (~RuShan@2600:100e:b127:237e:a41b:9baf:8063:3083) |
| 12:40.45 | *** join/#utah emcnabb (emcnabb@nat/redhat/x-ocaokkkuypmvyoxc) |
| 12:40.45 | *** mode/#utah [+v emcnabb] by ChanServ |
| 14:02.39 | *** join/#utah olli_ (~olli@66.201.56.4) |
| 14:03.06 | *** join/#utah olli_ (~olli@66.201.56.4) |
| 14:08.45 | *** join/#utah pdayton (~Adium@172.58.16.194) |
| 14:10.41 | *** join/#utah pdayton1 (~Adium@50.255.199.81) |
| 15:13.22 | *** join/#utah tiwula (~lane@70.89.246.241) |
| 15:25.46 | eightyeight | woah. iceweasel in debian is getting renamed back to firefox- https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815006 |
| 15:30.05 | RyanE | Don't worry, soon it'll be watermanatee. |
| 15:31.08 | eightyeight | according to the bug, debian is getting an exception to the trademark policy by mozilla |
| 15:32.17 | eightyeight | mozilla isn't concerned about debian violating their trademark, due to debian's past record to free software ideals, it seems |
| 15:32.34 | eightyeight | fwiw, i've always hated the iceweasel logo. it's horribly juvenile |
| 15:32.40 | eightyeight | almost as bad as tux |
| 15:38.12 | *** join/#utah josephscott (~josephsco@192.0.80.201) |
| 15:39.30 | TodPunk | tell us how you really feal |
| 15:39.34 | TodPunk | *feel |
| 15:39.41 | TodPunk | Not sure how we got the a in there |
| 15:44.58 | *** join/#utah davido_work (~doswald@216.50.142.194) |
| 15:45.24 | *** join/#utah davido_work (~doswald@216.50.142.194) |
| 15:46.00 | eightyeight | free software developers are horribly graphic designers, in my experience |
| 15:52.21 | *** join/#utah nage (~nathan.ge@unaffiliated/nage) |
| 15:57.09 | *** join/#utah olli_ (~olli@66.201.56.4) |
| 16:10.36 | RyanE | I personally like Tux just because it's not overtly 'businessey'. Like Windows "floating bendy planes". Like they're afraid of offending anyone with anything non-abstract. |
| 16:10.44 | RyanE | but I agree that developers are horrible graphic designers. |
| 16:11.17 | RyanE | I made an icon that was supposed to represent HVAC inside Control4's installer tool, and cringe every time I see it. Fortunately, end users don't see it. |
| 16:13.36 | TodPunk | does it vaguely involve a pepsi-logo like thing? |
| 16:13.50 | RyanE | it *is* red and blue. |
| 16:13.55 | RyanE | it's horrendous. |
| 16:14.53 | eightyeight | tux is horrendous |
| 16:15.03 | eightyeight | it's something out of a children's picture book |
| 16:15.11 | eightyeight | freebsd got their logo right |
| 16:15.35 | RyanE | freebsd is the same level, imho. |
| 16:15.42 | RyanE | but everyone has opinions, I suppose. |
| 16:15.59 | eightyeight | you don't like http://static3.linuxadictos.com/wp-content/uploads/freebsd-logo.jpg ? |
| 16:16.43 | RyanE | no, it is too dated 'new agey' for me. |
| 16:16.50 | eightyeight | heh |
| 16:16.54 | RyanE | it is better than the old FreeBSD, though. |
| 16:17.06 | eightyeight | yeah. beastie is bad. puffy also. |
| 16:17.14 | eightyeight | and the gnu wildebeast |
| 16:17.19 | RyanE | the worst |
| 16:17.33 | RyanE | other than maybe PHP's *elephant*? Why, oh why? |
| 16:17.43 | eightyeight | https://twitter.com/AaronToponce/status/700350440102166528 |
| 16:17.52 | RyanE | because it's slow, cumbersome, and no one wants them in their circus anymore? |
| 16:17.59 | eightyeight | haha |
| 16:18.04 | eightyeight | it 'never forgets'? |
| 16:18.26 | *** join/#utah emcnabb (emcnabb@nat/redhat/x-ygcsyswzvrsxehkp) |
| 16:18.27 | *** mode/#utah [+v emcnabb] by ChanServ |
| 16:18.31 | RyanE | more like it never lets you forget that bad decision to use PHP so long ago. |
| 16:20.32 | eightyeight | RyanE: hmm. actually, do you mean postgres? |
| 16:20.54 | eightyeight | http://img.bhs4.com/4c/d/4cd2ef4478165dac409cc9da5832272c5d90862c_large.jpg |
| 16:21.46 | RyanE | nope: https://www.google.com/search?q=php+elephant+logo |
| 16:22.27 | eightyeight | huh. i always thought it was 'php' inside an oval |
| 16:23.03 | eightyeight | hah. 'elePHPant' |
| 16:24.12 | *** join/#utah voldemortensen (~Adium@216.50.142.194) |
| 16:35.28 | *** join/#utah crypface (~nextrix@41-135-107-221.dsl.mweb.co.za) |
| 16:35.40 | crypface | oooooooh shit itsssssssss |
| 16:35.45 | crypface | Johnny Utah !!!! |
| 16:35.48 | *** part/#utah crypface (~nextrix@41-135-107-221.dsl.mweb.co.za) |
| 16:37.02 | eightyeight | ? |
| 16:38.20 | *** join/#utah olli_ (~olli@66.201.56.3) |
| 16:40.53 | *** join/#utah olli (~olli@66.201.56.3) |
| 16:45.14 | *** join/#utah SunSparc (~jonathan@23-228-170-222.mci.googlefiber.net) |
| 16:59.00 | *** join/#utah IvAn_At_Work_ (~Iv@198.183.219.9) |
| 17:05.33 | *** join/#utah evade (~evade@2601:681:4002:7bcd:e8:819d:a8d4:b54c) |
| 17:07.57 | *** join/#utah olli (~olli@66.201.56.3) |
| 17:09.09 | *** join/#utah olli (~olli@66.201.56.3) |
| 17:18.29 | jfindlay | you can experience all these mascots and more in a fun game of tuxracer |
| 17:18.47 | jfindlay | I mean supertuxkart, duh |
| 17:18.48 | jfindlay | whatever |
| 17:23.40 | *** join/#utah olli (~olli@172.56.31.251) |
| 17:37.49 | *** join/#utah evade (~evade@2601:681:4002:7bcd:e8:819d:a8d4:b54c) |
| 17:50.47 | eightyeight | https://twitter.com/vishne0/status/700301283777867776 |
| 18:02.03 | jima_ | on the note of mascots, some lawyers came into my office and asked me why my tux was in the corner |
| 18:02.14 | jima_ | apparently they thought it had been punished enough |
| 18:02.38 | jima_ | one of them turned the chair around |
| 18:02.46 | eightyeight | heh |
| 18:06.14 | jima_ | in case "chair" is confusing: https://drive.google.com/file/d/0ByjGgmm2VDtkU2FQYXp0bjl5enc/view |
| 18:20.15 | *** join/#utah evade (~evade@c-98-202-7-55.hsd1.ut.comcast.net) |
| 18:48.00 | *** join/#utah olli (~olli@40.129.246.4) |
| 18:48.21 | *** join/#utah tiwula (~lane@70.89.246.241-Busname-UT.hfc.comcastbusiness.net) |
| 18:49.46 | *** join/#utah levi (~levi@c-98-202-130-141.hsd1.ut.comcast.net) |
| 19:43.49 | *** join/#utah Squishy (~textual@162-223-221-68.cpe.ngl.ninja) |
| 20:12.13 | *** join/#utah shalkie_ (~shalkie@theadamsresidence.net) |
| 20:12.15 | *** join/#utah nage (~nathan.ge@unaffiliated/nage) |
| 20:12.35 | *** join/#utah jfindlay (~jfindlay@162.243.137.21) |
| 20:14.02 | *** join/#utah TodPunk (~quassel@68.169.47.218) |
| 20:18.08 | *** join/#utah phemale (phemale@2601:681:4901:7a00::80f9) |
| 21:12.50 | *** join/#utah evade (~evade@c-98-202-7-55.hsd1.ut.comcast.net) |
| 21:24.50 | *** join/#utah emcnabb (emcnabb@nat/redhat/x-xoioqixgtfviqcmz) |
| 21:24.50 | *** mode/#utah [+v emcnabb] by ChanServ |
| 21:34.50 | *** join/#utah olli (~olli@12.25.160.61) |
| 23:23.04 | *** join/#utah RuShan (~RuShan@68.69.169.116) |
| 23:34.34 | *** join/#utah pdayton (~Adium@172.56.16.52) |
