| 2023-05-18 00:01:45 +0200 | mikoto-chan | (~mikoto-ch@85-76-145-81-nat.elisa-mobile.fi) (Ping timeout: 240 seconds) |
| 2023-05-18 00:03:15 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2023-05-18 00:07:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3698d7d69d6b2b3686.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-18 00:09:19 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 00:13:23 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 00:15:52 +0200 | gurkenglas | (~user@dynamic-046-114-182-067.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-18 00:17:31 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 00:19:20 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (Ping timeout: 250 seconds) |
| 2023-05-18 00:24:22 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-18 00:26:08 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-18 00:30:20 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-05-18 00:33:47 +0200 | vandita | (~vandit@84-236-122-0.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2023-05-18 00:34:57 +0200 | vandita | (~vandit@87-97-2-217.pool.digikabel.hu) |
| 2023-05-18 00:40:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-18 00:40:28 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 00:40:48 +0200 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2023-05-18 00:44:30 +0200 | rf | (~rf@2605:59c8:179c:f610:2d8d:3d98:9005:b5ac) |
| 2023-05-18 00:46:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-18 00:47:03 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 00:52:50 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-18 00:54:58 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:78df:d984:be91:da33) (Remote host closed the connection) |
| 2023-05-18 00:55:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:78df:d984:be91:da33) |
| 2023-05-18 00:58:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-18 00:59:31 +0200 | mmhat | (~mmh@p200300f1c7066882ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-18 00:59:46 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-05-18 00:59:53 +0200 | mmhat | (~mmh@p200300f1c70668eeee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-18 01:01:14 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-18 01:08:50 +0200 | asm | (~alexander@user/asm) (Ping timeout: 246 seconds) |
| 2023-05-18 01:08:52 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-18 01:09:50 +0200 | asm | (~alexander@burner.asm89.io) |
| 2023-05-18 01:10:14 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-05-18 01:11:25 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-05-18 01:13:57 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-18 01:19:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-18 01:23:08 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-18 01:26:52 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-05-18 01:34:24 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-18 01:36:37 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-05-18 01:36:37 +0200 | mauke_ | mauke |
| 2023-05-18 01:48:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-18 01:50:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-18 01:50:32 +0200 | blueonyx | (~blueonyx@user/blueonyx) |
| 2023-05-18 01:50:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-18 02:01:23 +0200 | <blueonyx> | heya, can someone point me to how to get rid of the case of case of in this? https://paste.tomsmeding.com/sQw3KMiM |
| 2023-05-18 02:01:44 +0200 | <blueonyx> | or shall i ask in #haskell-lens? |
| 2023-05-18 02:02:31 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-05-18 02:06:47 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 240 seconds) |
| 2023-05-18 02:14:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-18 02:17:10 +0200 | mmhat | (~mmh@p200300f1c70668eeee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-05-18 02:26:35 +0200 | <[Leary]> | blueonyx: Perhaps `pure do { (_, cj) <- res; maybe (throwError $ ParseFail "missing 'id' field") (pure . (, cj) . DocId) md }`, though `maybe` might not be an improvement over `case`. |
| 2023-05-18 02:27:28 +0200 | <blueonyx> | thanks! will look into it |
| 2023-05-18 02:28:34 +0200 | <dminuoso> | blueonyx: I would consider a combinator like `note` maybe |
| 2023-05-18 02:30:31 +0200 | <blueonyx> | thanks! will look into that too |
| 2023-05-18 02:31:25 +0200 | <[Leary]> | Ah, I was looking for something like that. That would simplify it down to `pure do { (_, cj) <- res; note (ParseFail "missing 'id' field") ((, cj) . DocId <$> md) }`. |
| 2023-05-18 02:36:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-05-18 02:36:54 +0200 | <blueonyx> | where do i import `note` from? |
| 2023-05-18 02:37:08 +0200 | <blueonyx> | and i need TupleSections right? |
| 2023-05-18 02:38:21 +0200 | <dminuoso> | Sure, you can also use a separate do-block statement with a pure instead. |
| 2023-05-18 02:38:31 +0200 | vandita | (~vandit@87-97-2-217.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 02:39:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-18 02:39:23 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-18 02:39:28 +0200 | <blueonyx> | note is from errors Control.Error.Util? |
| 2023-05-18 02:39:35 +0200 | <dminuoso> | Not needed |
| 2023-05-18 02:39:42 +0200 | <dminuoso> | You can just define it on the spot yourself: note a = maybe (Left a) Right |
| 2023-05-18 02:39:51 +0200 | <dminuoso> | https://gist.github.com/dminuoso/8bfb756ea3eed1651f3616696e204fad |
| 2023-05-18 02:39:51 +0200 | <blueonyx> | ok thanks |
| 2023-05-18 02:39:52 +0200 | <dminuoso> | Something like this |
| 2023-05-18 02:40:08 +0200 | <dminuoso> | Might still need a ($) if you dont like using BlockArguments |
| 2023-05-18 02:40:28 +0200 | vandita | (~vandit@77-234-92-208.pool.digikabel.hu) |
| 2023-05-18 02:40:41 +0200 | <blueonyx> | added that already yea |
| 2023-05-18 02:40:44 +0200 | <dminuoso> | Oh nwait |
| 2023-05-18 02:40:52 +0200 | <dminuoso> | For that `note` you would need a flipped note. |
| 2023-05-18 02:41:43 +0200 | <dminuoso> | Updated my gist if you care to see what I mean |
| 2023-05-18 02:42:15 +0200 | <dminuoso> | Im personally quite fond of using `note` like this a lot. |
| 2023-05-18 02:42:22 +0200 | <blueonyx> | no |
| 2023-05-18 02:42:30 +0200 | <blueonyx> | the unflipped compiles |
| 2023-05-18 02:43:01 +0200 | <blueonyx> | yea will need some time to figure it out, but looks neat yea |
| 2023-05-18 02:43:03 +0200 | <dminuoso> | It's wrong either way |
| 2023-05-18 02:43:17 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-05-18 02:43:31 +0200 | <blueonyx> | O.o |
| 2023-05-18 02:43:48 +0200 | <dminuoso> | blueonyx: Another slight optimization is that you can stuff the ParseFail into note if you make use of this more often |
| 2023-05-18 02:44:29 +0200 | <dminuoso> | Consider this: https://gist.github.com/dminuoso/8bfb756ea3eed1651f3616696e204fad |
| 2023-05-18 02:45:50 +0200 | cheater | dddd |
| 2023-05-18 02:47:04 +0200 | dddd | cheater |
| 2023-05-18 02:50:47 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Remote host closed the connection) |
| 2023-05-18 02:50:49 +0200 | <blueonyx> | thanks again, i will! |
| 2023-05-18 02:50:53 +0200 | blueonyx | (~blueonyx@user/blueonyx) (Quit: leaving) |
| 2023-05-18 02:52:36 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-05-18 02:57:35 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 240 seconds) |
| 2023-05-18 03:10:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-18 03:10:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-18 03:10:00 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-18 03:12:56 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-18 03:13:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-05-18 03:18:19 +0200 | bilegeek | (~bilegeek@2600:1008:b08a:a7e7:3c86:dfa6:3430:87c1) |
| 2023-05-18 03:19:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-18 03:24:48 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-05-18 03:25:20 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 246 seconds) |
| 2023-05-18 03:29:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-18 03:32:54 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-18 03:40:31 +0200 | shapr` | (~user@76.29.230.19) |
| 2023-05-18 03:42:07 +0200 | shapr | (~user@76.29.230.19) (Ping timeout: 250 seconds) |
| 2023-05-18 03:45:55 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 04:01:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2023-05-18 04:08:18 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-18 04:09:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-18 04:09:48 +0200 | stef204 | (~stef204@user/stef204) (Ping timeout: 240 seconds) |
| 2023-05-18 04:09:55 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 04:12:23 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 240 seconds) |
| 2023-05-18 04:14:20 +0200 | td_ | (~td@i5387093A.versanet.de) |
| 2023-05-18 04:14:39 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-18 04:14:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-18 04:16:35 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-18 04:37:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-18 04:40:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-05-18 04:40:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-05-18 04:40:35 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-18 04:41:59 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-05-18 04:42:51 +0200 | vandita | (~vandit@77-234-92-208.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-18 04:43:28 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-18 04:43:35 +0200 | cheater__ | cheater |
| 2023-05-18 04:43:56 +0200 | vandita | (~vandit@84-236-3-69.pool.digikabel.hu) |
| 2023-05-18 04:44:48 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-18 04:48:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-05-18 04:50:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-18 04:56:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-05-18 04:58:24 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-18 04:59:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-18 05:03:48 +0200 | pyook | (~puke@user/puke) |
| 2023-05-18 05:12:39 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 05:16:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-05-18 05:17:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-18 05:18:45 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-18 05:18:49 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-05-18 05:19:12 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 250 seconds) |
| 2023-05-18 05:20:23 +0200 | biberu\ | biberu |
| 2023-05-18 05:22:23 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 2023-05-18 05:27:33 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 05:30:15 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 05:32:35 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-05-18 05:33:01 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-05-18 05:34:36 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 05:35:59 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-05-18 05:38:21 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2023-05-18 05:41:02 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-05-18 05:42:00 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-05-18 05:42:43 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:1330:41ed:a2bd:da72) |
| 2023-05-18 05:44:45 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 05:53:48 +0200 | mniip_ | mniip |
| 2023-05-18 05:56:48 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:1330:41ed:a2bd:da72) (Ping timeout: 240 seconds) |
| 2023-05-18 05:56:52 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-05-18 05:56:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-05-18 05:57:23 +0200 | califax | (~califax@user/califx) |
| 2023-05-18 05:57:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-18 06:12:46 +0200 | <Inst> | wait, is CPS + defunctionalization just a hylomorphism? |
| 2023-05-18 06:12:57 +0200 | <Inst> | since, you're converting data into a recursive data structure, then folding it |
| 2023-05-18 06:17:07 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 06:22:01 +0200 | rf | (~rf@2605:59c8:179c:f610:2d8d:3d98:9005:b5ac) (Ping timeout: 240 seconds) |
| 2023-05-18 06:22:51 +0200 | <probie> | That doesn't sound unreasonable to me |
| 2023-05-18 06:28:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-18 06:28:33 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-18 06:28:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-18 06:28:55 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2023-05-18 06:30:32 +0200 | trev | (~trev@user/trev) |
| 2023-05-18 06:31:04 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-18 06:31:31 +0200 | jjb | (~jjb@user/jjb) (Ping timeout: 240 seconds) |
| 2023-05-18 06:33:32 +0200 | jjb | (~jjb@user/jjb) |
| 2023-05-18 06:34:23 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 240 seconds) |
| 2023-05-18 06:38:20 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-18 06:40:51 +0200 | vandita | (~vandit@84-236-3-69.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2023-05-18 06:41:44 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 06:42:22 +0200 | vandita | (~vandit@94-21-131-86.pool.digikabel.hu) |
| 2023-05-18 06:48:09 +0200 | <probie> | but what would your base functor look like? or even what does your defunctionalised CPS look like? |
| 2023-05-18 06:52:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-18 06:59:44 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-18 07:05:05 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-05-18 07:07:05 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-05-18 07:10:59 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 07:13:10 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-05-18 07:14:48 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 07:14:53 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 07:16:31 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2023-05-18 07:18:22 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2023-05-18 07:27:54 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2023-05-18 07:28:43 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 07:29:00 +0200 | michalz | (~michalz@185.246.204.69) |
| 2023-05-18 07:33:25 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) |
| 2023-05-18 07:33:42 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-18 07:42:35 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-05-18 07:48:28 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) (Ping timeout: 240 seconds) |
| 2023-05-18 07:48:39 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2023-05-18 07:51:44 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-18 07:53:10 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) |
| 2023-05-18 07:57:27 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-18 07:57:33 +0200 | bilegeek | (~bilegeek@2600:1008:b08a:a7e7:3c86:dfa6:3430:87c1) (Quit: Leaving) |
| 2023-05-18 08:01:05 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:02:06 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:02:49 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-18 08:06:21 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2023-05-18 08:06:33 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:07:29 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-05-18 08:08:47 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-05-18 08:09:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:09:26 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2023-05-18 08:10:19 +0200 | biberu\ | biberu |
| 2023-05-18 08:10:40 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2023-05-18 08:11:59 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 08:15:35 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-18 08:18:04 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-18 08:20:01 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 256 seconds) |
| 2023-05-18 08:20:58 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-05-18 08:21:24 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:22:49 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 08:23:15 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:25:07 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:25:58 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-05-18 08:26:22 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-05-18 08:26:49 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2023-05-18 08:27:19 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2023-05-18 08:27:57 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2023-05-18 08:28:28 +0200 | krei-se | (~krei-se@p57af2733.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-18 08:28:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a0a:e700:1ac0:4dff:fedb:a3f1) |
| 2023-05-18 08:30:24 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Remote host closed the connection) |
| 2023-05-18 08:30:31 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-05-18 08:31:10 +0200 | edm_ | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-18 08:31:10 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 250 seconds) |
| 2023-05-18 08:31:10 +0200 | h2t | (~h2t@user/h2t) (Ping timeout: 250 seconds) |
| 2023-05-18 08:31:21 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2023-05-18 08:31:36 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Ping timeout: 250 seconds) |
| 2023-05-18 08:32:02 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-18 08:32:02 +0200 | emergence | (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-05-18 08:32:25 +0200 | <probie> | I think executing defunctionlised CPS is actually just some kind of catamorphism |
| 2023-05-18 08:32:28 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 250 seconds) |
| 2023-05-18 08:32:30 +0200 | harveypwca_ | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-18 08:32:46 +0200 | h2t | (~h2t@user/h2t) |
| 2023-05-18 08:32:46 +0200 | mustafa__ | (sid502723@id-502723.hampstead.irccloud.com) |
| 2023-05-18 08:32:54 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Ping timeout: 250 seconds) |
| 2023-05-18 08:32:54 +0200 | econo | (uid147250@user/econo) (Ping timeout: 250 seconds) |
| 2023-05-18 08:32:54 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-18 08:33:03 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) |
| 2023-05-18 08:33:04 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-05-18 08:33:40 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2023-05-18 08:33:47 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-05-18 08:33:51 +0200 | edm_ | (sid147314@id-147314.hampstead.irccloud.com) |
| 2023-05-18 08:34:11 +0200 | econo | (uid147250@user/econo) |
| 2023-05-18 08:35:49 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2023-05-18 08:36:43 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) |
| 2023-05-18 08:36:56 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:9416:6da7:c1c7:480b) (Ping timeout: 265 seconds) |
| 2023-05-18 08:39:40 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:8091:e87e:9851:d0e8) |
| 2023-05-18 08:39:50 +0200 | econo | (uid147250@user/econo) (Ping timeout: 250 seconds) |
| 2023-05-18 08:39:50 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) (Ping timeout: 250 seconds) |
| 2023-05-18 08:39:50 +0200 | h2t | (~h2t@user/h2t) (Ping timeout: 250 seconds) |
| 2023-05-18 08:40:48 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) (Ping timeout: 240 seconds) |
| 2023-05-18 08:40:48 +0200 | vandita | (~vandit@94-21-131-86.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 08:40:50 +0200 | h2t | (~h2t@user/h2t) |
| 2023-05-18 08:41:08 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-18 08:41:08 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2023-05-18 08:41:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-18 08:41:22 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Read error: Connection reset by peer) |
| 2023-05-18 08:41:24 +0200 | jinsl | (~jinsl@2408:8207:2558:8870:211:32ff:fec8:6aea) |
| 2023-05-18 08:41:27 +0200 | jbalint_ | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-05-18 08:41:33 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 256 seconds) |
| 2023-05-18 08:41:53 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2023-05-18 08:41:56 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-05-18 08:42:04 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-18 08:42:18 +0200 | econo | (uid147250@user/econo) |
| 2023-05-18 08:42:38 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2023-05-18 08:42:46 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-05-18 08:42:50 +0200 | vandita | (~vandit@84-236-8-41.pool.digikabel.hu) |
| 2023-05-18 08:43:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-18 08:45:35 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2023-05-18 08:45:50 +0200 | <probie> | Inst: unless I misunderstood what you meant by "CPS + defunctionalization", I'm 99% sure it's just a kind of catamorphism https://paste.tomsmeding.com/XCSDFew7 |
| 2023-05-18 08:46:17 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-18 08:46:28 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Quit: Ping timeout (120 seconds)) |
| 2023-05-18 08:46:31 +0200 | bramhaag | (~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds)) |
| 2023-05-18 08:46:45 +0200 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-05-18 08:46:52 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
| 2023-05-18 08:58:21 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:8091:e87e:9851:d0e8) (Read error: Connection reset by peer) |
| 2023-05-18 09:01:51 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:8091:e87e:9851:d0e8) |
| 2023-05-18 09:03:30 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-18 09:03:58 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-18 09:05:08 +0200 | freeside_ | (~mengwong@202.161.55.11) |
| 2023-05-18 09:06:08 +0200 | harveypwca_ | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-18 09:08:23 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) |
| 2023-05-18 09:10:31 +0200 | mmhat | (~mmh@p200300f1c70668eeee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-18 09:10:59 +0200 | mmhat | (~mmh@p200300f1c70668eeee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-18 09:12:43 +0200 | nick4 | (~nick@2600:8807:9103:b700:dd5:99c7:e3a6:2cd5) (Ping timeout: 256 seconds) |
| 2023-05-18 09:13:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-18 09:14:21 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 09:15:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-18 09:16:12 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-18 09:20:47 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-18 09:21:04 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-05-18 09:21:13 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 256 seconds) |
| 2023-05-18 09:22:46 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-18 09:31:04 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-18 09:31:06 +0200 | acidjnk | (~acidjnk@p5dd870a3.dip0.t-ipconnect.de) |
| 2023-05-18 09:31:16 +0200 | bramhaag | (~bramhaag@134.195.121.39) (Read error: Connection reset by peer) |
| 2023-05-18 09:31:41 +0200 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-05-18 09:47:46 +0200 | gurkenglas | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-05-18 09:50:51 +0200 | kuribas | (~user@ptr-17d51epemn8vaylr6v2.18120a2.ip6.access.telenet.be) |
| 2023-05-18 09:51:43 +0200 | <kuribas> | How would you handle caching of dataframes? For example in a complex calculation with many timeseries that depend on each other. |
| 2023-05-18 09:51:57 +0200 | <kuribas> | And some maybe recalculated often. |
| 2023-05-18 09:53:06 +0200 | <sm> | I would see if slapping https://hackage.haskell.org/package/uglymemo on it worked |
| 2023-05-18 09:53:46 +0200 | <kuribas> | Isn't there a nice abstraction layer, for example representing the calculation as a graph? |
| 2023-05-18 09:55:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-18 09:56:28 +0200 | <kuribas> | If I have to go the unsafePerformIO route, I just may as well run the calculations in IO. |
| 2023-05-18 09:59:35 +0200 | gurkenglas | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-05-18 10:00:36 +0200 | <[exa]> | kuribas: you get it for kinda free with normal memoization, no? |
| 2023-05-18 10:01:25 +0200 | <kuribas> | yeah, but I want to also cache to disk. |
| 2023-05-18 10:01:34 +0200 | <[exa]> | mmap? |
| 2023-05-18 10:01:53 +0200 | <kuribas> | hmm |
| 2023-05-18 10:02:09 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-18 10:02:54 +0200 | <[exa]> | anyway yeah with disk it is a bit more complex because you have a part of the computation that you can "memoize" (generate data, offload to disk) and a part that you want to avoid memoizing (loading the data from disk, because if you memoize it everything gets in-memory) |
| 2023-05-18 10:03:28 +0200 | <[exa]> | can you assign some representable IDs to all subresults? |
| 2023-05-18 10:03:34 +0200 | <kuribas> | sure |
| 2023-05-18 10:03:37 +0200 | <kuribas> | I could annotated it. |
| 2023-05-18 10:03:44 +0200 | <kuribas> | Or use a generator pattern. |
| 2023-05-18 10:03:59 +0200 | <kuribas> | (A monadic builder). |
| 2023-05-18 10:04:07 +0200 | <sm> | store em in postgres |
| 2023-05-18 10:04:18 +0200 | <[exa]> | then some tiny wrap around IO would work IMO |
| 2023-05-18 10:04:22 +0200 | <kuribas> | sqlite then. |
| 2023-05-18 10:05:46 +0200 | <[exa]> | anyway if you want it to actually react to haskell laziness (as in, do not compute something if it is not expicitly requested by pure computation), you probably won't be able to dodge some unsafeIO |
| 2023-05-18 10:06:47 +0200 | <kuribas> | No, not necessarily lazyness, maybe some algebraic way to compose computations over dataframs. |
| 2023-05-18 10:06:53 +0200 | <[exa]> | (or at least I can't fathom any other way that could translate lazy thunk evaluation to IO actions) |
| 2023-05-18 10:07:23 +0200 | <kuribas> | Also would be nice is a way to test partially if only part of the computation change |
| 2023-05-18 10:07:44 +0200 | <sm> | something something streams something FRP ? |
| 2023-05-18 10:07:48 +0200 | <kuribas> | For example, saving the intermediary computations to disk, and only performing those that have changed. |
| 2023-05-18 10:07:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Remote host closed the connection) |
| 2023-05-18 10:08:04 +0200 | <kuribas> | sm: yeah, something FRP like. |
| 2023-05-18 10:08:10 +0200 | <[exa]> | one thing you can do is to have something like `df <- namedData "myID" $ computeData ... ...`, and namedData just shortcircuits if the data has already been computed |
| 2023-05-18 10:08:14 +0200 | <sm> | reactive frameworks are dependency graphs |
| 2023-05-18 10:08:22 +0200 | <sm> | reflex I'm thinking |
| 2023-05-18 10:08:37 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-18 10:08:44 +0200 | <kuribas> | sm: indeed, but I must be able to hack them to get good tests. |
| 2023-05-18 10:08:45 +0200 | <[exa]> | hm FRP is good intuition |
| 2023-05-18 10:08:50 +0200 | <[exa]> | I was thinking more about make/Shake |
| 2023-05-18 10:09:36 +0200 | <sm> | oh Shake, yeah that too |
| 2023-05-18 10:09:38 +0200 | <kuribas> | So basically, I want to redo the computation if the source code for some function changed. |
| 2023-05-18 10:10:29 +0200 | <kuribas> | I suppose I could make a script that takes the source code and outputs the names of changed functions. |
| 2023-05-18 10:10:34 +0200 | <kuribas> | Then feed it into the computation. |
| 2023-05-18 10:10:45 +0200 | <[exa]> | well, make. |
| 2023-05-18 10:11:49 +0200 | <[exa]> | you'd need something to discover dependencies from the scripts though, which you probably don't want to declare twice |
| 2023-05-18 10:11:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-18 10:12:06 +0200 | <[exa]> | gcc and pals have the -MD functionality that just print out the deps, which might work |
| 2023-05-18 10:16:34 +0200 | bigLama | (~alex@2001:861:4f80:4a50:e792:bb46:1a0c:b1d2) |
| 2023-05-18 10:17:25 +0200 | <[Leary]> | It's Incremental Computing again... kuribas, If you want to do this in Haskell, I have a small (<200 lines) IC implementation you can look over or adapt as you please: https://gist.github.com/LSLeary/da963da122946d981b4b143cbcf3dd73 |
| 2023-05-18 10:17:51 +0200 | <kuribas> | [Leary]: indeed, thanks! |
| 2023-05-18 10:18:31 +0200 | <[exa]> | oh wow |
| 2023-05-18 10:18:32 +0200 | <kuribas> | With the caveat that not only the input can change, but also the implementation of a function. |
| 2023-05-18 10:18:33 +0200 | <[exa]> | cool |
| 2023-05-18 10:18:46 +0200 | <sm> | woah |
| 2023-05-18 10:20:13 +0200 | <kuribas> | However, that could be modelled as a versioned input. Like, you have a database of versions for each function, and you pass the version to the computation. |
| 2023-05-18 10:20:27 +0200 | <kuribas> | So if I update the version of a function, it will have to redo the computation. |
| 2023-05-18 10:20:56 +0200 | <sm> | that looks very clever. I guess it's all in memory and maybe a bit hard to inspect/troubleshoot ? |
| 2023-05-18 10:21:53 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-18 10:27:08 +0200 | <[Leary]> | It's indeed not easy to use (and get right) in practice, but that comes with the territory. Some graph-inspection logic could be shimmied in pretty easily though. |
| 2023-05-18 10:30:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-18 10:30:52 +0200 | <[Leary]> | kuribas: In this implementation, `writeICVar` and friends take an `Adaptive` recipe/function, so updating inputs and functions is the same, and you'd just use `pure` for the former. |
| 2023-05-18 10:31:17 +0200 | <kuribas> | right |
| 2023-05-18 10:31:59 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-05-18 10:40:33 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-18 10:47:28 +0200 | vandita | (~vandit@84-236-8-41.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 10:47:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-05-18 10:47:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-18 10:49:01 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:8091:e87e:9851:d0e8) (Ping timeout: 240 seconds) |
| 2023-05-18 10:49:12 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 10:49:15 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-18 10:49:24 +0200 | vandita | (~vandit@94-21-174-112.pool.digikabel.hu) |
| 2023-05-18 10:54:46 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-18 10:55:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-18 10:56:01 +0200 | freeside_ | (~mengwong@202.161.55.11) (Ping timeout: 240 seconds) |
| 2023-05-18 10:56:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-05-18 10:58:45 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-05-18 10:59:12 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 248 seconds) |
| 2023-05-18 10:59:48 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 250 seconds) |
| 2023-05-18 11:00:02 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) |
| 2023-05-18 11:00:19 +0200 | biberu\ | biberu |
| 2023-05-18 11:02:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-05-18 11:04:12 +0200 | shapr`` | (~user@76.29.230.19) |
| 2023-05-18 11:06:11 +0200 | shapr` | (~user@76.29.230.19) (Ping timeout: 264 seconds) |
| 2023-05-18 11:08:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) |
| 2023-05-18 11:12:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Ping timeout: 240 seconds) |
| 2023-05-18 11:27:25 +0200 | bigLama | (~alex@2001:861:4f80:4a50:e792:bb46:1a0c:b1d2) (Remote host closed the connection) |
| 2023-05-18 11:27:48 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 11:29:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-18 11:32:16 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 2023-05-18 11:39:01 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-18 11:40:23 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) (Ping timeout: 264 seconds) |
| 2023-05-18 11:41:18 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 11:42:18 +0200 | phma | (phma@2001:5b0:210f:7648:8296:8922:28df:c299) (Read error: Connection reset by peer) |
| 2023-05-18 11:42:50 +0200 | <ski> | "Monads for Incremental Computing" (Functional Pearl) by Magnus Carlsson in 2002 (ICFP) at <https://web.archive.org/web/20091114092258/http://www.carlssonia.org/~magnus/ogi/papers/icfp-2002.…>,<https://web.archive.org/web/20091114092258/http://www.carlssonia.org/ogi/Adaptive/>,<https://hackage.haskell.org/package/Adaptive> |
| 2023-05-18 11:42:55 +0200 | <ski> | "Adaptive Functional Programming" by Umut Acar,Blelloch,Harper in 2002 (POPL) at <https://web.archive.org/web/20211028132646//http://www.umut-acar.org/publications/popl2002.pdf> and in 2006 (TOPLAS) at <https://web.archive.org/web/20211028132646//http://www.umut-acar.org/publications/toplas2006.pdf> |
| 2023-05-18 11:43:20 +0200 | phma | (~phma@host-67-44-208-211.hnremote.net) |
| 2023-05-18 11:44:04 +0200 | <ski> | kuribas : fwiw ^ |
| 2023-05-18 11:47:45 +0200 | <fendor[m]> | this channel sometimes feels like an easier way to find papers than google |
| 2023-05-18 11:51:34 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 11:54:09 +0200 | <geekosaur> | ski is our paper search engine 🙂 |
| 2023-05-18 11:55:45 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 11:56:17 +0200 | <ski> | [Leary] : `s' ? |
| 2023-05-18 12:00:44 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 12:02:53 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-18 12:04:28 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-18 12:04:42 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 12:06:31 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 12:07:35 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-05-18 12:08:50 +0200 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2023-05-18 12:08:50 +0200 | asm | (~alexander@user/asm) |
| 2023-05-18 12:08:55 +0200 | <carbolymer> | there was an issue with ghc with certain kernel versions tha it couldn't allocate memory |
| 2023-05-18 12:08:57 +0200 | <carbolymer> | recently |
| 2023-05-18 12:09:05 +0200 | <carbolymer> | do we know which kernel versions are affected? |
| 2023-05-18 12:09:17 +0200 | <carbolymer> | s/kernel/ghc & kernel |
| 2023-05-18 12:10:44 +0200 | <geekosaur> | ghc < 9.4, kernel info in https://bbs.archlinux.org/viewtopic.php?id=282429 except it seems 6.2.13 is also affected |
| 2023-05-18 12:11:25 +0200 | <carbolymer> | seem I'm having it on 6.3.1 |
| 2023-05-18 12:11:39 +0200 | [Leary] | ctrl+c's `ski -v0` to invoke `ski -v3`. |
| 2023-05-18 12:11:46 +0200 | <carbolymer> | ah yeah, someone mentions in that thread 6.3 already |
| 2023-05-18 12:11:47 +0200 | <[Leary]> | ski: Ahem. Could you repeat the question? |
| 2023-05-18 12:11:48 +0200 | <carbolymer> | thanks geekosaur |
| 2023-05-18 12:12:07 +0200 | ski | . o O ( <https://discourse.haskell.org/t/facing-mmap-4096-bytes-at-nil-cannot-allocate-memory-youre-not-alo…> ) |
| 2023-05-18 12:12:29 +0200 | <ski> | [Leary] : just wondering where the `s' in `ICVar s' came from .. you had an `ST'-based version ? |
| 2023-05-18 12:12:40 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-86.du.xdsl.is) |
| 2023-05-18 12:13:02 +0200 | f-a | (~f-a@151.34.113.154) |
| 2023-05-18 12:13:12 +0200 | <gnalzo> | links for pdf about adaptive are broken. I found them here: https://drive.google.com/file/d/1OfcnkoTCxWUaTGc570oV-D8fWx30Lvtx/view (popl2002) and https://drive.google.com/file/d/1bAYubdbZ9VjO_y5-DoYXKSiuyid0sX4Z/view (toplas2006.pdf) from https://www.umut-acar.org/publications, if it's useful |
| 2023-05-18 12:13:54 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 250 seconds) |
| 2023-05-18 12:16:01 +0200 | <ski> | oh .. sorry, i should probably have checked the contexts of the link, not just checked they could be downloaded |
| 2023-05-18 12:16:36 +0200 | Xe | (~cadey@tailscale/xe) (Remote host closed the connection) |
| 2023-05-18 12:16:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-18 12:16:38 +0200 | <ski> | (er, s/contexts/contents/) |
| 2023-05-18 12:16:59 +0200 | <[Leary]> | ski: Ohh... some of the docs are out of date. Right, so earlier versions of this weren't actually based on the ST monad, but I was using the same idea to scope ICVars, as there were operations on them that would be undefined or incorrect if they escaped the monad they were (previously) bound to. Refactoring eliminated this outer monad and the scoping issues. |
| 2023-05-18 12:17:14 +0200 | <ski> | (<https://web.archive.org/web/20211028132646/http://www.umut-acar.org/publications> and <https://web.archive.org/web/20230104064536/https://www.umut-acar.org/publications> resolve, anyway) |
| 2023-05-18 12:17:15 +0200 | Xe | (~cadey@tailscale/xe) |
| 2023-05-18 12:17:25 +0200 | <ski> | gnalzo : ty |
| 2023-05-18 12:17:48 +0200 | <ski> | ah, ic, [Leary] |
| 2023-05-18 12:18:28 +0200 | <[Leary]> | ic indeed |
| 2023-05-18 12:18:38 +0200 | f-a | (~f-a@151.34.113.154) () |
| 2023-05-18 12:26:32 +0200 | <gnalzo> | ski: np |
| 2023-05-18 12:27:12 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 268 seconds) |
| 2023-05-18 12:28:47 +0200 | edm_ | edm |
| 2023-05-18 12:30:56 +0200 | <ski> | hm, looks like <https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.3014> works for the Carlsson one |
| 2023-05-18 12:33:50 +0200 | freeside_ | (~mengwong@122.11.212.97) |
| 2023-05-18 12:34:29 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-18 12:37:35 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 240 seconds) |
| 2023-05-18 12:39:30 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-18 12:39:39 +0200 | ski | updated the `where's accordingly |
| 2023-05-18 12:45:07 +0200 | freeside_ | (~mengwong@122.11.212.97) (Read error: Connection reset by peer) |
| 2023-05-18 12:45:30 +0200 | user____3 | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-05-18 12:47:09 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-05-18 12:47:11 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 240 seconds) |
| 2023-05-18 12:48:13 +0200 | biberu\ | biberu |
| 2023-05-18 12:56:04 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-18 12:56:19 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) |
| 2023-05-18 13:00:16 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 250 seconds) |
| 2023-05-18 13:02:51 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 13:03:52 +0200 | <ski> | <ski> merijn : i'm wondering if it would be better to have `liftResult' in a superclass of `Validate', avoiding the `Proxy' argument (btw, couldn't that be `proxy a' ?) |
| 2023-05-18 13:04:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a0a:e700:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 2023-05-18 13:07:33 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 13:07:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2393:eca2:7e09:2329) |
| 2023-05-18 13:10:07 +0200 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-18 13:13:17 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
| 2023-05-18 13:20:04 +0200 | chomwitt | (~chomwitt@ppp-94-68-188-225.home.otenet.gr) |
| 2023-05-18 13:21:10 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) |
| 2023-05-18 13:24:02 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-05-18 13:26:39 +0200 | dminuoso | wishes we had a high performance JSON library built right into base |
| 2023-05-18 13:26:41 +0200 | CiaoSen | (~Jura@dynamic-046-114-223-020.46.114.pool.telefonica.de) |
| 2023-05-18 13:26:51 +0200 | <dminuoso> | Or as some boot library for all I care |
| 2023-05-18 13:27:27 +0200 | <dminuoso> | With a minimal dependency footprint. :S |
| 2023-05-18 13:28:04 +0200 | <jade[m]> | what's the issue with using a small library? |
| 2023-05-18 13:28:25 +0200 | <geekosaur> | there's no small libraries. there's aeson and waargonaut |
| 2023-05-18 13:28:25 +0200 | <dminuoso> | jade[m]: There are no high performance minimal footprint libraries out there. |
| 2023-05-18 13:28:35 +0200 | <dminuoso> | geekosaur: well there is `json` which is fairly minimal |
| 2023-05-18 13:28:38 +0200 | <dminuoso> | but its also somewhat slow |
| 2023-05-18 13:30:08 +0200 | <dminuoso> | And it doesnt come with T.Text, which is somewhat annoying. |
| 2023-05-18 13:32:58 +0200 | <probie> | When you say "high performance", what do you mean? |
| 2023-05-18 13:35:41 +0200 | <dminuoso> | Maximal encoding/decoding throughput. |
| 2023-05-18 13:37:11 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 13:37:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2393:eca2:7e09:2329) (Ping timeout: 264 seconds) |
| 2023-05-18 13:37:48 +0200 | <probie> | and decoding to/from arbitrary ADTs, or to/from some equivalent of Aeson's `Value` type? |
| 2023-05-18 13:38:54 +0200 | <dminuoso> | Sure. |
| 2023-05-18 13:38:55 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-18 13:39:19 +0200 | <dminuoso> | Well any sane library would expose both of course. |
| 2023-05-18 13:47:55 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:7978:ae95:74b8:679a) |
| 2023-05-18 13:57:15 +0200 | Major_Biscuit | (~MajorBisc@2001:1c00:2492:e200:561f:c4dd:78fa:8040) |
| 2023-05-18 14:01:32 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2492:e200:7978:ae95:74b8:679a) (Quit: WeeChat 3.6) |
| 2023-05-18 14:10:23 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 264 seconds) |
| 2023-05-18 14:10:31 +0200 | raym | (~ray@user/raym) |
| 2023-05-18 14:13:58 +0200 | vpan | (~0@mail.elitnet.lt) |
| 2023-05-18 14:22:15 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
| 2023-05-18 14:23:45 +0200 | acidjnk | (~acidjnk@p5dd870a3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2023-05-18 14:33:31 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) |
| 2023-05-18 14:34:05 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 14:36:59 +0200 | myme | (~myme@2a01:799:d60:e400:2ce:5c57:3d17:4b34) (Ping timeout: 246 seconds) |
| 2023-05-18 14:37:59 +0200 | myme | (~myme@2a01:799:d60:e400:7981:a654:1e77:fe0) |
| 2023-05-18 14:43:58 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-18 14:48:32 +0200 | abrantesasf | (~abrantesa@189.115.192.139) (Ping timeout: 248 seconds) |
| 2023-05-18 14:49:48 +0200 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-18 14:51:50 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-18 14:53:50 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-05-18 14:54:08 +0200 | abrantesasf | (~abrantesa@189.115.192.139) (Ping timeout: 246 seconds) |
| 2023-05-18 14:54:16 +0200 | _abrantesasf_ | (~abrantesa@177.137.232.90) |
| 2023-05-18 14:56:00 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) |
| 2023-05-18 14:56:10 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) (Client Quit) |
| 2023-05-18 14:59:15 +0200 | _abrantesasf_ | (~abrantesa@177.137.232.90) (Ping timeout: 265 seconds) |
| 2023-05-18 15:02:45 +0200 | user____3 | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-18 15:07:25 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-18 15:08:36 +0200 | ddellacosta | (~ddellacos@146.70.168.196) |
| 2023-05-18 15:10:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2023-05-18 15:11:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) |
| 2023-05-18 15:14:46 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-18 15:15:09 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 15:15:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Ping timeout: 250 seconds) |
| 2023-05-18 15:16:27 +0200 | user____3 | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-05-18 15:19:31 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 15:24:48 +0200 | user____3 | (~user@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-18 15:34:15 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-18 15:34:33 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) |
| 2023-05-18 15:35:53 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-05-18 15:37:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-18 15:37:27 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-18 15:37:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-18 15:39:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d5dd:8bd:17c9:240b) |
| 2023-05-18 15:40:40 +0200 | dsrt^ | (~dsrt@73.237.206.60) (Remote host closed the connection) |
| 2023-05-18 15:51:31 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:78df:d984:be91:da33) (Read error: Connection reset by peer) |
| 2023-05-18 15:53:02 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 15:58:06 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-18 15:58:23 +0200 | CiaoSen | (~Jura@dynamic-046-114-223-020.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-18 16:00:08 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-18 16:00:09 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-05-18 16:00:13 +0200 | cheater_ | cheater |
| 2023-05-18 16:03:02 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-18 16:03:54 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-05-18 16:03:56 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-18 16:09:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d5dd:8bd:17c9:240b) (Quit: xff0x) |
| 2023-05-18 16:13:58 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-05-18 16:15:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7953:b19f:2f45:6449) |
| 2023-05-18 16:17:08 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 16:22:09 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-18 16:27:24 +0200 | vandita | (~vandit@94-21-174-112.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-18 16:29:21 +0200 | vandita | (~vandit@94-21-157-143.pool.digikabel.hu) |
| 2023-05-18 16:35:25 +0200 | dustin | (~dustin@2600:1700:13c0:53b0:dda0:f4b1:e28:e032) |
| 2023-05-18 16:35:28 +0200 | dustin | Guest2917 |
| 2023-05-18 16:35:40 +0200 | Guest2917 | (~dustin@2600:1700:13c0:53b0:dda0:f4b1:e28:e032) () |
| 2023-05-18 16:37:28 +0200 | dustin | (~dustin@2600:1700:13c0:53b0:dda0:f4b1:e28:e032) |
| 2023-05-18 16:37:39 +0200 | dustin | Guest9839 |
| 2023-05-18 16:38:29 +0200 | thoros | (~thoros@62-46-62-169.adsl.highway.telekom.at) |
| 2023-05-18 16:38:40 +0200 | Guest9839 | (~dustin@2600:1700:13c0:53b0:dda0:f4b1:e28:e032) () |
| 2023-05-18 16:38:49 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-05-18 16:39:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-18 16:46:10 +0200 | vglfr | (~vglfr@209.198.137.226) (Read error: Connection reset by peer) |
| 2023-05-18 16:47:21 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) |
| 2023-05-18 16:57:03 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-18 16:57:22 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) |
| 2023-05-18 17:13:58 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-18 17:13:58 +0200 | geekosaur | xmonadtrack |
| 2023-05-18 17:15:43 +0200 | xmonadtrack | geekosaur |
| 2023-05-18 17:16:10 +0200 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-05-18 17:17:15 +0200 | geekosaur | xmonadtrack |
| 2023-05-18 17:17:26 +0200 | xmonadtrack | geekosaur |
| 2023-05-18 17:20:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-05-18 17:23:18 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 17:27:59 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 2023-05-18 17:28:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-18 17:29:09 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-18 17:30:48 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 240 seconds) |
| 2023-05-18 17:31:25 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-05-18 17:36:32 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-05-18 17:37:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-18 17:38:27 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-18 17:38:29 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-18 17:39:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-18 17:39:31 +0200 | <zzz> | :t succ 1.0 |
| 2023-05-18 17:39:32 +0200 | <lambdabot> | (Enum a, Fractional a) => a |
| 2023-05-18 17:40:00 +0200 | <zzz> | ^ how is this possible? |
| 2023-05-18 17:40:43 +0200 | <int-e> | There are Enum instances for Float and Double to make [0,0.1..1] work. |
| 2023-05-18 17:41:03 +0200 | <zzz> | so is this a Float or a Double? |
| 2023-05-18 17:41:19 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-05-18 17:41:38 +0200 | <int-e> | With the instances in base, yes I think that's all... err, Rational too. |
| 2023-05-18 17:41:49 +0200 | <int-e> | > [0,0.1..1] :: [Rational] |
| 2023-05-18 17:41:51 +0200 | <lambdabot> | [0 % 1,1 % 10,1 % 5,3 % 10,2 % 5,1 % 2,3 % 5,7 % 10,4 % 5,9 % 10,1 % 1] |
| 2023-05-18 17:41:52 +0200 | troydm | (~troydm@user/troydm) |
| 2023-05-18 17:41:57 +0200 | <int-e> | > [0,0.1..1] :: [Ratio Int] |
| 2023-05-18 17:41:59 +0200 | <lambdabot> | [0 % 1,1 % 10,1 % 5,3 % 10,2 % 5,1 % 2,3 % 5,7 % 10,4 % 5,9 % 10,1 % 1] |
| 2023-05-18 17:43:08 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-18 17:43:43 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-18 17:45:06 +0200 | <geekosaur> | defaulting will make it `Double` |
| 2023-05-18 17:45:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) |
| 2023-05-18 17:45:53 +0200 | shapr`` | shapr |
| 2023-05-18 17:46:30 +0200 | <zzz> | i guess my question is how can ghci show something that has no concrete type |
| 2023-05-18 17:46:37 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-05-18 17:46:41 +0200 | <ski> | what geekosaur said |
| 2023-05-18 17:46:41 +0200 | <zzz> | is it "magic"? |
| 2023-05-18 17:47:03 +0200 | <geekosaur> | look up defaulting in the Haskell Report |
| 2023-05-18 17:47:12 +0200 | <ski> | @where report |
| 2023-05-18 17:47:12 +0200 | <lambdabot> | http://www.haskell.org/onlinereport/haskell2010/ (more: http://www.haskell.org/haskellwiki/Definition) |
| 2023-05-18 17:47:19 +0200 | <geekosaur> | "the default default is (Integer, Double)" |
| 2023-05-18 17:47:32 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) |
| 2023-05-18 17:47:51 +0200 | <geekosaur> | so it will try Integer and if it doesn't typecheck it will try Double |
| 2023-05-18 17:48:05 +0200 | <geekosaur> | (ghci will try a few others as well but those are the important two) |
| 2023-05-18 17:49:19 +0200 | <zzz> | oh i know why i'm confused. i thought ghci showed the default type |
| 2023-05-18 17:49:20 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-05-18 17:50:10 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-18 17:51:27 +0200 | <ski> | not with `:type' |
| 2023-05-18 17:52:21 +0200 | <zzz> | i'm pretty sure it used to |
| 2023-05-18 17:53:12 +0200 | <geekosaur> | no, `:t` always shows the most general type, `default`ing is only applied when it needs a concrete type |
| 2023-05-18 17:53:48 +0200 | <geekosaur> | that said, if you `let` it used to monomorphise |
| 2023-05-18 17:54:07 +0200 | <geekosaur> | but these days the monomorphism restriction is disabled in ghci by default |
| 2023-05-18 17:54:30 +0200 | <zzz> | right. that may be it |
| 2023-05-18 17:54:57 +0200 | <zzz> | thanks |
| 2023-05-18 17:59:03 +0200 | lbseale | (~quassel@user/ep1ctetus) (Remote host closed the connection) |
| 2023-05-18 18:00:17 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-05-18 18:04:58 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 18:08:51 +0200 | geekosaur | xmonadtrack |
| 2023-05-18 18:09:13 +0200 | xmonadtrack | geekosaur |
| 2023-05-18 18:10:23 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 18:17:46 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-18 18:23:04 +0200 | elain4 | (~textual@2601:5c0:8200:990:b572:8664:371d:3c49) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-05-18 18:23:45 +0200 | vandita | (~vandit@94-21-157-143.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 18:25:36 +0200 | vandita | (~vandit@77-234-64-141.pool.digikabel.hu) |
| 2023-05-18 18:27:35 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-18 18:27:56 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-18 18:28:39 +0200 | captnemo | (~captnemo@193.32.127.232) (Client Quit) |
| 2023-05-18 18:28:57 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-18 18:29:44 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-18 18:34:16 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-18 18:34:27 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-18 18:34:54 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-18 18:36:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-18 18:37:17 +0200 | <albet70> | what is Tardis monad? |
| 2023-05-18 18:37:36 +0200 | <geekosaur> | reversible state monad |
| 2023-05-18 18:38:01 +0200 | <geekosaur> | …at a price (it's sloooow) |
| 2023-05-18 18:41:38 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) |
| 2023-05-18 18:41:45 +0200 | econo | (uid147250@user/econo) |
| 2023-05-18 18:42:02 +0200 | <albet70> | is there a classic usage? |
| 2023-05-18 18:42:45 +0200 | <ncf> | if time is flowing backwards, no wonder things are slow... |
| 2023-05-18 18:43:36 +0200 | <geekosaur> | not sure I've ever seen one that wasn't better done some other way. it's clever, not necessarily useful |
| 2023-05-18 18:43:46 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-18 18:44:04 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-18 18:45:37 +0200 | captnemo | (~captnemo@193.32.127.232) (Client Quit) |
| 2023-05-18 18:45:55 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-18 18:46:24 +0200 | <albet70> | the creator must be a doctor who fan |
| 2023-05-18 18:46:37 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-18 18:47:11 +0200 | <davean> | albet70: There are some problems that are very easy to solve expressed that way - particularly when merged with forward state |
| 2023-05-18 18:47:27 +0200 | <davean> | like something that behaves as a monoid of something forward and backwards |
| 2023-05-18 18:51:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-18 19:00:45 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 19:03:08 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-18 19:05:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Remote host closed the connection) |
| 2023-05-18 19:05:11 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 19:06:44 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-18 19:08:47 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::668d) |
| 2023-05-18 19:14:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-18 19:16:18 +0200 | <bwe> | when to use Double, when Scientific? |
| 2023-05-18 19:16:25 +0200 | hamzahaskell1 | (~hamzahask@2a01:e0a:1ee:8c60:862c:853a:65d2:74e4) |
| 2023-05-18 19:17:01 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-05-18 19:18:29 +0200 | Major_Biscuit | (~MajorBisc@2001:1c00:2492:e200:561f:c4dd:78fa:8040) (Quit: WeeChat 3.6) |
| 2023-05-18 19:19:22 +0200 | ubert | (~Thunderbi@2001:871:263:e49d:f90c:e4bf:75e1:c3d5) |
| 2023-05-18 19:20:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-18 19:20:45 +0200 | <sm> | when Decimal, when Rational.. |
| 2023-05-18 19:21:02 +0200 | <geekosaur> | CReal… |
| 2023-05-18 19:22:18 +0200 | ubert | (~Thunderbi@2001:871:263:e49d:f90c:e4bf:75e1:c3d5) (Client Quit) |
| 2023-05-18 19:22:37 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-18 19:24:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2023-05-18 19:26:03 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-18 19:28:13 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-18 19:32:54 +0200 | acidjnk | (~acidjnk@p200300d6e7072f04d4d0d87b774f7a3f.dip0.t-ipconnect.de) |
| 2023-05-18 19:36:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-05-18 19:40:57 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-18 19:54:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-18 19:55:04 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-18 19:55:48 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) (Ping timeout: 240 seconds) |
| 2023-05-18 19:56:56 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) |
| 2023-05-18 20:06:01 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 20:06:26 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-18 20:10:11 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 2023-05-18 20:10:38 +0200 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-05-18 20:10:51 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-18 20:12:16 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-18 20:18:15 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-18 20:20:03 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 20:25:45 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-05-18 20:26:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-18 20:28:03 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-18 20:28:23 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 20:28:44 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-05-18 20:29:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) |
| 2023-05-18 20:31:55 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-18 20:32:32 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 20:34:41 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::668d) (Quit: Where is it) |
| 2023-05-18 20:35:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-18 20:38:28 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) (Ping timeout: 240 seconds) |
| 2023-05-18 20:38:57 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 2023-05-18 20:39:55 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 268 seconds) |
| 2023-05-18 20:40:01 +0200 | vandita | (~vandit@77-234-64-141.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 20:40:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-18 20:41:42 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) |
| 2023-05-18 20:42:10 +0200 | vandita | (~vandit@85-238-93-59.pool.digikabel.hu) |
| 2023-05-18 20:44:30 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 20:45:47 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 20:50:35 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-18 20:50:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-18 20:52:29 +0200 | simendsjo | (~user@h-155-4-128-203.NA.cust.bahnhof.se) |
| 2023-05-18 20:53:50 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 20:57:18 +0200 | <DigitalKiwi> | make sure to use Double when you're working with currency and want to steal from Initech |
| 2023-05-18 21:00:45 +0200 | rf | (~rf@142.99.241.246) |
| 2023-05-18 21:10:23 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 240 seconds) |
| 2023-05-18 21:11:22 +0200 | <sm> | don't forget Complex, Imaginary, and Irrational |
| 2023-05-18 21:11:30 +0200 | vglfr | (~vglfr@209.198.137.226) |
| 2023-05-18 21:11:41 +0200 | <darkling> | That's *advanced* accountancy. |
| 2023-05-18 21:15:38 +0200 | vglfr | (~vglfr@209.198.137.226) (Ping timeout: 246 seconds) |
| 2023-05-18 21:15:41 +0200 | <DigitalKiwi> | that's just Futures trading |
| 2023-05-18 21:17:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-05-18 21:18:29 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:d08e:309f:8c89:9b36) |
| 2023-05-18 21:20:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-05-18 21:23:09 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2023-05-18 21:24:16 +0200 | remexre | (~remexre@mail.sift.net) (Ping timeout: 248 seconds) |
| 2023-05-18 21:26:13 +0200 | <juri_> | Projective Geometric Accountancy? |
| 2023-05-18 21:34:11 +0200 | Vajb | (~Vajb@2001:999:58c:d84b:ffab:e4c9:3dfc:b199) (Ping timeout: 246 seconds) |
| 2023-05-18 21:34:40 +0200 | Vajb | (~Vajb@2001:999:585:423d:44d3:48b0:adae:2d85) |
| 2023-05-18 21:37:30 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-05-18 21:37:35 +0200 | simendsjo | (~user@h-155-4-128-203.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-05-18 21:37:48 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-18 21:39:42 +0200 | thoros | (~thoros@62-46-62-169.adsl.highway.telekom.at) (Quit: WeeChat 3.8) |
| 2023-05-18 21:40:36 +0200 | <DigitalKiwi> | https://www.reddit.com/r/haskell/comments/13i2ewm/whats_the_best_decimal_library_for_financial/ |
| 2023-05-18 21:49:59 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-18 21:51:50 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-18 21:52:13 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 21:52:47 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-18 21:59:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Remote host closed the connection) |
| 2023-05-18 22:00:47 +0200 | hamzahaskell1 | (~hamzahask@2a01:e0a:1ee:8c60:862c:853a:65d2:74e4) (Ping timeout: 264 seconds) |
| 2023-05-18 22:03:37 +0200 | kuribas | (~user@ptr-17d51epemn8vaylr6v2.18120a2.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2023-05-18 22:05:05 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-18 22:06:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-18 22:10:56 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-05-18 22:11:43 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-05-18 22:12:22 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-18 22:14:47 +0200 | Inst | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-18 22:15:00 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-05-18 22:17:57 +0200 | chomwitt | (~chomwitt@ppp-94-68-188-225.home.otenet.gr) (Remote host closed the connection) |
| 2023-05-18 22:19:45 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-18 22:21:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-18 22:21:41 +0200 | cheater_ | cheater |
| 2023-05-18 22:23:31 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-18 22:29:39 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-18 22:33:35 +0200 | vandita | (~vandit@85-238-93-59.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-18 22:34:00 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-18 22:35:24 +0200 | vandita | (~vandit@193-226-238-208.pool.digikabel.hu) |
| 2023-05-18 22:35:37 +0200 | hamzahaskell1 | (~hamzahask@2a01:e0a:1ee:8c60:28d4:8019:e957:db26) |
| 2023-05-18 22:36:51 +0200 | freeside_ | (~mengwong@103.252.202.151) |
| 2023-05-18 22:37:02 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-18 22:37:23 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-05-18 22:37:27 +0200 | cheater_ | cheater |
| 2023-05-18 22:41:08 +0200 | freeside_ | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-18 22:42:15 +0200 | alternat` | (~user@194.124.76.34) |
| 2023-05-18 22:42:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-05-18 22:43:28 +0200 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 240 seconds) |
| 2023-05-18 22:43:49 +0200 | abrantesasf | (~abrantesa@177.137.232.92) |
| 2023-05-18 22:47:21 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-18 22:49:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-18 22:49:07 +0200 | cheater_ | cheater |
| 2023-05-18 22:50:08 +0200 | rf | (~rf@142.99.241.246) (Ping timeout: 240 seconds) |
| 2023-05-18 22:53:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-18 22:56:33 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-18 22:59:29 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 256 seconds) |
| 2023-05-18 22:59:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) |
| 2023-05-18 23:02:24 +0200 | phma | (~phma@host-67-44-208-211.hnremote.net) (Read error: Connection reset by peer) |
| 2023-05-18 23:02:48 +0200 | phma | (phma@2001:5b0:211f:7e48:7766:33a8:8fd1:3dba) |
| 2023-05-18 23:02:51 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-18 23:04:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c1f:3b38:25a9:d6c3) (Ping timeout: 240 seconds) |
| 2023-05-18 23:10:18 +0200 | rf | (~rf@142.99.241.246) |
| 2023-05-18 23:12:45 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-05-18 23:22:24 +0200 | hamzahaskell1 | (~hamzahask@2a01:e0a:1ee:8c60:28d4:8019:e957:db26) (Ping timeout: 265 seconds) |
| 2023-05-18 23:24:47 +0200 | remexre | (~remexre@user/remexre) |
| 2023-05-18 23:30:24 +0200 | michalz | (~michalz@185.246.204.69) (Remote host closed the connection) |
| 2023-05-18 23:31:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-18 23:32:12 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-18 23:34:23 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-18 23:36:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-18 23:37:22 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-18 23:40:36 +0200 | rf | (~rf@142.99.241.246) (Ping timeout: 268 seconds) |
| 2023-05-18 23:43:05 +0200 | barcisz | (~barcisz@79.191.229.20.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 2023-05-18 23:43:41 +0200 | alternat` | (~user@194.124.76.34) (Ping timeout: 256 seconds) |
| 2023-05-18 23:46:39 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-18 23:48:31 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
| 2023-05-18 23:48:42 +0200 | xameer | (~xameer@144.48.224.179) |
| 2023-05-18 23:51:40 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-18 23:55:59 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-05-18 23:58:48 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-18 23:58:49 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-dc65-9ed9-b2bf-7694.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-18 23:59:39 +0200 | freeside_ | (~mengwong@103.252.202.151) |