| --- Log opened Mon Jan 02 00:00:23 2017 |
| 00:01 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has quit [Connection closed] |
| 00:02 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 00:02 | | mode/#code [+o himi] by ChanServ |
| 00:05 | | * TheWatcher eyes this code |
| 00:05 | <@TheWatcher> | Gods damn, this has involved entirely too much yak hair |
| 01:46 | | Kindamoody is now known as Kindamoody[zZz] |
| 01:49 | | catadroid` [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 01:49 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 02:09 | | catadroid` is now known as catadroid |
| 02:37 | | catadroid` [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 02:37 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 02:45 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 02:45 | | catadroid` [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 02:46 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 02:46 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 02:58 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Ping timeout: 121 seconds] |
| 03:14 | | Vorntastic [Vorn@Nightstar-iou4du.ct.comcast.net] has quit [Ping timeout: 121 seconds] |
| 03:38 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 03:42 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 03:42 | | mode/#code [+o Alek] by ChanServ |
| 04:23 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 04:49 | | Shady [ShadyGuru@Nightstar-8v9css.leh.ptd.net] has joined #code |
| 04:50 | | Shady [ShadyGuru@Nightstar-8v9css.leh.ptd.net] has quit [[NS] Quit: Yay, he's gone] |
| 05:08 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 05:48 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 05:53 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 05:53 | | mode/#code [+o Alek] by ChanServ |
| 06:14 | | ion_ [Owner@Nightstar-kidhep.ptr.terago.net] has quit [Ping timeout: 121 seconds] |
| 06:16 | | ion_ [Owner@Nightstar-kidhep.ptr.terago.net] has joined #code |
| 06:18 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 06:18 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 06:24 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 06:29 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Ping timeout: 121 seconds] |
| 06:36 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 07:54 | | celticminstrel [celticminst@Nightstar-h4m24u.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 08:12 | | Kindamoody[zZz] is now known as Kindamoody |
| 08:14 | | ion_ [Owner@Nightstar-kidhep.ptr.terago.net] has quit [Ping timeout: 121 seconds] |
| 08:31 | | Kindamoody is now known as Kindamoody|afk |
| 09:08 | <@ion> | note to self: "nnoremap : ;" before "nnoremap ; :" when vimrc won't load==not fun |
| 10:01 | <@Pi> | jerith: Nopers, I haven't looked at it before! |
| 10:01 | <@Pi> | jerith: Looks really nifty from the description, though. |
| 10:51 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Operation timed out] |
| 10:56 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 10:56 | | mode/#code [+o Alek] by ChanServ |
| 11:20 | | * TheWatcher arghs at emacs |
| 11:20 | <@TheWatcher> | why is column marker mode failing if hs-minor-mode acts up?! |
| 12:15 | | * TheWatcher finally removes the last '# FIXME: OVERHAUL' from this file |
| 12:15 | <@TheWatcher> | And there was much rejoicing. |
| 15:26 | < catadroid> | Hurray |
| 15:34 | | mac [macdjord@Nightstar-ahbhn1.cable.rogers.com] has joined #code |
| 15:34 | | mode/#code [+o mac] by ChanServ |
| 15:38 | | macdjord [macdjord@Nightstar-ahbhn1.cable.rogers.com] has quit [Ping timeout: 121 seconds] |
| 15:53 | | * jerith rejoices. |
| 16:52 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 16:52 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 17:01 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 17:02 | | celticminstrel [celticminst@Nightstar-h4m24u.dsl.bell.ca] has joined #code |
| 17:02 | | mode/#code [+o celticminstrel] by ChanServ |
| 17:12 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 17:21 | | * TheWatcher tries to work out the design for these pages, bleeeghs |
| 17:49 | <@Azash> | http://www.smbc-comics.com/comic/monty-hall-problems |
| 17:50 | <@TheWatcher> | Eyup. |
| 17:51 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 17:51 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 18:21 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has quit [Connection closed] |
| 18:21 | | catadroid [catalyst@Nightstar-2k0p46.dsl.teksavvy.com] has joined #code |
| 18:35 | <&jerith> | fstar is hard. |
| 18:36 | <~Vornicus> | is that anything like astar |
| 18:36 | <&[R]> | No |
| 18:37 | <&[R]> | <jerith> https://fstar-lang.org/ |
| 18:37 | <&jerith> | Yes, that. |
| 18:37 | <&jerith> | I've reached the part of the tutorial where I have to prove things about functions. |
| 18:37 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 18:40 | <&jerith> | Oh, I was an idiot. |
| 18:41 | <&jerith> | For {x >= 2} the base case is 2, not 3. |
| 18:42 | <&jerith> | That explains why it couldn't prove all the non-base cases by induction. |
| 19:00 | | mac [macdjord@Nightstar-ahbhn1.cable.rogers.com] has quit [[NS] Quit: We *are* shining examples of humanity. It's just that the light we shine with is generally Oppenheimer's.] |
| 20:00 | | Kindamoody|afk is now known as Kindamoody |
| 20:23 | | ion_ [Owner@Nightstar-kidhep.ptr.terago.net] has joined #code |
| 22:07 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
| 22:45 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 22:45 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 22:46 | | chatter [NSkiwiirc@Nightstar-uvo.urg.166.46.IP] has joined #code |
| 22:46 | < chatter> | hey guys |
| 22:47 | < chatter> | allah is doing |
| 22:47 | <@Tamber> | oh, not you again |
| 22:47 | < chatter> | sun is not doing allah is doing |
| 22:47 | | mode/#code [+b *!*NSkiwiirc@*.urg.166.46.IP] by Tamber |
| 22:47 | | chatter was kicked from #code by Tamber [your mom is doing] |
| 22:54 | <&[R]> | Lame, Inspircd doesn't have the quiet mode. |
| 22:54 | <&[R]> | I was going to quiet Chatter!*@* |
| 23:15 | | Kindamoody is now known as Kindamoody[zZz] |
| 23:25 | | Kindamoody[zZz] [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has quit [Ping timeout: 121 seconds] |
| 23:40 | <@Alek> | pretty sure there's voice mode and a setting to prevent anyone without voice or better from being heard |
| 23:40 | <~Vornicus> | =m |
| 23:40 | <~Vornicus> | but that's not what we want |
| 23:40 | <@Alek> | what's the difference then? |
| 23:40 | <~Vornicus> | he's akilled, again. I need to go through my logs and find a pattern to him IPs so he goes the fuck away |
| 23:47 | <&[R]> | Alek: the mode I want basically makes it so they can join and leave freely, but any messages they send to the channel don't appear |
| 23:48 | <&[R]> | Basically it's an unobvious ban. |
| 23:49 | <&McMartin> | I'm not really a fan of hellbanning |
| 23:49 | | himi [sjjf@Nightstar-dm0.2ni.203.150.IP] has joined #code |
| 23:50 | | mode/#code [+o himi] by ChanServ |
| 23:54 | <@Alek> | hm. but do their messages appear for them? |
| 23:54 | <@Alek> | and do a silent person's messages under voice mode appear for them? |
| 23:54 | <&McMartin> | For the first, yes, for the second, no. The idea is to get them to waste their time spamming /dev/null instead of trying to evade their ban. |
| 23:55 | <&[R]> | I'd rather hellban a repeat offender who ban evades than just let it continue as it is |
| 23:56 | <&[R]> | He clearly doesn't change his nick, but his host does. |
| 23:56 | <&[R]> | Alek: They show up as messages, but he gets a notice from the server each time (which shows up in the server buffer) |
| 23:58 | <@Alek> | hm. |
| --- Log closed Tue Jan 03 00:00:24 2017 |