| 2023-05-06 00:00:41 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-06 00:05:14 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-05-06 00:05:16 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-06 00:07:17 +0200 | sagax | (~sagax_nb@user/sagax) (Read error: Connection reset by peer) |
| 2023-05-06 00:13:44 +0200 | acidjnk | (~acidjnk@p200300d6e7072f70c4749bcd308bf761.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-06 00:14:32 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-06 00:18:28 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-05-06 00:19:35 +0200 | <monochrom> | Haha almost miswrote on my course website: "We use GHC 9.7.2" |
| 2023-05-06 00:27:15 +0200 | hmb222 | (~hmb222@2a10:3781:b9f:1:cfc0:9d4e:fa11:c887) (Quit: Client closed) |
| 2023-05-06 00:29:11 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 00:33:43 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-06 00:34:17 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 00:43:23 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 00:44:02 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 00:44:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 00:49:01 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 00:53:05 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-05-06 00:58:09 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 00:58:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 01:06:45 +0200 | Tops2 | (~Topsi@dyndsl-091-096-145-103.ewe-ip-backbone.de) (Remote host closed the connection) |
| 2023-05-06 01:07:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 01:09:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 01:14:56 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 01:15:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-06 01:20:58 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 01:21:18 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 01:22:17 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 01:24:07 +0200 | falafel | (~falafel@2603-8000-d700-115c-7507-1e22-c289-d21b.res6.spectrum.com) |
| 2023-05-06 01:25:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 01:27:45 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-06 01:30:46 +0200 | <Nosrep> | you dont? |
| 2023-05-06 01:32:46 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-06 01:34:08 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-06 01:34:08 +0200 | mauke_ | mauke |
| 2023-05-06 01:38:16 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 01:45:07 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 256 seconds) |
| 2023-05-06 01:48:43 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-05-06 01:49:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 01:52:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-06 01:57:35 +0200 | falafel | (~falafel@2603-8000-d700-115c-7507-1e22-c289-d21b.res6.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-05-06 02:03:15 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2023-05-06 02:05:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-06 02:05:42 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 02:07:49 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 02:10:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 02:10:19 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-05-06 02:16:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-06 02:17:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-05-06 02:17:26 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-06 02:23:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 02:28:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-06 02:31:08 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-05-06 02:31:18 +0200 | abc3413215432 | (~abc341321@174.137.50.80.16clouds.com) |
| 2023-05-06 02:33:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 02:33:50 +0200 | Me-me | (~me-me@user/me-me) (Excess Flood) |
| 2023-05-06 02:34:39 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-05-06 02:34:40 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 2023-05-06 02:34:40 +0200 | Me-me | (~me-me@user/me-me) |
| 2023-05-06 02:35:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-06 02:35:37 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 02:35:57 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-05-06 02:46:31 +0200 | barcisz | (~barcisz@79.191.247.228.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-06 02:48:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-06 02:48:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-06 02:48:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-06 02:52:02 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 02:52:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-06 02:56:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 03:03:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-06 03:04:18 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:312f:6d4c:13fb:44e9) |
| 2023-05-06 03:06:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 03:09:35 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-05-06 03:09:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 03:10:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-06 03:12:08 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-05-06 03:16:32 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-06 03:16:56 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2023-05-06 03:18:18 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:312f:6d4c:13fb:44e9) (Quit: caryhartline) |
| 2023-05-06 03:23:07 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-05-06 03:23:22 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 03:35:37 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 03:36:48 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-05-06 03:41:28 +0200 | tabemann_ | tabemann |
| 2023-05-06 03:41:48 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 03:49:24 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 03:53:41 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:c914:800c:e2e5:93fd) |
| 2023-05-06 04:01:14 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 04:01:44 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 04:05:44 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:c914:800c:e2e5:93fd) (Quit: caryhartline) |
| 2023-05-06 04:06:14 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-05-06 04:08:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 04:10:04 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:d9e0:f9a:444d:cdf) |
| 2023-05-06 04:15:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 04:16:53 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 04:17:28 +0200 | synbian | (~synbian@45.182.92.127) (Remote host closed the connection) |
| 2023-05-06 04:21:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 04:26:19 +0200 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 276 seconds) |
| 2023-05-06 04:27:24 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2023-05-06 04:35:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-05-06 04:35:57 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2023-05-06 04:36:11 +0200 | talismanick | (~user@2601:204:ef80:6c80::a8e2) |
| 2023-05-06 04:36:15 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 04:37:07 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:d9e0:f9a:444d:cdf) (Quit: caryhartline) |
| 2023-05-06 04:39:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2023-05-06 04:43:48 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-06 04:46:36 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-06 04:47:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 04:48:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-05-06 04:49:01 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection) |
| 2023-05-06 04:51:52 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-06 04:56:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-05-06 04:58:11 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-05-06 05:09:10 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 05:13:38 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 05:15:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 05:19:00 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-06 05:20:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-06 05:27:01 +0200 | abc__ | (~abc341321@174.137.50.80.16clouds.com) |
| 2023-05-06 05:30:43 +0200 | abc3413215432 | (~abc341321@174.137.50.80.16clouds.com) (Ping timeout: 268 seconds) |
| 2023-05-06 05:37:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-06 05:39:05 +0200 | rf | (~rf@2605:59c8:179c:f610:9c8a:1396:9f5f:10fd) (Ping timeout: 260 seconds) |
| 2023-05-06 05:41:17 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 05:41:58 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2023-05-06 05:42:11 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-05-06 05:43:07 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 05:43:39 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2023-05-06 05:45:25 +0200 | freeside1 | (~mengwong@103.252.202.85) |
| 2023-05-06 05:48:36 +0200 | freeside_ | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 05:49:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 05:49:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 05:50:28 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 2023-05-06 05:53:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 05:56:37 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-06 06:04:06 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-05-06 06:04:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-06 06:04:39 +0200 | heraldo | (~heraldo@user/heraldo) (Client Quit) |
| 2023-05-06 06:11:45 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 06:18:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-06 06:22:54 +0200 | JScript | (~JScript@45.248.79.188) |
| 2023-05-06 06:22:56 +0200 | JScript | (~JScript@45.248.79.188) (Max SendQ exceeded) |
| 2023-05-06 06:23:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-06 06:25:24 +0200 | JScript | (~JScript@45.248.79.188) |
| 2023-05-06 06:30:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 06:32:14 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 06:35:15 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-06 06:37:19 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-06 06:38:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-05-06 06:53:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:de90:a559:45cb:c2e4) (Ping timeout: 248 seconds) |
| 2023-05-06 06:53:57 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54b:d4af:cd34:beb9) |
| 2023-05-06 06:54:15 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-05-06 06:59:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 07:00:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 07:01:13 +0200 | hochata | (~user@user/hochata) |
| 2023-05-06 07:05:04 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-06 07:05:51 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 256 seconds) |
| 2023-05-06 07:07:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:be17:f3db:c231:f74d) |
| 2023-05-06 07:09:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 07:12:32 +0200 | pulgares | (~pulgares@190.123.41.174) |
| 2023-05-06 07:12:37 +0200 | <pulgares> | Sex on Minecraft? Yes! Read all about it here! Mrs. Skilton shoves shit into Mariah Carey's pussy! Justin Bieber smokes pot and eats the corn and peanut-laden poo out of Mariah's cunt! Ohhhh yeaaahhh! https://justpaste.it/MariahCareyMinecraftALHotPocket |
| 2023-05-06 07:13:40 +0200 | pulgares | (~pulgares@190.123.41.174) (Killed (ozone (No Spam))) |
| 2023-05-06 07:13:45 +0200 | hochata | (~user@user/hochata) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-06 07:15:20 +0200 | ChanServ | +o litharge |
| 2023-05-06 07:15:21 +0200 | litharge | +b *!~*@190.123.41.* |
| 2023-05-06 07:15:31 +0200 | litharge | -o litharge |
| 2023-05-06 07:15:55 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 07:16:29 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-06 07:18:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 07:20:35 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-06 07:25:41 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-06 07:28:09 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-06 07:29:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-06 07:29:52 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-06 07:32:52 +0200 | {-d0t-} | (~q_q@user/-d0t-/x-7915216) |
| 2023-05-06 07:38:16 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-05-06 07:40:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 07:41:41 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 07:45:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 07:47:49 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54b:d4af:cd34:beb9) (Quit: caryhartline) |
| 2023-05-06 07:48:18 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54b:d4af:cd34:beb9) |
| 2023-05-06 07:58:30 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54b:d4af:cd34:beb9) (Quit: caryhartline) |
| 2023-05-06 07:59:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 08:02:12 +0200 | {-d0t-} | (~q_q@user/-d0t-/x-7915216) (Quit: Konversation terminated!) |
| 2023-05-06 08:02:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 08:12:07 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 08:12:34 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-06 08:16:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-06 08:17:08 +0200 | trev | (~trev@user/trev) |
| 2023-05-06 08:21:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 08:25:40 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 08:30:17 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 08:32:39 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 08:34:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 08:46:21 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-06 08:47:54 +0200 | trev | (~trev@user/trev) |
| 2023-05-06 08:49:31 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-05-06 08:51:01 +0200 | trev | (~trev@user/trev) |
| 2023-05-06 08:52:33 +0200 | abc__ | (~abc341321@174.137.50.80.16clouds.com) (Remote host closed the connection) |
| 2023-05-06 08:52:52 +0200 | abc__ | (~abc341321@174.137.50.80.16clouds.com) |
| 2023-05-06 08:54:47 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 08:57:12 +0200 | abc3413215432 | (~abc341321@174.137.50.80.16clouds.com) |
| 2023-05-06 08:59:19 +0200 | phma | (phma@2001:5b0:215d:bbf8:8c1b:6234:e376:bed1) (Read error: Connection reset by peer) |
| 2023-05-06 08:59:28 +0200 | abc__ | (~abc341321@174.137.50.80.16clouds.com) (Ping timeout: 240 seconds) |
| 2023-05-06 08:59:43 +0200 | phma | (~phma@host-67-44-208-19.hnremote.net) |
| 2023-05-06 09:00:46 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 09:02:56 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-05-06 09:03:20 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-05-06 09:04:19 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-05-06 09:04:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-05-06 09:05:25 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-06 09:05:33 +0200 | stallmanator | (~stallmana@user/stallmanator) (Remote host closed the connection) |
| 2023-05-06 09:05:54 +0200 | stallmanator | (~stallmana@user/stallmanator) |
| 2023-05-06 09:07:07 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 09:07:07 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 09:09:28 +0200 | kuribas | (~user@ptr-17d51eplrk7ov0dnipz.18120a2.ip6.access.telenet.be) |
| 2023-05-06 09:10:34 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 09:11:29 +0200 | acidjnk | (~acidjnk@p200300d6e7072f124d808a1b20d578e9.dip0.t-ipconnect.de) |
| 2023-05-06 09:13:07 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-06 09:15:03 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 09:17:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 09:25:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 09:28:57 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) |
| 2023-05-06 09:28:59 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 09:33:41 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 09:34:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-06 09:35:12 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 09:35:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-06 09:35:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) (Remote host closed the connection) |
| 2023-05-06 09:39:28 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-06 09:43:57 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 09:44:02 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-06 09:45:08 +0200 | trev | (~trev@user/trev) |
| 2023-05-06 09:49:33 +0200 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2023-05-06 09:49:47 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 246 seconds) |
| 2023-05-06 09:49:52 +0200 | urdh | (~urdh@user/urdh) |
| 2023-05-06 09:50:55 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-05-06 09:54:21 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-05-06 09:54:39 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 10:01:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 10:03:10 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 10:10:48 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 10:16:53 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-05-06 10:17:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-06 10:18:00 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 10:19:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-05-06 10:19:15 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2023-05-06 10:19:15 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2023-05-06 10:19:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2023-05-06 10:19:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2023-05-06 10:19:15 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-05-06 10:19:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-05-06 10:19:43 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-05-06 10:19:46 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-05-06 10:19:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-06 10:19:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-05-06 10:20:12 +0200 | remexre | (~remexre@mail.sift.net) (Read error: Connection reset by peer) |
| 2023-05-06 10:20:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-06 10:22:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 10:23:28 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-05-06 10:24:04 +0200 | remexre | (~remexre@user/remexre) |
| 2023-05-06 10:26:07 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-05-06 10:26:22 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 10:26:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-06 10:31:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-05-06 10:36:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) |
| 2023-05-06 10:40:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) (Ping timeout: 250 seconds) |
| 2023-05-06 10:44:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-06 10:45:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-06 10:50:04 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-05-06 10:52:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-06 10:56:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-06 10:58:45 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 11:05:05 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 11:08:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-06 11:09:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 11:10:47 +0200 | <JScript> | wtf |
| 2023-05-06 11:12:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 11:16:38 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-06 11:16:55 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 11:21:28 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-06 11:22:21 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 11:22:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-05-06 11:26:25 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 11:30:48 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-06 11:33:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 11:42:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-06 11:46:15 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 11:49:43 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 11:57:08 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 12:05:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-05-06 12:05:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f124d808a1b20d578e9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-06 12:07:28 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-06 12:12:50 +0200 | abc3413215432 | (~abc341321@174.137.50.80.16clouds.com) (Quit: Leaving) |
| 2023-05-06 12:17:13 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 12:18:35 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 12:27:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 12:36:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-06 12:38:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) |
| 2023-05-06 12:38:29 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-05-06 12:42:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f054:dd66:bb7:11d2) (Ping timeout: 250 seconds) |
| 2023-05-06 12:45:18 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
| 2023-05-06 12:45:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-06 12:48:37 +0200 | phma_ | (~phma@2001:5b0:215d:bbf8:7c3f:71b9:5fe3:c5d9) |
| 2023-05-06 12:50:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Ping timeout: 240 seconds) |
| 2023-05-06 12:51:48 +0200 | phma | (~phma@host-67-44-208-19.hnremote.net) (Ping timeout: 240 seconds) |
| 2023-05-06 12:52:00 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 250 seconds) |
| 2023-05-06 12:52:10 +0200 | phma_ | phma |
| 2023-05-06 12:52:15 +0200 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2023-05-06 12:54:39 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 12:55:20 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-06 12:57:50 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-05-06 12:58:01 +0200 | michalz | (~michalz@185.246.207.203) |
| 2023-05-06 13:05:26 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 13:10:13 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-05-06 13:11:21 +0200 | acidjnk | (~acidjnk@p200300d6e7072f12d44e5e29785fa403.dip0.t-ipconnect.de) |
| 2023-05-06 13:24:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 13:28:55 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-05-06 13:32:29 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-2cc5-f76b-92c7-aef3.rev.sfr.net) |
| 2023-05-06 13:33:05 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-06 13:34:13 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-06 13:40:15 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-05-06 13:46:29 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-06 13:58:45 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-06 14:02:11 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 14:08:28 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-06 14:09:08 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-06 14:12:29 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 14:12:53 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-06 14:13:06 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 14:15:29 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Meow Meow Meow Meow Meow Meow Meow...) |
| 2023-05-06 14:15:45 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-06 14:21:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 14:22:16 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-06 14:28:42 +0200 | vulfe | (~vulfe@168.91.196.163) |
| 2023-05-06 14:31:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 14:38:00 +0200 | nschoe | (~q@2a01:e0a:8e:a190:34d2:402b:3914:20d8) |
| 2023-05-06 14:38:15 +0200 | iteratee_ | (~kyle@162.218.222.207) |
| 2023-05-06 14:39:28 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:3da4:84fc:b305:355) |
| 2023-05-06 14:40:48 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 240 seconds) |
| 2023-05-06 14:41:23 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow...) |
| 2023-05-06 14:42:33 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-06 14:46:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-06 14:46:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 14:57:06 +0200 | nschoe | (~q@2a01:e0a:8e:a190:34d2:402b:3914:20d8) (Quit: Switching off) |
| 2023-05-06 14:57:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 14:59:04 +0200 | nschoe | (~q@2a01:e0a:8e:a190:5e21:af48:7a23:4dd5) |
| 2023-05-06 15:05:25 +0200 | drewolson | (~drewolson@user/drewolson) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-06 15:12:14 +0200 | akshitkr | (~user@218.185.248.66) (Ping timeout: 268 seconds) |
| 2023-05-06 15:16:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-06 15:17:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 15:18:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 15:22:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 15:23:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-06 15:25:18 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 15:30:07 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-06 15:39:28 +0200 | Achylles | (~Achylles_@45.182.57.89) |
| 2023-05-06 15:42:46 +0200 | abrar | (~abrar@pool-98-115-98-253.phlapa.fios.verizon.net) |
| 2023-05-06 15:43:26 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 15:50:06 +0200 | rf | (~rf@2605:59c8:179c:f610:1676:703c:33fe:6d20) |
| 2023-05-06 15:50:25 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-06 15:51:09 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 15:55:24 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 15:59:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 16:05:51 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 16:06:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-06 16:10:49 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 16:14:28 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 16:14:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-06 16:17:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-06 16:19:29 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 16:20:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-06 16:20:55 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 16:21:10 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-2cc5-f76b-92c7-aef3.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-06 16:22:19 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-2cc5-f76b-92c7-aef3.rev.sfr.net) |
| 2023-05-06 16:23:32 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-06 16:25:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 16:26:12 +0200 | kuribas | (~user@ptr-17d51eplrk7ov0dnipz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-05-06 16:27:59 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 16:30:02 +0200 | vulfe | (~vulfe@168.91.196.163) (Remote host closed the connection) |
| 2023-05-06 16:32:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 16:34:37 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-06 16:49:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-06 16:50:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-06 16:53:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) (Ping timeout: 250 seconds) |
| 2023-05-06 16:54:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 17:04:52 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7529:14d1:7ee4:9b12) |
| 2023-05-06 17:05:56 +0200 | vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
| 2023-05-06 17:06:29 +0200 | <hammond> | nothing to do with haskell, but im porting a fun code i did in java into haskell, but it's starting to have as much moving parts as the java one. |
| 2023-05-06 17:06:49 +0200 | <hammond> | haskell cannot eliminate this. |
| 2023-05-06 17:07:21 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-05-06 17:07:27 +0200 | <hpc> | it depends on what the moving parts are |
| 2023-05-06 17:07:40 +0200 | <jade[m]1> | I think it all depends on how you do it |
| 2023-05-06 17:07:42 +0200 | <hpc> | eventually, every program has to do what it does |
| 2023-05-06 17:08:08 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 17:08:17 +0200 | <hammond> | simple example, open coke can funtion has to be there before I can use the drink coke function. |
| 2023-05-06 17:09:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-05-06 17:10:37 +0200 | <geekosaur> | right, in that case the main thing haskell brings to the table is making it a compile time error to try to drink an unopened coke |
| 2023-05-06 17:10:45 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 17:10:48 +0200 | <geekosaur> | instead of runtime |
| 2023-05-06 17:11:00 +0200 | <hpc> | you're getting ahead of yourselves |
| 2023-05-06 17:11:05 +0200 | <hpc> | first you have to make sure it's a coke can |
| 2023-05-06 17:11:12 +0200 | <hammond> | lol |
| 2023-05-06 17:11:12 +0200 | <hpc> | if it's pepsi, you have to do something completely different :P |
| 2023-05-06 17:12:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-06 17:12:12 +0200 | <hammond> | that's OO, but data is kinda OO, if I return a coke can out of the fridge function. then it's ok. |
| 2023-05-06 17:12:22 +0200 | <hammond> | anyway |
| 2023-05-06 17:12:39 +0200 | <hammond> | im not simplifying by this abstraction. |
| 2023-05-06 17:13:06 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 17:18:28 +0200 | <jade[m]1> | oop is not data |
| 2023-05-06 17:18:39 +0200 | <jade[m]1> | nearly every paradigm works with dara |
| 2023-05-06 17:18:40 +0200 | <jade[m]1> | s/dara/data/ |
| 2023-05-06 17:19:03 +0200 | <ski> | OO is codata |
| 2023-05-06 17:19:21 +0200 | <hammond> | data is kinda like a class, but the functions are outside. |
| 2023-05-06 17:19:26 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) |
| 2023-05-06 17:19:36 +0200 | <jade[m]1> | hm? |
| 2023-05-06 17:20:06 +0200 | <ski> | pattern-matching functions correspond to (OO) classes / class constructors |
| 2023-05-06 17:20:26 +0200 | <ski> | data constructor alternatives correspond to messages (interfaces of methods) |
| 2023-05-06 17:21:02 +0200 | <ski> | where "corresponds to" means really "is dual to", or "corresponds to, under duality," |
| 2023-05-06 17:22:03 +0200 | <hammond> | ski |
| 2023-05-06 17:22:43 +0200 | <hammond> | so i can understand it, I can't use data to model real world objects in haskell? |
| 2023-05-06 17:23:24 +0200 | <ski> | what are "real world objects" ? |
| 2023-05-06 17:24:01 +0200 | <hammond> | like a car, a can of coke, a cup of java. then you have these actions on them, drink the coke. |
| 2023-05-06 17:24:21 +0200 | <jade[m]1> | in haskell you have the data and the functions on it seperated |
| 2023-05-06 17:24:26 +0200 | <hammond> | I assume with time we would model enough of these objects that we would have simulated the entire world in code. |
| 2023-05-06 17:24:36 +0200 | <jade[m]1> | what? |
| 2023-05-06 17:24:54 +0200 | <hammond> | i thought that was the object of oop. |
| 2023-05-06 17:25:01 +0200 | <ski> | you can use both "FP" (really sum/variant types, possibly inductive/recursive, with pattern-matching), and "OO" (really product/record types, possibly coinductive/corecursive, although sadly not with message-dispatching ("copattern") syntax (Agda2 has that, though)) |
| 2023-05-06 17:25:04 +0200 | <jade[m]1> | not really |
| 2023-05-06 17:25:21 +0200 | <jade[m]1> | it's how it's sometimes introduced, but that notion of modelling the world misses the point of oop |
| 2023-05-06 17:25:26 +0200 | <jade[m]1> | (imho) |
| 2023-05-06 17:25:36 +0200 | <ski> | jade[m]1 : "in haskell you have the data and the functions on it seperated" -- except when you don't |
| 2023-05-06 17:26:00 +0200 | <jade[m]1> | yeah |
| 2023-05-06 17:26:18 +0200 | <hammond> | my problem is when you define a data in haskell, you can use it as an input to a function. |
| 2023-05-06 17:26:36 +0200 | <jade[m]1> | like in structured programming as well? |
| 2023-05-06 17:26:38 +0200 | <jade[m]1> | or in oop too? |
| 2023-05-06 17:26:45 +0200 | <hammond> | i gues |
| 2023-05-06 17:26:46 +0200 | <jade[m]1> | this isn't unique to haskell |
| 2023-05-06 17:26:53 +0200 | <ski> | hammond : may i provide a (toy) example, to try to elucidate the ways in which i construe the terms "FP" vs. "OO" here, the duality between them ? |
| 2023-05-06 17:28:22 +0200 | <hammond> | sure |
| 2023-05-06 17:29:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-06 17:29:38 +0200 | <ski> | consider a type of shapes, that we want to model. a shape can be of different alternative forms, like triangle, rectangle, circle, &c.; a shape also has certain properties, like perimeter, area, a rendering operation, &c. |
| 2023-05-06 17:30:32 +0200 | <ski> | now, for each alternative form of a shape, we need to implement each property. we can imagine this schematically, in a rectangular table |
| 2023-05-06 17:30:53 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-186.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-05-06 17:31:02 +0200 | <ski> | say each column is a different alternative form, and each rom is a different property |
| 2023-05-06 17:31:16 +0200 | <ski> | so, we need to have an implementation for each cell in this table |
| 2023-05-06 17:32:08 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7529:14d1:7ee4:9b12) (Quit: caryhartline) |
| 2023-05-06 17:32:35 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) (Ping timeout: 256 seconds) |
| 2023-05-06 17:32:46 +0200 | <hammond> | sure |
| 2023-05-06 17:32:48 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-032.46.114.pool.telefonica.de) |
| 2023-05-06 17:32:49 +0200 | <ski> | in the "OO" approach, we cut this table up into columns. each column becomes an OO class (with a given class constructor). the cells (one for each row), in the column becomes the implementations of the message, for that OO class (constructor) |
| 2023-05-06 17:33:15 +0200 | <ski> | (in this view, we consider "class" and "class constructor" to be basically synonymous terms) |
| 2023-05-06 17:33:49 +0200 | caryhartline | (~caryhartl@107.140.218.181) |
| 2023-05-06 17:34:48 +0200 | <hammond> | i can see this. |
| 2023-05-06 17:35:12 +0200 | <ski> | (the object type is basically a product/record type. a record where each field/message contains the method implementing it. typically these would be essentially functions) |
| 2023-05-06 17:35:45 +0200 | <hammond> | for convience sake I assume. |
| 2023-05-06 17:35:55 +0200 | <hammond> | member functions go with the member. |
| 2023-05-06 17:35:58 +0200 | <ski> | in the "FP" approach, we insyead cut this table up into rows. each row becomes a pattern-matching function. the columns, being alternatives, are the data constructors of the `data' type (besically a sum/variant type). each row / pattern-matching function is defined by multiple defining equations, one clause/case for each alternative / data constructor |
| 2023-05-06 17:36:38 +0200 | <jade[m]1> | declarativeness |
| 2023-05-06 17:37:04 +0200 | <hammond> | and that's the difference huh. |
| 2023-05-06 17:37:08 +0200 | <hammond> | pretty clever... |
| 2023-05-06 17:37:20 +0200 | <ski> | now, in the "OO" approach, if you want to add another alternative, this is easy, you just define a brand new class (constructor). if you want to add another property, that is harder, since you now have to modify all the existing classes (and in practice, it may not suffice to just add another method, you may have to modify existing ones) |
| 2023-05-06 17:37:46 +0200 | <hammond> | the transpose manuver. |
| 2023-05-06 17:38:25 +0200 | <ski> | while, in the FP" approach, if you want to add another property, this is easy, you just define a brand new pattern-matching function. if you want to add another alternative, this is harder, since you now have to modify all the existing pattern-matching functions (and in practice, it may not suffice to just add another defining equation case/clause, you may have to modify existing ones) |
| 2023-05-06 17:39:09 +0200 | <ski> | so, there's a trade-off here, in which approach you use. you'll have to decide whether it'll be more likely to want to add (or modify) alternatives, or add (or modify) properties |
| 2023-05-06 17:40:15 +0200 | <ski> | also, on top of this, often there's also recursion in the data types, which complicates stuff (you may need to edit existing pattern-matching cases, to thread down some information down the recursive calls, so that you can access that information in the new case you added) |
| 2023-05-06 17:40:31 +0200 | <Inst_> | hmmm, this is fascinating! |
| 2023-05-06 17:40:36 +0200 | <Inst_> | @ isn't occupied on Hoogle |
| 2023-05-06 17:40:44 +0200 | <Inst_> | what would be the unfortunate side effects if @ were defined as (,)? |
| 2023-05-06 17:41:06 +0200 | <hammond> | fair enough ski. |
| 2023-05-06 17:41:20 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-05-06 17:41:33 +0200 | <ski> | also, pattern-matching typically allows you to match deeply, not just on the top data constructor .. and also match on "parallel" substructures, comparing their respective forms. i don't think something analogous tends to be usual (to the extent it even makes sense), for message-dispatching (defining an object, in terms of how it responds to messages) |
| 2023-05-06 17:41:42 +0200 | <nshepperd2> | @ by itself is reserved syntax, isn't it |
| 2023-05-06 17:41:42 +0200 | <Inst_> | someone was complaining a while back that Haskell had ugly syntax for dicts / map-like data structures |
| 2023-05-06 17:41:48 +0200 | <ski> | Inst_ : `@' is a syntactic operator |
| 2023-05-06 17:42:12 +0200 | <Inst_> | https://media.discordapp.net/attachments/968989726633779215/1104432909991026708/image.png?width=12… |
| 2023-05-06 17:42:46 +0200 | <geekosaur> | that doesn't actually surprise me, I was going to say it wasn't actually resrerved syntax as such |
| 2023-05-06 17:42:48 +0200 | <geekosaur> | BUT |
| 2023-05-06 17:43:05 +0200 | <Inst_> | i mean ! is used for bang patterns, but Vec etc have it as an access operator |
| 2023-05-06 17:43:16 +0200 | <geekosaur> | foo@ in a pattern is an as-pattern, and @Bar in an expression is a type application |
| 2023-05-06 17:43:22 +0200 | <ski> | hammond : there's also more differences, in typical practice (though you don't need to always follow them). OO tends to more often use mutable state, in place of having a method return a new version of the object (which means that the object type is recursive) |
| 2023-05-06 17:43:27 +0200 | <Inst_> | ah, that's the obvious problem |
| 2023-05-06 17:43:30 +0200 | <geekosaur> | so your operator would always need to have spaces on both sides |
| 2023-05-06 17:43:40 +0200 | <Inst_> | it screws with type application usage |
| 2023-05-06 17:43:42 +0200 | <hammond> | OK ok |
| 2023-05-06 17:44:01 +0200 | <hammond> | i knew that was a losing thing.. |
| 2023-05-06 17:44:04 +0200 | <ski> | hammond : anyway, it's easy to define `data Shape = MkShape { perimeter :: Double,area :: Double,render :: Canvas -> IO () }', doing OO, if you want to |
| 2023-05-06 17:44:26 +0200 | <Inst_> | What I'm looking for is an alias for (,) which allows me to stuff a list with key-data pairs |
| 2023-05-06 17:44:34 +0200 | <Inst_> | then use overloaded list to transform it into a map or something |
| 2023-05-06 17:44:55 +0200 | <ski> | (if you want "serious" (implementation) inheritance (which classes can give you), aka "open recursion", then that's a little bit more involved to encode, in Haskell) |
| 2023-05-06 17:44:56 +0200 | <hammond> | you've to agree that exceptions in haskell act like objects somewhat. |
| 2023-05-06 17:45:15 +0200 | <ski> | also, no subtyping in Haskell |
| 2023-05-06 17:45:15 +0200 | <hammond> | or structs |
| 2023-05-06 17:45:21 +0200 | <hammond> | ok |
| 2023-05-06 17:45:30 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-06 17:45:37 +0200 | <ski> | O'Haskell/Timber had subtyping, both for sum types, and product types, though |
| 2023-05-06 17:45:39 +0200 | <hammond> | ok subtype. |
| 2023-05-06 17:45:55 +0200 | <geekosaur> | Inst_, considered (-->) ? |
| 2023-05-06 17:46:03 +0200 | <geekosaur> | foo --> bar, baz --> gunk |
| 2023-05-06 17:46:28 +0200 | <ski> | geekosaur : "and @Bar in an expression is a type application" -- yea, i really don't like it meaning something else in expressions, than in patterns |
| 2023-05-06 17:46:32 +0200 | <geekosaur> | reads pretty obviously too |
| 2023-05-06 17:46:36 +0200 | <Inst_> | geekosaur: someone was just complaining that Haskell was terrible for dict data types; I just want something as succinct as :, but unfortunately, : is already used to construct lists as a data constructor |
| 2023-05-06 17:46:40 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 248 seconds) |
| 2023-05-06 17:47:00 +0200 | <Inst_> | # is a good candidate except that Kmett camped it with Lens |
| 2023-05-06 17:47:24 +0200 | <geekosaur> | you could always go unicode… |
| 2023-05-06 17:47:41 +0200 | <ski> | (and i recently thought of a concrete example of this problem : bidirectional pattern synonyms -- the same phrase is interpreted both as a pattern and as an expression) |
| 2023-05-06 17:47:43 +0200 | <Inst_> | is ~ more obnoxious? |
| 2023-05-06 17:48:05 +0200 | <Inst_> | that's generally used in patterns to denote laziness, at least it doesn't clash with type applications |
| 2023-05-06 17:48:11 +0200 | <ski> | `~' is irrefutable patterns |
| 2023-05-06 17:48:11 +0200 | <geekosaur> | ~ has a meaning in patterns so you would again need spaces to disambiguate |
| 2023-05-06 17:48:29 +0200 | <Inst_> | i don't get why it'd matter for patterns |
| 2023-05-06 17:48:53 +0200 | <ski> | (iirc, GHC uses the same parser for patterns and expressions) |
| 2023-05-06 17:49:02 +0200 | <geekosaur> | maybe you don't care |
| 2023-05-06 17:49:15 +0200 | <geekosaur> | but you might want to deconstruct what you construct |
| 2023-05-06 17:49:20 +0200 | <Inst_> | the intended use of @ / ~ would be [ blah @ foo, bleh @ baz ] ... -> results in a list of tuples that can be converted to a keymap |
| 2023-05-06 17:49:27 +0200 | gehmehgeh | gmg |
| 2023-05-06 17:49:38 +0200 | <ski> | Inst_ : how about `:=' ? |
| 2023-05-06 17:49:44 +0200 | <Inst_> | geekosaur: ummm, (@) = (,), you can just go to the proper tuple variation |
| 2023-05-06 17:49:55 +0200 | <Inst_> | so you deconstruct via tuples, not via the operator synonym |
| 2023-05-06 17:50:11 +0200 | <Inst_> | ~ has the problem that it's used in the type language to denote type equivalence |
| 2023-05-06 17:50:19 +0200 | <ski> | data Assoc k v = k := v |
| 2023-05-06 17:50:41 +0200 | <Inst_> | also := is bad, because it's actually a data constructor |
| 2023-05-06 17:50:47 +0200 | <c_wraith> | Inst_: ~ was chosen for type equivalence because it's already syntactically special in patterns |
| 2023-05-06 17:51:12 +0200 | <ski> | what's the problem with it being a data constructor ? |
| 2023-05-06 17:51:29 +0200 | <Inst_> | bleh, it doesn't matter, it's just idle thoughts |
| 2023-05-06 17:51:34 +0200 | <Inst_> | also, := is already in use on Hoogle |
| 2023-05-06 17:51:53 +0200 | <c_wraith> | basicallye very two-character operator is already in use. that's what modules are for |
| 2023-05-06 17:51:54 +0200 | <ski> | yea, others have used the idea |
| 2023-05-06 17:51:56 +0200 | <geekosaur> | do you care, though? |
| 2023-05-06 17:52:54 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-05-06 17:53:11 +0200 | <Inst_> | only valid operators not in use would be ~ and @ |
| 2023-05-06 17:53:44 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 17:54:14 +0200 | <c_wraith> | seeking global uniqueness for names tends to result in long names. |
| 2023-05-06 17:54:42 +0200 | <Inst_> | also ski, Assoc k v? |
| 2023-05-06 17:55:33 +0200 | nick4 | (~nick@2600:8807:9103:b700:c91d:758a:9123:f8a2) |
| 2023-05-06 17:56:04 +0200 | <c_wraith> | yeah, use a data type so you can have := syntax |
| 2023-05-06 17:56:16 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:3da4:84fc:b305:355) (Ping timeout: 248 seconds) |
| 2023-05-06 17:58:07 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 17:58:24 +0200 | <c_wraith> | and then have your IsList instance define Item (Map k v) = Assoc k v |
| 2023-05-06 17:58:41 +0200 | <c_wraith> | Like, IsList is already set up to support this case |
| 2023-05-06 17:59:36 +0200 | <c_wraith> | ah, nevermind, Map already has an IsList instance |
| 2023-05-06 17:59:54 +0200 | <c_wraith> | though its Item is a pair, so the syntax is a bit big |
| 2023-05-06 18:00:30 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-06 18:01:56 +0200 | <Inst_> | https://media.discordapp.net/attachments/968989726633779215/1104437874121789541/image.png?width=62… |
| 2023-05-06 18:02:21 +0200 | <c_wraith> | enabled -XOverloadedLists |
| 2023-05-06 18:02:46 +0200 | <c_wraith> | and then import Data.Map, and then tell ghci that the expression has the type Map Int Int |
| 2023-05-06 18:03:24 +0200 | <Inst_> | i mean i know how to do it the "proper" way, i just want to avoid typing out (u,v) or (,) u v |
| 2023-05-06 18:03:38 +0200 | <Inst_> | interestingly enough, I wonder if you can stuff |
| 2023-05-06 18:03:57 +0200 | <Inst_> | a fixity annotation for a let-claused operator |
| 2023-05-06 18:04:03 +0200 | <c_wraith> | you can |
| 2023-05-06 18:04:04 +0200 | <geekosaur> | yes |
| 2023-05-06 18:04:26 +0200 | <geekosaur> | the Report didn't sayy either way, ghc went with "allow it" |
| 2023-05-06 18:05:47 +0200 | <c_wraith> | the report didn't even accidentally imply it with the grammar? |
| 2023-05-06 18:06:22 +0200 | <Inst_> | tbh, let expression-ing potentially cancerous operators is actually pretty cool |
| 2023-05-06 18:06:42 +0200 | <Inst_> | even better, you can override operators from a wider namespace |
| 2023-05-06 18:07:03 +0200 | <ski> | % M.fromList ["foo" := False,"bar" := True] M.! "bar" |
| 2023-05-06 18:07:03 +0200 | <yahb2> | True |
| 2023-05-06 18:07:17 +0200 | caryhartline | (~caryhartl@107.140.218.181) (Quit: caryhartline) |
| 2023-05-06 18:08:03 +0200 | <geekosaur> | c_wraith, my understanding is it's a gray area |
| 2023-05-06 18:08:28 +0200 | <ski> | > let f (+) = 2 + 3 + 4 where infixr 5 + in f (-) |
| 2023-05-06 18:08:29 +0200 | <lambdabot> | error: |
| 2023-05-06 18:08:29 +0200 | <lambdabot> | The fixity signature for ‘+’ lacks an accompanying binding |
| 2023-05-06 18:08:29 +0200 | <lambdabot> | (The fixity signature must be given where ‘+’ is declared) |
| 2023-05-06 18:09:01 +0200 | <c_wraith> | ski: heh. did you just make (:=) a pattern synonym? |
| 2023-05-06 18:09:11 +0200 | ski | whistles innocently |
| 2023-05-06 18:10:43 +0200 | <Inst_> | also, wait, didn't someone try to pattern synonym (,) or operator alias it already? |
| 2023-05-06 18:11:00 +0200 | <ski> | dunno |
| 2023-05-06 18:11:32 +0200 | <Inst_> | https://hoogle.haskell.org/?hoogle=a+-%3E+b+-%3E+%28a%2Cb%29&scope=set%3Astackage |
| 2023-05-06 18:12:08 +0200 | <c_wraith> | but you see, names are only required to be unique per-module |
| 2023-05-06 18:12:38 +0200 | <c_wraith> | that's the whole point of modules in Haskell |
| 2023-05-06 18:14:28 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54e4:f3f8:9bd7:a256) |
| 2023-05-06 18:15:19 +0200 | <Inst_> | hmmm, can we import CPP macros? |
| 2023-05-06 18:15:34 +0200 | <Inst_> | i mean I know -XCPP is a thing |
| 2023-05-06 18:16:28 +0200 | <Inst_> | that might actually be interesting, i.e, I'd like to define something to demacro out into a let expression |
| 2023-05-06 18:17:06 +0200 | oo_miguel | (~Thunderbi@77.252.47.78) |
| 2023-05-06 18:17:17 +0200 | <Inst_> | then just import it |
| 2023-05-06 18:17:51 +0200 | <Inst_> | but i guess that's getting really lispy |
| 2023-05-06 18:18:00 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
| 2023-05-06 18:19:39 +0200 | econo | (uid147250@user/econo) |
| 2023-05-06 18:20:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-05-06 18:21:55 +0200 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Client Quit) |
| 2023-05-06 18:23:55 +0200 | <geekosaur> | you can't `import` but you can `#include` |
| 2023-05-06 18:24:06 +0200 | <geekosaur> | cpp macros are completely independent |
| 2023-05-06 18:26:39 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-05-06 18:28:03 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
| 2023-05-06 18:29:34 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-05-06 18:37:15 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-06 18:40:41 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 2023-05-06 18:40:42 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:54e4:f3f8:9bd7:a256) (Quit: caryhartline) |
| 2023-05-06 18:45:14 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 18:48:09 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-05-06 18:49:09 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:28d0:1cca:4fbb:90d6) |
| 2023-05-06 18:52:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-06 18:53:45 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:28d0:1cca:4fbb:90d6) (Client Quit) |
| 2023-05-06 18:54:26 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-06 18:56:42 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 18:58:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-06 18:58:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-06 19:05:07 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-05-06 19:05:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-06 19:18:54 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-06 19:19:56 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 19:21:04 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds)) |
| 2023-05-06 19:21:23 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2023-05-06 19:21:54 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2023-05-06 19:22:07 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-05-06 19:25:16 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-05-06 19:25:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-05-06 19:25:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 19:26:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-06 19:32:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-06 19:35:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-06 19:35:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 19:54:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 19:54:49 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 256 seconds) |
| 2023-05-06 19:54:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-05-06 19:56:53 +0200 | tan00kee | (~paul@pauloliver.dev) |
| 2023-05-06 19:57:54 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) |
| 2023-05-06 19:59:23 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-06 20:00:58 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:683a:770:251e:25d7) |
| 2023-05-06 20:01:39 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:5dc3:37f0:5096:1b30) (Ping timeout: 265 seconds) |
| 2023-05-06 20:02:40 +0200 | merijn | (~merijn@c-001-001-013.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-05-06 20:03:43 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 20:04:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-06 20:04:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-06 20:04:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-06 20:07:54 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-06 20:09:23 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-06 20:11:05 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
| 2023-05-06 20:11:48 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 20:14:40 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 2023-05-06 20:14:53 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-05-06 20:15:07 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-06 20:19:16 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-05-06 20:20:51 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-06 20:23:00 +0200 | caryhartline | (~caryhartl@107.140.218.181) |
| 2023-05-06 20:23:02 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 20:25:04 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 20:27:41 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-05-06 20:28:58 +0200 | Achylles | (~Achylles_@45.182.57.89) (Remote host closed the connection) |
| 2023-05-06 20:30:02 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2023-05-06 20:30:41 +0200 | mud | (~mud@user/kadoban) |
| 2023-05-06 20:31:51 +0200 | u0_a202 | (~u0_a202@47.60.32.137) |
| 2023-05-06 20:32:03 +0200 | u0_a202 | dom0 |
| 2023-05-06 20:34:42 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2023-05-06 20:35:37 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-05-06 20:36:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-06 20:36:50 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 20:37:04 +0200 | dom0 | (~u0_a202@47.60.32.137) (Remote host closed the connection) |
| 2023-05-06 20:41:32 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-05-06 20:44:25 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2023-05-06 20:50:34 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 20:56:20 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 268 seconds) |
| 2023-05-06 20:57:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-05-06 20:58:56 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 21:01:33 +0200 | caryhartline | (~caryhartl@107.140.218.181) (Quit: caryhartline) |
| 2023-05-06 21:10:35 +0200 | tan00kee | (~paul@pauloliver.dev) (Quit: WeeChat 3.8) |
| 2023-05-06 21:12:03 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-05-06 21:17:50 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 21:21:40 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 21:22:05 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-05-06 21:23:21 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-06 21:25:23 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 21:25:28 +0200 | u0_a202 | (~u0_a202@47.60.32.137) |
| 2023-05-06 21:25:33 +0200 | u0_a202 | dom0 |
| 2023-05-06 21:27:10 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-06 21:27:25 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-06 21:29:19 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-05-06 21:29:19 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-05-06 21:29:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-06 21:30:12 +0200 | dom0 | (~u0_a202@47.60.32.137) (Remote host closed the connection) |
| 2023-05-06 21:39:08 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:b7a5:1ae4:b19:9837) |
| 2023-05-06 21:54:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-05-06 21:54:57 +0200 | nschoe | (~q@2a01:e0a:8e:a190:5e21:af48:7a23:4dd5) (Ping timeout: 256 seconds) |
| 2023-05-06 21:57:47 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-06 21:58:24 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-06 22:03:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-06 22:03:23 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-06 22:21:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-06 22:26:16 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:291e:f61:c6a9:de3c) |
| 2023-05-06 22:31:23 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-05-06 22:36:22 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-05-06 22:45:25 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-06 22:49:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-06 22:53:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-06 22:57:35 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-05-06 23:05:53 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-06 23:18:25 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-06 23:22:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-05-06 23:23:35 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-06 23:24:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-06 23:26:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-06 23:28:02 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-06 23:29:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8124:9f4a:3c7a:eaa0) |
| 2023-05-06 23:39:08 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-2cc5-f76b-92c7-aef3.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-06 23:44:09 +0200 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2023-05-06 23:46:28 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-05-06 23:57:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
