2022/12/27

2022-12-27 00:06:00 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-12-27 00:08:24 +0100ubert(~Thunderbi@p200300ecdf264e0fa72579722f7ae10a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-12-27 00:08:50 +0100ubert(~Thunderbi@p200300ecdf264e48f1e1a643b8c2e2bd.dip0.t-ipconnect.de)
2022-12-27 00:17:54 +0100 <EvanR> davean, it's not necessary to use vdso to make a linux system call, that's just for speed up of certain calls
2022-12-27 00:18:21 +0100 <EvanR> you can even make real calls that vdso is usually used for, but it's just slower
2022-12-27 00:19:23 +0100 <EvanR> where ASM = x86-64
2022-12-27 00:24:10 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 00:33:46 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 00:34:52 +0100finsternis(~X@23.226.237.192)
2022-12-27 00:36:16 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-12-27 00:36:52 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 00:37:03 +0100mikoto-chan(~mikoto-ch@164.5.249.78)
2022-12-27 00:45:10 +0100cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2022-12-27 00:45:34 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-12-27 00:46:39 +0100cheater(~Username@user/cheater)
2022-12-27 00:51:32 +0100fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-27 00:51:51 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 00:56:35 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 264 seconds)
2022-12-27 00:58:13 +0100cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-12-27 01:02:49 +0100cheater(~Username@user/cheater)
2022-12-27 01:06:48 +0100HotFlame[m](~aerphanas@2001:470:69fc:105::2:e67c)
2022-12-27 01:08:19 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 01:08:30 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection)
2022-12-27 01:10:12 +0100cheater(~Username@user/cheater)
2022-12-27 01:29:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f)
2022-12-27 01:32:58 +0100poscat(~poscat@114.245.110.107) (Quit: Bye)
2022-12-27 01:33:12 +0100poscat(~poscat@2408:8206:4821:ee52:4e86:c219:434:d411)
2022-12-27 01:43:14 +0100acidjnk_new(~acidjnk@p200300d6e7137a50f9d3f0b86663ccbe.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-12-27 01:45:47 +0100mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 264 seconds)
2022-12-27 01:50:17 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-12-27 01:54:56 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-27 01:54:56 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-27 01:54:56 +0100wroathe(~wroathe@user/wroathe)
2022-12-27 01:55:00 +0100mei_(~mei@user/mei)
2022-12-27 01:57:35 +0100mei(~mei@user/mei) (Ping timeout: 246 seconds)
2022-12-27 01:57:52 +0100thongpv87(~thongpv87@123.31.184.254)
2022-12-27 01:59:14 +0100Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-12-27 02:03:09 +0100mikoto-chan(~mikoto-ch@164.5.249.78)
2022-12-27 02:05:17 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 02:07:23 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-12-27 02:08:31 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds)
2022-12-27 02:10:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-12-27 02:17:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-12-27 02:20:35 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2022-12-27 02:22:47 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 02:27:19 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2022-12-27 02:29:50 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 02:33:35 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-27 02:35:20 +0100xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 246 seconds)
2022-12-27 02:36:11 +0100cheater_(~Username@user/cheater)
2022-12-27 02:36:26 +0100mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 246 seconds)
2022-12-27 02:36:29 +0100jinsun__(~jinsun@user/jinsun)
2022-12-27 02:36:29 +0100jinsun(~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services)))
2022-12-27 02:36:29 +0100jinsun__jinsun
2022-12-27 02:37:30 +0100cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-12-27 02:37:41 +0100cheater__(~Username@user/cheater)
2022-12-27 02:37:42 +0100cheater__cheater
2022-12-27 02:40:52 +0100Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving)
2022-12-27 02:41:03 +0100cheater_(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 02:44:53 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection)
2022-12-27 02:45:35 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 02:47:55 +0100tvandinther(~tvandinth@101.98.118.246)
2022-12-27 02:47:58 +0100thongpv87(~thongpv87@123.31.184.254) (Remote host closed the connection)
2022-12-27 02:48:22 +0100thongpv87(~thongpv87@123.31.184.254)
2022-12-27 02:53:36 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-12-27 03:01:46 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-12-27 03:04:41 +0100phma(phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) (Read error: Connection reset by peer)
2022-12-27 03:05:06 +0100phma(~phma@host-67-44-208-223.hnremote.net)
2022-12-27 03:06:58 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-27 03:08:05 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-27 03:09:23 +0100Gambinomoney
2022-12-27 03:12:00 +0100tvandinther(~tvandinth@101.98.118.246) (Quit: Client closed)
2022-12-27 03:16:06 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection)
2022-12-27 03:17:24 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-12-27 03:21:30 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-27 03:22:44 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-27 03:24:23 +0100n0den1te(~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b)
2022-12-27 03:27:54 +0100ddellacosta(~ddellacos@143.244.47.75) (Ping timeout: 272 seconds)
2022-12-27 03:33:34 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2022-12-27 03:41:08 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-27 03:43:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-27 03:51:07 +0100ddellacosta(~ddellacos@143.244.47.68)
2022-12-27 03:53:59 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-12-27 03:55:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-27 03:56:43 +0100n0den1te(~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) ()
2022-12-27 03:57:03 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-12-27 04:00:57 +0100 <fizbin> Is it at all possible to run elemIndex on a mutable vector, or do I have to roll my own?
2022-12-27 04:02:11 +0100cheater_(~Username@user/cheater)
2022-12-27 04:05:18 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 04:05:26 +0100cheater_cheater
2022-12-27 04:11:16 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-12-27 04:11:16 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-12-27 04:11:16 +0100finn_elijaFinnElija
2022-12-27 04:11:55 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-12-27 04:12:08 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 04:12:23 +0100thongpv(~thongpv87@2001:ee0:54a8:aee0:c713:643a:9b55:ce23)
2022-12-27 04:13:43 +0100 <dsal> Yeah, it'd be a sequence of monadic actions to read the values, so it'd at least have to look different.
2022-12-27 04:14:19 +0100thongpv87(~thongpv87@123.31.184.254) (Ping timeout: 268 seconds)
2022-12-27 04:18:34 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds)
2022-12-27 04:21:59 +0100td_(~td@83.135.9.49) (Ping timeout: 260 seconds)
2022-12-27 04:22:22 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-12-27 04:22:38 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 04:23:48 +0100td_(~td@83.135.9.15)
2022-12-27 04:26:47 +0100razetime(~quassel@49.207.230.181)
2022-12-27 04:33:36 +0100jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection)
2022-12-27 04:34:09 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-27 04:36:02 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 04:38:18 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Client Quit)
2022-12-27 04:38:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-27 04:40:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-27 04:43:05 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-12-27 04:44:26 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-12-27 04:45:26 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 04:45:58 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 04:50:58 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-12-27 04:52:55 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-12-27 04:53:49 +0100jinsun(~jinsun@user/jinsun)
2022-12-27 05:05:19 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-27 05:09:09 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 05:11:55 +0100 <freeside> say, if i'm building against the latest stackage nightly on apple M1, should i expect ghc 9.4 to produce an arm binary or x86_64?
2022-12-27 05:12:16 +0100beefbambi(~beefbambi@183.82.205.14) (Read error: Connection reset by peer)
2022-12-27 05:13:03 +0100beefbambi(~beefbambi@183.82.205.14)
2022-12-27 05:13:27 +0100 <dsal> It should produce a native ARM binary
2022-12-27 05:14:16 +0100 <freeside> that's what i thought. I wonder why it's putting out x86_64. I see half the things in .local/bin/ are arm64 and half are x86.
2022-12-27 05:14:58 +0100beefbambi(~beefbambi@183.82.205.14) (Read error: Connection reset by peer)
2022-12-27 05:15:55 +0100beefbambi(~beefbambi@183.82.205.14)
2022-12-27 05:16:27 +0100 <dsal> If you're running stuff out of rosetta, then it might.
2022-12-27 05:16:40 +0100 <dsal> I'm just running native nix
2022-12-27 05:16:58 +0100 <freeside> entertainingly i seem to have 9.4.3 under both ~/.stack/programs/aarch64-osx and ~/.stack/programs/x86_64-osx
2022-12-27 05:17:25 +0100 <dsal> Is your `stack` native?
2022-12-27 05:17:57 +0100 <freeside> hm, my `which stack` shows nix-profile, maybe i should get rid of that and run the ghcup version
2022-12-27 05:19:08 +0100 <dsal> Are you not running native nix?
2022-12-27 05:19:25 +0100 <money> joeyes
2022-12-27 05:19:39 +0100 <money> = top right room
2022-12-27 05:20:51 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 05:21:08 +0100 <freeside> i have /nix installed but also ghcup, i think i ought to be preferring the latter as i'm not good about keeping my nix pkgs up to date
2022-12-27 05:24:26 +0100 <freeside> heh, helloworld on x86 is 1.1
2022-12-27 05:24:43 +0100 <freeside> helloworld on arm64 is 9.5M
2022-12-27 05:25:42 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-12-27 05:26:05 +0100Sciencentistguy0(~sciencent@hacksoc/ordinary-member)
2022-12-27 05:26:25 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 05:27:53 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds)
2022-12-27 05:27:53 +0100Sciencentistguy0Sciencentistguy
2022-12-27 05:28:10 +0100 <dsal> I'm using nix, but not any x86_64 stuff.
2022-12-27 05:30:47 +0100 <freeside> mmm, thanks. it seems that even though the binary is bigger it executes a teeny bit faster. after the initial load, that is
2022-12-27 05:39:42 +0100 <freeside> i wonder if my x86 binaries are dynamically linked while my arm binaries are statically linked
2022-12-27 05:40:37 +0100 <dsal> I don't think anything's statically linked.
2022-12-27 05:41:15 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2022-12-27 05:44:58 +0100ddellacosta(~ddellacos@143.244.47.68) (Ping timeout: 268 seconds)
2022-12-27 05:55:56 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-12-27 05:58:00 +0100beefbambi(~beefbambi@183.82.205.14) (Ping timeout: 272 seconds)
2022-12-27 05:59:38 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-27 06:06:03 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-12-27 06:08:32 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-12-27 06:10:49 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 06:11:31 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-27 06:14:04 +0100 <Inst> hummm
2022-12-27 06:14:18 +0100 <Inst> not sure if this pisses too many people off, but I'm trying to translate dependently typed Julia code into Haskell
2022-12-27 06:14:41 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-12-27 06:15:09 +0100rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-12-27 06:15:21 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-12-27 06:15:38 +0100 <Inst> i'm stalled because I can't figure out how to get overlapping instances to work properly
2022-12-27 06:17:26 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2022-12-27 06:20:47 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 246 seconds)
2022-12-27 06:23:55 +0100 <money> So over that
2022-12-27 06:24:12 +0100 <money> Seamless like internal request accepted
2022-12-27 06:30:00 +0100Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-27 06:33:24 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-12-27 06:38:27 +0100cheater(~Username@user/cheater)
2022-12-27 06:42:53 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2022-12-27 06:43:36 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 06:48:40 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-12-27 06:48:49 +0100 <Inst> bleh, fuck me, I'm pretty sure this doesn't work because types don't exist at runtime
2022-12-27 06:56:48 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 06:58:21 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit)
2022-12-27 07:14:44 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds)
2022-12-27 07:16:01 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-12-27 07:22:23 +0100thongpv(~thongpv87@2001:ee0:54a8:aee0:c713:643a:9b55:ce23) (Ping timeout: 246 seconds)
2022-12-27 07:25:08 +0100titibandit(~titibandi@xdsl-89-0-163-79.nc.de)
2022-12-27 07:43:45 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-12-27 07:47:39 +0100SrPx(sid108780@uxbridge.irccloud.com) (Ping timeout: 260 seconds)
2022-12-27 07:48:04 +0100bbhoss(sid18216@5.254.36.57) (Ping timeout: 252 seconds)
2022-12-27 07:48:21 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-27 07:51:15 +0100bbhoss(sid18216@id-18216.tinside.irccloud.com)
2022-12-27 07:52:32 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2022-12-27 07:55:10 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds)
2022-12-27 07:55:46 +0100shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-12-27 07:57:17 +0100thongpv(~thongpv87@123.31.184.254)
2022-12-27 08:04:12 +0100 <Inst> so, ummm, is it impossible to do a dependently typed fizzbuzz in Haskell?
2022-12-27 08:06:49 +0100 <Inst> @jackdk: thanks, but it's still stalled
2022-12-27 08:06:49 +0100 <lambdabot> Unknown command, try @list
2022-12-27 08:10:18 +0100 <dsal> Inst: Haskell doesn't haven't dependent types.
2022-12-27 08:10:26 +0100 <dsal> You might be able to get further with liquid haskell.
2022-12-27 08:10:32 +0100 <dsal> Otherwise, look at agda or idris.
2022-12-27 08:12:58 +0100libertyprime(~libertypr@203.96.203.167) (Ping timeout: 268 seconds)
2022-12-27 08:21:16 +0100libertyprime(~libertypr@203.96.203.167)
2022-12-27 08:25:43 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-27 08:26:27 +0100 <Inst> dsal: so, but you get the pseudo DT implementation in Julia, right?
2022-12-27 08:26:49 +0100 <Inst> where multiple dispatch (their implementation of multiparameter typeclasses with some sort of instance resolution, I don't understand Haskell's instance resolution)
2022-12-27 08:26:55 +0100 <Inst> is used to handle the conditionals
2022-12-27 08:26:57 +0100 <dsal> I've never had any particular interest in julia.
2022-12-27 08:27:07 +0100 <Inst> I'm trying to port it to Haskell
2022-12-27 08:27:34 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-27 08:27:52 +0100 <Inst> it's impossible to get >class FizzBuzz a b n where; fizzBuzz :: Proxy a -> Proxy b -> n -> String to work, right?
2022-12-27 08:27:53 +0100 <dsal> If you're wanting to do something with dependent types, you're not going to get very far with any released version of ghc. This is ongoing research.
2022-12-27 08:28:13 +0100 <money> Meh
2022-12-27 08:28:16 +0100 <money> Dependent nah
2022-12-27 08:28:20 +0100 <money> In need of yes
2022-12-27 08:28:24 +0100 <money> Upgrade yes
2022-12-27 08:28:27 +0100 <Inst> or, in other words, I can't have a type that functions as a conditional?
2022-12-27 08:28:30 +0100 <money> Depending never
2022-12-27 08:28:42 +0100 <money> Automatic synchronization
2022-12-27 08:28:51 +0100 <money> Private level
2022-12-27 08:29:09 +0100 <money> Like a VPN but real-time and fewer “users”
2022-12-27 08:29:13 +0100 <Inst> dsal, could you help?
2022-12-27 08:29:23 +0100 <dsal> You can do some primitive things with higher kinds, but if you want actual dependent types, you need a language that supports them. haskell doesn't.
2022-12-27 08:29:24 +0100 <Inst> just asking if what I'm trying to do specifically, is impossible
2022-12-27 08:29:33 +0100 <money> nope
2022-12-27 08:29:43 +0100 <money> system needs a few to catch on/up
2022-12-27 08:29:55 +0100 <money> 1 2 3 aaaannnnddd
2022-12-27 08:29:59 +0100 <money> Here()
2022-12-27 08:30:06 +0100 <Inst> I want a function that takes an Integer, outputs a String, but processes the integer via the typeclass instance resolution mechanism
2022-12-27 08:30:12 +0100 <Inst> that is hopeless, right?
2022-12-27 08:31:40 +0100 <c_wraith> It's not impossible to encode in GHC's extensions to the type system, but... It's really indirect.
2022-12-27 08:31:56 +0100 <Inst> bleh
2022-12-27 08:32:04 +0100 <Inst> I have a friend, or rather, a guy I hired to help me learn Haskell
2022-12-27 08:32:07 +0100 <c_wraith> To the point where when I pointed you at exactly what you needed to do something yesterday, you didn't even realize that's what I was doing.
2022-12-27 08:32:15 +0100 <Inst> maybe I can pay him to help me understand how to port the Julia pseudo-DT fizzbuzz to Haskell
2022-12-27 08:32:25 +0100 <Inst> yeah, I know
2022-12-27 08:33:13 +0100 <c_wraith> It's indirect and awkward and sometimes worth experimenting with just to see how well it works - or doesn't.
2022-12-27 08:33:17 +0100 <Inst> I guess I'll go pay him to be bothered by me isntead of being a relative Haskell noob bothering three different Haskell social medias
2022-12-27 08:33:23 +0100 <c_wraith> But it's not a great way to actually get things done.
2022-12-27 08:33:32 +0100 <Inst> c_wraith: of course
2022-12-27 08:33:43 +0100 <Inst> It's more of an experiment to try to understand Haskell better
2022-12-27 08:36:33 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-27 08:38:10 +0100 <Inst> c_wraith: iirc, I never figured out how to get someNatVal to work
2022-12-27 08:38:30 +0100 <Inst> I ended up using reifyNat instead via jack's suggestion
2022-12-27 08:39:26 +0100 <c_wraith> they're the same thing. Well, it's a dual encoding, but they end up working the exact same way.
2022-12-27 08:42:01 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-27 08:44:44 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-12-27 08:48:56 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:979c:d191:98d7:72b3)
2022-12-27 08:55:08 +0100 <Inst> the problem with someNatVal is that I couldn't figure out how to get the value out of the proxy
2022-12-27 08:55:17 +0100 <Inst> erm, out of the sum type
2022-12-27 09:08:03 +0100libertyprime(~libertypr@203.96.203.167) (Ping timeout: 260 seconds)
2022-12-27 09:12:21 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-12-27 09:15:41 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-12-27 09:16:03 +0100libertyprime(~libertypr@203.96.203.167)
2022-12-27 09:17:24 +0100poscat(~poscat@2408:8206:4821:ee52:4e86:c219:434:d411) (Quit: Bye)
2022-12-27 09:25:10 +0100nilradical(~nilradica@user/naso)
2022-12-27 09:25:19 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-27 09:26:29 +0100acidjnk_new(~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de)
2022-12-27 09:27:36 +0100nilradical(~nilradica@user/naso) (Client Quit)
2022-12-27 09:29:37 +0100akegalj(~akegalj@93-136-83-92.adsl.net.t-com.hr)
2022-12-27 09:33:18 +0100acidjnk(~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de)
2022-12-27 09:34:35 +0100acidjnk_new(~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-12-27 09:39:18 +0100libertyprime(~libertypr@203.96.203.167) (Ping timeout: 252 seconds)
2022-12-27 09:41:37 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net)
2022-12-27 09:50:23 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-12-27 09:54:45 +0100libertyprime(~libertypr@203.96.203.167)
2022-12-27 10:00:04 +0100TomWesterhout[m](~twesterho@2001:470:69fc:105::1:2918) (Quit: You have been kicked for being idle)
2022-12-27 10:09:03 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-12-27 10:13:54 +0100kenran(~user@user/kenran)
2022-12-27 10:15:11 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-12-27 10:15:29 +0100kenran(~user@user/kenran)
2022-12-27 10:16:01 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-12-27 10:20:24 +0100money(sid532813@user/polo) ()
2022-12-27 10:23:45 +0100thongpv(~thongpv87@123.31.184.254) (Ping timeout: 252 seconds)
2022-12-27 10:24:03 +0100thongpv(~thongpv87@113.187.220.176)
2022-12-27 10:27:38 +0100cheater_(~Username@user/cheater)
2022-12-27 10:30:19 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-12-27 10:30:23 +0100cheater_cheater
2022-12-27 10:32:49 +0100jespada(~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net)
2022-12-27 10:33:29 +0100money(sid532813@id-532813.tinside.irccloud.com)
2022-12-27 10:36:03 +0100irrgit__(~irrgit@146.70.27.250)
2022-12-27 10:36:10 +0100money(sid532813@id-532813.tinside.irccloud.com) (Changing host)
2022-12-27 10:36:10 +0100money(sid532813@user/polo)
2022-12-27 10:37:18 +0100titibandit(~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection)
2022-12-27 10:38:34 +0100irrgit_(~irrgit@176.113.74.130) (Ping timeout: 252 seconds)
2022-12-27 10:49:04 +0100__monty__(~toonn@user/toonn)
2022-12-27 10:51:08 +0100fserucas(~fserucas@a85-138-107-42.cpe.netcabo.pt)
2022-12-27 10:51:17 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-27 10:52:14 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 10:53:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 11:01:04 +0100Guest41(~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c)
2022-12-27 11:01:29 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-12-27 11:01:48 +0100cheater(~Username@user/cheater)
2022-12-27 11:03:16 +0100libertyprime(~libertypr@203.96.203.167) (Ping timeout: 272 seconds)
2022-12-27 11:07:23 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-12-27 11:07:59 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2022-12-27 11:09:06 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 11:09:25 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2022-12-27 11:10:51 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 248 seconds)
2022-12-27 11:12:06 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-12-27 11:15:26 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2022-12-27 11:17:02 +0100thongpv87(~thongpv87@113.187.220.176)
2022-12-27 11:17:30 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 11:22:30 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-12-27 11:24:16 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-27 11:25:25 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-12-27 11:26:42 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 11:27:51 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 11:28:23 +0100cheater_(~Username@user/cheater)
2022-12-27 11:30:12 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-12-27 11:30:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2022-12-27 11:30:46 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-12-27 11:31:15 +0100Guest65(~Guest65@206.119.125.90)
2022-12-27 11:31:30 +0100Guest65(~Guest65@206.119.125.90) (Client Quit)
2022-12-27 11:32:53 +0100Lord_of_Life_Lord_of_Life
2022-12-27 11:33:02 +0100cheater_(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-12-27 11:34:19 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 11:34:51 +0100Guest41(~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c) (Quit: Client closed)
2022-12-27 11:36:21 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 11:38:12 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 11:39:08 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-27 11:40:18 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-27 11:43:41 +0100thongpv(~thongpv87@113.187.220.176) (Ping timeout: 252 seconds)
2022-12-27 11:43:47 +0100thongpv87(~thongpv87@113.187.220.176) (Ping timeout: 260 seconds)
2022-12-27 11:44:18 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-12-27 11:44:21 +0100razetime(~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-12-27 11:50:51 +0100Sciencentistguy6(~sciencent@hacksoc/ordinary-member)
2022-12-27 11:51:58 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 11:52:54 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds)
2022-12-27 11:52:54 +0100Sciencentistguy6Sciencentistguy
2022-12-27 11:53:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 12:01:26 +0100xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-12-27 12:05:39 +0100Inst_(~Inst@2601:6c4:4081:54f0:7cc8:3a76:dcbe:6e21)
2022-12-27 12:07:35 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 12:08:20 +0100Inst(~Inst@2601:6c4:4081:54f0:650a:508e:a414:6c91) (Ping timeout: 246 seconds)
2022-12-27 12:09:07 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 12:10:46 +0100natechan(~nate@98.45.169.16) (Read error: Connection reset by peer)
2022-12-27 12:11:42 +0100natechan(~nate@98.45.169.16)
2022-12-27 12:15:19 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-27 12:16:06 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 12:17:27 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 12:21:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 12:22:54 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 12:22:57 +0100moneyGambino
2022-12-27 12:28:21 +0100akegalj(~akegalj@93-136-83-92.adsl.net.t-com.hr) (Quit: leaving)
2022-12-27 12:30:33 +0100hnOsmium0001(uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity)
2022-12-27 12:35:44 +0100fserucas(~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 272 seconds)
2022-12-27 12:38:08 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds)
2022-12-27 12:43:53 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2022-12-27 12:44:47 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 12:45:22 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 12:49:58 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds)
2022-12-27 12:54:23 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds)
2022-12-27 12:54:36 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2022-12-27 12:59:38 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-27 13:00:16 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-12-27 13:00:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-12-27 13:00:57 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-27 13:02:27 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 13:07:06 +0100titibandit(~titibandi@xdsl-89-0-163-79.nc.de)
2022-12-27 13:07:37 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 13:07:48 +0100acidjnk(~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-12-27 13:08:25 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-27 13:08:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 13:09:36 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-27 13:11:25 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se)
2022-12-27 13:14:17 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-27 13:22:07 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-27 13:22:36 +0100trev(~trev@user/trev)
2022-12-27 13:24:26 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-12-27 13:29:58 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-27 13:32:16 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 13:34:46 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-12-27 13:36:15 +0100MysteryLiezer(~user@pool-173-56-57-238.nycmny.fios.verizon.net)
2022-12-27 13:36:57 +0100 <MysteryLiezer> Testing IRC at the moment
2022-12-27 13:37:07 +0100 <MysteryLiezer> Looking to become a longtime user!
2022-12-27 13:40:20 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-27 13:40:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 13:41:11 +0100ubert(~Thunderbi@p200300ecdf264e48f1e1a643b8c2e2bd.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-12-27 13:41:43 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-27 13:42:28 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 13:43:40 +0100 <MysteryLiezer> Checking to see if this works(?)
2022-12-27 13:43:40 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer)
2022-12-27 13:44:25 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-12-27 13:45:12 +0100 <chreekat> MysteryLiezer: 👋
2022-12-27 13:45:28 +0100dextaa4(~DV@user/dextaa)
2022-12-27 13:45:45 +0100 <MysteryLiezer> Thanks for that!
2022-12-27 13:45:51 +0100 <MysteryLiezer> Still learning how to use all of this
2022-12-27 13:46:10 +0100 <MysteryLiezer> Will refrain from further populating this thread with my testing
2022-12-27 13:47:38 +0100 <Axman6> MysteryLiezer: welcome - do you have any haskell questions we can help with?
2022-12-27 13:47:49 +0100dextaa(~DV@user/dextaa) (Ping timeout: 268 seconds)
2022-12-27 13:47:49 +0100dextaa4dextaa
2022-12-27 13:48:01 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2022-12-27 13:50:11 +0100 <MysteryLiezer> I will in just a few weeks!
2022-12-27 13:50:33 +0100 <MysteryLiezer> See you then!
2022-12-27 13:50:37 +0100MysteryLiezer(~user@pool-173-56-57-238.nycmny.fios.verizon.net) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2022-12-27 13:58:04 +0100ulvarrefr(~user@188.124.56.153) (Remote host closed the connection)
2022-12-27 14:00:37 +0100bontaq(~user@71.27.75.65)
2022-12-27 14:01:06 +0100cheater_(~Username@user/cheater)
2022-12-27 14:01:06 +0100cheater_cheater
2022-12-27 14:01:38 +0100 <darkling> This is nothing to do with Haskell, but I'm hoping someone's had experience: I'm looking for an algorithm to lay out a DAG on the page in a particular way, and I'm having trouble finding keywords that lead to papers that do what I want.
2022-12-27 14:01:59 +0100 <darkling> Specifically, I want the resulting graph to look soething like this: https://carfax.org.uk/files/temp/drawing.svg
2022-12-27 14:02:13 +0100 <darkling> Minimising crossings, and avoiding overlaid lines.
2022-12-27 14:02:47 +0100 <darkling> Nodes may be different widths, and there may be an arbitrary number of layers (not just the two here)
2022-12-27 14:04:23 +0100 <darkling> Does anyone know of papers, reviews, or even just keywords from the graph-drawing community that would get me to find the right literature?
2022-12-27 14:05:04 +0100 <Axman6> graphviz would be the best place to start, it's got and documents a lot of algorithms for laying out graphs
2022-12-27 14:05:35 +0100cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2022-12-27 14:06:54 +0100 <Axman6> and really, just outputting dot files and using graphviz is probably the best place to start
2022-12-27 14:06:56 +0100cheater(~Username@user/cheater)
2022-12-27 14:07:53 +0100 <darkling> Yeah, I want to do UI interaction with it, so using graphviz output directly is probably a non-starter.
2022-12-27 14:08:51 +0100 <Axman6> there are javascript libraries that are compatible too. alternatively you kight be able to find something in the diagrams package, but hothing interactive
2022-12-27 14:08:56 +0100 <Axman6> nothing*
2022-12-27 14:11:01 +0100 <darkling> The problem is, I don't know what people *call* this kind of layout, so I don't know what to look for.
2022-12-27 14:16:32 +0100 <Axman6> thats why I suggested graphviz, it documents its various algorithms with examples
2022-12-27 14:18:18 +0100 <darkling> I've played around with it, and had trouble finding settings in the command-line tools to do what I wanted, but I'll have a deeper trawl through the online docs in case there's stuff there that I didn't find.
2022-12-27 14:24:59 +0100cheater_(~Username@user/cheater)
2022-12-27 14:27:12 +0100cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-12-27 14:27:14 +0100cheater_cheater
2022-12-27 14:28:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 14:28:28 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-27 14:28:46 +0100Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2022-12-27 14:29:27 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 14:31:54 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se)
2022-12-27 14:32:28 +0100thongpv87(~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca)
2022-12-27 14:32:31 +0100thongpv(~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca)
2022-12-27 14:33:15 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 14:35:05 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-12-27 14:46:37 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2022-12-27 14:46:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-12-27 14:47:21 +0100cheater(~Username@user/cheater)
2022-12-27 14:47:22 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 14:48:46 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 14:51:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 260 seconds)
2022-12-27 14:55:01 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-27 14:57:26 +0100fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-27 14:57:45 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 14:59:20 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 15:01:09 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 15:03:03 +0100fserucas(~fserucas@a85-138-107-42.cpe.netcabo.pt)
2022-12-27 15:03:31 +0100jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
2022-12-27 15:12:03 +0100titibandit(~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection)
2022-12-27 15:12:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-12-27 15:12:47 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 264 seconds)
2022-12-27 15:14:19 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 15:17:25 +0100cheater_(~Username@user/cheater)
2022-12-27 15:17:44 +0100Techcable(~Techcable@user/Techcable) (Ping timeout: 252 seconds)
2022-12-27 15:17:59 +0100v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds)
2022-12-27 15:20:05 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-12-27 15:20:10 +0100cheater_cheater
2022-12-27 15:22:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-12-27 15:27:21 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 15:27:38 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 15:35:31 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2022-12-27 15:35:34 +0100cheater_(~Username@user/cheater)
2022-12-27 15:35:45 +0100Axman6(~Axman6@user/axman6)
2022-12-27 15:36:33 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 15:37:55 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 15:38:18 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 15:38:34 +0100cheater(~Username@user/cheater)
2022-12-27 15:39:00 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 15:40:27 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-27 15:41:54 +0100beefbambi(~beefbambi@183.82.25.109)
2022-12-27 15:41:56 +0100cheater_(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-12-27 15:42:46 +0100Sgeo(~Sgeo@user/sgeo)
2022-12-27 15:43:39 +0100Lycurgus(~juan@user/Lycurgus)
2022-12-27 15:44:31 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-12-27 15:48:16 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 15:48:29 +0100Techcable(~Techcable@user/Techcable)
2022-12-27 15:49:39 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 15:51:12 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-12-27 15:54:12 +0100ozkutuk53(~ozkutuk@176.240.173.153)
2022-12-27 15:55:53 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 15:56:33 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2022-12-27 15:57:23 +0100mikoto-chan(~mikoto-ch@164.5.249.78)
2022-12-27 15:57:42 +0100Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2022-12-27 15:59:19 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 15:59:55 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 256 seconds)
2022-12-27 16:02:44 +0100Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-12-27 16:04:05 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2022-12-27 16:05:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-12-27 16:07:08 +0100cheater_(~Username@user/cheater)
2022-12-27 16:09:08 +0100cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-12-27 16:09:12 +0100cheater__(~Username@user/cheater)
2022-12-27 16:09:12 +0100cheater__cheater
2022-12-27 16:12:15 +0100cheater_(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 16:14:30 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-27 16:14:35 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-27 16:14:37 +0100cheater_(~Username@user/cheater)
2022-12-27 16:14:37 +0100cheater_cheater
2022-12-27 16:16:37 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 16:18:52 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-27 16:21:06 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 255 seconds)
2022-12-27 16:24:45 +0100n0den1te(~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b)
2022-12-27 16:26:27 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2022-12-27 16:26:45 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 16:27:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-12-27 16:28:44 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2022-12-27 16:29:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 16:34:28 +0100Xeroine(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2022-12-27 16:34:58 +0100phma(~phma@host-67-44-208-223.hnremote.net) (Read error: Connection reset by peer)
2022-12-27 16:35:46 +0100phma(phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609)
2022-12-27 16:36:49 +0100Xeroine(~Xeroine@user/xeroine)
2022-12-27 16:43:24 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2022-12-27 16:46:07 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 16:49:49 +0100cheater_(~Username@user/cheater)
2022-12-27 16:50:38 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-27 16:51:42 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-12-27 16:51:45 +0100cheater_cheater
2022-12-27 16:52:19 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 16:53:08 +0100razetime(~quassel@49.207.230.181)
2022-12-27 16:56:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 16:57:29 +0100n0den1te(~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) ()
2022-12-27 16:57:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-12-27 16:58:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 17:00:54 +0100beefbambi(~beefbambi@183.82.25.109) (Read error: Connection reset by peer)
2022-12-27 17:01:17 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-27 17:01:42 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-27 17:02:01 +0100beefbambi(~beefbambi@183.82.25.109)
2022-12-27 17:02:20 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 17:03:29 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2022-12-27 17:03:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-12-27 17:05:56 +0100fizbin_(~fizbin@user/fizbin)
2022-12-27 17:06:45 +0100fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2022-12-27 17:07:05 +0100ec(~ec@gateway/tor-sasl/ec)
2022-12-27 17:07:18 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2022-12-27 17:09:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 17:09:47 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-27 17:11:23 +0100 <dgpratt[m]> @pl f a g = r g (h a)
2022-12-27 17:11:23 +0100 <lambdabot> f = flip r . h
2022-12-27 17:14:45 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 17:15:41 +0100fizbin_(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2022-12-27 17:15:53 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds)
2022-12-27 17:20:49 +0100fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2022-12-27 17:23:54 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 17:25:11 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-12-27 17:25:29 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 17:29:43 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-27 17:29:43 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-27 17:29:43 +0100wroathe(~wroathe@user/wroathe)
2022-12-27 17:31:13 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:979c:d191:98d7:72b3) (Quit: WeeChat 2.8)
2022-12-27 17:33:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-12-27 17:35:51 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 17:45:53 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 17:47:25 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 17:47:42 +0100bontaq(~user@71.27.75.65) (Ping timeout: 268 seconds)
2022-12-27 17:47:47 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-27 17:49:25 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 17:59:12 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-12-27 17:59:29 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-12-27 18:00:59 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 18:02:52 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 18:08:01 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection)
2022-12-27 18:08:18 +0100ChanServ+o monochrom
2022-12-27 18:08:30 +0100monochrom+b $a:money
2022-12-27 18:09:53 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2022-12-27 18:12:46 +0100Gambinomonochrom (Gambino)
2022-12-27 18:12:53 +0100monochrom-o monochrom
2022-12-27 18:13:47 +0100 <monochrom> I was banning Gambino aka money aka polo because it is behaving as a highly irrelevant markov chain.
2022-12-27 18:16:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2022-12-27 18:16:28 +0100 <Hecate> hahaha
2022-12-27 18:16:30 +0100 <Hecate> yeah
2022-12-27 18:17:06 +0100 <geekosaur> noticed that some time back, yeh
2022-12-27 18:17:14 +0100 <geekosaur> warned them both here and in #ghc
2022-12-27 18:18:20 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 18:19:17 +0100 <geekosaur> wow, Hécate is taking on the Safe Haskell cesspool
2022-12-27 18:21:11 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 264 seconds)
2022-12-27 18:21:15 +0100 <geekosaur> don't burn out
2022-12-27 18:21:36 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 18:22:29 +0100 <monochrom> darkling: Does https://en.wikipedia.org/wiki/Force-directed_graph_drawing help?
2022-12-27 18:22:51 +0100razetime(~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-12-27 18:23:23 +0100 <monochrom> maybe also https://en.wikipedia.org/wiki/Graph_drawing#Layout_methods for other methods
2022-12-27 18:24:10 +0100acidjnk(~acidjnk@p200300d6e7137a53b8fa7112b5541570.dip0.t-ipconnect.de)
2022-12-27 18:25:34 +0100 <darkling> I think "layered" is the best fit, and has a conveniently low-O() algorithm for the basic layout.
2022-12-27 18:27:09 +0100 <monochrom> https://stats.stackexchange.com/questions/51519/list-of-graph-layout-algorithms may help too.
2022-12-27 18:27:11 +0100 <darkling> Graphviz's "dot" layout engine does that, but doesn't do the rectilinear joining lines, and that's still something I'm looking for the relevant keywords for
2022-12-27 18:27:39 +0100 <Hecate> https://discourse.haskell.org/t/deprecating-safe-haskell-or-heavily-investing-in-it/5489
2022-12-27 18:28:30 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 18:29:42 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 18:29:49 +0100 <monochrom> rectilinear is probably what's in Graph_drawing "Orthogonal layout methods". But it has no further links.
2022-12-27 18:30:52 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 18:31:29 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-12-27 18:35:38 +0100jargon(~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 260 seconds)
2022-12-27 18:38:11 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-12-27 18:39:16 +0100 <darkling> I think a rectilinear graph is a bit different -- it can be drawn so that all the arcs are either horizontal or vertical. In my case, the arcs do both (two verticals and a horizontal for each arc).
2022-12-27 18:40:17 +0100 <darkling> You could probably add extra nodes to get the dog-legs in, but I think that's probably less contrained (and harder to solve) than something more special-case.
2022-12-27 18:42:05 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-27 18:42:20 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 18:44:15 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 18:44:44 +0100econo(uid147250@user/econo)
2022-12-27 18:45:24 +0100Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-27 18:50:15 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 18:52:16 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-27 18:55:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2022-12-27 18:56:11 +0100hnOsmium0001(uid453710@user/hnOsmium0001)
2022-12-27 18:56:26 +0100johnjaye(~pi@173.209.64.74)
2022-12-27 18:57:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 18:58:14 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-27 18:58:50 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 252 seconds)
2022-12-27 19:02:49 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 19:02:55 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 252 seconds)
2022-12-27 19:03:29 +0100trev(~trev@user/trev) (Remote host closed the connection)
2022-12-27 19:03:48 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 19:04:03 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-27 19:08:53 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection)
2022-12-27 19:11:24 +0100fizbin(~fizbin@user/fizbin)
2022-12-27 19:13:02 +0100ggVGc(~ggVGc@a.lowtech.earth)
2022-12-27 19:16:19 +0100trev(~trev@user/trev)
2022-12-27 19:17:13 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 19:18:44 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-12-27 19:18:52 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 19:25:17 +0100inversed(~inversed@bcdcac82.skybroadband.com)
2022-12-27 19:35:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 19:35:41 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2022-12-27 19:36:14 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-27 19:36:34 +0100beefbambi(~beefbambi@183.82.25.109) (Read error: Connection reset by peer)
2022-12-27 19:36:34 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer)
2022-12-27 19:36:47 +0100beefbambi(~beefbambi@183.82.25.109)
2022-12-27 19:36:58 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-27 19:36:59 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 19:52:35 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-12-27 19:52:53 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-27 19:54:29 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 19:54:44 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-27 19:56:51 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 252 seconds)
2022-12-27 19:59:00 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-12-27 20:00:20 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 20:00:44 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:03:17 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 20:07:48 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-27 20:10:14 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2022-12-27 20:10:58 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection)
2022-12-27 20:13:13 +0100cheater_(~Username@user/cheater)
2022-12-27 20:14:12 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds)
2022-12-27 20:16:10 +0100cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-12-27 20:16:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:16:17 +0100cheater_cheater
2022-12-27 20:17:59 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se)
2022-12-27 20:18:47 +0100califax(~califax@user/califx)
2022-12-27 20:18:51 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 20:19:00 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-12-27 20:22:59 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-12-27 20:23:46 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-27 20:24:32 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:26:28 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-27 20:27:10 +0100mesaoptimizer(apotheosis@user/PapuaHardyNet) (Quit: nyaa~)
2022-12-27 20:27:40 +0100mesaoptimizer(apotheosis@user/PapuaHardyNet)
2022-12-27 20:31:44 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-27 20:33:02 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:33:29 +0100Xeroine(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2022-12-27 20:35:19 +0100Xeroine(~Xeroine@user/xeroine)
2022-12-27 20:37:05 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 20:39:08 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-27 20:40:21 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:40:21 +0100libertyprime(~libertypr@203.96.203.167)
2022-12-27 20:45:13 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 20:46:06 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:49:42 +0100CiaoSen(~Jura@p200300c95719fa002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-12-27 20:53:28 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 20:55:27 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 20:59:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 21:02:28 +0100hueso(~root@user/hueso) (Quit: No Ping reply in 180 seconds.)
2022-12-27 21:04:13 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-12-27 21:05:50 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:14:54 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-27 21:16:13 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:16:22 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-12-27 21:17:07 +0100pavonia(~user@user/siracusa)
2022-12-27 21:18:55 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl)
2022-12-27 21:20:19 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection)
2022-12-27 21:23:56 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-27 21:25:34 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:25:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 21:33:08 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2022-12-27 21:33:37 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-27 21:34:57 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:38:18 +0100trev(~trev@user/trev) (Remote host closed the connection)
2022-12-27 21:38:39 +0100trev(~trev@user/trev)
2022-12-27 21:40:10 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-12-27 21:40:46 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 252 seconds)
2022-12-27 21:41:15 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:41:56 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 21:42:11 +0100Cerins(~Cerins@balticom-142-106-43.balticom.lv)
2022-12-27 21:42:14 +0100Cerins(~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection)
2022-12-27 21:44:54 +0100trev(~trev@user/trev) (Remote host closed the connection)
2022-12-27 21:45:16 +0100johnw(~johnw@2600:1700:cf00:db0:e472:cc9e:6753:9e3c) (Quit: ZNC - http://znc.in)
2022-12-27 21:46:58 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-12-27 21:47:14 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 246 seconds)
2022-12-27 21:48:38 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-27 21:49:43 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-12-27 21:55:58 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection)
2022-12-27 21:57:07 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection)
2022-12-27 21:59:33 +0100TonyStone(~TonyStone@cpe-74-76-57-186.nycap.res.rr.com)
2022-12-27 21:59:35 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:4e8c::)
2022-12-27 21:59:59 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-12-27 22:02:23 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 22:02:30 +0100Kaipei(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net)
2022-12-27 22:03:04 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds)
2022-12-27 22:04:59 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 264 seconds)
2022-12-27 22:10:19 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2022-12-27 22:16:01 +0100ddellacosta(~ddellacos@143.244.47.100)
2022-12-27 22:19:39 +0100fserucas(~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 248 seconds)
2022-12-27 22:24:32 +0100beefbambi(~beefbambi@183.82.25.109) (Read error: Connection reset by peer)
2022-12-27 22:25:16 +0100beefbambi(~beefbambi@183.82.25.109)
2022-12-27 22:28:25 +0100Sciencentistguy1(~sciencent@hacksoc/ordinary-member)
2022-12-27 22:31:04 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds)
2022-12-27 22:31:04 +0100Sciencentistguy1Sciencentistguy
2022-12-27 22:35:42 +0100bjourne(~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer)
2022-12-27 22:37:15 +0100mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds)
2022-12-27 22:38:08 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-27 22:45:02 +0100mei_(~mei@user/mei) (Quit: mei_)
2022-12-27 22:56:28 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-27 22:57:35 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-27 22:57:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129)
2022-12-27 23:01:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds)
2022-12-27 23:02:19 +0100johnjaye(~pi@173.209.64.74) (Ping timeout: 248 seconds)
2022-12-27 23:04:32 +0100johnjaye(~pi@173.209.64.74)
2022-12-27 23:04:59 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2022-12-27 23:06:27 +0100phma(phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609) (Read error: Connection reset by peer)
2022-12-27 23:07:21 +0100phma(phma@2001:5b0:211f:fc48:f1c3:2878:2421:3588)
2022-12-27 23:10:17 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds)
2022-12-27 23:13:12 +0100Sciencentistguy5(~sciencent@hacksoc/ordinary-member)
2022-12-27 23:15:05 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds)
2022-12-27 23:15:06 +0100Sciencentistguy5Sciencentistguy
2022-12-27 23:20:56 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-27 23:21:19 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 268 seconds)
2022-12-27 23:28:00 +0100mikoto-chan(~mikoto-ch@164.5.249.78)
2022-12-27 23:31:48 +0100Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com)
2022-12-27 23:37:35 +0100Sciencentistguy3(~sciencent@hacksoc/ordinary-member)
2022-12-27 23:39:01 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds)
2022-12-27 23:39:01 +0100Sciencentistguy3Sciencentistguy
2022-12-27 23:42:01 +0100 <DigitalKiwi> :m Numeric
2022-12-27 23:42:02 +0100 <DigitalKiwi> showFullPrecision x = showFFloat Nothing x ""
2022-12-27 23:42:20 +0100 <DigitalKiwi> i have that in my .ghci but i was wondering if i can make it like the default?
2022-12-27 23:42:46 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-12-27 23:43:46 +0100 <DigitalKiwi> ghci> showFullPrecision $ 5/100
2022-12-27 23:43:48 +0100 <DigitalKiwi> "0.05"
2022-12-27 23:43:50 +0100 <DigitalKiwi> ghci> 5/100
2022-12-27 23:43:52 +0100 <DigitalKiwi> 5.0e-2
2022-12-27 23:44:02 +0100 <geekosaur> no, you can't override Show instances
2022-12-27 23:44:46 +0100 <DigitalKiwi> want to type 5/100 and get 0.05 lol :(
2022-12-27 23:44:48 +0100 <geekosaur> there is a way to replace the output routine, but it can't know the type of the thing being printed so it can't special case for Float/Double
2022-12-27 23:45:15 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-27 23:45:51 +0100 <DigitalKiwi> oh wow just noticed haskell has banned money
2022-12-27 23:45:55 +0100 <hpc> > printf "%d" 0.05
2022-12-27 23:45:56 +0100 <lambdabot> error:
2022-12-27 23:45:57 +0100 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M168531161830...
2022-12-27 23:45:57 +0100 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2022-12-27 23:46:01 +0100 <hpc> bah
2022-12-27 23:46:19 +0100 <hpc> you probably want printf here
2022-12-27 23:46:29 +0100 <hpc> it's able to precisely control the formatting of a decimal number
2022-12-27 23:47:33 +0100 <monochrom> > printf "%f" 0.05 :: String
2022-12-27 23:47:35 +0100 <lambdabot> "0.05"
2022-12-27 23:47:37 +0100 <DigitalKiwi> (☭)=($) ; infixr 0 ☭
2022-12-27 23:47:45 +0100 <monochrom> %d is for Int or Integer
2022-12-27 23:48:03 +0100 <ggVGc> DigitalKiwi: why do you say Haskell has banned money?
2022-12-27 23:48:15 +0100 <ggVGc> If you want to represent exact values you can use Fractional, I think?
2022-12-27 23:48:24 +0100 <DigitalKiwi> 11:08 @monochrom set mode: +b $a:money
2022-12-27 23:48:25 +0100 <DigitalKiwi> 11:12 @monochrom kicked Gambino: Gambino
2022-12-27 23:48:29 +0100 <DigitalKiwi> joke ;p
2022-12-27 23:48:33 +0100 <monochrom> hee hee
2022-12-27 23:48:33 +0100 <ggVGc> ah, right
2022-12-27 23:48:45 +0100 <monochrom> But you want infixl, not infixr.
2022-12-27 23:48:58 +0100 <DigitalKiwi> i'm an anti-capitalist that's why i only type lowercase so i'm here for it
2022-12-27 23:49:08 +0100 <monochrom> Right? $ is capitalist right wing, ☭ is socialist left wing.
2022-12-27 23:49:21 +0100 <DigitalKiwi> hehehe
2022-12-27 23:49:22 +0100 <monochrom> It is actually now how I remember that $ is infixr.
2022-12-27 23:49:46 +0100 <DigitalKiwi> it's from a few days (weeks?) ago lol
2022-12-27 23:49:54 +0100 <DigitalKiwi> just had it in my up history
2022-12-27 23:52:01 +0100freeside(~mengwong@103.252.202.159)
2022-12-27 23:53:31 +0100 <ggVGc> would haskell be better or worse if we could use arbitrary unicode as operators?
2022-12-27 23:54:13 +0100 <darkling> Being able to use mathematical symbols would be nice.
2022-12-27 23:54:32 +0100 <darkling> Half a dozen stars from the Dingbats range... less so.
2022-12-27 23:54:34 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-12-27 23:54:36 +0100 <DigitalKiwi> can we not?
2022-12-27 23:55:26 +0100 <DigitalKiwi> or are meaning function != operator
2022-12-27 23:55:37 +0100 <hpc> what we really need is full-program preprocessors so we can get ACME::Bleach ported over
2022-12-27 23:55:43 +0100 <ggVGc> Haskell has a set of predefined valid operators
2022-12-27 23:56:44 +0100 <ggVGc> personally I like making DSLs a lot, and for that being able to use anything for operators would be nice. But in the greater picture I think it's probably good to keep a lid on it
2022-12-27 23:56:57 +0100 <monochrom> Better and worse.
2022-12-27 23:57:00 +0100 <ggVGc> however, not sure how much better it is with the current set of valid operator constructs..
2022-12-27 23:57:04 +0100 <DigitalKiwi> len 5П> (☭)=($) ; infixl 0 ☭
2022-12-27 23:57:04 +0100 <DigitalKiwi> П> putStr ☭ "len " ++ show (length [1..5])
2022-12-27 23:57:05 +0100freeside(~mengwong@103.252.202.159) (Ping timeout: 268 seconds)
2022-12-27 23:57:06 +0100 <DigitalKiwi> len 5П>
2022-12-27 23:57:09 +0100 <ggVGc> the haskell ecosystem is already quite insane with operators
2022-12-27 23:57:42 +0100 <ggVGc> It probably complicates the compiler more than necessary though
2022-12-27 23:57:51 +0100mikoto-chan(~mikoto-ch@164.5.249.78) (Quit: WeeChat 3.6)
2022-12-27 23:58:30 +0100 <ggVGc> hpc: isn't that TH?
2022-12-27 23:58:34 +0100 <geekosaur> not only does it allow you to use any unicode Symbol as an operator, it has UnicodeSyntax so you can use unicode → ⇒ etc.
2022-12-27 23:58:51 +0100 <hpc> even TH has limitations
2022-12-27 23:58:59 +0100 <geekosaur> also there is a full program preprocessor mode, see the -F option
2022-12-27 23:59:11 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:79de:2e5a:63dd:b89)
2022-12-27 23:59:17 +0100 <ggVGc> wait... no? you can't use anything as operators :/ Can you?
2022-12-27 23:59:22 +0100 <hpc> oh, yay
2022-12-27 23:59:22 +0100 <ggVGc> am I having a stroke
2022-12-27 23:59:35 +0100 <geekosaur> monochrom demonstrated earlier