| 2023-05-07 00:00:29 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 00:02:09 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2023-05-07 00:03:32 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-07 00:11:12 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:291e:f61:c6a9:de3c) (Quit: caryhartline) |
| 2023-05-07 00:18:19 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-05-07 00:25:07 +0200 | acidjnk | (~acidjnk@p200300d6e7072f12d44e5e29785fa403.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-07 00:34:01 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-07 00:34:58 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:8cd2:a7b3:fbf5:5ab2) |
| 2023-05-07 00:39:51 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:b7a5:1ae4:b19:9837) (Ping timeout: 256 seconds) |
| 2023-05-07 00:40:43 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-07 00:43:08 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:8cd2:a7b3:fbf5:5ab2) (Quit: WeeChat 3.6) |
| 2023-05-07 00:45:42 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-07 00:49:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-05-07 00:50:48 +0200 | Achylles | (~Achylles_@45.182.57.89) |
| 2023-05-07 00:53:48 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:85d7:7b31:e103:e2d3) |
| 2023-05-07 00:55:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-07 00:57:27 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 00:59:22 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) |
| 2023-05-07 01:01:57 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 01:03:00 +0200 | vicfred_ | (~vicfred@user/vicfred) |
| 2023-05-07 01:03:35 +0200 | vicfred | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
| 2023-05-07 01:07:07 +0200 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | abrar | (~abrar@pool-98-115-98-253.phlapa.fios.verizon.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | euandreh | (~Thunderbi@189.6.18.7) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | tired | (~tired@user/tired) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | ystael | (~ystael@user/ystael) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | marienz | (~marienz@libera/staff/marienz) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | Teacup_ | (~teacup@user/teacup) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | oljenkins | (~philipp@p5dec4bb3.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | dumptruckman | (~dumptruck@143-42-239-71.ip.linodeusercontent.com) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | [Ristovski] | (~Ristovski@hellomouse/perf/ristovski) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | witcher | (~witcher@wiredspace.de) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | Helle | (~helle@user/Helle) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | Nosrep | (~Nosrep@user/nosrep) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | esph | (~weechat@user/esph) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | laman2 | (~laman@rego.ai) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | Guest621 | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | ghostbuster | (~admin@user/ghostbuster) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | hexeme | (~hexeme@user/hexeme) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | apache | (apache2@anubis.0x90.dk) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | xelxebar | (~xelxebar@wilsonb.com) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | justache | (~justache@user/justache) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | _________ | (~nobody@user/noodly) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2023-05-07 01:07:07 +0200 | darkling | (~darkling@savella.carfax.org.uk) (*.net *.split) |
| 2023-05-07 01:07:18 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2023-05-07 01:07:19 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-05-07 01:07:19 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2023-05-07 01:07:20 +0200 | Helle | (~helle@user/Helle) |
| 2023-05-07 01:07:22 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2023-05-07 01:07:23 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-05-07 01:07:24 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2023-05-07 01:07:24 +0200 | root | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-05-07 01:07:24 +0200 | Teacup | (~teacup@user/teacup) |
| 2023-05-07 01:07:24 +0200 | apache2 | (apache2@anubis.0x90.dk) |
| 2023-05-07 01:07:25 +0200 | Unode | (~Unode@fg-ext-220.embl.de) |
| 2023-05-07 01:07:26 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
| 2023-05-07 01:07:29 +0200 | dcoutts_ | (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 2023-05-07 01:07:33 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2023-05-07 01:07:37 +0200 | tureba | (~tureba@tureba.org) |
| 2023-05-07 01:07:38 +0200 | witcher | (~witcher@wiredspace.de) |
| 2023-05-07 01:07:40 +0200 | esph | (~weechat@104.207.141.174) |
| 2023-05-07 01:07:44 +0200 | abrar | (~abrar@pool-98-115-98-253.phlapa.fios.verizon.net) |
| 2023-05-07 01:07:48 +0200 | dumptruckman | (~dumptruck@143-42-239-71.ip.linodeusercontent.com) |
| 2023-05-07 01:07:49 +0200 | laman2 | (~laman@rego.ai) |
| 2023-05-07 01:07:58 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2023-05-07 01:08:00 +0200 | tomboy64 | (~tomboy64@37.120.27.183) |
| 2023-05-07 01:08:01 +0200 | root | Guest7361 |
| 2023-05-07 01:08:13 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
| 2023-05-07 01:08:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-05-07 01:08:28 +0200 | tomboy64 | (~tomboy64@37.120.27.183) (Changing host) |
| 2023-05-07 01:08:28 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-05-07 01:08:47 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-07 01:08:51 +0200 | urdh | (~urdh@user/urdh) |
| 2023-05-07 01:08:53 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-07 01:08:57 +0200 | stefan-_ | (~cri@42dots.de) |
| 2023-05-07 01:09:00 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-07 01:09:03 +0200 | justache | (~justache@user/justache) |
| 2023-05-07 01:09:03 +0200 | justache | (~justache@user/justache) (Max SendQ exceeded) |
| 2023-05-07 01:09:04 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2023-05-07 01:09:06 +0200 | tired | (~tired@user/tired) |
| 2023-05-07 01:09:09 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2023-05-07 01:09:10 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2023-05-07 01:09:12 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2023-05-07 01:09:18 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2023-05-07 01:09:23 +0200 | ghostbuster | (~admin@user/ghostbuster) |
| 2023-05-07 01:09:24 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-05-07 01:09:26 +0200 | hexeme | (~hexeme@user/hexeme) |
| 2023-05-07 01:09:43 +0200 | [Ristovski] | (~Ristovski@hellomouse/perf/ristovski) |
| 2023-05-07 01:11:24 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-05-07 01:12:20 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-05-07 01:12:22 +0200 | oljenkins | (~philipp@p5dec4bb3.dip0.t-ipconnect.de) |
| 2023-05-07 01:12:23 +0200 | ystael | (~ystael@user/ystael) |
| 2023-05-07 01:12:31 +0200 | _________ | (~nobody@user/noodly) |
| 2023-05-07 01:13:33 +0200 | justache | (~justache@user/justache) |
| 2023-05-07 01:14:22 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2023-05-07 01:16:48 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:54ce:671d:b0ab:9bcb) (Ping timeout: 240 seconds) |
| 2023-05-07 01:17:30 +0200 | Achylles_ | (~Achylles_@45.182.57.89) |
| 2023-05-07 01:17:49 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (Ping timeout: 256 seconds) |
| 2023-05-07 01:18:44 +0200 | Achylles | (~Achylles_@45.182.57.89) (Remote host closed the connection) |
| 2023-05-07 01:18:44 +0200 | Achylles_ | (~Achylles_@45.182.57.89) (Remote host closed the connection) |
| 2023-05-07 01:19:06 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2023-05-07 01:19:10 +0200 | Achylles | (~Achylles_@45.182.57.89) |
| 2023-05-07 01:20:42 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-05-07 01:25:13 +0200 | vicfred_ | (~vicfred@user/vicfred) (Quit: leaving) |
| 2023-05-07 01:27:43 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 01:29:29 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-07 01:30:08 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-032.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-07 01:30:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 268 seconds) |
| 2023-05-07 01:31:36 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-07 01:33:41 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 256 seconds) |
| 2023-05-07 01:33:41 +0200 | mauke_ | mauke |
| 2023-05-07 01:40:57 +0200 | Achylles | (~Achylles_@45.182.57.89) (Remote host closed the connection) |
| 2023-05-07 01:41:42 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-05-07 01:46:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 01:50:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-07 01:50:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-07 01:50:09 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-07 01:54:56 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-07 01:57:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 02:01:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-05-07 02:02:44 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 02:02:59 +0200 | califax | (~califax@user/califx) |
| 2023-05-07 02:06:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-07 02:07:55 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-05-07 02:08:48 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-07 02:09:50 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-05-07 02:09:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-05-07 02:16:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-07 02:17:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-05-07 02:18:02 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-07 02:18:35 +0200 | Me-me | (~me-me@user/me-me) (Excess Flood) |
| 2023-05-07 02:20:47 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-05-07 02:23:07 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-05-07 02:29:59 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 02:35:40 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 02:35:45 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-07 02:40:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-05-07 02:40:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 02:44:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 02:49:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-05-07 02:55:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-05-07 02:56:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 02:58:04 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-07 03:03:05 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-07 03:04:19 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-05-07 03:06:03 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-07 03:07:56 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 03:11:07 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 03:12:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 03:12:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-07 03:13:17 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 03:18:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-07 03:23:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-05-07 03:23:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-05-07 03:24:36 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 03:26:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 03:27:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 03:29:15 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-05-07 03:31:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 03:33:30 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 03:34:07 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-07 03:34:15 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-05-07 03:36:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-05-07 03:37:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 03:38:42 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-05-07 03:42:23 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 03:48:25 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 03:54:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 04:00:42 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 04:01:23 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 04:01:45 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 04:05:37 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-07 04:05:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-07 04:05:37 +0200 | finn_elija | FinnElija |
| 2023-05-07 04:05:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-07 04:05:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 04:06:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 04:07:15 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
| 2023-05-07 04:12:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-05-07 04:17:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-07 04:17:14 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 04:17:51 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 04:20:24 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 04:21:38 +0200 | boukenshaou | (~Boukensha@2409:4072:210:b92a:ea9a:382a:f64c:7bb7) |
| 2023-05-07 04:22:21 +0200 | dibblego | (~dibblego@122.199.1.30) |
| 2023-05-07 04:22:21 +0200 | dibblego | (~dibblego@122.199.1.30) (Changing host) |
| 2023-05-07 04:22:21 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-05-07 04:22:24 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-05-07 04:24:08 +0200 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-07 04:24:23 +0200 | boukenshaou | (~Boukensha@2409:4072:210:b92a:ea9a:382a:f64c:7bb7) (Quit: Leaving) |
| 2023-05-07 04:24:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-07 04:25:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-07 04:25:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-07 04:26:07 +0200 | td_ | (~td@i53870927.versanet.de) |
| 2023-05-07 04:27:16 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 04:32:38 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 04:33:44 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 04:37:53 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-05-07 04:54:55 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 04:58:09 +0200 | jargon | (~jargon@184.101.78.160) |
| 2023-05-07 05:00:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 05:01:26 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 05:02:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 05:05:45 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-07 05:06:11 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 05:07:28 +0200 | bilegeek | (~bilegeek@2600:1008:b057:eccb:26b9:2436:d15:4328) |
| 2023-05-07 05:09:17 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 05:17:34 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 2023-05-07 05:18:39 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-07 05:20:12 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 05:21:49 +0200 | pandeyan | (~pandeyan@135-180-53-134.fiber.dynamic.sonic.net) |
| 2023-05-07 05:21:50 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 265 seconds) |
| 2023-05-07 05:24:26 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 05:24:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-05-07 05:25:23 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 05:26:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-05-07 05:30:00 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-05-07 05:35:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 05:42:36 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 05:46:59 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 05:47:40 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 05:48:59 +0200 | Sciencentistguy5 | (~sciencent@hacksoc/ordinary-member) |
| 2023-05-07 05:50:28 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 2023-05-07 05:50:28 +0200 | Sciencentistguy5 | Sciencentistguy |
| 2023-05-07 05:51:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 05:51:45 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 2023-05-07 05:54:21 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2023-05-07 05:58:24 +0200 | rf | (~rf@2605:59c8:179c:f610:1676:703c:33fe:6d20) (Ping timeout: 248 seconds) |
| 2023-05-07 05:59:31 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2023-05-07 06:03:13 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-05-07 06:04:27 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-05-07 06:06:29 +0200 | Sciencentistguy9 | (~sciencent@hacksoc/ordinary-member) |
| 2023-05-07 06:06:32 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 06:08:31 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 256 seconds) |
| 2023-05-07 06:08:31 +0200 | Sciencentistguy9 | Sciencentistguy |
| 2023-05-07 06:11:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-05-07 06:11:25 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-05-07 06:13:15 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-05-07 06:13:21 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-05-07 06:13:21 +0200 | jinsun | Guest886 |
| 2023-05-07 06:13:21 +0200 | jinsun__ | jinsun |
| 2023-05-07 06:13:44 +0200 | Guest886 | (~jinsun@user/jinsun) (Client Quit) |
| 2023-05-07 06:14:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 06:16:14 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 06:20:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-05-07 06:23:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-07 06:32:57 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 06:37:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-07 06:38:31 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 06:41:24 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 06:42:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 06:43:05 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:a534:edba:b0c:5e05) |
| 2023-05-07 06:43:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-07 06:44:27 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:a534:edba:b0c:5e05) (Client Quit) |
| 2023-05-07 06:45:01 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:a534:edba:b0c:5e05) |
| 2023-05-07 06:49:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 06:52:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 07:01:00 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 07:02:38 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 07:07:17 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 07:09:32 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 07:13:37 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 07:14:15 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 07:15:23 +0200 | ChanServ | +o litharge |
| 2023-05-07 07:15:24 +0200 | litharge | -bo *!~*@190.123.41.* litharge |
| 2023-05-07 07:15:48 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-07 07:15:54 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 07:18:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 07:20:05 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-07 07:25:08 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 07:25:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-07 07:27:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-05-07 07:31:38 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 07:33:21 +0200 | bilegeek | (~bilegeek@2600:1008:b057:eccb:26b9:2436:d15:4328) (Quit: Leaving) |
| 2023-05-07 07:35:45 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-07 07:36:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 07:36:55 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-07 07:37:14 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 07:37:28 +0200 | nick4 | (~nick@2600:8807:9103:b700:c91d:758a:9123:f8a2) (Ping timeout: 240 seconds) |
| 2023-05-07 07:37:35 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-07 07:39:28 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-07 07:39:31 +0200 | cheater_ | cheater |
| 2023-05-07 07:42:01 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 07:45:09 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 07:47:13 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 07:48:16 +0200 | trev | (~trev@user/trev) |
| 2023-05-07 07:50:23 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-05-07 07:51:39 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-07 08:07:51 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 08:11:08 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 08:19:10 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-05-07 08:19:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 08:20:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 08:21:13 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-07 08:21:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-07 08:22:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-05-07 08:24:06 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 08:24:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:be17:f3db:c231:f74d) (Ping timeout: 250 seconds) |
| 2023-05-07 08:24:33 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-05-07 08:24:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 08:28:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 08:29:44 +0200 | phma | (~phma@2001:5b0:215d:bbf8:7c3f:71b9:5fe3:c5d9) (Read error: Connection reset by peer) |
| 2023-05-07 08:29:59 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 08:30:09 +0200 | phma | (phma@2001:5b0:215d:bbf8:7c3f:71b9:5fe3:c5d9) |
| 2023-05-07 08:32:39 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 08:32:48 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-05-07 08:32:52 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-05-07 08:34:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-07 08:34:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-05-07 08:34:30 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-05-07 08:35:32 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 08:36:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 08:39:34 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:10be:cd2c:3e2a:8e0a) |
| 2023-05-07 08:39:45 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-07 08:44:58 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 08:45:08 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 08:47:25 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 08:49:27 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-07 08:49:49 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 08:50:50 +0200 | vandita | (~vandit@94-21-157-138.pool.digikabel.hu) |
| 2023-05-07 08:51:43 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 08:51:45 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-05-07 08:53:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c783:256e:4abc:e268) |
| 2023-05-07 08:54:04 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-05-07 08:55:58 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 08:56:18 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-07 08:57:43 +0200 | trev | (~trev@user/trev) |
| 2023-05-07 08:58:49 +0200 | acidjnk | (~acidjnk@p200300d6e7072f010596f5290f201349.dip0.t-ipconnect.de) |
| 2023-05-07 08:59:47 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-07 09:00:47 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-07 09:02:03 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2023-05-07 09:02:03 +0200 | maerwald | (~maerwald@user/maerwald) |
| 2023-05-07 09:13:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-07 09:13:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 09:14:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 09:16:34 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-05-07 09:17:47 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 09:17:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-05-07 09:18:34 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-05-07 09:25:53 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) |
| 2023-05-07 09:28:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 09:32:50 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:a534:edba:b0c:5e05) (Quit: caryhartline) |
| 2023-05-07 09:33:10 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 09:34:21 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 2023-05-07 09:39:03 +0200 | alphabeta | (~kilolympu@213.144.144.24) (Read error: Connection reset by peer) |
| 2023-05-07 09:46:55 +0200 | <Inst_> | curious, do you guys know if there's a way for Java code to call Haskell code? |
| 2023-05-07 09:48:16 +0200 | <geekosaur> | I don't know if anyone has packaged it, but Java has JNI and should be able to call `hs_init` and friends |
| 2023-05-07 09:48:51 +0200 | <geekosaur> | passing and returning values is harder, in particular you would only be able to use the lowercase types corresponding to C types |
| 2023-05-07 09:49:15 +0200 | <geekosaur> | (that is, unboxed `int` as opposed to boxed `Int`) |
| 2023-05-07 09:54:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 09:54:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c783:256e:4abc:e268) (Quit: xff0x) |
| 2023-05-07 09:56:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:897:9fd4:f98b:1e2e) |
| 2023-05-07 09:57:18 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-07 09:58:19 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-07 09:58:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 10:02:37 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 10:04:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:897:9fd4:f98b:1e2e) (Quit: xff0x) |
| 2023-05-07 10:07:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-07 10:07:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Remote host closed the connection) |
| 2023-05-07 10:09:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d11:b042:5971:fed0) |
| 2023-05-07 10:12:51 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) |
| 2023-05-07 10:15:14 +0200 | jtza8 | (~user@165.255.89.37) |
| 2023-05-07 10:20:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-032.46.114.pool.telefonica.de) |
| 2023-05-07 10:23:07 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 10:23:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d11:b042:5971:fed0) (Quit: xff0x) |
| 2023-05-07 10:24:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-07 10:25:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-07 10:27:13 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-07 10:27:44 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-05-07 10:27:45 +0200 | <jtza8> | I get the basics of Haskell, and now I'm wondering what the sanest way would be to work with record field functions and databases. So far it seems to make the most sense to define a type in a separate module, and importing it in a qualified fashion so that it's field names don't clutter the function namespace. In theory, you could even shadow functions such as "id" without affecting anything in a practical sense. |
| 2023-05-07 10:28:39 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 10:28:54 +0200 | <jtza8> | I know I'm asking for trouble, is this the right way to go about this kind of thing? |
| 2023-05-07 10:28:55 +0200 | <geekosaur> | there are people who do that. there are also later arrangements such as the `Has` typeclass that allow you to shadow fields arbitrarily |
| 2023-05-07 10:29:13 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 10:29:34 +0200 | <geekosaur> | personally, I want to see Haskell adopt row types, but I keep seeing bandaids applied instead 😞 |
| 2023-05-07 10:31:29 +0200 | <geekosaur> | (you also need `{-# LANGUAGE NoFieldSelectors #-}`) |
| 2023-05-07 10:32:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 10:32:47 +0200 | <jtza8> | The options available do feel kinda awkward. Thanks geekosaur, I think I get how that works. |
| 2023-05-07 10:35:41 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 10:41:08 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-07 10:41:15 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-07 10:47:03 +0200 | aku_ | aku |
| 2023-05-07 10:52:10 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 10:54:37 +0200 | jtza8 | (~user@165.255.89.37) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-05-07 10:56:53 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 10:57:17 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-07 10:58:28 +0200 | jtza8 | (~user@165.255.89.37) |
| 2023-05-07 11:01:01 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) |
| 2023-05-07 11:03:03 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 11:07:17 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 11:08:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-07 11:08:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 11:13:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Ping timeout: 260 seconds) |
| 2023-05-07 11:16:35 +0200 | <jackdk> | Inst_: tweag had some java stuff on their blog, iirc |
| 2023-05-07 11:16:58 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 11:21:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 11:21:41 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-07 11:23:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 11:28:04 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 11:39:12 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-07 11:41:12 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-07 11:43:22 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-05-07 11:45:17 +0200 | lav | (~pi@wikipedia/maddy-from-celeste) |
| 2023-05-07 11:46:00 +0200 | <Inst_> | basically, i'm trying to think of a hacky way to transpile Haskell so it works on the JVM, let the transpiler handle laziness concerns |
| 2023-05-07 11:46:41 +0200 | <Inst_> | the idea is that if you're limited to a single framework, the concerns of the framework would be relatively easy to hand translate to JVM |
| 2023-05-07 11:47:02 +0200 | <Inst_> | but the framework would support Haskell code, and then the question becomes, how do you get the Haskell code to run on Android? |
| 2023-05-07 11:49:26 +0200 | <lav> | meowhi |
| 2023-05-07 11:49:40 +0200 | <Inst_> | hi |
| 2023-05-07 11:49:46 +0200 | Inst_ | pets lav |
| 2023-05-07 11:49:51 +0200 | lav | purrs |
| 2023-05-07 11:49:57 +0200 | <sm> | use one of the haskell-on-jvms, like https://eta-lang.org ? |
| 2023-05-07 11:50:02 +0200 | <lav> | :3c |
| 2023-05-07 11:54:45 +0200 | <lav> | uhm can anyone say why my shared object files end in `-ghc9.0.2.so` when ghc is looking for a file that just ends in `.so`? ex. /home/lav/.local/share/cabal/store/ghc-9.0.2/filepath-1.4.100.0-87704eaa3f9d9206b847e048fe6512994e03ec2fc35a830003d0f9880de3f821/lib/libHSfilepath-1.4.100.0-87704eaa3f9d9206b847e048fe6512994e03ec2fc35a830003d0f9880de3f821-ghc9.0.2.so |
| 2023-05-07 11:55:27 +0200 | <lav> | ghc is looking for /home/lav/.local/share/cabal/store/ghc-9.0.2/filepath-1.4.100.0-87704eaa3f9d9206b847e048fe6512994e03ec2fc35a830003d0f9880de3f821/lib/libHSfilepath-1.4.100.0-87704eaa3f9d9206b847e048fe6512994e03ec2fc35a830003d0f9880de3f821.so and so can't load the lib |
| 2023-05-07 11:57:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-07 11:57:57 +0200 | <geekosaur> | the first behavior is correct; shared objects are dependent on the ghc version. but packages that ship with ghc itself (this includes filepath) normally omit it because it's implied by being a boot package. that said, that version of filepath doesn't ship with ghc 9.0.2 so ghc should be using the full one |
| 2023-05-07 11:59:30 +0200 | <geekosaur> | this may be a stack bug since it's clearly using the one in stack's package store, not the bootlib |
| 2023-05-07 12:00:21 +0200 | <geekosaur> | unless the bootlib is being used by another dependency, in which case you have a diamond dependency and things just won't work with two versions of the same library linked in |
| 2023-05-07 12:03:04 +0200 | <lav> | sounds just lovely innit |
| 2023-05-07 12:03:37 +0200 | <geekosaur> | yeh |
| 2023-05-07 12:04:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:56ca:947b:9aef:caeb) |
| 2023-05-07 12:06:00 +0200 | <lav> | what's more, `cabal list filepath` shows `filepath` as not installed at all |
| 2023-05-07 12:06:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 12:07:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 12:08:13 +0200 | <geekosaur> | that doesn't surprise me, cabal can't see stack's store and vice versa |
| 2023-05-07 12:08:22 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 12:09:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-07 12:10:04 +0200 | <sm> | why do you say it's using stack's package store, geekosaur ? |
| 2023-05-07 12:10:24 +0200 | <lav> | thing is, i don't think i have stack installed |
| 2023-05-07 12:10:25 +0200 | <geekosaur> | oh, sorry, somehow I misread your paths earlier |
| 2023-05-07 12:10:41 +0200 | <sm> | I think we can let stack off the hook :) |
| 2023-05-07 12:10:55 +0200 | <geekosaur> | I'm not fully used to new cabal using XDG paths yet 🙂 |
| 2023-05-07 12:11:12 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-05-07 12:11:31 +0200 | <geekosaur> | and in any case the information that should be used should be in the package database and not controlled directly by the build tool |
| 2023-05-07 12:12:08 +0200 | <sm> | lav: are you using latest cabal-install ? If not, might be worth a try |
| 2023-05-07 12:12:40 +0200 | <sm> | you could also try blowing away (perhaps temporarily) your cabal package store |
| 2023-05-07 12:12:47 +0200 | <lav> | 3.4.1.0, the latest version available in gentoo |
| 2023-05-07 12:13:00 +0200 | <sm> | ha. |
| 2023-05-07 12:13:15 +0200 | <sm> | install something from the modern age with ghcup |
| 2023-05-07 12:13:38 +0200 | <lav> | ugh |
| 2023-05-07 12:14:13 +0200 | <sm> | or not. It's just one thing you could try |
| 2023-05-07 12:14:47 +0200 | <geekosaur> | wait, how do you have `/home/lav/.local/share/cabal/store` with cabal 3.4? those paths aren't supported until 3.10 |
| 2023-05-07 12:14:51 +0200 | <lav> | yeah, i'd just really like to use my package manager instead of.... curl | sh |
| 2023-05-07 12:14:53 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 12:14:59 +0200 | <sm> | but really, haskell tool ecosystem is hard enough without dealing with old resolved bugs |
| 2023-05-07 12:16:14 +0200 | <lav> | okay i'll use ghcup... |
| 2023-05-07 12:16:21 +0200 | <geekosaur> | …oh wait, that's wrong for 3.10 too, it would be `.local/state/cabal/store |
| 2023-05-07 12:16:23 +0200 | phma | (phma@2001:5b0:215d:bbf8:7c3f:71b9:5fe3:c5d9) (Ping timeout: 246 seconds) |
| 2023-05-07 12:18:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-07 12:19:29 +0200 | <sm> | I'd say ghcup isn't as bad as a random website's curl | sh. Its maintainer is well known and good at his job |
| 2023-05-07 12:19:42 +0200 | <sm> | (don't use ghcup's own curl | sh :) |
| 2023-05-07 12:20:09 +0200 | <lav> | geekosaur: i set that manually with env vars |
| 2023-05-07 12:21:33 +0200 | <lav> | re cabal versions, the thing i read must've assumed i have a newer version of cabal... |
| 2023-05-07 12:23:08 +0200 | <geekosaur> | certainly the version of filepath referenced postdates 3.4 |
| 2023-05-07 12:26:20 +0200 | <sm> | (ghcup tui currently recommends cabal 3.6 for some reason that probably doesn't affect you, I would try the latest) |
| 2023-05-07 12:27:14 +0200 | <sm> | setting env vars for cabal sounds unusual and a bit of a problem unless you know what you're doing |
| 2023-05-07 12:27:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-07 12:27:29 +0200 | mmhat | (~mmh@p200300f1c7066868ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-07 12:27:29 +0200 | <bwe> | can so. kindly point me to a working integration recipe for doctest? I eventually want a watcher to let doctest run on file changes. Running doctest 0.16.2 does not find some modules right now. And `cabal repl --with-ghc=doctest -v3` (recommended by doctest's documentation) complains: doctest: unrecognized option `--numeric-version' |
| 2023-05-07 12:27:42 +0200 | <bwe> | please :) |
| 2023-05-07 12:28:03 +0200 | <sm> | bwe: watchexec -- doctest ... ? |
| 2023-05-07 12:28:29 +0200 | <sm> | another way: stack test --fast --file-watch mydoctestsuite |
| 2023-05-07 12:29:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 12:29:55 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 12:30:26 +0200 | <sm> | here's a doctest-running cabal test suite: https://github.com/simonmichael/hledger/blob/master/hledger-lib/package.yaml#L169 |
| 2023-05-07 12:33:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-07 12:33:16 +0200 | <lav> | annnd apparently the 6 GB i have left on my /home isn't enough for ghcup. lovely. |
| 2023-05-07 12:33:41 +0200 | <sm> | ah now. 6G should be enough |
| 2023-05-07 12:33:48 +0200 | <sm> | or the world has gone mad |
| 2023-05-07 12:34:23 +0200 | <lav> | Error: [GHCup-00080] Failed to merge file tree from /home/lav/.ghcup/tmp/ghcup-1afb0acc0e4c8be8/home/lav/.ghcup/ghc/9.2.7 to /home/lav/.ghcup/ghc/9.2.7 |
| 2023-05-07 12:34:26 +0200 | <lav> | exception was: <file descriptor: 13>: hPutBuf: resource exhausted (No space left on device) |
| 2023-05-07 12:34:27 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2023-05-07 12:34:37 +0200 | <jade[m]1> | Ghcup uses a shitton of storage space |
| 2023-05-07 12:34:44 +0200 | <sm> | how much is .ghcup using ? |
| 2023-05-07 12:34:51 +0200 | <jade[m]1> | it was like 5GB on my machine when I last checked |
| 2023-05-07 12:35:13 +0200 | <jade[m]1> | I can check in a few mins |
| 2023-05-07 12:35:46 +0200 | <bwe> | sm: thanks, I will create a package.yaml first (hpack). |
| 2023-05-07 12:36:00 +0200 | <lav> | for me only 270M right now, but it seems to have emptied .ghcup/tmp |
| 2023-05-07 12:36:07 +0200 | <sm> | in mine there's .. 2G per installed ghc version.. 1.3G per installed hls version |
| 2023-05-07 12:36:38 +0200 | <jade[m]1> | yeah thats a lot + temporary files during installation which it doesn't use /tmp for |
| 2023-05-07 12:37:05 +0200 | <sm> | maerwald^ |
| 2023-05-07 12:37:17 +0200 | tok | (~user@user/tok) |
| 2023-05-07 12:37:31 +0200 | <lav> | welp. i'll have to do some partition wrangling later to make some space i guess |
| 2023-05-07 12:37:52 +0200 | <sm> | how much is your ~/.cabal using |
| 2023-05-07 12:38:11 +0200 | <lav> | 1.1G |
| 2023-05-07 12:38:16 +0200 | <sm> | and ~/.ghc |
| 2023-05-07 12:38:17 +0200 | <jade[m]1> | can you symlink .ghcup/tmp to a directory on another drive? |
| 2023-05-07 12:38:47 +0200 | <lav> | i don't have another drive, unless i make a tmpfs |
| 2023-05-07 12:38:48 +0200 | <sm> | well anyway.. ncdu ~ can help I find |
| 2023-05-07 12:39:01 +0200 | <jade[m]1> | ah |
| 2023-05-07 12:39:12 +0200 | <jade[m]1> | or on another partition ofc |
| 2023-05-07 12:39:22 +0200 | <lav> | yeah |
| 2023-05-07 12:39:28 +0200 | <jade[m]1> | if you have an empty partition you can even mount it directly onto that |
| 2023-05-07 12:40:44 +0200 | sm | still doesn't see how ghcup's first install could use 6G |
| 2023-05-07 12:40:54 +0200 | <jade[m]1> | I remember having a similar problem |
| 2023-05-07 12:40:59 +0200 | <jade[m]1> | not sure why |
| 2023-05-07 12:43:18 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Remote host closed the connection) |
| 2023-05-07 12:43:40 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::fba) |
| 2023-05-07 12:45:09 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 12:45:10 +0200 | jade[m]1 | uploaded an image: (224KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/nQueGPtmMpQBjXbrDBmUrQDQ/image.png > |
| 2023-05-07 12:45:11 +0200 | <jade[m]1> | 6.5GB |
| 2023-05-07 12:45:45 +0200 | <geekosaur> | doesn't it autoinstall recommended versions of everything except HLS for which it installs all known versions? |
| 2023-05-07 12:45:52 +0200 | acidjnk | (~acidjnk@p200300d6e7072f010596f5290f201349.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-07 12:45:54 +0200 | <geekosaur> | and ghc and HLS are huge |
| 2023-05-07 12:46:10 +0200 | <sm> | jade: but that's with 6 versions of hls |
| 2023-05-07 12:46:17 +0200 | <jade[m]1> | fair, yeah |
| 2023-05-07 12:47:45 +0200 | <sm> | or a few versions anyhow, not sure how you count those |
| 2023-05-07 12:48:39 +0200 | <sm> | anyway I bet lav will find some discardable hogs with ncdu |
| 2023-05-07 12:49:28 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-07 12:50:03 +0200 | <lav> | mostly cd rips and contrapoints videos, neither of which i wanna delete >_> i made an 8G tmpfs on .ghcup/tmp which seems to have worked |
| 2023-05-07 12:51:16 +0200 | <sm> | there's cabal binaries at https://www.haskell.org/cabal/download.html |
| 2023-05-07 12:51:33 +0200 | <sm> | aha |
| 2023-05-07 12:51:57 +0200 | <lav> | i think it worked uwu |
| 2023-05-07 12:52:23 +0200 | <lav> | i'll resize my parts later, since i have some extra space elsewhere |
| 2023-05-07 12:56:33 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-07 12:58:20 +0200 | JScript | (~JScript@45.248.79.188) (Ping timeout: 268 seconds) |
| 2023-05-07 12:58:20 +0200 | <sm> | night all |
| 2023-05-07 12:58:31 +0200 | <lav> | nini |
| 2023-05-07 12:58:41 +0200 | <jade[m]1> | night!! |
| 2023-05-07 12:58:42 +0200 | <lav> | and thanks for the help :3 |
| 2023-05-07 13:00:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-05-07 13:01:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-07 13:02:50 +0200 | <bwe> | sm: doctest works now with watchexec, thanks. |
| 2023-05-07 13:04:50 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 13:08:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-05-07 13:09:18 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-05-07 13:15:52 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 13:17:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-07 13:20:32 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-07 13:20:35 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-07 13:21:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-07 13:23:43 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 13:23:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 13:25:25 +0200 | inversed | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 256 seconds) |
| 2023-05-07 13:29:10 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-07 13:31:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-05-07 13:33:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-07 13:48:19 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 13:48:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 13:50:11 +0200 | <lav> | okay, another question: now that i have ghc-9.6.1 via ghcup, my shared object paths look like this: .ghcup/ghc/9.6.1/lib/ghc-9.6.1/lib/x86_64-linux-ghc-9.6.1/libHSfilepath-1.4.100.1-ghc9.6.1.so , which ghc seemingly doesn't know to look for |
| 2023-05-07 13:52:04 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 13:53:13 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-07 13:56:35 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 13:58:47 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 13:59:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 14:00:05 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-07 14:00:44 +0200 | titibandit | (~titibandi@user/titibandit) (Client Quit) |
| 2023-05-07 14:01:03 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-07 14:04:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 14:05:17 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 14:05:42 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 14:06:53 +0200 | jtza8 | (~user@165.255.89.37) (Ping timeout: 240 seconds) |
| 2023-05-07 14:13:53 +0200 | vulfe | (~vulfe@168.91.196.163) |
| 2023-05-07 14:15:18 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 14:15:20 +0200 | vulfe | (~vulfe@168.91.196.163) (Remote host closed the connection) |
| 2023-05-07 14:15:37 +0200 | vulfe | (~vulfe@168.91.196.163) |
| 2023-05-07 14:24:39 +0200 | RedNifre | (~RedNifre@dslb-002-205-008-223.002.205.pools.vodafone-ip.de) |
| 2023-05-07 14:26:02 +0200 | <RedNifre> | Howdy! I have something that is a bit like a functor, but not really, and was wondering, what the kinda map function should be called. It's kinda a pair of a String and a Color and I figured it would be good to have something like map, where you pass a function that "changes" the string. It's not a functor, since you can only map from String to String here. What are the right words for this? |
| 2023-05-07 14:27:12 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 14:27:21 +0200 | <hpc> | what does that pair represent? part of a color palate? |
| 2023-05-07 14:27:40 +0200 | <RedNifre> | It's a text with a color, like for a terminal, or a Minecraft chat. |
| 2023-05-07 14:27:50 +0200 | <RedNifre> | Oh, I just realized that lenses might be the right choice here. |
| 2023-05-07 14:29:45 +0200 | <vulfe> | If you're just applying maps f : String -> String to it, then I don't think there's a name for that (Every type is an algebra for its own endomorphisms) |
| 2023-05-07 14:29:57 +0200 | <ncf> | if you can also get the String out then it's a lens |
| 2023-05-07 14:31:10 +0200 | <ncf> | hpc: you mean palette :) |
| 2023-05-07 14:31:36 +0200 | <RedNifre> | Okay, I'll look into lenses then, thanks! |
| 2023-05-07 14:31:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:56ca:947b:9aef:caeb) (Quit: xff0x) |
| 2023-05-07 14:31:58 +0200 | <vulfe> | (Lenses are so cool) |
| 2023-05-07 14:32:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 14:32:25 +0200 | <hpc> | ncf: speling is hard :P |
| 2023-05-07 14:33:27 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-07 14:36:00 +0200 | <ncf> | vulfe: do you mean "every type is an algebra for the identity functor", or do i not understand you? |
| 2023-05-07 14:37:55 +0200 | <vulfe> | I'm saying that every type carries an action by its own endomorphisms, so (String, Color) carries an action of End(String) just via the inclusion (id, 1) : End(String) -> End((String,Color)) |
| 2023-05-07 14:38:38 +0200 | <vulfe> | it's true that that's technically a form of functoriality (with respect to the one-object subcategory on the type itself) |
| 2023-05-07 14:39:23 +0200 | <ncf> | ah, got you |
| 2023-05-07 14:45:01 +0200 | <ski> | RedNifre : yea, traversals. also "monofunctor" |
| 2023-05-07 14:47:06 +0200 | <RedNifre> | Huh? I'm not sure I follow. Let's say you have ColoredText RED "Hello" and want a ColoredText RED "Hello, World"... the record update syntax is {}, but what would you name it, if you wanted to do nameHere text (++ ", World") ? |
| 2023-05-07 14:49:05 +0200 | <ncf> | overString, or whatever your field's name is |
| 2023-05-07 14:49:17 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-07 14:49:21 +0200 | <RedNifre> | Sounds good! |
| 2023-05-07 14:49:24 +0200 | <ncf> | (mimicking the generic `over` combinator for mapping over Setters/Traversals/Lenses) |
| 2023-05-07 14:49:32 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 14:50:01 +0200 | <ncf> | in the context of monofunctors it would apparently be called omap, but i think that's a bad name |
| 2023-05-07 14:50:07 +0200 | <ski> | RedNifre : <https://hackage.haskell.org/package/mono-traversable-1.0.15.3/docs/Data-MonoTraversable.html#t:Mon…> |
| 2023-05-07 14:51:59 +0200 | chomwitt | (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-07 14:53:17 +0200 | <vulfe> | map! o, map! |
| 2023-05-07 14:53:48 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-07 14:57:41 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 15:01:20 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 15:07:59 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 15:08:06 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 15:12:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-07 15:12:45 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-07 15:15:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-07 15:16:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Ping timeout: 246 seconds) |
| 2023-05-07 15:21:06 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:30fe:270c:649:8cc0) |
| 2023-05-07 15:21:08 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 15:25:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 15:25:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 15:25:49 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-07 15:28:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-05-07 15:30:39 +0200 | acidjnk | (~acidjnk@p200300d6e7072f010596f5290f201349.dip0.t-ipconnect.de) |
| 2023-05-07 15:31:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 15:38:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6d1c:d01c:159d:3310) |
| 2023-05-07 15:42:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 15:44:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-05-07 15:45:18 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:30fe:270c:649:8cc0) (Quit: caryhartline) |
| 2023-05-07 15:48:13 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-05-07 15:48:21 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 15:52:32 +0200 | Achylles | (~Achylles_@45.182.57.30) |
| 2023-05-07 15:52:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-05-07 15:53:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 15:55:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-05-07 15:58:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-07 15:59:31 +0200 | vulfe | (~vulfe@168.91.196.163) (Remote host closed the connection) |
| 2023-05-07 16:04:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 16:07:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-07 16:12:24 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-07 16:13:27 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) |
| 2023-05-07 16:16:37 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 16:26:41 +0200 | JScript | (~JScript@cpe-172-193-150-106.qld.foxtel.net.au) (Read error: Connection reset by peer) |
| 2023-05-07 16:26:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-05-07 16:27:08 +0200 | JScript | (~JScript@144.48.39.39) |
| 2023-05-07 16:29:16 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 16:35:45 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-05-07 16:36:15 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 16:36:20 +0200 | tan00kee | (~paul@pauloliver.dev) |
| 2023-05-07 16:36:25 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::fba) (Quit: Konversation terminated!) |
| 2023-05-07 16:37:57 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 16:38:03 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-05-07 16:41:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-05-07 16:45:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-07 16:49:44 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-05-07 16:54:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.8) |
| 2023-05-07 16:54:56 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-05-07 17:02:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-07 17:04:28 +0200 | oldsk00l | (~znc@ec2-3-127-37-13.eu-central-1.compute.amazonaws.com) |
| 2023-05-07 17:09:03 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-07 17:11:10 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 17:12:11 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 17:15:12 +0200 | acidjnk | (~acidjnk@p200300d6e7072f010596f5290f201349.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-07 17:15:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 17:16:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-07 17:17:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-05-07 17:23:09 +0200 | tan00kee | (~paul@pauloliver.dev) (Quit: WeeChat 3.8) |
| 2023-05-07 17:26:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-07 17:30:13 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-032.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-05-07 17:31:53 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-183-044.46.114.pool.telefonica.de) |
| 2023-05-07 17:33:57 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-07 17:34:28 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 17:35:24 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 17:36:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 17:37:49 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.87) |
| 2023-05-07 17:38:09 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8925:83f:b4e8:a658) |
| 2023-05-07 17:38:40 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-05-07 17:39:48 +0200 | AlexZenon | (~alzenon@178.34.150.15) (Ping timeout: 240 seconds) |
| 2023-05-07 17:39:51 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-07 17:40:08 +0200 | Alex_test | (~al_test@178.34.150.15) (Ping timeout: 240 seconds) |
| 2023-05-07 17:41:49 +0200 | AlexNoo | (~AlexNoo@178.34.150.15) (Ping timeout: 265 seconds) |
| 2023-05-07 17:43:04 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 17:46:35 +0200 | oldsk00l | (~znc@ec2-3-127-37-13.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2023-05-07 17:46:50 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 17:47:13 +0200 | Alex_test | (~al_test@178.34.150.87) |
| 2023-05-07 17:47:42 +0200 | AlexZenon | (~alzenon@178.34.150.87) |
| 2023-05-07 17:48:22 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:683a:770:251e:25d7) (Read error: Connection reset by peer) |
| 2023-05-07 17:48:41 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-07 17:48:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-07 17:50:39 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 17:52:37 +0200 | AlexNoo_ | AlexNoo |
| 2023-05-07 17:52:48 +0200 | Tlsx | (~rscastilh@189-82-108-215.user3p.veloxzone.com.br) |
| 2023-05-07 17:56:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-05-07 17:57:38 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-07 17:57:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-05-07 17:58:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 17:59:28 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2023-05-07 18:00:07 +0200 | tiagsmm[m] | (~tiagsmmma@2001:470:69fc:105::3:4002) (Quit: You have been kicked for being idle) |
| 2023-05-07 18:06:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 18:13:43 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-05-07 18:13:51 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-05-07 18:14:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-07 18:14:40 +0200 | [_] | [itchyjunk] |
| 2023-05-07 18:16:15 +0200 | <sm> | lav: after installing ghcup and ghc 9.6, what else did you do ? something unusual ? |
| 2023-05-07 18:17:08 +0200 | <sm> | or, what command did you run and error did you see |
| 2023-05-07 18:17:49 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-07 18:18:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Ping timeout: 248 seconds) |
| 2023-05-07 18:43:36 +0200 | <lav> | sm: nothing special. i think i was still actually running the old ghc. with the new one, i'm getting a lot of `Could not load module ‘Data.List’ It is a member of the hidden package ‘base-4.18.0.0’.` |
| 2023-05-07 18:45:18 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 18:49:26 +0200 | <sm> | that's not super clear. But it sounds like a case of old artifacts lying around. How can you reproduce it ? Eg does it happen in a brand new project ? |
| 2023-05-07 18:49:59 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-07 18:50:35 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-05-07 18:51:15 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-07 18:52:05 +0200 | rf | (~rf@2605:59c8:179c:f610:714:d89a:5981:51ab) |
| 2023-05-07 18:52:16 +0200 | <sm> | actually ignore my guess, Iet me save time and suggest |
| 2023-05-07 18:52:16 +0200 | <sm> | @where paste |
| 2023-05-07 18:52:16 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-05-07 18:56:11 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-07 18:57:20 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) |
| 2023-05-07 18:57:26 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 18:59:54 +0200 | <lav> | okay i tried making a new program and got this https://dpaste.com/FF85VZF3E |
| 2023-05-07 19:00:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-07 19:01:00 +0200 | <sm> | thanks |
| 2023-05-07 19:01:23 +0200 | <sm> | I'd check the ghc --version you are running |
| 2023-05-07 19:01:26 +0200 | <lav> | here's with -v https://bpa.st/ISLHQ |
| 2023-05-07 19:01:37 +0200 | <lav> | wait what |
| 2023-05-07 19:01:49 +0200 | <lav> | now it's 9.0.2 even tho i made a symlink and put that first in paste |
| 2023-05-07 19:01:50 +0200 | <lav> | huh |
| 2023-05-07 19:01:51 +0200 | <lav> | hold on |
| 2023-05-07 19:02:13 +0200 | <lav> | first in path* |
| 2023-05-07 19:02:39 +0200 | <sm> | hash ghc may be needed |
| 2023-05-07 19:02:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-07 19:03:55 +0200 | <lav> | here's with ghc 9.6 https://bpa.st/L6DAS |
| 2023-05-07 19:05:46 +0200 | crns | (~netcrns@user/crns) (Quit: gone) |
| 2023-05-07 19:06:10 +0200 | <monochrom> | Oh, right, recent cabal produces a pretty restrictive environments/default file which doesn't even include base. |
| 2023-05-07 19:06:19 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-07 19:06:26 +0200 | <sm> | joy |
| 2023-05-07 19:06:34 +0200 | <monochrom> | So basically if you said only "cabal install --lib foo" then the env file literally has nothing but foo. |
| 2023-05-07 19:07:06 +0200 | <lav> | so, do i just add it manually? |
| 2023-05-07 19:07:11 +0200 | oo_miguel1 | (~Thunderbi@77.252.47.78) |
| 2023-05-07 19:07:14 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-05-07 19:07:17 +0200 | <monochrom> | So basically if you have to craft your --lib command like you craft your depends: list. You want base and foo and containers? Say "cabal install --lib base containsers foo" |
| 2023-05-07 19:07:19 +0200 | __ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-07 19:07:26 +0200 | tok` | (~user@dynamic-089-012-167-004.89.12.pool.telefonica.de) |
| 2023-05-07 19:07:40 +0200 | <monochrom> | If you understand the file format, add whatever you like. |
| 2023-05-07 19:07:41 +0200 | <lav> | got it |
| 2023-05-07 19:08:05 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 19:08:17 +0200 | <monochrom> | Which is my case. I did a "ghc-pkg list" and added them all. OK except rts, that's an exception where it shows up in ghc-pkg list but isn't "real". |
| 2023-05-07 19:08:31 +0200 | <lav> | yup, works now |
| 2023-05-07 19:08:35 +0200 | <lav> | thanks a lot everyone! |
| 2023-05-07 19:09:23 +0200 | sm | thinks this sounds.. messed up. ghc hello world.hs with an import Data.List should just work, surely |
| 2023-05-07 19:09:36 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 19:10:01 +0200 | JScript2 | (~JScript@144.48.39.39) |
| 2023-05-07 19:10:03 +0200 | JScript2 | (~JScript@144.48.39.39) (Max SendQ exceeded) |
| 2023-05-07 19:10:23 +0200 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-07 19:10:54 +0200 | JScript2 | (~JScript@144.48.39.39) |
| 2023-05-07 19:10:56 +0200 | JScript2 | (~JScript@144.48.39.39) (Max SendQ exceeded) |
| 2023-05-07 19:11:10 +0200 | <sm> | lav: if my recommendation of latest cabal caused this problem I'm sorry. Let me warn you that latest ghc might not yet work for all libraries, ghc 9.4.5 is still the more mainstream |
| 2023-05-07 19:11:30 +0200 | <monochrom> | Even 9.2 |
| 2023-05-07 19:11:33 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8925:83f:b4e8:a658) (Quit: caryhartline) |
| 2023-05-07 19:12:42 +0200 | sm | would avoid anything <9.4 given the many bugs squashed in recent years/months |
| 2023-05-07 19:13:48 +0200 | <monochrom> | Um somehow that sounds like a plus. "I use 9.2 because many bugs are squashed" >:) |
| 2023-05-07 19:14:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-07 19:14:09 +0200 | <monochrom> | But more trivially I go with 9.2 just because ghcup defaults to it. |
| 2023-05-07 19:14:34 +0200 | <geekosaur> | 9.2.7 has most of those bugfixes |
| 2023-05-07 19:14:56 +0200 | freeside | (~mengwong@103.252.202.85) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | tremon | (~tremon@83.80.159.219) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | JScript | (~JScript@144.48.39.39) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | tok | (~user@user/tok) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (*.net *.split) |
| 2023-05-07 19:14:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 2023-05-07 19:14:57 +0200 | __ht | _ht |
| 2023-05-07 19:14:57 +0200 | oo_miguel1 | oo_miguel |
| 2023-05-07 19:15:00 +0200 | <sm> | not on mac I think |
| 2023-05-07 19:15:02 +0200 | <geekosaur> | and I'm waiting for 9.6.2 before considering 9.6 |
| 2023-05-07 19:15:05 +0200 | <monochrom> | Especially if one runs that curl|sh command the first time. Which is basically all of my students in 2 weeks. |
| 2023-05-07 19:18:19 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:d169:cd68:2ce:32dd) |
| 2023-05-07 19:23:30 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-05-07 19:29:38 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:d169:cd68:2ce:32dd) (Quit: caryhartline) |
| 2023-05-07 19:30:10 +0200 | <monochrom> | For cabal I would recommend the latest too, despite ghcup's recommendation. Reason: It finally fixes an infidelity (when compared to what the user guide promises) in cabal.project semantics. |
| 2023-05-07 19:30:25 +0200 | <monochrom> | Long standing infidelity. |
| 2023-05-07 19:31:00 +0200 | JScript | (~JScript@144.48.39.39) |
| 2023-05-07 19:32:04 +0200 | <Rembane> | Which infidelity? |
| 2023-05-07 19:32:17 +0200 | <monochrom> | "glad you ask" |
| 2023-05-07 19:33:32 +0200 | <monochrom> | "The following top-level configuration options are not specific to any package, and thus apply globally" was untrue. |
| 2023-05-07 19:34:02 +0200 | pyook | (~puke@user/puke) |
| 2023-05-07 19:35:06 +0200 | <monochrom> | Err, no, not that, not literally. But this: |
| 2023-05-07 19:36:27 +0200 | <monochrom> | "Package options affect the building of specific packages. There are three ways a package option can be specified::" 1st bullet point "They can be specified at the top-level, in which case they apply only to local package" was untrue. |
| 2023-05-07 19:37:16 +0200 | <Rembane> | Oh. What were they applying to if specified at top-level? |
| 2023-05-07 19:37:27 +0200 | <sm> | a cunning trap |
| 2023-05-07 19:37:29 +0200 | <monochrom> | To none, IIRC. |
| 2023-05-07 19:37:30 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cd61:2da1:676b:9991) |
| 2023-05-07 19:38:02 +0200 | <Rembane> | That's a true disappointment! |
| 2023-05-07 19:38:18 +0200 | <sm> | the Haskell dungeon is not for the unwary |
| 2023-05-07 19:38:26 +0200 | <monochrom> | Frankly by now I have forgotten how to reproduce it because "never looked back". |
| 2023-05-07 19:38:43 +0200 | econo | (uid147250@user/econo) |
| 2023-05-07 19:39:20 +0200 | <Rembane> | Sounds reasonable. |
| 2023-05-07 19:39:52 +0200 | tok` | (~user@dynamic-089-012-167-004.89.12.pool.telefonica.de) (Remote host closed the connection) |
| 2023-05-07 19:40:33 +0200 | <monochrom> | And the --lib problem I described, although 3.10 is a very severe extreme case, it is not like older versions were perfect either, just less obvious. |
| 2023-05-07 19:43:26 +0200 | <monochrom> | So with 3.8 or before, "cabal install --lib foo" adds a lot more packages than foo to the env file. I think it adds boot packages that foo depends on. Since foo depends on base with extremely high probability, you'll get base at least. |
| 2023-05-07 19:43:55 +0200 | <monochrom> | However if for example foo doesn't depend on mtl, then you'll be missing out on mtl. I ran into it often. |
| 2023-05-07 19:44:10 +0200 | <monochrom> | or containers, etc. |
| 2023-05-07 19:45:46 +0200 | <monochrom> | At some point it's a bit hard for me to distinguish between "honest oversight" vs "sabotage --lib to rationalize scaremongering against --lib". |
| 2023-05-07 19:46:19 +0200 | <hammond> | how do you denote a random function in category theory, one to many? |
| 2023-05-07 19:46:36 +0200 | <sm> | I can understand that |
| 2023-05-07 19:46:39 +0200 | <hammond> | one to many mapping? |
| 2023-05-07 19:46:50 +0200 | <monochrom> | Use the Giry monad. :) Then use its Kleisli arrows. |
| 2023-05-07 19:47:22 +0200 | <monochrom> | And even better, the whole point of randomness is the probability distribution. |
| 2023-05-07 19:47:49 +0200 | <monochrom> | Treating it as merely nondeterminsm doesn't cut it. At all. Totally missing the point. |
| 2023-05-07 19:49:02 +0200 | <hammond> | so you have to treat it as returning the whole distribution? |
| 2023-05-07 19:49:27 +0200 | <monochrom> | Depends on which level the word "return" lives on. |
| 2023-05-07 19:50:05 +0200 | <monochrom> | (Grammar polices please remind me it should be "Depends on on which..." haha) |
| 2023-05-07 19:51:06 +0200 | <monochrom> | Although, by most people's convention, at the level of the Kleisli arrows, they "return" "one" outcome. |
| 2023-05-07 19:51:17 +0200 | <hammond> | so i can still treat a random function as a deterministic function provided i take into account that it's mapped to many solutions or many points. |
| 2023-05-07 19:51:56 +0200 | dcompoze1 | (~dcompoze@185.180.206.90) |
| 2023-05-07 19:51:56 +0200 | dcompoze1 | (~dcompoze@185.180.206.90) (Client Quit) |
| 2023-05-07 19:52:53 +0200 | <hammond> | monochrom then i kinda run into the trouble of if i get a solution how do i know what input got me there. i can't map back. |
| 2023-05-07 19:52:53 +0200 | <monochrom> | Oh, after a while you realize that denotational semantics tame all effects by choosing (cheating with) suitable codomains... |
| 2023-05-07 19:53:01 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-07 19:53:32 +0200 | <monochrom> | Use Bayes's theorem? >:) |
| 2023-05-07 19:56:12 +0200 | <hammond> | suppose i wrapped this random function into another function that is well defined and I disregard whats inside the random function. |
| 2023-05-07 19:57:14 +0200 | <monochrom> | "well defined function" just means "deterministic function" just means you can use fmap to bring it to the probabilistic world, no? |
| 2023-05-07 19:58:23 +0200 | <monochrom> | "add 1 to input, feed that to random function, subtract 1 from output" just means fmap (+ 1) >=> r >=> fmap (subtract 1) |
| 2023-05-07 19:58:46 +0200 | <hammond> | yes but for the time being i disregard the probabilistic world, then i can do all kinds of things with the upper function and I can be safe. |
| 2023-05-07 19:59:48 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:cd61:2da1:676b:9991) (Quit: caryhartline) |
| 2023-05-07 20:00:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-07 20:00:20 +0200 | <monochrom> | OK, so, no problem? |
| 2023-05-07 20:00:41 +0200 | <hammond> | lol |
| 2023-05-07 20:00:53 +0200 | <hammond> | well there is a slight uneasiness. |
| 2023-05-07 20:02:27 +0200 | <monochrom> | It does come across that you don't want to learn probabilities. |
| 2023-05-07 20:02:32 +0200 | <hammond> | maybe it's like our physical world, only when you go to small enough scales the random function starts getting to be executed. at larger scales you simple deal with the smooth deterministic functions. |
| 2023-05-07 20:03:55 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 248 seconds) |
| 2023-05-07 20:04:46 +0200 | <hammond> | when you learn them it's just 50% this 50% that. what's so precise about them. they are not deterministic 100% true back to back. |
| 2023-05-07 20:05:16 +0200 | <monochrom> | Oh but in reality, in all likelihood (pun!), it's going to be 95% this 5% that. |
| 2023-05-07 20:05:25 +0200 | <hammond> | lol |
| 2023-05-07 20:05:34 +0200 | <monochrom> | At which point you can't treat all possibilities as equally siginificant. |
| 2023-05-07 20:07:17 +0200 | <hammond> | it's just adding structure. I'll look into this Giry Monad... see what it is. |
| 2023-05-07 20:07:41 +0200 | <Franciman> | is haskell community also involved with semantic web efforts? |
| 2023-05-07 20:07:53 +0200 | <monochrom> | I think no. |
| 2023-05-07 20:08:32 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:fd6a:7d54:9075:5de3) |
| 2023-05-07 20:08:41 +0200 | <Franciman> | conjecture: haskell greatly helps with problems in the polynomial hierarchy |
| 2023-05-07 20:08:46 +0200 | ddellacosta | (~ddellacos@143.244.47.88) (Ping timeout: 268 seconds) |
| 2023-05-07 20:08:47 +0200 | <Franciman> | why not use it then! |
| 2023-05-07 20:08:52 +0200 | Franciman | tries |
| 2023-05-07 20:08:56 +0200 | <Franciman> | thanks |
| 2023-05-07 20:09:18 +0200 | <Rembane> | How? |
| 2023-05-07 20:09:41 +0200 | <Franciman> | i usually find it easier to develop stuff that would be exponential in the worst case, but usually behave pretty good |
| 2023-05-07 20:09:44 +0200 | <Franciman> | like sat solver in haskell |
| 2023-05-07 20:10:07 +0200 | <Franciman> | because laziness allows some ready made tricks |
| 2023-05-07 20:10:19 +0200 | <Franciman> | just my conjecture, tho. YMMV |
| 2023-05-07 20:11:01 +0200 | <Rembane> | That sounds like my experience too. |
| 2023-05-07 20:11:08 +0200 | <Rembane> | When laziness is good it's really good. |
| 2023-05-07 20:12:31 +0200 | <hammond> | but if i move the function +1 to the left wouldn't I be moving the whole distribution function +1 to the left too? |
| 2023-05-07 20:12:37 +0200 | <jade[m]1> | mhm |
| 2023-05-07 20:16:13 +0200 | <monochrom> | Laziness adds come convenience and takes away some other. As usual. |
| 2023-05-07 20:16:51 +0200 | <monochrom> | For example many SAT solver techniques such as BDDs could use mutable pointers. |
| 2023-05-07 20:17:23 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2023-05-07 20:18:00 +0200 | <monochrom> | To be sure it's probably more like: Too many people work on mutable algorithms, too few people work on immutable algorithms. |
| 2023-05-07 20:19:00 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-05-07 20:25:27 +0200 | <jade[m]1> | sat f n = any f . sequence $ replicate n [True, False] this is one of the SAT solvers ever |
| 2023-05-07 20:26:22 +0200 | <monochrom> | the simplest? the shortest? the most elegant? |
| 2023-05-07 20:26:39 +0200 | <monochrom> | But I'm going to say the most impractical. |
| 2023-05-07 20:26:58 +0200 | <jade[m]1> | indeed |
| 2023-05-07 20:27:30 +0200 | <monochrom> | Even Davis-Putnam is a bit faster without being too complex. |
| 2023-05-07 20:28:12 +0200 | <Franciman> | davis putnam is a must know which i don't know |
| 2023-05-07 20:28:18 +0200 | <Franciman> | better keep up |
| 2023-05-07 20:28:55 +0200 | <jade[m]1> | hm, I wonder whether we can have someone like a quantum SAT solver that works analog to quantum bogosort - pick a random permutation of arguments and destroy the universe if it doesn't satify the formula |
| 2023-05-07 20:29:31 +0200 | <jade[m]1> | then, if any parallel universe exists we have proven that the formula is satisfiable, if not then it doesn't matter anymore |
| 2023-05-07 20:29:53 +0200 | <monochrom> | AFAIK quantum bogosort does not exist. |
| 2023-05-07 20:30:50 +0200 | <int-e> | monochrom: well, it's a black-box SAT solver, can't efficiently convert that to CNF. |
| 2023-05-07 20:30:51 +0200 | <monochrom> | Generally if you try s/quantum/magical nondeterministic machine/ it does not exist unless otherwise proven. |
| 2023-05-07 20:31:08 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:fd6a:7d54:9075:5de3) (Quit: caryhartline) |
| 2023-05-07 20:32:05 +0200 | <monochrom> | https://www.smbc-comics.com/comic/the-talk-3 for starters. |
| 2023-05-07 20:33:28 +0200 | <int-e> | Hmm, quantum bogosort should kind of exist, but it's basically as stupid as the classical version because sqrt(n!) still grows (slightly super-) exponentially. |
| 2023-05-07 20:33:54 +0200 | <int-e> | (at least coupled with Grover's algorithm) |
| 2023-05-07 20:35:32 +0200 | <jade[m]1> | in the context of the joke - not sure what you're referring to - quantum bogosort would be O(1) |
| 2023-05-07 20:36:06 +0200 | <monochrom> | OK fine, ObHaha |
| 2023-05-07 20:36:32 +0200 | <monochrom> | I'm known to relay the "have you tried turning off and on again at the same time" joke anyway. |
| 2023-05-07 20:36:33 +0200 | akshitkr | (~user@218.185.248.66) |
| 2023-05-07 20:36:33 +0200 | <int-e> | Hmm is this taking the quantum suicide approach? |
| 2023-05-07 20:36:41 +0200 | <jade[m]1> | yep |
| 2023-05-07 20:36:43 +0200 | <monochrom> | Yeah |
| 2023-05-07 20:36:43 +0200 | <int-e> | Rather than anything related to quantum computing? |
| 2023-05-07 20:36:45 +0200 | <int-e> | Sad. |
| 2023-05-07 20:36:45 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 20:39:04 +0200 | <int-e> | It'll still be O(n) though. |
| 2023-05-07 20:39:11 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2023-05-07 20:39:59 +0200 | <int-e> | . o O ( Haskell's `sort` is O(1) as long as you don't use the result. ) |
| 2023-05-07 20:40:10 +0200 | <jade[m]1> | int-e: right, yeah |
| 2023-05-07 20:40:15 +0200 | <jade[m]1> | int-e: haha |
| 2023-05-07 20:40:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 20:40:58 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-07 20:41:30 +0200 | <akshitkr> | what is a quantum suicide approach |
| 2023-05-07 20:42:11 +0200 | <jade[m]1> | if the shuffle does not yield a sort you destroy the universe |
| 2023-05-07 20:42:22 +0200 | <int-e> | https://en.wikipedia.org/wiki/Many-worlds_interpretation#Quantum_suicide_thought_experiment |
| 2023-05-07 20:42:30 +0200 | <jade[m]1> | because there's an infinite amount of parralel universes it'll succeed in one of them |
| 2023-05-07 20:42:35 +0200 | <jade[m]1> | it's a silly joke |
| 2023-05-07 20:43:08 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-05-07 20:45:13 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-05-07 20:45:51 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 20:47:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-07 20:47:32 +0200 | <TMA> | it is a silly joke only in some of the universes, it is really funny in others |
| 2023-05-07 20:47:36 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) |
| 2023-05-07 20:47:43 +0200 | <monochrom> | haha |
| 2023-05-07 20:47:46 +0200 | <jade[m]1> | good one haha |
| 2023-05-07 20:49:25 +0200 | <akshitkr> | lmfao |
| 2023-05-07 20:49:43 +0200 | <akshitkr> | quantum suicide sort |
| 2023-05-07 20:50:34 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-05-07 20:50:46 +0200 | jero98772 | (~jero98772@190.158.28.80) |
| 2023-05-07 20:52:24 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-e526-e182-be82-cc2f.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-07 20:53:52 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2023-05-07 20:54:16 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-05-07 20:55:39 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 248 seconds) |
| 2023-05-07 20:58:05 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-05-07 20:59:13 +0200 | malte | (~malte@mal.tc) |
| 2023-05-07 20:59:15 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-05-07 21:03:33 +0200 | alexherbo2 | (~alexherbo@211.190.65.81.rev.sfr.net) |
| 2023-05-07 21:06:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-05-07 21:09:12 +0200 | akshitkr | (~user@218.185.248.66) (Read error: Connection reset by peer) |
| 2023-05-07 21:19:04 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 268 seconds) |
| 2023-05-07 21:19:36 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 21:20:17 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-05-07 21:22:15 +0200 | aku | (~aku@163.172.137.34) (Quit: leaving) |
| 2023-05-07 21:22:30 +0200 | aku | (~aku@static.241.245.108.65.clients.your-server.de) |
| 2023-05-07 21:23:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-07 21:30:49 +0200 | jjb | (~jjb@user/jjb) |
| 2023-05-07 21:33:02 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-05-07 21:37:03 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Remote host closed the connection) |
| 2023-05-07 21:38:44 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-07 21:44:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-07 21:44:46 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-07 21:47:35 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-05-07 21:50:38 +0200 | acidjnk | (~acidjnk@p200300d6e7072f017ced2fd979b289f0.dip0.t-ipconnect.de) |
| 2023-05-07 21:52:37 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow...) |
| 2023-05-07 21:54:09 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-07 21:55:12 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::fba) |
| 2023-05-07 21:56:45 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-07 22:02:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-07 22:07:10 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 268 seconds) |
| 2023-05-07 22:14:06 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-07 22:19:08 +0200 | totbwf | (uid402332@id-402332.uxbridge.irccloud.com) |
| 2023-05-07 22:24:32 +0200 | czy` | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-07 22:33:16 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-07 22:36:06 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:14e6:e58c:1d60:2677) |
| 2023-05-07 22:37:55 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-07 22:43:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-07 22:46:22 +0200 | Guest45 | (~Guest45@181.141.155.69) |
| 2023-05-07 22:55:13 +0200 | czy` | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-07 22:57:21 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-07 22:57:52 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-07 23:02:40 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-07 23:08:13 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-05-07 23:10:58 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-05-07 23:11:08 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-07 23:15:53 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-07 23:16:39 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-07 23:28:46 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-07 23:29:16 +0200 | Guest45 | (~Guest45@181.141.155.69) (Quit: Client closed) |
| 2023-05-07 23:34:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-07 23:34:59 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-07 23:36:50 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-07 23:37:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-07 23:39:13 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-07 23:45:37 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-07 23:47:22 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-05-07 23:51:01 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-07 23:51:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-07 23:57:49 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
