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