| --- Log opened Wed Dec 21 00:00:44 2016 |
| 00:52 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 00:53 | | catadroid [catalyst@Nightstar-ma7ng3.dab.02.net] has joined #code |
| 01:38 | | gnolam_ [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has joined #code |
| 01:39 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has quit [Ping timeout: 121 seconds] |
| 01:49 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 01:52 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 01:53 | | mode/#code [+o Alek] by ChanServ |
| 01:56 | | gnolam_ is now known as gnolam |
| 01:56 | | mode/#code [+o gnolam] by ChanServ |
| 03:09 | | catadroid` [catalyst@Nightstar-ogpt5m.dab.02.net] has joined #code |
| 03:11 | | catadroid [catalyst@Nightstar-ma7ng3.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 03:42 | <@simomorphism> | I've got a type Direction = North | South | East | West, and a type ??? = Vertical | Horizontal. what's a good name for '???'? |
| 03:42 | <@simomorphism> | a better name for the first one is CardinalDirection, but most directions here are cardinal directions anyway. |
| 03:42 | | simomorphism is now known as sshine |
| 03:43 | <@sshine> | I'll go with Alignment for now. |
| 03:44 | <@Alek> | sounds good. |
| 03:49 | <@sshine> | hmm |
| 03:54 | <@sshine> | I've been playing around with generating Robo Rally maps in Python now. https://simonshine.dk/roborally/ |
| 03:55 | <@sshine> | mostly to entertain a friend. now that he went to bed, I'm continuing in Haskell. it's crazy how much clearer I think when I start by formulating my entire domain as data types. |
| 03:56 | <@sshine> | https://simonshine.dk/roborally/RoboRally.hs (work in progress) |
| 03:58 | <@sshine> | vs. https://github.com/sshine/roborally/blob/master/neal/neal.py |
| 04:03 | <@sshine> | I guess it's a combination of being more comfortable with algebraic types, and their brevity encouraging me to actually specify the domain properly, rather than ad-hoc as I need the features. |
| 04:05 | <@sshine> | also, I guess aiming for quick results like "show random tiles with weighted probability" is more fun than "describe a data model, but don't generate anything (yet)." |
| 04:06 | <@sshine> | even though it produces garbage code. |
| 04:28 | <&[R]> | sshine: orientation? |
| 04:28 | <@sshine> | [R], thanks. |
| 05:18 | | himi [sjjf@Nightstar-dm0.2ni.203.150.IP] has quit [Connection closed] |
| 05:34 | <&McMartin> | Yay points! |
| 05:34 | | * McMartin goes 81/33. |
| 05:36 | <~Vornicus> | yay points |
| 06:55 | | * Azash isn't sure why he's laughing anymore http://i.imgur.com/UFiqM9d.jpg |
| 06:57 | | Kindamoody[zZz] is now known as Kindamoody |
| 07:00 | | catadroid` is now known as catadroid |
| 07:12 | | starkruzr [quassel@Nightstar-7qsccf.fios.verizon.net] has quit [Ping timeout: 121 seconds] |
| 07:12 | | starkruzr [quassel@Nightstar-7qsccf.fios.verizon.net] has joined #code |
| 07:12 | | mode/#code [+ao starkruzr starkruzr] by ChanServ |
| 07:12 | <~Vornicus> | These guys do like their md5ery |
| 07:16 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 07:18 | <@sshine> | Azash, heh. |
| 07:20 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 07:20 | | mode/#code [+o Alek] by ChanServ |
| 07:20 | < catadroid> | Azash: seems accurate |
| 07:22 | | * Vornicus examines 17, goes what the helllllll, this is going to be unpleasant. |
| 07:36 | | 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!] |
| 07:52 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 07:52 | | mode/#code [+o himi] by ChanServ |
| 08:11 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 08:29 | | catadroid [catalyst@Nightstar-ogpt5m.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 08:35 | | catadroid [catalyst@Nightstar-ogpt5m.dab.02.net] has joined #code |
| 08:47 | <~Vornicus> | huh. not as much computation as I thought actually. |
| 08:49 | <&McMartin> | 18 is fun. |
| 08:49 | <&McMartin> | 19 made me step briefly away from Python. |
| 08:50 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [Connection closed] |
| 08:52 | <~Vornicus> | It's rule 90! |
| 08:55 | <&McMartin> | ? |
| 08:56 | <~Vornicus> | https://en.wikipedia.org/wiki/Rule_90 |
| 08:59 | <&McMartin> | aha |
| 09:19 | <~Vornicus> | It's the Josephus Problem! |
| 09:28 | | Kindamoody is now known as Kindamoody|afk |
| 09:34 | <~Vornicus> | 19b is meaner. |
| 09:39 | | catadroid` [catalyst@Nightstar-siildl.dab.02.net] has joined #code |
| 09:40 | | Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has quit [[NS] Quit: Quit] |
| 09:42 | | catadroid [catalyst@Nightstar-ogpt5m.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 09:44 | <~Vornicus> | 19b waits till later, that's kinda nuts. |
| 10:03 | | catadroid` is now known as catadroid |
| 10:30 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 11:31 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has quit [[NS] Quit: Gone] |
| 12:57 | < catadroid> | Hm, think I'm getting closer to an actual grammar |
| 13:12 | | gnolam [quassel@Nightstar-f22.ckv.119.62.IP] has joined #code |
| 13:12 | | mode/#code [+o gnolam] by ChanServ |
| 13:25 | | catadroid [catalyst@Nightstar-siildl.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 13:26 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 13:28 | | catadroid [catalyst@Nightstar-siildl.dab.02.net] has joined #code |
| 13:30 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 13:30 | | mode/#code [+o Alek] by ChanServ |
| 13:57 | | catadroid [catalyst@Nightstar-siildl.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 13:58 | | catadroid [catalyst@Nightstar-siildl.dab.02.net] has joined #code |
| 14:14 | <@Alek> | oh this is bull. http://www.theregister.co.uk/2015/10/28/telstra_iot_challenge_p0wns_whatever_you _think_for_18_months/ |
| 14:16 | <&VirusJTG> | oh, that is stright up bull shit |
| 15:22 | | gnolam [quassel@Nightstar-f22.ckv.119.62.IP] has quit [[NS] Quit: I'm there] |
| 15:50 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has joined #code |
| 15:50 | | mode/#code [+o Emmy] by ChanServ |
| 16:09 | | catadroid` [catalyst@Nightstar-uthccu.dab.02.net] has joined #code |
| 16:12 | | catadroid [catalyst@Nightstar-siildl.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 16:14 | | celticminstrel [celticminst@Nightstar-h4m24u.dsl.bell.ca] has joined #code |
| 16:14 | | mode/#code [+o celticminstrel] by ChanServ |
| 17:21 | | gnolam [quassel@Nightstar-t2vo1j.tbcn.telia.com] has joined #code |
| 17:22 | | mode/#code [+o gnolam] by ChanServ |
| 17:36 | | gnolam [quassel@Nightstar-t2vo1j.tbcn.telia.com] has quit [[NS] Quit: Food] |
| 18:14 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has quit [Connection closed] |
| 18:34 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 18:34 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 18:35 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has joined #code |
| 18:35 | | mode/#code [+o Emmy] by ChanServ |
| 18:42 | | Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has joined #code |
| 19:05 | | Kindamoody|afk is now known as Kindamoody |
| 19:23 | <~Vornicus> | http://oeis.org/A094388 |
| 19:27 | <~Vornicus> | Huh. I *can* do this with math. A little harder though |
| 19:28 | <&McMartin> | Is this 19b? |
| 19:28 | <~Vornicus> | Yes. |
| 19:28 | <&McMartin> | I switched to C for this because I ended up using some horrific combination of linked list and ring queue |
| 19:29 | <&McMartin> | Each step was amortized O(1), I think! |
| 19:29 | <~Vornicus> | Yeah, I set it up manually to see what happens but now that I do it's actually sensible to pull this off without resorting to that for the full thing. |
| 19:30 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 19:34 | | * Vornicus is mathematician, hear him roar. |
| 19:34 | <~Vornicus> | (rar) |
| 19:50 | | gnolam [quassel@Nightstar-t2vo1j.tbcn.telia.com] has joined #code |
| 19:50 | | mode/#code [+o gnolam] by ChanServ |
| 20:04 | <~Vornicus> | yes. 19b defeated in 5 lines, no loops. |
| 20:07 | <~Vornicus> | (19a was three lines, no loops) |
| 20:55 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has quit [Ping timeout: 121 seconds] |
| 20:58 | | Alek [Alek@Nightstar-cltq0r.il.comcast.net] has joined #code |
| 20:58 | | mode/#code [+o Alek] by ChanServ |
| 21:50 | | Kindamoody is now known as Kindamoody[zZz] |
| 22:09 | <~Vornicus> | 20: that was quick. |
| 22:17 | <@abudhabi> | That's what she said. |
| 22:33 | <&jeroud> | I did 19a quickly and efficiently with a queue because I was at the office and it was too noisy to maths properly. |
| 22:35 | | * Vornicus looked at the number, said "fuck that", did science on the first thousand values of n, then did mathematics for the rest. |
| 22:35 | <~Vornicus> | for 19b. 19a I knew the answer by heart |
| 22:36 | <&jeroud> | I had to manually build a mutable linked list/ring for 19b, but set it up in such a way that I could pass in a "find the victim" function. |
| 22:38 | <&jeroud> | One that does the expensive bit once upfront for b and then tracks state so each iteration is cheap. |
| 22:39 | | catadroid [catalyst@Nightstar-38ov1u.dab.02.net] has joined #code |
| 22:39 | <&jeroud> | And then the "find the victim" function for a is trivial. |
| 22:40 | <&jeroud> | I knew there was an analytical solution to a, but I didn't know what it was. |
| 22:40 | <&jeroud> | And the patterns in b indicated an analytical solution for that too. |
| 22:42 | <&jeroud> | But part of the reason I like these puzzles is that they often make me rethink and refactor my a solutions to handle b as well. |
| 22:42 | | catadroid` [catalyst@Nightstar-uthccu.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 22:42 | <~Vornicus> | I've got a couple where the difference is literally changing a single number |
| 22:43 | <&jeroud> | Vornicus: Have you done 21b yet? |
| 22:43 | <~Vornicus> | I'm on 21A right now |
| 22:43 | <~Vornicus> | writing the commands at the moment. |
| 22:44 | <&jeroud> | Ah. I'd like to discuss a particular aspect of b with you when you've done it. No spoilers until then. :-) |
| 23:24 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has quit [Ping timeout: 121 seconds] |
| --- Log closed Thu Dec 22 00:00:46 2016 |