| --- Log opened Thu Aug 25 00:00:19 2016 |
| 00:20 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 00:22 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 00:23 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 01:03 | | gizmore [kvirc@Nightstar-uuqnf3.dip0.t-ipconnect.de] has quit [[NS] Quit: KVIrc 4.9.2 Aria http://www.kvirc.net/] |
| 01:03 | | himi [sjjf@Nightstar-dm0.2ni.203.150.IP] has joined #code |
| 01:03 | | mode/#code [+o himi] by ChanServ |
| 02:11 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Connection closed] |
| 02:40 | <@Alek> | McM, I didn't even mean music. I meant a song that was also code. would be nice if it were valid code too, but baby steps. :P |
| 02:45 | <~Vornicus> | Man. Did up tile shapes for vornball, didn't realize how crazy my circle radius additions actually are |
| 02:55 | <~Vornicus> | in N+, the editor has 58 shapes available; add the inverses of spike & bigspike you get to 66. Adding in the larger circles out to radius 5 gives 184 additional tiles. |
| 02:59 | <~Vornicus> | (N itself has only 34; it's missing spike, bigspike, cutoff, inverse cutoff, corner, and inverse corner) |
| 03:03 | <&Derakon> | Vorn: combinatorial explosion? |
| 03:04 | <~Vornicus> | No, it's, uh |
| 03:06 | <~Vornicus> | In order to make a radius-5 circle, you need 28 distinct tiles. |
| 03:06 | <~Vornicus> | because that's how many tiles a radius-5 circle passes through. |
| 03:08 | <&Derakon> | Can't you mirror/flip a bunch of them? |
| 03:08 | <~Vornicus> | Sure. That's how I got 34, 58, and 66 in the first place. |
| 03:10 | <~Vornicus> | But even then the numbers are still quite large compared to the originals: 10, 16, 18, and then an additional 46. |
| 03:14 | <~Vornicus> | correction: 8 in N, 14 in N+, 16 in N+ with additional inverts, and then the rounds are an additional 28. N++ comes out on steam tomorrow apparently. it's like they knew it was my birthday |
| 03:15 | <&Derakon> | ...N++ |
| 03:15 | <&Derakon> | I thought the series just kind of dissolved into endless level packs like, a decade ago. |
| 03:15 | <~Vornicus> | Man I never even beat the first one |
| 03:16 | <~Vornicus> | N+ was available on PSP, DS, and XB360. |
| 03:16 | <~Vornicus> | that came out in 2008. |
| 03:17 | <~Vornicus> | I just tried hunting it up on my 3ds and no luck, sady. |
| 03:17 | <&Derakon> | I played IIRC about 75% of N's initial level pack before getting disinterested. |
| 03:19 | <~Vornicus> | They're still at it. |
| 03:33 | <~Vornicus> | (the correction is because there are quite a few - the steep/shallow pieces, and the circle pieces that aren't on the diagonal, have an 8-way symmetry instead of 4-way. there are not any things with 2-way symmetry) |
| 03:37 | | * Vornicus wonders if tiled can handle that. |
| 04:19 | <~Vornicus> | (meanwhile if you also include inversion in the available symmetries you get 5 in N, 9 in N+, and 24 in my list) |
| 04:43 | | catadroid` [catadroid@Nightstar-se5.tcr.132.82.IP] has joined #code |
| 04:46 | | catadroid [catadroid@Nightstar-p7drok.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 05:12 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 05:13 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 05:29 | | Derakon is now known as Derakon[AFK] |
| 06:49 | | Kindamoody[zZz] is now known as Kindamoody |
| 06:53 | | * Vornicus hates having to do approximation. |
| 07:20 | <@simon> | Pi, would: getLines = do { eof <- isEOF; if eof then [] else (:) <$> getLine <*> getLines } be lazy? e.g. 'take 5 <$> getLines' would only result in the necessary buffered reading for that amount of lines to be read? |
| 07:21 | <@simon> | (getLine would be from Data.ByteString in this case.) |
| 07:36 | | catadroid` is now known as catadroid |
| 07:44 | | himi [sjjf@Nightstar-dm0.2ni.203.150.IP] has quit [Connection closed] |
| 08:02 | <@Pi> | simon: Nah, that would be strict. |
| 08:03 | <@Pi> | The effects are all explicitly sequenced, so you're guaranteed that they'll be executed regardless of program evaluation. |
| 08:04 | <@Pi> | When you say "take 5 <$> getLines", you're saying to apply a function (take 5) to the result of the IO action getLines. |
| 08:05 | <@Pi> | And the getLines action will execute all its effects (that is, all the getLine actions until isEOF), before returning the result (a list of lines) as a pure value. |
| 08:06 | <@Pi> | You can do lazy IO too (orthogonal to lazy evaluation), but then you have to be explicit about executing the IO actions on demand. |
| 08:06 | <@Pi> | That's what the various pipe and stream libraries do. |
| 08:07 | <@simon> | hm |
| 08:08 | <@simon> | I'm loading a list of words into a Data.Trie. would you use lazy IO or a stream library? |
| 08:09 | | Kindamoody is now known as Kindamoody|afk |
| 08:09 | <@simon> | the wordlist is 1MB, but could easily be a bit bigger. it's not that it can't fit in memory, but since the final storage format is a trie, and I'm trying to write efficient code, I figured I'd read words one at a time with implicit buffering, like I'd do in C. |
| 08:10 | <@Pi> | I'd probably just read it directly. |
| 08:10 | <@simon> | with like readFile? |
| 08:10 | <@Pi> | For modern machines, 1MB is nothing. :) |
| 08:10 | <@simon> | right :) |
| 08:10 | <@Pi> | No need to worry about fancy management. |
| 08:11 | <@Pi> | That fits in CPU cache these days. |
| 08:11 | <@simon> | hehe |
| 08:11 | <@simon> | what if the file were huge, what library would you use? |
| 08:11 | <@simon> | I'm mostly just experimenting with stuff. like ByteString right now. |
| 08:11 | <@Pi> | By the way, you can use the monad-loops package to express that program of yours above as: getLine `untilM` isEOF |
| 08:12 | <@Pi> | http://hackage.haskell.org/package/monad-loops-0.4.3 |
| 08:12 | <@simon> | thanks :) |
| 08:12 | <@Pi> | It has lots of useful control constructs :) |
| 08:12 | <@simon> | hehe |
| 08:12 | <@simon> | nice to know. |
| 08:12 | <@Pi> | It probably depends on the size. |
| 08:13 | <@Pi> | I would just default to loading it into memory. |
| 08:13 | <@Pi> | If it gets bigger than that I'd probably load it into a DBMS instead. |
| 08:13 | <@Pi> | Because otherwise you'd just be implementing one yourself, with page management, etc. |
| 08:14 | <@Pi> | So I'd do the simple thing, or if it's too big for that, throw it into SQLite or PostegreSQL |
| 08:15 | <@Pi> | If you're loading this into a Trie, you're presumably interested in random access efficiency, rather than streaming-style access, so I probably wouldn't even bother with any lazy IO stuff. |
| 08:15 | <@Pi> | I'd make everything strict, load the whole thing in, and then do the lookups you want to do with it. |
| 08:16 | <@simon> | ah, yes. |
| 08:16 | <@Pi> | Lazy IO would mainly be meaningful if you plan to access the word list in streaming fashion, and you want constant low memory usage rather than loading the whole thing into memory at once unnecessarily. |
| 08:17 | <@simon> | right... I'd want the trie to be pre-loaded. |
| 08:31 | | wolfmoon [uid178473@Nightstar-6br85t.irccloud.com] has joined #code |
| 08:32 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 08:48 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [Connection closed] |
| 08:48 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 09:21 | | celticminstrel is now known as celmin|sleep |
| 09:35 | < catadroid> | It's so hard to work on code that's been abstracted poorly |
| 09:36 | < catadroid> | I just want to rewrite the whole thing in a tenth of the size |
| 09:37 | <@Pi> | Can you refactor it incrementally? |
| 09:37 | < catadroid> | Yes, I can do all sorts to it |
| 09:37 | < catadroid> | But it's a stable, known working system and none of that would be very productive |
| 09:40 | <@simon> | catadroid, I hate coming to that realization. it happens a lot in real life, apparently. |
| 09:42 | <@simon> | most of the bugs I fix at work are related to poor ASP.NET WebForms choices. like "using ASP.NET WebForms". |
| 09:42 | < catadroid> | Well, indeed |
| 09:56 | <@Pi> | catadroid: Maintenance like that is productive! |
| 09:56 | <@Pi> | I just read a great article about that recently, actually. |
| 09:59 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 09:59 | | mode/#code [+o himi] by ChanServ |
| 09:59 | <@Pi> | catadroid: http://firstround.com/review/forget-technical-debt-heres-how-to-build-technical- wealth/ |
| 10:10 | < catadroid> | I know it can be productive, it just isn't my highest priority when there are more important things to fix :p |
| 10:13 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has quit [Connection closed] |
| 10:14 | | Emmy [Emmy@Nightstar-o9u.8m2.160.77.IP] has joined #code |
| 10:14 | | mode/#code [+o Emmy] by ChanServ |
| 10:31 | | wolfmoon [uid178473@Nightstar-6br85t.irccloud.com] has quit [[NS] Quit: ] |
| 10:32 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
| 10:46 | | wolfmoon [uid178473@Nightstar-6br85t.irccloud.com] has joined #code |
| 11:03 | | Derakon_ [chriswei@Nightstar-5mvs4e.ca.comcast.net] has joined #code |
| 11:04 | | Derakon[AFK] [chriswei@Nightstar-5mvs4e.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 11:13 | | catadroid` [catadroid@Nightstar-6k26i0.dab.02.net] has joined #code |
| 11:16 | | catadroid [catadroid@Nightstar-se5.tcr.132.82.IP] has quit [Ping timeout: 121 seconds] |
| 11:25 | | catadroid` is now known as catadroid |
| 11:30 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 11:30 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 11:38 | < catadroid> | The most frustrating thing about this system is that I can't keep enough of its parts in my head to be able to effectively change it |
| 11:41 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 11:44 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 11:44 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 11:48 | < catadroid> | ...it is structured such that the source file is also conceptually parts of the definition |
| 11:51 | | gnolam_ [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has joined #code |
| 11:51 | | gnolam [lenin@Nightstar-t1tbf0.cust.bahnhof.se] has quit [NickServ (RECOVER command used by gnolam_)] |
| 11:51 | | gnolam_ is now known as gnolam |
| 11:51 | | mode/#code [+o gnolam] by ChanServ |
| 11:53 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 11:54 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 11:54 | | mode/#code [+ao ToxicFrog ToxicFrog] by ChanServ |
| 11:56 | < catadroid> | THIS IS CRAZY |
| 11:56 | < catadroid> | Whyyyyy |
| 11:58 | | ToxicFrog` [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
| 12:01 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 12:10 | | macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code |
| 12:10 | | mode/#code [+o macdjord] by ChanServ |
| 12:12 | | mac [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds] |
| 12:13 | | macdjord|slep [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code |
| 12:13 | | mode/#code [+o macdjord|slep] by ChanServ |
| 12:15 | | macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds] |
| 12:25 | | macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code |
| 12:25 | | mode/#code [+o macdjord] by ChanServ |
| 12:26 | | macdjord|slep [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds] |
| 12:50 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
| 12:58 | < catadroid> | Oh god why |
| 12:58 | < catadroid> | The logic in this system is all wrong |
| 12:58 | < catadroid> | I despise it |
| 12:58 | < catadroid> | I want to burn it to the ground and dance upon the Ashes |
| 12:58 | | chriswei__ [chriswei@Nightstar-5mvs4e.ca.comcast.net] has joined #code |
| 13:00 | | Derakon_ [chriswei@Nightstar-5mvs4e.ca.comcast.net] has quit [Ping timeout: 121 seconds] |
| 13:00 | | himi [sjjf@Nightstar-v37cpe.internode.on.net] has joined #code |
| 13:00 | | mode/#code [+o himi] by ChanServ |
| 13:05 | | ToxicFrog` is now known as ToxicFrog |
| 13:24 | | froztbyte [froztbyte@Nightstar-frrora.za.net] has quit [Operation timed out] |
| 13:25 | | Kindamoody|afk [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has quit [Connection closed] |
| 13:26 | | Kindamoody|afk [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has joined #code |
| 13:26 | | mode/#code [+o Kindamoody|afk] by ChanServ |
| 13:26 | | froztbyte [froztbyte@Nightstar-frrora.za.net] has joined #code |
| 13:26 | | mode/#code [+o froztbyte] by ChanServ |
| 13:33 | | * TheWatcher plods away writing yaml for Swagger |
| 13:33 | <@TheWatcher> | Damn this is tedious... |
| 13:44 | <@TheWatcher> | http://json-schema.org/latest/json-schema-validation.html#anchor76 ... gee, thanks, JSON spec. That's useful. |
| 13:44 | <@TheWatcher> | Kill you to give examples in here, sheeesh |
| 13:48 | <@TheWatcher> | (yes, I can work it out, but reading that instead of just having a single example, eegh. Docs) |
| 13:59 | | Kindamoody|afk [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has quit [Connection closed] |
| 14:00 | | Kindamoody|afk [Kindamoody@Nightstar-0lgkcs.tbcn.telia.com] has joined #code |
| 14:00 | | mode/#code [+o Kindamoody|afk] by ChanServ |
| 14:34 | | wolfmoon [uid178473@Nightstar-6br85t.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 15:53 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 15:53 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 17:41 | | celmin|sleep is now known as celticminstrel |
| 17:43 | | catadroid` [catadroid@Nightstar-3o29rt.dab.02.net] has joined #code |
| 17:46 | | catadroid [catadroid@Nightstar-6k26i0.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 17:52 | | catadroid` [catadroid@Nightstar-3o29rt.dab.02.net] has quit [[NS] Quit: Bye] |
| 18:05 | | chriswei__ is now known as Derakon |
| 18:05 | | mode/#code [+ao Derakon Derakon] by ChanServ |
| 20:15 | | ErikMesoy [Erik@Nightstar-hq72t5.customer.cdi.no] has quit [[NS] Quit: Computer making funny noises.] |
| 20:27 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has joined #code |
| 21:43 | | JustBob [justbob@Nightstar.Customer.Dissatisfaction.Administrator] has quit [Connection reset by peer] |
| 21:45 | | JustBob [justbob@ServerAdministrator.Nightstar.Net] has joined #code |
| 21:45 | | mode/#code [+o JustBob] by ChanServ |
| 22:41 | | Kindamoody|afk is now known as Kindamoody |
| 22:56 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
| 22:56 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 23:31 | | catalyst [catalyst@Nightstar-bt5k4h.81.in-addr.arpa] has quit [[NS] Quit: Leaving] |
| 23:38 | | catadroid [catadroid@Nightstar-3o29rt.dab.02.net] has joined #code |
| 23:46 | | Kindamoody is now known as Kindamoody[zZz] |
| --- Log closed Fri Aug 26 00:00:35 2016 |