| barrydk | Goeie more almal | 05:37 |
|---|---|---|
| mazal | Morning everyone | 05:53 |
| Kilos | morning mazal barrydk and others too | 05:55 |
| mazal | Gaanit oom ? | 05:56 |
| Kilos | ok dankie en jy? | 05:56 |
| mazal | Besig , maar ons gaan aam | 05:57 |
| mazal | aan* | 05:57 |
| Kilos | mooi | 05:57 |
| mazal | Hehehe , oom I almost bother you for a K problem , but found the issue | 06:03 |
| mazal | My konversation didn't want to connect both my networks on startup , but found the setting in server list edit | 06:04 |
| Kilos | lol | 06:05 |
| Kilos | there is a thing called konversation tips and tricks | 06:06 |
| Kilos | Maaz google konversation tips and tricks | 06:06 |
| Maaz | Kilos: "Konversation/Tips and Tricks - KDE UserBase Wiki" https://userbase.kde.org/Konversation/Tips_and_Tricks :: "The Konversation Handbook - KDE Documentation" https://docs.kde.org/stable/en/extragear-network/konversation/konversation.pdf :: "14 Tricks To Better Conversations - Lifehack.org" http://www.lifehack.org/articles/communication/14-tricks-better- | 06:06 |
| Maaz | conversations.html :: "15 Awesome Skype Chat Tricks - Just For You !! - Fedobe" http://fedobe.co… | 06:06 |
| mazal | I haven't met that thing yet :P | 06:06 |
| Kilos | lots you can configure in konversation | 06:06 |
| mazal | lol @ skype chat tricks | 06:07 |
| mazal | Maaz you are confused | 06:07 |
| Maaz | mazal: I already know stuff about you | 06:07 |
| Kilos | you can even move the channels panel to the left like xchat | 06:07 |
| mazal | Maaz , fine , just don't show the pictures ok | 06:07 |
| Maaz | mazal: Sorry... | 06:07 |
| ThatGraemeGuy | mornings | 06:24 |
| Kilos | hi ThatGraemeGuy | 06:24 |
| mazal | Morning ThatGraemeGuy | 06:25 |
| Kilos | could get really cold soon. rain in mid winter in the vaal | 06:29 |
| mazal | oi | 06:30 |
| inetpro | good mornings | 06:30 |
| Kilos | hi inetpro | 06:30 |
| mazal | morning inetpro | 06:30 |
| inetpro | Maaz: you | 06:31 |
| Maaz | inetpro: I am your new robot overlord | 06:31 |
| Kilos | lol | 06:31 |
| inetpro | :-) | 06:31 |
| Kilos | inetpro ty for team report | 06:38 |
| Kilos | and trello updates | 06:38 |
| inetpro | you're welcome oom Kilos | 06:53 |
| mazal | Guys will lspci id an unknown wi-fi chip ? | 07:50 |
| Kilos | try it | 07:50 |
| Kilos | guessing but maybe lshw | 07:51 |
| superfly | mazal: yes, it will. it tells you what hardware you have, drivers or not | 07:51 |
| mazal | I have a laptop that came with no drivers at all , no I need to id all the hardware cos the drivers site has 6 different drivers for each part :( | 07:52 |
| Kilos | morning superfly | 07:52 |
| mazal | The previous guys formatted it and put Win 7 on it. Have no manuals , discs , nothing to id the stuff | 07:53 |
| superfly | ohi | 07:53 |
| Kilos | mazal if its legal win then there is some driver update thing you can use, scans pc and tells you what you need | 07:54 |
| Kilos | most likely with a pay $49 dollars thing hehe | 07:55 |
| mazal | Is legal , is the works junk | 07:55 |
| mazal | If it was mine I would have had Ubuntu on it already | 07:55 |
| Kilos | lol | 07:55 |
| mazal | Let me go boot with linux cd and see what I can id with lspci / lshw | 07:56 |
| Kilos | http://www.youtube.com/watch?v=QGnFiApq9GU | 07:56 |
| Kilos | that might help | 07:57 |
| * andrewlsd greets and then lurks | 07:59 | |
| Kilos | hi andrewlsd | 07:59 |
| andrewlsd | Hi Kilos, thanks. | 08:00 |
| Kilos | hmm... | 08:00 |
| * Kilos wonders for what | 08:07 | |
| * inetpro falling off his chair | 08:10 | |
| mazal | Ok , lspci identified most of what I need\ | 08:10 |
| Kilos | tired inetpro | 08:10 |
| mazal | Stupid &^%&^% Win | 08:11 |
| Kilos | lekker mazal | 08:11 |
| Kilos | lol | 08:11 |
| mazal | That's if I read it all right | 08:11 |
| inetpro | Kilos: you actually gave a link to youtube for a windows solution on a Ubuntu channel? | 08:11 |
| mazal | Will see once I downloaded all the drivers if it works | 08:11 |
| mazal | And it's wasting my minetest data !!!!! | 08:12 |
| inetpro | ai! | 08:12 |
| barrydk | Myne ook | 08:12 |
| mazal | Who formats a laptop withou making rescue discs , seriously | 08:12 |
| Kilos | oh sorry inetpro but to be honest i was helping a buntu peep fix a prob | 08:12 |
| mazal | without* | 08:13 |
| * Kilos crawls back to the dog box | 08:14 | |
| Kilos | oh sinner man, where you gonna run to | 08:16 |
| Kilos | mazal its your fault | 08:20 |
| andrewlsd | Kilos: "all on that day" | 08:45 |
| Kilos | oh my | 08:45 |
| Kilos | hmm... | 08:45 |
| andrewlsd | blast from the past :-) | 08:46 |
| Kilos | you doing like pro now , trying to make me think | 08:47 |
| Kilos | you mean with zerlgi? | 08:54 |
| pieter2627 | morning all | 09:03 |
| Kilos | hi pieter2627 | 09:03 |
| Kilos | hi TinuvaMac | 09:03 |
| mazal | Only thing I can't figure out with lspci is which is the bluetooth controller | 09:41 |
| MaNI | did you try lshw as well? | 09:44 |
| mazal | Yeah , I'm gonna leave the bluetooth for now , not important | 09:45 |
| Kilos | hmm... | 09:51 |
| mazal | What was my fault Kilos ? | 09:53 |
| Kilos | lol hat pro jumped on me | 09:55 |
| Kilos | bluetooth dongles come with a mini cd to install its drivers | 09:55 |
| Kilos | bluesoleil thing | 09:56 |
| Kilos | on buntu they just work | 09:56 |
| mazal | Issie, I asked about lspci | 09:59 |
| Kilos | lol | 09:59 |
| Kilos | ja man ek terg net | 10:00 |
| mazal | And this one is build-in , not dongle. But you don't need that to do your work. These people have way to many extras | 10:00 |
| mazal | Gonna leave it | 10:00 |
| mazal | Is a nice machine this actually. I would like to take it for myself. Then I can sommer put ubuntu on | 10:01 |
| mazal | But don't think the boss will allow me | 10:02 |
| Kilos | convert the other users to ubuntu man | 10:02 |
| Kilos | kde 14.04 | 10:02 |
| Kilos | teach them | 10:02 |
| mazal | Not allowed to | 10:03 |
| mazal | Head office decide what we use remember | 10:03 |
| Kilos | ai! | 10:03 |
| mazal | I can only decide on my own machine | 10:03 |
| mazal | That's why I want it for my office | 10:03 |
| mazal | Unfortunately , they already know we have it :( | 10:04 |
| Kilos | lol | 10:04 |
| Kilos | yay telkom sending a tech out to come see why my speed is slow | 10:30 |
| MaNI | half expecting you to timeout and never return | 11:12 |
| Kilos | haha ill never let them kill me | 11:13 |
| Kilos | would even use voda to stay online | 11:13 |
| mazal | I wonder if my vodacom dongle still works | 11:25 |
| mazal | Do they still have that thing of disabling a number and give it to another simcard when long time not active ? | 11:25 |
| Kilos | porting ya | 11:28 |
| Kilos | but nowadays you go to the fone shop and they do it there | 11:29 |
| mazal | No I mean , when you not use simcard for long time , then they disable it automatically and take the number | 11:29 |
| Kilos | oh yes if you dont use it they give it to someone else | 11:30 |
| inetpro | anyone have a suggestion regarding a venue for SFD 2015 yet? | 11:30 |
| Kilos | 5 months or something | 11:30 |
| inetpro | pieter2627: ^^ | 11:30 |
| mazal | Then mine won't work anymore. Think it hasn't been plugged in for more than 2 years | 11:30 |
| Kilos | just fone them from it mazal | 11:30 |
| mazal | I wonder what of the credit that was on it then | 11:31 |
| Kilos | or try get a balance with *111# | 11:31 |
| mazal | Is a dongle , can't use it in a fone | 11:31 |
| Kilos | put it in a fone man | 11:31 |
| mazal | It doesn't have a simcard | 11:31 |
| Kilos | sims are interchangable | 11:31 |
| mazal | It's build-in | 11:31 |
| Kilos | oh my | 11:32 |
| mazal | You can't even open it | 11:32 |
| MaNI | doesn't the cover slide off? | 11:32 |
| MaNI | ergh | 11:32 |
| mazal | Mani , not that I recall. As I remember it is completely sealed | 11:32 |
| Kilos | these modems are terrible things to open | 11:32 |
| mazal | Might remember wrong though , is a long time ago | 11:32 |
| MaNI | browser interface doesn't allow sms? | 11:33 |
| Kilos | you gotta split one side cover off | 11:33 |
| mazal | Think I must go dig it out and check it | 11:33 |
| Kilos | modem-manager-gui | 11:34 |
| mazal | But now , let;s say they gave that number to another person , for argument sake. What about my profile on myvodacom. The number is your login id | 11:34 |
| Kilos | just try it before we speculate | 11:35 |
| mazal | I wonder if I have that in a doc here somewhere. Then I can try login | 11:35 |
| * mazal digs | 11:35 | |
| Kilos | they doing so well they might have forgotten to disable it | 11:35 |
| Kilos | MaNI you use kde? | 11:38 |
| mazal | Found my number , but like everything in this country the site is not working right now | 11:38 |
| Kilos | lol | 11:38 |
| mazal | circus | 11:38 |
| MaNI | yeah | 11:38 |
| mazal | " please try again later " | 11:39 |
| Kilos | yeah the kde users are growing here | 11:39 |
| MaNI | long term kde user, never been able to tolerate gnome | 11:39 |
| Kilos | wow i enjoyed gnome 2 | 11:39 |
| MaNI | though kde4 transition has been a huge test of faith | 11:39 |
| Kilos | they unity thing pushed me to kde | 11:39 |
| MaNI | the destruction of kdepim has been quite tragic, still the IDE itself is much better than anything else out there in my opinion | 11:40 |
| MaNI | ergh s/IDE/DE | 11:40 |
| MaNI | developer stuff on the brain | 11:41 |
| Kilos | lol | 11:41 |
| mazal | ditto on the unity thing , also took me to kde , eventually | 11:42 |
| Kilos | ThatGraemeGuy can you please startup mt.donaldson.net some time? wanna try burn some night surfer data | 11:48 |
| ThatGraemeGuy | you can just join us on the new one | 11:48 |
| Kilos | hopefully get andrew up to date as well same time | 11:49 |
| * mazal mumbels something of useless midnight data | 11:49 | |
| Kilos | i want him to see the ship and pyramid and so on too | 11:49 |
| mazal | Build new ones | 11:49 |
| Kilos | nono that was a major job | 11:50 |
| mazal | hehehe | 11:50 |
| ThatGraemeGuy | I'll find somewhere to put it, I cant start it up on that server as we're playing there | 11:50 |
| ThatGraemeGuy | limited resources | 11:50 |
| Kilos | ok ty | 11:50 |
| mazal | Kilos: I started over about 4 times , and twice in minecraft | 11:51 |
| mazal | You get used to it | 11:51 |
| Kilos | no man im too busy to go through all that again from scratch | 11:51 |
| ThatGraemeGuy | you don't really have much choice, the old server isn't coming back :-) | 11:51 |
| Kilos | is it possible to let me get a copy of it so i can run it here please | 11:52 |
| pieter2627 | inetpro: no, have no suggestion. see that it was at the train station last year | 11:53 |
| inetpro | was actually a very nice venue | 11:56 |
| andrewlsd | hi, got disconnected. | 12:02 |
| Kilos | wb andrewlsd | 12:02 |
| andrewlsd | ty Kilos | 12:03 |
| andrewlsd | installing the F-word distro :-) | 12:06 |
| superfly | Kilos: why don't we just build it again? | 12:06 |
| superfly | andrewlsd: NO!!! NOT FEDORA!!! | 12:06 |
| Kilos | wow superfly fro m scratch? | 12:07 |
| superfly | Kilos: ja, it wasn't that difficult | 12:07 |
| mazal | F word distro ? | 12:07 |
| mazal | Fedora ? | 12:07 |
| andrewlsd | yes | 12:07 |
| Kilos | lol | 12:07 |
| mazal | Sjoe , haven't worked with that in looooooong time | 12:08 |
| mazal | Fedora 10 I think it was | 12:08 |
| Kilos | its the time online superfly , i was using a months data every week | 12:08 |
| andrewlsd | not my own pc. was a mission to even find a ZA mirror that had the iso file | 12:08 |
| Kilos | but it was great fun | 12:08 |
| Kilos | ai! that date eater and his excessive floods | 12:09 |
| mazal | Tried many things , even Suse , but Ubuntu was where I stayed | 12:09 |
| Kilos | andrewlsd kde 14.04 man | 12:09 |
| Kilos | ek sukkel met my volk | 12:09 |
| mazal | Wassie ekkie | 12:10 |
| Kilos | hehe | 12:10 |
| andrewlsd | mazal: at the moment I'm using F22, Mint 17.1, Ubu 15.04, Chromixium, and Ubuntu-snappy | 12:10 |
| andrewlsd | oh, and RH and Suse | 12:10 |
| mazal | Wow | 12:10 |
| Kilos | wow | 12:10 |
| andrewlsd | just not Arch | 12:10 |
| andrewlsd | my arch experiences have not been awesome | 12:11 |
| mazal | RH 8 was my first ever linux expereince | 12:12 |
| mazal | Before it went enterprise | 12:12 |
| andrewlsd | all those distros are an occupational hazard for me | 12:12 |
| Kilos | hmm... i dont see kde anywhere in that list | 12:13 |
| ThatGraemeGuy | kde isn't a distro | 12:15 |
| Kilos | kubuntu | 12:15 |
| pieter2627 | inetpro: can it be used again, or did anyone feel it lacking something? | 12:15 |
| ThatGraemeGuy | kubuntu uses KDE | 12:16 |
| Kilos | yes | 12:17 |
| mazal | Anybody here have a capped axxess account ? | 12:17 |
| mazal | Want to know if their double data is also after midnight ? | 12:18 |
| * andrewlsd doesn't kde. | 12:19 | |
| * andrewlsd does TrinityDE | 12:19 | |
| ThatGraemeGuy | mazal: Axxess and Afrihost's additional data is a plain double afaik, not after hours or whatnot | 12:22 |
| inetpro | pieter2627: don't think there was anything wrong with the venue, in fact it was very accessible | 12:40 |
| inetpro | just hope we don't suddenly get many more people than last year... | 12:40 |
| mazal | Bye everyone , have a nice evening. God bless | 12:43 |
| pieter2627 | inetpro: ok | 12:45 |
| inetpro | was quite full and will have to remember to get there early next time in order to get a front row seat so I can see better | 13:01 |
| * inetpro is like Kilos | 13:02 | |
| inetpro | one blind eye and the other can't see | 13:02 |
| superfly | Kilos: ping | 13:03 |
| Kilos | superfly pong | 13:04 |
| Kilos | haha inetpro ons toppies | 13:04 |
| * inetpro thought he was sleeping in order to adapt to the late meeting tomorrow | 13:05 | |
| Kilos | na was looking at fencing poles i have to pull out and move | 13:05 |
| Kilos | tomorrow ill sleep all day | 13:05 |
| superfly | Kilos: you don't remember seeing Padroni's work website? | 13:21 |
| Kilos | um | 13:22 |
| Kilos | inetpro will remember | 13:22 |
| Kilos | inetpro ping | 13:22 |
| inetpro | hmm... | 13:22 |
| * Kilos watches the gears turning | 13:23 | |
| * inetpro trying hard to remember | 13:26 | |
| * andrewlsd goes looking at server log to see what he's missed | 13:57 | |
| Kilos | lol | 13:57 |
| andrewlsd | Kilos: watch out. I don't want you to get cut by a sword, stay away from Polish folks (anyone actually) when they are fencing. | 13:59 |
| Kilos | hahaha what you smoking | 14:00 |
| Cantide | stay away from MERS, too :S | 14:02 |
| Kilos | hi Cantide | 14:03 |
| Cantide | hello :) | 14:03 |
| === Cantide is now known as CanCycle | ||
| andrewlsd | cheers all. | 14:43 |
| Kilos | cheers andrewlsd | 14:43 |
| Kilos | later | 14:43 |
| georgelappies | hi all | 15:48 |
| georgelappies | hi Kilos | 15:49 |
| Kilos | hi georgelappies | 15:49 |
| georgelappies | winter hit you guys yet? | 15:49 |
| Kilos | yeah ty . too cold already | 15:49 |
| Kilos | aw | 16:21 |
| Kilos | no one said hi to the visitor | 16:21 |
| pieter2627 | Kilos: did not even spot him | 16:32 |
| * pieter2627 wbbl | 16:32 | |
| Kilos | nope i was busy trying to setup dropbox | 16:32 |
| Kilos | Maaz tell mazal http://www.techrepublic.com/article/create-a-live-system-iso-for-your-ubuntu-based-linux-machines-using-systemback/ | 16:59 |
| Maaz | Kilos: Righto, I'll tell mazal on freenode | 16:59 |
| Kilos | wbb | 17:28 |
| Kilos | wb pieter2627 | 17:55 |
| Kilos | inetpro hot clothes tomorrow hey! expected temps 5/15°c | 17:56 |
| pieter2627 | ty Kilos | 17:56 |
| inetpro | expected low here is more like 2°C | 18:03 |
| inetpro | it's about time | 18:03 |
| Kilos | that was pta temps we normally bit below it too | 18:03 |
| Kilos | eish | 18:04 |
| Kilos | i been freezing for weeks man and tomorrow night is a midnight shift | 18:04 |
| inetpro | put your feet in hot water | 18:05 |
| Kilos | with an element in to keep it hot | 18:05 |
| Kilos | lol | 18:05 |
| === Webtricity is now known as Guest88367 | ||
| magespawn | good evening | 18:58 |
| Kilos | hi magespawn | 18:58 |
| magespawn | how are things Kilos/ | 19:01 |
| magespawn | ? | 19:01 |
| Kilos | good ty and you? | 19:01 |
| Kilos | you been scarce | 19:01 |
| magespawn | been busy | 19:07 |
| magespawn | there have been some scientists at the reserve installing some advanced monitering equipment | 19:08 |
| Kilos | aha | 19:08 |
| magespawn | www.glcoherence.org | 19:09 |
| magespawn | and heartmathsouthafrica.co.za | 19:10 |
| Kilos | https://www.heartmath.org/gci/ | 19:10 |
| Kilos | ah | 19:10 |
| Kilos | it redirected | 19:10 |
| magespawn | yup it is | 19:10 |
| magespawn | just saw that myself | 19:11 |
| Kilos | lol | 19:11 |
| magespawn | had not been to the site before | 19:11 |
| magespawn | very interesting stuff and ideas | 19:29 |
| Kilos | too involved all that stuff | 19:30 |
| magespawn | yes there is a lot of detail, but the basic of it is to keep your heart and brain rhythems in sync | 19:31 |
| Kilos | best way to do that is to sleep lots | 19:32 |
| Kilos | night all. sleep tight | 19:33 |
| magespawn | good night all | 20:28 |
| gremble | o/ | 21:20 |
| kulelu88 | go sleep gremble | 21:28 |
| inetpro | go sleep kulelu88 | 21:32 |
| kulelu88 | =) | 21:34 |
| gremble | But I just said hello | 21:43 |
| gremble | Why am I being chased to bed? | 21:43 |
| kulelu88 | exams gremble | 21:54 |
| gremble | I only write on the 11th again | 21:55 |
| gremble | I am free to write lisp interpreters all day :P | 21:55 |
| kulelu88 | how was your first paper? | 21:55 |
| gremble | It was alright. Differential equations is a difficult subject ;/ | 21:56 |
| gremble | But I think it went alright | 21:56 |
| gremble | I studied rather hard for it | 21:56 |
| kulelu88 | good stuff. You don't want to end up a 5th year doing 2nd year modules :P | 21:57 |
| gremble | Nope | 21:57 |
| gremble | I have to finish next year | 21:57 |
| gremble | I am getting old. It is time for me to finish up, get a job and move out of the hosue | 21:57 |
| gremble | house* | 21:58 |
| kulelu88 | ehh I'm also looking for a pad | 21:58 |
| gremble | A launch pad? | 21:59 |
| kulelu88 | apartment pad =) | 21:59 |
| gremble | I'm more excited about the idea of living on my own than I am by the idea of actually looking for a place to stay | 22:09 |
| gremble | haha | 22:09 |
| gremble | I can't even go buy a shirt, nevermind something like a home | 22:09 |
| kulelu88 | i thought I was excited too, then I realized that I need to cook for myself as well | 22:15 |
| gremble | Haha I like cooking at least | 22:15 |
| gremble | I make awesome food when I cook for myself | 22:15 |
| gremble | :P | 22:15 |
| kulelu88 | yeah I'll get used to it also. Plenty of opportunity to become a maestro in the kitchen | 22:15 |
| gremble | That or starvation | 22:16 |
| gremble | Let Darwin decide | 22:16 |
| gremble | :P | 22:16 |
| kulelu88 | how far away are you planning? | 22:16 |
| gremble | Where I can get a job opportunity. I will probably try and see if I can do postgraduate somewhere | 22:16 |
| gremble | Preferrably Germany, but probably UP | 22:17 |
| kulelu88 | try to find a remote job | 22:17 |
| gremble | I still have to decide on a career xD | 22:19 |
| kulelu88 | IT, cause money is important | 22:20 |
| gremble | Probably something in IT/Math. Preferably a computer scientist research position | 22:22 |
| kulelu88 | don't end up as 1 of those guys who marries his lecturer gf now | 22:22 |
| gremble | I'll try not to | 22:23 |
| gremble | :P | 22:23 |
| kulelu88 | Unless shes hoooooottttttt | 22:24 |
| gremble | Haha There's always an exception | 22:25 |
| kulelu88 | Most of the hotties are studying BCom or BA | 22:25 |
| kulelu88 | or ... if you want a vrou first, BEd | 22:26 |
| kulelu88 | =D | 22:26 |
| gremble | Haha I'm already married to my work and so far there has only been a handful of girls that have been able to pull me away from it | 22:27 |
| kulelu88 | instagram photos or you lying | 22:28 |
| gremble | I don't even have photo's of myself on facebook... | 22:28 |
| kulelu88 | Now I know you are not an internet noob :D no sane person would put photos online willingly :D | 22:30 |
| gremble | I'm glad we finally got that out of the way then :P | 22:31 |
| gremble | Dammit | 22:33 |
| kulelu88 | hows this weather though. ons kan kak in June | 22:33 |
| gremble | I have to port my half-built Scheme parser from String to Text | 22:33 |
| gremble | -_- | 22:33 |
| kulelu88 | yeah you should definitely become a software engineer | 22:33 |
| gremble | This ice wind is kind of shitt | 22:33 |
| gremble | shitty* | 22:33 |
| gremble | I only build things that I like :x | 22:34 |
| gremble | That is why I am not really considering that | 22:34 |
| gremble | I want to learn lisp, but I don't have a lisp interpreter. So I am building one :D | 22:34 |
| kulelu88 | pay is shit here, but a nice job at GooFace will do you good | 22:34 |
| kulelu88 | lisp is that () () () () language? | 22:35 |
| gremble | Yup | 22:35 |
| gremble | ( ( ( ( ( ( ) ) ) ) ) language | 22:35 |
| kulelu88 | learn this if you're fascinated by strange languages: #crystal-language | 22:35 |
| gremble | although I think I missed a bracket | 22:35 |
| kulelu88 | you did! | 22:36 |
| gremble | haha | 22:36 |
| gremble | I'm playing with functional languages specifically | 22:36 |
| gremble | Next is Erlang and Elm | 22:37 |
| gremble | But I am pretty sure that I can Elm when I can Haskell, since Elm just twists some things around | 22:37 |
| gremble | crystal scares me because it is once again one of those dynamically typed langauges | 22:37 |
| kulelu88 | didn't we conclude that functional and imperative are almost the same? | 22:38 |
| kulelu88 | it is actually a static language that compiles | 22:38 |
| kulelu88 | it does type inference | 22:38 |
| gremble | functional and imperative is very much not the same though. I think the conclusion you made was when we had a main function with a bunch of do statements | 22:40 |
| gremble | Which is were functions and actions get mixed up | 22:40 |
| gremble | and the whole monad business gets confusing | 22:41 |
| gremble | Getting coffee so I can code | 22:41 |
| kulelu88 | I suck at jargon, so I'll just say I know what a monad is | 22:41 |
| gremble | Yes, I'm sorry. It's weird. Monads are the things that make functional programming smell a bit like imperative programming at times | 22:43 |
| gremble | They're weird math things | 22:43 |
| gremble | I'm not even going to pretend to understand enough of them to give you an illuminating explanation | 22:43 |
| gremble | xD | 22:43 |
| kulelu88 | frankly, it sounds like too much effort to code something functionally | 22:44 |
| gremble | Ask me after July :P | 22:44 |
| kulelu88 | do you not need tests for functional programming? | 22:44 |
| gremble | unit tests? | 22:44 |
| kulelu88 | I'm guessing a functional test would be stupid? | 22:44 |
| gremble | No? You can still have logic flaws | 22:45 |
| gremble | But luckily they are gauranteed to be consistent :P | 22:45 |
| gremble | functional programming is not some magic bullet that solves all mankinds problems and feeds the poor in America. It is just another programming paradigm like imperative or object orientated | 22:46 |
| gremble | But instead of making use of sequences of commands or objects sending messages and doing things, its just functions | 22:47 |
| kulelu88 | but a function can never be "untrue" | 22:49 |
| gremble | What do you mean by 'untrue'? | 22:50 |
| kulelu88 | I sometimes have alternate thinking in programming, so where I might say untrue, some might interpret as "false", although they could be different | 22:53 |
| gremble | No, that I get. I meant as in this context | 22:53 |
| gremble | What would a false function be and why is it significant? | 22:54 |
| kulelu88 | say for example, (and it is getting challenging to try to explain this), your function is testing 2+2, which you assume to equal to a non-negative number. would a functional test be applicable to make sure the function is right and almost always returns a positive number? | 22:56 |
| kulelu88 | let us assume that the function only accepts non-negative numbers | 22:56 |
| gremble | We should probably have these conversations earlier in the evenings :P Anyway, since your function cannot behave in any other way than expected due to purity(they don't allow a state change of any kind) and type constraints, they are guarenteed by the compiler to produce the expected results | 22:59 |
| gremble | Testing would be to insure that the integration between functions works as expected | 22:59 |
| gremble | Say that you handle JSON properly in your parser function and that it doesn't die with malformed JSON etc | 23:00 |
| kulelu88 | aah, so more complicated tests are what is needed | 23:17 |
| gremble | Same goes for python, except with python you need additional tests to make sure that you types are infered as expected | 23:23 |
| gremble | The more complext your tests are in what they test for, the better tests they are | 23:24 |
| kulelu88 | I'll only understand testing the day I write solid software that needs it | 23:31 |
| gremble | So you're the cowboy that our lecturers warned us against ;P | 23:32 |
| gremble | Cheers. I am going to hit the sack before I work any harder on this | 23:39 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!