2023-03-28 00:01:22 +0200 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 252 seconds) |
2023-03-28 00:01:31 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-03-28 00:01:38 +0200 | lyxia | (~lyxia@poisson.chat) |
2023-03-28 00:04:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
2023-03-28 00:07:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-03-28 00:09:17 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) (Remote host closed the connection) |
2023-03-28 00:09:34 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) |
2023-03-28 00:13:46 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) (Remote host closed the connection) |
2023-03-28 00:14:04 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) |
2023-03-28 00:14:42 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 00:20:48 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
2023-03-28 00:22:22 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 00:23:53 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 00:35:48 +0200 | lxi | (~quassel@2a02:2f08:4706:3500:831c:7a97:a914:e208) |
2023-03-28 00:38:44 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 00:38:51 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-03-28 00:39:25 +0200 | sefidel | (~sefidel@user/sefidel) |
2023-03-28 00:40:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-03-28 00:43:59 +0200 | thegeekinside | (~thegeekin@189.141.115.134) (Ping timeout: 250 seconds) |
2023-03-28 00:46:19 +0200 | thegeekinside | (~thegeekin@189.141.115.134) |
2023-03-28 00:47:36 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-03-28 00:48:12 +0200 | sefidel | (~sefidel@user/sefidel) |
2023-03-28 00:49:55 +0200 | lxi | (~quassel@2a02:2f08:4706:3500:831c:7a97:a914:e208) (Ping timeout: 260 seconds) |
2023-03-28 00:54:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 00:55:35 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
2023-03-28 00:55:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
2023-03-28 00:58:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
2023-03-28 01:08:37 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 01:15:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-03-28 01:18:02 +0200 | mauke_ | (~mauke@user/mauke) |
2023-03-28 01:18:36 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 01:20:00 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 255 seconds) |
2023-03-28 01:20:01 +0200 | mauke_ | mauke |
2023-03-28 01:27:54 +0200 | acidjnk | (~acidjnk@p200300d6e715c485b589e2ef37717da9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2023-03-28 01:32:58 +0200 | sp00kins | (~sp00kins@c-71-197-12-189.hsd1.va.comcast.net) (Quit: sp00kins) |
2023-03-28 01:52:17 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 01:52:37 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 01:57:21 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
2023-03-28 01:58:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-03-28 01:58:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-03-28 01:58:56 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-03-28 02:01:46 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Quit: ZNC 1.6.5 - http://znc.in) |
2023-03-28 02:03:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
2023-03-28 02:04:26 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 02:05:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-03-28 02:12:33 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Read error: Connection reset by peer) |
2023-03-28 02:12:38 +0200 | Sauvin | (~sauvin@user/Sauvin) (Read error: Connection reset by peer) |
2023-03-28 02:13:06 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds) |
2023-03-28 02:13:24 +0200 | Sauvin | (~sauvin@user/Sauvin) |
2023-03-28 02:15:03 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
2023-03-28 02:15:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
2023-03-28 02:15:26 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
2023-03-28 02:16:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-03-28 02:16:56 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 02:22:31 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
2023-03-28 02:25:23 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 02:30:01 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 02:31:45 +0200 | SoTxJay | (~j@2603-8081-4700-e5a1-958a-588a-b2cb-b62f.res6.spectrum.com) |
2023-03-28 02:35:27 +0200 | SoTxJay | (~j@2603-8081-4700-e5a1-958a-588a-b2cb-b62f.res6.spectrum.com) (Quit: Leaving.) |
2023-03-28 02:36:06 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-03-28 02:37:07 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 276 seconds) |
2023-03-28 02:37:34 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
2023-03-28 02:38:54 +0200 | ddellacosta | (~ddellacos@146.70.166.158) |
2023-03-28 02:48:43 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 02:50:18 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
2023-03-28 02:55:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
2023-03-28 02:56:11 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2023-03-28 02:57:21 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-03-28 02:58:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-03-28 03:00:30 +0200 | dipper | (~dipper@117.61.126.31) |
2023-03-28 03:10:53 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-03-28 03:17:00 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-03-28 03:19:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-03-28 03:22:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) |
2023-03-28 03:24:22 +0200 | gmg | (~user@user/gehmehgeh) |
2023-03-28 03:27:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) (Ping timeout: 260 seconds) |
2023-03-28 03:27:47 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
2023-03-28 03:32:17 +0200 | trev | (~trev@user/trev) |
2023-03-28 03:32:47 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
2023-03-28 03:42:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-03-28 03:47:50 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 03:49:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bb99:fb33:7ab:1c35) (Ping timeout: 264 seconds) |
2023-03-28 03:52:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
2023-03-28 03:58:13 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 03:58:31 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 04:03:08 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 04:04:29 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 04:07:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) |
2023-03-28 04:10:51 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 04:12:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
2023-03-28 04:20:32 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 04:20:41 +0200 | slack1256 | (~slack1256@186.11.84.131) (Ping timeout: 265 seconds) |
2023-03-28 04:22:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2023-03-28 04:22:48 +0200 | cheater_ | cheater |
2023-03-28 04:24:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-03-28 04:26:01 +0200 | smallville7123 | (~Android@cpe-172-193-179-86.qld.foxtel.net.au) |
2023-03-28 04:26:28 +0200 | razetime | (~Thunderbi@117.193.0.21) |
2023-03-28 04:26:49 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 04:28:24 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 04:29:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 04:31:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 04:31:31 +0200 | td_ | (~td@i53870929.versanet.de) (Ping timeout: 276 seconds) |
2023-03-28 04:32:55 +0200 | td_ | (~td@i5387093D.versanet.de) |
2023-03-28 04:33:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-03-28 04:37:33 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 04:44:12 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 04:46:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-03-28 04:47:08 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 04:47:48 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 04:50:08 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 04:52:29 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
2023-03-28 04:53:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-03-28 04:53:51 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-03-28 04:53:51 +0200 | finn_elija | FinnElija |
2023-03-28 04:56:35 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 05:03:15 +0200 | srk- | (~sorki@user/srk) |
2023-03-28 05:03:18 +0200 | srk | (~sorki@user/srk) (Read error: Connection reset by peer) |
2023-03-28 05:04:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
2023-03-28 05:06:01 +0200 | srk- | srk |
2023-03-28 05:08:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-03-28 05:10:16 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 05:11:42 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:13:30 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
2023-03-28 05:14:53 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:19:24 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 05:19:34 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 05:21:45 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-03-28 05:24:03 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 05:26:11 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) |
2023-03-28 05:31:36 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 05:33:04 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:34:03 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
2023-03-28 05:35:34 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:42:25 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 05:43:28 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 05:44:36 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) |
2023-03-28 05:44:42 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 05:46:07 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:47:41 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 05:51:25 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 05:53:51 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 05:53:54 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 05:55:20 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 05:59:16 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
2023-03-28 06:06:26 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 06:07:21 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) |
2023-03-28 06:08:01 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 06:08:02 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 06:08:21 +0200 | Guest87 | (~Guest87@host-92-17-23-180.as13285.net) |
2023-03-28 06:09:01 +0200 | <Guest87> | yo are ther rules I can see anywhere |
2023-03-28 06:09:18 +0200 | <Guest87> | For example is there a rule against finding someone I could pay for tutoring |
2023-03-28 06:13:06 +0200 | Guest87 | (~Guest87@host-92-17-23-180.as13285.net) (Quit: Client closed) |
2023-03-28 06:13:16 +0200 | Guest87 | (~Guest87@host-92-17-23-180.as13285.net) |
2023-03-28 06:14:53 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 06:16:26 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
2023-03-28 06:16:57 +0200 | Guest87 | (~Guest87@host-92-17-23-180.as13285.net) (Client Quit) |
2023-03-28 06:17:48 +0200 | <sm> | Guest87: probably on the haskell wiki |
2023-03-28 06:17:48 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
2023-03-28 06:18:26 +0200 | <sm> | nothing wrong with asking that, people sometimes ask on reddit |
2023-03-28 06:25:50 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-03-28 06:26:09 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
2023-03-28 06:28:42 +0200 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 255 seconds) |
2023-03-28 06:32:59 +0200 | Sauvin | (~sauvin@user/Sauvin) |
2023-03-28 06:34:22 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 276 seconds) |
2023-03-28 06:36:30 +0200 | thebinary | (~thebinary@36.252.153.92) |
2023-03-28 06:37:29 +0200 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
2023-03-28 06:39:21 +0200 | thebinary | (~thebinary@36.252.153.92) (Read error: Connection reset by peer) |
2023-03-28 06:42:32 +0200 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
2023-03-28 06:58:58 +0200 | thebinary | (~thebinary@202.79.36.91) |
2023-03-28 07:01:02 +0200 | thebinary | (~thebinary@202.79.36.91) (Read error: Connection reset by peer) |
2023-03-28 07:02:48 +0200 | thebinary | (~thebinary@202.79.36.91) |
2023-03-28 07:05:22 +0200 | thebinary | (~thebinary@202.79.36.91) (Read error: Connection reset by peer) |
2023-03-28 07:05:58 +0200 | thebinary | (~thebinary@202.79.36.91) |
2023-03-28 07:08:18 +0200 | thebinary | (~thebinary@202.79.36.91) (Read error: Connection reset by peer) |
2023-03-28 07:12:08 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-03-28 07:15:34 +0200 | thebinary | (~thebinary@202.79.36.91) |
2023-03-28 07:17:43 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 07:18:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-03-28 07:20:07 +0200 | thebinary | (~thebinary@202.79.36.91) (Read error: Connection reset by peer) |
2023-03-28 07:21:50 +0200 | thebinary | (~thebinary@202.79.36.91) |
2023-03-28 07:22:06 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 07:23:18 +0200 | thebinary | (~thebinary@202.79.36.91) (Read error: Connection reset by peer) |
2023-03-28 07:28:23 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 07:44:50 +0200 | thebinary | (~thebinary@36.252.153.92) |
2023-03-28 07:45:37 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 07:49:27 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
2023-03-28 07:51:57 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2023-03-28 07:52:07 +0200 | thebinary | (~thebinary@36.252.153.92) (Ping timeout: 250 seconds) |
2023-03-28 07:52:37 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-03-28 07:52:49 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 07:56:51 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-03-28 07:57:09 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-03-28 07:57:50 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 07:58:13 +0200 | smallville7123 | (~Android@cpe-172-193-179-86.qld.foxtel.net.au) (Ping timeout: 276 seconds) |
2023-03-28 07:59:50 +0200 | razetime | (~Thunderbi@117.193.0.21) (Remote host closed the connection) |
2023-03-28 08:00:43 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 08:01:02 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 08:02:35 +0200 | phma | (~phma@2001:5b0:211f:bf8:d39e:5efa:82f0:4276) (Read error: Connection reset by peer) |
2023-03-28 08:03:17 +0200 | michalz | (~michalz@185.246.207.197) |
2023-03-28 08:03:30 +0200 | phma | (phma@2001:5b0:2144:7a98:89c3:1f46:5640:74c9) |
2023-03-28 08:10:10 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
2023-03-28 08:10:32 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
2023-03-28 08:10:40 +0200 | echoreply | (~echoreply@45.32.163.16) |
2023-03-28 08:11:47 +0200 | Square2 | (~Square4@user/square) |
2023-03-28 08:11:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2023-03-28 08:12:05 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-03-28 08:13:13 +0200 | coot | (~coot@213.134.170.228) |
2023-03-28 08:13:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2023-03-28 08:14:02 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
2023-03-28 08:15:03 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 08:15:52 +0200 | akamhy | (~akamhy@103.214.60.59) |
2023-03-28 08:19:25 +0200 | Xe | (~cadey@tailscale/xe) (Ping timeout: 250 seconds) |
2023-03-28 08:19:27 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds) |
2023-03-28 08:20:35 +0200 | akamhy | (~akamhy@103.214.60.59) (Quit: Leaving) |
2023-03-28 08:20:54 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
2023-03-28 08:26:02 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) |
2023-03-28 08:26:50 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 08:27:26 +0200 | Xe | (~cadey@tailscale/xe) |
2023-03-28 08:27:39 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:a22c:2ef:745f:68be) (Ping timeout: 250 seconds) |
2023-03-28 08:27:50 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2023-03-28 08:30:38 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) (Client Quit) |
2023-03-28 08:31:02 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) |
2023-03-28 08:34:42 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-03-28 08:38:00 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 08:38:53 +0200 | akegalj | (~akegalj@78-0-55-74.adsl.net.t-com.hr) |
2023-03-28 08:41:26 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 08:43:38 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 08:44:59 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
2023-03-28 08:45:02 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
2023-03-28 08:46:56 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: Fischmiep) |
2023-03-28 08:47:05 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-03-28 08:47:59 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 08:49:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
2023-03-28 08:50:30 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 08:50:47 +0200 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) |
2023-03-28 08:52:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-03-28 08:52:54 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
2023-03-28 08:53:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
2023-03-28 08:55:59 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 09:02:13 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2023-03-28 09:02:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-03-28 09:02:51 +0200 | raym | (~ray@user/raym) |
2023-03-28 09:02:57 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: update & reboot) |
2023-03-28 09:04:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-03-28 09:07:01 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 240 seconds) |
2023-03-28 09:08:13 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
2023-03-28 09:08:18 +0200 | Techcable | (~Techcable@user/Techcable) |
2023-03-28 09:11:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-03-28 09:14:45 +0200 | vglfr | (~vglfr@88.155.17.226) (Ping timeout: 255 seconds) |
2023-03-28 09:21:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c39f:a4dc:2705:d85c) |
2023-03-28 09:26:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
2023-03-28 09:26:29 +0200 | coot | (~coot@213.134.170.228) (Quit: coot) |
2023-03-28 09:28:00 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 09:32:33 +0200 | vglfr | (~vglfr@88.155.17.226) |
2023-03-28 09:32:36 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 09:32:36 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 09:36:40 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-03-28 09:37:14 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
2023-03-28 09:38:09 +0200 | finnekit7 | (~finnekit@fsf/member/finnekit) |
2023-03-28 09:38:30 +0200 | codolio | (~dolio@130.44.134.54) |
2023-03-28 09:38:55 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) |
2023-03-28 09:39:01 +0200 | tstat_ | (~tstat@user/tstat) |
2023-03-28 09:39:01 +0200 | jrm2 | (~jrm@user/jrm) |
2023-03-28 09:39:07 +0200 | manwithl- | (manwithluc@hoeven.dossingday.ml) |
2023-03-28 09:39:22 +0200 | acidjnk | (~acidjnk@p200300d6e715c4237cfc0e66ed0018aa.dip0.t-ipconnect.de) |
2023-03-28 09:39:27 +0200 | adium_ | (adium@user/adium) |
2023-03-28 09:39:35 +0200 | thebinary | (~thebinary@49.126.154.231) |
2023-03-28 09:40:19 +0200 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
2023-03-28 09:40:20 +0200 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
2023-03-28 09:40:20 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
2023-03-28 09:40:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-03-28 09:40:44 +0200 | markasoftware_ | (~quassel@107.161.26.124) |
2023-03-28 09:41:27 +0200 | finstern1s | (~X@23.226.237.192) |
2023-03-28 09:41:32 +0200 | aforemny_ | (~aforemny@static.248.158.34.188.clients.your-server.de) |
2023-03-28 09:42:21 +0200 | m1dnight_ | (~christoph@78-22-4-67.access.telenet.be) |
2023-03-28 09:44:11 +0200 | thebinary | (~thebinary@49.126.154.231) (Read error: Connection reset by peer) |
2023-03-28 09:46:03 +0200 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
2023-03-28 09:46:03 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
2023-03-28 09:46:03 +0200 | finsternis | (~X@23.226.237.192) (*.net *.split) |
2023-03-28 09:46:03 +0200 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
2023-03-28 09:46:03 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) (*.net *.split) |
2023-03-28 09:46:04 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (*.net *.split) |
2023-03-28 09:46:04 +0200 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
2023-03-28 09:46:04 +0200 | jinsl | (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (*.net *.split) |
2023-03-28 09:46:04 +0200 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
2023-03-28 09:46:04 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
2023-03-28 09:46:04 +0200 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
2023-03-28 09:46:04 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split) |
2023-03-28 09:46:04 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
2023-03-28 09:46:04 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
2023-03-28 09:46:04 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) (*.net *.split) |
2023-03-28 09:46:04 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (*.net *.split) |
2023-03-28 09:46:04 +0200 | lbseale_ | (~quassel@user/ep1ctetus) (*.net *.split) |
2023-03-28 09:46:04 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (*.net *.split) |
2023-03-28 09:46:05 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split) |
2023-03-28 09:46:05 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (*.net *.split) |
2023-03-28 09:46:05 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
2023-03-28 09:46:05 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (*.net *.split) |
2023-03-28 09:46:05 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) (*.net *.split) |
2023-03-28 09:46:05 +0200 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
2023-03-28 09:46:05 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (*.net *.split) |
2023-03-28 09:46:05 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
2023-03-28 09:46:05 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
2023-03-28 09:46:05 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split) |
2023-03-28 09:46:05 +0200 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
2023-03-28 09:46:05 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
2023-03-28 09:46:05 +0200 | lisq | (~quassel@lis.moe) (*.net *.split) |
2023-03-28 09:46:05 +0200 | jrm | (~jrm@user/jrm) (*.net *.split) |
2023-03-28 09:46:05 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) (*.net *.split) |
2023-03-28 09:46:05 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split) |
2023-03-28 09:46:05 +0200 | tstat | (~tstat@user/tstat) (*.net *.split) |
2023-03-28 09:46:05 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
2023-03-28 09:46:05 +0200 | xstill_ | (xstill@fimu/xstill) (*.net *.split) |
2023-03-28 09:46:05 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
2023-03-28 09:46:05 +0200 | finnekit7 | finnekit |
2023-03-28 09:46:05 +0200 | dobblego | dibblego |
2023-03-28 09:46:06 +0200 | jrm2 | jrm |
2023-03-28 09:46:06 +0200 | finstern1s | finsternis |
2023-03-28 09:47:06 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2023-03-28 09:47:06 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2023-03-28 09:47:06 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2023-03-28 09:47:21 +0200 | xstill_ | (xstill@fimu/xstill) |
2023-03-28 09:50:56 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 09:52:45 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 09:53:29 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
2023-03-28 09:54:41 +0200 | slack1256 | (~slack1256@181.43.58.131) |
2023-03-28 09:54:59 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:351f:e709:d591:5e8c) |
2023-03-28 09:55:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
2023-03-28 09:55:02 +0200 | cheater_ | cheater |
2023-03-28 09:55:20 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-03-28 09:55:23 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 09:56:27 +0200 | chele | (~chele@user/chele) |
2023-03-28 10:00:22 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2023-03-28 10:00:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-03-28 10:01:11 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-03-28 10:01:28 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-03-28 10:01:30 +0200 | aforemny_ | aforemny |
2023-03-28 10:07:03 +0200 | slack1256 | (~slack1256@181.43.58.131) (Ping timeout: 268 seconds) |
2023-03-28 10:09:26 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) |
2023-03-28 10:10:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
2023-03-28 10:10:49 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 10:13:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-03-28 10:14:15 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
2023-03-28 10:14:16 +0200 | cheater_ | cheater |
2023-03-28 10:14:29 +0200 | thebinary | (~thebinary@27.34.115.161) |
2023-03-28 10:18:04 +0200 | thebinary | (~thebinary@27.34.115.161) (Read error: Connection reset by peer) |
2023-03-28 10:18:32 +0200 | thebinary | (~thebinary@27.34.115.161) |
2023-03-28 10:21:55 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2023-03-28 10:23:09 +0200 | thebinary | (~thebinary@27.34.115.161) (Ping timeout: 255 seconds) |
2023-03-28 10:23:51 +0200 | thebinary | (~thebinary@202.79.36.6) |
2023-03-28 10:27:04 +0200 | <geekosaur> | http://haskell.org/haskellwiki/IRC_channel re rules |
2023-03-28 10:27:28 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 10:29:17 +0200 | <hololeap> | I've got a pretty niche problem, but there's a haskell exe I'm working on that cannot depend on anything other than the libs bundled with GHC |
2023-03-28 10:29:47 +0200 | <hololeap> | and it's got all these funky parsing functions using ByteString representations of FilePath |
2023-03-28 10:30:24 +0200 | <hololeap> | so I go and replace them with Strings and parsec, and the benchmark time goes from 0m6.378s to 1m22.337s |
2023-03-28 10:31:02 +0200 | <hololeap> | here are the diffs if anyone is interested: https://github.com/hololeap/haskell-updater/pull/1/files |
2023-03-28 10:31:17 +0200 | <hololeap> | but are those slowdowns to be expected with parsec? |
2023-03-28 10:31:53 +0200 | <hololeap> | I haven't done any profiling yet |
2023-03-28 10:32:36 +0200 | thebinary | (~thebinary@202.79.36.6) (Ping timeout: 255 seconds) |
2023-03-28 10:32:52 +0200 | <maerwald[m]> | hololeap: String is deprecated for filepaths |
2023-03-28 10:32:53 +0200 | <maerwald[m]> | Use the new OsPath API |
2023-03-28 10:32:54 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 10:32:55 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2023-03-28 10:33:12 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 10:33:14 +0200 | EvanR | (~EvanR@user/evanr) |
2023-03-28 10:33:15 +0200 | <hololeap> | isn't that only with ghc-9.6? |
2023-03-28 10:33:53 +0200 | <maerwald[m]> | hololeap: filepath is reinstallable |
2023-03-28 10:33:57 +0200 | <maerwald[m]> | Unless you depend on the ghc package |
2023-03-28 10:34:15 +0200 | <hololeap> | right |
2023-03-28 10:34:15 +0200 | <geekosaur> | "cannot depend on anything other than the libs bundled with GHC" |
2023-03-28 10:34:36 +0200 | <hololeap> | yeah I won't go into the details but that's not going to be an option here |
2023-03-28 10:35:35 +0200 | Solid | (~slot@xmonad/slotThe) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
2023-03-28 10:35:41 +0200 | <hololeap> | I'm just a bit shocked by the change in performance |
2023-03-28 10:35:51 +0200 | <geekosaur> | anyway yes, parsec is kinda slow. megaparsec is a bit better but attoparsec exists for a reason, as does flatparse |
2023-03-28 10:36:27 +0200 | <hololeap> | that makes sense. I guess I'll have to stick with the weird ad-hoc bytestring parsers for now, because of the restrictions |
2023-03-28 10:36:59 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 10:37:36 +0200 | thebinary | (~thebinary@27.34.115.161) |
2023-03-28 10:38:27 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 10:42:41 +0200 | thebinary | (~thebinary@27.34.115.161) (Read error: Connection reset by peer) |
2023-03-28 10:43:34 +0200 | srk | (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
2023-03-28 10:43:55 +0200 | srk | (~sorki@user/srk) |
2023-03-28 10:45:25 +0200 | <maerwald[m]> | hololeap: https://chrisdone.com/posts/fast-haskell-c-parsing-xml/ |
2023-03-28 10:45:26 +0200 | <maerwald[m]> | You'll never beat ByteString primitives with any parser |
2023-03-28 10:46:06 +0200 | <hololeap> | well that explains why they did it in the first place. I was really confused by that |
2023-03-28 10:48:24 +0200 | thebinary | (~thebinary@27.34.115.161) |
2023-03-28 10:49:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-03-28 10:50:03 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 10:52:51 +0200 | thebinary | (~thebinary@27.34.115.161) (Ping timeout: 255 seconds) |
2023-03-28 10:53:13 +0200 | Unhammer | (~Unhammer@user/unhammer) |
2023-03-28 10:53:13 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
2023-03-28 10:53:13 +0200 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
2023-03-28 10:53:13 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) |
2023-03-28 10:53:13 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
2023-03-28 10:53:13 +0200 | jinsl | (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) |
2023-03-28 10:53:13 +0200 | infinity0 | (~infinity0@pwned.gg) |
2023-03-28 10:53:13 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
2023-03-28 10:53:13 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
2023-03-28 10:53:13 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
2023-03-28 10:53:13 +0200 | acertain | (sid470584@2a03:5180:f:4::7:2e38) |
2023-03-28 10:53:13 +0200 | joebe[m] | (~joebematr@2001:470:69fc:105::3:2c53) |
2023-03-28 10:53:13 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2023-03-28 10:53:13 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2023-03-28 10:53:13 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
2023-03-28 10:53:13 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2023-03-28 10:53:13 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2023-03-28 10:53:13 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) |
2023-03-28 10:53:13 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2023-03-28 10:53:13 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2023-03-28 10:53:13 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
2023-03-28 10:53:13 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
2023-03-28 10:53:13 +0200 | pierrot | (~pi@user/pierrot) |
2023-03-28 10:53:13 +0200 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
2023-03-28 10:53:13 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) |
2023-03-28 10:53:13 +0200 | lisq | (~quassel@lis.moe) |
2023-03-28 10:54:06 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Max SendQ exceeded) |
2023-03-28 10:54:06 +0200 | jinsl | (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (Max SendQ exceeded) |
2023-03-28 10:54:16 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
2023-03-28 10:54:24 +0200 | jinsl | (~jinsl@123.117.252.229) |
2023-03-28 10:55:14 +0200 | akegalj | (~akegalj@78-0-55-74.adsl.net.t-com.hr) (Quit: leaving) |
2023-03-28 10:56:24 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 246 seconds) |
2023-03-28 10:56:24 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 246 seconds) |
2023-03-28 10:56:31 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 240 seconds) |
2023-03-28 10:56:36 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 252 seconds) |
2023-03-28 10:56:36 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 252 seconds) |
2023-03-28 10:56:36 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) (Ping timeout: 252 seconds) |
2023-03-28 10:56:36 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 252 seconds) |
2023-03-28 10:56:42 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) (Ping timeout: 246 seconds) |
2023-03-28 10:56:42 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds) |
2023-03-28 10:56:42 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 246 seconds) |
2023-03-28 10:56:42 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) (Ping timeout: 246 seconds) |
2023-03-28 10:56:44 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 248 seconds) |
2023-03-28 10:56:44 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 248 seconds) |
2023-03-28 10:56:44 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 248 seconds) |
2023-03-28 10:56:44 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) (Ping timeout: 248 seconds) |
2023-03-28 10:56:44 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Ping timeout: 248 seconds) |
2023-03-28 10:56:44 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
2023-03-28 10:56:45 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 246 seconds) |
2023-03-28 10:56:45 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 246 seconds) |
2023-03-28 10:56:56 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds) |
2023-03-28 10:56:56 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 260 seconds) |
2023-03-28 10:56:56 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) (Ping timeout: 260 seconds) |
2023-03-28 10:56:56 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 260 seconds) |
2023-03-28 10:56:56 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 260 seconds) |
2023-03-28 10:56:56 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 260 seconds) |
2023-03-28 10:56:58 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 252 seconds) |
2023-03-28 10:56:58 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 252 seconds) |
2023-03-28 10:56:58 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 252 seconds) |
2023-03-28 10:56:58 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 252 seconds) |
2023-03-28 10:56:58 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 252 seconds) |
2023-03-28 10:57:02 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) (Ping timeout: 246 seconds) |
2023-03-28 10:57:02 +0200 | teo | (~teo@user/teo) (Ping timeout: 246 seconds) |
2023-03-28 10:57:02 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 246 seconds) |
2023-03-28 10:57:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
2023-03-28 10:57:06 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 246 seconds) |
2023-03-28 10:57:06 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 246 seconds) |
2023-03-28 10:57:06 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 246 seconds) |
2023-03-28 10:57:12 +0200 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 264 seconds) |
2023-03-28 10:57:12 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) (Ping timeout: 264 seconds) |
2023-03-28 10:57:12 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 264 seconds) |
2023-03-28 10:57:12 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 264 seconds) |
2023-03-28 10:57:13 +0200 | hussam | (~hussam@user/hussam) (Ping timeout: 256 seconds) |
2023-03-28 10:57:13 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 256 seconds) |
2023-03-28 10:57:13 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Ping timeout: 256 seconds) |
2023-03-28 10:57:15 +0200 | joebe[m] | (~joebematr@2001:470:69fc:105::3:2c53) (Ping timeout: 248 seconds) |
2023-03-28 10:57:16 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 248 seconds) |
2023-03-28 10:57:16 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 248 seconds) |
2023-03-28 10:57:16 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 248 seconds) |
2023-03-28 10:57:20 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) (Ping timeout: 252 seconds) |
2023-03-28 10:57:20 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 252 seconds) |
2023-03-28 10:57:23 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (Ping timeout: 246 seconds) |
2023-03-28 10:57:23 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 246 seconds) |
2023-03-28 10:57:24 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 260 seconds) |
2023-03-28 10:57:24 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 260 seconds) |
2023-03-28 10:57:24 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 260 seconds) |
2023-03-28 10:57:24 +0200 | daylily[m] | (~daylilym]@2001:470:69fc:105::3:1d06) (Ping timeout: 260 seconds) |
2023-03-28 10:57:24 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 260 seconds) |
2023-03-28 10:57:27 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
2023-03-28 10:57:27 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 246 seconds) |
2023-03-28 10:57:34 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 252 seconds) |
2023-03-28 10:57:47 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 256 seconds) |
2023-03-28 10:57:48 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 264 seconds) |
2023-03-28 10:57:48 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 264 seconds) |
2023-03-28 10:57:48 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 264 seconds) |
2023-03-28 10:57:48 +0200 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) (Ping timeout: 264 seconds) |
2023-03-28 10:57:51 +0200 | psydroid | (~psydroid@user/psydroid) (Ping timeout: 260 seconds) |
2023-03-28 10:57:52 +0200 | Deide | (~deide@user/deide) (Ping timeout: 260 seconds) |
2023-03-28 10:57:52 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 260 seconds) |
2023-03-28 10:58:26 +0200 | Quinten[m] | (~quintenkd@2001:470:69fc:105::3:1b1c) (Ping timeout: 246 seconds) |
2023-03-28 10:58:26 +0200 | foghorn | (~foghorn@user/foghorn) (Ping timeout: 246 seconds) |
2023-03-28 10:58:57 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
2023-03-28 11:01:47 +0200 | <dminuoso> | I have a bunch of potentially overlapping (time) ranges, and I want to identify all gaps that exist between the outer most points. |
2023-03-28 11:01:49 +0200 | <dminuoso> | What kind of problem is this? |
2023-03-28 11:02:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-03-28 11:02:13 +0200 | <geekosaur> | sounds like an interval set problem? |
2023-03-28 11:02:28 +0200 | <opqdonut> | interval union/intersection yeah |
2023-03-28 11:02:42 +0200 | <tomsmeding> | or sort all of them first, then loop over the result in linear time |
2023-03-28 11:03:18 +0200 | <dminuoso> | tomsmeding: See I dont even know how to sort intervals. |
2023-03-28 11:03:33 +0200 | <mauke> | reminds me of the advent of code problem where I replaced Set by a hacked up RangeSet implementation and gained a massive speed-up |
2023-03-28 11:03:36 +0200 | <dminuoso> | opqdonut: its not quite intersection, Im rather interested in where there's a lack of intersections |
2023-03-28 11:03:50 +0200 | <tomsmeding> | dminuoso: right, I should have specified: in this case it suffices to sort on the starting time; within one particular starting time the order doesn't matter |
2023-03-28 11:03:54 +0200 | <opqdonut> | dminuoso: yeah I was thinking of intersecting the complements or sometihng |
2023-03-28 11:04:11 +0200 | <dminuoso> | Huh. |
2023-03-28 11:04:23 +0200 | <tomsmeding> | actually what the algorithm would want is to get the maximum ending time of every occurring starting time, but it can handle not getting that :) |
2023-03-28 11:04:25 +0200 | thebinary | (~thebinary@27.34.115.104) |
2023-03-28 11:04:27 +0200 | <dminuoso> | That's not too bad, if you take the complement - then any overlapping intervals can be tossed out |
2023-03-28 11:04:29 +0200 | <dminuoso> | What remains is the gaps |
2023-03-28 11:04:42 +0200 | <dminuoso> | That may or may not simplify the problem |
2023-03-28 11:04:52 +0200 | <tomsmeding> | taking the complement is a really annoying operation I think |
2023-03-28 11:05:03 +0200 | <opqdonut> | if you want to do something like this incrementally, I think some sort of interval tree structure might help |
2023-03-28 11:05:17 +0200 | <tomsmeding> | yeah if you want incremental then use an interval set |
2023-03-28 11:05:20 +0200 | <opqdonut> | i.e. maintain a sorted search tree of disjoint intervals, merge them when adding an interval |
2023-03-28 11:05:55 +0200 | <mauke> | dminuoso: here's what I used for advent of code: https://paste.tomsmeding.com/354OJRCy |
2023-03-28 11:06:06 +0200 | <mauke> | the gaps are computed via set difference from the full span |
2023-03-28 11:07:38 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2023-03-28 11:10:14 +0200 | __monty__ | (~toonn@user/toonn) |
2023-03-28 11:10:51 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2023-03-28 11:11:09 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) |
2023-03-28 11:12:14 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-03-28 11:12:24 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2023-03-28 11:14:10 +0200 | <tomsmeding> | dminuoso: https://play.haskell.org/saved/Jfb5d1Wk |
2023-03-28 11:15:23 +0200 | thebinary | (~thebinary@27.34.115.104) (Ping timeout: 248 seconds) |
2023-03-28 11:15:25 +0200 | <dminuoso> | tomsmeding: Mmm yeah Im coming down on something very similar. |
2023-03-28 11:15:45 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2023-03-28 11:15:46 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 11:16:36 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) |
2023-03-28 11:16:44 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
2023-03-28 11:17:12 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) |
2023-03-28 11:20:18 +0200 | vglfr | (~vglfr@88.155.17.226) (Ping timeout: 255 seconds) |
2023-03-28 11:21:39 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) |
2023-03-28 11:21:45 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
2023-03-28 11:21:48 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2023-03-28 11:22:49 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) |
2023-03-28 11:22:56 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) |
2023-03-28 11:23:24 +0200 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
2023-03-28 11:23:34 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) |
2023-03-28 11:24:25 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-03-28 11:24:36 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-03-28 11:25:42 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) |
2023-03-28 11:25:44 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2023-03-28 11:25:45 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) |
2023-03-28 11:26:02 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2023-03-28 11:27:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-03-28 11:29:45 +0200 | thegeekinside | (~thegeekin@189.141.115.134) (Ping timeout: 255 seconds) |
2023-03-28 11:33:31 +0200 | acidjnk | (~acidjnk@p200300d6e715c4237cfc0e66ed0018aa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-03-28 11:35:04 +0200 | lbseale | (~quassel@user/ep1ctetus) |
2023-03-28 11:35:17 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:17 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:35:18 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: Bridge terminating on SIGTERM) |
2023-03-28 11:38:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78a3:fb7e:f4ce:e160) (Remote host closed the connection) |
2023-03-28 11:39:07 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 11:40:26 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2023-03-28 11:46:23 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2023-03-28 11:53:25 +0200 | vglfr | (~vglfr@88.155.17.226) |
2023-03-28 11:55:37 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2023-03-28 11:55:37 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2023-03-28 11:55:37 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
2023-03-28 11:55:37 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2023-03-28 11:55:37 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-03-28 11:55:37 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
2023-03-28 11:55:37 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2023-03-28 11:55:37 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2023-03-28 11:55:37 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2023-03-28 11:55:37 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2023-03-28 11:55:37 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2023-03-28 11:55:37 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2023-03-28 11:55:37 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2023-03-28 11:55:37 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2023-03-28 11:55:37 +0200 | Deide | (~deide@user/deide) |
2023-03-28 11:55:37 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2023-03-28 11:55:37 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) |
2023-03-28 11:55:37 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2023-03-28 11:55:37 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2023-03-28 11:55:37 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2023-03-28 11:55:37 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2023-03-28 11:55:37 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2023-03-28 11:55:37 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2023-03-28 11:55:37 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) |
2023-03-28 11:55:37 +0200 | Quinten[m] | (~quintenkd@2001:470:69fc:105::3:1b1c) |
2023-03-28 11:55:37 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2023-03-28 11:55:37 +0200 | daylily[m] | (~daylilym]@2001:470:69fc:105::3:1d06) |
2023-03-28 11:55:37 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
2023-03-28 11:55:37 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2023-03-28 11:55:37 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2023-03-28 11:55:37 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
2023-03-28 11:55:37 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
2023-03-28 11:55:38 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
2023-03-28 11:55:38 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) |
2023-03-28 11:55:38 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) |
2023-03-28 11:55:38 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2023-03-28 11:55:38 +0200 | hussam | (~hussam@user/hussam) |
2023-03-28 11:55:38 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2023-03-28 11:55:38 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2023-03-28 11:55:38 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
2023-03-28 11:55:38 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
2023-03-28 11:55:38 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) |
2023-03-28 11:55:38 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
2023-03-28 11:55:38 +0200 | foghorn | (~foghorn@user/foghorn) |
2023-03-28 11:55:38 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2023-03-28 11:55:38 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) |
2023-03-28 11:55:38 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
2023-03-28 11:55:38 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
2023-03-28 11:55:38 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) |
2023-03-28 11:55:38 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) |
2023-03-28 11:55:38 +0200 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) |
2023-03-28 11:55:38 +0200 | teo1 | (~teo@user/teo) |
2023-03-28 11:55:38 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) |
2023-03-28 11:55:38 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) |
2023-03-28 11:55:38 +0200 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) |
2023-03-28 11:55:38 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
2023-03-28 11:55:38 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) |
2023-03-28 11:55:38 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2023-03-28 11:55:48 +0200 | joebe[m] | (~joebematr@2001:470:69fc:105::3:2c53) |
2023-03-28 11:55:49 +0200 | flo[m]1 | (~flosansps@2001:470:69fc:105::1:c22d) |
2023-03-28 11:55:50 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2023-03-28 11:55:50 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) |
2023-03-28 11:55:50 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
2023-03-28 11:55:50 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) |
2023-03-28 11:55:50 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2023-03-28 11:55:51 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) |
2023-03-28 11:55:52 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) |
2023-03-28 12:01:38 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2023-03-28 12:04:21 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
2023-03-28 12:05:08 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
2023-03-28 12:13:33 +0200 | thebinary | (~thebinary@49.126.154.231) |
2023-03-28 12:14:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2023-03-28 12:15:01 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) (Ping timeout: 240 seconds) |
2023-03-28 12:15:01 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Ping timeout: 240 seconds) |
2023-03-28 12:15:01 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) (Ping timeout: 240 seconds) |
2023-03-28 12:15:01 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 240 seconds) |
2023-03-28 12:15:01 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) (Ping timeout: 240 seconds) |
2023-03-28 12:15:02 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (Ping timeout: 240 seconds) |
2023-03-28 12:15:02 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Ping timeout: 240 seconds) |
2023-03-28 12:15:02 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Ping timeout: 240 seconds) |
2023-03-28 12:15:02 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 240 seconds) |
2023-03-28 12:15:04 +0200 | daylily[m] | (~daylilym]@2001:470:69fc:105::3:1d06) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | foghorn | (~foghorn@user/foghorn) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | Deide | (~deide@user/deide) (Ping timeout: 252 seconds) |
2023-03-28 12:15:05 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (Ping timeout: 246 seconds) |
2023-03-28 12:15:05 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | Quinten[m] | (~quintenkd@2001:470:69fc:105::3:1b1c) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
2023-03-28 12:15:06 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Ping timeout: 248 seconds) |
2023-03-28 12:15:09 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 246 seconds) |
2023-03-28 12:15:09 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Ping timeout: 246 seconds) |
2023-03-28 12:15:12 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) (Ping timeout: 264 seconds) |
2023-03-28 12:15:12 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 264 seconds) |
2023-03-28 12:15:17 +0200 | flo[m]1 | (~flosansps@2001:470:69fc:105::1:c22d) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | teo1 | (~teo@user/teo) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | hussam | (~hussam@user/hussam) (Ping timeout: 265 seconds) |
2023-03-28 12:15:17 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 265 seconds) |
2023-03-28 12:15:19 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 265 seconds) |
2023-03-28 12:15:19 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 260 seconds) |
2023-03-28 12:15:20 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 260 seconds) |
2023-03-28 12:15:20 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 260 seconds) |
2023-03-28 12:15:20 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) (Ping timeout: 265 seconds) |
2023-03-28 12:15:20 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 265 seconds) |
2023-03-28 12:15:20 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 265 seconds) |
2023-03-28 12:15:20 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 265 seconds) |
2023-03-28 12:15:20 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Ping timeout: 265 seconds) |
2023-03-28 12:15:25 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) (Ping timeout: 256 seconds) |
2023-03-28 12:15:25 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) (Ping timeout: 256 seconds) |
2023-03-28 12:15:25 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 256 seconds) |
2023-03-28 12:15:25 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (Ping timeout: 256 seconds) |
2023-03-28 12:15:25 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 256 seconds) |
2023-03-28 12:15:25 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 256 seconds) |
2023-03-28 12:15:26 +0200 | vglfr | (~vglfr@88.155.17.226) (Ping timeout: 252 seconds) |
2023-03-28 12:15:47 +0200 | joebe[m] | (~joebematr@2001:470:69fc:105::3:2c53) (Ping timeout: 264 seconds) |
2023-03-28 12:15:48 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 264 seconds) |
2023-03-28 12:15:48 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Ping timeout: 264 seconds) |
2023-03-28 12:16:15 +0200 | thebinary | (~thebinary@49.126.154.231) (Read error: Connection reset by peer) |
2023-03-28 12:18:49 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 12:19:00 +0200 | vglfr | (~vglfr@88.155.62.158) |
2023-03-28 12:20:17 +0200 | foghorn | (~foghorn@user/foghorn) |
2023-03-28 12:20:24 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 12:20:29 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2023-03-28 12:20:37 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2023-03-28 12:20:56 +0200 | hussam | (~hussam@user/hussam) |
2023-03-28 12:20:58 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
2023-03-28 12:21:17 +0200 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
2023-03-28 12:21:21 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2023-03-28 12:21:25 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2023-03-28 12:21:45 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
2023-03-28 12:21:51 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
2023-03-28 12:22:09 +0200 | Deide | (~deide@user/deide) |
2023-03-28 12:22:11 +0200 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) |
2023-03-28 12:22:12 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2023-03-28 12:22:16 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2023-03-28 12:23:01 +0200 | VOID[m] | (~void404ma@2001:470:69fc:105::2:c72c) |
2023-03-28 12:23:03 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
2023-03-28 12:23:05 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2023-03-28 12:24:12 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2023-03-28 12:28:22 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
2023-03-28 12:29:17 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
2023-03-28 12:29:46 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2023-03-28 12:29:48 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
2023-03-28 12:30:29 +0200 | hellwolf[m] | (~hellwolfm@2001:470:69fc:105::3:6a4) |
2023-03-28 12:30:47 +0200 | daylily[m] | (~daylilym]@2001:470:69fc:105::3:1d06) |
2023-03-28 12:31:09 +0200 | flo[m]1 | (~flosansps@2001:470:69fc:105::1:c22d) |
2023-03-28 12:32:00 +0200 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
2023-03-28 12:34:08 +0200 | phma | (phma@2001:5b0:2144:7a98:89c3:1f46:5640:74c9) (Read error: Connection reset by peer) |
2023-03-28 12:34:23 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 12:34:47 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) |
2023-03-28 12:35:06 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2023-03-28 12:35:12 +0200 | phma | (~phma@2001:5b0:210b:eef8:d9e8:208c:276f:a1fd) |
2023-03-28 12:35:36 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
2023-03-28 12:37:13 +0200 | teo1 | (~teo@user/teo) |
2023-03-28 12:37:21 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2023-03-28 12:37:37 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2023-03-28 12:37:47 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2023-03-28 12:37:49 +0200 | chomwitt | (~chomwitt@athedsl-346372.home.otenet.gr) |
2023-03-28 12:38:17 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2023-03-28 12:38:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f58d:5784:9385:7747) |
2023-03-28 12:40:15 +0200 | christiansen[m] | (~christian@2001:470:69fc:105::2:f23d) |
2023-03-28 12:40:52 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) |
2023-03-28 12:41:44 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
2023-03-28 12:43:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f58d:5784:9385:7747) (Ping timeout: 246 seconds) |
2023-03-28 12:43:37 +0200 | jade[m] | (~jade1024t@2001:470:69fc:105::3:238b) |
2023-03-28 12:43:55 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2023-03-28 12:44:04 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2023-03-28 12:44:05 +0200 | Quinten[m] | (~quintenkd@2001:470:69fc:105::3:1b1c) |
2023-03-28 12:44:11 +0200 | DavidDenoncin[m] | (~jankoj1ma@2001:470:69fc:105::238) |
2023-03-28 12:44:36 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2023-03-28 12:46:04 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 12:48:21 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2023-03-28 12:49:04 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2023-03-28 12:51:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-03-28 12:51:38 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2023-03-28 12:51:38 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2023-03-28 12:51:48 +0200 | ikervagyok[m] | (~ikervagyo@2001:470:69fc:105::2:f119) |
2023-03-28 12:51:50 +0200 | pareto-optimal-d | (~pareto-op@2001:470:69fc:105::1:b61f) |
2023-03-28 12:51:51 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
2023-03-28 12:51:52 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2023-03-28 12:52:34 +0200 | maerwald_ | maerwald |
2023-03-28 12:52:55 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-03-28 12:53:03 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
2023-03-28 12:53:03 +0200 | maerwald | (~maerwald@user/maerwald) |
2023-03-28 12:53:04 +0200 | std_mutex[m] | (~stdmutexm@2001:470:69fc:105::1:4534) |
2023-03-28 12:55:09 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) |
2023-03-28 12:56:21 +0200 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) |
2023-03-28 12:56:32 +0200 | <Hecate> | @let import System.IO.Unsafe |
2023-03-28 12:56:33 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:141:1: error: |
2023-03-28 12:56:33 +0200 | <lambdabot> | System.IO.Unsafe: Can't be safely imported! |
2023-03-28 12:56:34 +0200 | <lambdabot> | The module itself isn't safe. |
2023-03-28 12:56:37 +0200 | <Hecate> | hehe |
2023-03-28 12:57:30 +0200 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) |
2023-03-28 12:57:30 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 12:59:45 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
2023-03-28 13:00:07 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2023-03-28 13:00:24 +0200 | TheMatten[m] | (~thematten@2001:470:69fc:105::1:5ba1) |
2023-03-28 13:02:42 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 13:02:48 +0200 | joebe[m] | (~joebematr@2001:470:69fc:105::3:2c53) |
2023-03-28 13:03:24 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
2023-03-28 13:04:56 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2023-03-28 13:05:13 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
2023-03-28 13:05:18 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
2023-03-28 13:05:43 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2023-03-28 13:06:02 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2023-03-28 13:06:35 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2023-03-28 13:11:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-03-28 13:13:46 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
2023-03-28 13:15:19 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2023-03-28 13:15:20 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) |
2023-03-28 13:15:29 +0200 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) |
2023-03-28 13:15:40 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2023-03-28 13:17:02 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 13:17:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-03-28 13:20:00 +0200 | titiband1t | (~thibaut@sunp.ient.rwth-aachen.de) |
2023-03-28 13:21:02 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 13:24:07 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
2023-03-28 13:26:18 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 13:29:08 +0200 | <tomsmeding> | % import System.IO.Unsafe |
2023-03-28 13:29:08 +0200 | <yahb2> | <no output> |
2023-03-28 13:33:19 +0200 | titiband1t | (~thibaut@sunp.ient.rwth-aachen.de) () |
2023-03-28 13:34:53 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-03-28 13:35:55 +0200 | Midjak | (~Midjak@82.66.147.146) |
2023-03-28 13:39:01 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 13:41:18 +0200 | lyle | (~lyle@104.246.145.237) |
2023-03-28 13:42:46 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 13:45:50 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 13:46:10 +0200 | smallville7123 | (~Android@cpe-172-193-178-179.qld.foxtel.net.au) |
2023-03-28 13:51:14 +0200 | thebinary | (~thebinary@202.79.36.252) |
2023-03-28 13:53:03 +0200 | APic | (apic@apic.name) (Quit: Upgrading GNU Screen) |
2023-03-28 13:56:42 +0200 | thebinary | (~thebinary@202.79.36.252) (Read error: Connection reset by peer) |
2023-03-28 13:56:52 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 14:02:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
2023-03-28 14:02:17 +0200 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
2023-03-28 14:02:29 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 14:02:41 +0200 | califax | (~califax@user/califx) |
2023-03-28 14:03:25 +0200 | APic | (apic@apic.name) |
2023-03-28 14:05:30 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-03-28 14:10:38 +0200 | _leo___ | (~emmanuelu@user/emmanuelux) |
2023-03-28 14:11:24 +0200 | vglfr | (~vglfr@88.155.62.158) (Read error: Connection reset by peer) |
2023-03-28 14:12:22 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-03-28 14:12:47 +0200 | vglfr | (~vglfr@88.155.62.158) |
2023-03-28 14:14:00 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
2023-03-28 14:17:01 +0200 | jinsl | (~jinsl@123.117.252.229) (Read error: Connection reset by peer) |
2023-03-28 14:17:13 +0200 | jinsl | (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) |
2023-03-28 14:24:23 +0200 | IbizaJiang | (~IbizaJian@n219078170009.netvigator.com) |
2023-03-28 14:27:35 +0200 | <lyle> | What is a good Actor Model library for Haskell? I'm looking at https://hackage.haskell.org/package/simple-actors but already I'm getting error "No instance for (Semigroup (Behavior i))" and its last commit was in 2012. |
2023-03-28 14:28:31 +0200 | vgtw | (~vgtw@user/vgtw) |
2023-03-28 14:31:06 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2023-03-28 14:35:32 +0200 | vgtw_ | (~vgtw@user/vgtw) |
2023-03-28 14:35:56 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
2023-03-28 14:36:20 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 14:36:56 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 14:38:06 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-03-28 14:40:45 +0200 | cheater | (~Username@user/cheater) |
2023-03-28 14:41:17 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-03-28 14:42:24 +0200 | thebinary | (~thebinary@36.252.189.254) |
2023-03-28 14:42:27 +0200 | nschoe | (~q@141.101.51.197) |
2023-03-28 14:45:10 +0200 | thebinary | (~thebinary@36.252.189.254) (Read error: Connection reset by peer) |
2023-03-28 14:46:05 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2023-03-28 14:47:27 +0200 | thebinary | (~thebinary@27.34.105.55) |
2023-03-28 14:47:42 +0200 | thebinary | (~thebinary@27.34.105.55) (Read error: Connection reset by peer) |
2023-03-28 14:48:03 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 14:49:42 +0200 | thebinary | (~thebinary@27.34.105.55) |
2023-03-28 14:51:06 +0200 | thebinary | (~thebinary@27.34.105.55) (Read error: Connection reset by peer) |
2023-03-28 14:57:27 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
2023-03-28 14:58:27 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
2023-03-28 14:59:23 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
2023-03-28 15:00:50 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2023-03-28 15:01:36 +0200 | cheater | (~Username@user/cheater) |
2023-03-28 15:03:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2023-03-28 15:11:19 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 15:13:42 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 15:15:12 +0200 | npmania | (~Thunderbi@138.199.21.242) |
2023-03-28 15:15:59 +0200 | IbizaJiang | (~IbizaJian@n219078170009.netvigator.com) (Quit: Client closed) |
2023-03-28 15:17:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
2023-03-28 15:18:09 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
2023-03-28 15:24:17 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
2023-03-28 15:24:29 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 15:25:17 +0200 | <vlad> | ?src ($) |
2023-03-28 15:25:17 +0200 | <lambdabot> | f $ x = f x |
2023-03-28 15:25:23 +0200 | <vlad> | ?src compare |
2023-03-28 15:25:23 +0200 | <lambdabot> | compare x y | x == y = EQ |
2023-03-28 15:25:23 +0200 | <lambdabot> | | x <= y = LT |
2023-03-28 15:25:23 +0200 | <lambdabot> | | otherwise = GT |
2023-03-28 15:25:46 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 15:26:14 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 15:26:23 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 15:28:13 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 15:28:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-03-28 15:28:23 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 15:28:39 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 15:28:42 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 15:28:57 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 15:29:12 +0200 | <vlad> | ?src compare |
2023-03-28 15:29:13 +0200 | <lambdabot> | compare x y | x == y = EQ |
2023-03-28 15:29:13 +0200 | <lambdabot> | | x <= y = LT |
2023-03-28 15:29:13 +0200 | <lambdabot> | | otherwise = GT |
2023-03-28 15:29:17 +0200 | <vlad> | ?src foldl |
2023-03-28 15:29:17 +0200 | <lambdabot> | foldl f z [] = z |
2023-03-28 15:29:17 +0200 | <lambdabot> | foldl f z (x:xs) = foldl f (f z x) xs |
2023-03-28 15:29:25 +0200 | <vlad> | ?src foldr |
2023-03-28 15:29:26 +0200 | <lambdabot> | foldr f z [] = z |
2023-03-28 15:29:26 +0200 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
2023-03-28 15:29:40 +0200 | <vlad> | ?src >> |
2023-03-28 15:29:40 +0200 | <lambdabot> | m >> k = m >>= \_ -> k |
2023-03-28 15:29:44 +0200 | <vlad> | ?src bind |
2023-03-28 15:29:44 +0200 | <lambdabot> | Source not found. Whoa. |
2023-03-28 15:29:48 +0200 | <vlad> | ?src |
2023-03-28 15:29:48 +0200 | <lambdabot> | src <id>. Display the implementation of a standard function |
2023-03-28 15:29:51 +0200 | <vlad> | ? |
2023-03-28 15:29:55 +0200 | <vlad> | ?help |
2023-03-28 15:29:55 +0200 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
2023-03-28 15:30:00 +0200 | <vlad> | ?list |
2023-03-28 15:30:00 +0200 | <lambdabot> | What module? Try @listmodules for some ideas. |
2023-03-28 15:30:03 +0200 | <vlad> | list |
2023-03-28 15:30:09 +0200 | <vlad> | @listmodules |
2023-03-28 15:30:09 +0200 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
2023-03-28 15:30:09 +0200 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
2023-03-28 15:30:24 +0200 | <vlad> | ?help src |
2023-03-28 15:30:24 +0200 | <lambdabot> | src <id>. Display the implementation of a standard function |
2023-03-28 15:30:33 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
2023-03-28 15:31:05 +0200 | <int-e> | vlad: you can interrogate lambdabot in private chat |
2023-03-28 15:31:56 +0200 | <vlad> | thanks, I'm pretty much 100% new to IRC, I'll check a FAQ / how private chat works |
2023-03-28 15:32:46 +0200 | <vlad> | found it thanks |
2023-03-28 15:33:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
2023-03-28 15:34:11 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-03-28 15:35:02 +0200 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
2023-03-28 15:35:54 +0200 | <geekosaur> | https://github.com/geekosaur/lambdabot/blob/command-doc/doc/commands.md may also be of interest. (it's waiting to be merged) |
2023-03-28 15:36:29 +0200 | <vlad> | is there a "code of conduct type/how to use" type of document for this channel by any chance ? |
2023-03-28 15:36:46 +0200 | <vlad> | oh thanks for that link! |
2023-03-28 15:37:00 +0200 | <geekosaur> | http://haskell.org/haskellwiki/IRC_channel re rules |
2023-03-28 15:37:13 +0200 | <vlad> | great thanks |
2023-03-28 15:37:23 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
2023-03-28 15:37:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-03-28 15:38:33 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 15:39:44 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-03-28 15:39:49 +0200 | cheater_ | cheater |
2023-03-28 15:41:31 +0200 | ddellacosta | (~ddellacos@146.70.166.158) (Ping timeout: 240 seconds) |
2023-03-28 15:42:09 +0200 | thegeekinside | (~thegeekin@189.141.115.134) |
2023-03-28 15:42:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
2023-03-28 15:42:51 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 15:43:45 +0200 | ddellacosta | (~ddellacos@146.70.168.100) |
2023-03-28 15:44:10 +0200 | <ski> | vlad : additionally, "Be nice, or else!" is a dictum that's been mentioned in the past |
2023-03-28 15:47:19 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 15:48:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-03-28 15:49:55 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 15:50:10 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 15:50:22 +0200 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 265 seconds) |
2023-03-28 15:51:12 +0200 | captnemo | (~captnemo@193.32.127.232) (Client Quit) |
2023-03-28 15:51:28 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 15:52:05 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
2023-03-28 15:56:48 +0200 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
2023-03-28 15:57:03 +0200 | <vlad> | of course ski :) |
2023-03-28 16:02:59 +0200 | acidjnk | (~acidjnk@p200300d6e715c42350de91ec0776e47b.dip0.t-ipconnect.de) |
2023-03-28 16:06:07 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 16:07:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c39f:a4dc:2705:d85c) (Ping timeout: 260 seconds) |
2023-03-28 16:08:27 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
2023-03-28 16:09:13 +0200 | lortabac | (~lortabac@37.174.21.194) |
2023-03-28 16:12:08 +0200 | lortabac | (~lortabac@37.174.21.194) (Client Quit) |
2023-03-28 16:14:38 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Remote host closed the connection) |
2023-03-28 16:15:57 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 255 seconds) |
2023-03-28 16:16:21 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
2023-03-28 16:16:37 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 16:18:31 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds) |
2023-03-28 16:19:55 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
2023-03-28 16:20:02 +0200 | cheater_ | cheater |
2023-03-28 16:21:25 +0200 | vlad_ | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 16:21:48 +0200 | vlad_ | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 16:21:58 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 16:22:10 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Quit: Leaving) |
2023-03-28 16:25:59 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 16:26:05 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-03-28 16:26:45 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 16:27:01 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 16:28:36 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 16:29:06 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2023-03-28 16:29:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2023-03-28 16:34:10 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
2023-03-28 16:34:46 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 16:34:52 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 16:34:54 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 16:35:21 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 16:35:40 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 16:35:55 +0200 | acidjnk | (~acidjnk@p200300d6e715c42350de91ec0776e47b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-03-28 16:36:44 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2023-03-28 16:37:20 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) (Client Quit) |
2023-03-28 16:37:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-03-28 16:38:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
2023-03-28 16:38:21 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:7c03:cedb:8fc9:cc69) |
2023-03-28 16:39:03 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-03-28 16:42:19 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Quit: WeeChat 3.8) |
2023-03-28 16:50:55 +0200 | dipper | (~dipper@117.61.126.31) (Quit: Konversation terminated!) |
2023-03-28 16:52:00 +0200 | dipper | (~dipper@117.61.126.31) |
2023-03-28 16:52:12 +0200 | ddellacosta | (~ddellacos@143.244.47.71) |
2023-03-28 16:58:01 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 16:58:29 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 17:00:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-03-28 17:00:56 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-03-28 17:00:57 +0200 | cheater_ | cheater |
2023-03-28 17:01:51 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-03-28 17:05:40 +0200 | thebinary | (~thebinary@49.126.93.80) |
2023-03-28 17:08:15 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-03-28 17:09:23 +0200 | thebinary | (~thebinary@49.126.93.80) (Read error: Connection reset by peer) |
2023-03-28 17:11:19 +0200 | thebinary | (~thebinary@49.126.93.80) |
2023-03-28 17:11:59 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
2023-03-28 17:12:01 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
2023-03-28 17:12:43 +0200 | dipper | (~dipper@117.61.126.31) (Ping timeout: 248 seconds) |
2023-03-28 17:17:31 +0200 | thebinary | (~thebinary@49.126.93.80) (Ping timeout: 248 seconds) |
2023-03-28 17:26:29 +0200 | santiagopim | (~user@90.167.66.131) |
2023-03-28 17:32:19 +0200 | npmania | (~Thunderbi@138.199.21.242) (Remote host closed the connection) |
2023-03-28 17:32:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2023-03-28 17:33:32 +0200 | npmania | (~Thunderbi@138.199.21.242) |
2023-03-28 17:36:02 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 17:36:21 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 17:37:11 +0200 | nschoe | (~q@141.101.51.197) (Ping timeout: 265 seconds) |
2023-03-28 17:43:09 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 17:43:59 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
2023-03-28 17:47:18 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-03-28 17:48:11 +0200 | titibandit | (7efad7d72e@2a00:c70:1:178:170:40:189:1) (Remote host closed the connection) |
2023-03-28 17:50:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) |
2023-03-28 17:50:27 +0200 | gensyst | (~gensyst@user/gensyst) |
2023-03-28 17:51:08 +0200 | <gensyst> | Does anyone here have a working flake.nix for a simple Hello world program that works with VSCode + HLS? |
2023-03-28 17:51:47 +0200 | <gensyst> | I'm trying but nothing works. Even when it sort of "works", cabal starts downloading things into ~/cabal/store/ghc-9.0.2/ as soon as VSCode opens a hs file - which means it doesn't work at all. |
2023-03-28 17:51:59 +0200 | <gensyst> | The non-Flakes solution worked fine for me |
2023-03-28 17:52:19 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) |
2023-03-28 17:52:28 +0200 | `2jt | (~user@static-64-183-27-46.ipcom.comunitel.net) |
2023-03-28 17:53:24 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
2023-03-28 17:57:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-03-28 17:58:11 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-03-28 17:58:22 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 17:58:51 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-03-28 18:00:11 +0200 | `2jt | (~user@static-64-183-27-46.ipcom.comunitel.net) (Ping timeout: 248 seconds) |
2023-03-28 18:03:17 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
2023-03-28 18:04:09 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2023-03-28 18:04:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2023-03-28 18:05:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection) |
2023-03-28 18:05:41 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2023-03-28 18:06:41 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 18:07:14 +0200 | acidjnk | (~acidjnk@p200300d6e715c44675db8bd2831b28f4.dip0.t-ipconnect.de) |
2023-03-28 18:08:23 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 18:08:31 +0200 | <ncf> | gensyst: did you follow https://nixos.org/manual/nixpkgs/unstable/#haskell-shellFor ? |
2023-03-28 18:08:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
2023-03-28 18:09:05 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 18:09:53 +0200 | gentauro | (~gentauro@user/gentauro) |
2023-03-28 18:10:13 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 18:10:58 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) |
2023-03-28 18:11:06 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 18:12:21 +0200 | thebinary | (~thebinary@2400:1a00:b040:a9d1:b1b1:241:7806:777a) (Read error: Connection reset by peer) |
2023-03-28 18:14:48 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2023-03-28 18:15:36 +0200 | gmg | (~user@user/gehmehgeh) |
2023-03-28 18:17:53 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
2023-03-28 18:20:54 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 18:20:56 +0200 | famubu | (~famubu@user/famubu) |
2023-03-28 18:21:07 +0200 | <famubu> | Hi. I was trying to represent monomials and polynomials in haskell. I got types as `newtype Mono = Mono (Float, Int)` and `Newtype Poly = Poly [Mono]`. |
2023-03-28 18:21:12 +0200 | <famubu> | Is it possible to have `Num` class instance for these types? The problem was that Addition for Mono returns a Poly instead of Mono. |
2023-03-28 18:21:24 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 18:21:31 +0200 | titibandit | (~thibaut@sunp.ient.rwth-aachen.de) |
2023-03-28 18:22:34 +0200 | <geekosaur> | nope |
2023-03-28 18:23:59 +0200 | <geekosaur> | you could if you made a monomial a polynomial with list length 1, because that way they'd be the same type |
2023-03-28 18:25:07 +0200 | <geekosaur> | :t (+) |
2023-03-28 18:25:08 +0200 | <lambdabot> | Num a => a -> a -> a |
2023-03-28 18:25:42 +0200 | <geekosaur> | has to be the same `a`, not different ones |
2023-03-28 18:25:43 +0200 | econo | (uid147250@user/econo) |
2023-03-28 18:27:41 +0200 | <eldritchcookie[m> | hello if i want to make my application scriptable and do not want to create my own scripting language are there any options other than hslua or hint? |
2023-03-28 18:28:34 +0200 | <famubu> | geekosaur: Thanks for that idea. Let me try that out. |
2023-03-28 18:29:44 +0200 | <davean> | eldritchcookie[m: I think there are Javascript runtimes also |
2023-03-28 18:29:56 +0200 | <davean> | and there at least WAS a python bindings |
2023-03-28 18:30:55 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
2023-03-28 18:31:07 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-03-28 18:31:25 +0200 | <eldritchcookie[m> | yeah lua seems like the superior option |
2023-03-28 18:32:03 +0200 | <geekosaur> | famubu, also are you sure you want Float there? as in C, it's fairly limited; usually you want Double |
2023-03-28 18:33:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) |
2023-03-28 18:39:55 +0200 | pavonia | (~user@user/siracusa) |
2023-03-28 18:42:47 +0200 | sp00kins | (~sp00kins@c-71-62-172-98.hsd1.va.comcast.net) |
2023-03-28 18:43:08 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 18:44:27 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
2023-03-28 18:45:04 +0200 | <EvanR> | and I'd expect the polynomial to allow whatever "base", i.e. 3*X^2 + Y^3 + Z + 1 |
2023-03-28 18:45:36 +0200 | <EvanR> | oh that's implied I guess |
2023-03-28 18:46:19 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 18:49:27 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 18:53:15 +0200 | titibandit | (~thibaut@sunp.ient.rwth-aachen.de) (Quit: leaving) |
2023-03-28 18:57:40 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2023-03-28 18:58:59 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
2023-03-28 19:00:17 +0200 | <ski> | univariate vs. multivariate (monomials and) polynomials |
2023-03-28 19:00:48 +0200 | vglfr | (~vglfr@88.155.62.158) (Ping timeout: 265 seconds) |
2023-03-28 19:01:00 +0200 | <vlad> | hi, if I'm using ghc 9.2.5, how can I find the corresponding doc for the Prelude ? |
2023-03-28 19:02:13 +0200 | <vlad> | for example here https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html, it points to base-4.18. How do I know which base my ghc version corresponds to ? (or am I misunderstanding how this works?) |
2023-03-28 19:03:19 +0200 | <gnalzo> | vlad: ghc-pkg list |grep base |
2023-03-28 19:03:34 +0200 | <gnalzo> | on cli |
2023-03-28 19:03:50 +0200 | <vlad> | oh great thanks, noted |
2023-03-28 19:04:28 +0200 | Guest | (~Guest@137.97.127.207) |
2023-03-28 19:07:43 +0200 | <vlad> | gnalzo++ |
2023-03-28 19:09:25 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 19:10:00 +0200 | <geekosaur> | you can also look in ghcup's list, which shows the base version corresponding to each ghc version as a tag |
2023-03-28 19:12:26 +0200 | vglfr | (~vglfr@88.155.116.129) |
2023-03-28 19:13:35 +0200 | <ski> | (fwiw, i'm personally not a fan of karma point systems) |
2023-03-28 19:13:39 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 19:14:38 +0200 | Guest | (~Guest@137.97.127.207) (Ping timeout: 260 seconds) |
2023-03-28 19:16:13 +0200 | <monochrom> | It's also installed along with GHC itself, at <prefix>/share/doc/ghc-9.2.5/html/libraries/index.html |
2023-03-28 19:16:43 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-03-28 19:17:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 19:17:54 +0200 | <monochrom> | But if you disbelieve in everything non-cloud, on the cloud you can always reliably go to GHC's website, https://downloads.haskell.org/~ghc/9.2.5/docs/html/ and replace 9.2.5 with suitable version number. |
2023-03-28 19:18:40 +0200 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/wikis/commentary/libraries/version-history |
2023-03-28 19:19:03 +0200 | <EvanR> | ski++ |
2023-03-28 19:19:20 +0200 | <monochrom> | haha EvanR the irony |
2023-03-28 19:19:25 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 19:19:35 +0200 | monochrom | loves ironies and puns and dad jokes etc |
2023-03-28 19:21:00 +0200 | <famubu> | geekosaur: I didn't really get started (and doesn't yet enough to write it. Been hunting on youtube and github..). For coefficients, now I'm trying to leave it abstract. Like a `Poly a` type. |
2023-03-28 19:21:53 +0200 | <EvanR> | instance Num a => Num (Poly a) where |
2023-03-28 19:22:16 +0200 | <monochrom> | \∩/ so I can have complex number coefficients too |
2023-03-28 19:22:26 +0200 | <geekosaur> | well, except that `a` here is something like `(Float, Int)` |
2023-03-28 19:22:36 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) |
2023-03-28 19:22:37 +0200 | <EvanR> | a simple fix |
2023-03-28 19:22:43 +0200 | <monochrom> | Nah pretty sure they know to do (a, Int). |
2023-03-28 19:24:02 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 19:26:50 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-03-28 19:27:39 +0200 | B-J | (~BenziJuni@dsl-149-66-52.hive.is) (Ping timeout: 255 seconds) |
2023-03-28 19:28:12 +0200 | <EvanR> | you got your complex coefficients, quaternion coefficients, matrix ceofficients, surreal number coefficients, ... |
2023-03-28 19:28:38 +0200 | <EvanR> | Num is the gift that keeps on giving |
2023-03-28 19:29:37 +0200 | <EvanR> | > signum (1 :+ 1) |
2023-03-28 19:29:38 +0200 | <lambdabot> | 0.7071067811865475 :+ 0.7071067811865475 |
2023-03-28 19:29:58 +0200 | <famubu> | Yeah, had been looking at https://www.youtube.com/watch?v=NAs3ExQZUjA for polynomial representations. |
2023-03-28 19:35:31 +0200 | slack1256 | (~slack1256@181.43.56.176) |
2023-03-28 19:37:12 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 19:37:33 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-03-28 19:39:54 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
2023-03-28 19:40:13 +0200 | <monochrom> | Does it also cover using Legendre polynomials for the basis? >:) |
2023-03-28 19:41:16 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 19:41:34 +0200 | <ski> | @karma- ski |
2023-03-28 19:41:34 +0200 | <lambdabot> | You can't change your own karma, silly. |
2023-03-28 19:46:57 +0200 | <EvanR> | Karma Is Silly --SKI |
2023-03-28 19:47:15 +0200 | <EvanR> | (kiss principle) |
2023-03-28 19:48:57 +0200 | <monochrom> | heh |
2023-03-28 19:49:44 +0200 | <geekosaur> | pity you can't also rearrange it to pair with "ski" |
2023-03-28 19:51:38 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 19:53:09 +0200 | <tomsmeding> | you can if you add a comma |
2023-03-28 19:53:44 +0200 | <tomsmeding> | what do y'all think about this new "basic template" button that does away with the example and gets you started with a minimal file? https://play.haskell.org/ |
2023-03-28 19:54:24 +0200 | <monochrom> | kiss : skiss :: vga : svga :) |
2023-03-28 19:55:17 +0200 | <[exa]> | tomsmeding: saves a few clicks, but maybe it might be better to start off with an empty program and have the button scream "click for a demo" |
2023-03-28 19:55:27 +0200 | <[exa]> | tomsmeding: other than that it's <3 lovely <3 |
2023-03-28 19:55:37 +0200 | <monochrom> | Wait, every time I re-launch play.haskell.org I get a randomly chosen code example?! That's really more fun than the basic template... |
2023-03-28 19:55:52 +0200 | <tomsmeding> | [exa]: so you mean starting with the bare-main and having the button open the random example instead? |
2023-03-28 19:56:03 +0200 | <geekosaur> | next it'll ask chatgpt to generate a basic program for you… |
2023-03-28 19:56:07 +0200 | <monochrom> | Although, yeah, the default should be the basic template, add a button for a random example. |
2023-03-28 19:56:18 +0200 | <tomsmeding> | that meshes less well with the button fading away automatically, and I was so happy to not have to add yet another permanent button to the toolbar |
2023-03-28 19:56:25 +0200 | <tomsmeding> | monochrom: yes, it's random :) |
2023-03-28 19:56:32 +0200 | <[exa]> | tomsmeding: yeah that would be the "normal" way but now that I see you have more demos there it actually also makes sense this way :D |
2023-03-28 19:56:33 +0200 | <monochrom> | Oh haha that's a great idea for a second button "gpt-generate" |
2023-03-28 19:56:57 +0200 | <tomsmeding> | previously it was quicksort, top-down mergesort, or bottom-up mergesort; but then someone complained https://github.com/haskell/play-haskell/issues/25 |
2023-03-28 19:57:06 +0200 | <tomsmeding> | monochrom: lol, but no |
2023-03-28 19:57:41 +0200 | <tomsmeding> | monochrom: so you agree with [exa] now that [exa] doesn't anymore? |
2023-03-28 19:58:51 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 19:59:59 +0200 | <monochrom> | heh |
2023-03-28 20:00:19 +0200 | <monochrom> | I think yes. But I also think this is a very minor thing. |
2023-03-28 20:01:13 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-03-28 20:01:17 +0200 | cheater_ | cheater |
2023-03-28 20:06:15 +0200 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Remote host closed the connection) |
2023-03-28 20:06:51 +0200 | <tomsmeding> | for now I'm keeping it like this, thanks for the feedback all :) |
2023-03-28 20:15:09 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 20:15:48 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
2023-03-28 20:18:32 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 20:33:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection) |
2023-03-28 20:41:53 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 20:49:41 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 20:51:15 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 250 seconds) |
2023-03-28 20:51:55 +0200 | jinsun | (~jinsun@user/jinsun) |
2023-03-28 20:55:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-03-28 20:58:23 +0200 | vglfr | (~vglfr@88.155.116.129) (Read error: Connection reset by peer) |
2023-03-28 20:58:33 +0200 | vglfr | (~vglfr@88.155.116.129) |
2023-03-28 21:00:59 +0200 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 248 seconds) |
2023-03-28 21:02:07 +0200 | famubu | (~famubu@user/famubu) (Quit: leaving) |
2023-03-28 21:02:23 +0200 | cheater_ | (~Username@user/cheater) |
2023-03-28 21:03:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-03-28 21:03:48 +0200 | B-J | (~BenziJuni@88-149-66-52.du.xdsl.is) |
2023-03-28 21:05:01 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-03-28 21:05:09 +0200 | cheater_ | cheater |
2023-03-28 21:06:18 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 21:06:37 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 21:07:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-249.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
2023-03-28 21:09:13 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) |
2023-03-28 21:09:50 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::6b24) |
2023-03-28 21:09:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) |
2023-03-28 21:11:41 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 21:12:01 +0200 | <pkal> | What are the argument for using case-of instead of doing case distinction on the top level, and vice versa? |
2023-03-28 21:12:53 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 21:13:01 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
2023-03-28 21:13:06 +0200 | <jade[m]> | it can be embedded in an expression |
2023-03-28 21:13:23 +0200 | <monochrom> | personal preference and style |
2023-03-28 21:13:30 +0200 | <jade[m]> | + pattern matches on the top level compile down to case expressions anyways |
2023-03-28 21:13:37 +0200 | <EvanR> | you can also embed "top level" equations in an expression |
2023-03-28 21:13:46 +0200 | <monochrom> | But yeah case-of is an expression, so more general and usable at more places. |
2023-03-28 21:13:47 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 21:13:55 +0200 | <EvanR> | (let f A = X; f B = Y in f foo) |
2023-03-28 21:14:04 +0200 | <monochrom> | (usually) |
2023-03-28 21:14:10 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-03-28 21:14:24 +0200 | Unhammer | (~Unhammer@user/unhammer) |
2023-03-28 21:16:46 +0200 | <pkal> | I was thinking about case-of right after the = of a definition. So basically just a desuggared version of what Haskell would do with definitional case distinction (or whatever it is called) |
2023-03-28 21:17:03 +0200 | <EvanR> | I see the opposite sometimes |
2023-03-28 21:17:15 +0200 | santiagopim | (~user@90.167.66.131) (Ping timeout: 250 seconds) |
2023-03-28 21:17:24 +0200 | <EvanR> | wrapperFun x y z = f etc where |
2023-03-28 21:17:30 +0200 | <EvanR> | f A = ... |
2023-03-28 21:17:33 +0200 | <EvanR> | f B = ... |
2023-03-28 21:18:31 +0200 | <tomsmeding> | pkal: some people like to use 'f a b = \case ...' if the interesting case splitting is only on the last argument, because this form allows you to 1. avoid having to give a name to the scrutinised argument, like with the definitional style, and 2. avoids having to repeat 'f a b' |
2023-03-28 21:20:53 +0200 | <monochrom> | Sometimes you find yourself needing "f x = case g x of ..." which doesn't really have a better alternative. |
2023-03-28 21:21:21 +0200 | <tomsmeding> | except for what EvanR put, of which it's subjective whether that's "better" |
2023-03-28 21:21:42 +0200 | <monochrom> | Please don't overthink it. If there is only one way you can think of, do it. If there are more ways, just use your own aesthetics. This is a very minor thing. |
2023-03-28 21:21:59 +0200 | <pkal> | Ok, I was afraid this was one of those things where you read one thing in an introductory book but then everyone tells you "oh nobody actually does that". |
2023-03-28 21:22:12 +0200 | <tomsmeding> | people actively do both |
2023-03-28 21:22:25 +0200 | <EvanR> | each time it comes up roll dice to see which way to write it |
2023-03-28 21:22:29 +0200 | <tomsmeding> | lol |
2023-03-28 21:22:42 +0200 | <pkal> | monochrom: don't worry, i'm reading through some code and was wondering if there was some background i didn't know ^^ |
2023-03-28 21:22:47 +0200 | <tomsmeding> | if it's this die then you're fine https://xkcd.com/221/ |
2023-03-28 21:22:55 +0200 | <monochrom> | My personal coding style guide is a PRNG. It really doesn't matter. |
2023-03-28 21:23:33 +0200 | <monochrom> | Ugh not that PRNG heh |
2023-03-28 21:25:27 +0200 | <EvanR> | some 4 are more random than others |
2023-03-28 21:25:33 +0200 | <EvanR> | gotta check the source |
2023-03-28 21:26:14 +0200 | gensyst | (~gensyst@user/gensyst) |
2023-03-28 21:26:35 +0200 | <gensyst> | ncf, well i am using shellFor yes... here's my setup: https://discourse.nixos.org/t/trying-to-get-nix-flakes-haskell-hls-vscode-to-work-but-nothing-work… |
2023-03-28 21:27:25 +0200 | <gensyst> | TLDR (since I went away for some hours): Haskell/HLS/VSCode not working properly with nix flakes but was fine without flakes |
2023-03-28 21:27:28 +0200 | <gensyst> | no idea why |
2023-03-28 21:29:11 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
2023-03-28 21:33:50 +0200 | <tomsmeding> | % import System.Random |
2023-03-28 21:33:50 +0200 | <yahb2> | <no output> |
2023-03-28 21:33:54 +0200 | <tomsmeding> | % randomIO |
2023-03-28 21:33:54 +0200 | <yahb2> | 4 |
2023-03-28 21:33:58 +0200 | <tomsmeding> | EvanR: ^ |
2023-03-28 21:34:47 +0200 | <EvanR> | seems suspicious |
2023-03-28 21:34:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) |
2023-03-28 21:35:41 +0200 | <tomsmeding> | % randomRIO (2, 10) |
2023-03-28 21:35:42 +0200 | <yahb2> | 4 |
2023-03-28 21:35:47 +0200 | <tomsmeding> | I see nothing wrong |
2023-03-28 21:36:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Remote host closed the connection) |
2023-03-28 21:37:06 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 21:38:26 +0200 | <ski> | f (g -> ...) = ... |
2023-03-28 21:39:24 +0200 | <ski> | pkal : sometimes one if preferable, sometimes the other. there are good arguments for both. it depends on taste, style, situation |
2023-03-28 21:41:37 +0200 | <ski> | one argument for matching in the definiendum (left-hand side) is that (in case your defining equations are non-overlapping) each defining equation can then be read is isolation, as a true statement about the defined operation |
2023-03-28 21:42:17 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 21:42:49 +0200 | <ski> | tomsmeding : fwiw, there's apparently also `\cases' now, for (curriedly) multiple parameters |
2023-03-28 21:43:02 +0200 | <tomsmeding> | oh yeah that's true |
2023-03-28 21:43:13 +0200 | ski | . o O ( <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/lambda_case.html> ) |
2023-03-28 21:43:33 +0200 | <ski> | (although, when i tried in yahb2, it seemed something wasn't working correctly there) |
2023-03-28 21:43:38 +0200 | <ski> | % :t \cases x -> x |
2023-03-28 21:43:39 +0200 | <yahb2> | \cases x -> x :: p1 -> p2 -> p2 |
2023-03-28 21:44:44 +0200 | <ski> | it would be nice to have guarantees under which conditions `f (g -> ...) = ...; f (g -> ...) = ...; ...' would involve only a single call to `g', rather than multiple ones |
2023-03-28 21:46:06 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
2023-03-28 21:46:11 +0200 | <tomsmeding> | ski: yahb2 runs ghc 9.2.5 |
2023-03-28 21:46:33 +0200 | <tomsmeding> | perhaps they mistakenly included a buggy version of \cases in there lol |
2023-03-28 21:46:43 +0200 | <tomsmeding> | % \case s x -> x |
2023-03-28 21:46:43 +0200 | <yahb2> | <interactive>:242:2: error: Illegal lambda-case (use LambdaCase) ; ; <interactive>:242:7: error: Parse error in pattern: s |
2023-03-28 21:46:56 +0200 | <tomsmeding> | noteworthy is that the buggy syntax doesn't even seem to require LambdaCase! |
2023-03-28 21:47:53 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
2023-03-28 21:47:57 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
2023-03-28 21:49:47 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-038.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
2023-03-28 21:50:58 +0200 | <tomsmeding> | mjnw |
2023-03-28 21:51:06 +0200 | <tomsmeding> | oops wrong window |
2023-03-28 21:51:32 +0200 | <ski> | (also compare (view patterns, and pattern synonyms) with "Active Patterns" in F# <https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns>, which are used to programmatically partition an input into one of several alternatives, effectively giving you a `COMPLETE' set of pattern synonyms that share common code for classifying the matched input into the partitions (pattern synonyms)) |
2023-03-28 21:52:44 +0200 | <ski> | % :t \cases x y -> x |
2023-03-28 21:52:44 +0200 | <yahb2> | \cases x y -> x :: p1 -> p2 -> p3 -> p2 |
2023-03-28 21:52:45 +0200 | <ski> | % :t \cases x y -> y |
2023-03-28 21:52:46 +0200 | <yahb2> | \cases x y -> y :: p1 -> p2 -> p3 -> p3 |
2023-03-28 21:52:49 +0200 | <ski> | % :t \cases -> () |
2023-03-28 21:52:49 +0200 | <yahb2> | \cases -> () :: p -> () |
2023-03-28 21:53:10 +0200 | <tomsmeding> | ski: I can reproduce in my local ghci 9.2.5 |
2023-03-28 21:54:06 +0200 | kenran | (~user@user/kenran) |
2023-03-28 21:54:33 +0200 | ski | noticed `\cases', when starting to make a quasi-quoter (that parses Haskell syntax, and then does a tree-walker macro transform on the AST) |
2023-03-28 21:59:35 +0200 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
2023-03-28 21:59:53 +0200 | nate4 | (~nate@98.45.169.16) |
2023-03-28 22:04:14 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
2023-03-28 22:04:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-03-28 22:04:57 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
2023-03-28 22:05:28 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 22:05:37 +0200 | aaronv | (~aaronv@user/aaronv) |
2023-03-28 22:05:40 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-03-28 22:06:23 +0200 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) |
2023-03-28 22:06:53 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 22:10:14 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-03-28 22:12:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-03-28 22:14:44 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 22:16:15 +0200 | mei | (~mei@user/mei) (Quit: mei) |
2023-03-28 22:17:47 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
2023-03-28 22:19:01 +0200 | mei | (~mei@user/mei) |
2023-03-28 22:19:12 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
2023-03-28 22:19:53 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-03-28 22:28:26 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 22:29:44 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 22:29:57 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 22:31:26 +0200 | taupiqueur1 | (~taupiqueu@2a02:842a:8180:4601:fc91:cacd:bf6b:ded8) |
2023-03-28 22:32:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc91-cacd-bf6b-ded8.rev.sfr.net) |
2023-03-28 22:32:53 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-fc91-cacd-bf6b-ded8.rev.sfr.net) (Remote host closed the connection) |
2023-03-28 22:34:40 +0200 | ddellacosta | (~ddellacos@143.244.47.71) (Ping timeout: 248 seconds) |
2023-03-28 22:36:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) |
2023-03-28 22:36:49 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
2023-03-28 22:41:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75f4:92bd:7ee9:26d7) (Ping timeout: 260 seconds) |
2023-03-28 22:44:14 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2023-03-28 22:44:25 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
2023-03-28 22:53:05 +0200 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
2023-03-28 22:54:01 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
2023-03-28 22:54:02 +0200 | tomboy65 | (~tomboy64@user/tomboy64) |
2023-03-28 22:56:19 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-03-28 23:03:28 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-03-28 23:08:14 +0200 | lagash | (lagash@lagash.shelltalk.net) |
2023-03-28 23:09:27 +0200 | tomboy65 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2023-03-28 23:09:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2023-03-28 23:14:27 +0200 | captnemo | (~captnemo@193.32.127.232) |
2023-03-28 23:15:13 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
2023-03-28 23:19:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
2023-03-28 23:20:19 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-03-28 23:20:47 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Remote host closed the connection) |
2023-03-28 23:21:09 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2023-03-28 23:22:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-03-28 23:37:25 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
2023-03-28 23:37:44 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-03-28 23:39:03 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
2023-03-28 23:44:56 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
2023-03-28 23:47:22 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2023-03-28 23:47:27 +0200 | tomboy65 | (~tomboy64@user/tomboy64) |
2023-03-28 23:48:52 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
2023-03-28 23:56:05 +0200 | trev | (~trev@user/trev) (Remote host closed the connection) |