| 2023-08-01 00:00:40 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-01 00:00:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-01 00:00:48 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-01 00:01:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-01 00:01:54 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-08-01 00:01:55 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-08-01 00:01:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-01 00:03:25 +0200 | schuelermine | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-01 00:06:25 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-01 00:07:06 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-08-01 00:07:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-01 00:09:40 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-08-01 00:10:44 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-08-01 00:11:00 +0200 | kaptch | (~kaptch@95.10.3.18) |
| 2023-08-01 00:11:06 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-08-01 00:12:10 +0200 | kaptch | (~kaptch@95.10.3.18) (Client Quit) |
| 2023-08-01 00:12:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 00:12:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 00:12:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 00:13:19 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-08-01 00:19:03 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) (Read error: Connection reset by peer) |
| 2023-08-01 00:19:27 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2023-08-01 00:19:39 +0200 | ub | (~Thunderbi@77.119.204.241.wireless.dyn.drei.com) |
| 2023-08-01 00:21:35 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2023-08-01 00:21:35 +0200 | ub | ubert |
| 2023-08-01 00:22:08 +0200 | shapr | (~user@2600:1700:c640:3100:48aa:7045:6a06:128b) (Remote host closed the connection) |
| 2023-08-01 00:22:21 +0200 | shapr | (~user@2600:1700:c640:3100:6922:3c05:4353:d95c) |
| 2023-08-01 00:22:28 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds) |
| 2023-08-01 00:26:41 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:10 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:10 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:10 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | yoggurt[m] | (~yoggurtma@2001:470:69fc:105::2:ba5) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | Drew[m] | (~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | kadoban | (~kadoban@user/kadoban) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | ormaaaj | (~ormaaj@user/ormaaj) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:11 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 245 seconds) |
| 2023-08-01 00:32:26 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) (Ping timeout: 240 seconds) |
| 2023-08-01 00:32:26 +0200 | the_guruji[m] | (~theguruji@2001:470:69fc:105::3:825f) (Ping timeout: 240 seconds) |
| 2023-08-01 00:32:26 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 240 seconds) |
| 2023-08-01 00:32:26 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 240 seconds) |
| 2023-08-01 00:32:26 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-08-01 00:32:26 +0200 | siraben | (~siraben@user/siraben) (Ping timeout: 240 seconds) |
| 2023-08-01 00:34:18 +0200 | ddellacosta | (~ddellacos@146.70.171.100) (Ping timeout: 252 seconds) |
| 2023-08-01 00:35:17 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-01 00:36:50 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:50 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:57 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 260 seconds) |
| 2023-08-01 00:36:58 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (Ping timeout: 246 seconds) |
| 2023-08-01 00:36:58 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 246 seconds) |
| 2023-08-01 00:37:31 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 260 seconds) |
| 2023-08-01 00:37:34 +0200 | phma | (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) (Read error: Connection reset by peer) |
| 2023-08-01 00:37:57 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2023-08-01 00:39:59 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-08-01 00:43:34 +0200 | mima | (~mmh@aftr-62-216-202-120.dynamic.mnet-online.de) |
| 2023-08-01 00:45:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-01 00:46:50 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-08-01 00:47:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 00:50:52 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-08-01 00:54:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-01 00:55:04 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-08-01 00:55:38 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) |
| 2023-08-01 00:57:56 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 260 seconds) |
| 2023-08-01 01:01:46 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-01 01:08:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 01:11:58 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-08-01 01:15:35 +0200 | billchenchina | (~billchenc@103.152.35.21) (Ping timeout: 264 seconds) |
| 2023-08-01 01:19:04 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 01:19:36 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) (Quit: sm[i]) |
| 2023-08-01 01:21:22 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-01 01:23:06 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 2023-08-01 01:23:06 +0200 | mauke_ | mauke |
| 2023-08-01 01:26:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-08-01 01:26:30 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-01 01:27:59 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 01:27:59 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 01:27:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 01:32:01 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-01 01:32:21 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-08-01 01:32:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-01 01:34:48 +0200 | mei | (~mei@user/mei) |
| 2023-08-01 01:36:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f36112eefabde49cc58.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-08-01 01:41:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-01 01:45:12 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-08-01 01:50:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-01 01:58:01 +0200 | thegeekinside | (~thegeekin@189.180.94.123) (Ping timeout: 260 seconds) |
| 2023-08-01 02:08:56 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 02:09:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-01 02:12:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-01 02:14:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 02:14:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 02:14:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 02:14:36 +0200 | thegeekinside | (~thegeekin@189.180.94.123) |
| 2023-08-01 02:20:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-01 02:20:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-01 02:22:54 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-08-01 02:23:18 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 02:33:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-01 02:34:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-01 02:34:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-01 02:34:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-01 02:38:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 02:38:43 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 02:38:43 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 02:38:43 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 02:43:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 02:43:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-01 02:44:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 02:44:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 02:44:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 02:54:40 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) |
| 2023-08-01 02:56:07 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-01 02:56:07 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-08-01 03:01:34 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-08-01 03:06:16 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-01 03:06:40 +0200 | phma | (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) |
| 2023-08-01 03:11:12 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-01 03:16:33 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-01 03:17:19 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-01 03:18:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cbc5:2cd2:546f:88f9) (Ping timeout: 258 seconds) |
| 2023-08-01 03:22:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-01 03:23:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-01 03:24:57 +0200 | ringo___ | (~ringo@157.230.117.128) (Ping timeout: 245 seconds) |
| 2023-08-01 03:25:46 +0200 | ringo___ | (~ringo@157.230.117.128) |
| 2023-08-01 03:27:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-01 03:27:45 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
| 2023-08-01 03:28:14 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 03:28:14 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 03:28:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 03:28:50 +0200 | shapr | (~user@2600:1700:c640:3100:6922:3c05:4353:d95c) (Remote host closed the connection) |
| 2023-08-01 03:29:03 +0200 | shapr | (~user@2600:1700:c640:3100:7336:e7c7:f6f2:463) |
| 2023-08-01 03:31:15 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-01 03:31:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 03:31:59 +0200 | haskGPT | (~haskGPT@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 2023-08-01 03:32:32 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-08-01 03:35:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-01 03:38:59 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 264 seconds) |
| 2023-08-01 03:40:24 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-01 03:40:55 +0200 | mima | (~mmh@aftr-62-216-202-120.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2023-08-01 03:42:50 +0200 | razetime | (~quassel@117.193.3.214) |
| 2023-08-01 03:53:41 +0200 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) (Server closed connection) |
| 2023-08-01 03:53:53 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2023-08-01 04:01:53 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-01 04:06:00 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-08-01 04:10:27 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-08-01 04:17:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-01 04:18:18 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2023-08-01 04:18:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-01 04:18:22 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) |
| 2023-08-01 04:22:38 +0200 | xstill_0 | (xstill@fimu/xstill) (Server closed connection) |
| 2023-08-01 04:22:55 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2023-08-01 04:27:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 04:27:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 04:27:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 04:29:55 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 246 seconds) |
| 2023-08-01 04:31:40 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 04:36:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 04:36:41 +0200 | ft | (~ft@p508dbe45.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-01 04:37:37 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2023-08-01 04:37:42 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-08-01 04:38:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Quit: λ) |
| 2023-08-01 04:38:29 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 04:38:29 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 04:38:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 04:38:36 +0200 | ft | (~ft@p4fc2a7b8.dip0.t-ipconnect.de) |
| 2023-08-01 04:39:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 04:40:05 +0200 | mei | (~mei@user/mei) |
| 2023-08-01 04:41:17 +0200 | Qudit | (~user@user/Qudit) (Remote host closed the connection) |
| 2023-08-01 04:43:37 +0200 | Qudit | (~user@user/Qudit) |
| 2023-08-01 04:44:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 04:48:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 04:53:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 04:53:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-01 04:57:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-01 04:58:49 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-01 05:00:01 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-01 05:00:11 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-01 05:00:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-01 05:00:11 +0200 | finn_elija | FinnElija |
| 2023-08-01 05:00:14 +0200 | td_ | (~td@i53870908.versanet.de) |
| 2023-08-01 05:03:29 +0200 | troydm | (~troydm@user/troydm) |
| 2023-08-01 05:03:37 +0200 | aforemny | (~aforemny@i59F516F2.versanet.de) |
| 2023-08-01 05:04:12 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 05:04:32 +0200 | aforemny_ | (~aforemny@i59F516D5.versanet.de) (Ping timeout: 250 seconds) |
| 2023-08-01 05:11:50 +0200 | <Inst> | with C libs on Windows, I'm totally out of luck, right? |
| 2023-08-01 05:12:02 +0200 | <Inst> | If msys doesn't have the package, I shouldn't expect to get it working |
| 2023-08-01 05:12:02 +0200 | <Inst> | :( |
| 2023-08-01 05:19:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-01 05:23:17 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 245 seconds) |
| 2023-08-01 05:23:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-08-01 05:25:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-08-01 05:26:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-01 05:27:15 +0200 | <Inst> | gah, tbh, you're 100% right, Haskell development on Windows is like trying to pull all your teeth out over 24 months |
| 2023-08-01 05:27:28 +0200 | phma | (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) (Read error: Connection reset by peer) |
| 2023-08-01 05:27:37 +0200 | bilegeek | (~bilegeek@2600:1008:b010:5a9c:610:244b:3122:7f60) |
| 2023-08-01 05:27:56 +0200 | phma | (~phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) |
| 2023-08-01 05:27:59 +0200 | <Inst> | can't get arrayfire working, can't get halide working, can't get accelerate working |
| 2023-08-01 05:28:09 +0200 | <Inst> | slit wrist UX and not Haskell's fault |
| 2023-08-01 05:30:57 +0200 | <Inst> | going through msys libs and i should be happy with what i have |
| 2023-08-01 05:31:21 +0200 | <Axman6> | does using WLS help at all? |
| 2023-08-01 05:37:03 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 05:39:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 240 seconds) |
| 2023-08-01 05:40:46 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-08-01 05:41:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 05:45:28 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-08-01 05:49:19 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-01 05:50:25 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 246 seconds) |
| 2023-08-01 05:50:25 +0200 | razetime | (~quassel@117.193.3.214) (Ping timeout: 246 seconds) |
| 2023-08-01 05:50:54 +0200 | thegeekinside | (~thegeekin@189.180.94.123) (Ping timeout: 246 seconds) |
| 2023-08-01 05:51:00 +0200 | razetime | (~quassel@117.254.36.116) |
| 2023-08-01 05:51:59 +0200 | <Axman6> | WSL* |
| 2023-08-01 05:53:22 +0200 | phma | (~phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) (Read error: Connection reset by peer) |
| 2023-08-01 05:53:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-01 05:53:51 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2023-08-01 05:54:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-01 05:57:04 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-01 05:58:43 +0200 | <Inst> | i guess i could retry that, trying to do it via mingw |
| 2023-08-01 05:58:53 +0200 | <Inst> | GHCuped to 8.10.7 with hopes that accelerate will work |
| 2023-08-01 05:58:56 +0200 | <Inst> | please, please, please install |
| 2023-08-01 06:00:30 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 06:01:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 06:01:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 06:01:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 06:01:58 +0200 | aforemny | (~aforemny@i59F516F2.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-01 06:02:13 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:4d00:b3a7:e4fb:416c:e46c) |
| 2023-08-01 06:04:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 06:05:50 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-01 06:06:48 +0200 | <Inst> | yeees! Accelerate failed to install on 8.10.7! |
| 2023-08-01 06:07:03 +0200 | <Inst> | unknown symbol __p___argv! |
| 2023-08-01 06:08:45 +0200 | shapr | (~user@2600:1700:c640:3100:7336:e7c7:f6f2:463) (Ping timeout: 246 seconds) |
| 2023-08-01 06:14:13 +0200 | razetime | (~quassel@117.254.36.116) (Ping timeout: 246 seconds) |
| 2023-08-01 06:15:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-01 06:22:58 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-01 06:23:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-08-01 06:24:00 +0200 | <Inst> | trying halide on WSL now |
| 2023-08-01 06:28:55 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 240 seconds) |
| 2023-08-01 06:29:29 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 06:29:29 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 06:29:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 06:30:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 06:31:16 +0200 | foul_owl_ | (~kerry@185.219.141.162) (Ping timeout: 245 seconds) |
| 2023-08-01 06:32:21 +0200 | razetime | (~quassel@117.254.36.116) |
| 2023-08-01 06:33:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-01 06:35:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 06:37:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2023-08-01 06:40:04 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 06:40:04 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 06:40:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 06:42:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-01 06:45:07 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-01 06:49:43 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 2023-08-01 06:50:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-01 06:51:54 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-01 06:56:05 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 06:56:05 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 06:56:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 06:57:57 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) (Quit: sm[i]) |
| 2023-08-01 06:58:33 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) |
| 2023-08-01 06:59:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2023-08-01 07:00:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-01 07:01:55 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-01 07:02:52 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) (Ping timeout: 246 seconds) |
| 2023-08-01 07:03:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 07:03:41 +0200 | trev | (~trev@user/trev) |
| 2023-08-01 07:08:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 07:08:53 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-08-01 07:10:12 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-01 07:10:12 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-01 07:10:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 07:13:38 +0200 | Nikopol | (nikopol@user/astrorigin) (Ping timeout: 246 seconds) |
| 2023-08-01 07:19:57 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-08-01 07:22:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-08-01 07:28:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-01 07:33:10 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-01 07:35:04 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-08-01 07:35:38 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (Server closed connection) |
| 2023-08-01 07:35:48 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) |
| 2023-08-01 07:36:20 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-08-01 07:40:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-01 07:45:03 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-01 07:45:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 07:48:26 +0200 | ursa-major | (~ursa-majo@static-198-44-128-216.cust.tzulo.com) (Quit: WeeChat 4.0.2) |
| 2023-08-01 07:48:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-01 07:50:15 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 07:50:31 +0200 | CiaoSen | (~Jura@2a05:5800:28b:d500:664b:f0ff:fe37:9ef) |
| 2023-08-01 07:53:28 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-01 07:53:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-01 07:57:49 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-08-01 08:04:23 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-01 08:06:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-01 08:10:32 +0200 | kenran | (~user@user/kenran) |
| 2023-08-01 08:10:48 +0200 | thegeekinside | (~thegeekin@189.180.94.123) |
| 2023-08-01 08:12:18 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-08-01 08:12:45 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-08-01 08:13:00 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 2023-08-01 08:18:13 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-01 08:18:17 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 08:19:35 +0200 | Xe | (~cadey@tailscale/xe) (Ping timeout: 246 seconds) |
| 2023-08-01 08:21:54 +0200 | Xe | (~cadey@tailscale/xe) |
| 2023-08-01 08:35:55 +0200 | thegeekinside | (~thegeekin@189.180.94.123) (Ping timeout: 245 seconds) |
| 2023-08-01 08:36:19 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-01 08:36:45 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-01 08:37:11 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-01 08:38:38 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-08-01 08:40:26 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 245 seconds) |
| 2023-08-01 08:41:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-01 08:41:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-01 08:44:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 08:46:45 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-01 08:48:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 08:49:24 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 2023-08-01 08:50:07 +0200 | sleym | (~sleym@user/sleym) |
| 2023-08-01 08:52:12 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-08-01 08:54:26 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Quit: WeeChat 3.6) |
| 2023-08-01 08:56:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f30112eefabde49cc58.dip0.t-ipconnect.de) |
| 2023-08-01 09:00:27 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-01 09:01:40 +0200 | ripspin | (~chatzilla@1.145.238.181) |
| 2023-08-01 09:05:18 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-08-01 09:08:26 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-01 09:10:55 +0200 | ft | (~ft@p4fc2a7b8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-01 09:12:43 +0200 | ft | (~ft@p3e9bce73.dip0.t-ipconnect.de) |
| 2023-08-01 09:16:21 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-01 09:16:54 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:64cc:97a3:a910:15d3) |
| 2023-08-01 09:18:34 +0200 | Clint | (~Clint@user/clint) (Server closed connection) |
| 2023-08-01 09:18:42 +0200 | Clint | (~Clint@user/clint) |
| 2023-08-01 09:20:25 +0200 | ft | (~ft@p3e9bce73.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-01 09:21:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-01 09:22:31 +0200 | ft | (~ft@p3e9bceb5.dip0.t-ipconnect.de) |
| 2023-08-01 09:25:44 +0200 | bilegeek | (~bilegeek@2600:1008:b010:5a9c:610:244b:3122:7f60) (Quit: Leaving) |
| 2023-08-01 09:27:36 +0200 | ubert1 | (~Thunderbi@77.119.204.241.wireless.dyn.drei.com) |
| 2023-08-01 09:29:58 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) |
| 2023-08-01 09:33:51 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-01 09:40:43 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-08-01 09:42:33 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-08-01 09:49:44 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-08-01 09:50:49 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-01 09:57:25 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) (Killed (NickServ (GHOST command used by highvolt1ge!~highvolta@shell.jonathancarter.org))) |
| 2023-08-01 09:58:24 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 09:58:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-01 09:59:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-01 10:00:10 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-01 10:02:00 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-08-01 10:02:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 10:13:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 10:14:10 +0200 | Haskman[m] | (~haskmanma@2001:470:69fc:105::3:8e5a) |
| 2023-08-01 10:15:16 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-08-01 10:15:43 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-08-01 10:17:15 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 10:18:41 +0200 | danse-nr3 | (~francesco@151.37.234.183) |
| 2023-08-01 10:21:43 +0200 | chele | (~chele@user/chele) |
| 2023-08-01 10:21:57 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-01 10:22:47 +0200 | <kuribas> | I found this pattern of Applicative in a Monad very useful, is it written somewhere? |
| 2023-08-01 10:22:48 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2023-08-01 10:22:48 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) |
| 2023-08-01 10:22:48 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
| 2023-08-01 10:22:49 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) |
| 2023-08-01 10:22:49 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-08-01 10:23:03 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) |
| 2023-08-01 10:23:04 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-08-01 10:23:10 +0200 | <kuribas> | I use the Monad as a builder, for example for forms, for generating fresh id's, then the applicative is for the static functionality. |
| 2023-08-01 10:23:18 +0200 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) |
| 2023-08-01 10:23:18 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2023-08-01 10:23:30 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) |
| 2023-08-01 10:23:30 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-08-01 10:23:43 +0200 | <kuribas> | The Applicative provides the processing. |
| 2023-08-01 10:23:44 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2023-08-01 10:23:44 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) |
| 2023-08-01 10:23:45 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2023-08-01 10:23:58 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) |
| 2023-08-01 10:23:58 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
| 2023-08-01 10:23:58 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2023-08-01 10:23:58 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-08-01 10:24:12 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) |
| 2023-08-01 10:24:12 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
| 2023-08-01 10:24:26 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) |
| 2023-08-01 10:24:26 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) |
| 2023-08-01 10:24:30 +0200 | <kuribas> | So MonadBuilder (ApplicativeProcessor a) |
| 2023-08-01 10:24:38 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) |
| 2023-08-01 10:24:38 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
| 2023-08-01 10:24:50 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) |
| 2023-08-01 10:24:50 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2023-08-01 10:25:05 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) |
| 2023-08-01 10:26:00 +0200 | <kuribas> | IMO Applicative is even more important than Monad, since Monad usually can be substituted for side effects in another language, but Applicative cannot. |
| 2023-08-01 10:27:36 +0200 | <kuribas> | Or you need some kind of parallel primite to emulate it. |
| 2023-08-01 10:29:23 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-01 10:33:32 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-01 10:39:30 +0200 | Guest|83 | (~Guest|83@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) |
| 2023-08-01 10:40:15 +0200 | Guest|83 | (~Guest|83@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) (Client Quit) |
| 2023-08-01 10:46:07 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-08-01 10:50:09 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 10:50:24 +0200 | razetime | (~quassel@117.254.36.116) (Remote host closed the connection) |
| 2023-08-01 10:51:44 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-01 10:52:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 10:56:56 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds) |
| 2023-08-01 10:57:37 +0200 | mima | (~mmh@aftr-82-135-83-244.dynamic.mnet-online.de) |
| 2023-08-01 10:57:50 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2023-08-01 11:00:48 +0200 | <fendor> | what was the tool that allows us to print a module graph of the current package? |
| 2023-08-01 11:01:45 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
| 2023-08-01 11:05:52 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-01 11:09:17 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 260 seconds) |
| 2023-08-01 11:10:06 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 11:11:02 +0200 | <merijn> | cabal-plan? |
| 2023-08-01 11:11:13 +0200 | <merijn> | ah, wait, no, that's packages not modules |
| 2023-08-01 11:12:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 11:12:56 +0200 | <jackdk> | maybe related to weeder? |
| 2023-08-01 11:16:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 11:18:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-01 11:18:37 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) () |
| 2023-08-01 11:27:29 +0200 | ft | (~ft@p3e9bceb5.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-01 11:29:44 +0200 | <kenran> | fendor graphmod? |
| 2023-08-01 11:30:53 +0200 | <fendor> | kenran, yes, thank you! |
| 2023-08-01 11:31:37 +0200 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2023-08-01 11:37:56 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-01 11:42:57 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) |
| 2023-08-01 11:43:15 +0200 | mmhat | (~mmh@p200300f1c73d1937ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-01 11:45:37 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-01 11:45:44 +0200 | mmhat | (~mmh@p200300f1c73d1937ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-01 11:45:47 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-01 11:45:55 +0200 | tv | (~tv@user/tv) |
| 2023-08-01 11:46:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-08-01 11:47:51 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) (Quit: You have been kicked for being idle) |
| 2023-08-01 11:47:52 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) (Quit: You have been kicked for being idle) |
| 2023-08-01 11:48:00 +0200 | danse-nr3 | (~francesco@151.37.234.183) (Read error: Connection reset by peer) |
| 2023-08-01 11:48:11 +0200 | danse-nr3 | (~francesco@151.47.240.122) |
| 2023-08-01 11:48:39 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-01 11:52:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-01 11:57:04 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-01 12:00:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 12:02:37 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) (Server closed connection) |
| 2023-08-01 12:02:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-01 12:02:48 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) |
| 2023-08-01 12:03:20 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-01 12:05:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 12:08:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-08-01 12:13:45 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-01 12:15:14 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 12:19:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 12:24:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-01 12:25:51 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-01 12:26:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-08-01 12:26:37 +0200 | sleym | (~sleym@user/sleym) (Quit: sleym) |
| 2023-08-01 12:30:55 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 12:35:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-01 12:38:55 +0200 | CiaoSen | (~Jura@2a05:5800:28b:d500:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-08-01 12:44:26 +0200 | Adran | (~adran@botters/adran) (Server closed connection) |
| 2023-08-01 12:44:49 +0200 | CiaoSen | (~Jura@2a05:5800:28b:d500:664b:f0ff:fe37:9ef) |
| 2023-08-01 12:45:57 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 244 seconds) |
| 2023-08-01 12:56:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-01 12:57:47 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 2023-08-01 13:03:45 +0200 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-08-01 13:04:14 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 250 seconds) |
| 2023-08-01 13:07:51 +0200 | Adran | (~adran@botters/adran) |
| 2023-08-01 13:08:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7141:4235:591:867b) |
| 2023-08-01 13:17:57 +0200 | danse-nr3 | (~francesco@151.47.240.122) (Remote host closed the connection) |
| 2023-08-01 13:18:40 +0200 | danse-nr3 | (~francesco@151.47.240.122) |
| 2023-08-01 13:18:45 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-08-01 13:20:52 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-08-01 13:21:01 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-08-01 13:24:36 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-08-01 13:28:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-01 13:33:01 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-01 13:34:31 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 244 seconds) |
| 2023-08-01 13:36:35 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2023-08-01 13:37:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 13:41:59 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-01 13:45:55 +0200 | danse-nr3 | (~francesco@151.47.240.122) (Remote host closed the connection) |
| 2023-08-01 13:46:19 +0200 | danse-nr3 | (~francesco@151.47.240.122) |
| 2023-08-01 13:50:49 +0200 | <dminuoso> | kuribas: There's nothing fundamental about Applicative that couldn't be substituted. |
| 2023-08-01 13:51:12 +0200 | <dminuoso> | Consider optparse-applicative for instance. There is so many option parsing libraries around the world, almost none of which use any Applicative-like interface. |
| 2023-08-01 13:52:01 +0200 | danse-nr3 | (~francesco@151.47.240.122) (Ping timeout: 260 seconds) |
| 2023-08-01 13:52:58 +0200 | <dminuoso> | I think the main thing people misunderstand about Monad/Applicative is that its not the consumer side that really defines its characteristics. Using (>>=) or (<*>) has little to nothing to do with `Monad f` or `Applicative f` if you instantiate f at some specific type. |
| 2023-08-01 13:53:15 +0200 | <dminuoso> | It just transforms into some "reusing function names" mechanism. |
| 2023-08-01 13:53:55 +0200 | <kuribas> | dminuoso: I *can* make an applicative in Python, but it will not be very idiomatic or convenient. |
| 2023-08-01 13:53:59 +0200 | highvoltage_ | (~highvolt@bcdcac82.skybroadband.com) |
| 2023-08-01 13:54:07 +0200 | <dminuoso> | While integer addition together with 0 forms a monoid, you wouldn't really say that kids who sit in school adding number are "using monoids". They're just adding numbers. |
| 2023-08-01 13:54:26 +0200 | <kuribas> | And I don't think I can make an Applicative class in Python, since it doesn't have hkt types. |
| 2023-08-01 13:55:01 +0200 | <dminuoso> | kuribas: Of course you can provide an applicative interface in python just fine. |
| 2023-08-01 13:55:21 +0200 | <dminuoso> | def apply(x, f): ... |
| 2023-08-01 13:55:25 +0200 | <dminuoso> | def pure(x): ... |
| 2023-08-01 13:55:27 +0200 | <dminuoso> | Done. |
| 2023-08-01 13:55:53 +0200 | <dminuoso> | This goes into "You've been using Monads all your life" territory. |
| 2023-08-01 13:56:13 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-08-01 13:56:29 +0200 | <dminuoso> | The only specialty in Haskell is that you you write code that is polymorphic over all choices of such interfaces together with a type system. |
| 2023-08-01 13:57:06 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) |
| 2023-08-01 13:57:17 +0200 | <dminuoso> | And the type system has nothing to do with being able to provide/use such an interface either. |
| 2023-08-01 13:57:34 +0200 | highvoltage_ | (~highvolt@bcdcac82.skybroadband.com) (Client Quit) |
| 2023-08-01 13:58:03 +0200 | sm[i] | (~sm@2601:196:4b80:3a40:6d88:7485:67c1:313c) (Changing host) |
| 2023-08-01 13:58:03 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-01 13:58:43 +0200 | R3G3N3R4T3 | (~R3G3N3R4T@bcdcac82.skybroadband.com) |
| 2023-08-01 13:58:52 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-01 14:02:04 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-01 14:05:02 +0200 | CiaoSen | (~Jura@2a05:5800:28b:d500:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-01 14:06:36 +0200 | danse-nr3 | (~francesco@151.47.240.122) |
| 2023-08-01 14:07:03 +0200 | CiaoSen | (~Jura@2a05:5800:2c7:3d00:664b:f0ff:fe37:9ef) |
| 2023-08-01 14:16:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-01 14:16:58 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-01 14:20:09 +0200 | shapr | (~user@2600:1700:c640:3100:ff45:39e0:1bd0:b528) |
| 2023-08-01 14:22:11 +0200 | danse-nr3 | (~francesco@151.47.240.122) (Ping timeout: 246 seconds) |
| 2023-08-01 14:26:48 +0200 | mango | (~finn@2001:861:5863:3d50:d92e:a835:a497:89bf) |
| 2023-08-01 14:30:18 +0200 | danse-nr3 | (~francesco@151.47.240.122) |
| 2023-08-01 14:30:54 +0200 | Square | (~Square@user/square) |
| 2023-08-01 14:35:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-01 14:38:07 +0200 | mango | (~finn@2001:861:5863:3d50:d92e:a835:a497:89bf) (Ping timeout: 260 seconds) |
| 2023-08-01 14:42:35 +0200 | <lortabac> | the ability to write polymorphic code over all instantiations of an interface is what differentiate type-classes from simple name-overloading mechanisms |
| 2023-08-01 14:45:56 +0200 | <kuribas> | dminuoso: but not idiomatic or conveniently. |
| 2023-08-01 14:46:54 +0200 | <kuribas> | dminuoso: how would you type this in Python? |
| 2023-08-01 14:50:24 +0200 | <dminuoso> | kuribas: Idiomatic is possibly a bit of a red herring. In case of optparse-applicative, the question isnt as much as "I dont want to use apply() and pure(), but rather why that is done in Haskell in the first place. |
| 2023-08-01 14:50:59 +0200 | <dminuoso> | Python's optparse gets away with just `parser = OptionParser(); parser.add_option(...); parser.add_option(..)` |
| 2023-08-01 14:51:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-01 14:52:11 +0200 | <dminuoso> | I'm not even sure that `Applicative Parser` has any relevant advantage of building a parser inside a state monad. |
| 2023-08-01 14:53:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-01 14:58:27 +0200 | <jackdk> | I've often thought that the HKD angle is under-explored, and that you could then have a `parse :: k OptionParser -> IO (Either ParseError (k Identity))` or similar. |
| 2023-08-01 15:00:30 +0200 | mei | (~mei@user/mei) (Ping timeout: 245 seconds) |
| 2023-08-01 15:00:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:01:32 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-08-01 15:02:24 +0200 | <probie> | Does an option parser really need to live in IO? I'd be inclined to go with something like `parse :: k OptionParser -> [Text] -> Either ParseError (k Identity)` and add a `parseOpts` which is in IO for convenience |
| 2023-08-01 15:03:16 +0200 | <merijn> | probie: It doesn't |
| 2023-08-01 15:03:24 +0200 | <merijn> | probie: optparse-applicative has pure versions |
| 2023-08-01 15:03:33 +0200 | <merijn> | for example |
| 2023-08-01 15:03:56 +0200 | <merijn> | the default "IO" parser just also does auto completion and printing out help |
| 2023-08-01 15:05:04 +0200 | <dminuoso> | merijn: It doesnt quite print out help, though. |
| 2023-08-01 15:05:07 +0200 | <dminuoso> | Only if you bake it into the parser. |
| 2023-08-01 15:06:09 +0200 | <dminuoso> | https://hackage.haskell.org/package/optparse-applicative-0.18.1.0/docs/Options-Applicative.html#v:… |
| 2023-08-01 15:08:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 15:09:28 +0200 | <probie> | My comment was that I wasn't a fan of the type jackdk gave, not a comment on optparse-applicative. I've been burnt too many times by programs which can't take arguments via a file (I think GHC also has this limitation, but I haven't run into it), and moving the parsing away from IO makes this easier. |
| 2023-08-01 15:09:48 +0200 | <probie> | (if you can't take arguments via a file, then there's a limit to how many arguments you can take) |
| 2023-08-01 15:11:19 +0200 | <dminuoso> | What do you mean by file? |
| 2023-08-01 15:11:25 +0200 | <dminuoso> | A handle? Filename? Its content? |
| 2023-08-01 15:13:07 +0200 | <probie> | So instead of something like `myprog foo bar baz`, it's nice to have `myprog --args-from-file argfile` with the same behaviour (when the contents of `argfile` is `foo bar baz`) |
| 2023-08-01 15:14:16 +0200 | <probie> | It's a niche case where it's needed (on my current machine, the length of the options can be up to about 2MB), but when it is needed, there's often no way around it |
| 2023-08-01 15:14:43 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-01 15:16:24 +0200 | <dminuoso> | probie: foo `< argsFile` |
| 2023-08-01 15:16:31 +0200 | <dminuoso> | The shell has your back. |
| 2023-08-01 15:16:39 +0200 | <probie> | which fails if the file is long than 2MB |
| 2023-08-01 15:16:52 +0200 | <dminuoso> | Ah. Why do you have options that long? |
| 2023-08-01 15:17:01 +0200 | <dminuoso> | What kind of problem domain are you in? |
| 2023-08-01 15:17:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:20:37 +0200 | <jackdk> | probie: fair, but the point is the HKD, not the IO |
| 2023-08-01 15:21:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-01 15:22:42 +0200 | <probie> | The problem domain of doing silly things. I had a tool that did a pairwise comparison of files, and about thousand files I wanted to compare with each other, so I had about a million absolute paths being passed to this tool |
| 2023-08-01 15:23:00 +0200 | <danse-nr3> | dminuoso, that passes the standard input to a command. For arguments i believe xargs is the trick |
| 2023-08-01 15:23:24 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:23:29 +0200 | <probie> | Now, that I could get around by just running the tool a thousand times and concatenating the results, but it's still a thing that has bugged me to this day |
| 2023-08-01 15:23:29 +0200 | <danse-nr3> | or `command $(cat file)` |
| 2023-08-01 15:24:16 +0200 | <probie> | My memory might be playing tricks on me, but I think I remember watching a talk where someone was trying to use backpack with GHC and hit this limit |
| 2023-08-01 15:25:09 +0200 | <probie> | I think it was ekmett and he was talking about https://github.com/ekmett/unboxed |
| 2023-08-01 15:26:07 +0200 | <dminuoso> | danse-nr3: That's extensionally equivalent but slower. |
| 2023-08-01 15:27:18 +0200 | <danse-nr3> | sorry, i got used to read those backticks differently, always used $() |
| 2023-08-01 15:27:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-01 15:28:02 +0200 | <dminuoso> | danse-nr3: It doesn't pass standard input to a command, though. |
| 2023-08-01 15:28:23 +0200 | <danse-nr3> | yeah that is why i apologised |
| 2023-08-01 15:28:27 +0200 | <dminuoso> | I'm not entirely sure what kind of bashism this is, but `< foo` is really the same as `cat foo` behaviorally. |
| 2023-08-01 15:28:42 +0200 | <dminuoso> | Or $(< foo) if you prefer. |
| 2023-08-01 15:29:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-01 15:29:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-01 15:29:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-01 15:30:30 +0200 | <anselmschueler> | are you using backticks to delimit code or is it part of the command? |
| 2023-08-01 15:30:46 +0200 | <int-e> | dminuoso: wah ...why does that work when a standalong < foo doesn't... |
| 2023-08-01 15:30:48 +0200 | <anselmschueler> | s/command/code/ |
| 2023-08-01 15:30:52 +0200 | <int-e> | *standalone |
| 2023-08-01 15:31:10 +0200 | <dminuoso> | int-e: anselmschueler Part of the command. |
| 2023-08-01 15:31:10 +0200 | <danse-nr3> | `` or $() means evaluate the content and put it in the command |
| 2023-08-01 15:31:25 +0200 | <anselmschueler> | int-e: what do you mean by standalone <foo? cmd <foo vs cmd `<foo`? |
| 2023-08-01 15:31:32 +0200 | <probie> | jackdk: Sorry, my brain has switched off for the night. I might actually try smashing something like that together tomorrow that's `parse :: TraversableB k => k (OptionParser err) -> [Text] -> Either (ParseError err) (k Identity)` |
| 2023-08-01 15:31:44 +0200 | CiaoSen | (~Jura@2a05:5800:2c7:3d00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-01 15:32:09 +0200 | <bionade24> | Hello, I have a function B that can take hours and already uses the State Monad. The function A calling B has a signal handler for Ctrl+C that flushes the file where the result gets wrriten to, thus it still runs as without interruption. |
| 2023-08-01 15:32:31 +0200 | <bionade24> | How can I have a recursion end in B invoked by the signal handler ? |
| 2023-08-01 15:33:14 +0200 | <int-e> | anselmschueler: I mean typing < foo as a command, as opposed to < foo cat. |
| 2023-08-01 15:33:38 +0200 | <anselmschueler> | int-e: I see |
| 2023-08-01 15:33:42 +0200 | <int-e> | anselmschueler: that produces no output for me, so what about $( < foo ) is different that the file contents is captured? |
| 2023-08-01 15:33:53 +0200 | <anselmschueler> | idk |
| 2023-08-01 15:34:00 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-01 15:34:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:34:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-01 15:34:48 +0200 | haskGPT | (~haskGPT@250.79-105-213.static.virginmediabusiness.co.uk) |
| 2023-08-01 15:35:06 +0200 | ystael | (~ystael@user/ystael) |
| 2023-08-01 15:35:14 +0200 | <anselmschueler> | bionade24: can you give the types? is b :: State s t or b :: t -> State s t? |
| 2023-08-01 15:35:20 +0200 | <int-e> | $( < foo ) doesn't work in dash, fwiw. |
| 2023-08-01 15:35:30 +0200 | <dminuoso> | int-e: So this behavior is documented in man bash under `The command substitution $(cat file) can be replaced by the equivalent but faster $(< file).` |
| 2023-08-01 15:35:45 +0200 | <dminuoso> | And #bash folks suggest that its a special cased behavior (not generlizable from anything) |
| 2023-08-01 15:36:00 +0200 | <anselmschueler> | some shells allow you to type <file to print file to stdout |
| 2023-08-01 15:36:19 +0200 | <int-e> | dminuoso: thanks |
| 2023-08-01 15:36:28 +0200 | <anselmschueler> | e.g. zsh |
| 2023-08-01 15:36:38 +0200 | <dminuoso> | int-e: zsh copies this behavior at least. |
| 2023-08-01 15:37:21 +0200 | <Clint> | i think it was the other way around |
| 2023-08-01 15:37:59 +0200 | <dminuoso> | https://zsh.sourceforge.io/Doc/Release/Expansion.html |
| 2023-08-01 15:38:13 +0200 | <dminuoso> | "This is effectively the reverse of the special form $(<arg) which treats arg as a file name and replaces it with the file’s contents." |
| 2023-08-01 15:38:19 +0200 | <dminuoso> | That documentation reads a bit clearer. |
| 2023-08-01 15:38:36 +0200 | <dminuoso> | Clint: Who knows, maybe even zsh copied it from yet-another-sh. |
| 2023-08-01 15:39:02 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 244 seconds) |
| 2023-08-01 15:39:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 15:40:29 +0200 | <Clint> | would've been ksh if anything |
| 2023-08-01 15:40:51 +0200 | <int-e> | maybe it was an accidental feature of command substitution in some shell at some point |
| 2023-08-01 15:40:59 +0200 | <anselmschueler> | ksh doesn’t interpret <file as cat file |
| 2023-08-01 15:41:14 +0200 | <int-e> | it being an accident would explain the discrepancy between $(< and plain < in bash. |
| 2023-08-01 15:41:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:43:30 +0200 | <anselmschueler> | tcsh finds <file to be a syntax error |
| 2023-08-01 15:43:58 +0200 | <dminuoso> | Plain >foo and <foo in zsh are quite useful. |
| 2023-08-01 15:44:22 +0200 | <anselmschueler> | rc also doesn’t interpret <file |
| 2023-08-01 15:44:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-01 15:44:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-01 15:44:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-01 15:45:11 +0200 | <dminuoso> | Also quite useful and possibly underused is process substitution. |
| 2023-08-01 15:45:19 +0200 | <anselmschueler> | wroathe: is it a coincidence that you got a cloak just as you joined the channel or does your client do autojoin before sasl? |
| 2023-08-01 15:45:24 +0200 | <dminuoso> | diff foo <(sort bar) |
| 2023-08-01 15:45:27 +0200 | <dminuoso> | Its so incredibly useful :) |
| 2023-08-01 15:46:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 15:47:33 +0200 | <anselmschueler> | on fish we unfortunately only have unidirectional process substitution |
| 2023-08-01 15:47:43 +0200 | <bionade24> | anselmschueler: It's b :: t -> State s t |
| 2023-08-01 15:47:53 +0200 | <anselmschueler> | here it is diff foo (sort bar | psub) |
| 2023-08-01 15:48:29 +0200 | danse-nr3_ | (~francesco@151.37.231.242) |
| 2023-08-01 15:49:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-01 15:50:52 +0200 | danse-nr3 | (~francesco@151.47.240.122) (Ping timeout: 240 seconds) |
| 2023-08-01 15:54:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 15:59:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-01 16:03:19 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-01 16:07:19 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-08-01 16:07:26 +0200 | <haskGPT> | ([Double] -> Double) -> State s (Double,[Double]) [Double] |
| 2023-08-01 16:07:28 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-01 16:07:48 +0200 | <haskGPT> | where type State s i o = s -> i -> (s,o) |
| 2023-08-01 16:09:02 +0200 | <haskGPT> | the first argument is interpreted as a loss in a learning round |
| 2023-08-01 16:09:22 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-01 16:09:25 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
| 2023-08-01 16:09:27 +0200 | <haskGPT> | and is applied to give State s (Double,[Double]) (Double,[Double]) |
| 2023-08-01 16:09:32 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 2023-08-01 16:09:49 +0200 | <haskGPT> | which can be itterated for the round. |
| 2023-08-01 16:10:00 +0200 | <haskGPT> | State s (Double,[Double]) [Double], is interpreted as a sampler |
| 2023-08-01 16:10:42 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 16:11:00 +0200 | <haskGPT> | it transfers an input sample, (error,vec), to a new proposal vec, updating with stateful information |
| 2023-08-01 16:11:57 +0200 | <haskGPT> | the iteration of sampling through a loss is the core of ML |
| 2023-08-01 16:12:35 +0200 | ripspin | (~chatzilla@1.145.238.181) (Ping timeout: 245 seconds) |
| 2023-08-01 16:13:22 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-01 16:20:29 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-01 16:20:58 +0200 | <ncf> | is there a question? |
| 2023-08-01 16:21:38 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 16:22:08 +0200 | <haskGPT> | hi! |
| 2023-08-01 16:24:24 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-01 16:25:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 16:27:01 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-01 16:27:19 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-01 16:28:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 16:28:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-01 16:28:48 +0200 | ripspin | (~chatzilla@1.145.155.61) |
| 2023-08-01 16:29:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-01 16:37:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 16:39:55 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-08-01 16:40:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 16:40:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-01 16:43:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-08-01 16:44:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-01 16:45:28 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-08-01 16:49:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-01 16:51:53 +0200 | danse-nr3_ | (~francesco@151.37.231.242) (Ping timeout: 244 seconds) |
| 2023-08-01 16:55:12 +0200 | ryantrinkle | (~ryantrink@140.174.243.250) (Ping timeout: 260 seconds) |
| 2023-08-01 16:55:25 +0200 | danse-nr3_ | (~francesco@151.37.231.242) |
| 2023-08-01 16:57:21 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-08-01 16:58:17 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 245 seconds) |
| 2023-08-01 16:58:55 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-08-01 17:00:58 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-01 17:01:23 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:64cc:97a3:a910:15d3) (Quit: WeeChat 2.8) |
| 2023-08-01 17:01:56 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-08-01 17:02:22 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-08-01 17:02:31 +0200 | ripspin | (~chatzilla@1.145.155.61) (Ping timeout: 245 seconds) |
| 2023-08-01 17:03:38 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2023-08-01 17:05:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-01 17:07:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-01 17:08:39 +0200 | <EvanR> | ncf, the nick indicates automated haskell irc user |
| 2023-08-01 17:10:23 +0200 | ryantrinkle | (~ryantrink@140.174.243.250) |
| 2023-08-01 17:12:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-01 17:18:50 +0200 | ripspin | (~chatzilla@1.145.248.109) |
| 2023-08-01 17:23:11 +0200 | mikoto-chan | (~mikoto-ch@2001:999:508:df7f:a17c:18d4:e27c:918b) |
| 2023-08-01 17:25:22 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 17:25:29 +0200 | danse-nr3_ | (~francesco@151.37.231.242) (Ping timeout: 260 seconds) |
| 2023-08-01 17:27:53 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-01 17:30:30 +0200 | Pixi` | Pixi |
| 2023-08-01 17:37:21 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 244 seconds) |
| 2023-08-01 17:40:01 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-01 17:44:33 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 246 seconds) |
| 2023-08-01 17:44:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-01 17:46:04 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-01 17:48:33 +0200 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) |
| 2023-08-01 17:50:33 +0200 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) (Client Quit) |
| 2023-08-01 17:51:15 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-01 17:53:46 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 245 seconds) |
| 2023-08-01 17:55:44 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-08-01 17:55:47 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 264 seconds) |
| 2023-08-01 17:57:17 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-08-01 18:00:02 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2023-08-01 18:01:46 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-08-01 18:03:10 +0200 | <geekosaur> | reminder, we are considering linking #haskell to a dedicated Matrix room (#haskell-irc:matrix.org). discussion/comments should be in #haskell-ops so it doesn't get lost |
| 2023-08-01 18:05:34 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-08-01 18:06:28 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 18:07:12 +0200 | <ncf> | aren't we already linked to a matrix room? |
| 2023-08-01 18:07:35 +0200 | ddellacosta | (~ddellacos@146.70.165.100) |
| 2023-08-01 18:07:59 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 18:09:16 +0200 | <geekosaur> | no |
| 2023-08-01 18:09:35 +0200 | <geekosaur> | back in the freenode days we were but it was never reestablished |
| 2023-08-01 18:09:44 +0200 | <geekosaur> | and nobody particularly wants it to be |
| 2023-08-01 18:10:03 +0200 | <geekosaur> | we are portaled but portaling will end 12 August |
| 2023-08-01 18:11:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 18:11:19 +0200 | mikoto-chan | (~mikoto-ch@2001:999:508:df7f:a17c:18d4:e27c:918b) (Quit: WeeChat 3.8) |
| 2023-08-01 18:14:08 +0200 | <ncf> | what's the difference between portalling and linking? |
| 2023-08-01 18:15:16 +0200 | <geekosaur> | with portaling matrix creates a virtual room that mirrors the irc channel. linking is direct between existing matrix rooms and irc or other services |
| 2023-08-01 18:15:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-01 18:15:38 +0200 | razetime | (~quassel@117.254.36.116) |
| 2023-08-01 18:15:51 +0200 | <geekosaur> | (officially they call the latter "plumbed") |
| 2023-08-01 18:16:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-01 18:16:19 +0200 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) |
| 2023-08-01 18:19:37 +0200 | <geekosaur> | https://matrix.org/blog/2023/07/make-sure-libera-bridge-keeps-working/ has a pretty good overview. the shutdown date was extended 2 weeks due to bugs found in the matrix bridge while they were preparing for the transition |
| 2023-08-01 18:20:37 +0200 | ripspin | (~chatzilla@1.145.248.109) (Remote host closed the connection) |
| 2023-08-01 18:20:43 +0200 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 3.8) |
| 2023-08-01 18:20:56 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-01 18:22:11 +0200 | <ncf> | if we could find bridging software that does not turn matrix users into oblivious spammers that would be nice |
| 2023-08-01 18:22:55 +0200 | <haskGPT> | what about this haskell chatGPT? |
| 2023-08-01 18:23:02 +0200 | <ncf> | ideally i think matrix should limit what users can do in IRC-first rooms, but maybe that's wishful thinking |
| 2023-08-01 18:23:42 +0200 | <geekosaur> | the problem is that requires the bridge to support per-room settings for things like this, whereas the only way to implement that is plumbing |
| 2023-08-01 18:24:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 18:24:37 +0200 | mei | (~mei@user/mei) |
| 2023-08-01 18:24:46 +0200 | <haskGPT> | pure, obviously, though even ports seem missing |
| 2023-08-01 18:25:20 +0200 | <haskGPT> | anyone in? as in, im probably not going to be able to do it alone |
| 2023-08-01 18:25:31 +0200 | <haskGPT> | i have the core ML stuff |
| 2023-08-01 18:25:38 +0200 | <haskGPT> | i think i have an AGI |
| 2023-08-01 18:26:22 +0200 | <haskGPT> | but there is some kind of voodoo with getting large language models to do things like, reason about their own processing or something like that |
| 2023-08-01 18:26:38 +0200 | <haskGPT> | like, there is some unclear linking together of how the prompts are analysed |
| 2023-08-01 18:26:49 +0200 | <haskGPT> | i think its bespoke. |
| 2023-08-01 18:27:04 +0200 | <haskGPT> | which is where a community effort would be useful |
| 2023-08-01 18:27:40 +0200 | <haskGPT> | and, also, just to have this discussion, since it seems inevitable |
| 2023-08-01 18:28:30 +0200 | <haskGPT> | as, in, does anyone have an idea why you couldnt just use immitation learning? |
| 2023-08-01 18:28:48 +0200 | <haskGPT> | that doesnt seem to have any obscure wiring. if you see what i mean... |
| 2023-08-01 18:28:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-01 18:29:13 +0200 | <haskGPT> | like, if transfer learning *could* work, then how *could* it be weirdly constructed in how it analyses prompts |
| 2023-08-01 18:29:59 +0200 | <ncf> | just spent an ungodly amount of time tracking down where the TraversableWithIndex Int Vector instance was defined |
| 2023-08-01 18:30:24 +0200 | <haskGPT> | i guess its the "tokenisation" stage, which could just be like, the only thing thats "weird" about language models as they are discrete, while the nets are continuous. so maybe its just a quantization thing. |
| 2023-08-01 18:31:17 +0200 | <haskGPT> | but they give the impression there are all kinds of intricacies, is this just to deter competition perhaps? |
| 2023-08-01 18:31:40 +0200 | <haskGPT> | its just, a bit burdensome contending with trying to copy a black box |
| 2023-08-01 18:31:42 +0200 | <geekosaur> | haskGPT, if you want to discuss language model-based AI, there is #haskell-offtopic |
| 2023-08-01 18:31:55 +0200 | <geekosaur> | this channel is for Haskell questions and discussion |
| 2023-08-01 18:31:58 +0200 | <haskGPT> | you understand what im asking though? |
| 2023-08-01 18:32:35 +0200 | <haskGPT> | its just a preliminary consideration. the point is to get community involvement. |
| 2023-08-01 18:33:37 +0200 | <haskGPT> | i will refrain from discussing the particulars of LLM's, other than to say, that just cos we cant see whats in the chatGPT black box, doesnt mean we cant copy it. seems like it might be uncomplicated. |
| 2023-08-01 18:33:49 +0200 | <geekosaur> | then you want discourse.haskell.org |
| 2023-08-01 18:33:59 +0200 | <haskGPT> | awesome! thanks |
| 2023-08-01 18:34:31 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-01 18:34:50 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 18:36:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-01 18:37:28 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-08-01 18:38:53 +0200 | <haskGPT> | seems dead |
| 2023-08-01 18:40:06 +0200 | <[exa]> | I assume the haskell GPT-constructing community is elsewhere. |
| 2023-08-01 18:40:23 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-08-01 18:40:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-01 18:40:31 +0200 | <haskGPT> | yeah, stuck in some kind of box |
| 2023-08-01 18:41:00 +0200 | <haskGPT> | well, im happy my AGI works. |
| 2023-08-01 18:41:11 +0200 | <haskGPT> | could have been fun |
| 2023-08-01 18:41:41 +0200 | haskGPT | (~haskGPT@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 2023-08-01 18:43:54 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-01 18:44:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 18:47:33 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-01 18:47:55 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-01 18:48:23 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-08-01 18:49:07 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-08-01 18:52:36 +0200 | <shapr> | good morning? |
| 2023-08-01 18:58:46 +0200 | <[exa]> | o/ |
| 2023-08-01 18:58:57 +0200 | <geekosaur> | ohai |
| 2023-08-01 18:59:51 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 19:01:13 +0200 | <shapr> | Yay, there are DOZENS of us awake! |
| 2023-08-01 19:04:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-01 19:04:32 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-01 19:05:11 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-08-01 19:09:45 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-01 19:11:41 +0200 | <Hecate> | woop woop |
| 2023-08-01 19:12:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-01 19:17:49 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 19:19:44 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-01 19:20:24 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) |
| 2023-08-01 19:20:45 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-01 19:22:47 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-01 19:27:45 +0200 | <juri_> | indeed. |
| 2023-08-01 19:27:50 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-01 19:30:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-01 19:31:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 19:34:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 19:35:22 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-08-01 19:35:54 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-01 19:36:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 19:38:56 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-01 19:42:54 +0200 | razetime | (~quassel@117.254.36.116) (Ping timeout: 244 seconds) |
| 2023-08-01 19:44:53 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 246 seconds) |
| 2023-08-01 19:47:04 +0200 | Square | (~Square@user/square) |
| 2023-08-01 19:54:30 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-01 19:55:10 +0200 | danse-nr3_ | (~francesco@151.35.231.103) |
| 2023-08-01 20:01:53 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-01 20:06:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:08:30 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-01 20:10:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-01 20:10:41 +0200 | gugu256 | (~gugu256@150.86.95.79.rev.sfr.net) |
| 2023-08-01 20:11:54 +0200 | gugu256 | (~gugu256@150.86.95.79.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-01 20:12:19 +0200 | gugu256 | (~gugu256@150.86.95.79.rev.sfr.net) |
| 2023-08-01 20:13:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 20:13:13 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-08-01 20:17:00 +0200 | gugu256 | (~gugu256@150.86.95.79.rev.sfr.net) (Ping timeout: 244 seconds) |
| 2023-08-01 20:17:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-01 20:19:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:25:19 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 20:26:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-01 20:27:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:28:34 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-08-01 20:29:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-01 20:29:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 20:32:23 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-01 20:32:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-01 20:34:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:38:06 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-01 20:39:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-01 20:44:05 +0200 | ft | (~ft@p3e9bceb5.dip0.t-ipconnect.de) |
| 2023-08-01 20:45:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:45:30 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-01 20:46:22 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-01 20:46:47 +0200 | aeroplane | (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-08-01 20:50:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-01 20:52:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-01 20:55:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 20:59:32 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-01 21:00:31 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 258 seconds) |
| 2023-08-01 21:00:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-01 21:01:16 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:9c35:be72:8883:bd30) |
| 2023-08-01 21:01:22 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-08-01 21:04:18 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-01 21:06:27 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-01 21:12:12 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:9c35:be72:8883:bd30) (Ping timeout: 240 seconds) |
| 2023-08-01 21:12:21 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-01 21:16:11 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-08-01 21:16:31 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Read error: Connection reset by peer) |
| 2023-08-01 21:19:07 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-08-01 21:19:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-01 21:19:17 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-01 21:19:31 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-01 21:19:37 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-01 21:19:50 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-01 21:22:29 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-01 21:23:33 +0200 | connrs | (~connrs@user/connrs) |
| 2023-08-01 21:25:13 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 21:25:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 21:26:28 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-01 21:26:44 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-08-01 21:26:59 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) |
| 2023-08-01 21:29:48 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-01 21:29:54 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-08-01 21:30:01 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-01 21:30:45 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-01 21:31:41 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) (Ping timeout: 260 seconds) |
| 2023-08-01 21:32:12 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-01 21:32:19 +0200 | mei | (~mei@user/mei) |
| 2023-08-01 21:33:47 +0200 | connrs | (~connrs@user/connrs) |
| 2023-08-01 21:37:09 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-01 21:37:47 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-01 21:39:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-01 21:41:07 +0200 | ursa-major | (~ursa-majo@static-198-44-128-216.cust.tzulo.com) |
| 2023-08-01 21:44:40 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-01 21:44:47 +0200 | shapr | (~user@2600:1700:c640:3100:ff45:39e0:1bd0:b528) (Ping timeout: 246 seconds) |
| 2023-08-01 21:47:00 +0200 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) (Quit: Leaving) |
| 2023-08-01 21:47:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-01 21:49:20 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-01 21:52:14 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 2023-08-01 21:53:05 +0200 | danza | (~francesco@151.35.231.103) |
| 2023-08-01 21:54:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 21:54:35 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-01 21:55:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-01 22:00:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-01 22:09:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-01 22:11:12 +0200 | danse-nr3_ | (~francesco@151.35.231.103) (Ping timeout: 252 seconds) |
| 2023-08-01 22:14:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 22:16:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-01 22:17:14 +0200 | trev | (~trev@user/trev) |
| 2023-08-01 22:17:36 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-01 22:18:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-01 22:20:17 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-08-01 22:27:55 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-01 22:28:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-01 22:31:15 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-01 22:31:38 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-08-01 22:33:47 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-01 22:34:17 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-01 22:37:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-01 22:38:40 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-01 22:38:41 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-01 22:39:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 22:46:47 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-08-01 22:47:42 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-01 22:48:11 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-08-01 22:48:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-01 22:56:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-01 23:00:30 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) |
| 2023-08-01 23:00:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 260 seconds) |
| 2023-08-01 23:03:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-01 23:03:12 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-01 23:05:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 23:12:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-01 23:19:41 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-01 23:20:03 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-01 23:21:27 +0200 | CiaoSen | (~Jura@2a05:5800:2c7:3d00:664b:f0ff:fe37:9ef) |
| 2023-08-01 23:24:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-01 23:26:19 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Remote host closed the connection) |
| 2023-08-01 23:28:16 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-01 23:28:39 +0200 | ursa-major | (~ursa-majo@static-198-44-128-216.cust.tzulo.com) (Quit: WeeChat 4.0.2) |
| 2023-08-01 23:29:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-01 23:31:44 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-08-01 23:35:05 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-08-01 23:37:00 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-01 23:39:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-01 23:40:09 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-01 23:48:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-01 23:49:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-08-01 23:49:52 +0200 | CiaoSen | (~Jura@2a05:5800:2c7:3d00:664b:f0ff:fe37:9ef) (Ping timeout: 244 seconds) |
| 2023-08-01 23:53:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-01 23:53:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-01 23:53:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-01 23:55:06 +0200 | danza_ | (~francesco@151.43.248.88) |
| 2023-08-01 23:56:06 +0200 | byte | (~byte@user/byte) |
| 2023-08-01 23:57:27 +0200 | danza | (~francesco@151.35.231.103) (Ping timeout: 245 seconds) |
| 2023-08-01 23:59:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |