| 2022-08-19 00:08:22 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-08-19 00:08:51 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-19 00:09:43 +0200 | gawen | (~gawen@user/gawen) |
| 2022-08-19 00:09:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-19 00:10:08 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-08-19 00:11:07 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 00:11:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-19 00:12:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-19 00:12:27 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 00:17:14 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-19 00:17:22 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-19 00:23:34 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-19 00:23:48 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5105821a742c1d7cd6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-19 00:27:31 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-19 00:27:52 +0200 | <zzz> | dsal: a couple of days ago you shared this https://www.youtube.com/watch?v=R04l7DfyMq4 with me. may i ask which package did you use? vty/brick/..? |
| 2022-08-19 00:29:34 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-19 00:29:57 +0200 | <dsal> | zzz: Oh wow, I just looked that code. I didn't use any package at all. |
| 2022-08-19 00:30:14 +0200 | <dsal> | putStr $ mconcat ["\ESC[", show (y + 2), ";", show (x + 1), "H", "\ESC[41;1m", show c, "\ESC[0m"]) carts |
| 2022-08-19 00:31:17 +0200 | <dsal> | I've used ansi-terminal since. |
| 2022-08-19 00:31:55 +0200 | geekosaur | still has a tendency to write escapes directly, having done it since the 80s |
| 2022-08-19 00:32:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 00:33:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-19 00:34:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-19 00:37:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 00:38:38 +0200 | <qrpnxz> | lol |
| 2022-08-19 00:40:01 +0200 | <monochrom> | I write those escape codes when defining shell prompts. |
| 2022-08-19 00:41:00 +0200 | <monochrom> | Hutton's book also has those escape codes in the terminal I/O chapter. |
| 2022-08-19 00:42:17 +0200 | <monochrom> | Yes! The state of Haskell textbooks has finally progressed to rudimentary terminal operations "let's put an x at row 10 column 5 because tic-tac-toe" |
| 2022-08-19 00:42:41 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 00:44:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 00:46:29 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 00:46:30 +0200 | Moyst__ | (~moyst@user/moyst) |
| 2022-08-19 00:47:11 +0200 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 252 seconds) |
| 2022-08-19 00:50:56 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-19 00:53:57 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 00:57:07 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 00:57:32 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 00:57:44 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 00:58:34 +0200 | <qrpnxz> | this thing? https://www.amazon.com/Programming-Haskell-Graham-Hutton/dp/0521692695 |
| 2022-08-19 00:59:33 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 00:59:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 00:59:56 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 01:00:42 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 01:01:15 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 01:01:33 +0200 | <monochrom> | Yeah |
| 2022-08-19 01:01:42 +0200 | <qrpnxz> | good book? |
| 2022-08-19 01:01:46 +0200 | <monochrom> | I think yes. |
| 2022-08-19 01:01:52 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 01:01:54 +0200 | Rumham | (~Rumham@128-193-154-141.ptpg.oregonstate.edu) |
| 2022-08-19 01:01:55 +0200 | <qrpnxz> | neat |
| 2022-08-19 01:02:06 +0200 | Rumham | (~Rumham@128-193-154-141.ptpg.oregonstate.edu) (Client Quit) |
| 2022-08-19 01:02:13 +0200 | <zzz> | graham is a good teacher |
| 2022-08-19 01:02:19 +0200 | mimmy | (~mimmy@104.165.250.116) |
| 2022-08-19 01:02:19 +0200 | Rumham347 | (~Rumham347@128-193-154-141.ptpg.oregonstate.edu) |
| 2022-08-19 01:02:43 +0200 | mimmy | (~mimmy@104.165.250.116) (Client Quit) |
| 2022-08-19 01:06:47 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-08-19 01:08:09 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-19 01:10:14 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-08-19 01:16:24 +0200 | luffy | (~chenqisu1@183.217.201.23) |
| 2022-08-19 01:16:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2022-08-19 01:17:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 01:19:23 +0200 | mimmy | (~mimmy@104.165.250.121) |
| 2022-08-19 01:19:27 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-bceefe-131.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-08-19 01:20:20 +0200 | mimmy | (~mimmy@104.165.250.121) (Client Quit) |
| 2022-08-19 01:21:19 +0200 | beteigeuze | (~Thunderbi@168.182.177.239) |
| 2022-08-19 01:21:37 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) |
| 2022-08-19 01:22:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-19 01:23:08 +0200 | mimmy_ | (~mimmy@2604:a880:cad:d0::3e:1001) |
| 2022-08-19 01:23:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2022-08-19 01:25:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 01:30:52 +0200 | Rumham347 | (~Rumham347@128-193-154-141.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-19 01:32:19 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-08-19 01:34:15 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-19 01:45:04 +0200 | <qrpnxz> | just realized an effect i've been using is actually just a good ol' object in disguise LOL. Delightful! Time to refactor i think |
| 2022-08-19 01:45:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-19 01:46:59 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-19 01:47:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-19 01:48:05 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.0) |
| 2022-08-19 01:58:27 +0200 | mimmy_ | mimmy |
| 2022-08-19 02:02:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-19 02:02:43 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-19 02:03:23 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) |
| 2022-08-19 02:03:53 +0200 | califax | (~califax@user/califx) |
| 2022-08-19 02:04:31 +0200 | <qrpnxz> | since methods just aren't a thing in haskell, it wasn't evident to me. If i had been doing, say, Go, i would've been there from the start. Rather interesting. |
| 2022-08-19 02:06:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-19 02:06:49 +0200 | <yushyin> | but functions associated with classes are called methods in haskell :P |
| 2022-08-19 02:09:35 +0200 | <Cale> | also, it's fair enough to model objects in Haskell with records of functions if that suits your application |
| 2022-08-19 02:10:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-19 02:10:37 +0200 | <Cale> | (and in fact, I'd recommend that sort of thing over defining a datatype as a sum if there are so many summands that the number of times you ever end up pattern matching is lower than the number of constructors of your type) |
| 2022-08-19 02:10:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-19 02:12:08 +0200 | <qrpnxz> | By methods i mean function associated with datatypes. Standard operating procedure in an OOP(ish) language is you create an object and it keeps track of some stuff for you, and you have operations on it. Then as a separate thing you have interfaces (in haskell typeclasses) which subsets of those operations meet. In haskell it's more just free floating data and doing stuff with it, but i wanted |
| 2022-08-19 02:12:10 +0200 | <qrpnxz> | data i could access and do stuff to and do some side-effects. I ended up with an effect that was basically a StateT IO, but that literally an object lol. It was just hidden from me that it was an object because i had been keeping it implicit in the Monad effect always, but its' useful to get that state in hand (exit the method chain 😉) and just have the state sometimes, when you do that it |
| 2022-08-19 02:12:13 +0200 | <qrpnxz> | become really obvious you were really working with an object all along |
| 2022-08-19 02:14:29 +0200 | jargon | (~jargon@184.101.168.117) (Remote host closed the connection) |
| 2022-08-19 02:15:27 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 02:16:26 +0200 | <Cale> | The general pattern is to have a type which is just a record of functions corresponding to the types of the public methods / messages that you can send to your OOP object, and then rather than defining subclasses, you just define functions which build records of that type. They'll take all the "private" data as arguments, and if you want, you can avoid real mutable state by having objects that just return new objects |
| 2022-08-19 02:16:27 +0200 | <Cale> | of the same type rather than mutating (possibly by applying these constructor functions with new arguments) |
| 2022-08-19 02:17:47 +0200 | <qrpnxz> | ehhh, for my app i don't really need the dynamism of a record of functions. Top level is fine. |
| 2022-08-19 02:17:59 +0200 | <qrpnxz> | but that sounds could be useful |
| 2022-08-19 02:18:16 +0200 | <Cale> | Some large percentage of the time, that'll be all you need of OO, and all the stuff about subtyping was a red herring ;) |
| 2022-08-19 02:18:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 02:18:53 +0200 | <Cale> | (because mostly it's just used to get hold of objects that have the same methods but work differently anyway) |
| 2022-08-19 02:19:07 +0200 | <qrpnxz> | inheritance very rarely needed in my experience. Go doesn't even have classes. Just methods and that's great. |
| 2022-08-19 02:19:22 +0200 | <qrpnxz> | (and interfaces of course, superpower) |
| 2022-08-19 02:21:12 +0200 | <qrpnxz> | Go has something called embedding that will forward methods for you to an inner object. That's neat if you want to forward a large interface. |
| 2022-08-19 02:21:26 +0200 | <yushyin> | qrpnxz: I know what you meant by that, I just wanted to make a little joke :) |
| 2022-08-19 02:21:50 +0200 | <qrpnxz> | ahhh ok :) |
| 2022-08-19 02:23:11 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-19 02:23:11 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-19 02:23:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-19 02:25:28 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-19 02:26:19 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-08-19 02:35:10 +0200 | beteigeuze1 | (~Thunderbi@2001:8a0:7d92:3b01:34e5:5642:a1e2:df48) |
| 2022-08-19 02:36:51 +0200 | beteigeuze | (~Thunderbi@168.182.177.239) (Ping timeout: 248 seconds) |
| 2022-08-19 02:36:51 +0200 | beteigeuze1 | beteigeuze |
| 2022-08-19 02:48:19 +0200 | freemint | (~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607) (Ping timeout: 256 seconds) |
| 2022-08-19 02:49:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 2022-08-19 03:00:27 +0200 | <zzz> | is anyone familiar.with both vty and ansi-terminal? i'm trying to choose one for making simple visualizations |
| 2022-08-19 03:04:14 +0200 | jargon | (~jargon@184.101.168.117) |
| 2022-08-19 03:10:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-19 03:10:59 +0200 | xff0x | (~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 2022-08-19 03:16:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-19 03:18:59 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-19 03:26:57 +0200 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) (Remote host closed the connection) |
| 2022-08-19 03:28:15 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 03:31:23 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2022-08-19 03:33:23 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2022-08-19 03:37:37 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 256 seconds) |
| 2022-08-19 03:38:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-08-19 03:41:38 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 03:43:34 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-19 03:45:08 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 03:46:14 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-19 03:49:05 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:8497:52c0:a7ea:bbfa) (Ping timeout: 255 seconds) |
| 2022-08-19 03:50:12 +0200 | <g> | zzz: those two exist at different levels of abstraction completely |
| 2022-08-19 03:54:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-19 03:55:07 +0200 | <jackdk> | g: do you know if anyone else is maintaining `cereal`? I have a PR that I would like to see get in: https://github.com/GaloisInc/cereal/pull/97 |
| 2022-08-19 03:55:08 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) |
| 2022-08-19 03:55:45 +0200 | beteigeuze | (~Thunderbi@2001:8a0:7d92:3b01:34e5:5642:a1e2:df48) (Ping timeout: 256 seconds) |
| 2022-08-19 03:55:47 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
| 2022-08-19 03:55:54 +0200 | <g> | I consider it deprecated and on life support. I don't think anyone else is watching it |
| 2022-08-19 03:56:29 +0200 | <g> | It exists from a time before binary adapted its improvements |
| 2022-08-19 03:56:41 +0200 | <g> | Adopted* |
| 2022-08-19 03:58:01 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-19 04:02:43 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-08-19 04:03:06 +0200 | <g> | I'll merge that; I just haven't been doing Haskell stuff for a bit |
| 2022-08-19 04:03:43 +0200 | luffy | (~chenqisu1@183.217.201.23) (Ping timeout: 252 seconds) |
| 2022-08-19 04:06:27 +0200 | <jackdk> | Thanks. I'm not wedded to any particular library and I see that binary also got a release this month. Should I migrate off cereal onto binary instead? |
| 2022-08-19 04:07:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 04:11:03 +0200 | crns | (~netcrns@user/crns) (Ping timeout: 268 seconds) |
| 2022-08-19 04:11:51 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) |
| 2022-08-19 04:11:51 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) (Changing host) |
| 2022-08-19 04:11:51 +0200 | crns | (~netcrns@user/crns) |
| 2022-08-19 04:21:07 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-19 04:21:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 04:23:14 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 04:23:31 +0200 | td_ | (~td@muedsl-82-207-238-008.citykom.de) (Ping timeout: 248 seconds) |
| 2022-08-19 04:25:17 +0200 | td_ | (~td@94.134.91.58) |
| 2022-08-19 04:34:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 04:38:25 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-19 04:39:13 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 04:56:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 04:56:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 04:58:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-19 05:00:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-19 05:01:39 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 2022-08-19 05:02:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 05:02:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 05:05:39 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-19 05:06:40 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-19 05:07:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-19 05:11:07 +0200 | vglfr | (~vglfr@145.224.94.248) (Read error: Connection reset by peer) |
| 2022-08-19 05:11:17 +0200 | vglfr | (~vglfr@145.224.94.248) |
| 2022-08-19 05:11:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-19 05:13:30 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 05:15:35 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-19 05:15:47 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-08-19 05:17:55 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 05:18:38 +0200 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-08-19 05:23:44 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-19 05:23:45 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-19 05:24:17 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-19 05:26:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 05:28:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 05:34:06 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-08-19 05:45:40 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 256 seconds) |
| 2022-08-19 05:48:12 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 05:52:35 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 05:58:48 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 06:01:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-19 06:02:00 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 06:04:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-19 06:05:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-19 06:11:08 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 06:12:04 +0200 | vglfr | (~vglfr@145.224.94.221) |
| 2022-08-19 06:12:23 +0200 | iqubic | (~iqubic@2601:602:9502:c70:a0c2:a899:16cf:ad56) |
| 2022-08-19 06:12:52 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-08-19 06:17:25 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-19 06:17:52 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-19 06:18:01 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-19 06:19:05 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-19 06:21:01 +0200 | <iqubic> | Alright... I'm looking to create a function of the type "Ord a => [a] -> Maybe [a]" which generates the next lexicographical permutation, if one exists. Do you folks think that List is the right data structure for this function to use? For my purposes, I need all 6! permutations of six elements in lexicographical order. Is there a better way to do |
| 2022-08-19 06:21:02 +0200 | <iqubic> | this than just starting at the beginning and just generating permutations one at a time? |
| 2022-08-19 06:21:27 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 06:21:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-19 06:21:57 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-08-19 06:21:57 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-19 06:22:11 +0200 | <iqubic> | Actually that's not even what I need. I need a way to take a list of "Ord a => [a]" and figure out where in the list of all lexicographical permutations of that length it falls. |
| 2022-08-19 06:22:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 06:25:54 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-19 06:28:09 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:e431:ef6a:50a6:3d1a) (Quit: reboot time) |
| 2022-08-19 06:29:56 +0200 | <iqubic> | How would I construct such a function? |
| 2022-08-19 06:32:19 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 06:33:16 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-08-19 06:34:46 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-19 06:34:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-19 06:36:40 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-19 06:37:11 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 06:38:17 +0200 | <Axman6> | next xs = listToMaybe . dropWhile (<= xs) . sort . permutations $ xs -- :p |
| 2022-08-19 06:39:04 +0200 | <iqubic> | Is that efficient? |
| 2022-08-19 06:39:19 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-19 06:39:21 +0200 | <iqubic> | Also, what is the dropWhile doing? |
| 2022-08-19 06:40:03 +0200 | <iqubic> | Really I just need "sort . permutations" though. |
| 2022-08-19 06:40:29 +0200 | <iqubic> | And is the "sort . permutations" efficient? |
| 2022-08-19 06:41:46 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-19 06:44:08 +0200 | <Solid> | I mean it generates a list of length n!, so no, but if you just go up to 6! anyways then it shouldn't matter |
| 2022-08-19 06:45:40 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) |
| 2022-08-19 06:47:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-08-19 06:47:17 +0200 | <iqubic> | Is there a more efficient way of generating these permutations? |
| 2022-08-19 06:47:27 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-19 06:55:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-19 07:03:41 +0200 | <dsal> | It's possible. If you have a working implementation, you can decide whether it's fast enough and have something to compare to for correctness and performance differences to if you decide to try making something faster. |
| 2022-08-19 07:04:13 +0200 | <iqubic> | I see. |
| 2022-08-19 07:08:20 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 07:11:44 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 07:13:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-19 07:16:20 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-19 07:18:59 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2022-08-19 07:19:49 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) |
| 2022-08-19 07:20:02 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-19 07:22:54 +0200 | <Axman6> | I'm sure there probably is an efficient algorithm from going from one permutation to its lexicographically next permutation, but I'm not sure what it would look like |
| 2022-08-19 07:23:28 +0200 | <iqubic> | I'm going to need all 6! permutations in order. |
| 2022-08-19 07:23:32 +0200 | <Axman6> | https://www.geeksforgeeks.org/lexicographically-next-permutation-in-cpp/ |
| 2022-08-19 07:27:35 +0200 | <iqubic> | Axman6: That's just using a built in function lol |
| 2022-08-19 07:27:45 +0200 | <iqubic> | So, I'm still an ignorant girl... |
| 2022-08-19 07:28:39 +0200 | <Axman6> | oh, ha - I didn't read that far in :) |
| 2022-08-19 07:28:51 +0200 | <Axman6> | https://stackoverflow.com/questions/17745870/how-does-this-algorithm-for-generating-the-next-lexic… is probably more useful as it seems to explain the algorithm |
| 2022-08-19 07:29:57 +0200 | <iqubic> | That seems like an imperative algorithm. Is there an easy way to "swap to elements in a list" in Haskell? |
| 2022-08-19 07:32:02 +0200 | <Axman6> | if you're careful you can return pass around functions which place a given element at a certain location pretty easily |
| 2022-08-19 07:32:34 +0200 | <iqubic> | Huh?!?! |
| 2022-08-19 07:32:59 +0200 | <Axman6> | > (\n -> 1:2:3:n:5:6:[ |
| 2022-08-19 07:33:01 +0200 | <lambdabot> | <hint>:1:21: error: |
| 2022-08-19 07:33:02 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2022-08-19 07:33:05 +0200 | <Axman6> | > (\n -> 1:2:3:n:5:6:[]) 10 |
| 2022-08-19 07:33:07 +0200 | <lambdabot> | [1,2,3,10,5,6] |
| 2022-08-19 07:33:27 +0200 | <iqubic> | I see. |
| 2022-08-19 07:33:41 +0200 | <iqubic> | How does that help me with the next permutation problem? |
| 2022-08-19 07:37:08 +0200 | <Axman6> | because if you're careful you can use that to swap the two elements of a list fairly efficiently once you find them |
| 2022-08-19 07:37:35 +0200 | jargon | (~jargon@184.101.168.117) (Remote host closed the connection) |
| 2022-08-19 07:37:53 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 07:38:11 +0200 | <jackdk> | Although some kind of small array type is likely to be more efficient than a list |
| 2022-08-19 07:39:28 +0200 | <Axman6> | yeah ST might make it easier to crib from the imperative algorithms |
| 2022-08-19 07:40:10 +0200 | <iqubic> | I've never used ST |
| 2022-08-19 07:40:51 +0200 | <Axman6> | One day, I had also never used ST, but then I did, and then I had |
| 2022-08-19 07:41:14 +0200 | <iqubic> | Is ST hard? |
| 2022-08-19 07:41:21 +0200 | <jackdk> | `runST $ do { your imperative stuff in the ST monad}` but you get a pure result |
| 2022-08-19 07:41:41 +0200 | <jackdk> | because of type-level tricks which prevent it from doing anything with _observable_ side effects |
| 2022-08-19 07:41:56 +0200 | <iqubic> | I see. |
| 2022-08-19 07:41:58 +0200 | <Axman6> | it';s just imperative programming with slightly less succinct syntax for array access |
| 2022-08-19 07:42:18 +0200 | <Axman6> | Guaranteed Pure^{TM} |
| 2022-08-19 07:42:25 +0200 | mikoto-chan | (~mikoto-ch@mobile-access-2e8419-147.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2022-08-19 07:42:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2022-08-19 07:42:46 +0200 | <jackdk> | Pureâ„¢... What is your goal here, by the way? I missed that part of the discussion. I get that we're looking for next lexicographic permutation, but why? |
| 2022-08-19 07:43:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 07:43:19 +0200 | <iqubic> | I never stated why. |
| 2022-08-19 07:45:24 +0200 | <iqubic> | How does ST work? How does one use it? |
| 2022-08-19 07:45:49 +0200 | <c_wraith> | jackdk already showed how it works above. |
| 2022-08-19 07:46:07 +0200 | <Axman6> | https://wiki.haskell.org/Monad/ST |
| 2022-08-19 07:46:29 +0200 | <iqubic> | What's the api for `do imperative stuff`? |
| 2022-08-19 07:46:32 +0200 | <c_wraith> | It's literally the same as using IORefs/IOArrays/Vectors, except things are named with ST instead of IO. |
| 2022-08-19 07:46:44 +0200 | <jackdk> | :t runST |
| 2022-08-19 07:46:45 +0200 | <lambdabot> | (forall s. ST s a) -> a |
| 2022-08-19 07:46:46 +0200 | <c_wraith> | and you put a runST on the outside to contain it |
| 2022-08-19 07:46:50 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 07:46:56 +0200 | <iqubic> | I don't know how IORefs or any of that work |
| 2022-08-19 07:47:16 +0200 | <Axman6> | you can use https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector-Mutable.html |
| 2022-08-19 07:47:27 +0200 | <Axman6> | look at the types, they tell you basically everything you need to know |
| 2022-08-19 07:47:40 +0200 | <iqubic> | Is Vector in base? |
| 2022-08-19 07:47:42 +0200 | <c_wraith> | Maybe start with an IO version. The types are a little simpler. |
| 2022-08-19 07:47:47 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2022-08-19 07:47:48 +0200 | <jackdk> | If this is a learning exercise, I would suggest maybe just bashing out something not especially performant using lists |
| 2022-08-19 07:47:54 +0200 | kadobanana | (~mud@user/kadoban) |
| 2022-08-19 07:48:13 +0200 | <iqubic> | This is just learning excersie, yeah. |
| 2022-08-19 07:48:24 +0200 | <jackdk> | and getting used to things like monadic I/O rather than micro-optimising this one problem (as much as making things fast is Axman6 's jam) |
| 2022-08-19 07:48:25 +0200 | <iqubic> | *exercise |
| 2022-08-19 07:48:40 +0200 | <jackdk> | In >5 years of industrial programming, I've never used runST |
| 2022-08-19 07:48:46 +0200 | <iqubic> | I know how Monadic I/O works. |
| 2022-08-19 07:48:50 +0200 | <Axman6> | swap :: Int -> Int -> MVector s a -> ST s (); swap i j vec = do {x <- read vec i; y <- read vec j; write vec i y; write vec j x; } |
| 2022-08-19 07:49:01 +0200 | <iqubic> | I'll use that. |
| 2022-08-19 07:49:27 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-08-19 07:49:32 +0200 | <jackdk> | then if you do want to stick with that, learn how to do it with mutable vectors in IO, then learn ST if you want but you could also delay learning that |
| 2022-08-19 07:49:39 +0200 | <c_wraith> | I mostly use runST to demonstrate how unsafeInterleaveST is *so much* worse than unsafeInterleaveIO |
| 2022-08-19 07:49:50 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-08-19 07:50:27 +0200 | k8yun | (~k8yun@user/k8yun) (Remote host closed the connection) |
| 2022-08-19 07:51:28 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-19 07:51:37 +0200 | <Axman6> | mkVec xs = do { generate (length xs) (xs !!) } -- this is shit but will work |
| 2022-08-19 07:52:16 +0200 | <c_wraith> | doesn't vector have backpermute for that? |
| 2022-08-19 07:54:44 +0200 | <iqubic> | What's that do Axman? |
| 2022-08-19 07:55:33 +0200 | Solid | (~slot@xmonad/slotThe) (WeeChat 3.6) |
| 2022-08-19 08:01:58 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-19 08:02:44 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 08:02:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-19 08:03:28 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-19 08:04:06 +0200 | <Axman6> | makes a vector out of a list |
| 2022-08-19 08:04:37 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-19 08:05:41 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 08:06:59 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 08:08:29 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 256 seconds) |
| 2022-08-19 08:11:19 +0200 | Guest77 | (~Guest77@2409:4072:78b:1c64:53ba:8bf1:c84c:c5f3) |
| 2022-08-19 08:11:35 +0200 | <Guest77> | greetings |
| 2022-08-19 08:12:13 +0200 | <Axman6> | Hello! |
| 2022-08-19 08:12:58 +0200 | Guest77 | (~Guest77@2409:4072:78b:1c64:53ba:8bf1:c84c:c5f3) (Client Quit) |
| 2022-08-19 08:13:15 +0200 | <iqubic> | Thank you all for helping a lady out. Some people don't think that woman should be in tech. |
| 2022-08-19 08:13:23 +0200 | <iqubic> | Especially not a trans woman like me |
| 2022-08-19 08:13:41 +0200 | <Axman6> | Given your name, I just assumed you were a sentient Apple product :p |
| 2022-08-19 08:13:56 +0200 | <iqubic> | Nope |
| 2022-08-19 08:14:04 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-19 08:14:12 +0200 | <iqubic> | I'm a trans woman who uses she/her pronouns |
| 2022-08-19 08:15:52 +0200 | isrpr | (~isrpr@179-97-26-159.onixnet.net.br) |
| 2022-08-19 08:17:26 +0200 | <dsal> | We have a lot of female engineers at work. |
| 2022-08-19 08:17:37 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-19 08:17:43 +0200 | <dsal> | Anyone who says a particular class of people shouldn't be in tech probably shouldn't be in tech. |
| 2022-08-19 08:18:50 +0200 | <iqubic> | Welp, I guess you've just identified a class of people who shouldn't be in tech. Please get out. Lol JK. You can stay |
| 2022-08-19 08:19:06 +0200 | <dsal> | Stupid infinite recursion. |
| 2022-08-19 08:19:51 +0200 | <Axman6> | > let shouldn'tBeInTech _ = () in fix shouldn'tBeInTech |
| 2022-08-19 08:19:52 +0200 | <lambdabot> | () |
| 2022-08-19 08:20:46 +0200 | isrpr | (~isrpr@179-97-26-159.onixnet.net.br) (Quit: Client closed) |
| 2022-08-19 08:21:18 +0200 | <Axman6> | > let shouldn'tBeInTech x = x+x in fix shouldn'tBeInTech |
| 2022-08-19 08:21:21 +0200 | <lambdabot> | *Exception: <<loop>> |
| 2022-08-19 08:21:59 +0200 | martin02 | (~silas@141.84.69.76) |
| 2022-08-19 08:22:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2022-08-19 08:26:25 +0200 | MajorBiscuit | (~MajorBisc@c-001-001-055.client.tudelft.eduvpn.nl) |
| 2022-08-19 08:29:30 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 08:33:04 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-19 08:42:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-19 08:42:36 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 08:43:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9c0:d54b:40d8:d0f7) |
| 2022-08-19 08:43:14 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 08:47:31 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 248 seconds) |
| 2022-08-19 08:55:58 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-19 08:56:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 08:56:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-19 08:58:32 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 09:00:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-19 09:01:21 +0200 | califax | (~califax@user/califx) |
| 2022-08-19 09:02:59 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 09:04:01 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-08-19 09:05:59 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-08-19 09:07:48 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-19 09:08:08 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 09:09:05 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-19 09:12:00 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-08-19 09:13:05 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 256 seconds) |
| 2022-08-19 09:13:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 09:13:48 +0200 | jil | (~user@160.155.45.49) |
| 2022-08-19 09:13:50 +0200 | <jil> | hello |
| 2022-08-19 09:14:20 +0200 | <jil> | I'm trying to translate the term 'list comprehension' in french buth I don't understand where it came from ? |
| 2022-08-19 09:14:27 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 09:15:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-19 09:16:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 09:18:52 +0200 | <lortabac> | jil: the python docs call them "listes en compréhension" |
| 2022-08-19 09:18:55 +0200 | <lortabac> | https://docs.python.org/fr/3/tutorial/datastructures.html#list-comprehensions |
| 2022-08-19 09:19:18 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-19 09:19:42 +0200 | <lortabac> | wikipedia uses the same term too |
| 2022-08-19 09:20:34 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 09:20:43 +0200 | <c_wraith> | there's an interesting discussion of how little programming terms actually get translated at https://french.stackexchange.com/questions/19353/recommend-a-dictionary-of-computing-terminology |
| 2022-08-19 09:21:28 +0200 | <iqubic> | Is Vector in base? |
| 2022-08-19 09:21:41 +0200 | <c_wraith> | No, it's in vector |
| 2022-08-19 09:25:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5105821a742c1d7cd6.dip0.t-ipconnect.de) |
| 2022-08-19 09:25:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-08-19 09:30:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 09:30:37 +0200 | <jil> | merci lortabac |
| 2022-08-19 09:32:35 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 09:33:37 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 09:35:59 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 09:36:16 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-19 09:37:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-19 09:39:05 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-19 09:40:09 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-19 09:42:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-19 09:43:29 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-19 09:43:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-19 09:44:44 +0200 | califax | (~califax@user/califx) |
| 2022-08-19 09:44:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-19 09:46:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-19 09:49:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-19 09:51:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 09:51:37 +0200 | benin0 | (~benin@183.82.27.55) |
| 2022-08-19 09:52:59 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 09:55:17 +0200 | <merijn> | c_wraith: That's also because no one is trying :p |
| 2022-08-19 09:55:43 +0200 | <merijn> | c_wraith: Except for me, who tried to make his translated thesis summary as Dijkstra-ish as possible and I think it went pretty wel |
| 2022-08-19 09:55:49 +0200 | <c_wraith> | no one tries because no one tries |
| 2022-08-19 09:56:06 +0200 | <arahael> | Translators and those who read the translated docs often don't have the same skill set. |
| 2022-08-19 09:56:28 +0200 | iqubic | (~iqubic@2601:602:9502:c70:a0c2:a899:16cf:ad56) (Quit: Client closed) |
| 2022-08-19 09:56:38 +0200 | <arahael> | It's a bit of a catch-22. You need to read and understnad the document before knowing hte best way to translate it. Once you've understood it, you're probably no-longer going to need to have it proeprly translated. |
| 2022-08-19 09:57:33 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 2022-08-19 09:59:35 +0200 | <arahael> | lortabac: I notice that the french wikipedia has the same translation: https://fr.wikipedia.org/wiki/Liste_en_compréhension |
| 2022-08-19 10:00:08 +0200 | <arahael> | Hmm, that's probably more for jil. |
| 2022-08-19 10:00:49 +0200 | <arahael> | Sadly doesn't cite any french resources. |
| 2022-08-19 10:02:06 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 10:03:24 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 10:04:14 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 10:06:51 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-19 10:07:27 +0200 | freemint | (~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607) |
| 2022-08-19 10:10:22 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-19 10:11:46 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-19 10:12:48 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-19 10:13:56 +0200 | jil | (~user@160.155.45.49) (Remote host closed the connection) |
| 2022-08-19 10:14:00 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-19 10:15:05 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-19 10:15:18 +0200 | cheater | (~Username@user/cheater) (Quit: (BitchX) Nice shoes, wanna fuck?) |
| 2022-08-19 10:15:31 +0200 | califax | (~califax@user/califx) |
| 2022-08-19 10:16:08 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-19 10:16:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 10:16:37 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-19 10:21:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-19 10:22:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 10:24:03 +0200 | vglfr | (~vglfr@145.224.94.221) (Ping timeout: 248 seconds) |
| 2022-08-19 10:25:47 +0200 | fserucas|eod | (~fserucas|@46.50.4.22) |
| 2022-08-19 10:27:15 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-19 10:27:53 +0200 | newnew | (~Me@185.103.89.75) |
| 2022-08-19 10:30:24 +0200 | luffy | (~chenqisu1@183.217.200.212) (Remote host closed the connection) |
| 2022-08-19 10:30:50 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-19 10:30:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b9c0:d54b:40d8:d0f7) (Quit: WeeChat 2.8) |
| 2022-08-19 10:30:57 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 10:35:15 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 10:37:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-19 10:39:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6c83:30b3:8060:5262) |
| 2022-08-19 10:41:19 +0200 | newnew | (~Me@185.103.89.75) (K-Lined) |
| 2022-08-19 10:42:52 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 10:44:02 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-19 10:44:53 +0200 | MajorBiscuit | (~MajorBisc@c-001-001-055.client.tudelft.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-08-19 10:46:28 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-19 10:46:44 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) |
| 2022-08-19 10:46:51 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 10:51:08 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-19 10:51:15 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 10:52:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 10:52:49 +0200 | MajorBiscuit | (~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 256 seconds) |
| 2022-08-19 10:53:59 +0200 | MajorBiscuit | (~MajorBisc@c-001-001-055.client.tudelft.eduvpn.nl) |
| 2022-08-19 11:00:08 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (Quit: You have been kicked for being idle) |
| 2022-08-19 11:00:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5105821a742c1d7cd6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-19 11:00:11 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) (Quit: You have been kicked for being idle) |
| 2022-08-19 11:00:29 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-19 11:04:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5105821a742c1d7cd6.dip0.t-ipconnect.de) |
| 2022-08-19 11:08:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 11:17:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:8dbb:3126:608b:4b4c) |
| 2022-08-19 11:18:31 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-19 11:18:35 +0200 | benin0 | (~benin@183.82.27.55) (Ping timeout: 252 seconds) |
| 2022-08-19 11:19:30 +0200 | yvan-sraka | (~yvan-srak@laubervilliers-657-1-202-212.w81-250.abo.wanadoo.fr) |
| 2022-08-19 11:19:49 +0200 | yvan-sraka | (~yvan-srak@laubervilliers-657-1-202-212.w81-250.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-08-19 11:20:09 +0200 | yvan-sraka | (~yvan-srak@laubervilliers-657-1-202-212.w81-250.abo.wanadoo.fr) |
| 2022-08-19 11:20:38 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 11:21:39 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-19 11:21:53 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-08-19 11:23:56 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-19 11:23:57 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:8dbb:3126:608b:4b4c) (Ping timeout: 268 seconds) |
| 2022-08-19 11:24:28 +0200 | califax | (~califax@user/califx) |
| 2022-08-19 11:25:55 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 248 seconds) |
| 2022-08-19 11:26:40 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 11:27:30 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 11:27:45 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-19 11:29:39 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-08-19 11:29:46 +0200 | benin0 | (~benin@183.82.27.55) |
| 2022-08-19 11:30:08 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-19 11:31:37 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 11:32:04 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 11:34:36 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-19 11:35:46 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-19 11:40:21 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-19 11:43:01 +0200 | yvan-sraka | (~yvan-srak@laubervilliers-657-1-202-212.w81-250.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-08-19 11:43:54 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-19 11:44:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-19 11:52:01 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-19 11:53:20 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:f631:4899:ec57:c0c) |
| 2022-08-19 11:58:41 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:f631:4899:ec57:c0c) (Ping timeout: 255 seconds) |
| 2022-08-19 12:05:05 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-19 12:05:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 12:13:22 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-19 12:18:47 +0200 | feliix42 | (~felix@gibbs.uberspace.de) (Ping timeout: 244 seconds) |
| 2022-08-19 12:19:05 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
| 2022-08-19 12:19:17 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 244 seconds) |
| 2022-08-19 12:20:55 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2022-08-19 12:23:33 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-19 12:27:03 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-19 12:28:47 +0200 | luffy | (~chenqisu1@183.217.200.212) (Remote host closed the connection) |
| 2022-08-19 12:29:48 +0200 | Successus | (~Successus@user/Successus) |
| 2022-08-19 12:31:24 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-19 12:33:30 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-19 12:38:58 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 12:39:37 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 12:41:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-19 12:41:07 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 2022-08-19 12:42:13 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-19 12:44:27 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-08-19 12:44:39 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-19 12:49:17 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 12:50:09 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 12:50:43 +0200 | crns | (~netcrns@user/crns) (Ping timeout: 248 seconds) |
| 2022-08-19 12:52:12 +0200 | <tomsmeding> | merijn: yes but you only did it for kicks |
| 2022-08-19 12:52:30 +0200 | <tomsmeding> | no one _really_ wants to program in a localised programming language nowadays |
| 2022-08-19 12:53:14 +0200 | <tomsmeding> | they exist -- Logo has it, and iirc Pyret also had it (but they removed it later) |
| 2022-08-19 12:57:28 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-19 12:59:38 +0200 | <tomsmeding> | https://fr.wikipedia.org/wiki/Logo_(langage)#Primitives_graphiques |
| 2022-08-19 13:01:04 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-19 13:05:29 +0200 | kadobanana | (~mud@user/kadoban) |
| 2022-08-19 13:05:55 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-19 13:06:30 +0200 | akegalj | (~akegalj@141-136-174-63.dsl.iskon.hr) |
| 2022-08-19 13:17:38 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) |
| 2022-08-19 13:17:38 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) (Changing host) |
| 2022-08-19 13:17:38 +0200 | crns | (~netcrns@user/crns) |
| 2022-08-19 13:23:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-19 13:24:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 13:27:15 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-19 13:29:50 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 13:30:59 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 13:31:16 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 13:31:47 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 13:35:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b0b1:b121:ed17:12e4) |
| 2022-08-19 13:35:40 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-19 13:36:32 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 13:40:50 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-19 13:46:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 13:56:01 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-19 13:57:23 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 248 seconds) |
| 2022-08-19 13:58:04 +0200 | eldritch_ | (~eldritch@2804:7f4:8280:908a:e700:6e3a:767b:7bfb) |
| 2022-08-19 14:03:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 14:03:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5105821a742c1d7cd6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-19 14:03:31 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-19 14:04:32 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 14:04:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b0b1:b121:ed17:12e4) (Ping timeout: 244 seconds) |
| 2022-08-19 14:06:45 +0200 | xff0x | (~xff0x@ap007189.d.east.v6connect.net) |
| 2022-08-19 14:09:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 14:09:26 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 256 seconds) |
| 2022-08-19 14:09:32 +0200 | <dminuoso> | Im looking at the old internals of text, and a Text was a ByteArray together with an offset and length. Why exactly is that offset kept in there? |
| 2022-08-19 14:10:25 +0200 | <Franciman> | dminuoso: excuse moi, are ou referring to strict or lazy text? |
| 2022-08-19 14:10:27 +0200 | <Franciman> | sankyu |
| 2022-08-19 14:10:50 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-19 14:11:05 +0200 | <dminuoso> | Well either, the lazy text is essentially just [T.Text] |
| 2022-08-19 14:11:34 +0200 | <Franciman> | maybe the offset helps computing the position when ou are amidst text pieces |
| 2022-08-19 14:11:50 +0200 | <Franciman> | in a feest wa |
| 2022-08-19 14:11:52 +0200 | <Franciman> | y |
| 2022-08-19 14:12:05 +0200 | <Franciman> | just random hypotheses, best would be to check |
| 2022-08-19 14:12:07 +0200 | <dminuoso> | The offset is not about computing, its rather that the text is essentially just what starts at the offset |
| 2022-08-19 14:12:07 +0200 | <Franciman> | keks |
| 2022-08-19 14:12:17 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-19 14:12:40 +0200 | <dminuoso> | I mean some operations can become extremely fast like `uncons` because uncons just reads the character at the current offset, and returns the *same* shared ByteArray with just the offset adjusted. |
| 2022-08-19 14:12:57 +0200 | <dminuoso> | (Or `tail` in general) |
| 2022-08-19 14:14:29 +0200 | <Franciman> | ;) |
| 2022-08-19 14:14:51 +0200 | <Franciman> | i see |
| 2022-08-19 14:15:05 +0200 | <merijn> | tomsmeding: I think the notion of localising languages is mostly pointless, since programming languages aren't English, so translations wouldn't be whatever their translated either. i.e., there is no problem that "translation" actually solves |
| 2022-08-19 14:15:27 +0200 | <dminuoso> | Though I guess that alone is perhaps reason enough to keep it as length + offset |
| 2022-08-19 14:15:42 +0200 | <merijn> | dminuoso: The offset is because copying a subsection of a Text doesn't copy |
| 2022-08-19 14:15:54 +0200 | <Franciman> | merijn: do you mean that «where» is not an english word? |
| 2022-08-19 14:16:05 +0200 | <merijn> | dminuoso: i.e. splitting many sub-Text of one huge texts only requires keeping 1 copy of the original |
| 2022-08-19 14:16:06 +0200 | <Franciman> | or that it's relation to the english word «where» is not relevant at all for learning haskell |
| 2022-08-19 14:16:08 +0200 | <Franciman> | ? |
| 2022-08-19 14:16:34 +0200 | <Franciman> | in the second case let me just state that knowledge of the english language helps learning faster the meaning of the where construct |
| 2022-08-19 14:16:37 +0200 | <Franciman> | but sure |
| 2022-08-19 14:16:42 +0200 | <merijn> | Franciman: It's an English word, but english semantics don't apply. At best it can you a limited clue of what it may mean |
| 2022-08-19 14:16:44 +0200 | <dminuoso> | merijn: Is this a common operation? |
| 2022-08-19 14:16:49 +0200 | <Franciman> | i'm all in favour of a language where local bindings are introduced by «afompio» |
| 2022-08-19 14:17:00 +0200 | <dminuoso> | I really dont know how text is generally used for the most part |
| 2022-08-19 14:17:02 +0200 | <Franciman> | afompio x = 12 iortia 2 + x |
| 2022-08-19 14:17:03 +0200 | <merijn> | dminuoso: I would think so |
| 2022-08-19 14:17:09 +0200 | <merijn> | dminuoso: ByteString does the same |
| 2022-08-19 14:17:36 +0200 | <Franciman> | i totally suggest languages with 1 letter private keywords |
| 2022-08-19 14:17:44 +0200 | <Franciman> | like: l x = 1 i 2 + x |
| 2022-08-19 14:17:54 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 14:18:38 +0200 | <merijn> | Franciman: I mean, there's like, what 10 english keywords in 98% of languages all of which are known to essentially anyone above, say, 10 years old |
| 2022-08-19 14:19:21 +0200 | <merijn> | translation just means you can't effectively google because all resources are fractured per translation |
| 2022-08-19 14:21:52 +0200 | <dminuoso> | merijn: Okay I think I just understood why text-short is a thing. |
| 2022-08-19 14:22:13 +0200 | <dminuoso> | That one keeps just a compacted ByteArray# inside, without any offsets |
| 2022-08-19 14:22:54 +0200 | <dminuoso> | So we have zero-copy slices at the cost of 2 words in Text? |
| 2022-08-19 14:23:02 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-19 14:23:37 +0200 | <merijn> | dminuoso: Yes |
| 2022-08-19 14:24:25 +0200 | <merijn> | dminuoso: See also: https://hackage.haskell.org/package/text-2.0.1/docs/Data-Text.html#v:copy |
| 2022-08-19 14:24:56 +0200 | <dminuoso> | Ah yes, thats pretty cool |
| 2022-08-19 14:27:56 +0200 | AlexNoo | (~AlexNoo@94.233.241.197) (Read error: Connection reset by peer) |
| 2022-08-19 14:28:14 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-19 14:28:19 +0200 | AlexNoo | (~AlexNoo@94.233.241.197) |
| 2022-08-19 14:36:35 +0200 | <tomsmeding> | it's also a _bit_ of a footgun if you accidentally hold onto a large bytestring just by keeping around a small slice of it :p |
| 2022-08-19 14:37:17 +0200 | <tomsmeding> | but it's super nice to be able to essentially get all the benefits of C++'s std::string_view without having to think about lifetimes |
| 2022-08-19 14:37:31 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-19 14:41:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 14:44:48 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-19 14:48:27 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-19 14:55:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-19 15:00:02 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-08-19 15:01:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 15:01:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 15:01:37 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Quit: relog) |
| 2022-08-19 15:03:51 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 256 seconds) |
| 2022-08-19 15:07:48 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:f8b2:f8bc:c51:6567) |
| 2022-08-19 15:09:24 +0200 | <NewbiePlumber> | Is there a way to call GHC from a haskell script? I'm having trouble finding info about it, but I'm sure it's possible. |
| 2022-08-19 15:10:19 +0200 | <NewbiePlumber> | Specifically, calling GHC to compile a program, including the source of the script it's being called from. |
| 2022-08-19 15:10:38 +0200 | <geekosaur> | not sure I understand the question. ghc is available as a library, though; it's a pain to use directly, but there are libraries such as hint that make it easier |
| 2022-08-19 15:11:01 +0200 | <geekosaur> | but this sounds like it'd be easier to just use createProcess |
| 2022-08-19 15:11:19 +0200 | <dminuoso> | NewbiePlumber: https://hackage.haskell.org/package/ghc-9.2.4/docs/GHC-Driver-Pipeline.html |
| 2022-08-19 15:11:47 +0200 | <NewbiePlumber> | Wonderful, TY |
| 2022-08-19 15:11:55 +0200 | <dminuoso> | You say wonderful now. |
| 2022-08-19 15:12:05 +0200 | <dminuoso> | I will remind you when you come back. :-) |
| 2022-08-19 15:12:10 +0200 | <NewbiePlumber> | :) |
| 2022-08-19 15:13:40 +0200 | <dminuoso> | NewbiePlumber: Also look at https://hackage.haskell.org/package/ghc-9.2.4/docs/GHC-Driver-Make.html |
| 2022-08-19 15:15:42 +0200 | benin06 | (~benin@183.82.27.55) |
| 2022-08-19 15:16:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 15:17:02 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-19 15:17:31 +0200 | polyphem_ | (~rod@2a02:810d:840:8754:21b3:55de:e4b1:a444) |
| 2022-08-19 15:18:00 +0200 | benin0 | (~benin@183.82.27.55) (Ping timeout: 256 seconds) |
| 2022-08-19 15:18:01 +0200 | benin06 | benin0 |
| 2022-08-19 15:19:31 +0200 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 248 seconds) |
| 2022-08-19 15:20:21 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-19 15:22:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 15:22:55 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-19 15:26:51 +0200 | ccapndave | (~ccapndave@2a02:1210:6cf0:6b00:4164:a2e6:3c4e:7446) |
| 2022-08-19 15:26:59 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 15:30:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6c83:30b3:8060:5262) (Ping timeout: 256 seconds) |
| 2022-08-19 15:32:18 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:f8b2:f8bc:c51:6567) (Quit: Client closed) |
| 2022-08-19 15:33:25 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2022-08-19 15:35:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-19 15:36:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efea:8b97:b92a:dc65) |
| 2022-08-19 15:42:41 +0200 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-19 15:43:04 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-19 15:44:28 +0200 | megaTherion | (~therion@unix.io) |
| 2022-08-19 15:48:18 +0200 | ccapndave | (~ccapndave@2a02:1210:6cf0:6b00:4164:a2e6:3c4e:7446) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-19 15:49:35 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-08-19 15:50:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-19 15:53:02 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-19 15:53:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-19 15:58:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 15:58:57 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 268 seconds) |
| 2022-08-19 15:59:26 +0200 | caffery156 | (~caffery@user/caffery156) |
| 2022-08-19 16:00:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-19 16:00:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 16:03:08 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-19 16:03:12 +0200 | akegalj | (~akegalj@141-136-174-63.dsl.iskon.hr) (Quit: leaving) |
| 2022-08-19 16:04:09 +0200 | bairyn | ByronJohnson |
| 2022-08-19 16:13:17 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-19 16:13:52 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-19 16:17:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 16:18:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-19 16:21:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-19 16:21:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 16:26:34 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-08-19 16:28:16 +0200 | benin0 | (~benin@183.82.27.55) (Ping timeout: 256 seconds) |
| 2022-08-19 16:28:19 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-19 16:28:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efea:8b97:b92a:dc65) (Quit: WeeChat 2.8) |
| 2022-08-19 16:30:11 +0200 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-08-19 16:30:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-19 16:30:50 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-19 16:31:51 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-19 16:32:34 +0200 | benin0 | (~benin@183.82.27.55) |
| 2022-08-19 16:41:56 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Quit: leaving) |
| 2022-08-19 16:49:12 +0200 | kenran | (~kenran@200116b82b7a7900db5466d8203a458a.dip.versatel-1u1.de) |
| 2022-08-19 16:52:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 16:55:45 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-19 16:56:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-19 16:57:25 +0200 | kenran | (~kenran@200116b82b7a7900db5466d8203a458a.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-19 17:02:20 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 17:04:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2022-08-19 17:11:02 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-19 17:15:40 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-19 17:20:35 +0200 | polyphem_ | (~rod@2a02:810d:840:8754:21b3:55de:e4b1:a444) (Ping timeout: 248 seconds) |
| 2022-08-19 17:21:52 +0200 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 2022-08-19 17:26:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 17:30:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-19 17:35:09 +0200 | caffery156 | (~caffery@user/caffery156) (Ping timeout: 256 seconds) |
| 2022-08-19 17:36:55 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 17:41:08 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-19 17:42:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 17:48:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 17:48:46 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-19 17:48:57 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) |
| 2022-08-19 17:49:34 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) (Client Quit) |
| 2022-08-19 17:49:50 +0200 | etra0 | (~quassel@186-78-138-177.baf.movistar.cl) |
| 2022-08-19 17:50:57 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Quit: leaving) |
| 2022-08-19 17:51:21 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-19 17:53:38 +0200 | Guest6 | (~Guest6@47.186.214.206) |
| 2022-08-19 17:58:11 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) |
| 2022-08-19 17:59:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 18:00:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 18:03:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 18:06:30 +0200 | fserucas|eod | (~fserucas|@46.50.4.22) (Quit: Leaving) |
| 2022-08-19 18:06:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-19 18:07:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 18:08:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 18:08:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-19 18:09:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 18:11:20 +0200 | Guest6 | (~Guest6@47.186.214.206) (Quit: Client closed) |
| 2022-08-19 18:14:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-19 18:14:27 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-08-19 18:17:18 +0200 | darxun | (sid504814@id-504814.tinside.irccloud.com) |
| 2022-08-19 18:18:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 18:19:24 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 18:19:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 18:20:00 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-19 18:20:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 18:21:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-19 18:24:29 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-19 18:27:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-19 18:29:33 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 256 seconds) |
| 2022-08-19 18:33:05 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-19 18:33:39 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 248 seconds) |
| 2022-08-19 18:39:11 +0200 | benin0 | (~benin@183.82.27.55) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-19 18:45:25 +0200 | MajorBiscuit | (~MajorBisc@c-001-001-055.client.tudelft.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-08-19 18:50:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-19 18:50:39 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-19 18:51:34 +0200 | freemint | (~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607) (Remote host closed the connection) |
| 2022-08-19 18:55:07 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-19 18:55:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-19 18:55:49 +0200 | freemint | (~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607) |
| 2022-08-19 19:04:14 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-19 19:10:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-19 19:10:59 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2022-08-19 19:12:07 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:dcaf:f55:44e3:8747) |
| 2022-08-19 19:12:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 19:12:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-19 19:15:15 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-08-19 19:17:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-19 19:17:09 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-19 19:17:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-19 19:17:32 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-19 19:17:42 +0200 | freemint | (~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607) (Ping timeout: 256 seconds) |
| 2022-08-19 19:21:24 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-19 19:23:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 19:26:51 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a7948778105a8f3356f.dip0.t-ipconnect.de) |
| 2022-08-19 19:27:55 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-19 19:31:34 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.8) |
| 2022-08-19 19:33:34 +0200 | Alex_test | (~al_test@94.233.241.197) (Ping timeout: 256 seconds) |
| 2022-08-19 19:33:39 +0200 | Successus | (~Successus@user/Successus) () |
| 2022-08-19 19:33:51 +0200 | Successus | (~Successus@user/Successus) |
| 2022-08-19 19:33:52 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:dcaf:f55:44e3:8747) (Remote host closed the connection) |
| 2022-08-19 19:34:27 +0200 | AlexZenon | (~alzenon@94.233.241.197) (Ping timeout: 248 seconds) |
| 2022-08-19 19:35:24 +0200 | AlexNoo | (~AlexNoo@94.233.241.197) (Ping timeout: 268 seconds) |
| 2022-08-19 19:37:18 +0200 | Alex_test | (~al_test@178.34.163.8) |
| 2022-08-19 19:37:53 +0200 | AlexNoo_ | AlexNoo |
| 2022-08-19 19:38:45 +0200 | AlexZenon | (~alzenon@178.34.163.8) |
| 2022-08-19 19:43:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-19 19:45:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 19:45:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 19:49:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 19:49:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-19 20:08:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-19 20:14:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-19 20:14:37 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-19 20:14:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-19 20:15:16 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-19 20:16:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-08-19 20:16:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-19 20:17:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-19 20:18:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 20:22:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-19 20:22:44 +0200 | vglfr | (~vglfr@145.224.94.199) (Read error: Connection reset by peer) |
| 2022-08-19 20:22:55 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-19 20:24:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-19 20:26:48 +0200 | berberman_ | (~berberman@user/berberman) |
| 2022-08-19 20:26:55 +0200 | econo | (uid147250@user/econo) |
| 2022-08-19 20:27:14 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 268 seconds) |
| 2022-08-19 20:27:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-08-19 20:27:47 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a7948778105a8f3356f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-19 20:30:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 20:32:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-08-19 20:33:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 20:39:57 +0200 | vglfr | (~vglfr@145.224.94.199) (Read error: Connection reset by peer) |
| 2022-08-19 20:40:28 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-19 20:52:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 20:56:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 21:01:23 +0200 | eldritch_ | (~eldritch@2804:7f4:8280:908a:e700:6e3a:767b:7bfb) (Ping timeout: 248 seconds) |
| 2022-08-19 21:01:33 +0200 | eldritch_ | (~eldritch@179.182.242.20) |
| 2022-08-19 21:01:43 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 21:03:02 +0200 | eldritch_ | (~eldritch@179.182.242.20) (Remote host closed the connection) |
| 2022-08-19 21:03:26 +0200 | eldritch_ | (~eldritch@2804:7f4:8280:d69a:2d8:cf1:22ec:4a14) |
| 2022-08-19 21:05:54 +0200 | beteigeuze | (~Thunderbi@2001:8a0:7d92:3b01:34e5:5642:a1e2:df48) |
| 2022-08-19 21:05:59 +0200 | toluene | (~toluene@user/toulene) |
| 2022-08-19 21:12:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 21:13:01 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-08-19 21:13:30 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-08-19 21:14:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 21:14:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 21:16:19 +0200 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2022-08-19 21:16:42 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-19 21:17:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-19 21:18:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a7948778105a8f3356f.dip0.t-ipconnect.de) |
| 2022-08-19 21:18:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-19 21:19:48 +0200 | jespada | (~jespada@2803:9800:9842:8ca9:c4f5:ee5c:649d:9f1f) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-19 21:21:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 21:23:15 +0200 | beteigeuze | (~Thunderbi@2001:8a0:7d92:3b01:34e5:5642:a1e2:df48) (Quit: beteigeuze) |
| 2022-08-19 21:25:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-19 21:28:38 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-08-19 21:33:16 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-19 21:35:31 +0200 | arjun | (~arjun@user/arjun) |
| 2022-08-19 21:35:35 +0200 | kenran | (~kenran@200116b82b7a7900826c8522348aa8f4.dip.versatel-1u1.de) |
| 2022-08-19 21:41:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 21:43:30 +0200 | chomwitt | (~chomwitt@2a02:587:dc16:4100:194d:beae:942b:9603) |
| 2022-08-19 21:44:45 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-08-19 21:47:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-19 21:48:56 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-19 21:49:47 +0200 | <Athas> | RecordWildCards was a mistake. |
| 2022-08-19 21:54:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 21:58:43 +0200 | <jean-paul[m]> | Go on |
| 2022-08-19 22:00:13 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-19 22:01:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-19 22:04:29 +0200 | chexum_ | chexum |
| 2022-08-19 22:04:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-19 22:06:55 +0200 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-08-19 22:10:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-19 22:17:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 22:19:23 +0200 | bgthomas | (~Guest65@2a01:e0a:32f:6350:ab39:eade:6d49:6de9) |
| 2022-08-19 22:20:13 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-19 22:20:56 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-19 22:22:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-08-19 22:22:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-19 22:23:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-19 22:25:51 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-19 22:29:15 +0200 | <dsal> | RecordWildCards can be used in ways I don't like very much. I was working on a codebase where they primarily only used it in ways I don't like. |
| 2022-08-19 22:33:16 +0200 | sudden | (~cat@user/sudden) |
| 2022-08-19 22:33:38 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-19 22:35:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-08-19 22:43:27 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:99bb:869:d96c:69da) |
| 2022-08-19 22:45:29 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-19 22:45:55 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-19 22:47:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-19 22:50:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 22:51:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-19 22:51:51 +0200 | kenran | (~kenran@200116b82b7a7900826c8522348aa8f4.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-19 23:01:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-19 23:01:37 +0200 | eldritch_ | (~eldritch@2804:7f4:8280:d69a:2d8:cf1:22ec:4a14) (Quit: Leaving) |
| 2022-08-19 23:01:38 +0200 | Guest34 | (~Guest34@2601:201:4200:7860::d1cc) |
| 2022-08-19 23:02:06 +0200 | cat-master21[m] | (~cat-maste@2001:470:69fc:105::1:e3c4) |
| 2022-08-19 23:02:30 +0200 | Guest34 | (~Guest34@2601:201:4200:7860::d1cc) (Client Quit) |
| 2022-08-19 23:03:05 +0200 | cat-master21[m] | (~cat-maste@2001:470:69fc:105::1:e3c4) () |
| 2022-08-19 23:12:00 +0200 | w1gz | (~weechat@2a03:b0c0:1:d0::1123:1) (Ping timeout: 268 seconds) |
| 2022-08-19 23:12:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-08-19 23:12:14 +0200 | Rumham347 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-19 23:12:27 +0200 | Rumham34794 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) |
| 2022-08-19 23:12:32 +0200 | Rumham34794 | (~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Write error: Broken pipe) |
| 2022-08-19 23:13:05 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 268 seconds) |
| 2022-08-19 23:16:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-19 23:22:36 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-19 23:24:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-19 23:27:12 +0200 | <qrpnxz> | sad |
| 2022-08-19 23:29:34 +0200 | <sm> | /me likes it |
| 2022-08-19 23:30:43 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 248 seconds) |
| 2022-08-19 23:31:07 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-19 23:35:31 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a7948778105a8f3356f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-19 23:46:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-08-19 23:52:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-19 23:53:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2022-08-19 23:53:24 +0200 | iqubic | (~iqubic@2601:602:9502:c70:b32a:b8a9:2eb9:d17) |
| 2022-08-19 23:54:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-19 23:57:35 +0200 | bgthomas | (~Guest65@2a01:e0a:32f:6350:ab39:eade:6d49:6de9) (Quit: Client closed) |
| 2022-08-19 23:58:39 +0200 | Successus | (~Successus@user/Successus) () |