| 2023-06-29 00:01:13 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2023-06-29 00:01:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-29 00:03:50 +0200 | taupiqueur | (~taupiqueu@2a02-8440-721b-8c5d-393a-ef3b-a3c7-d0b1.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2023-06-29 00:06:32 +0200 | mithromdir | (uid591745@user/mithromdir) (Quit: Connection closed for inactivity) |
| 2023-06-29 00:13:32 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 2023-06-29 00:15:36 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-29 00:19:12 +0200 | nick__ | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 250 seconds) |
| 2023-06-29 00:20:30 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-29 00:22:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-29 00:25:05 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-29 00:25:50 +0200 | acidjnk | (~acidjnk@p200300d6e7072f43a445df600121d0b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-06-29 00:27:35 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 264 seconds) |
| 2023-06-29 00:28:14 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-29 00:28:32 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2023-06-29 00:28:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-29 00:29:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 00:36:28 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) (Server closed connection) |
| 2023-06-29 00:36:37 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) |
| 2023-06-29 00:37:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-29 00:38:23 +0200 | danse-nr3 | (~francesco@151.37.109.27) (Ping timeout: 264 seconds) |
| 2023-06-29 00:39:41 +0200 | sumpwa- | sumpwa |
| 2023-06-29 00:43:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-06-29 00:47:17 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) |
| 2023-06-29 00:47:42 +0200 | ubert | (~Thunderbi@p548c89d1.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-06-29 00:51:14 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
| 2023-06-29 00:51:14 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
| 2023-06-29 00:51:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-29 00:57:07 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-29 00:57:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-29 00:58:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-29 00:58:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-29 00:58:52 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-06-29 01:02:26 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-06-29 01:05:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-29 01:10:56 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-29 01:13:53 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 01:22:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 01:24:20 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) |
| 2023-06-29 01:27:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 01:31:19 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-29 01:31:41 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 01:44:58 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-29 01:46:03 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.0) |
| 2023-06-29 01:46:58 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2023-06-29 01:46:58 +0200 | mauke_ | mauke |
| 2023-06-29 01:51:54 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-29 02:04:10 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-06-29 02:06:17 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-29 02:07:00 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-06-29 02:08:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2023-06-29 02:12:07 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-29 02:14:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-29 02:14:54 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-06-29 02:17:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-29 02:18:28 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-06-29 02:19:22 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 245 seconds) |
| 2023-06-29 02:20:42 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-29 02:28:58 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 260 seconds) |
| 2023-06-29 02:29:32 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 02:29:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-29 02:30:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-29 02:30:00 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 02:32:35 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-29 02:32:59 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:fad5:4c0d:f189:458b) (Ping timeout: 264 seconds) |
| 2023-06-29 02:34:09 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-29 02:36:26 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-29 02:41:56 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 02:42:15 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-29 02:43:38 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-29 02:48:41 +0200 | tom_ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) (Read error: Connection reset by peer) |
| 2023-06-29 02:48:57 +0200 | zincy | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 2023-06-29 03:01:46 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-29 03:02:16 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 03:10:32 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-29 03:11:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-29 03:12:58 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-06-29 03:13:44 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 03:17:41 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-29 03:18:35 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-29 03:23:01 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 03:27:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-29 03:34:48 +0200 | vgtw_ | (~vgtw@user/vgtw) (Server closed connection) |
| 2023-06-29 03:35:10 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-06-29 03:38:58 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-06-29 03:43:10 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-29 03:45:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 03:48:46 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-06-29 03:48:53 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Server closed connection) |
| 2023-06-29 03:50:35 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 258 seconds) |
| 2023-06-29 03:50:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-06-29 03:51:34 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
| 2023-06-29 03:51:34 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
| 2023-06-29 03:51:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-29 03:55:50 +0200 | hisa387 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-29 04:00:38 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-29 04:02:49 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-29 04:09:42 +0200 | RedNifre2 | (~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de) |
| 2023-06-29 04:11:32 +0200 | RedNifre | (~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2023-06-29 04:16:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 04:22:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-29 04:22:03 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-29 04:22:03 +0200 | finn_elija | FinnElija |
| 2023-06-29 04:25:26 +0200 | smoge | (~smoge@2603-7000-4b42-1100-74f4-ede1-dde8-b0f7.res6.spectrum.com) |
| 2023-06-29 04:26:00 +0200 | <smoge> | Is there a reason a project stills requires ghc-8.10.7 and not newer versions? |
| 2023-06-29 04:26:29 +0200 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 240 seconds) |
| 2023-06-29 04:26:36 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-06-29 04:26:43 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-29 04:27:57 +0200 | <sm> | no active maintainer is a common one |
| 2023-06-29 04:28:23 +0200 | td_ | (~td@i53870923.versanet.de) |
| 2023-06-29 04:28:30 +0200 | <sm> | dependencies that don't work with newer ghc is another |
| 2023-06-29 04:28:50 +0200 | <smoge> | it is active, that's why I wonder |
| 2023-06-29 04:33:04 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-29 04:38:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-06-29 04:39:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | aforemny | (~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | dsrt^ | (~dsrt@24.125.210.85) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | Techcable | (~Techcable@user/Techcable) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | esph | (~weechat@user/esph) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | jil | (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2023-06-29 04:39:59 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | wagle | (~wagle@quassel.wagle.io) (*.net *.split) |
| 2023-06-29 04:40:00 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2023-06-29 04:40:14 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-06-29 04:40:45 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-06-29 04:40:45 +0200 | dsrt^ | (~dsrt@24.125.210.85) |
| 2023-06-29 04:41:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-29 04:44:12 +0200 | <probie> | Is it a library, or an executable? If it's an executable it might just be that they don't see the point in upgrading, or it's being packaged for a distro which still only has 8.10 |
| 2023-06-29 04:45:26 +0200 | <sm> | smoge: it's probably discussed in the issue tracker then |
| 2023-06-29 04:46:04 +0200 | samhh | 068AAA5TF |
| 2023-06-29 04:46:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 04:46:30 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-29 04:46:30 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-06-29 04:46:30 +0200 | aforemny | (~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb) |
| 2023-06-29 04:46:30 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2023-06-29 04:46:30 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-29 04:46:30 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2023-06-29 04:46:30 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-06-29 04:46:30 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-06-29 04:46:30 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-06-29 04:46:30 +0200 | esph | (~weechat@user/esph) |
| 2023-06-29 04:46:30 +0200 | megaTherion | (~therion@unix.io) |
| 2023-06-29 04:46:30 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2023-06-29 04:46:30 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2023-06-29 04:46:30 +0200 | h2t | (~h2t@user/h2t) |
| 2023-06-29 04:46:30 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2023-06-29 04:46:30 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-06-29 04:46:30 +0200 | jil | (~user@vps-15050500.vps.ovh.net) |
| 2023-06-29 04:46:30 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-06-29 04:46:30 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
| 2023-06-29 04:46:30 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2023-06-29 04:46:30 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-06-29 04:46:30 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-06-29 04:46:30 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2023-06-29 04:46:30 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-06-29 04:46:30 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-06-29 04:46:30 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2023-06-29 04:46:30 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2023-06-29 04:46:30 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-06-29 04:46:30 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2023-06-29 04:46:30 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2023-06-29 04:46:30 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2023-06-29 04:46:30 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 2023-06-29 04:46:30 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
| 2023-06-29 04:46:30 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2023-06-29 04:46:30 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
| 2023-06-29 04:46:30 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
| 2023-06-29 04:46:30 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2023-06-29 04:46:30 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-06-29 04:46:30 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 2023-06-29 04:46:30 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2023-06-29 04:46:30 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2023-06-29 04:46:30 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-06-29 04:46:30 +0200 | Athas | (athas@sigkill.dk) |
| 2023-06-29 04:46:36 +0200 | Techcable_ | (~Techcable@user/Techcable) |
| 2023-06-29 04:46:36 +0200 | MonsoonSecrecy_ | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-06-29 04:46:37 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-06-29 04:46:41 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Max SendQ exceeded) |
| 2023-06-29 04:46:41 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Max SendQ exceeded) |
| 2023-06-29 04:46:41 +0200 | Techcable | (~Techcable@user/Techcable) (Max SendQ exceeded) |
| 2023-06-29 04:46:47 +0200 | sm | (~sm@plaintextaccounting/sm) (Server closed connection) |
| 2023-06-29 04:48:16 +0200 | MonsoonSecrecy_ | MonsoonSecrecy |
| 2023-06-29 04:48:32 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-06-29 04:48:54 +0200 | Techcable_ | Techcable |
| 2023-06-29 04:49:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-06-29 04:49:48 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-06-29 04:50:12 +0200 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 245 seconds) |
| 2023-06-29 04:52:12 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
| 2023-06-29 04:52:18 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2023-06-29 04:58:09 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 05:01:37 +0200 | smoge | (~smoge@2603-7000-4b42-1100-74f4-ede1-dde8-b0f7.res6.spectrum.com) (Quit: Client closed) |
| 2023-06-29 05:02:34 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) (Remote host closed the connection) |
| 2023-06-29 05:02:36 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-29 05:05:38 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-06-29 05:19:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-29 05:20:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-29 05:27:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 05:28:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd6:c300:2cb7:89c3:81d1:9523) |
| 2023-06-29 05:29:22 +0200 | aforemny | (~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb) (Ping timeout: 245 seconds) |
| 2023-06-29 05:29:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-06-29 05:30:37 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-06-29 05:31:44 +0200 | <glguy> | Is it possible to put a haddock comment on a parser definition generated by happy? |
| 2023-06-29 05:32:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 05:38:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-06-29 05:48:58 +0200 | solaire | (~solaire@024-158-116-019.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-06-29 05:57:04 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 05:57:33 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Server closed connection) |
| 2023-06-29 05:58:09 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2023-06-29 06:00:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-29 06:00:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-29 06:00:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 06:01:41 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-06-29 06:02:40 +0200 | dextaa7 | (~DV@user/dextaa) |
| 2023-06-29 06:04:17 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 2023-06-29 06:04:18 +0200 | dextaa7 | dextaa |
| 2023-06-29 06:08:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-29 06:18:23 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-06-29 06:22:32 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-29 06:26:30 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Server closed connection) |
| 2023-06-29 06:26:58 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-06-29 06:27:27 +0200 | <jackdk> | ghcjs users often want to support 8.10.7 |
| 2023-06-29 06:27:44 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2023-06-29 06:32:17 +0200 | aforemny | (~aforemny@i59F516D7.versanet.de) |
| 2023-06-29 06:32:59 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd6:c300:2cb7:89c3:81d1:9523) (Ping timeout: 246 seconds) |
| 2023-06-29 06:33:10 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-29 06:34:35 +0200 | <dolio> | We were using 8.10.7 at work until recently, because we have other stuff to do than fix miscellaneous discrepancies between versions. |
| 2023-06-29 06:38:59 +0200 | aforemny_ | (~aforemny@i59F516C4.versanet.de) |
| 2023-06-29 06:39:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-29 06:39:47 +0200 | aforemny | (~aforemny@i59F516D7.versanet.de) (Ping timeout: 245 seconds) |
| 2023-06-29 06:58:40 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (Server closed connection) |
| 2023-06-29 06:58:49 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-29 06:58:55 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) |
| 2023-06-29 07:02:12 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-29 07:03:20 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-29 07:04:24 +0200 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Remote host closed the connection) |
| 2023-06-29 07:05:37 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-06-29 07:13:08 +0200 | trev | (~trev@user/trev) |
| 2023-06-29 07:16:54 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 07:25:10 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 07:29:30 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-06-29 07:32:28 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-29 07:34:16 +0200 | banner | (~banner@114-129-185-30.ip4.superloop.au) |
| 2023-06-29 07:40:50 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-29 07:42:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-29 07:42:56 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-06-29 07:43:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) |
| 2023-06-29 07:44:32 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-29 07:46:50 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 07:46:55 +0200 | kadoban | (~kadoban@user/kadoban) (Server closed connection) |
| 2023-06-29 07:47:13 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2023-06-29 07:50:50 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-29 07:52:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-06-29 07:54:08 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 07:55:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-29 07:56:45 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 07:58:54 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 260 seconds) |
| 2023-06-29 08:04:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-29 08:04:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-06-29 08:06:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-29 08:11:26 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-06-29 08:11:56 +0200 | turlando | (~turlando@user/turlando) |
| 2023-06-29 08:15:16 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-29 08:16:28 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-06-29 08:16:43 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 08:18:37 +0200 | sympt | (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
| 2023-06-29 08:18:53 +0200 | nick__ | (~nick@2600:8807:9084:7800:8dba:9482:8c7b:9312) |
| 2023-06-29 08:19:32 +0200 | sympt | (~sympt@user/sympt) |
| 2023-06-29 08:23:10 +0200 | nick__ | (~nick@2600:8807:9084:7800:8dba:9482:8c7b:9312) (Ping timeout: 260 seconds) |
| 2023-06-29 08:24:15 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-29 08:25:21 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-29 08:25:47 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 264 seconds) |
| 2023-06-29 08:30:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-29 08:36:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2023-06-29 08:37:24 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-06-29 08:37:37 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-06-29 08:38:02 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-06-29 08:43:00 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-29 08:46:25 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 08:54:40 +0200 | jespada | (~jespada@207.188.139.183) |
| 2023-06-29 09:01:14 +0200 | kupenske_oplatky | (~priesvitn@192.216.99.34.bc.googleusercontent.com) |
| 2023-06-29 09:01:22 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-29 09:02:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-29 09:15:33 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-29 09:16:07 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) |
| 2023-06-29 09:16:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 09:19:34 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 09:20:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 09:23:16 +0200 | jespada_ | (~jespada@207.188.139.183) |
| 2023-06-29 09:24:33 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2023-06-29 09:24:43 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-06-29 09:26:30 +0200 | jespada | (~jespada@207.188.139.183) (Ping timeout: 250 seconds) |
| 2023-06-29 09:27:33 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-29 09:33:04 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Server closed connection) |
| 2023-06-29 09:33:18 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2023-06-29 09:33:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-29 09:33:46 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 09:34:44 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-06-29 09:38:28 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-29 09:40:17 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-29 09:41:05 +0200 | <maerwald> | dolio: hehe |
| 2023-06-29 09:43:30 +0200 | hisa3879 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-29 09:44:22 +0200 | hisa387 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-06-29 09:44:22 +0200 | hisa3879 | hisa387 |
| 2023-06-29 09:50:37 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-29 09:52:18 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-29 09:52:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 09:54:40 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 250 seconds) |
| 2023-06-29 09:56:20 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-06-29 09:58:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-29 09:59:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-29 10:00:53 +0200 | Square | (~Square@user/square) |
| 2023-06-29 10:06:54 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-06-29 10:11:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:af53:a9f5:14c6:8ab8) |
| 2023-06-29 10:12:54 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:9a00:664b:f0ff:fe37:9ef) |
| 2023-06-29 10:14:20 +0200 | Guest79 | (~Guest79@88.202.151.93) |
| 2023-06-29 10:19:45 +0200 | chele | (~chele@user/chele) |
| 2023-06-29 10:21:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-29 10:22:11 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38) |
| 2023-06-29 10:25:20 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) |
| 2023-06-29 10:27:50 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 246 seconds) |
| 2023-06-29 10:33:39 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-06-29 10:36:02 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 10:37:03 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-06-29 10:38:52 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-29 10:41:02 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-29 10:41:54 +0200 | remexre_ | (~remexre@user/remexre) |
| 2023-06-29 10:42:10 +0200 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2023-06-29 10:42:43 +0200 | remexre_ | remexre |
| 2023-06-29 10:42:55 +0200 | Guest79 | (~Guest79@88.202.151.93) (Quit: Client closed) |
| 2023-06-29 10:43:51 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Server closed connection) |
| 2023-06-29 10:44:13 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2023-06-29 10:48:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-29 10:51:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-29 10:52:47 +0200 | emergence7 | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-06-29 10:53:00 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-29 10:53:09 +0200 | AndreasK_ | (sid320732@id-320732.uxbridge.irccloud.com) |
| 2023-06-29 10:53:13 +0200 | joeyh_ | (~joeyh@kitenet.net) |
| 2023-06-29 10:53:16 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-29 10:53:30 +0200 | skippy | (sid26890@user/slice) (Ping timeout: 240 seconds) |
| 2023-06-29 10:53:30 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-29 10:53:30 +0200 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) |
| 2023-06-29 10:53:45 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2023-06-29 10:53:50 +0200 | skippy | (sid26890@user/slice) |
| 2023-06-29 10:53:55 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-06-29 10:54:00 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:00 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Ping timeout: 240 seconds) |
| 2023-06-29 10:54:30 +0200 | emergence7 | emergence |
| 2023-06-29 10:54:30 +0200 | Fangs_ | Fangs |
| 2023-06-29 10:54:30 +0200 | AndreasK_ | AndreasK |
| 2023-06-29 10:55:00 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Ping timeout: 240 seconds) |
| 2023-06-29 10:55:00 +0200 | hays | (rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds) |
| 2023-06-29 10:55:00 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 240 seconds) |
| 2023-06-29 10:56:06 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2023-06-29 10:56:24 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-06-29 10:56:27 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2023-06-29 10:57:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-29 10:57:30 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-29 10:57:38 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2023-06-29 10:59:22 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-29 10:59:37 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2023-06-29 10:59:48 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 11:00:14 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-083.46.114.pool.telefonica.de) |
| 2023-06-29 11:00:30 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 600 seconds) |
| 2023-06-29 11:02:27 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-29 11:03:32 +0200 | xenomorph | (~xenomorph@188.220.172.130) (Ping timeout: 240 seconds) |
| 2023-06-29 11:04:26 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 11:05:42 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14b17818bda9110bcd.dip0.t-ipconnect.de) |
| 2023-06-29 11:07:03 +0200 | danse-nr3 | (~francesco@151.37.17.226) |
| 2023-06-29 11:08:17 +0200 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 2023-06-29 11:08:50 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 11:09:13 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-29 11:09:19 +0200 | robertm | (~robertm@lattice.rojoma.com) |
| 2023-06-29 11:10:05 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38) |
| 2023-06-29 11:10:55 +0200 | xenomorph | (~xenomorph@bcdcac82.skybroadband.com) |
| 2023-06-29 11:11:42 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-06-29 11:12:48 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2023-06-29 11:17:07 +0200 | xenomorph | (~xenomorph@bcdcac82.skybroadband.com) (Quit: Connection error?!) |
| 2023-06-29 11:17:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-29 11:17:58 +0200 | stonebridge | (~stronebri@bcdcac82.skybroadband.com) |
| 2023-06-29 11:19:03 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-06-29 11:21:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-29 11:21:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-06-29 11:21:59 +0200 | Square | (~Square@user/square) |
| 2023-06-29 11:22:52 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-29 11:23:51 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 2023-06-29 11:25:09 +0200 | <Square> | I've never seen this "foldFree :: (Applicative f, Monad m) => (forall x . f x -> m x) -> Free f a -> m a" as used in https://hackage.haskell.org/package/free-5.2/docs/src/Control.Monad.Free.Ap.html#foldFree |
| 2023-06-29 11:27:52 +0200 | <Square> | is that constraint saying f must be "x -> m x" ? |
| 2023-06-29 11:28:47 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:9a00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 2023-06-29 11:28:48 +0200 | <Square> | That is the "forall x . f x -> m x" part |
| 2023-06-29 11:28:58 +0200 | <ncf> | for all applicative functors f and monads m, for all natural transformations (forall x. f x -> m x), you get a monad homomorphism (forall a.) Free f a -> m a |
| 2023-06-29 11:29:39 +0200 | <Square> | Didn't know you could be so explicit in your constraints. |
| 2023-06-29 11:30:18 +0200 | CiaoSen | (~Jura@2a05:5800:2c6:6f00:664b:f0ff:fe37:9ef) |
| 2023-06-29 11:30:23 +0200 | <ncf> | well, you can't require or enforce "monad homomorphism", that's just part of the "contract" |
| 2023-06-29 11:31:22 +0200 | <Square> | oh wait. f is a type. Doh. |
| 2023-06-29 11:32:16 +0200 | <ncf> | f has kind * -> * |
| 2023-06-29 11:33:25 +0200 | <Square> | yup |
| 2023-06-29 11:34:14 +0200 | <ncf> | note that this pretty much says that Free is a left adjoint to the forgetful functor from monads to endofunctors, which is pretty much its defining property |
| 2023-06-29 11:34:40 +0200 | <ncf> | so this function is really important! |
| 2023-06-29 11:35:31 +0200 | <mniip> | Square, have you encountered ExplicitForAll or RankNTypes before? |
| 2023-06-29 11:35:49 +0200 | <ncf> | er, well that would apply to the foldFree from Control.Monad.Free, not sure about the .Ap thing |
| 2023-06-29 11:37:49 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 11:39:22 +0200 | <mniip> | if not, I feel like you may be a little bit ahead of yourself :P |
| 2023-06-29 11:41:45 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14b17818bda9110bcd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-29 11:41:50 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-06-29 11:41:59 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 11:44:30 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-06-29 11:45:23 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-29 11:46:30 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Client Quit) |
| 2023-06-29 11:51:07 +0200 | <Square> | mniip, gotcha. RankNTypes I've used a bunch. ExplicitForAll not much. |
| 2023-06-29 11:51:10 +0200 | Guest76 | (~Guest76@2405:6583:9240:1400:b117:f2f3:3d43:95a2) |
| 2023-06-29 11:52:02 +0200 | <mniip> | well, RankNTypes implies ExplicitForAll |
| 2023-06-29 11:52:30 +0200 | <mniip> | ExplicitForAll enables the syntax "forall type variables. SomeType" |
| 2023-06-29 11:52:54 +0200 | <mniip> | RankNTypes allows the syntax to be used on the left hand side of an arrow, leading to types that are actually "rank N" |
| 2023-06-29 11:53:14 +0200 | <mniip> | so yeah this is just an instance of RankNTypes, nothing more |
| 2023-06-29 11:53:47 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14c98aefe9c919a5af.dip0.t-ipconnect.de) |
| 2023-06-29 11:54:16 +0200 | <Square> | I'm new to Free monads. Thought I'd explore them a bit. So yeah, then i stumbled upon this. |
| 2023-06-29 11:55:30 +0200 | <Guest76> | I have a question. |
| 2023-06-29 11:55:31 +0200 | <Guest76> | I want to create a list that will generate an error if the numbers don't sum up to 10. |
| 2023-06-29 11:55:31 +0200 | <Guest76> | Strictly speaking, I don't need such a list, but I simplify it because I believe that if I understand how to create this, I can implement my desired type. |
| 2023-06-29 11:55:32 +0200 | <Guest76> | For example, |
| 2023-06-29 11:55:32 +0200 | <Guest76> | a = FixedSizedList [3, 3, 3, 1] |
| 2023-06-29 11:55:33 +0200 | <Guest76> | This is not an error. |
| 2023-06-29 11:55:33 +0200 | <Guest76> | b = FixedSizedList [3, 3, 3] |
| 2023-06-29 11:55:34 +0200 | <Guest76> | This is an error and cannot be defined. |
| 2023-06-29 11:55:34 +0200 | <Guest76> | I want the sum of the elements in the list to always be 10. |
| 2023-06-29 11:55:35 +0200 | <Guest76> | I also do not want extensibility to be able to set it to a number other than 10. |
| 2023-06-29 11:55:35 +0200 | <Guest76> | If anyone knows how to implement such a data type, I would like to know. |
| 2023-06-29 11:56:44 +0200 | ripspin | (~chatzilla@1.145.174.152) |
| 2023-06-29 11:57:12 +0200 | <mniip> | the usual way to do this is to make a newtype TenList = UnsafeMkTenList { getList :: [Int] }; and a function mkTenList :: [Int] -> Maybe TenList |
| 2023-06-29 11:57:31 +0200 | <mniip> | you can then put these in a module where UnsafeMkTenList is not exported |
| 2023-06-29 11:59:51 +0200 | <mniip> | this is punting the check to runtime though: if you do Just b = mkTenList [3, 3, 3]; that's gonna fail at runtime |
| 2023-06-29 12:02:19 +0200 | <mniip> | this solves the problem of tracking validity of runtime data, but if your problem is verification of compile-time constants, then that's completely different |
| 2023-06-29 12:02:52 +0200 | <mniip> | that one would require TemplateHaskell or singletons, both fairly advanced topics |
| 2023-06-29 12:02:58 +0200 | <ncf> | you could also look for an alternative representation that doesn't allow invalid states to be represented. for example, lists-of-naturals-that-sum-to-10 should be equivalent to 11-uples of natural numbers, where [3, 3, 3, 1] is encoded as (0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0) |
| 2023-06-29 12:03:59 +0200 | <mniip> | I don't think that's equivalent? |
| 2023-06-29 12:04:48 +0200 | <mniip> | there's only finitely many lists of natural numbers that sum to 10 |
| 2023-06-29 12:04:55 +0200 | <ncf> | i'm allowing 0 |
| 2023-06-29 12:05:00 +0200 | <mniip> | o |
| 2023-06-29 12:05:11 +0200 | <mniip> | I don't understand the encoding then |
| 2023-06-29 12:05:19 +0200 | <mniip> | stars-and-bars comes to mind but that's not what you're doing |
| 2023-06-29 12:06:31 +0200 | <mniip> | data List (n :: Nat) where { Star :: List (n - 1) -> List n; Bar :: List n -> List n } |
| 2023-06-29 12:07:00 +0200 | <mniip> | Nil :: List 0 |
| 2023-06-29 12:07:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-06-29 12:07:24 +0200 | <int-e> | ncf: I think you went the wrong way... it should be 9-tuples (the gaps between ten 1-s) |
| 2023-06-29 12:07:28 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Server closed connection) |
| 2023-06-29 12:07:41 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
| 2023-06-29 12:07:59 +0200 | <mniip> | smart |
| 2023-06-29 12:08:49 +0200 | <mniip> | there's exactly 10 stars so we keep track how many bars are between each |
| 2023-06-29 12:09:13 +0200 | <Guest76> | As a matter of fact, I want to create a type about music notation. |
| 2023-06-29 12:09:13 +0200 | <Guest76> | I have completed the type for notes and rests etc., but I am struggling with the implementation of measures of music notation. |
| 2023-06-29 12:09:13 +0200 | <mniip> | I think it is 11-tuples because the leftmost bars and the rightmost bars correspond to leading/trailing zeros in the list |
| 2023-06-29 12:09:14 +0200 | <Guest76> | The total length of notes and rests in a measure must always be the length of one whole note, so I want to generate an error if the length is more or less than a whole note. |
| 2023-06-29 12:09:14 +0200 | <Guest76> | If the length of all notes is 1, we want to implement an ordered list where the numerical value of the sum of notes of length 1/4 or 1/8 is 1. |
| 2023-06-29 12:09:15 +0200 | <Guest76> | What about these cases? |
| 2023-06-29 12:09:31 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 12:09:44 +0200 | <int-e> | mniip: but we shouldn't allow zeros |
| 2023-06-29 12:09:46 +0200 | <mniip> | gotta clarify, do you want a runtime error or a compile time error? |
| 2023-06-29 12:10:10 +0200 | <int-e> | (or maybe I didn't get enough context) |
| 2023-06-29 12:10:54 +0200 | <int-e> | The reason to be ware of zeros is that otherwise we quickly have infinitely many lists... [10], [0,10], [0,0,10], [0,0,0,10], ... |
| 2023-06-29 12:10:59 +0200 | <int-e> | *wary |
| 2023-06-29 12:11:39 +0200 | <Guest76> | I am not sure which is more appropriate, but I would like either a run-time error or a compile-time error. |
| 2023-06-29 12:11:39 +0200 | <Guest76> | I would like an error to occur when an attempt is made to define the wrong measure. |
| 2023-06-29 12:12:06 +0200 | <mniip> | define when? when you get notes from user input? or when you have notes in your source code? |
| 2023-06-29 12:13:14 +0200 | <mniip> | first is easy second is hard |
| 2023-06-29 12:13:33 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-29 12:15:12 +0200 | <Guest76> | I was thinking of the case of second one. |
| 2023-06-29 12:15:20 +0200 | <int-e> | mniip: Oh I see. Your types just allows zeros because you can iterate `Bar` as often as you please. Which is fine, just different from what ncf said. |
| 2023-06-29 12:15:22 +0200 | <ncf> | int-e: plus two extremities |
| 2023-06-29 12:15:47 +0200 | <ncf> | leading and trailing zeroes should correspond to bars before and after all the 1s |
| 2023-06-29 12:15:59 +0200 | `2jt | (~jtomas@vdf-87.vdf.upv.es) |
| 2023-06-29 12:16:16 +0200 | <mniip> | you will probably need GADTs with TypeFamilies |
| 2023-06-29 12:16:20 +0200 | CiaoSen | (~Jura@2a05:5800:2c6:6f00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-06-29 12:16:36 +0200 | <int-e> | you can have |||||*|||*|*******||||||*|||||| in mniip's `List 10` type. |
| 2023-06-29 12:17:19 +0200 | <Guest76> | I came across GADT in my research, but I didn't know how to handle it. |
| 2023-06-29 12:17:51 +0200 | <ncf> | that would code to (5,3,1,0,0,0,0,0,0,6,6) in my thing |
| 2023-06-29 12:17:53 +0200 | <int-e> | ncf: Ah |
| 2023-06-29 12:18:09 +0200 | <int-e> | ncf: I got distracted by your example only having 0s and 1s. Sorry. |
| 2023-06-29 12:18:15 +0200 | <ncf> | np |
| 2023-06-29 12:18:59 +0200 | <ncf> | yeah the tuple has numbers > 1 iff the list has a 0 |
| 2023-06-29 12:19:45 +0200 | <ncf> | (which incidentally means that it's easy to restrict to non-zero lists: just swap Bool for Nat) |
| 2023-06-29 12:20:16 +0200 | <int-e> | ...has a 0 not at the start or end of the list |
| 2023-06-29 12:20:28 +0200 | <ncf> | oh |
| 2023-06-29 12:20:49 +0200 | <Guest76> | My assumption is that the length of a note should always be a non-zero positive fractional value (I am currently using Ratio Word). |
| 2023-06-29 12:20:49 +0200 | <Guest76> | So I think it should also be an error if it contains zero or negative values. |
| 2023-06-29 12:21:21 +0200 | <int-e> | ncf: so now you're getting to the point I was trying to make. |
| 2023-06-29 12:21:24 +0200 | <ncf> | right so swap Bool for Nat and 9 for 11 :) |
| 2023-06-29 12:21:26 +0200 | <Guest76> | not fractional value, rational value |
| 2023-06-29 12:21:31 +0200 | <ncf> | yeah |
| 2023-06-29 12:24:04 +0200 | <int-e> | I'm sure it's a fun exercise, but is it really worth the effort to encode that in the type? |
| 2023-06-29 12:25:58 +0200 | <Guest76> | For Example |
| 2023-06-29 12:25:59 +0200 | <Guest76> | | (1/4) (1/4) (1/2) | |
| 2023-06-29 12:25:59 +0200 | <Guest76> | OK |
| 2023-06-29 12:26:00 +0200 | <Guest76> | | (1/4) (1/4) (1/8) (1/8) (1/8) (1/8) | |
| 2023-06-29 12:26:00 +0200 | <Guest76> | OK |
| 2023-06-29 12:26:01 +0200 | <Guest76> | | (1/4) (1/4) (1/4) (1/4) (1/4) | |
| 2023-06-29 12:26:01 +0200 | <Guest76> | Error |
| 2023-06-29 12:26:02 +0200 | <Guest76> | | (1/4) (1/4) (0) (1/2) | |
| 2023-06-29 12:26:02 +0200 | <Guest76> | Error |
| 2023-06-29 12:26:03 +0200 | <Guest76> | | (1/4) (1/4) (1/2) (1/4) (1/4) (-1/2) | |
| 2023-06-29 12:26:03 +0200 | <Guest76> | Error |
| 2023-06-29 12:26:05 +0200 | <int-e> | arhg |
| 2023-06-29 12:26:21 +0200 | <int-e> | please use a pastebin? |
| 2023-06-29 12:26:43 +0200 | <int-e> | Hackage has at least one implementation of type-level rationals: https://hackage.haskell.org/package/typenums-0.1.4/docs/Data-TypeNums-Rats.html |
| 2023-06-29 12:26:46 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Server closed connection) |
| 2023-06-29 12:27:02 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2023-06-29 12:32:02 +0200 | <Guest76> | I have never used Pastebin before. |
| 2023-06-29 12:32:02 +0200 | <Guest76> | Can I just paste the example from earlier? |
| 2023-06-29 12:32:30 +0200 | <Guest76> | https://pastebin.com/D1DuLFqy |
| 2023-06-29 12:34:59 +0200 | <mniip> | why use rationals (a quotient type) if you can use homogeneous coordinates (a setoid) |
| 2023-06-29 12:35:11 +0200 | <mniip> | ex: https://play.haskell.org/saved/unFtCAAg |
| 2023-06-29 12:35:24 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-29 12:37:47 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14c98aefe9c919a5af.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-29 12:39:54 +0200 | <mniip> | even better: with {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-} you can have the typechecker infer "6" from the resulting linear equation |
| 2023-06-29 12:40:55 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) |
| 2023-06-29 12:41:04 +0200 | <Guest76> | Indeed, this approach would not require the use of rational numbers. |
| 2023-06-29 12:41:05 +0200 | <Guest76> | It seems to me that there is no need to bother using rational numbers, because even the dotted note can be represented entirely by a finite number of notes only, up to about a sixteenth or a thirty-second note, if we regard it as a composition of the original note and its half note. |
| 2023-06-29 12:41:56 +0200 | <mniip> | well, if you have a "smallest note size" then the situation simplifies greatly |
| 2023-06-29 12:42:07 +0200 | <mniip> | but my impression of music notation is that you in principle do not |
| 2023-06-29 12:42:54 +0200 | ski | idly ponders irrational-length notes |
| 2023-06-29 12:43:06 +0200 | <mniip> | not only because you can add arbitrarily many flags, but also because you can have triplets and quintuplets and whatnot |
| 2023-06-29 12:43:26 +0200 | CiaoSen | (~Jura@5.83.190.34) |
| 2023-06-29 12:43:53 +0200 | <int-e> | ski: clearly we need a type-level CReal implementation (or whatever flavor of computable reals you prefer) |
| 2023-06-29 12:44:12 +0200 | <mniip> | CReal does not do equality |
| 2023-06-29 12:44:17 +0200 | <int-e> | I know! |
| 2023-06-29 12:45:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-29 12:45:49 +0200 | <mniip> | irrationality beside, Q is not finitely generated |
| 2023-06-29 12:46:17 +0200 | <ncf> | mniip: aren't quotient and setoids the same thing in haskell |
| 2023-06-29 12:46:18 +0200 | <int-e> | It is, as a field. |
| 2023-06-29 12:46:24 +0200 | <ski> | i guess probably irrational intervals would be more common, in practice |
| 2023-06-29 12:46:35 +0200 | <ncf> | quotient types* |
| 2023-06-29 12:46:48 +0200 | <int-e> | Hmm, music theory, time to reread https://en.wikipedia.org/wiki/Pythagorean_comma |
| 2023-06-29 12:47:07 +0200 | <mniip> | neither of these are a thing in value-level haskell |
| 2023-06-29 12:48:04 +0200 | <mniip> | I'm mostly referring to the idea of representing a ratio p/q as a polymorphic family of values with indices forall k. (p*k, q*k) |
| 2023-06-29 12:48:40 +0200 | <ski> | that's a quotient type/set representation, yea |
| 2023-06-29 12:48:50 +0200 | <ncf> | i don't follow |
| 2023-06-29 12:49:10 +0200 | <mniip> | ok sorry yes it is a quotient type |
| 2023-06-29 12:49:21 +0200 | <mniip> | I guess I meant instead of choosing representatives explicitly |
| 2023-06-29 12:49:40 +0200 | <ncf> | i see |
| 2023-06-29 12:49:52 +0200 | <ski> | often you combine both : search trees |
| 2023-06-29 12:51:21 +0200 | <ski> | (only some tree representations are valid. then out of those, we impose an equivalence relation) |
| 2023-06-29 12:55:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 12:57:06 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2023-06-29 13:00:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds) |
| 2023-06-29 13:08:00 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-06-29 13:09:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:23e0:f5c:cf8b:8ac0) |
| 2023-06-29 13:13:30 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 13:14:26 +0200 | danse-nr3 | (~francesco@151.37.17.226) (Ping timeout: 250 seconds) |
| 2023-06-29 13:17:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 13:19:56 +0200 | danse-nr3 | (~francesco@151.37.17.226) |
| 2023-06-29 13:22:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 13:31:11 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2023-06-29 13:35:20 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 13:38:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:23e0:f5c:cf8b:8ac0) (Ping timeout: 245 seconds) |
| 2023-06-29 13:38:16 +0200 | danse-nr3 | (~francesco@151.37.17.226) (Ping timeout: 250 seconds) |
| 2023-06-29 13:38:23 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-29 13:39:34 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 13:44:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-29 13:44:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-29 13:53:04 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 13:59:43 +0200 | danse-nr3 | (~francesco@151.37.17.226) |
| 2023-06-29 14:06:42 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a49583e754660f79.dip0.t-ipconnect.de) |
| 2023-06-29 14:10:45 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-06-29 14:12:55 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Server closed connection) |
| 2023-06-29 14:13:12 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2023-06-29 14:17:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-06-29 14:22:20 +0200 | Ellenor | Reinhilde |
| 2023-06-29 14:22:43 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2023-06-29 14:22:43 +0200 | maerwald | (~maerwald@user/maerwald) |
| 2023-06-29 14:27:51 +0200 | sudden | (~cat@user/sudden) |
| 2023-06-29 14:29:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-29 14:34:56 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-29 14:37:47 +0200 | koolazer | (~koo@user/koolazer) (Ping timeout: 264 seconds) |
| 2023-06-29 14:42:34 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) |
| 2023-06-29 14:43:36 +0200 | danse-nr3_ | (~francesco@151.37.9.48) |
| 2023-06-29 14:43:49 +0200 | danse-nr3 | (~francesco@151.37.17.226) (Read error: Connection reset by peer) |
| 2023-06-29 14:52:18 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-29 14:54:30 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 14:57:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 14:57:41 +0200 | elkcl_ | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-06-29 14:58:02 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2023-06-29 14:58:03 +0200 | elkcl_ | elkcl |
| 2023-06-29 14:58:06 +0200 | mauke | (~mauke@user/mauke) |
| 2023-06-29 14:58:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 15:01:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds) |
| 2023-06-29 15:04:56 +0200 | danse-nr3_ | (~francesco@151.37.9.48) (Ping timeout: 250 seconds) |
| 2023-06-29 15:05:54 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 260 seconds) |
| 2023-06-29 15:06:02 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-29 15:06:44 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-29 15:06:53 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 15:10:55 +0200 | Vajb | (~Vajb@85-76-167-107-nat.elisa-mobile.fi) |
| 2023-06-29 15:11:00 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 15:13:25 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 245 seconds) |
| 2023-06-29 15:14:22 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-29 15:18:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 15:22:00 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 240 seconds) |
| 2023-06-29 15:23:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 15:23:46 +0200 | <talismanick> | I built a custom list type `data List a = Nil | Cons a (List a)` and played around with what sorts of instances I could give it |
| 2023-06-29 15:24:15 +0200 | <talismanick> | Is the bind implementation `l >>= f = foldr (<>) mempty $ f <$> l` unique, and, if so, how might I prove it? |
| 2023-06-29 15:27:32 +0200 | <jade[m]> | it is, as it is equivialent to concatMap, but I'm not sure how you'd prove it |
| 2023-06-29 15:30:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14a49583e754660f79.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-29 15:31:29 +0200 | <talismanick> | Maybe I should say |
| 2023-06-29 15:31:42 +0200 | danse-nr3_ | (~francesco@151.37.9.48) |
| 2023-06-29 15:32:02 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 15:33:22 +0200 | <talismanick> | "unique up to isomorphism" in case of different monoid or foldable instances |
| 2023-06-29 15:40:14 +0200 | <ski> | "unique up to isomorphism" is for structures, not for operations |
| 2023-06-29 15:43:09 +0200 | <ski> | one way to show uniqueness would be to show that `(>>=) = concatMap' is equivalent to your definition above, for every possible value of `(>>=)' (out of those satisfying the monad laws ?) |
| 2023-06-29 15:44:03 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-29 15:50:11 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-29 15:55:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-29 15:55:35 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 260 seconds) |
| 2023-06-29 15:56:22 +0200 | <talismanick> | ski: well, showing the equivalent ones are precisely the lawful ones is the hard part |
| 2023-06-29 15:56:57 +0200 | <talismanick> | because I'd like to think it's easy to come up with an unlawful one (not that I've tried) |
| 2023-06-29 15:57:13 +0200 | <talismanick> | that isn't the same |
| 2023-06-29 15:57:40 +0200 | <ski> | "showing the equivalent ones are precisely the lawful ones" -- huh ? |
| 2023-06-29 15:59:40 +0200 | <talismanick> | proving that every lawful bind is the same as concatMap |
| 2023-06-29 16:01:11 +0200 | <dminuoso_> | talismanick: The property is called extensional equivalence. |
| 2023-06-29 16:01:35 +0200 | <dminuoso_> | So you're trying to prove that all lawful implementations of (>>=) for [] are extensionally equivalent? |
| 2023-06-29 16:01:40 +0200 | <talismanick> | right, that's the term I was looking for |
| 2023-06-29 16:01:47 +0200 | <talismanick> | yeah |
| 2023-06-29 16:02:31 +0200 | <dminuoso_> | If possible, I suspect you have to prove by contradiction. |
| 2023-06-29 16:02:43 +0200 | <ski> | well, i wasn't talking about that, really. i was talking about showing that your implementation was unique, out of all lawful ones |
| 2023-06-29 16:04:10 +0200 | <ski> | `unique x. ..x..' being equivalent to `exists c. forall x. x = c <=> ..x..' |
| 2023-06-29 16:05:27 +0200 | <ski> | (guess i should say `exists_unique x. ..x..', to distinguish from the "at most one" case) |
| 2023-06-29 16:06:01 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:c700:d241:1189:f347:9ddf) |
| 2023-06-29 16:06:28 +0200 | aforemny_ | (~aforemny@i59F516C4.versanet.de) (Ping timeout: 250 seconds) |
| 2023-06-29 16:06:57 +0200 | <talismanick> | dminuoso_: As in, not practical to prove with Haskell's type-level machinery (even Liquid), or outright impossible? |
| 2023-06-29 16:07:34 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-06-29 16:07:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-29 16:08:00 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-29 16:13:04 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-083.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-29 16:15:14 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-29 16:15:30 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14001fa75536a59a14.dip0.t-ipconnect.de) |
| 2023-06-29 16:18:42 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2023-06-29 16:20:12 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 16:28:30 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 16:31:47 +0200 | <mniip> | talismanick, it's not unique |
| 2023-06-29 16:32:24 +0200 | mrvdb | (~mrvdb@185.92.221.186) (Server closed connection) |
| 2023-06-29 16:32:39 +0200 | <mniip> | pretty sure you can reshuffle the output list in subtle ways while still keeping the monad laws |
| 2023-06-29 16:32:40 +0200 | mrvdb | (~mrvdb@185.92.221.186) |
| 2023-06-29 16:33:12 +0200 | <[Leary]> | Yeah, I got nerdsniped ... fair interleave is looking pretty lawful. |
| 2023-06-29 16:33:57 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 16:37:09 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-29 16:37:13 +0200 | <mniip> | [Leary], you mean something like concat . transpose? |
| 2023-06-29 16:37:19 +0200 | <[Leary]> | Yeah. |
| 2023-06-29 16:37:28 +0200 | <mniip> | that fails associativity |
| 2023-06-29 16:37:31 +0200 | <ncf> | i doubt that's assoc- yeah |
| 2023-06-29 16:38:27 +0200 | <ncf> | hmm https://hackage.haskell.org/package/exotic-list-monads-1.0.1/docs/Control-Monad-List-Exotic.html |
| 2023-06-29 16:39:30 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2023-06-29 16:39:53 +0200 | <[Leary]> | I was down to `fmap (concat . transpose . fmap f) = fmap f . concat . transpose` and thinking "yeah they'll just commute and vanish", but on second glance, the extra level of `fmap` remains, and matters. Oop.s |
| 2023-06-29 16:40:53 +0200 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2023-06-29 16:41:14 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2023-06-29 16:41:30 +0200 | CiaoSen | (~Jura@5.83.190.34) (Ping timeout: 240 seconds) |
| 2023-06-29 16:41:39 +0200 | <mniip> | oh yeah Odd |
| 2023-06-29 16:41:42 +0200 | <mniip> | that's an odd one |
| 2023-06-29 16:41:48 +0200 | <mniip> | I've checked and it's lawful |
| 2023-06-29 16:43:00 +0200 | danse-nr3_ | (~francesco@151.37.9.48) (Ping timeout: 240 seconds) |
| 2023-06-29 16:45:35 +0200 | <ncf> | some pretty ridiculous stuff in there |
| 2023-06-29 16:46:55 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 16:49:45 +0200 | adeptangel | (cren@tilde.team) |
| 2023-06-29 16:50:37 +0200 | Guest76 | (~Guest76@2405:6583:9240:1400:b117:f2f3:3d43:95a2) (Quit: Client closed) |
| 2023-06-29 16:50:57 +0200 | <adeptangel> | hello, beginner question here: what is going on here? https://paste.tomsmeding.com/a7D6Eea3 |
| 2023-06-29 16:51:36 +0200 | danse-nr3 | (~francesco@151.37.9.48) |
| 2023-06-29 16:52:02 +0200 | <merijn> | adeptangel: What confuses you about that? |
| 2023-06-29 16:52:05 +0200 | <mauke> | adeptangel: what do you mean? |
| 2023-06-29 16:52:48 +0200 | <mniip> | post the error message too |
| 2023-06-29 16:53:03 +0200 | <adeptangel> | sorry, my bad: it doesn't compile and I don't understand the type error |
| 2023-06-29 16:53:07 +0200 | <mauke> | :t logBase |
| 2023-06-29 16:53:07 +0200 | <probie> | logBase requires both arguments to have the same type. Try `floor (logBase 5.0 (fromIntegral n))` |
| 2023-06-29 16:53:08 +0200 | <lambdabot> | Floating a => a -> a -> a |
| 2023-06-29 16:53:16 +0200 | <adeptangel> | ohhh yeah |
| 2023-06-29 16:53:32 +0200 | user363627 | (~user@188.241.176.239) |
| 2023-06-29 16:53:39 +0200 | <adeptangel> | that's fixed it thanks |
| 2023-06-29 16:53:39 +0200 | <mauke> | :t logBase 5.0 (1 :: Int) |
| 2023-06-29 16:53:40 +0200 | <lambdabot> | error: |
| 2023-06-29 16:53:41 +0200 | <lambdabot> | • No instance for (Floating Int) arising from a use of ‘logBase’ |
| 2023-06-29 16:53:41 +0200 | <lambdabot> | • In the expression: logBase 5.0 (1 :: Int) |
| 2023-06-29 16:53:49 +0200 | <adeptangel> | that's the type error I didn't understand |
| 2023-06-29 16:54:04 +0200 | <probie> | `n` is an `Int` because of the type of `kMax`, but `Int` isn't an instance of `Floating`, so you first need to convert it to something that is, like a `Double` |
| 2023-06-29 16:54:18 +0200 | <mauke> | that means logBase is only defined for floating-point types, but Int is not one of them |
| 2023-06-29 16:54:22 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-29 16:54:32 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-29 16:54:50 +0200 | <adeptangel> | mauke: thanks, that makes sense |
| 2023-06-29 16:54:54 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-29 16:55:04 +0200 | SethTisue_ | (sid14912@id-14912.ilkley.irccloud.com) |
| 2023-06-29 16:55:22 +0200 | <adeptangel> | it sounds like it's saying that there is a theoretical case where an instance of Floating Int could arise but that's impossible right? |
| 2023-06-29 16:55:32 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 240 seconds) |
| 2023-06-29 16:55:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-06-29 16:55:43 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-29 16:56:45 +0200 | <mauke> | technically possible, but not in a useful way |
| 2023-06-29 16:56:52 +0200 | <probie> | Well, it's not "impossible". You are free to define an instance of `Floating` for `Int`, it just wouldn't be a particularly sensible one |
| 2023-06-29 16:57:10 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-29 16:57:41 +0200 | <mauke> | among other things, you'd have to define pi :: Int, sin :: Int -> Int, sqrt :: Int -> Int |
| 2023-06-29 16:57:53 +0200 | <user363627> | how do i install haskell-language-server for ghc version 2.0.0.1? doing "ghcup compile hls --version 2.0.0.1 --ghc 8.8.4 --cabal-update" fails with https://paste.mozilla.org/hPQkshLR |
| 2023-06-29 16:57:53 +0200 | <adeptangel> | haha yeah |
| 2023-06-29 16:58:04 +0200 | <user363627> | *for ghc version 8.8.4 |
| 2023-06-29 16:58:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 16:59:01 +0200 | <mauke> | maybe that's too old a compiler? |
| 2023-06-29 16:59:31 +0200 | <user363627> | mauke: i wondered that. but i'm not sure what to make of line 10 in output: "[ cabal ] ghc-8.4.1, ghc-8.2.2, ghc-8.2.1, ghc-9.2.3.20220620" |
| 2023-06-29 17:00:00 +0200 | kuribas | (~user@ptr-17d51enq3cpu3g7sf3g.18120a2.ip6.access.telenet.be) |
| 2023-06-29 17:00:12 +0200 | <user363627> | base versions seem otherwise compatible |
| 2023-06-29 17:01:24 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 258 seconds) |
| 2023-06-29 17:03:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 245 seconds) |
| 2023-06-29 17:03:30 +0200 | <user363627> | okay must be some conflict with ghc version. older hls 1.8.0.0 seems to be compiling |
| 2023-06-29 17:09:07 +0200 | barcisz | (~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-06-29 17:12:00 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 17:14:41 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-29 17:14:55 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 260 seconds) |
| 2023-06-29 17:15:41 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2023-06-29 17:15:46 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-06-29 17:19:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:af53:a9f5:14c6:8ab8) (Ping timeout: 245 seconds) |
| 2023-06-29 17:22:21 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-29 17:25:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 17:29:23 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
| 2023-06-29 17:29:40 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-06-29 17:30:30 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 17:30:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ca5:11f1:62d0:2324) |
| 2023-06-29 17:30:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ca5:11f1:62d0:2324) (Client Quit) |
| 2023-06-29 17:32:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-29 17:33:38 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-29 17:34:47 +0200 | merijn | (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-29 17:34:49 +0200 | <user363627> | version 1.5.1.0 was the charm |
| 2023-06-29 17:39:28 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-29 17:44:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 17:45:40 +0200 | Lears | (~Leary]@user/Leary/x-0910699) |
| 2023-06-29 17:47:56 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 252 seconds) |
| 2023-06-29 17:52:30 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-29 17:55:10 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 17:56:20 +0200 | <adeptangel> | can anyone get this program to run? the online interpreter i'm using is timing out https://paste.tomsmeding.com/6rCfhmUk |
| 2023-06-29 18:00:07 +0200 | <mauke> | not a program; nothing to run |
| 2023-06-29 18:00:18 +0200 | <adeptangel> | mauke: sorry you are correct |
| 2023-06-29 18:00:40 +0200 | <adeptangel> | here's an amendment https://play-haskell.tomsmeding.com/saved/0mrtTvS6 |
| 2023-06-29 18:01:18 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-29 18:01:19 +0200 | <adeptangel> | it's working OK in the playground so I think it's the service I'm using that's crashing |
| 2023-06-29 18:01:29 +0200 | <mauke> | heh |
| 2023-06-29 18:02:05 +0200 | <jade[m]> | are you not able to use ghc on your desktop? |
| 2023-06-29 18:02:05 +0200 | <mauke> | `main = do print $ zeros 15; return ()` is rather a complicated way to say `main = print $ zeros 15` |
| 2023-06-29 18:02:27 +0200 | brprice | (~brprice@user/brprice) (Server closed connection) |
| 2023-06-29 18:02:47 +0200 | brprice | (~brprice@user/brprice) |
| 2023-06-29 18:02:49 +0200 | <adeptangel> | jade[m]: actually I just ran ghcup on windows but I can't find where ghc has been installed to |
| 2023-06-29 18:03:16 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-29 18:03:34 +0200 | <mauke> | it's called "information hiding" |
| 2023-06-29 18:03:36 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection) |
| 2023-06-29 18:04:15 +0200 | `2jt | (~jtomas@vdf-87.vdf.upv.es) (Ping timeout: 245 seconds) |
| 2023-06-29 18:06:45 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-29 18:07:05 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-29 18:08:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-06-29 18:12:54 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2023-06-29 18:15:30 +0200 | nick__ | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-06-29 18:16:54 +0200 | byte | (~byte@user/byte) (Ping timeout: 252 seconds) |
| 2023-06-29 18:19:30 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 250 seconds) |
| 2023-06-29 18:22:30 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 18:26:23 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-29 18:27:53 +0200 | <ski> | adeptangel : brackets around `fromIntegral n' are redundant. i'd rather also prefer seeing brackets instead of `$' there |
| 2023-06-29 18:28:22 +0200 | <ski> | adeptangel : since `k' is non-negative (even positive), you could replace `^^' by `^'. then, in turn (since the numerator is now an integer), you could use `div' instead of `/' and `floor'&`fromIntegral' |
| 2023-06-29 18:28:30 +0200 | <ski> | % :set -XMagicHash |
| 2023-06-29 18:28:30 +0200 | <yahb2> | <no output> |
| 2023-06-29 18:28:40 +0200 | <ski> | % let integerLogBase :: Integer -> Integer -> Int; integerLogBase b n = GHC.Types.I# (GHC.Integer.Logarithms.integerLogBase# b n) |
| 2023-06-29 18:28:40 +0200 | <yahb2> | <no output> |
| 2023-06-29 18:28:46 +0200 | <ski> | % integerLogBase 5 125 |
| 2023-06-29 18:28:46 +0200 | <yahb2> | 3 |
| 2023-06-29 18:28:49 +0200 | <ski> | % integerLogBase 5 124 |
| 2023-06-29 18:28:49 +0200 | <yahb2> | 2 |
| 2023-06-29 18:29:01 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1ff2) |
| 2023-06-29 18:29:14 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1ff2) (Client Quit) |
| 2023-06-29 18:29:51 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2023-06-29 18:29:55 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-06-29 18:29:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-29 18:30:40 +0200 | <ski> | .. although, repeated usage of `div', rather than using `^', seems preferrable |
| 2023-06-29 18:30:48 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-06-29 18:32:58 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-29 18:33:32 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-29 18:33:56 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 18:35:30 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (Ping timeout: 245 seconds) |
| 2023-06-29 18:38:00 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 18:38:36 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-29 18:39:01 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 18:41:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 18:43:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-29 18:43:36 +0200 | danse-nr3 | (~francesco@151.37.9.48) (Read error: Connection reset by peer) |
| 2023-06-29 18:43:47 +0200 | danse-nr3 | (~francesco@151.37.49.79) |
| 2023-06-29 18:48:20 +0200 | <ski> | nick__ : "Not following you here. If you instantiate an object B then you have an object B, but it can also be an object A." -- that means that every `B' is an `A'. but you also wanted "no object A to be a B". therefore there are no `B' objects, because if there were any `B' object, it'd be an `A' object, but you've forbidden `A' objects to be `B' objects |
| 2023-06-29 18:52:01 +0200 | <mniip> | it's relatively clear they want an asymmetric relation |
| 2023-06-29 18:52:13 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 18:52:39 +0200 | <mniip> | directed homotopy |
| 2023-06-29 18:52:40 +0200 | <ski> | yes |
| 2023-06-29 18:53:07 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-29 18:56:02 +0200 | ski | . o O ( "2-Dimensional Directed Type Theory" by Dan Licata,Rob Harper in 2011 at <https://www.cs.cmu.edu/~rwh/papers/2dtt/mfps.pdf> ) |
| 2023-06-29 18:56:23 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 264 seconds) |
| 2023-06-29 18:56:30 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 18:57:35 +0200 | danse-nr3 | (~francesco@151.37.49.79) (Ping timeout: 245 seconds) |
| 2023-06-29 18:58:54 +0200 | <ncf> | what does directed homotopy type theory have to do with subtyping? |
| 2023-06-29 18:59:24 +0200 | danse-nr3 | (~francesco@151.37.49.79) |
| 2023-06-29 18:59:55 +0200 | <ski> | dunno |
| 2023-06-29 19:00:47 +0200 | <dolio> | You could use subtyping as the hom type of the universe, probably. |
| 2023-06-29 19:01:01 +0200 | <dolio> | Both are antisymmetric, though. Not asymmetric. |
| 2023-06-29 19:02:34 +0200 | <ncf> | hm i guess |
| 2023-06-29 19:03:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-29 19:03:19 +0200 | <ncf> | rip univalence |
| 2023-06-29 19:04:12 +0200 | <ncf> | actually, does the hom type of the universe have to agree with the path type of the universe? |
| 2023-06-29 19:04:30 +0200 | danse-nr3 | (~francesco@151.37.49.79) (Ping timeout: 240 seconds) |
| 2023-06-29 19:04:41 +0200 | <dolio> | I think so. But the path type of the universe doesn't have to correspond to equivalence. |
| 2023-06-29 19:05:10 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-29 19:05:34 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 19:06:12 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 19:08:59 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14001fa75536a59a14.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-29 19:09:08 +0200 | kuribas | (~user@ptr-17d51enq3cpu3g7sf3g.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-06-29 19:09:42 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-06-29 19:11:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-29 19:13:14 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 19:14:32 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-29 19:19:15 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-06-29 19:19:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 19:20:05 +0200 | kupenske_oplatky | (~priesvitn@192.216.99.34.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2023-06-29 19:20:20 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 19:21:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-29 19:21:47 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-29 19:23:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 19:24:40 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 19:24:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 19:28:03 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-06-29 19:34:24 +0200 | horribleprogram | (~user@user/horribleprogram) |
| 2023-06-29 19:34:30 +0200 | <horribleprogram> | wtf is this language |
| 2023-06-29 19:34:31 +0200 | <horribleprogram> | jesus christ |
| 2023-06-29 19:34:53 +0200 | <APic> | Hail Eris! |
| 2023-06-29 19:35:07 +0200 | <horribleprogram> | does the imported Prelude module have a name for the constant for e |
| 2023-06-29 19:35:31 +0200 | <horribleprogram> | math.e for ex in Python |
| 2023-06-29 19:35:36 +0200 | <EvanR> | > exp 1 |
| 2023-06-29 19:35:38 +0200 | <lambdabot> | 2.718281828459045 |
| 2023-06-29 19:36:02 +0200 | <horribleprogram> | std::numbers::e in C++20 |
| 2023-06-29 19:36:04 +0200 | <EvanR> | > exp 1 :: CReal |
| 2023-06-29 19:36:05 +0200 | <lambdabot> | 2.7182818284590452353602874713526624977572 |
| 2023-06-29 19:36:14 +0200 | <horribleprogram> | kk wtf did u just do in the 2nd one |
| 2023-06-29 19:36:19 +0200 | <EvanR> | :t exp |
| 2023-06-29 19:36:21 +0200 | <lambdabot> | Floating a => a -> a |
| 2023-06-29 19:36:33 +0200 | <jade[m]> | specified the type of the number explicitly |
| 2023-06-29 19:36:37 +0200 | <horribleprogram> | ahh |
| 2023-06-29 19:36:39 +0200 | <EvanR> | e depends on the type |
| 2023-06-29 19:36:55 +0200 | <EvanR> | > exp 1 :: Float |
| 2023-06-29 19:36:57 +0200 | <horribleprogram> | u mean the return type of exp can be specified? |
| 2023-06-29 19:36:57 +0200 | <lambdabot> | 2.7182817 |
| 2023-06-29 19:37:01 +0200 | <horribleprogram> | exp 1 :: Int |
| 2023-06-29 19:37:08 +0200 | <horribleprogram> | > exp 1 :: Int |
| 2023-06-29 19:37:09 +0200 | <lambdabot> | error: |
| 2023-06-29 19:37:09 +0200 | <lambdabot> | • No instance for (Floating Int) arising from a use of ‘exp’ |
| 2023-06-29 19:37:09 +0200 | <lambdabot> | • In the expression: exp 1 :: Int |
| 2023-06-29 19:37:14 +0200 | <EvanR> | Int isn't an instance of Floating ^ |
| 2023-06-29 19:37:18 +0200 | <horribleprogram> | ahh kk |
| 2023-06-29 19:37:18 +0200 | <jade[m]> | horribleprogram: yes, it's polymorphic for floatings |
| 2023-06-29 19:37:30 +0200 | <EvanR> | > exp 1 :: Complex Double |
| 2023-06-29 19:37:31 +0200 | <lambdabot> | 2.718281828459045 :+ 0.0 |
| 2023-06-29 19:37:34 +0200 | <mauke> | > e |
| 2023-06-29 19:37:36 +0200 | <lambdabot> | e |
| 2023-06-29 19:37:44 +0200 | <horribleprogram> | there is no `e` |
| 2023-06-29 19:37:45 +0200 | <EvanR> | > exp (0 :+ 1) :: Complex Double |
| 2023-06-29 19:37:47 +0200 | <lambdabot> | 0.5403023058681398 :+ 0.8414709848078965 |
| 2023-06-29 19:37:58 +0200 | <EvanR> | oops forgot the pi |
| 2023-06-29 19:38:03 +0200 | <horribleprogram> | so e = exp 1 |
| 2023-06-29 19:38:06 +0200 | <horribleprogram> | if you actually want it |
| 2023-06-29 19:38:09 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-29 19:38:10 +0200 | <EvanR> | yes |
| 2023-06-29 19:38:12 +0200 | <horribleprogram> | cool ty |
| 2023-06-29 19:38:20 +0200 | <mauke> | exp x = e^x |
| 2023-06-29 19:38:24 +0200 | <jade[m]> | but you usually use the exponential function |
| 2023-06-29 19:38:30 +0200 | <horribleprogram> | don't tell me what I usually do |
| 2023-06-29 19:38:42 +0200 | <EvanR> | the only use for e is doing e^_ or natural log |
| 2023-06-29 19:38:47 +0200 | <horribleprogram> | says u |
| 2023-06-29 19:38:53 +0200 | <horribleprogram> | :P |
| 2023-06-29 19:39:03 +0200 | <APic> | horribleprogram: So for what do You need it? |
| 2023-06-29 19:39:06 +0200 | <jade[m]> | horribleprogram: no worries ^^ |
| 2023-06-29 19:39:12 +0200 | <horribleprogram> | lol just playing |
| 2023-06-29 19:39:13 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-29 19:39:23 +0200 | <APic> | So You do not really need it at all ;=P |
| 2023-06-29 19:39:34 +0200 | <horribleprogram> | I do |
| 2023-06-29 19:39:35 +0200 | <EvanR> | let e = exp 1 in _ |
| 2023-06-29 19:40:00 +0200 | <horribleprogram> | > cos pi/2 |
| 2023-06-29 19:40:02 +0200 | <lambdabot> | -0.5 |
| 2023-06-29 19:40:07 +0200 | <EvanR> | > cos (pi/2) |
| 2023-06-29 19:40:09 +0200 | <lambdabot> | 6.123233995736766e-17 |
| 2023-06-29 19:40:11 +0200 | <horribleprogram> | ahh kk |
| 2023-06-29 19:40:18 +0200 | <EvanR> | > cos (pi/2) :: CReal |
| 2023-06-29 19:40:20 +0200 | <lambdabot> | 0.0 |
| 2023-06-29 19:40:24 +0200 | <horribleprogram> | so the "function" call has higher precedence |
| 2023-06-29 19:40:24 +0200 | <EvanR> | \o/ |
| 2023-06-29 19:40:30 +0200 | <EvanR> | yes |
| 2023-06-29 19:40:32 +0200 | <horribleprogram> | than what |
| 2023-06-29 19:40:34 +0200 | <horribleprogram> | everything? |
| 2023-06-29 19:40:47 +0200 | <ski> | basically |
| 2023-06-29 19:40:49 +0200 | <EvanR> | basically. Update syntax is higher? |
| 2023-06-29 19:40:50 +0200 | <jade[m]> | yes, here specifically higher than / |
| 2023-06-29 19:41:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-06-29 19:41:07 +0200 | <horribleprogram> | okay that's cool I think |
| 2023-06-29 19:41:09 +0200 | <mauke> | record update syntax > function application > infix operators |
| 2023-06-29 19:41:21 +0200 | <horribleprogram> | what's record update |
| 2023-06-29 19:41:24 +0200 | <horribleprogram> | . ? |
| 2023-06-29 19:41:37 +0200 | <mauke> | expr { field = value } |
| 2023-06-29 19:41:44 +0200 | <horribleprogram> | what's that |
| 2023-06-29 19:41:50 +0200 | <horribleprogram> | use it in an example |
| 2023-06-29 19:41:54 +0200 | <EvanR> | myEmployee { name = reverse (name myEmployee) } |
| 2023-06-29 19:42:02 +0200 | <horribleprogram> | that's an expression? |
| 2023-06-29 19:42:05 +0200 | <EvanR> | yeah |
| 2023-06-29 19:42:08 +0200 | <horribleprogram> | ahh cool |
| 2023-06-29 19:42:29 +0200 | <ski> | > (Node {rootLabel = 0,subForest = []}) {rootLabel = 1} |
| 2023-06-29 19:42:31 +0200 | <lambdabot> | Node {rootLabel = 1, subForest = []} |
| 2023-06-29 19:42:31 +0200 | <horribleprogram> | tysm guys :) |
| 2023-06-29 19:42:52 +0200 | <ski> | > Node {rootLabel = 0,subForest = []} {rootLabel = 1} -- guess this works, too |
| 2023-06-29 19:42:53 +0200 | <lambdabot> | Node {rootLabel = 1, subForest = []} |
| 2023-06-29 19:43:08 +0200 | <EvanR> | wait |
| 2023-06-29 19:43:17 +0200 | <EvanR> | now update syntax isn't higher |
| 2023-06-29 19:43:26 +0200 | <ski> | than ? |
| 2023-06-29 19:43:35 +0200 | <EvanR> | Node 0 [] ? |
| 2023-06-29 19:43:51 +0200 | <ski> | > Node 0 [] {rootLabel = 1} |
| 2023-06-29 19:43:53 +0200 | <lambdabot> | error: |
| 2023-06-29 19:43:53 +0200 | <lambdabot> | • Constructor ‘[]’ does not have field ‘rootLabel’ |
| 2023-06-29 19:43:53 +0200 | <lambdabot> | • In the second argument of ‘Node’, namely ‘[] {rootLabel = 1}’ |
| 2023-06-29 19:43:56 +0200 | <ski> | > (Node 0 []) {rootLabel = 1} |
| 2023-06-29 19:43:57 +0200 | <lambdabot> | Node {rootLabel = 1, subForest = []} |
| 2023-06-29 19:44:03 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 19:44:05 +0200 | <EvanR> | record construction is even higher, then |
| 2023-06-29 19:44:14 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Server closed connection) |
| 2023-06-29 19:44:18 +0200 | <ski> | or same, by left-associative .. |
| 2023-06-29 19:44:30 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2023-06-29 19:44:35 +0200 | <ski> | > Node {rootLabel = 0,subForest = []} {rootLabel = 1} {rootLabel = 2} |
| 2023-06-29 19:44:37 +0200 | <lambdabot> | Node {rootLabel = 2, subForest = []} |
| 2023-06-29 19:45:35 +0200 | <dolio> | I never thought of doing that. |
| 2023-06-29 19:46:12 +0200 | <ncf> | is there any use for that |
| 2023-06-29 19:46:49 +0200 | <EvanR> | > Node {} {rootLabel = 1} {subForest = []} |
| 2023-06-29 19:46:51 +0200 | <lambdabot> | Node {rootLabel = 1, subForest = []} |
| 2023-06-29 19:47:13 +0200 | <EvanR> | in case your comma key is broken |
| 2023-06-29 19:47:36 +0200 | <ski> | perhaps some people could prefer breaking that over multiple lines |
| 2023-06-29 19:47:37 +0200 | <jade[m]> | or if you like curly brackets very much |
| 2023-06-29 19:48:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 19:48:15 +0200 | <ski> | (the `Show' instance also ought not generate a space after the comma, imho ..) |
| 2023-06-29 19:49:00 +0200 | ripspin | (~chatzilla@1.145.174.152) (Remote host closed the connection) |
| 2023-06-29 19:49:08 +0200 | <ski> | .. quite often, if i define a data type using record syntax, i hand-write the `Show' instance to not use record syntax |
| 2023-06-29 19:49:25 +0200 | <ncf> | weird |
| 2023-06-29 19:49:33 +0200 | <EvanR> | > read (show (Node 0 [])) :: Tree Int |
| 2023-06-29 19:49:35 +0200 | <lambdabot> | Node {rootLabel = 0, subForest = []} |
| 2023-06-29 19:49:56 +0200 | <ski> | much harder to read with all the labels taking up space, when outputting some largish example |
| 2023-06-29 19:52:08 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2023-06-29 19:52:26 +0200 | taupiqueur | (~taupiqueu@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) |
| 2023-06-29 19:53:22 +0200 | <ski> | hm, i guess the generated `Read' instance insist on the fields coming in the specified order |
| 2023-06-29 19:53:35 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) (Quit: ubert) |
| 2023-06-29 19:53:44 +0200 | <horribleprogram> | is github http site down for y'all |
| 2023-06-29 19:53:47 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) |
| 2023-06-29 19:54:12 +0200 | <bontaq> | yep |
| 2023-06-29 19:54:17 +0200 | <EvanR> | > read "Node {subForest = [], rootLabel = 0}" :: Tree Int |
| 2023-06-29 19:54:19 +0200 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2023-06-29 19:54:24 +0200 | <EvanR> | > read "Node 0 []" :: Tree Int |
| 2023-06-29 19:54:26 +0200 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2023-06-29 19:54:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-29 19:54:31 +0200 | <bontaq> | that's a wrap for programming folks, no more github |
| 2023-06-29 19:54:40 +0200 | ski | nods to EvanR |
| 2023-06-29 19:54:43 +0200 | <EvanR> | switching to mercurial |
| 2023-06-29 19:55:25 +0200 | <ski> | > (reads :: ReadS (Tree Int)) "((((Node {rootLabel = (((0))),subForest = (([]))}))))" |
| 2023-06-29 19:55:26 +0200 | <lambdabot> | [(Node {rootLabel = 0, subForest = []},"")] |
| 2023-06-29 19:55:30 +0200 | trev | (~trev@user/trev) (Ping timeout: 240 seconds) |
| 2023-06-29 19:56:05 +0200 | ubert1 | ubert |
| 2023-06-29 19:56:07 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) (Remote host closed the connection) |
| 2023-06-29 19:57:26 +0200 | trev | (~trev@user/trev) |
| 2023-06-29 19:58:22 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-29 20:00:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-06-29 20:00:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-29 20:02:26 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-29 20:03:29 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-29 20:05:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-29 20:05:16 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-29 20:05:51 +0200 | tstat | (~tstat@user/tstat) |
| 2023-06-29 20:07:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 20:08:35 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce1:ec00:6039:a39e:f39c:a2fa) |
| 2023-06-29 20:08:42 +0200 | nick__ | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 250 seconds) |
| 2023-06-29 20:09:00 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:c700:d241:1189:f347:9ddf) (Ping timeout: 240 seconds) |
| 2023-06-29 20:10:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-29 20:17:09 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Read error: Connection reset by peer) |
| 2023-06-29 20:17:14 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-06-29 20:19:04 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 20:20:36 +0200 | horribleprogram | (~user@user/horribleprogram) (Remote host closed the connection) |
| 2023-06-29 20:24:41 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-29 20:35:53 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-06-29 20:37:58 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-29 20:38:28 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-06-29 20:44:24 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 20:45:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) |
| 2023-06-29 20:49:03 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-29 20:49:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 20:51:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-29 20:53:26 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 20:56:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-29 20:56:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection) |
| 2023-06-29 20:59:24 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-29 21:01:00 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-06-29 21:01:16 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-29 21:04:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-29 21:07:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-29 21:07:24 +0200 | <zzz> | is there a way to auto update a cabal file with the output of `cabal gen-bounds`? |
| 2023-06-29 21:09:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-29 21:09:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-29 21:09:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 21:10:24 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) |
| 2023-06-29 21:14:09 +0200 | koolazer | (~koo@user/koolazer) |
| 2023-06-29 21:15:06 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2023-06-29 21:15:29 +0200 | jtomas | (~jtomas@90.162.208.36) |
| 2023-06-29 21:17:59 +0200 | `2jt | (~jtomas@90.162.208.36) (Ping timeout: 240 seconds) |
| 2023-06-29 21:18:08 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 21:19:11 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 21:20:29 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-29 21:20:44 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) (Server closed connection) |
| 2023-06-29 21:21:48 +0200 | nicm[m] | (~nicmollel@2001:470:69fc:105::1:feeb) |
| 2023-06-29 21:22:06 +0200 | <zzz> | and which versioning system does hackage use? |
| 2023-06-29 21:24:45 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-29 21:25:24 +0200 | <ncf> | https://pvp.haskell.org/ |
| 2023-06-29 21:25:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-29 21:25:43 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 21:27:06 +0200 | <zzz> | ncf: ty |
| 2023-06-29 21:30:10 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-29 21:31:56 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-29 21:32:13 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-29 21:34:22 +0200 | `2jt | (~jtomas@90.162.208.70) |
| 2023-06-29 21:35:04 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 21:35:55 +0200 | jtomas | (~jtomas@90.162.208.36) (Ping timeout: 245 seconds) |
| 2023-06-29 21:44:02 +0200 | `2jt | (~jtomas@90.162.208.70) (Ping timeout: 250 seconds) |
| 2023-06-29 21:45:46 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 2023-06-29 21:45:52 +0200 | PhraKtured | (~Ryen@r74-192-106-240.tyrdcmta01.tylrtx.tl.dh.suddenlink.net) |
| 2023-06-29 21:47:45 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-06-29 21:47:48 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-29 21:54:15 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 21:57:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 22:01:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds) |
| 2023-06-29 22:02:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-29 22:07:24 +0200 | ubert | (~Thunderbi@p200300ecdf0b57478c252161be27b3d5.dip0.t-ipconnect.de) |
| 2023-06-29 22:10:56 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 22:14:16 +0200 | byte | (~byte@user/byte) |
| 2023-06-29 22:14:18 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-06-29 22:15:10 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-29 22:15:21 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14f48f6a8796b8fa8e.dip0.t-ipconnect.de) |
| 2023-06-29 22:16:58 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 250 seconds) |
| 2023-06-29 22:20:59 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 22:21:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-29 22:23:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-29 22:24:46 +0200 | `2jt | (~jtomas@90.162.208.36) (Ping timeout: 250 seconds) |
| 2023-06-29 22:28:22 +0200 | user363627 | (~user@188.241.176.239) (Quit: Konversation terminated!) |
| 2023-06-29 22:28:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-29 22:30:05 +0200 | reach_ | (~reach@2605:8d80:682:c6e7:9c4f:f755:3eb0:2e1e) |
| 2023-06-29 22:33:52 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-29 22:34:22 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-06-29 22:36:20 +0200 | byte | (~byte@user/byte) (Ping timeout: 245 seconds) |
| 2023-06-29 22:36:20 +0200 | reach_ | (~reach@2605:8d80:682:c6e7:9c4f:f755:3eb0:2e1e) (Read error: Connection reset by peer) |
| 2023-06-29 22:36:38 +0200 | reach_ | (~reach@2605:8d80:681:5d9a:756f:be19:faa1:da7c) |
| 2023-06-29 22:36:44 +0200 | <byorgey> | I'm getting sick of Wordpress and want to switch to a different blogging platform. Any good recommendations? I'm comfortable with hakyll but I also don't want to build Yet Another Blog Generator from scratch. |
| 2023-06-29 22:38:42 +0200 | <Clint> | what's missing from hakyll? |
| 2023-06-29 22:41:01 +0200 | <jade[m]> | heh im building something like that right now |
| 2023-06-29 22:46:25 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-29 22:46:56 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-06-29 22:47:48 +0200 | reach_ | (~reach@2605:8d80:681:5d9a:756f:be19:faa1:da7c) (Read error: Connection reset by peer) |
| 2023-06-29 22:49:10 +0200 | reach_ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 22:50:41 +0200 | <jean-paul[m]> | https://github.com/haskell-servant/servant/blob/v0.19/servant-foreign/servant-foreign.cabal is from the "v0.19" tag (presumably a release tag), the version in the cabal file is 0.15.4, the servant dependency is `>=0.18 && <0.19`, the hackage metadata for 0.15.4 says the servant dependency is `>=0.18 && <0.20`. aaaaaaaaargh? |
| 2023-06-29 22:50:52 +0200 | <jean-paul[m]> | is going insane a necessary pre-req for computing a compatible package set? |
| 2023-06-29 22:52:02 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 22:53:50 +0200 | `2jt | (~jtomas@90.162.208.36) (Ping timeout: 245 seconds) |
| 2023-06-29 22:53:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-29 22:54:52 +0200 | <geekosaur> | jean-paul[m], that usually means someone requested that a hackage trustee make a metadata revision |
| 2023-06-29 22:55:55 +0200 | reach_ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-06-29 22:57:12 +0200 | <jean-paul[m]> | is it normal for the source tarball from hackage to include different metadata than hackage renders on the ui? |
| 2023-06-29 22:57:29 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 240 seconds) |
| 2023-06-29 22:57:30 +0200 | <int-e> | https://hackage.haskell.org/package/servant-foreign-0.15.4/revisions/ ...or one of the package maintainers |
| 2023-06-29 22:57:35 +0200 | <jean-paul[m]> | the source tarball hackage serves agrees with the upstream repo and disagrees with metadata in the hackage ui :/ |
| 2023-06-29 22:57:54 +0200 | <int-e> | (-r1 is where that particular dependency was bumped) |
| 2023-06-29 22:57:55 +0200 | <geekosaur> | yes |
| 2023-06-29 22:58:49 +0200 | <geekosaur> | hackage is read only; metadata updates do not change tarballs, they are appended to the index |
| 2023-06-29 22:59:20 +0200 | <jean-paul[m]> | I don't see how this is useful. Doesn't it mean picking packages from hackage metadata will lead you to getting source that doesn't actually satisfy your version requirements and gives you a build failure? |
| 2023-06-29 22:59:28 +0200 | <int-e> | jean-paul[m]: But if you look at the files in `cabal unpack <package>` you'll find that `cabal` replaces the .cabal file, unless you specify --pristine |
| 2023-06-29 22:59:45 +0200 | <geekosaur> | it means you can set your index state to an earlier time and actually get that earlier time |
| 2023-06-29 23:00:32 +0200 | <jean-paul[m]> | Hm |
| 2023-06-29 23:00:38 +0200 | <int-e> | it's a mixed blessing |
| 2023-06-29 23:00:57 +0200 | <jean-paul[m]> | Maybe the nix Haskell tooling doesn't have this feature |
| 2023-06-29 23:01:21 +0200 | <int-e> | pro: you can bump dependencies without polluting hackage with even more releases (and it allows hackage trustees to bypass maintainers to a small extent) |
| 2023-06-29 23:01:49 +0200 | <int-e> | but it makes it hard to get an authorative source code for a particular version of a package |
| 2023-06-29 23:02:25 +0200 | <int-e> | Revisions also sometimes break previously working builds, which is annoying. |
| 2023-06-29 23:04:46 +0200 | reach_ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-29 23:10:02 +0200 | aforemny | (~aforemny@i59F516C9.versanet.de) |
| 2023-06-29 23:11:00 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce1:ec00:6039:a39e:f39c:a2fa) (Ping timeout: 240 seconds) |
| 2023-06-29 23:11:56 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-06-29 23:12:31 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-29 23:12:38 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-29 23:13:34 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-29 23:14:30 +0200 | aforemny | (~aforemny@i59F516C9.versanet.de) (Ping timeout: 260 seconds) |
| 2023-06-29 23:14:52 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-29 23:15:20 +0200 | reach__ | (~reach@2605:8d80:680:ee3e:3ce3:91a6:feee:5bba) |
| 2023-06-29 23:16:23 +0200 | aforemny | (~aforemny@i59F516EC.versanet.de) |
| 2023-06-29 23:16:51 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-29 23:18:35 +0200 | sunarch | (~sunarch@user/sunarch) (Ping timeout: 264 seconds) |
| 2023-06-29 23:18:58 +0200 | taupiqueur | (~taupiqueu@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-06-29 23:18:59 +0200 | reach_ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2023-06-29 23:20:03 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-29 23:21:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-29 23:22:42 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-29 23:23:05 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-29 23:23:22 +0200 | aforemny | (~aforemny@i59F516EC.versanet.de) (Ping timeout: 260 seconds) |
| 2023-06-29 23:23:25 +0200 | aforemny_ | (~aforemny@i59F516D4.versanet.de) |
| 2023-06-29 23:24:41 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-29 23:24:41 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-29 23:24:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 23:26:38 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-29 23:26:44 +0200 | aforemny | (~aforemny@2001:9e8:6ce3:6c00:71fe:14b6:e842:6b65) |
| 2023-06-29 23:28:02 +0200 | aforemny_ | (~aforemny@i59F516D4.versanet.de) (Ping timeout: 260 seconds) |
| 2023-06-29 23:29:20 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-29 23:29:40 +0200 | ubert | (~Thunderbi@p200300ecdf0b57478c252161be27b3d5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-29 23:30:09 +0200 | ubert | (~Thunderbi@p548c89d1.dip0.t-ipconnect.de) |
| 2023-06-29 23:30:43 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-29 23:30:59 +0200 | aforemny | (~aforemny@2001:9e8:6ce3:6c00:71fe:14b6:e842:6b65) (Ping timeout: 240 seconds) |
| 2023-06-29 23:31:02 +0200 | sunarch | (~sunarch@user/sunarch) |
| 2023-06-29 23:31:19 +0200 | aforemny | (~aforemny@2001:9e8:6ce3:7600:6554:79c8:69a:202b) |
| 2023-06-29 23:34:06 +0200 | reach__ | (~reach@2605:8d80:680:ee3e:3ce3:91a6:feee:5bba) (Read error: Connection reset by peer) |
| 2023-06-29 23:34:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-29 23:35:30 +0200 | aforemny | (~aforemny@2001:9e8:6ce3:7600:6554:79c8:69a:202b) (Ping timeout: 240 seconds) |
| 2023-06-29 23:38:15 +0200 | aforemny | (~aforemny@i59F516C4.versanet.de) |
| 2023-06-29 23:44:41 +0200 | <nyc> | What do I do when I need to patch a dependency in a package built with cabal? |
| 2023-06-29 23:47:35 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-29 23:48:29 +0200 | <geekosaur> | vendor it using a cabal.project file? |
| 2023-06-29 23:51:54 +0200 | nacho | (~nacho@181.46.138.68) |
| 2023-06-29 23:52:17 +0200 | nacho | Guest9338 |
| 2023-06-29 23:52:34 +0200 | Guest9338 | (~nacho@181.46.138.68) (Client Quit) |
| 2023-06-29 23:55:00 +0200 | <nyc> | geekosaur: I'm not sure what that means. |
| 2023-06-29 23:55:18 +0200 | j4cc3b | (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) |
| 2023-06-29 23:55:24 +0200 | <geekosaur> | I'm not really sure what you mean |
| 2023-06-29 23:55:42 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-29 23:55:42 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-29 23:55:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-29 23:56:08 +0200 | <nyc> | A code change in the codebase I'm working on needs a change in a package it depends on. |
| 2023-06-29 23:56:37 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-29 23:57:51 +0200 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/skkukuk/cabal.project is how I do xmonad development; my config is cabalized and I vendor the dependencies I work on/with. I may have different patches going in different branches |
| 2023-06-29 23:58:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-29 23:58:44 +0200 | <nyc> | geekosaur: What does vendoring the dependencies mean? |
| 2023-06-29 23:58:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-29 23:59:13 +0200 | <geekosaur> | … I thought that was standard terminology; is it not? |