| 2023-05-21 00:00:25 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 00:01:07 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-21 00:03:55 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-05-21 00:04:12 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) |
| 2023-05-21 00:05:20 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 00:05:43 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-21 00:08:59 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) (Ping timeout: 256 seconds) |
| 2023-05-21 00:09:48 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-21 00:24:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-05-21 00:25:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 00:27:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-21 00:33:24 +0200 | michalz | (~michalz@185.246.204.72) (Remote host closed the connection) |
| 2023-05-21 00:37:25 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 00:38:02 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 00:43:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f30242f00cc193c3fe9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-21 00:45:49 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-05-21 00:53:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-05-21 01:02:58 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-11ef-7e9b-10a4-0f94.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-21 01:03:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:510d:16a:b9b3:3b4) (Remote host closed the connection) |
| 2023-05-21 01:07:54 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 01:12:01 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 01:16:28 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 01:20:31 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 01:23:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 01:27:31 +0200 | ddellacosta | (~ddellacos@143.244.47.88) |
| 2023-05-21 01:30:28 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 01:30:45 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-21 01:31:20 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-21 01:32:40 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-05-21 01:32:41 +0200 | mauke_ | mauke |
| 2023-05-21 01:34:31 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 01:38:31 +0200 | vandita | (~vandit@92-249-150-135.static.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-21 01:40:38 +0200 | vandita | (~vandit@178-164-207-235.pool.digikabel.hu) |
| 2023-05-21 01:42:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 2023-05-21 01:43:17 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-05-21 01:57:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-21 01:57:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-21 02:01:11 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-21 02:03:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-21 02:05:36 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 02:07:49 +0200 | user__ | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-21 02:09:35 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 02:10:21 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 02:14:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-21 02:24:37 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-05-21 02:25:41 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2023-05-21 02:27:39 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 02:28:10 +0200 | foul_owl | (~kerry@212.102.47.39) (Ping timeout: 268 seconds) |
| 2023-05-21 02:43:50 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-21 02:45:26 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 02:47:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-21 02:52:24 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 02:53:43 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 02:55:40 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-21 02:56:21 +0200 | <Inst> | is there a way to use a package in cabal that a dependency uses, but without importing it yourself? |
| 2023-05-21 02:59:36 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-21 03:09:51 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 03:14:17 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 2023-05-21 03:15:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-21 03:21:11 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-21 03:28:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 03:31:36 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-21 03:33:15 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 03:37:31 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 03:40:19 +0200 | vandita | (~vandit@178-164-207-235.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-21 03:41:58 +0200 | vandita | (~vandit@178-164-188-44.pool.digikabel.hu) |
| 2023-05-21 03:45:25 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-21 03:46:51 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 03:47:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-05-21 03:48:31 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-21 03:49:02 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 03:52:08 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 04:08:25 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-21 04:10:29 +0200 | td_ | (~td@i5387091D.versanet.de) |
| 2023-05-21 04:16:25 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2973:25bc:e202:9763) (Remote host closed the connection) |
| 2023-05-21 04:16:43 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2973:25bc:e202:9763) |
| 2023-05-21 04:24:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 04:25:37 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 04:28:09 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 04:30:01 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 04:33:58 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-21 04:34:35 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 268 seconds) |
| 2023-05-21 04:37:10 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 04:42:07 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-21 04:43:33 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-05-21 04:45:04 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
| 2023-05-21 04:55:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-05-21 04:58:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-21 04:58:23 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 04:58:29 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 05:02:47 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 05:10:46 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 05:14:02 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-21 05:14:45 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 05:17:37 +0200 | radioredwagon | (~radioredw@user/radioredwagon) |
| 2023-05-21 05:23:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-05-21 05:23:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-21 05:30:22 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-21 05:37:20 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-05-21 05:43:48 +0200 | rf | (~rf@2605:59c8:179c:f610:1a48:f594:f5b9:7d51) (Ping timeout: 240 seconds) |
| 2023-05-21 05:49:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-21 05:49:19 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-05-21 05:49:19 +0200 | cheater_ | cheater |
| 2023-05-21 05:54:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-21 05:55:03 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 05:58:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-21 06:01:29 +0200 | RedNifre | (~RedNifre@dslb-002-205-008-223.002.205.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2023-05-21 06:02:47 +0200 | vandita | (~vandit@178-164-188-44.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-21 06:03:32 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-21 06:04:41 +0200 | vandita | (~vandit@178-164-171-236.pool.digikabel.hu) |
| 2023-05-21 06:07:42 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-05-21 06:10:49 +0200 | bilegeek | (~bilegeek@15.sub-174-228-66.myvzw.com) |
| 2023-05-21 06:14:47 +0200 | RedNifre | (~RedNifre@dslb-002-201-038-109.002.201.pools.vodafone-ip.de) |
| 2023-05-21 06:21:28 +0200 | bilegeek | (~bilegeek@15.sub-174-228-66.myvzw.com) (Quit: Leaving) |
| 2023-05-21 06:28:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-05-21 06:36:19 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 06:40:03 +0200 | tom_ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 2023-05-21 06:40:04 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Read error: Connection reset by peer) |
| 2023-05-21 06:40:31 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 06:42:47 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 2023-05-21 06:50:55 +0200 | radioredwagon | (~radioredw@user/radioredwagon) (Quit: Client closed) |
| 2023-05-21 06:55:41 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-05-21 06:55:47 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 06:58:01 +0200 | dsrt^ | (~dsrt@73.237.206.60) (Ping timeout: 240 seconds) |
| 2023-05-21 07:00:16 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 07:00:23 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-21 07:09:05 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 07:13:01 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 07:20:13 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 07:20:53 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 07:24:23 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 07:24:44 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:9316:efec:54e8:a2ba) |
| 2023-05-21 07:25:00 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-21 07:25:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 07:25:19 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-05-21 07:26:18 +0200 | <Inst> | ::smug:: |
| 2023-05-21 07:26:42 +0200 | <Inst> | I hope FJVallarino accepts my commit, but probably not |
| 2023-05-21 07:27:29 +0200 | <Inst> | let's see, how many semantic elements are in edifice's hello world |
| 2023-05-21 07:29:12 +0200 | <Inst> | yup, can potentially beat edifice: |
| 2023-05-21 07:29:26 +0200 | <Inst> | 8 semantic elements vs 12 in edifice |
| 2023-05-21 07:41:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-21 07:46:14 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 07:50:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-21 07:59:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 08:05:33 +0200 | vandita | (~vandit@178-164-171-236.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2023-05-21 08:07:04 +0200 | vandita | (~vandit@178-164-207-227.pool.digikabel.hu) |
| 2023-05-21 08:08:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f55b1a9fcd76e1a49a2.dip0.t-ipconnect.de) |
| 2023-05-21 08:17:30 +0200 | trev | (~trev@user/trev) |
| 2023-05-21 08:18:23 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-21 08:19:08 +0200 | mei | (~mei@user/mei) |
| 2023-05-21 08:20:22 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-21 08:23:37 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 08:28:01 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 08:32:11 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 08:32:31 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-21 08:33:11 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-21 08:36:23 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 08:38:07 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:e418:a15:6c7d:2dee) (Read error: Connection reset by peer) |
| 2023-05-21 08:44:13 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2023-05-21 08:44:17 +0200 | statusbot8 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-05-21 08:44:26 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-05-21 08:46:11 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 268 seconds) |
| 2023-05-21 08:46:11 +0200 | erisco_ | erisco |
| 2023-05-21 08:56:13 +0200 | merijn | (~merijn@86.86.29.250) |
| 2023-05-21 08:57:08 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-05-21 09:00:45 +0200 | merijn | (~merijn@86.86.29.250) (Ping timeout: 240 seconds) |
| 2023-05-21 09:00:55 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 09:07:54 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 250 seconds) |
| 2023-05-21 09:13:59 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:9316:efec:54e8:a2ba) (Ping timeout: 246 seconds) |
| 2023-05-21 09:17:34 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 265 seconds) |
| 2023-05-21 09:18:20 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-21 09:20:08 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-21 09:23:53 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-21 09:26:39 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) |
| 2023-05-21 09:28:44 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 268 seconds) |
| 2023-05-21 09:41:30 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-21 09:45:26 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-21 09:46:45 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) |
| 2023-05-21 09:53:07 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 09:53:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 09:55:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-21 09:57:20 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-05-21 09:57:25 +0200 | vandita | (~vandit@178-164-207-227.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-21 09:59:18 +0200 | vandita | (~vandit@84-236-3-157.pool.digikabel.hu) |
| 2023-05-21 10:17:35 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 10:21:35 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 10:25:55 +0200 | trev | (~trev@user/trev) |
| 2023-05-21 10:34:35 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-21 10:38:52 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 10:39:52 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-21 10:41:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34cc:c2aa:d793:2028) |
| 2023-05-21 10:46:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34cc:c2aa:d793:2028) (Ping timeout: 240 seconds) |
| 2023-05-21 10:48:45 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) (Ping timeout: 256 seconds) |
| 2023-05-21 10:49:31 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-21 10:49:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-05-21 10:49:57 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-21 10:51:16 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-05-21 10:56:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-05-21 10:59:37 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-05-21 11:00:03 +0200 | hunk[m] | (~hunkmatri@2001:470:69fc:105::3:481b) (Remote host closed the connection) |
| 2023-05-21 11:00:42 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-21 11:01:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-21 11:01:45 +0200 | ujjwalgupta[m] | (~guptaujjw@2001:470:69fc:105::3:46b5) (Remote host closed the connection) |
| 2023-05-21 11:10:38 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-05-21 11:30:01 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-21 11:45:14 +0200 | Tewuzij[m] | (~tewuzijtc@2001:470:69fc:105::2:eddc) () |
| 2023-05-21 11:47:53 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 11:52:01 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-21 11:53:02 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-21 11:54:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 11:58:50 +0200 | vandita | (~vandit@84-236-3-157.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-21 12:00:40 +0200 | vandita | (~vandit@84-236-97-62.pool.digikabel.hu) |
| 2023-05-21 12:01:02 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8029-0ed9-6ced-baf7.rev.sfr.net) |
| 2023-05-21 12:08:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f55b1a9fcd76e1a49a2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-21 12:08:27 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 12:08:53 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-21 12:12:31 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 12:12:54 +0200 | <ncf> | is there a function to unsafely convert a Traversal to a Lens, when i know there's exactly one value and i don't have a Monoid instance? |
| 2023-05-21 12:13:22 +0200 | <ncf> | :t singular |
| 2023-05-21 12:13:24 +0200 | <lambdabot> | (Conjoined p, Functor f) => Traversing p f s t a a -> Over p f s t a a |
| 2023-05-21 12:13:27 +0200 | <ncf> | cool |
| 2023-05-21 12:20:07 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-21 12:22:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-21 12:22:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-21 12:23:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-21 12:24:28 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-05-21 12:28:29 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-05-21 12:30:31 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) |
| 2023-05-21 12:33:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-21 12:36:06 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-21 12:36:23 +0200 | jforberg | (~jforberg@c-56aa70d5.016-9-6c756e3.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2023-05-21 12:36:47 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 264 seconds) |
| 2023-05-21 12:57:55 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-21 13:04:38 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) |
| 2023-05-21 13:17:31 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-21 13:20:55 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 2023-05-21 13:21:45 +0200 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-21 13:22:03 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-21 13:24:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 13:27:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-05-21 13:28:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-21 13:29:33 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-21 13:34:11 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-21 13:41:10 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-05-21 13:44:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-21 13:50:49 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-21 13:54:03 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-21 13:58:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-21 14:02:54 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-21 14:06:20 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) |
| 2023-05-21 14:11:05 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-21 14:12:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f55b1a9fcd76e1a49a2.dip0.t-ipconnect.de) |
| 2023-05-21 14:16:51 +0200 | <tomsmeding> | Inst[m]: I don't think so |
| 2023-05-21 14:17:50 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-05-21 14:22:23 +0200 | vandita | (~vandit@84-236-97-62.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-21 14:24:26 +0200 | vandita | (~vandit@176-241-19-6.pool.digikabel.hu) |
| 2023-05-21 14:24:47 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-05-21 14:27:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-21 14:43:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-05-21 14:45:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34cc:c2aa:d793:2028) |
| 2023-05-21 14:49:11 +0200 | xameer | (~xameer@144.48.224.179) (Ping timeout: 240 seconds) |
| 2023-05-21 14:49:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:34cc:c2aa:d793:2028) (Ping timeout: 250 seconds) |
| 2023-05-21 14:54:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 14:59:36 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-05-21 15:02:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ae3:d505:325f:a1c9) |
| 2023-05-21 15:05:08 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 240 seconds) |
| 2023-05-21 15:10:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ae3:d505:325f:a1c9) (Quit: xff0x) |
| 2023-05-21 15:11:36 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-21 15:14:31 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) |
| 2023-05-21 15:16:34 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 15:16:47 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 2023-05-21 15:21:11 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-21 15:29:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 15:30:24 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-21 15:30:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-21 15:33:11 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-21 15:39:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2023-05-21 15:39:05 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-05-21 15:41:16 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-05-21 15:42:31 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-21 15:42:39 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-21 15:47:09 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Client Quit) |
| 2023-05-21 15:48:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-21 15:51:49 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-05-21 15:52:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-21 15:55:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-05-21 15:55:11 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-21 15:55:13 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-21 15:55:14 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) |
| 2023-05-21 16:02:07 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 2023-05-21 16:19:28 +0200 | nick_ | (~nick@2600:8807:9103:b700:d90d:717:aeee:2cca) |
| 2023-05-21 16:23:08 +0200 | vandita | (~vandit@176-241-19-6.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-21 16:24:48 +0200 | vandita | (~vandit@84-236-97-8.pool.digikabel.hu) |
| 2023-05-21 16:25:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 16:26:48 +0200 | nick_ | (~nick@2600:8807:9103:b700:d90d:717:aeee:2cca) (Ping timeout: 240 seconds) |
| 2023-05-21 16:28:52 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-05-21 16:30:18 +0200 | hackyhacker | (~hackyhack@213.219.158.3.adsl.dyn.edpnet.net) |
| 2023-05-21 16:30:31 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-05-21 16:31:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-21 16:31:45 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-21 16:35:45 +0200 | hackyhacker | (~hackyhack@213.219.158.3.adsl.dyn.edpnet.net) (Quit: Client closed) |
| 2023-05-21 16:38:05 +0200 | nick_ | (~nick@2600:8807:9103:b700:d90d:717:aeee:2cca) |
| 2023-05-21 16:38:14 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-05-21 16:41:15 +0200 | levin[m] | (~levinlevi@2001:470:69fc:105::3:5f68) |
| 2023-05-21 16:44:32 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) |
| 2023-05-21 16:47:55 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) (Read error: Connection reset by peer) |
| 2023-05-21 16:48:14 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) |
| 2023-05-21 16:58:39 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-21 17:03:48 +0200 | nick_ | (~nick@2600:8807:9103:b700:d90d:717:aeee:2cca) (Ping timeout: 240 seconds) |
| 2023-05-21 17:09:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-21 17:15:57 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-21 17:16:09 +0200 | rf | (~rf@2605:59c8:179c:f610:2be8:1349:28e4:1422) |
| 2023-05-21 17:16:31 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) (Ping timeout: 240 seconds) |
| 2023-05-21 17:17:25 +0200 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-21 17:18:08 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-21 17:19:00 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-21 17:20:05 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2023-05-21 17:20:06 +0200 | coot_ | coot |
| 2023-05-21 17:23:31 +0200 | acidjnk | (~acidjnk@p200300d6e7072f55b1a9fcd76e1a49a2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-21 17:26:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 17:36:00 +0200 | user____1 | (~user@dynamic-046-114-176-045.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-05-21 17:37:38 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6bd4:c0cd:e30a:ff91) |
| 2023-05-21 17:38:16 +0200 | user____1 | (~user@dynamic-046-114-227-240.46.114.pool.telefonica.de) |
| 2023-05-21 17:40:41 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-21 17:42:06 +0200 | econo | (uid147250@user/econo) |
| 2023-05-21 17:45:02 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-21 17:48:57 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-21 17:55:09 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) |
| 2023-05-21 18:01:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-21 18:12:24 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 18:16:47 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 18:17:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-21 18:20:37 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-21 18:24:01 +0200 | vandita | (~vandit@84-236-97-8.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-21 18:26:10 +0200 | vandita | (~vandit@176-241-62-201.pool.digikabel.hu) |
| 2023-05-21 18:29:09 +0200 | evincar | (~evincar@user/evincar) |
| 2023-05-21 18:29:28 +0200 | machinedgod | (~machinedg@84-115-230-196.cable.dynamic.surfer.at) (Ping timeout: 240 seconds) |
| 2023-05-21 18:29:55 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 18:34:01 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 18:35:19 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-21 18:37:32 +0200 | mechap | (~mechap@user/mechap) |
| 2023-05-21 18:38:03 +0200 | ubert | (~Thunderbi@2001:871:263:e49d:5d22:6d63:97a7:2777) |
| 2023-05-21 18:44:28 +0200 | ubert | (~Thunderbi@2001:871:263:e49d:5d22:6d63:97a7:2777) (Ping timeout: 240 seconds) |
| 2023-05-21 18:50:25 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 256 seconds) |
| 2023-05-21 18:59:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 19:00:32 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 19:01:48 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-21 19:03:44 +0200 | xameer | (~xameer@144.48.224.179) |
| 2023-05-21 19:04:59 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-21 19:10:40 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2023-05-21 19:11:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-21 19:18:03 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 19:22:59 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-05-21 19:23:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-21 19:23:17 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-21 19:25:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-05-21 19:26:29 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 19:29:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-21 19:30:31 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 19:31:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 19:34:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-21 19:34:56 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-21 19:38:04 +0200 | brettgilio | (~brettgili@x-irc.gq) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-21 19:38:18 +0200 | brettgilio | (~brettgili@x-irc.gq) |
| 2023-05-21 19:38:22 +0200 | brettgilio | (~brettgili@x-irc.gq) (Client Quit) |
| 2023-05-21 19:38:32 +0200 | brettgilio | (~brettgili@x-irc.gq) |
| 2023-05-21 19:40:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-21 19:48:29 +0200 | evincar | (~evincar@user/evincar) (Ping timeout: 268 seconds) |
| 2023-05-21 19:56:31 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-21 19:57:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-05-21 20:00:47 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 264 seconds) |
| 2023-05-21 20:12:07 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-21 20:14:31 +0200 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 240 seconds) |
| 2023-05-21 20:16:14 +0200 | vandita | (~vandit@176-241-62-201.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-21 20:17:20 +0200 | vandita | (~vandit@84-236-21-26.pool.digikabel.hu) |
| 2023-05-21 20:23:44 +0200 | michalz | (~michalz@185.246.204.90) |
| 2023-05-21 20:26:39 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-21 20:28:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 20:29:15 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-05-21 20:38:00 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-21 20:41:07 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-21 20:46:44 +0200 | <justsomeguy> | What happened to Haskell Wingman? It seems like it just dissapeared off the map... |
| 2023-05-21 20:47:35 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-21 20:51:04 +0200 | <justsomeguy> | It seems like it was absorbed by hasekell-language-server, maybe? https://github.com/haskell/haskell-language-server/tree/b84110b508e2f30899b84ffc3928a5e20be1615f/p… |
| 2023-05-21 20:51:46 +0200 | <Hecate> | ask Sandy Maguire |
| 2023-05-21 20:52:53 +0200 | <justsomeguy> | Did you think Sandy would respond to a random internet stranger? I mean, it can't hurt to try... |
| 2023-05-21 20:56:03 +0200 | <ncf> | something i heard literally yesterday on the univalent agda discord: > One of the big reasons wingman isn’t maintained right now: program synthesis is a lot easier than printing! |
| 2023-05-21 20:56:40 +0200 | <geekosaur> | 🙂 |
| 2023-05-21 21:00:32 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:5c6b:37b7:8e0:39f9) |
| 2023-05-21 21:01:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-05-21 21:04:09 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:5c6b:37b7:8e0:39f9) (Read error: Connection reset by peer) |
| 2023-05-21 21:07:17 +0200 | vglfr | (~vglfr@209.198.137.192) |
| 2023-05-21 21:19:11 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 240 seconds) |
| 2023-05-21 21:21:14 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-21 21:27:48 +0200 | <justsomeguy> | I'm reading "Monads for Functional Programming" by Wadler. In section 4, there is an interpreter for arrays. It has a function, newarray :: Val -> Arr. Is there a function in Data.Array that can give me something similar to :: [a] -> Array (Int,a) [a] so I can try this out in the repl? |
| 2023-05-21 21:28:23 +0200 | <justsomeguy> | I'm just generally confused by arrays, to be honest. |
| 2023-05-21 21:28:45 +0200 | <jade[m]> | why is that? |
| 2023-05-21 21:28:49 +0200 | <justsomeguy> | ...maybe I want listArray... |
| 2023-05-21 21:29:38 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-21 21:30:18 +0200 | <monochrom> | The code in the paper is not going to be tryable in GHC. |
| 2023-05-21 21:30:56 +0200 | <justsomeguy> | Not directly, sure. The list related stuff was pretty easy to translate into real Haskell so far. |
| 2023-05-21 21:31:07 +0200 | <monochrom> | But if you use Data.Array, it's [a] -> Array Int a |
| 2023-05-21 21:31:13 +0200 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2023-05-21 21:31:35 +0200 | <monochrom> | or whatever the actual type of listArray is. |
| 2023-05-21 21:31:41 +0200 | <ncf> | isn't wadler always insisting that code included in a paper should compile as-is :p |
| 2023-05-21 21:31:54 +0200 | <ncf> | (granted, it's an old paper) |
| 2023-05-21 21:32:19 +0200 | <monochrom> | Oh good luck compiling the ⋆ operator! |
| 2023-05-21 21:33:08 +0200 | <justsomeguy> | ⋆ ≡ (>>=) |
| 2023-05-21 21:33:25 +0200 | <ncf> | UnicodeSyntax? |
| 2023-05-21 21:33:38 +0200 | <monochrom> | The paper predates UnicodeSyntax. |
| 2023-05-21 21:33:44 +0200 | <justsomeguy> | Ohhhh |
| 2023-05-21 21:33:52 +0200 | <monochrom> | No way the paper was compilable at its time. |
| 2023-05-21 21:34:03 +0200 | <justsomeguy> | I was just saying that the star symbol can be translated into bind. |
| 2023-05-21 21:34:35 +0200 | <justsomeguy> | I'm just typing it out in an ad-hoc way and trying my best to make a reasonable translation. Getting a little hairy now. |
| 2023-05-21 21:35:12 +0200 | <monochrom> | Yeah I don't think old Haskell had an "Arr" type either. |
| 2023-05-21 21:35:26 +0200 | <justsomeguy> | ^_^ |
| 2023-05-21 21:36:30 +0200 | justsomeguy | decides to give the paper a good read-through without trying the code first, and to circle back and translate the code in a second pass. |
| 2023-05-21 21:37:15 +0200 | <justsomeguy> | Anyways, it's a pretty good paper. I think monads are starting to click, but though I can't explain them if someone asked. |
| 2023-05-21 21:43:32 +0200 | <ski> | @type listArray |
| 2023-05-21 21:43:33 +0200 | <lambdabot> | Ix i => (i, i) -> [e] -> Array i e |
| 2023-05-21 21:44:47 +0200 | <ski> | > let ix = (-2,3) in listArray ix [i^2 | i <- range ix] |
| 2023-05-21 21:44:48 +0200 | <lambdabot> | array (-2,3) [(-2,4),(-1,1),(0,0),(1,1),(2,4),(3,9)] |
| 2023-05-21 21:45:02 +0200 | <monochrom> | It is the monad tutorial I wanted to write. :) |
| 2023-05-21 21:45:30 +0200 | <monochrom> | Only downside is the code is bitrot, and also some code were hypothetical even back then. |
| 2023-05-21 21:45:56 +0200 | <ski> | the interpreter thing isn't a bad take on it |
| 2023-05-21 21:46:04 +0200 | <ski> | (considering denotational semantics) |
| 2023-05-21 21:46:16 +0200 | <justsomeguy> | So... do you think it's accurate to say that the way Monad is used comprises a design pattern? |
| 2023-05-21 21:46:18 +0200 | <monochrom> | My plan of cloning it and updating/fixing the code is in my backlog at number 29308 or something :) |
| 2023-05-21 21:46:21 +0200 | ski | Moggis |
| 2023-05-21 21:46:53 +0200 | <monochrom> | Yeah considering the single most and first application of monads to CS. |
| 2023-05-21 21:46:57 +0200 | <ski> | justsomeguy : .. sortof ? but when you actually can formulate a type class `Monad', it becomes more than just a design pattern |
| 2023-05-21 21:47:03 +0200 | <monochrom> | or at least s/CS/programming/ |
| 2023-05-21 21:47:18 +0200 | <ski> | (in other languages, where you can't do that, it's just a design pattern, yes) |
| 2023-05-21 21:47:39 +0200 | <monochrom> | In fact if you use monads for an EDSL you are still under "monad for denotational semantics of your language". |
| 2023-05-21 21:47:53 +0200 | <ski> | @quote too.inexpressive |
| 2023-05-21 21:47:54 +0200 | <lambdabot> | Cale says: Design patterns are signs that the language you're using is too inexpressive. Otherwise they'd just be libraries. |
| 2023-05-21 21:48:34 +0200 | <monochrom> | I think we can relax the definition of "design patterns" to include the choice of using monads. |
| 2023-05-21 21:49:10 +0200 | <ski> | (well, more and less) |
| 2023-05-21 21:49:20 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-21 21:50:07 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-21 21:51:31 +0200 | <monochrom> | Me, I came from seeing how some math topics find applications to program structures, so... design pattern = DST = domain-specific theory |
| 2023-05-21 21:52:19 +0200 | <monochrom> | So when I say "yes it's a design pattern" I am being polite to programmers because I know that they are afraid of the word "theory". |
| 2023-05-21 21:52:30 +0200 | <justsomeguy> | :D |
| 2023-05-21 21:53:03 +0200 | <monochrom> | But make no mistake, it is theory, in the same sense that you can have group theory, monoid theory, category theory. |
| 2023-05-21 21:53:53 +0200 | <monochrom> | Actually I think mathematicians would agree with the "pattern" part. |
| 2023-05-21 21:55:03 +0200 | <monochrom> | If you ask mathematicians what they do, some of them say "we're looking for patterns". For example, noticing that many things follow the pattern that became codified as the axioms for groups. So, group theory = group pattern. |
| 2023-05-21 21:56:16 +0200 | <darkling> | I was agreeing with that point about 5 lines ago. (As a defrocked mathematician) |
| 2023-05-21 21:56:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f5515ce6425dcae63e2.dip0.t-ipconnect.de) |
| 2023-05-21 21:56:58 +0200 | <monochrom> | Recognizing that in programming, "theory" is NSFW? >:) |
| 2023-05-21 21:57:21 +0200 | <darkling> | More, design pattern = DST = domain-specific theory |
| 2023-05-21 21:57:26 +0200 | <monochrom> | :) |
| 2023-05-21 21:58:42 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 21:58:49 +0200 | <darkling> | I once worked with someone who'd read the whole design patterns book, and *everything* was a design pattern to him. |
| 2023-05-21 21:59:15 +0200 | <darkling> | As in, the patterns were the only architectural building blocks he would use. |
| 2023-05-21 21:59:23 +0200 | <darkling> | Made things a bit difficult. |
| 2023-05-21 22:03:05 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 2023-05-21 22:05:36 +0200 | <justsomeguy> | You know, monochrom, your thoughtful comments have really helped me out over the years. I wish I could take a course with you, or just hang out irl over a coffee. Probably won't happen, but I appreciate you, anyways. |
| 2023-05-21 22:06:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-21 22:09:56 +0200 | <justsomeguy> | haha, too sappy? |
| 2023-05-21 22:12:32 +0200 | <justsomeguy> | Actually, I could say the same for most of you here. |
| 2023-05-21 22:14:19 +0200 | <DigitalKiwi> | awe thanks |
| 2023-05-21 22:14:27 +0200 | <justsomeguy> | :D |
| 2023-05-21 22:15:18 +0200 | <DigitalKiwi> | mniip wednesdays my birthday btw lol you usually try and remember <3 |
| 2023-05-21 22:16:06 +0200 | <APic> | 😌 |
| 2023-05-21 22:18:02 +0200 | <jean-paul[m]> | I kind of understand the "Could not deduce ..." this - https://gist.github.com/exarkun/17f9a5bd01eda35eb6632dff862b7bae - results in, maybe. But I'm not sure what to do about it. I do notice that changing it to `diminish :: r -> m v` makes it go away but I don't really need `m` there. |
| 2023-05-21 22:24:03 +0200 | vandita | (~vandit@84-236-21-26.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2023-05-21 22:25:20 +0200 | <ncf> | split it into two classes? |
| 2023-05-21 22:25:46 +0200 | vandita | (~vandit@178-164-188-56.pool.digikabel.hu) |
| 2023-05-21 22:26:07 +0200 | <ncf> | otherwise you'll have duplicate definitions of diminish anyway -- if you know you won't, then maybe add a fundep r or v -> m ? |
| 2023-05-21 22:26:32 +0200 | <ncf> | well, i guess r -> v m |
| 2023-05-21 22:27:35 +0200 | <jean-paul[m]> | How can you tell there will be duplicate definitions of diminish? |
| 2023-05-21 22:28:51 +0200 | <ncf> | i mean if you have multiple instances for the same r and v but different m... unless you're using m in the definition of diminish somehow, but that seems unsafe |
| 2023-05-21 22:30:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-21 22:30:06 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-21 22:30:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-21 22:31:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
| 2023-05-21 22:32:41 +0200 | <jean-paul[m]> | Hm. I'll have to think about that a bit. But .. splitting the typeclass in two might make sense anyway. And I think I see how making the functional dependency `r -> v m` also solves the problem, so I'll play with those a bit too. Thanks. |
| 2023-05-21 22:38:31 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 22:42:45 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-21 22:43:00 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-21 22:49:05 +0200 | michalz | (~michalz@185.246.204.90) (Ping timeout: 265 seconds) |
| 2023-05-21 22:49:39 +0200 | michalz | (~michalz@185.246.204.75) |
| 2023-05-21 22:50:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-21 22:57:50 +0200 | <ski> | @quote make.no.mistake |
| 2023-05-21 22:57:50 +0200 | <lambdabot> | monochrom says: <monochrom> Me, I came from seeing how some math topics find applications to program structures, so... design pattern = DST = domain-specific theory <monochrom> So when I say "yes |
| 2023-05-21 22:57:50 +0200 | <lambdabot> | it's a design pattern" I am being polite to programmers because I know that they are afraid of the word "theory". <monochrom> But make no mistake, it is theory, in the same sense that you can have |
| 2023-05-21 22:57:50 +0200 | <lambdabot> | group theory, monoid theory, category theory. |
| 2023-05-21 22:58:32 +0200 | <Rembane> | Good quote |
| 2023-05-21 22:59:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-05-21 22:59:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-21 22:59:39 +0200 | <ski> | (had to use a different client to make it fit, hence you didn't see the `@remember <nick> <message>' command) |
| 2023-05-21 23:01:36 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-21 23:02:11 +0200 | <Rembane> | Nice. I can see why the limits exist but they aren't very good for quote bots. |
| 2023-05-21 23:03:21 +0200 | <ski> | well, my client arbitarily splits messages, a bit below the actual message limit (presumably because it's hard to predict where it's actually at, due to different lengths of server names, and possibly other things) |
| 2023-05-21 23:03:29 +0200 | <ski> | i wish i could turn that off, with a setting |
| 2023-05-21 23:03:38 +0200 | <Rembane> | Like :set paste in vim |
| 2023-05-21 23:04:13 +0200 | <ski> | (this is a semi-recent change. it used to just silently clip the message, without informing you of that .. i learned to predict around where the limit would be, and adjust accordingly) |
| 2023-05-21 23:04:30 +0200 | <int-e> | The IRC protocol has a message length limit. |
| 2023-05-21 23:04:34 +0200 | <ski> | yea |
| 2023-05-21 23:04:40 +0200 | <ski> | iirc, `512' or so |
| 2023-05-21 23:04:49 +0200 | <int-e> | Yeah, including the cr/lf newline |
| 2023-05-21 23:04:53 +0200 | ski | nods |
| 2023-05-21 23:05:42 +0200 | <hpc> | and including all the extra stuff, so long usernames mean you can't send as much message text |
| 2023-05-21 23:05:53 +0200 | <ski> | mm |
| 2023-05-21 23:06:04 +0200 | <int-e> | Rembane: so going over that limit, minus a few dozen bytes, would require extra multi-line editing capabilities in the bot. And then the resulting super-long quotes would have to be relayed back over IRC. It's already silly with the single quote broken into three messages above. |
| 2023-05-21 23:06:40 +0200 | <Rembane> | int-e: Yeah. That sounds messy or something that a future IRC standard could support. |
| 2023-05-21 23:06:48 +0200 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-21 23:07:27 +0200 | <ski> | it does look like lambdabot is perhaps slightly a bit too conservative, in where it splits. could have up to close to double the length at which it seems to split, i think |
| 2023-05-21 23:07:32 +0200 | <int-e> | It's more than traditional Twitter (even after The Doubling) :-P |
| 2023-05-21 23:07:38 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-05-21 23:07:40 +0200 | <ski> | hehe |
| 2023-05-21 23:07:55 +0200 | <ski> | for the most part, i find the message limit on IRC comfortable |
| 2023-05-21 23:10:00 +0200 | ski | imagines an IRC client that allows to send messages with NLs before the final CRLF |
| 2023-05-21 23:10:18 +0200 | <ski> | (i guess perhaps servers, or other clients, might not handle that too well) |
| 2023-05-21 23:11:16 +0200 | <Rembane> | That sounds a bit like how Erlang looks. |
| 2023-05-21 23:11:19 +0200 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-21 23:11:24 +0200 | <ski> | hm, howso ? |
| 2023-05-21 23:11:30 +0200 | <int-e> | ski: You're not allowed to use CR, LF, or NUL inside the messages. |
| 2023-05-21 23:11:36 +0200 | <ski> | oh .. with the `;' inbetween the clauses |
| 2023-05-21 23:11:46 +0200 | <ski> | .. i actually don't like that, in Erlang |
| 2023-05-21 23:11:52 +0200 | <Rembane> | Yeah, loads of semicolons and then a dot. |
| 2023-05-21 23:11:57 +0200 | <ski> | (inside `if' and `case' and `receive', it's fine) |
| 2023-05-21 23:12:09 +0200 | <ski> | (because `;' in Prolog means "or", not "and") |
| 2023-05-21 23:12:33 +0200 | <ski> | int-e : figures |
| 2023-05-21 23:12:42 +0200 | <Rembane> | I also find the Erlang syntax awkward. I went directly from Haskell to Erlang and that was awkward in so many ways. |
| 2023-05-21 23:12:53 +0200 | <ski> | Rembane : did you see Prolog, before ? |
| 2023-05-21 23:13:01 +0200 | <Rembane> | Is it allowed to use formfeed inside IRC messages? |
| 2023-05-21 23:13:24 +0200 | <Rembane> | ski: Maybe five years earlier, so I had forgotten it before I started programming Erlang. |
| 2023-05-21 23:13:30 +0200 | <int-e> | Rembane: yes, all other octets are fine |
| 2023-05-21 23:13:41 +0200 | <Rembane> | int-e: That's strangely exciting. |
| 2023-05-21 23:13:43 +0200 | <ski> | (Erlang syntax comes partly from Prolog. also some of its more unusual features, as an FPL, comes from there. it was initially implemented in Prolog. iirc, it even has (or had) grammar rules for some meta-programming or something) |
| 2023-05-21 23:14:03 +0200 | <ski> | Rembane : (re formfeed) -- i don't see why noy |
| 2023-05-21 23:14:07 +0200 | <int-e> | Rembane: as far as the protocol goes at least... what clients do with this, I don't know |
| 2023-05-21 23:14:09 +0200 | <ski> | not |
| 2023-05-21 23:14:10 +0200 | <ski> | actually, let me check a thing |
| 2023-05-21 23:14:59 +0200 | <ski> | mhm, seems <https://modern.ircdocs.horse/formatting.html#characters> doesn't list formfeed as a special color/markup control code |
| 2023-05-21 23:15:41 +0200 | <ski> | here, the client just displays control codes it doesn't understant/interpret, in inverse video |
| 2023-05-21 23:16:06 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-21 23:16:23 +0200 | <Rembane> | ski: I don't think new page really means anything in IRC, or have I missed something important? |
| 2023-05-21 23:16:50 +0200 | <ski> | (which is why `monospace' (a la Matrix bridge), rather than `monospace', looks weird. the final "reset colors and attributes" is interpreted, but not the "set monospace attribute" one) |
| 2023-05-21 23:17:01 +0200 | <ski> | Rembane : nope, not that i know of |
| 2023-05-21 23:17:15 +0200 | <Rembane> | ski: I heard a story that there was a bug in an early version of Erlang which had the telephone keep ringing while the interpreter backtracked. |
| 2023-05-21 23:17:28 +0200 | ski | relatively commonly uses formfeeds in source code, to separate it into pages, often inbetween 33 and 66 lines |
| 2023-05-21 23:17:43 +0200 | <geekosaur> | old C-ism 🙂 |
| 2023-05-21 23:18:02 +0200 | <ski> | "Riastradh's Lisp Style Rules" <https://mumble.net/~campbell/scheme/style.txt> does mention formfeeds |
| 2023-05-21 23:18:24 +0200 | <Rembane> | Interesting. I haven't thought of the character until I saw it in output from pdf2text and had to parse it in some way. |
| 2023-05-21 23:18:49 +0200 | <ski> | Rembane : heh, sounds like great fun :P |
| 2023-05-21 23:19:10 +0200 | <ski> | (search for "Pagination") |
| 2023-05-21 23:19:14 +0200 | <int-e> | ski: Yeah I get an inverse L for a form feed (same client, I think? I'm using irssi). |
| 2023-05-21 23:19:14 +0200 | <monochrom> | Text-mode printers understand the formfeed character and starts a new page. |
| 2023-05-21 23:19:33 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-21 23:19:47 +0200 | <ski> | yea .. i've used that in some small documents i've sent to `lpr' |
| 2023-05-21 23:20:28 +0200 | <Rembane> | Does lpr go beep if you send an \b ? |
| 2023-05-21 23:20:42 +0200 | <ski> | .. however, i would like an Emacs (minor) mode that displays (only) one page, in each Emacs window displaying the buffer (and the next one, in the next window, if `follow-mode' is on) |
| 2023-05-21 23:20:44 +0200 | <monochrom> | I think it's \a |
| 2023-05-21 23:20:51 +0200 | <ski> | yup, int-e |
| 2023-05-21 23:20:53 +0200 | <monochrom> | I don't think printers beep |
| 2023-05-21 23:20:58 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-21 23:21:11 +0200 | <Rembane> | monochrom: Off by one error. I think they would be better if they bept. |
| 2023-05-21 23:21:13 +0200 | <geekosaur> | they used to |
| 2023-05-21 23:21:14 +0200 | <monochrom> | a=alarm, b=backspace |
| 2023-05-21 23:21:32 +0200 | <int-e> | Rembane: the bell rings when you get close to the end of the line |
| 2023-05-21 23:22:10 +0200 | <Rembane> | int-e: I seriously need that functionality on a fast laser printer. |
| 2023-05-21 23:22:29 +0200 | <int-e> | (that's a bit further back in technology: mechanical type writer) |
| 2023-05-21 23:23:11 +0200 | <monochrom> | https://youtu.be/G4nX0Xrn-wo typewriter concerto >:) |
| 2023-05-21 23:23:35 +0200 | hpc | . o O ( is your computer monitor technically an illuminated manuscript? ) |
| 2023-05-21 23:23:54 +0200 | <ski> | "It also allows readers of the code to print it onto paper without fiddling with printer settings to permit pages of more than sixty-six lines (which is the default number for many printers)," |
| 2023-05-21 23:24:05 +0200 | <int-e> | hpc: well most of the stuff it shows isn't writing |
| 2023-05-21 23:24:16 +0200 | <ski> | monochrom : hah :) |
| 2023-05-21 23:24:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2023-05-21 23:26:04 +0200 | <int-e> | monochrom: been a while since I saw that, it's still good |
| 2023-05-21 23:26:21 +0200 | <hpc> | i feel sorry for the woodwinds, having to still play without laughing |
| 2023-05-21 23:26:24 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-21 23:26:33 +0200 | <monochrom> | haha |
| 2023-05-21 23:26:52 +0200 | <monochrom> | Well I guess after 5 rehearsals you no longer have the urge to laugh. |
| 2023-05-21 23:27:10 +0200 | <int-e> | hpc: that's why you have rehearsals, get the laughs out of your system |
| 2023-05-21 23:27:58 +0200 | <int-e> | now I want the advanced version where it actually produces a typed letter |
| 2023-05-21 23:28:06 +0200 | xameer | (~xameer@144.48.224.179) (Remote host closed the connection) |
| 2023-05-21 23:28:22 +0200 | xameer | (~xameer@144.48.224.179) |
| 2023-05-21 23:28:50 +0200 | <int-e> | (probably not practical because the space bar will have a very different sound) |
| 2023-05-21 23:29:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-05-21 23:29:14 +0200 | <monochrom> | Just use the German language >:) |
| 2023-05-21 23:29:29 +0200 | <monochrom> | I mean: JustusetheGermanlanguage >:) |
| 2023-05-21 23:31:23 +0200 | <int-e> | https://de.wikipedia.org/ will disappoint you |
| 2023-05-21 23:33:11 +0200 | <Rembane> | There must be a better German language with longer words out there. :) |
| 2023-05-21 23:33:30 +0200 | <geekosaur> | Turkish? |
| 2023-05-21 23:33:41 +0200 | <geekosaur> | agglutination ftw |
| 2023-05-21 23:33:53 +0200 | <jade[m]> | Salzverladeanlagen |
| 2023-05-21 23:33:53 +0200 | <jade[m]> | Dauerhöchstgeschwindigkeit |
| 2023-05-21 23:33:53 +0200 | <jade[m]> | ^ both from the article above |
| 2023-05-21 23:34:01 +0200 | <jade[m]> | I love german |
| 2023-05-21 23:35:11 +0200 | <jade[m]> | Geleitsicherungsaufgaben |
| 2023-05-21 23:35:11 +0200 | <jade[m]> | hahah |
| 2023-05-21 23:35:35 +0200 | vglfr | (~vglfr@209.198.137.192) (Ping timeout: 240 seconds) |
| 2023-05-21 23:35:37 +0200 | <int-e> | (The longest word on the front page seems to be "Enthüllungsjournalist[en]", "investigative journalist" (not literally, "enthüllen" is "to uncover") |
| 2023-05-21 23:36:28 +0200 | <darkling> | Llanfairpwllgwyngyllgogerychwyrndrobwllllantisiliogogogoch. :) |
| 2023-05-21 23:36:53 +0200 | <jade[m]> | I'd have expected that to be Investigativjournalisten |
| 2023-05-21 23:37:04 +0200 | <jade[m]> | which I've heard more often than the former |
| 2023-05-21 23:37:13 +0200 | <int-e> | jade[m]: I think MS Word killed compound nouns... because its spell checker was, probably still is, dictionary based. |
| 2023-05-21 23:37:19 +0200 | <mauke> | stripper journalists? |
| 2023-05-21 23:37:19 +0200 | vglfr | (~vglfr@209.198.137.192) |
| 2023-05-21 23:37:40 +0200 | <monochrom> | "what have I done?!" :) |
| 2023-05-21 23:37:42 +0200 | <jade[m]> | int-e: mh yeah might be |
| 2023-05-21 23:38:03 +0200 | <int-e> | So you still get traditional compound nouns but few new ones. |
| 2023-05-21 23:38:35 +0200 | <jade[m]> | I feel like you can always glue words together though |
| 2023-05-21 23:38:41 +0200 | <hpc> | if you really want to experience writing german on a computer, you could always try spring framework :D |
| 2023-05-21 23:38:46 +0200 | <int-e> | You mostly can. |
| 2023-05-21 23:39:10 +0200 | <jade[m]> | hpc: good one hahahaha |
| 2023-05-21 23:39:19 +0200 | <int-e> | But wide adaptation? Good luck with that. |
| 2023-05-21 23:39:54 +0200 | <jade[m]> | mhm |
| 2023-05-21 23:40:10 +0200 | <Rembane> | I love German naming of function names. Just write out exactly what the function does and be happy with filling the whole line. |
| 2023-05-21 23:42:01 +0200 | <mauke> | none of you have worked on SAP and it shows |
| 2023-05-21 23:42:49 +0200 | <int-e> | . o O ( Softwareapplikationsprogramm ) |
| 2023-05-21 23:43:34 +0200 | <jade[m]> | redundanzen |
| 2023-05-21 23:44:23 +0200 | <int-e> | Redundanzreserve |
| 2023-05-21 23:44:31 +0200 | <Rembane> | mauke: I sense a story here. Wanna share? :) |
| 2023-05-21 23:45:19 +0200 | <int-e> | (I can't think of a third synonym.) |
| 2023-05-21 23:45:34 +0200 | <mauke> | no, but I offer ACKpfmUntersSt (unrelated) |
| 2023-05-21 23:46:07 +0200 | <int-e> | Is this a german winapi thing? |
| 2023-05-21 23:46:21 +0200 | <Rembane> | That's a seriously cursed name. I like it. |
| 2023-05-21 23:46:36 +0200 | <mauke> | worse. military |
| 2023-05-21 23:47:35 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 240 seconds) |
| 2023-05-21 23:47:58 +0200 | <mauke> | WaffVwV-BMVg |
| 2023-05-21 23:47:59 +0200 | <int-e> | "Kampfmitteluntersuchungsstelle" is a mouthful but at least it's pronounceable... |
| 2023-05-21 23:47:59 +0200 | <hpc> | military winapi |
| 2023-05-21 23:48:36 +0200 | <hpc> | mauke: i can't tell if that was another example or if you accidentally pasted your password |
| 2023-05-21 23:48:40 +0200 | <jade[m]> | int-e: im trying to integrate "ausführbare datei" but it doesn't quite fit |
| 2023-05-21 23:49:23 +0200 | <jade[m]> | there's also the new dsgvo |
| 2023-05-21 23:49:27 +0200 | <mauke> | leHFlgTrspStff |
| 2023-05-21 23:49:32 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-21 23:50:47 +0200 | <mauke> | hpc: "Allgemeine Verwaltungsvorschrift des Bundesministers der Verteidigung zum Waffengesetz" |
| 2023-05-21 23:51:06 +0200 | <int-e> | jade[m]: you *could* go for Binärdatei |
| 2023-05-21 23:51:22 +0200 | <jade[m]> | mh, that could work |
| 2023-05-21 23:51:40 +0200 | <int-e> | (with a loss of precision of course) |
| 2023-05-21 23:52:05 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-05-21 23:52:16 +0200 | <int-e> | anyway |
| 2023-05-21 23:52:25 +0200 | vglfr | (~vglfr@209.198.137.192) (Read error: Connection reset by peer) |
| 2023-05-21 23:52:26 +0200 | <int-e> | Haskell anyone? |
| 2023-05-21 23:55:36 +0200 | <mauke> | https://sap4tech.net/sap-pp-tables-main/ |
| 2023-05-21 23:55:51 +0200 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2023-05-21 23:56:23 +0200 | vglfr | (~vglfr@2a0d:3344:1b4f:9e10:5c6b:37b7:8e0:39f9) |
| 2023-05-21 23:56:58 +0200 | <jade[m]> | int-e: Haskells Evaluierungsstrategieumsetzung ist die einer faulen Evaluierung, welche die asynchrone Teilausdrucksevaluierung ermöglicht |
| 2023-05-21 23:57:26 +0200 | <int-e> | Aua. |
| 2023-05-21 23:57:58 +0200 | <int-e> | Also, "asynchronous", really? |
| 2023-05-21 23:58:10 +0200 | <mauke> | Ausdrucksauswertung, bitte |
| 2023-05-21 23:58:19 +0200 | <jade[m]> | I meant parralel, sorry |
| 2023-05-21 23:58:28 +0200 | <jade[m]> | and that didnt even make sense |
| 2023-05-21 23:58:41 +0200 | <jade[m]> | I was just trying to find ways to make big german words, ok? |
| 2023-05-21 23:58:44 +0200 | <jade[m]> | haha |
| 2023-05-21 23:59:47 +0200 | <int-e> | Diese Worterfindungsmaschenbegeisterung ist fuer mich nicht nachvollziehbar. |