| 2023-08-22 00:06:33 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 00:10:58 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 00:11:56 +0000 | HerlockSholmes | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Ping timeout: 240 seconds) |
| 2023-08-22 00:15:10 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-08-22 00:31:44 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2023-08-22 00:37:00 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-22 00:37:02 +0000 | danse-nr3 | (~francesco@151.47.175.249) |
| 2023-08-22 00:38:04 +0000 | danza_ | (~francesco@151.47.175.249) (Ping timeout: 248 seconds) |
| 2023-08-22 00:41:04 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2023-08-22 00:41:24 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-08-22 00:43:53 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-22 00:49:38 +0000 | mjt128 | (~user@2604:3d09:3e79:f200:7249:9780:ed33:b6f3) (ERC (IRC client for Emacs 27.1)) |
| 2023-08-22 00:53:41 +0000 | shapr | (~user@2600:1700:c640:3100:b3b0:6645:998e:257b) (Remote host closed the connection) |
| 2023-08-22 00:53:54 +0000 | shapr | (~user@2600:1700:c640:3100:25be:ef9e:e745:9fa2) |
| 2023-08-22 01:03:15 +0000 | danse-nr3_ | (~francesco@151.47.182.10) |
| 2023-08-22 01:05:43 +0000 | danse-nr3 | (~francesco@151.47.175.249) (Ping timeout: 244 seconds) |
| 2023-08-22 01:08:42 +0000 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-22 01:10:36 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-22 01:12:18 +0000 | razetime | (~quassel@117.254.37.17) |
| 2023-08-22 01:17:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-22 01:18:05 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-22 01:21:58 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-22 01:24:39 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 01:29:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-22 01:34:36 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-08-22 01:35:36 +0000 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) |
| 2023-08-22 01:37:48 +0000 | mima | (~mmh@62.216.211.35) (Ping timeout: 248 seconds) |
| 2023-08-22 01:38:16 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 244 seconds) |
| 2023-08-22 01:41:06 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2023-08-22 01:53:30 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-08-22 01:53:47 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
| 2023-08-22 01:56:43 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2023-08-22 02:16:14 +0000 | razetime | (~quassel@117.254.37.17) (Ping timeout: 256 seconds) |
| 2023-08-22 02:17:01 +0000 | razetime | (~quassel@117.254.36.144) |
| 2023-08-22 02:17:27 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 02:17:55 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-08-22 02:20:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 02:23:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:519f:cf85:d2f3:6c08) (Ping timeout: 246 seconds) |
| 2023-08-22 02:24:29 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-22 02:24:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 02:27:56 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Remote host closed the connection) |
| 2023-08-22 02:31:22 +0000 | shapr | (~user@2600:1700:c640:3100:25be:ef9e:e745:9fa2) (Remote host closed the connection) |
| 2023-08-22 02:31:36 +0000 | shapr | (~user@2600:1700:c640:3100:e46a:e587:77e:d4bf) |
| 2023-08-22 02:33:49 +0000 | td_ | (~td@83.135.9.23) (Ping timeout: 248 seconds) |
| 2023-08-22 02:34:57 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-22 02:35:31 +0000 | td_ | (~td@i53870918.versanet.de) |
| 2023-08-22 02:41:04 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-22 02:41:05 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-22 02:41:05 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-22 02:44:50 +0000 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 252 seconds) |
| 2023-08-22 02:51:40 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-22 02:51:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-22 02:51:40 +0000 | finn_elija | FinnElija |
| 2023-08-22 02:55:58 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 02:58:07 +0000 | artem | (~artem@73.145.240.227) (Read error: Connection reset by peer) |
| 2023-08-22 03:04:43 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc2:b400:efb7:4602:220:6187) |
| 2023-08-22 03:05:16 +0000 | razetime | (~quassel@117.254.36.144) (Ping timeout: 248 seconds) |
| 2023-08-22 03:06:06 +0000 | aforemny | (~aforemny@2001:9e8:6cd8:3100:c980:385d:6185:8dda) (Ping timeout: 256 seconds) |
| 2023-08-22 03:07:15 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-22 03:07:25 +0000 | ddellacosta | (~ddellacos@146.70.168.100) |
| 2023-08-22 03:08:00 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-22 03:18:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-22 03:19:06 +0000 | machinedgod | (~machinedg@198.53.218.113) |
| 2023-08-22 03:26:24 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-22 03:26:51 +0000 | danse-nr3_ | (~francesco@151.47.182.10) (Remote host closed the connection) |
| 2023-08-22 03:27:14 +0000 | danse-nr3_ | (~francesco@151.47.182.10) |
| 2023-08-22 03:31:59 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 03:36:25 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 03:46:51 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-22 03:57:16 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-22 04:01:54 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc2:b400:efb7:4602:220:6187) (Ping timeout: 244 seconds) |
| 2023-08-22 04:02:13 +0000 | aforemny | (~aforemny@i59F516F9.versanet.de) |
| 2023-08-22 04:04:05 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 04:05:05 +0000 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-22 04:09:00 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-22 04:09:21 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-22 04:13:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-08-22 04:14:49 +0000 | artem | (~artem@73.103.90.145) |
| 2023-08-22 04:14:50 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 04:17:26 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-22 04:17:27 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-22 04:17:27 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-22 04:22:32 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-22 04:25:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 04:27:31 +0000 | danse-nr3_ | (~francesco@151.47.182.10) (Ping timeout: 246 seconds) |
| 2023-08-22 04:30:39 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 04:41:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 04:49:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-22 04:57:38 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-22 05:00:40 +0000 | rembo10 | (~rembo10@65.108.56.133) |
| 2023-08-22 05:02:36 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-22 05:03:36 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-22 05:03:37 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-22 05:03:37 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-22 05:04:44 +0000 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 250 seconds) |
| 2023-08-22 05:11:41 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.0.3) |
| 2023-08-22 05:15:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 05:18:07 +0000 | Inst | (~Inst@2601:6c4:4085:6d50:48ee:a684:8dfc:486b) |
| 2023-08-22 05:18:08 +0000 | jonathan__ | (~jonathan@193.203.13.85) |
| 2023-08-22 05:18:13 +0000 | <Inst> | curious, any haskell windows users here using monomer? |
| 2023-08-22 05:18:14 +0000 | <Inst> | https://media.discordapp.net/attachments/968989726633779215/1143357633294762074/image.png?width=79… |
| 2023-08-22 05:18:19 +0000 | <Inst> | i'm trying to figure out why this is happening |
| 2023-08-22 05:20:17 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-22 05:23:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 05:25:34 +0000 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-08-22 05:27:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-08-22 05:29:48 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-22 05:33:10 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-22 05:35:52 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-22 05:35:52 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-22 05:35:52 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-22 05:36:12 +0000 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 248 seconds) |
| 2023-08-22 05:36:20 +0000 | michalz | (~michalz@185.246.207.205) |
| 2023-08-22 05:37:13 +0000 | jmcantrell | (~weechat@user/jmcantrell) |
| 2023-08-22 05:40:17 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-22 05:41:01 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) |
| 2023-08-22 05:41:27 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-22 05:50:41 +0000 | uiop1234 | (~uiop1234@202.220.233.220.static.exetel.com.au) |
| 2023-08-22 05:51:12 +0000 | uiop1234 | (~uiop1234@202.220.233.220.static.exetel.com.au) (Client Quit) |
| 2023-08-22 05:56:51 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 06:06:02 +0000 | drewjose | (~drewjose@2401:4900:1cc9:b527:b1a8:defb:8599:3a50) (Read error: Connection reset by peer) |
| 2023-08-22 06:06:13 +0000 | acidjnk | (~acidjnk@p200300d6e7072f1038e78ce6e398439b.dip0.t-ipconnect.de) |
| 2023-08-22 06:10:29 +0000 | <Inst> | this is f-ing disgusting |
| 2023-08-22 06:10:51 +0000 | <Inst> | i got my monomer app to work by downloading prebuilt dlls from the internet |
| 2023-08-22 06:10:58 +0000 | <Inst> | i'm feeling suicidal now |
| 2023-08-22 06:13:11 +0000 | Inst | (~Inst@2601:6c4:4085:6d50:48ee:a684:8dfc:486b) (Remote host closed the connection) |
| 2023-08-22 06:13:33 +0000 | Inst | (~Inst@2601:6c4:4085:6d50:48ee:a684:8dfc:486b) |
| 2023-08-22 06:14:12 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-08-22 06:22:52 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.0.3) |
| 2023-08-22 06:27:08 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-22 06:30:49 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-22 06:31:12 +0000 | shapr | (~user@2600:1700:c640:3100:e46a:e587:77e:d4bf) (Ping timeout: 246 seconds) |
| 2023-08-22 06:33:18 +0000 | jtza8 | (~user@165.255.137.43) |
| 2023-08-22 06:38:58 +0000 | drdo3 | (~drdo@bl5-28-156.dsl.telepac.pt) |
| 2023-08-22 06:40:18 +0000 | bwe | (~bwe@static.72.17.201.195.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2023-08-22 06:40:52 +0000 | drdo | (~drdo@bl5-28-156.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2023-08-22 06:40:53 +0000 | kmein | (~weechat@user/kmein) (Ping timeout: 256 seconds) |
| 2023-08-22 06:40:53 +0000 | drdo3 | drdo |
| 2023-08-22 06:42:08 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2023-08-22 06:42:50 +0000 | kmein | (~weechat@user/kmein) |
| 2023-08-22 06:46:00 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-22 06:48:18 +0000 | mima | (~mmh@aftr-62-216-211-141.dynamic.mnet-online.de) |
| 2023-08-22 06:56:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 06:57:20 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9a92:5a4f:8c39:e42f) |
| 2023-08-22 07:00:48 +0000 | <Inst> | well, at least I have a non-ick solution right now |
| 2023-08-22 07:01:24 +0000 | <Inst> | microsoft visual C++ redistributable, much more credible, and dump them in my msys directory |
| 2023-08-22 07:01:26 +0000 | <Inst> | https://github.com/ubawurinna/freetype-windows-binaries |
| 2023-08-22 07:05:24 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-22 07:17:13 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-22 07:19:01 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
| 2023-08-22 07:19:09 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-22 07:19:22 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-22 07:19:51 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
| 2023-08-22 07:20:56 +0000 | <Inst> | @maxdamantus: thanks, so apparently freetype is broken right now |
| 2023-08-22 07:20:56 +0000 | <lambdabot> | Unknown command, try @list |
| 2023-08-22 07:21:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-22 07:23:21 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-08-22 07:27:51 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-08-22 07:30:06 +0000 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
| 2023-08-22 07:38:20 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-22 07:42:53 +0000 | SegmentationFaul | (~Segmentat@185.151.84.54) |
| 2023-08-22 07:43:01 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-22 07:45:06 +0000 | yaroot | (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-22 07:46:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-22 07:47:18 +0000 | ursa-major | (~ursa-majo@static-198-44-128-151.cust.tzulo.com) (Quit: WeeChat 4.0.3) |
| 2023-08-22 07:53:14 +0000 | drewjose | (~drewjose@223.178.80.68) |
| 2023-08-22 08:02:36 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-22 08:04:44 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-08-22 08:04:48 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-22 08:06:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) |
| 2023-08-22 08:08:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 08:10:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) (Ping timeout: 248 seconds) |
| 2023-08-22 08:14:24 +0000 | econo_ | (uid147250@2a03:5180:f::2:3f32) (Quit: Connection closed for inactivity) |
| 2023-08-22 08:20:18 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-22 08:23:28 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-22 08:24:39 +0000 | marcadell | (~marcadell@51.179.40.77) |
| 2023-08-22 08:25:10 +0000 | marcadell | (~marcadell@51.179.40.77) (Client Quit) |
| 2023-08-22 08:26:29 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-22 08:31:54 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 08:35:08 +0000 | yaroot | (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) |
| 2023-08-22 08:39:49 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-22 08:41:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-22 08:42:03 +0000 | razetime | (~quassel@117.254.36.144) |
| 2023-08-22 08:51:15 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-22 09:02:46 +0000 | woffs | (3cd46299b2@woffs.de) |
| 2023-08-22 09:06:37 +0000 | danse-nr3_ | (~francesco@151.47.142.90) |
| 2023-08-22 09:11:28 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 09:15:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-22 09:16:22 +0000 | danse-nr3_ | (~francesco@151.47.142.90) (Read error: Connection reset by peer) |
| 2023-08-22 09:16:37 +0000 | danse-nr3_ | (~francesco@151.47.193.149) |
| 2023-08-22 09:17:25 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 09:22:08 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-22 09:22:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 09:23:17 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 09:27:15 +0000 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-22 09:28:10 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-22 09:31:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 09:33:51 +0000 | Square2 | (~Square4@user/square) |
| 2023-08-22 09:36:16 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 258 seconds) |
| 2023-08-22 09:38:51 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
| 2023-08-22 09:39:29 +0000 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2023-08-22 09:40:41 +0000 | pierrot | (~pi@user/pierrot) (Read error: Connection reset by peer) |
| 2023-08-22 09:41:49 +0000 | pierrot | (~pi@user/pierrot) |
| 2023-08-22 09:44:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 09:46:20 +0000 | pierrot | (~pi@user/pierrot) (Ping timeout: 248 seconds) |
| 2023-08-22 09:46:39 +0000 | pierrot | (~pi@user/pierrot) |
| 2023-08-22 09:50:27 +0000 | machinedgod | (~machinedg@198.53.218.113) (Remote host closed the connection) |
| 2023-08-22 09:50:54 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-22 09:51:08 +0000 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-08-22 09:54:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 09:58:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 10:04:00 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
| 2023-08-22 10:07:44 +0000 | Guest67 | (~Guest67@95-25-89-72.broadband.corbina.ru) |
| 2023-08-22 10:09:22 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-22 10:10:27 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2023-08-22 10:11:40 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2023-08-22 10:11:42 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-08-22 10:22:40 +0000 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-08-22 10:24:41 +0000 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2023-08-22 10:43:39 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-22 10:46:13 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) |
| 2023-08-22 10:47:10 +0000 | Inst | (~Inst@2601:6c4:4085:6d50:48ee:a684:8dfc:486b) (Read error: Connection reset by peer) |
| 2023-08-22 10:48:12 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 10:56:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-22 10:56:31 +0000 | ripspin | (~chatzilla@1.145.190.140) |
| 2023-08-22 10:57:42 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-22 11:00:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 11:04:29 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 11:05:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a30:2bd2:51c4:52fd) |
| 2023-08-22 11:05:47 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2023-08-22 11:06:16 +0000 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-08-22 11:07:46 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 256 seconds) |
| 2023-08-22 11:09:55 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-22 11:11:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 11:17:47 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-22 11:19:23 +0000 | danse-nr3_ | (~francesco@151.47.193.149) (Ping timeout: 246 seconds) |
| 2023-08-22 11:25:00 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-22 11:25:00 +0000 | ripspin | (~chatzilla@1.145.190.140) (Remote host closed the connection) |
| 2023-08-22 11:28:39 +0000 | kjak | (~kjak@108.28.157.148) |
| 2023-08-22 11:28:56 +0000 | kjak | (~kjak@108.28.157.148) (Client Quit) |
| 2023-08-22 11:29:18 +0000 | kjak | (~kjak@pool-108-28-157-148.washdc.fios.verizon.net) |
| 2023-08-22 11:38:40 +0000 | ursa-major | (~ursa-majo@37.19.210.23) |
| 2023-08-22 11:39:02 +0000 | danse-nr3_ | (~francesco@151.47.193.149) |
| 2023-08-22 11:40:08 +0000 | ripspin | (~chatzilla@1.145.133.150) |
| 2023-08-22 11:48:04 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-22 11:52:09 +0000 | ursa-major | (~ursa-majo@37.19.210.23) (Quit: WeeChat 4.0.3) |
| 2023-08-22 12:05:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9a92:5a4f:8c39:e42f) (Ping timeout: 256 seconds) |
| 2023-08-22 12:05:33 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a02a:8408:b27b:baba) |
| 2023-08-22 12:07:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 12:07:33 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-22 12:10:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-22 12:16:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 12:16:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-22 12:17:51 +0000 | sm_ | (~sm@plaintextaccounting/sm) (Quit: sm_) |
| 2023-08-22 12:18:18 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 12:18:18 +0000 | artem | (~artem@73.103.90.145) (Read error: Connection reset by peer) |
| 2023-08-22 12:19:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-22 12:20:29 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) (Ping timeout: 244 seconds) |
| 2023-08-22 12:20:30 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-22 12:28:12 +0000 | danse-nr3_ | (~francesco@151.47.193.149) (Ping timeout: 260 seconds) |
| 2023-08-22 12:28:48 +0000 | jtza8 | (~user@165.255.137.43) (Remote host closed the connection) |
| 2023-08-22 12:31:32 +0000 | danse-nr3_ | (~francesco@151.47.193.149) |
| 2023-08-22 12:34:28 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 256 seconds) |
| 2023-08-22 12:40:08 +0000 | kronicmage | (user44322@neotame.csclub.uwaterloo.ca) |
| 2023-08-22 12:41:35 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-22 12:53:39 +0000 | danse-nr3_ | (~francesco@151.47.193.149) (Remote host closed the connection) |
| 2023-08-22 12:54:02 +0000 | danse-nr3_ | (~francesco@151.47.193.149) |
| 2023-08-22 12:55:45 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-22 13:00:12 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-08-22 13:04:38 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-22 13:08:46 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-08-22 13:10:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-22 13:10:35 +0000 | ripspin | (~chatzilla@1.145.133.150) (Remote host closed the connection) |
| 2023-08-22 13:11:03 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-22 13:11:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a30:2bd2:51c4:52fd) (Ping timeout: 246 seconds) |
| 2023-08-22 13:13:31 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-22 13:18:23 +0000 | ripspin | (~chatzilla@1.145.186.213) |
| 2023-08-22 13:18:49 +0000 | danse-nr3_ | (~francesco@151.47.193.149) (Ping timeout: 246 seconds) |
| 2023-08-22 13:19:01 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 13:20:58 +0000 | danse-nr3_ | (~francesco@an-19-166-144.service.infuturo.it) |
| 2023-08-22 13:20:58 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 13:21:13 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 13:21:17 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 260 seconds) |
| 2023-08-22 13:23:56 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 250 seconds) |
| 2023-08-22 13:24:20 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-22 13:24:41 +0000 | opqdonut | (~opqdonut@pseudo.fixme.fi) |
| 2023-08-22 13:25:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a30:2bd2:51c4:52fd) |
| 2023-08-22 13:32:12 +0000 | ystael | (~ystael@user/ystael) |
| 2023-08-22 13:36:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 13:40:34 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-22 13:44:12 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Ping timeout: 248 seconds) |
| 2023-08-22 13:45:08 +0000 | Guest67 | (~Guest67@95-25-89-72.broadband.corbina.ru) (Quit: Client closed) |
| 2023-08-22 13:46:22 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-22 13:58:22 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-22 14:00:19 +0000 | <Square2> | Just curious, did Philip Wadler invent Maybe. If not, who did? |
| 2023-08-22 14:00:38 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 14:01:00 +0000 | <ncf> | who invented natural numbers? |
| 2023-08-22 14:10:27 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 14:15:02 +0000 | <leah2> | surely sml had an optional type before |
| 2023-08-22 14:15:13 +0000 | <leah2> | not sure which programming language had it first tho |
| 2023-08-22 14:18:51 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-22 14:19:24 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 14:19:24 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 14:22:51 +0000 | <lortabac> | AFAIK Hope was the first language with algebraic data types |
| 2023-08-22 14:23:07 +0000 | shapr | (~user@2600:1700:c640:3100:944:4982:f0a2:9b14) |
| 2023-08-22 14:24:05 +0000 | <lortabac> | but I don't know who invented Maybe, it might be Wadler indeed |
| 2023-08-22 14:25:47 +0000 | <ncf> | i don't think that makes much sense |
| 2023-08-22 14:28:19 +0000 | <lortabac> | it makes sense from a historical perspective. Even though the idea may be as ancient as humankind, its application to programming languages definitely must have a clear origin |
| 2023-08-22 14:29:57 +0000 | <ncf> | so "applied", not "invented" |
| 2023-08-22 14:30:48 +0000 | <ncf> | otherwise by the same reasoning Wadler invented monads... |
| 2023-08-22 14:31:20 +0000 | <ncf> | (well, i think he did not even apply them. he popularised them based on earlier work by Moggi, or something) |
| 2023-08-22 14:37:01 +0000 | <dolio> | Wadler came up with the idea of talking about them within the language to structure programs. Moggi was using them for semantics of languages, I believe. |
| 2023-08-22 14:44:15 +0000 | <danse-nr3_> | what is interesting in the question is the interpretation of "invented Maybe". For instance lortabac seeing it as the use of algebraic data types |
| 2023-08-22 14:46:11 +0000 | <lortabac> | I mean, having ADT's is 95% of the job :) |
| 2023-08-22 14:48:59 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 14:49:00 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 14:50:14 +0000 | <danse-nr3_> | another aspect that i find very interesting is that the question sheds some light on Maybe as being a very elegant solution despite its simplicity. Was one of my arguments for having an `head` that returns a `Maybe`, so that haskellers are exposed earlier to this type of monad |
| 2023-08-22 15:06:20 +0000 | acidjnk | (~acidjnk@p200300d6e7072f1038e78ce6e398439b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-08-22 15:08:24 +0000 | SegmentationFaul | (~Segmentat@185.151.84.54) (Quit: Client closed) |
| 2023-08-22 15:13:39 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-22 15:18:01 +0000 | artem | (~artem@73.145.241.83) |
| 2023-08-22 15:20:24 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-22 15:21:08 +0000 | <EvanR> | if you use safeHead make sure to include safeFromJust |
| 2023-08-22 15:24:13 +0000 | <EvanR> | :t listToMaybe -- danse-nr3_ |
| 2023-08-22 15:24:14 +0000 | <lambdabot> | [a] -> Maybe a |
| 2023-08-22 15:24:16 +0000 | artem | (~artem@73.145.241.83) (Read error: Connection reset by peer) |
| 2023-08-22 15:24:26 +0000 | ulysses4ever | (~artem@73.145.241.83) |
| 2023-08-22 15:25:06 +0000 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2023-08-22 15:25:07 +0000 | <dolio> | The thing is that safe head isn't very useful. The list is just as good. |
| 2023-08-22 15:25:17 +0000 | ulysses4ever | (~artem@73.145.241.83) (Read error: Connection reset by peer) |
| 2023-08-22 15:25:20 +0000 | <EvanR> | ^ |
| 2023-08-22 15:27:00 +0000 | <lortabac> | it's useful if you pass the result to another function instead of pattern-matching immediately |
| 2023-08-22 15:27:58 +0000 | <danse-nr3_> | maybe it is something about accessibility, i landed on headMay from Safe and listToMaybe never occurred to me as an alternative, but it is so thanks for the pointer |
| 2023-08-22 15:28:10 +0000 | <dolio> | If the other thing already takes a Maybe. |
| 2023-08-22 15:28:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-22 15:28:14 +0000 | <lortabac> | it might not be the most common case, but it does happen from time to time |
| 2023-08-22 15:28:50 +0000 | <mauke> | logical xor is just /= |
| 2023-08-22 15:29:14 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-22 15:29:15 +0000 | <dolio> | I said it's not very useful, not that there are absolutely no situations where it might be what you want. |
| 2023-08-22 15:30:13 +0000 | <danse-nr3_> | the value i see is providing newcomers with something that does not explode at runtime, but i did not want to bring back the conversation again |
| 2023-08-22 15:30:49 +0000 | ulysses4ever | (~artem@2601:408:c405:8f3:f474:e3f8:9806:671) |
| 2023-08-22 15:31:04 +0000 | <danse-nr3_> | is safeFromJust not what we have already with fromMaybe? |
| 2023-08-22 15:32:13 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a02a:8408:b27b:baba) (Quit: WeeChat 2.8) |
| 2023-08-22 15:33:03 +0000 | <mauke> | safeFromJust = id |
| 2023-08-22 15:33:09 +0000 | tomku | (~tomku@user/tomku) |
| 2023-08-22 15:33:14 +0000 | <danse-nr3_> | (: |
| 2023-08-22 15:36:56 +0000 | <danse-nr3_> | thinking about it twice, maybe i know why i landed on headMay rather than listToMaybe. The function name is telling, when one works with lists it does make sense to reach out for a set of functions that do what you need. That could be the head sometimes, the tail or the last other times |
| 2023-08-22 15:40:17 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-08-22 15:40:39 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-22 15:40:53 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 15:43:13 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Client Quit) |
| 2023-08-22 15:43:59 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 15:44:16 +0000 | ulysses4ever | (~artem@2601:408:c405:8f3:f474:e3f8:9806:671) (Ping timeout: 258 seconds) |
| 2023-08-22 15:45:57 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Client Quit) |
| 2023-08-22 15:46:40 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 15:47:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) |
| 2023-08-22 15:47:23 +0000 | <EvanR> | newWildlyProfitableMMORPG :: IO (IO ()) |
| 2023-08-22 15:47:26 +0000 | mmhat | (~mmh@p200300f1c7042784ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-22 15:47:38 +0000 | mmhat | (~mmh@p200300f1c7042784ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-22 15:49:32 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-22 15:50:51 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-22 15:51:26 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Client Quit) |
| 2023-08-22 15:52:11 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 15:52:54 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Client Quit) |
| 2023-08-22 15:53:39 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 15:54:39 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Client Quit) |
| 2023-08-22 15:55:08 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2023-08-22 15:55:21 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) |
| 2023-08-22 16:01:14 +0000 | danse-nr3_ | (~francesco@an-19-166-144.service.infuturo.it) (Ping timeout: 250 seconds) |
| 2023-08-22 16:11:35 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-22 16:13:10 +0000 | _ht | (~Thunderbi@82.174.52.28) |
| 2023-08-22 16:14:17 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.3) |
| 2023-08-22 16:15:17 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-22 16:17:37 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-22 16:18:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-22 16:19:08 +0000 | <int-e> | EvanR: where do I join? |
| 2023-08-22 16:19:43 +0000 | <EvanR> | i'll tell you after I find the API call and execute it |
| 2023-08-22 16:22:08 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-22 16:25:26 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2023-08-22 16:27:18 +0000 | ripspin | (~chatzilla@1.145.186.213) (Remote host closed the connection) |
| 2023-08-22 16:32:11 +0000 | ulysses4ever | (~artem@2601:408:c405:35ad:f474:e3f8:9806:671) |
| 2023-08-22 16:33:16 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-22 16:42:08 +0000 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2023-08-22 16:42:52 +0000 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-08-22 16:43:56 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:4a14:1900:692c:f8b9) |
| 2023-08-22 16:49:15 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 16:51:17 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:4a14:1900:692c:f8b9) (Ping timeout: 260 seconds) |
| 2023-08-22 16:54:55 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-08-22 16:55:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 16:56:43 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-22 17:02:15 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:df9c:3d10:b3f4:3088) |
| 2023-08-22 17:03:08 +0000 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-08-22 17:03:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-22 17:04:06 +0000 | andrei_n | (~andrei.n@2a02:a03f:c0bc:8400:df9c:3d10:b3f4:3088) (Remote host closed the connection) |
| 2023-08-22 17:07:49 +0000 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 2023-08-22 17:07:59 +0000 | ulysses4ever | (~artem@2601:408:c405:35ad:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 2023-08-22 17:12:51 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-22 17:22:19 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-22 17:23:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 17:24:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-22 17:37:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 17:40:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) |
| 2023-08-22 17:41:14 +0000 | danse-nr3 | (~francesco@an-19-177-133.service.infuturo.it) |
| 2023-08-22 17:41:26 +0000 | razetime | (~quassel@117.254.36.144) (Remote host closed the connection) |
| 2023-08-22 17:47:23 +0000 | acidjnk | (~acidjnk@p200300d6e7072f1038e78ce6e398439b.dip0.t-ipconnect.de) |
| 2023-08-22 17:51:20 +0000 | phma_ | (~phma@2001:5b0:210b:c518:a8f7:d156:9d38:8d0d) |
| 2023-08-22 17:52:02 +0000 | ulysses4ever | (~artem@2601:408:c405:58cb:f474:e3f8:9806:671) |
| 2023-08-22 17:53:00 +0000 | phma | (~phma@2001:5b0:2143:fba8:9b6b:196:6798:af5d) (Read error: Connection reset by peer) |
| 2023-08-22 17:57:02 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-22 17:59:34 +0000 | artem | (~artem@73.145.241.236) |
| 2023-08-22 17:59:34 +0000 | ulysses4ever | (~artem@2601:408:c405:58cb:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 2023-08-22 18:03:42 +0000 | artem | (~artem@73.145.241.236) (Ping timeout: 246 seconds) |
| 2023-08-22 18:04:29 +0000 | ulysses4ever | (~artem@73.145.241.236) |
| 2023-08-22 18:08:36 +0000 | ulysses4ever | (~artem@73.145.241.236) (Ping timeout: 246 seconds) |
| 2023-08-22 18:15:23 +0000 | ulysses4ever | (~artem@2601:408:c405:33d4:f474:e3f8:9806:671) |
| 2023-08-22 18:16:18 +0000 | <danse-nr3> | introducing flips to get point-free. I am worried i might be slipping to the dark side |
| 2023-08-22 18:16:57 +0000 | <geekosaur> | you're just flipping out |
| 2023-08-22 18:18:05 +0000 | <ncf> | don't forget to write it infix: f `flip` y |
| 2023-08-22 18:20:32 +0000 | <justsomeguy> | I find Data.Function ((&)) much more readable than (.) for some reason. |
| 2023-08-22 18:20:53 +0000 | <danse-nr3> | ncf: trippy, but not for my case. I want to pass a point-free function to a zipWith that needs it backwards to be point-free itself |
| 2023-08-22 18:21:37 +0000 | <danse-nr3> | justsomeguy, it should be more readable to most, being close to sequential execution in imperative programming, but for some reason i sometimes like `&` better and other times `.` |
| 2023-08-22 18:21:40 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 18:22:11 +0000 | <danse-nr3> | but actually i think the opposite of & is $ |
| 2023-08-22 18:23:18 +0000 | <EvanR> | h . g . f is more readable than h $ g $ f $ x but you have to defer the "of x" to another line somewhere |
| 2023-08-22 18:23:50 +0000 | ulysses4ever | (~artem@2601:408:c405:33d4:f474:e3f8:9806:671) (Ping timeout: 245 seconds) |
| 2023-08-22 18:24:49 +0000 | <danse-nr3> | yeah $ is quite noisy |
| 2023-08-22 18:25:05 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-08-22 18:26:31 +0000 | <EvanR> | *the power of the dot* |
| 2023-08-22 18:27:00 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-22 18:27:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) (Remote host closed the connection) |
| 2023-08-22 18:30:27 +0000 | phma_ | phma |
| 2023-08-22 18:30:48 +0000 | <monochrom> | flip is not too bad. |
| 2023-08-22 18:31:36 +0000 | <monochrom> | But if you go further and want combinators for all permutations of argument orders, then that's bad. >:) |
| 2023-08-22 18:32:28 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-22 18:32:36 +0000 | <dminuoso> | EvanR: Why not combine the two? h . g . f $ x |
| 2023-08-22 18:33:10 +0000 | <monochrom> | Let's also have: x & h . g . f >:) |
| 2023-08-22 18:34:53 +0000 | manwithl- | (~manwithlu@2406:da14:5ea:e400:49df:93ba:b95b:7bda) |
| 2023-08-22 18:35:32 +0000 | <EvanR> | I usually do (h . g . f) x if it has to happen now and this is not quick and dirty code |
| 2023-08-22 18:35:54 +0000 | <EvanR> | where I forgot to put ( |
| 2023-08-22 18:35:56 +0000 | manwithluck | (manwithluc@52.197.234.151) (Ping timeout: 250 seconds) |
| 2023-08-22 18:36:18 +0000 | manwithluck | (~manwithlu@52.197.234.151) |
| 2023-08-22 18:36:26 +0000 | <monochrom> | Yeah I often write "(h . g . f) x", and sometimes I feel like "h . g . f $ x" too. |
| 2023-08-22 18:36:53 +0000 | <danse-nr3> | `h . g . f $ x` is just reasonable. Less noise |
| 2023-08-22 18:37:21 +0000 | <monochrom> | I just avoid using $ when teaching. To the point I write "(<*>) = liftA2 (\f x -> f x)". |
| 2023-08-22 18:37:48 +0000 | <danse-nr3> | because $ needs special handling, right? |
| 2023-08-22 18:38:05 +0000 | <monochrom> | No, because I want students to respect parentheses. |
| 2023-08-22 18:38:29 +0000 | <EvanR> | higher chance of chad developer throwing their hands up and declaring haskell has too many operators |
| 2023-08-22 18:38:37 +0000 | <mauke> | we should make h . g . f) x legal syntax |
| 2023-08-22 18:38:43 +0000 | <EvanR> | ^ |
| 2023-08-22 18:39:29 +0000 | <monochrom> | My opinion is unfair to $ but we all know statistically and empirically that the way it turns out is that beginners cargo-cult $ as "it eliminates parentheses" with zero understanding. I want to discourage that. |
| 2023-08-22 18:40:25 +0000 | <EvanR> | we should take inspiration from zig, whose bracket pattern looks like { var r = acquireResource(); defer releaseResource(); ... the body code ...; } |
| 2023-08-22 18:40:44 +0000 | <monochrom> | Whereas for professionals and production code I'm pragmatic and I agree with "whatever that works". |
| 2023-08-22 18:40:44 +0000 | g | (g@libera/staff-emeritus/glguy) (Ping timeout: 246 seconds) |
| 2023-08-22 18:40:52 +0000 | g | (g@libera/staff-emeritus/glguy) |
| 2023-08-22 18:41:41 +0000 | <monochrom> | I think I prefer s/defer/on exit/ which brings us back to BASIC >:) |
| 2023-08-22 18:41:42 +0000 | <EvanR> | by the time you get to the end of writing that code you don't remember to release. Better to rearrange the order of the code to match the writers brain |
| 2023-08-22 18:42:06 +0000 | <monochrom> | I think our bracket has that order too. |
| 2023-08-22 18:42:13 +0000 | <geekosaur> | yes |
| 2023-08-22 18:42:25 +0000 | <EvanR> | blast |
| 2023-08-22 18:42:27 +0000 | glguy | (~glguy@libera/staff-emeritus/glguy) (Quit: Quit) |
| 2023-08-22 18:42:29 +0000 | g | (g@libera/staff-emeritus/glguy) (Remote host closed the connection) |
| 2023-08-22 18:42:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 18:42:30 +0000 | _ht | (~Thunderbi@82.174.52.28) (Read error: Connection reset by peer) |
| 2023-08-22 18:42:53 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds) |
| 2023-08-22 18:42:59 +0000 | <monochrom> | To the point I forgot that order and wrote "bracket open body close" and then for 5 minutes couldn't get it to work. >:( :D |
| 2023-08-22 18:43:11 +0000 | <geekosaur> | lol |
| 2023-08-22 18:43:13 +0000 | <shapr> | make a friendly alias? |
| 2023-08-22 18:43:17 +0000 | <mauke> | { my $r = acquire_resource(); my $guard = End { release_resource() }; ... } # RAII, baby |
| 2023-08-22 18:43:21 +0000 | g | (g@libera/staff-emeritus/glguy) |
| 2023-08-22 18:43:56 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-22 18:44:10 +0000 | <mauke> | brketac a b c = bracket a c b |
| 2023-08-22 18:44:45 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-22 18:44:49 +0000 | <EvanR> | ket c . b . bra a |
| 2023-08-22 18:44:58 +0000 | <monochrom> | I'm good with bracket's order, and EvanR has just explained a good reason for that order. I just forgot that Haskell is ideal. |
| 2023-08-22 18:45:45 +0000 | <EvanR> | ok, bra's are functions in quantum mechanics so that's why they go first |
| 2023-08-22 18:45:57 +0000 | <EvanR> | so bra should release the resource |
| 2023-08-22 18:46:52 +0000 | glguy | (g@libera/staff-emeritus/glguy) |
| 2023-08-22 18:48:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-22 18:51:09 +0000 | manwithl- | (~manwithlu@2406:da14:5ea:e400:49df:93ba:b95b:7bda) (Quit: ZNC - https://znc.in) |
| 2023-08-22 18:54:31 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-08-22 18:55:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2023-08-22 18:59:52 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-22 19:10:23 +0000 | tromp | (~textual@92.110.219.57) |
| 2023-08-22 19:17:21 +0000 | danse-nr3 | (~francesco@an-19-177-133.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2023-08-22 19:20:59 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 19:21:34 +0000 | foul_owl | (~kerry@157.97.134.164) (Ping timeout: 244 seconds) |
| 2023-08-22 19:26:33 +0000 | danza_ | (~francesco@an-19-177-133.service.infuturo.it) |
| 2023-08-22 19:27:38 +0000 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 246 seconds) |
| 2023-08-22 19:27:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) |
| 2023-08-22 19:28:52 +0000 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2023-08-22 19:32:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) (Ping timeout: 246 seconds) |
| 2023-08-22 19:35:49 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-22 19:35:51 +0000 | foul_owl | (~kerry@185.219.141.164) |
| 2023-08-22 19:37:52 +0000 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-22 19:43:08 +0000 | tromp | (~textual@92.110.219.57) |
| 2023-08-22 19:45:15 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-22 19:46:52 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-22 19:47:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-22 19:51:22 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-22 19:51:44 +0000 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) |
| 2023-08-22 19:53:04 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 19:53:04 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 19:55:53 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 20:07:22 +0000 | artem | (~artem@73.103.90.145) |
| 2023-08-22 20:07:23 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-22 20:07:46 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-08-22 20:11:27 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-22 20:12:06 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-22 20:12:37 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-22 20:12:37 +0000 | artem | (~artem@73.103.90.145) (Read error: Connection reset by peer) |
| 2023-08-22 20:13:13 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-08-22 20:16:02 +0000 | dblhelix | (~stefan@86.122.14.154) |
| 2023-08-22 20:17:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 20:22:06 +0000 | jonathan__ | (~jonathan@193.203.13.85) (Ping timeout: 245 seconds) |
| 2023-08-22 20:23:33 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-22 20:25:19 +0000 | oo_miguel1 | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-22 20:26:27 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-22 20:27:38 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2023-08-22 20:29:32 +0000 | oo_miguel1 | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 2023-08-22 20:31:05 +0000 | boukenshaou | (~Boukensha@223.178.80.187) |
| 2023-08-22 20:31:16 +0000 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 245 seconds) |
| 2023-08-22 20:32:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 20:33:22 +0000 | td_ | (~td@i53870925.versanet.de) |
| 2023-08-22 20:34:52 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) |
| 2023-08-22 20:37:25 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 20:42:27 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-22 20:44:42 +0000 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-22 20:46:41 +0000 | td_ | (~td@i53870937.versanet.de) |
| 2023-08-22 20:49:09 +0000 | shapr | hops quietly |
| 2023-08-22 20:49:39 +0000 | <Rembane> | Hi shapr! |
| 2023-08-22 20:49:44 +0000 | <Rembane> | shapr: Are you making beer? |
| 2023-08-22 20:51:25 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-22 20:51:30 +0000 | <shapr> | ha, no |
| 2023-08-22 20:51:45 +0000 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-22 20:51:46 +0000 | <shapr> | I'm reading gabriella's nixos in production book and being distracted by differential dataflow |
| 2023-08-22 20:51:54 +0000 | <shapr> | Rembane: doing anything fun? |
| 2023-08-22 20:52:35 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-22 20:53:21 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-08-22 20:56:42 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 2023-08-22 20:56:57 +0000 | <Rembane> | shapr: Good stuff! I'm watching Twitch and chilling very actively. I tried to have Nix build and configure a DigitalOcean VPS for me yesterday but I don't seem to have enough neither RAM nor harddrive space to do it, so I'm considering just setting up the machine manually soon. |
| 2023-08-22 20:59:36 +0000 | Square2 | (~Square4@user/square) |
| 2023-08-22 21:00:13 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-22 21:00:35 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-08-22 21:01:05 +0000 | She | (haveident@libera/staff/she/her) |
| 2023-08-22 21:04:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-22 21:06:36 +0000 | Guest|67 | (~Guest|67@84.214.20.253) |
| 2023-08-22 21:06:57 +0000 | dblhelix | (~stefan@86.122.14.154) (Quit: leaving) |
| 2023-08-22 21:07:21 +0000 | <Guest|67> | How can i download haskell on my maCos Hig Sierra 10.13.6? |
| 2023-08-22 21:10:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-22 21:11:57 +0000 | <danza_> | Guest|67, try haskell.org/ghcup |
| 2023-08-22 21:17:58 +0000 | danza_ | (~francesco@an-19-177-133.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-08-22 21:18:03 +0000 | danza__ | (~francesco@151.43.215.52) |
| 2023-08-22 21:18:10 +0000 | <Guest|67> | Thanku but I have already tried, it told me that if I have this modell or lower I have to upgrade or that I need sepperate binaries which I did not quite understand |
| 2023-08-22 21:22:18 +0000 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-22 21:24:22 +0000 | <tomsmeding> | Guest|67: if you have the exact error message that you got, people here might recognise it and be able to point you in the right direction |
| 2023-08-22 21:24:25 +0000 | td_ | (~td@i5387091D.versanet.de) |
| 2023-08-22 21:24:30 +0000 | ddellacosta | (~ddellacos@146.70.168.10) (Ping timeout: 250 seconds) |
| 2023-08-22 21:25:40 +0000 | boukenshaou | (~Boukensha@223.178.80.187) (Remote host closed the connection) |
| 2023-08-22 21:25:50 +0000 | <Guest|67> | This is what I got: |
| 2023-08-22 21:26:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-22 21:26:41 +0000 | ddellacosta | (~ddellacos@146.70.165.136) |
| 2023-08-22 21:28:05 +0000 | <Guest|67> | ==> You are using macOS 10.13. |
| 2023-08-22 21:28:05 +0000 | <Guest|67> | ==> We (and Apple) do not provide support for this old version. |
| 2023-08-22 21:28:06 +0000 | <Guest|67> | This installation may not succeed. |
| 2023-08-22 21:28:06 +0000 | <Guest|67> | After installation, you will encounter build failures with some formulae. |
| 2023-08-22 21:28:07 +0000 | <Guest|67> | Please create pull requests instead of asking for help on Homebrew's GitHub, |
| 2023-08-22 21:28:07 +0000 | <Guest|67> | Twitter or any other official channels. You are responsible for resolving any |
| 2023-08-22 21:28:08 +0000 | <Guest|67> | issues you experience while you are running this old version. |
| 2023-08-22 21:28:12 +0000 | <Guest|67> | ==> The Xcode Command Line Tools will be installed. |
| 2023-08-22 21:28:12 +0000 | <Guest|67> | Press RETURN/ENTER to continue or any other key to abort: |
| 2023-08-22 21:28:34 +0000 | <tomsmeding> | Guest|67: did you try to continue? |
| 2023-08-22 21:29:13 +0000 | <tomsmeding> | also, for what purpose do you want to install haskell? Would you, for example, be okay with not getting the latest version? |
| 2023-08-22 21:29:28 +0000 | <Guest|67> | yes |
| 2023-08-22 21:29:31 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 260 seconds) |
| 2023-08-22 21:29:32 +0000 | <tomsmeding> | (I have to leave now; perhaps others can help) |
| 2023-08-22 21:29:37 +0000 | <Guest|67> | this what was written: |
| 2023-08-22 21:29:43 +0000 | <Guest|67> | ress RETURN/ENTER to continue or any other key to abort: |
| 2023-08-22 21:29:44 +0000 | <Guest|67> | ==> /usr/bin/sudo /usr/sbin/chown -R yemsrachabebe:admin /usr/local/Homebrew |
| 2023-08-22 21:29:44 +0000 | <Guest|67> | ==> Searching online for the Command Line Tools |
| 2023-08-22 21:29:45 +0000 | <Guest|67> | ==> /usr/bin/sudo /usr/bin/touch /tmp/.com.apple.dt.CommandLineTools.installondemand.in-progress |
| 2023-08-22 21:29:45 +0000 | <Guest|67> | ==> Installing Command Line Tools (macOS High Sierra version 10.13) for Xcode-10.1 |
| 2023-08-22 21:29:46 +0000 | <Guest|67> | ==> /usr/bin/sudo /usr/sbin/softwareupdate -i Command\ Line\ Tools\ (macOS\ High\ Sierra\ version\ 10.13)\ for\ Xcode-10.1 |
| 2023-08-22 21:29:46 +0000 | <Guest|67> | Software Update Tool |
| 2023-08-22 21:29:47 +0000 | <Guest|67> | Downloading Command Line Tools (macOS High Sierra version 10.13) for Xcode |
| 2023-08-22 21:29:49 +0000 | <tomsmeding> | @where paste |
| 2023-08-22 21:29:49 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2023-08-22 21:29:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) |
| 2023-08-22 21:29:52 +0000 | <tomsmeding> | Guest|67: ^ |
| 2023-08-22 21:30:01 +0000 | <tomsmeding> | please don't flood the channel :) |
| 2023-08-22 21:30:34 +0000 | <yushyin> | can't you just update macos first? |
| 2023-08-22 21:33:35 +0000 | <Guest|67> | Is thAT POSSIBLE? I dont think so cause 10.13.6 is the modell of this computer |
| 2023-08-22 21:34:04 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c0:69c6:c6bf:d46c) (Ping timeout: 248 seconds) |
| 2023-08-22 21:34:11 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2023-08-22 21:34:46 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-08-22 21:35:41 +0000 | Buggys | (Buggys@shelltalk.net) |
| 2023-08-22 21:35:49 +0000 | <yushyin> | I don't know, that's why I'm asking. If my operating system version is EOL, I would update it. |
| 2023-08-22 21:39:33 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-22 21:39:59 +0000 | Guest|67 | (~Guest|67@84.214.20.253) (Quit: Connection closed) |
| 2023-08-22 21:40:01 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-22 21:42:11 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-22 21:44:16 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-22 21:44:16 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-22 21:44:16 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-22 21:47:43 +0000 | ddellacosta | (~ddellacos@146.70.165.136) (Ping timeout: 246 seconds) |
| 2023-08-22 21:49:20 +0000 | CiaoSen | (~Jura@2a05:5800:293:ab00:664b:f0ff:fe37:9ef) (Ping timeout: 244 seconds) |
| 2023-08-22 21:50:00 +0000 | ddellacosta | (~ddellacos@146.70.168.136) |
| 2023-08-22 21:52:45 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-22 22:02:17 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-22 22:05:48 +0000 | <monochrom> | I think I also heard that some macos updates/upgrades cost money. |
| 2023-08-22 22:06:14 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2023-08-22 22:10:20 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2023-08-22 22:11:25 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-08-22 22:13:02 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-22 22:15:34 +0000 | <geekosaur> | they also EOL hardware in some upgrades |
| 2023-08-22 22:16:10 +0000 | <monochrom> | yeah :( |
| 2023-08-22 22:17:26 +0000 | <monochrom> | Two decades ago I admired the Macbook and I said to myself "one day when I have money I should switch to Macbook". |
| 2023-08-22 22:17:49 +0000 | <monochrom> | I had no money for the next decade, therefore disaster averted >:D |
| 2023-08-22 22:18:41 +0000 | <monochrom> | By the time I had money, I had had also seen enough tech support questions on #haskell that "OK nevermind, I'll stick to Linux". |
| 2023-08-22 22:19:04 +0000 | <monochrom> | (more accurately "Linux on cheap x86 laptops") |
| 2023-08-22 22:22:55 +0000 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-22 22:23:34 +0000 | matijja | (~matijja@193.77.181.201) |
| 2023-08-22 22:25:18 +0000 | acidjnk | (~acidjnk@p200300d6e7072f1038e78ce6e398439b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-22 22:26:21 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-22 22:26:31 +0000 | bramhaag7 | (~bramhaag@198.8.58.39) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-22 22:33:01 +0000 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-08-22 22:50:26 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-22 22:50:45 +0000 | <EvanR> | my macbook air just died, not 10 years old |
| 2023-08-22 22:51:27 +0000 | <EvanR> | a lot of replacement keys were thrown at this guy to keep it afloat |
| 2023-08-22 22:51:51 +0000 | <EvanR> | it also wasn't really getting OS updates |
| 2023-08-22 22:54:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2023-08-22 22:58:42 +0000 | Achylles | (~Achylles_@45.182.57.81) |
| 2023-08-22 23:01:07 +0000 | <shapr> | Rembane: I'm using gandi vps because it has a NixOS image option, but gandi has gone downhill since being sold, so I'll have to find something else |
| 2023-08-22 23:01:43 +0000 | <shapr> | EvanR: what's the replacement? maybe a frame.work ? |
| 2023-08-22 23:04:42 +0000 | geekosaur | grins |
| 2023-08-22 23:13:29 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-22 23:15:50 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-08-22 23:22:45 +0000 | <EvanR> | currently the "replacement" is an underpowered 5 year old dell inspiron laptop that has been doing windows updates for a week |
| 2023-08-22 23:23:12 +0000 | bilegeek | (~bilegeek@2600:1008:b084:26e1:642d:15c:b0a8:d815) |
| 2023-08-22 23:23:20 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-22 23:23:47 +0000 | ski | (~ski@129.16.31.191) |
| 2023-08-22 23:28:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-22 23:33:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-22 23:43:31 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2023-08-22 23:44:11 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-22 23:44:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-08-22 23:45:30 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-22 23:58:40 +0000 | Inst | (~liamzy@2601:6c4:4085:6d50::d547) |
| 2023-08-22 23:59:05 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-08-22 23:59:09 +0000 | <Inst> | i sort of got bored and decided to make a joke library, although I hope it's actually useful (asset manager for file deployment within, alongside, or from the network) |
| 2023-08-22 23:59:24 +0000 | <Inst> | it's a joke because i'm glossing on all sorts of ridiculous types |
| 2023-08-22 23:59:56 +0000 | <Inst> | datatypecontexts are dead, right? There's no other way to put out a constraint on a newtype, right? |
