| 2022-12-27 00:02:49 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 00:06:48 +0000 | HotFlame[m] | (~aerphanas@2001:470:69fc:105::2:e67c) |
| 2022-12-27 00:08:19 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 00:08:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-27 00:10:12 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 00:29:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-27 00:32:58 +0000 | poscat | (~poscat@114.245.110.107) (Quit: Bye) |
| 2022-12-27 00:33:12 +0000 | poscat | (~poscat@2408:8206:4821:ee52:4e86:c219:434:d411) |
| 2022-12-27 00:43:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a50f9d3f0b86663ccbe.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-12-27 00:45:47 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 264 seconds) |
| 2022-12-27 00:50:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-12-27 00:54:56 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-27 00:54:56 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-27 00:54:56 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-27 00:55:00 +0000 | mei_ | (~mei@user/mei) |
| 2022-12-27 00:57:35 +0000 | mei | (~mei@user/mei) (Ping timeout: 246 seconds) |
| 2022-12-27 00:57:52 +0000 | thongpv87 | (~thongpv87@123.31.184.254) |
| 2022-12-27 00:59:14 +0000 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-12-27 01:03:09 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 01:05:17 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 01:07:23 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-12-27 01:08:31 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2022-12-27 01:10:57 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-27 01:17:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-27 01:20:35 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 2022-12-27 01:22:47 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 01:27:19 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-12-27 01:29:50 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 01:33:35 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 01:35:20 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2022-12-27 01:36:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 01:36:26 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 246 seconds) |
| 2022-12-27 01:36:29 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-12-27 01:36:29 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2022-12-27 01:36:29 +0000 | jinsun__ | jinsun |
| 2022-12-27 01:37:30 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-12-27 01:37:41 +0000 | cheater__ | (~Username@user/cheater) |
| 2022-12-27 01:37:42 +0000 | cheater__ | cheater |
| 2022-12-27 01:40:52 +0000 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2022-12-27 01:41:03 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 01:44:53 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-12-27 01:45:35 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 01:47:55 +0000 | tvandinther | (~tvandinth@101.98.118.246) |
| 2022-12-27 01:47:58 +0000 | thongpv87 | (~thongpv87@123.31.184.254) (Remote host closed the connection) |
| 2022-12-27 01:48:22 +0000 | thongpv87 | (~thongpv87@123.31.184.254) |
| 2022-12-27 01:53:36 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 02:01:46 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-12-27 02:04:41 +0000 | phma | (phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) (Read error: Connection reset by peer) |
| 2022-12-27 02:05:06 +0000 | phma | (~phma@host-67-44-208-223.hnremote.net) |
| 2022-12-27 02:06:58 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 02:08:05 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 02:09:23 +0000 | Gambino | money |
| 2022-12-27 02:12:00 +0000 | tvandinther | (~tvandinth@101.98.118.246) (Quit: Client closed) |
| 2022-12-27 02:16:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-27 02:17:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-12-27 02:21:30 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 02:22:44 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 02:24:23 +0000 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) |
| 2022-12-27 02:27:54 +0000 | ddellacosta | (~ddellacos@143.244.47.75) (Ping timeout: 272 seconds) |
| 2022-12-27 02:33:34 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2022-12-27 02:41:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-27 02:43:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 02:51:07 +0000 | ddellacosta | (~ddellacos@143.244.47.68) |
| 2022-12-27 02:53:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-12-27 02:55:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 02:56:43 +0000 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) () |
| 2022-12-27 02:57:03 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-12-27 03:00:57 +0000 | <fizbin> | Is it at all possible to run elemIndex on a mutable vector, or do I have to roll my own? |
| 2022-12-27 03:02:11 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 03:05:18 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 03:05:26 +0000 | cheater_ | cheater |
| 2022-12-27 03:11:16 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 03:11:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-12-27 03:11:16 +0000 | finn_elija | FinnElija |
| 2022-12-27 03:11:55 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-12-27 03:12:08 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 03:12:23 +0000 | thongpv | (~thongpv87@2001:ee0:54a8:aee0:c713:643a:9b55:ce23) |
| 2022-12-27 03:13:43 +0000 | <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 03:14:19 +0000 | thongpv87 | (~thongpv87@123.31.184.254) (Ping timeout: 268 seconds) |
| 2022-12-27 03:18:34 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2022-12-27 03:21:59 +0000 | td_ | (~td@83.135.9.49) (Ping timeout: 260 seconds) |
| 2022-12-27 03:22:22 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-27 03:22:38 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 03:23:48 +0000 | td_ | (~td@83.135.9.15) |
| 2022-12-27 03:26:47 +0000 | razetime | (~quassel@49.207.230.181) |
| 2022-12-27 03:33:36 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-12-27 03:34:09 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 03:36:02 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 03:38:18 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 2022-12-27 03:38:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-27 03:40:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 03:43:05 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-27 03:44:26 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-27 03:45:26 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 03:45:58 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 03:50:58 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-12-27 03:52:55 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-27 03:53:49 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-27 04:05:19 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 04:09:09 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 04:11:55 +0000 | <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 04:12:16 +0000 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-27 04:13:03 +0000 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-27 04:13:27 +0000 | <dsal> | It should produce a native ARM binary |
| 2022-12-27 04:14:16 +0000 | <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 04:14:58 +0000 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-27 04:15:55 +0000 | beefbambi | (~beefbambi@183.82.205.14) |
| 2022-12-27 04:16:27 +0000 | <dsal> | If you're running stuff out of rosetta, then it might. |
| 2022-12-27 04:16:40 +0000 | <dsal> | I'm just running native nix |
| 2022-12-27 04:16:58 +0000 | <freeside> | entertainingly i seem to have 9.4.3 under both ~/.stack/programs/aarch64-osx and ~/.stack/programs/x86_64-osx |
| 2022-12-27 04:17:25 +0000 | <dsal> | Is your `stack` native? |
| 2022-12-27 04:17:57 +0000 | <freeside> | hm, my `which stack` shows nix-profile, maybe i should get rid of that and run the ghcup version |
| 2022-12-27 04:19:08 +0000 | <dsal> | Are you not running native nix? |
| 2022-12-27 04:19:25 +0000 | <money> | joeyes |
| 2022-12-27 04:19:39 +0000 | <money> | = top right room |
| 2022-12-27 04:20:51 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 04:21:08 +0000 | <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 04:24:26 +0000 | <freeside> | heh, helloworld on x86 is 1.1 |
| 2022-12-27 04:24:43 +0000 | <freeside> | helloworld on arm64 is 9.5M |
| 2022-12-27 04:25:42 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-27 04:26:05 +0000 | Sciencentistguy0 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 04:26:25 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 04:27:53 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds) |
| 2022-12-27 04:27:53 +0000 | Sciencentistguy0 | Sciencentistguy |
| 2022-12-27 04:28:10 +0000 | <dsal> | I'm using nix, but not any x86_64 stuff. |
| 2022-12-27 04:30:47 +0000 | <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 04:39:42 +0000 | <freeside> | i wonder if my x86 binaries are dynamically linked while my arm binaries are statically linked |
| 2022-12-27 04:40:37 +0000 | <dsal> | I don't think anything's statically linked. |
| 2022-12-27 04:41:15 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2022-12-27 04:44:58 +0000 | ddellacosta | (~ddellacos@143.244.47.68) (Ping timeout: 268 seconds) |
| 2022-12-27 04:55:56 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-12-27 04:58:00 +0000 | beefbambi | (~beefbambi@183.82.205.14) (Ping timeout: 272 seconds) |
| 2022-12-27 04:59:38 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-27 05:06:03 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-12-27 05:08:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-12-27 05:10:49 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 05:11:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 05:14:04 +0000 | <Inst> | hummm |
| 2022-12-27 05:14:18 +0000 | <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 05:14:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-12-27 05:15:09 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-12-27 05:15:21 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 05:15:38 +0000 | <Inst> | i'm stalled because I can't figure out how to get overlapping instances to work properly |
| 2022-12-27 05:17:26 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
| 2022-12-27 05:20:47 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
| 2022-12-27 05:23:55 +0000 | <money> | So over that |
| 2022-12-27 05:24:12 +0000 | <money> | Seamless like internal request accepted |
| 2022-12-27 05:30:00 +0000 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-27 05:33:24 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 05:38:27 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 05:42:53 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-12-27 05:43:36 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 05:48:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-27 05:48:49 +0000 | <Inst> | bleh, fuck me, I'm pretty sure this doesn't work because types don't exist at runtime |
| 2022-12-27 05:56:48 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 05:58:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
| 2022-12-27 06:14:44 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds) |
| 2022-12-27 06:16:01 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-27 06:22:23 +0000 | thongpv | (~thongpv87@2001:ee0:54a8:aee0:c713:643a:9b55:ce23) (Ping timeout: 246 seconds) |
| 2022-12-27 06:25:08 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-27 06:43:45 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-27 06:47:39 +0000 | SrPx | (sid108780@uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-12-27 06:48:04 +0000 | bbhoss | (sid18216@5.254.36.57) (Ping timeout: 252 seconds) |
| 2022-12-27 06:48:21 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 06:51:15 +0000 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
| 2022-12-27 06:52:32 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2022-12-27 06:55:10 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds) |
| 2022-12-27 06:55:46 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-12-27 06:57:17 +0000 | thongpv | (~thongpv87@123.31.184.254) |
| 2022-12-27 07:04:12 +0000 | <Inst> | so, ummm, is it impossible to do a dependently typed fizzbuzz in Haskell? |
| 2022-12-27 07:06:49 +0000 | <Inst> | @jackdk: thanks, but it's still stalled |
| 2022-12-27 07:06:49 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-12-27 07:10:18 +0000 | <dsal> | Inst: Haskell doesn't haven't dependent types. |
| 2022-12-27 07:10:26 +0000 | <dsal> | You might be able to get further with liquid haskell. |
| 2022-12-27 07:10:32 +0000 | <dsal> | Otherwise, look at agda or idris. |
| 2022-12-27 07:12:58 +0000 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 268 seconds) |
| 2022-12-27 07:21:16 +0000 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 07:25:43 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-27 07:26:27 +0000 | <Inst> | dsal: so, but you get the pseudo DT implementation in Julia, right? |
| 2022-12-27 07:26:49 +0000 | <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 07:26:55 +0000 | <Inst> | is used to handle the conditionals |
| 2022-12-27 07:26:57 +0000 | <dsal> | I've never had any particular interest in julia. |
| 2022-12-27 07:27:07 +0000 | <Inst> | I'm trying to port it to Haskell |
| 2022-12-27 07:27:34 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 07:27:52 +0000 | <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 07:27:53 +0000 | <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 07:28:13 +0000 | <money> | Meh |
| 2022-12-27 07:28:16 +0000 | <money> | Dependent nah |
| 2022-12-27 07:28:20 +0000 | <money> | In need of yes |
| 2022-12-27 07:28:24 +0000 | <money> | Upgrade yes |
| 2022-12-27 07:28:27 +0000 | <Inst> | or, in other words, I can't have a type that functions as a conditional? |
| 2022-12-27 07:28:30 +0000 | <money> | Depending never |
| 2022-12-27 07:28:42 +0000 | <money> | Automatic synchronization |
| 2022-12-27 07:28:51 +0000 | <money> | Private level |
| 2022-12-27 07:29:09 +0000 | <money> | Like a VPN but real-time and fewer “users” |
| 2022-12-27 07:29:13 +0000 | <Inst> | dsal, could you help? |
| 2022-12-27 07:29:23 +0000 | <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 07:29:24 +0000 | <Inst> | just asking if what I'm trying to do specifically, is impossible |
| 2022-12-27 07:29:33 +0000 | <money> | nope |
| 2022-12-27 07:29:43 +0000 | <money> | system needs a few to catch on/up |
| 2022-12-27 07:29:55 +0000 | <money> | 1 2 3 aaaannnnddd |
| 2022-12-27 07:29:59 +0000 | <money> | Here() |
| 2022-12-27 07:30:06 +0000 | <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 07:30:12 +0000 | <Inst> | that is hopeless, right? |
| 2022-12-27 07:31:40 +0000 | <c_wraith> | It's not impossible to encode in GHC's extensions to the type system, but... It's really indirect. |
| 2022-12-27 07:31:56 +0000 | <Inst> | bleh |
| 2022-12-27 07:32:04 +0000 | <Inst> | I have a friend, or rather, a guy I hired to help me learn Haskell |
| 2022-12-27 07:32:07 +0000 | <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 07:32:15 +0000 | <Inst> | maybe I can pay him to help me understand how to port the Julia pseudo-DT fizzbuzz to Haskell |
| 2022-12-27 07:32:25 +0000 | <Inst> | yeah, I know |
| 2022-12-27 07:33:13 +0000 | <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 07:33:17 +0000 | <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 07:33:23 +0000 | <c_wraith> | But it's not a great way to actually get things done. |
| 2022-12-27 07:33:32 +0000 | <Inst> | c_wraith: of course |
| 2022-12-27 07:33:43 +0000 | <Inst> | It's more of an experiment to try to understand Haskell better |
| 2022-12-27 07:36:33 +0000 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 07:38:10 +0000 | <Inst> | c_wraith: iirc, I never figured out how to get someNatVal to work |
| 2022-12-27 07:38:30 +0000 | <Inst> | I ended up using reifyNat instead via jack's suggestion |
| 2022-12-27 07:39:26 +0000 | <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 07:42:01 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 07:44:44 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-12-27 07:48:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:979c:d191:98d7:72b3) |
| 2022-12-27 07:55:08 +0000 | <Inst> | the problem with someNatVal is that I couldn't figure out how to get the value out of the proxy |
| 2022-12-27 07:55:17 +0000 | <Inst> | erm, out of the sum type |
| 2022-12-27 08:08:03 +0000 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 260 seconds) |
| 2022-12-27 08:12:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-12-27 08:15:41 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-12-27 08:16:03 +0000 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 08:17:24 +0000 | poscat | (~poscat@2408:8206:4821:ee52:4e86:c219:434:d411) (Quit: Bye) |
| 2022-12-27 08:25:10 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-12-27 08:25:19 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 08:26:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de) |
| 2022-12-27 08:27:36 +0000 | nilradical | (~nilradica@user/naso) (Client Quit) |
| 2022-12-27 08:29:37 +0000 | akegalj | (~akegalj@93-136-83-92.adsl.net.t-com.hr) |
| 2022-12-27 08:33:18 +0000 | acidjnk | (~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de) |
| 2022-12-27 08:34:35 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-12-27 08:39:18 +0000 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 252 seconds) |
| 2022-12-27 08:41:37 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-27 08:50:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-12-27 08:54:45 +0000 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 09:00:04 +0000 | TomWesterhout[m] | (~twesterho@2001:470:69fc:105::1:2918) (Quit: You have been kicked for being idle) |
| 2022-12-27 09:09:03 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-27 09:13:54 +0000 | kenran | (~user@user/kenran) |
| 2022-12-27 09:15:11 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-27 09:15:29 +0000 | kenran | (~user@user/kenran) |
| 2022-12-27 09:16:01 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-27 09:20:24 +0000 | money | (sid532813@user/polo) () |
| 2022-12-27 09:23:45 +0000 | thongpv | (~thongpv87@123.31.184.254) (Ping timeout: 252 seconds) |
| 2022-12-27 09:24:03 +0000 | thongpv | (~thongpv87@113.187.220.176) |
| 2022-12-27 09:27:38 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 09:30:19 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 09:30:23 +0000 | cheater_ | cheater |
| 2022-12-27 09:32:49 +0000 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-12-27 09:33:29 +0000 | money | (sid532813@id-532813.tinside.irccloud.com) |
| 2022-12-27 09:36:03 +0000 | irrgit__ | (~irrgit@146.70.27.250) |
| 2022-12-27 09:36:10 +0000 | money | (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 2022-12-27 09:36:10 +0000 | money | (sid532813@user/polo) |
| 2022-12-27 09:37:18 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2022-12-27 09:38:34 +0000 | irrgit_ | (~irrgit@176.113.74.130) (Ping timeout: 252 seconds) |
| 2022-12-27 09:49:04 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-12-27 09:51:08 +0000 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-27 09:51:17 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 09:52:14 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 09:53:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 10:01:04 +0000 | Guest41 | (~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c) |
| 2022-12-27 10:01:29 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 10:01:48 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 10:03:16 +0000 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 272 seconds) |
| 2022-12-27 10:07:23 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 10:07:59 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-12-27 10:09:06 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 10:09:25 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2022-12-27 10:10:51 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 248 seconds) |
| 2022-12-27 10:12:06 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-12-27 10:15:26 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-27 10:17:02 +0000 | thongpv87 | (~thongpv87@113.187.220.176) |
| 2022-12-27 10:17:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 10:22:30 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-12-27 10:24:16 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 10:25:25 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-27 10:26:42 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 10:27:51 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 10:28:23 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 10:30:12 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-12-27 10:30:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-12-27 10:30:46 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 10:31:15 +0000 | Guest65 | (~Guest65@206.119.125.90) |
| 2022-12-27 10:31:30 +0000 | Guest65 | (~Guest65@206.119.125.90) (Client Quit) |
| 2022-12-27 10:32:53 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-12-27 10:33:02 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 10:34:19 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 10:34:51 +0000 | Guest41 | (~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c) (Quit: Client closed) |
| 2022-12-27 10:36:21 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 10:38:12 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 10:39:08 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-27 10:40:18 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 10:43:41 +0000 | thongpv | (~thongpv87@113.187.220.176) (Ping timeout: 252 seconds) |
| 2022-12-27 10:43:47 +0000 | thongpv87 | (~thongpv87@113.187.220.176) (Ping timeout: 260 seconds) |
| 2022-12-27 10:44:18 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-12-27 10:44:21 +0000 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-27 10:50:51 +0000 | Sciencentistguy6 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 10:51:58 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 10:52:54 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2022-12-27 10:52:54 +0000 | Sciencentistguy6 | Sciencentistguy |
| 2022-12-27 10:53:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:01:26 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-12-27 11:05:39 +0000 | Inst_ | (~Inst@2601:6c4:4081:54f0:7cc8:3a76:dcbe:6e21) |
| 2022-12-27 11:07:35 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 11:08:20 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:650a:508e:a414:6c91) (Ping timeout: 246 seconds) |
| 2022-12-27 11:09:07 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:10:46 +0000 | natechan | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-12-27 11:11:42 +0000 | natechan | (~nate@98.45.169.16) |
| 2022-12-27 11:15:19 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 11:16:06 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 11:17:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:21:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 11:22:54 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:22:57 +0000 | money | Gambino |
| 2022-12-27 11:28:21 +0000 | akegalj | (~akegalj@93-136-83-92.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-12-27 11:30:33 +0000 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-12-27 11:35:44 +0000 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 272 seconds) |
| 2022-12-27 11:38:08 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-12-27 11:43:53 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 11:44:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 11:45:22 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:49:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds) |
| 2022-12-27 11:54:23 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2022-12-27 11:54:36 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-12-27 11:59:38 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 12:00:16 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-27 12:00:47 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 12:00:57 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 12:02:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:07:06 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-27 12:07:37 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 12:07:48 +0000 | acidjnk | (~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-12-27 12:08:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 12:08:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:09:36 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-27 12:11:25 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 12:14:17 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 12:22:07 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 12:22:36 +0000 | trev | (~trev@user/trev) |
| 2022-12-27 12:24:26 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-27 12:29:58 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 12:32:16 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 12:34:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-12-27 12:36:15 +0000 | MysteryLiezer | (~user@pool-173-56-57-238.nycmny.fios.verizon.net) |
| 2022-12-27 12:36:57 +0000 | <MysteryLiezer> | Testing IRC at the moment |
| 2022-12-27 12:37:07 +0000 | <MysteryLiezer> | Looking to become a longtime user! |
| 2022-12-27 12:40:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-12-27 12:40:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 12:41:11 +0000 | ubert | (~Thunderbi@p200300ecdf264e48f1e1a643b8c2e2bd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-12-27 12:41:43 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-27 12:42:28 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:43:40 +0000 | <MysteryLiezer> | Checking to see if this works(?) |
| 2022-12-27 12:43:40 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 12:44:25 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-27 12:45:12 +0000 | <chreekat> | MysteryLiezer: 👋 |
| 2022-12-27 12:45:28 +0000 | dextaa4 | (~DV@user/dextaa) |
| 2022-12-27 12:45:45 +0000 | <MysteryLiezer> | Thanks for that! |
| 2022-12-27 12:45:51 +0000 | <MysteryLiezer> | Still learning how to use all of this |
| 2022-12-27 12:46:10 +0000 | <MysteryLiezer> | Will refrain from further populating this thread with my testing |
| 2022-12-27 12:47:38 +0000 | <Axman6> | MysteryLiezer: welcome - do you have any haskell questions we can help with? |
| 2022-12-27 12:47:49 +0000 | dextaa | (~DV@user/dextaa) (Ping timeout: 268 seconds) |
| 2022-12-27 12:47:49 +0000 | dextaa4 | dextaa |
| 2022-12-27 12:48:01 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2022-12-27 12:50:11 +0000 | <MysteryLiezer> | I will in just a few weeks! |
| 2022-12-27 12:50:33 +0000 | <MysteryLiezer> | See you then! |
| 2022-12-27 12:50:37 +0000 | MysteryLiezer | (~user@pool-173-56-57-238.nycmny.fios.verizon.net) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2022-12-27 12:58:04 +0000 | ulvarrefr | (~user@188.124.56.153) (Remote host closed the connection) |
| 2022-12-27 13:00:37 +0000 | bontaq | (~user@71.27.75.65) |
| 2022-12-27 13:01:06 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 13:01:06 +0000 | cheater_ | cheater |
| 2022-12-27 13:01:38 +0000 | <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 13:01:59 +0000 | <darkling> | Specifically, I want the resulting graph to look soething like this: https://carfax.org.uk/files/temp/drawing.svg |
| 2022-12-27 13:02:13 +0000 | <darkling> | Minimising crossings, and avoiding overlaid lines. |
| 2022-12-27 13:02:47 +0000 | <darkling> | Nodes may be different widths, and there may be an arbitrary number of layers (not just the two here) |
| 2022-12-27 13:04:23 +0000 | <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 13:05:04 +0000 | <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 13:05:35 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2022-12-27 13:06:54 +0000 | <Axman6> | and really, just outputting dot files and using graphviz is probably the best place to start |
| 2022-12-27 13:06:56 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 13:07:53 +0000 | <darkling> | Yeah, I want to do UI interaction with it, so using graphviz output directly is probably a non-starter. |
| 2022-12-27 13:08:51 +0000 | <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 13:08:56 +0000 | <Axman6> | nothing* |
| 2022-12-27 13:11:01 +0000 | <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 13:16:32 +0000 | <Axman6> | thats why I suggested graphviz, it documents its various algorithms with examples |
| 2022-12-27 13:18:18 +0000 | <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 13:24:59 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 13:27:12 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 13:27:14 +0000 | cheater_ | cheater |
| 2022-12-27 13:28:04 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 13:28:28 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-27 13:28:46 +0000 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2022-12-27 13:29:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 13:31:54 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 13:32:28 +0000 | thongpv87 | (~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca) |
| 2022-12-27 13:32:31 +0000 | thongpv | (~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca) |
| 2022-12-27 13:33:15 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 13:35:05 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 13:46:37 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 13:46:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 13:47:21 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 13:47:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 13:48:46 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 13:51:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 260 seconds) |
| 2022-12-27 13:55:01 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 13:57:26 +0000 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2022-12-27 13:57:45 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 13:59:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 14:01:09 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:03:03 +0000 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-27 14:03:31 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-12-27 14:12:03 +0000 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2022-12-27 14:12:47 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 14:12:47 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 264 seconds) |
| 2022-12-27 14:14:19 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:17:25 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 14:17:44 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
| 2022-12-27 14:17:59 +0000 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
| 2022-12-27 14:20:05 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 14:20:10 +0000 | cheater_ | cheater |
| 2022-12-27 14:22:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-12-27 14:27:21 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 14:27:38 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 14:35:31 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-12-27 14:35:34 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 14:35:45 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-12-27 14:36:33 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 14:37:55 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:38:18 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 14:38:34 +0000 | cheater | (~Username@user/cheater) |
| 2022-12-27 14:39:00 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 14:40:27 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-27 14:41:54 +0000 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 14:41:56 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 14:42:46 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-12-27 14:43:39 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-12-27 14:44:31 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-12-27 14:48:16 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 14:48:29 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-12-27 14:49:39 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:51:12 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 14:54:12 +0000 | ozkutuk53 | (~ozkutuk@176.240.173.153) |
| 2022-12-27 14:55:53 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 14:56:33 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2022-12-27 14:57:23 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 14:57:42 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-12-27 14:59:19 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 14:59:55 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
| 2022-12-27 15:02:44 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-12-27 15:04:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-12-27 15:05:59 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 15:07:08 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 15:09:08 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 15:09:12 +0000 | cheater__ | (~Username@user/cheater) |
| 2022-12-27 15:09:12 +0000 | cheater__ | cheater |
| 2022-12-27 15:12:15 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 15:14:30 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 15:14:35 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 15:14:37 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 15:14:37 +0000 | cheater_ | cheater |
| 2022-12-27 15:16:37 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 15:18:52 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 15:21:06 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 255 seconds) |
| 2022-12-27 15:24:45 +0000 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) |
| 2022-12-27 15:26:27 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2022-12-27 15:26:45 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 15:27:41 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 15:28:44 +0000 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-12-27 15:29:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 15:34:28 +0000 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-12-27 15:34:58 +0000 | phma | (~phma@host-67-44-208-223.hnremote.net) (Read error: Connection reset by peer) |
| 2022-12-27 15:35:46 +0000 | phma | (phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609) |
| 2022-12-27 15:36:49 +0000 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-27 15:43:24 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2022-12-27 15:46:07 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 15:49:49 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 15:50:38 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 15:51:42 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-12-27 15:51:45 +0000 | cheater_ | cheater |
| 2022-12-27 15:52:19 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 15:53:08 +0000 | razetime | (~quassel@49.207.230.181) |
| 2022-12-27 15:56:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 15:57:29 +0000 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) () |
| 2022-12-27 15:57:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-12-27 15:58:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:00:54 +0000 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 16:01:17 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-27 16:01:42 +0000 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-27 16:02:01 +0000 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 16:02:20 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 16:03:29 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-12-27 16:03:59 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 16:05:56 +0000 | fizbin_ | (~fizbin@user/fizbin) |
| 2022-12-27 16:06:45 +0000 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 16:07:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-12-27 16:07:18 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 16:09:00 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:09:47 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2022-12-27 16:11:23 +0000 | <dgpratt[m]> | @pl f a g = r g (h a) |
| 2022-12-27 16:11:23 +0000 | <lambdabot> | f = flip r . h |
| 2022-12-27 16:14:45 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 16:15:41 +0000 | fizbin_ | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 16:15:53 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds) |
| 2022-12-27 16:20:49 +0000 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 16:23:54 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 16:25:11 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-12-27 16:25:29 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:29:43 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-27 16:29:43 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-27 16:29:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-27 16:31:13 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:979c:d191:98d7:72b3) (Quit: WeeChat 2.8) |
| 2022-12-27 16:33:47 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-12-27 16:35:51 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:45:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 16:47:25 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 16:47:42 +0000 | bontaq | (~user@71.27.75.65) (Ping timeout: 268 seconds) |
| 2022-12-27 16:47:47 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 16:49:25 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:59:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-12-27 16:59:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-12-27 17:00:59 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 17:02:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:08:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 17:08:18 +0000 | ChanServ | +o monochrom |
| 2022-12-27 17:08:30 +0000 | monochrom | +b $a:money |
| 2022-12-27 17:09:53 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-12-27 17:12:46 +0000 | Gambino | monochrom (Gambino) |
| 2022-12-27 17:12:53 +0000 | monochrom | -o monochrom |
| 2022-12-27 17:13:47 +0000 | <monochrom> | I was banning Gambino aka money aka polo because it is behaving as a highly irrelevant markov chain. |
| 2022-12-27 17:16:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-27 17:16:28 +0000 | <Hecate> | hahaha |
| 2022-12-27 17:16:30 +0000 | <Hecate> | yeah |
| 2022-12-27 17:17:06 +0000 | <geekosaur> | noticed that some time back, yeh |
| 2022-12-27 17:17:14 +0000 | <geekosaur> | warned them both here and in #ghc |
| 2022-12-27 17:18:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:19:17 +0000 | <geekosaur> | wow, Hécate is taking on the Safe Haskell cesspool |
| 2022-12-27 17:21:11 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 264 seconds) |
| 2022-12-27 17:21:15 +0000 | <geekosaur> | don't burn out |
| 2022-12-27 17:21:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 17:22:29 +0000 | <monochrom> | darkling: Does https://en.wikipedia.org/wiki/Force-directed_graph_drawing help? |
| 2022-12-27 17:22:51 +0000 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-27 17:23:23 +0000 | <monochrom> | maybe also https://en.wikipedia.org/wiki/Graph_drawing#Layout_methods for other methods |
| 2022-12-27 17:24:10 +0000 | acidjnk | (~acidjnk@p200300d6e7137a53b8fa7112b5541570.dip0.t-ipconnect.de) |
| 2022-12-27 17:25:34 +0000 | <darkling> | I think "layered" is the best fit, and has a conveniently low-O() algorithm for the basic layout. |
| 2022-12-27 17:27:09 +0000 | <monochrom> | https://stats.stackexchange.com/questions/51519/list-of-graph-layout-algorithms may help too. |
| 2022-12-27 17:27:11 +0000 | <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 17:27:39 +0000 | <Hecate> | https://discourse.haskell.org/t/deprecating-safe-haskell-or-heavily-investing-in-it/5489 |
| 2022-12-27 17:28:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 17:29:42 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:29:49 +0000 | <monochrom> | rectilinear is probably what's in Graph_drawing "Orthogonal layout methods". But it has no further links. |
| 2022-12-27 17:30:52 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 17:31:29 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-12-27 17:35:38 +0000 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 260 seconds) |
| 2022-12-27 17:38:11 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-27 17:39:16 +0000 | <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 17:40:17 +0000 | <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 17:42:05 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 17:42:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 17:44:15 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:44:44 +0000 | econo | (uid147250@user/econo) |
| 2022-12-27 17:45:24 +0000 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-27 17:50:15 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 17:52:16 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 17:55:41 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-27 17:56:11 +0000 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-12-27 17:56:26 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-12-27 17:57:41 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:58:14 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-27 17:58:50 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
| 2022-12-27 18:02:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 18:02:55 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 252 seconds) |
| 2022-12-27 18:03:29 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 18:03:48 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:04:03 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 18:08:53 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-12-27 18:11:24 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 18:13:02 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-12-27 18:16:19 +0000 | trev | (~trev@user/trev) |
| 2022-12-27 18:17:13 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 18:18:44 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-12-27 18:18:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:25:17 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2022-12-27 18:35:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 18:35:41 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2022-12-27 18:36:14 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 18:36:34 +0000 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 18:36:34 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 18:36:47 +0000 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 18:36:58 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-12-27 18:36:59 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:52:35 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-27 18:52:53 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 18:54:29 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:54:44 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 18:56:51 +0000 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
| 2022-12-27 18:59:00 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-12-27 19:00:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 19:00:44 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:03:17 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 19:07:48 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 19:10:14 +0000 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-27 19:10:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 19:13:13 +0000 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 19:14:12 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-12-27 19:16:10 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 19:16:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:16:17 +0000 | cheater_ | cheater |
| 2022-12-27 19:17:59 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 19:18:47 +0000 | califax | (~califax@user/califx) |
| 2022-12-27 19:18:51 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 19:19:00 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-27 19:22:59 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 19:23:46 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-27 19:24:32 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:26:28 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 19:27:10 +0000 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Quit: nyaa~) |
| 2022-12-27 19:27:40 +0000 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2022-12-27 19:31:44 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 19:33:02 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:33:29 +0000 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-12-27 19:35:19 +0000 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-27 19:37:05 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 19:39:08 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 19:40:21 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:40:21 +0000 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 19:45:13 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 19:46:06 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:49:42 +0000 | CiaoSen | (~Jura@p200300c95719fa002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-27 19:53:28 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 19:55:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:59:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 20:02:28 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 20:04:13 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 20:05:50 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:14:54 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 20:16:13 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:16:22 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-27 20:17:07 +0000 | pavonia | (~user@user/siracusa) |
| 2022-12-27 20:18:55 +0000 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-12-27 20:20:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 20:23:56 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 20:25:34 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:25:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 20:33:08 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 20:33:37 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 20:34:57 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:38:18 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 20:38:39 +0000 | trev | (~trev@user/trev) |
| 2022-12-27 20:40:10 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 20:40:46 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2022-12-27 20:41:15 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:41:56 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 20:42:11 +0000 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
| 2022-12-27 20:42:14 +0000 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection) |
| 2022-12-27 20:44:54 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 20:45:16 +0000 | johnw | (~johnw@2600:1700:cf00:db0:e472:cc9e:6753:9e3c) (Quit: ZNC - http://znc.in) |
| 2022-12-27 20:46:58 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 20:47:14 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
| 2022-12-27 20:48:38 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:49:43 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-27 20:55:58 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-12-27 20:57:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 20:59:33 +0000 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2022-12-27 20:59:35 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2022-12-27 20:59:59 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-12-27 21:02:23 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 21:02:30 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-27 21:03:04 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2022-12-27 21:04:59 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 264 seconds) |
| 2022-12-27 21:10:19 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 21:16:01 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-12-27 21:19:39 +0000 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 248 seconds) |
| 2022-12-27 21:24:32 +0000 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 21:25:16 +0000 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 21:28:25 +0000 | Sciencentistguy1 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 21:31:04 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds) |
| 2022-12-27 21:31:04 +0000 | Sciencentistguy1 | Sciencentistguy |
| 2022-12-27 21:35:42 +0000 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 21:37:15 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds) |
| 2022-12-27 21:38:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 21:45:02 +0000 | mei_ | (~mei@user/mei) (Quit: mei_) |
| 2022-12-27 21:56:28 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 21:57:35 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 21:57:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 22:01:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds) |
| 2022-12-27 22:02:19 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 248 seconds) |
| 2022-12-27 22:04:32 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-12-27 22:04:59 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-12-27 22:06:27 +0000 | phma | (phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609) (Read error: Connection reset by peer) |
| 2022-12-27 22:07:21 +0000 | phma | (phma@2001:5b0:211f:fc48:f1c3:2878:2421:3588) |
| 2022-12-27 22:10:17 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2022-12-27 22:13:12 +0000 | Sciencentistguy5 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 22:15:05 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2022-12-27 22:15:06 +0000 | Sciencentistguy5 | Sciencentistguy |
| 2022-12-27 22:20:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 22:21:19 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-27 22:28:00 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 22:31:48 +0000 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2022-12-27 22:37:35 +0000 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 22:39:01 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 2022-12-27 22:39:01 +0000 | Sciencentistguy3 | Sciencentistguy |
| 2022-12-27 22:42:01 +0000 | <DigitalKiwi> | :m Numeric |
| 2022-12-27 22:42:02 +0000 | <DigitalKiwi> | showFullPrecision x = showFFloat Nothing x "" |
| 2022-12-27 22:42:20 +0000 | <DigitalKiwi> | i have that in my .ghci but i was wondering if i can make it like the default? |
| 2022-12-27 22:42:46 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-12-27 22:43:46 +0000 | <DigitalKiwi> | ghci> showFullPrecision $ 5/100 |
| 2022-12-27 22:43:48 +0000 | <DigitalKiwi> | "0.05" |
| 2022-12-27 22:43:50 +0000 | <DigitalKiwi> | ghci> 5/100 |
| 2022-12-27 22:43:52 +0000 | <DigitalKiwi> | 5.0e-2 |
| 2022-12-27 22:44:02 +0000 | <geekosaur> | no, you can't override Show instances |
| 2022-12-27 22:44:46 +0000 | <DigitalKiwi> | want to type 5/100 and get 0.05 lol :( |
| 2022-12-27 22:44:48 +0000 | <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 22:45:15 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-12-27 22:45:51 +0000 | <DigitalKiwi> | oh wow just noticed haskell has banned money |
| 2022-12-27 22:45:55 +0000 | <hpc> | > printf "%d" 0.05 |
| 2022-12-27 22:45:56 +0000 | <lambdabot> | error: |
| 2022-12-27 22:45:57 +0000 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M168531161830... |
| 2022-12-27 22:45:57 +0000 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2022-12-27 22:46:01 +0000 | <hpc> | bah |
| 2022-12-27 22:46:19 +0000 | <hpc> | you probably want printf here |
| 2022-12-27 22:46:29 +0000 | <hpc> | it's able to precisely control the formatting of a decimal number |
| 2022-12-27 22:47:33 +0000 | <monochrom> | > printf "%f" 0.05 :: String |
| 2022-12-27 22:47:35 +0000 | <lambdabot> | "0.05" |
| 2022-12-27 22:47:37 +0000 | <DigitalKiwi> | (☭)=($) ; infixr 0 ☭ |
| 2022-12-27 22:47:45 +0000 | <monochrom> | %d is for Int or Integer |
| 2022-12-27 22:48:03 +0000 | <ggVGc> | DigitalKiwi: why do you say Haskell has banned money? |
| 2022-12-27 22:48:15 +0000 | <ggVGc> | If you want to represent exact values you can use Fractional, I think? |
| 2022-12-27 22:48:24 +0000 | <DigitalKiwi> | 11:08 @monochrom set mode: +b $a:money |
| 2022-12-27 22:48:25 +0000 | <DigitalKiwi> | 11:12 @monochrom kicked Gambino: Gambino |
| 2022-12-27 22:48:29 +0000 | <DigitalKiwi> | joke ;p |
| 2022-12-27 22:48:33 +0000 | <monochrom> | hee hee |
| 2022-12-27 22:48:33 +0000 | <ggVGc> | ah, right |
| 2022-12-27 22:48:45 +0000 | <monochrom> | But you want infixl, not infixr. |
| 2022-12-27 22:48:58 +0000 | <DigitalKiwi> | i'm an anti-capitalist that's why i only type lowercase so i'm here for it |
| 2022-12-27 22:49:08 +0000 | <monochrom> | Right? $ is capitalist right wing, ☭ is socialist left wing. |
| 2022-12-27 22:49:21 +0000 | <DigitalKiwi> | hehehe |
| 2022-12-27 22:49:22 +0000 | <monochrom> | It is actually now how I remember that $ is infixr. |
| 2022-12-27 22:49:46 +0000 | <DigitalKiwi> | it's from a few days (weeks?) ago lol |
| 2022-12-27 22:49:54 +0000 | <DigitalKiwi> | just had it in my up history |
| 2022-12-27 22:52:01 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 22:53:31 +0000 | <ggVGc> | would haskell be better or worse if we could use arbitrary unicode as operators? |
| 2022-12-27 22:54:13 +0000 | <darkling> | Being able to use mathematical symbols would be nice. |
| 2022-12-27 22:54:32 +0000 | <darkling> | Half a dozen stars from the Dingbats range... less so. |
| 2022-12-27 22:54:34 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-12-27 22:54:36 +0000 | <DigitalKiwi> | can we not? |
| 2022-12-27 22:55:26 +0000 | <DigitalKiwi> | or are meaning function != operator |
| 2022-12-27 22:55:37 +0000 | <hpc> | what we really need is full-program preprocessors so we can get ACME::Bleach ported over |
| 2022-12-27 22:55:43 +0000 | <ggVGc> | Haskell has a set of predefined valid operators |
| 2022-12-27 22:56:44 +0000 | <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 22:56:57 +0000 | <monochrom> | Better and worse. |
| 2022-12-27 22:57:00 +0000 | <ggVGc> | however, not sure how much better it is with the current set of valid operator constructs.. |
| 2022-12-27 22:57:04 +0000 | <DigitalKiwi> | len 5П> (☭)=($) ; infixl 0 ☭ |
| 2022-12-27 22:57:04 +0000 | <DigitalKiwi> | П> putStr ☭ "len " ++ show (length [1..5]) |
| 2022-12-27 22:57:05 +0000 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-27 22:57:06 +0000 | <DigitalKiwi> | len 5П> |
| 2022-12-27 22:57:09 +0000 | <ggVGc> | the haskell ecosystem is already quite insane with operators |
| 2022-12-27 22:57:42 +0000 | <ggVGc> | It probably complicates the compiler more than necessary though |
| 2022-12-27 22:57:51 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Quit: WeeChat 3.6) |
| 2022-12-27 22:58:30 +0000 | <ggVGc> | hpc: isn't that TH? |
| 2022-12-27 22:58:34 +0000 | <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 22:58:51 +0000 | <hpc> | even TH has limitations |
| 2022-12-27 22:58:59 +0000 | <geekosaur> | also there is a full program preprocessor mode, see the -F option |
| 2022-12-27 22:59:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79de:2e5a:63dd:b89) |
| 2022-12-27 22:59:17 +0000 | <ggVGc> | wait... no? you can't use anything as operators :/ Can you? |
| 2022-12-27 22:59:22 +0000 | <hpc> | oh, yay |
| 2022-12-27 22:59:22 +0000 | <ggVGc> | am I having a stroke |
| 2022-12-27 22:59:35 +0000 | <geekosaur> | monochrom demonstrated earlier |
| 2022-12-27 23:00:28 +0000 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 23:00:41 +0000 | <DigitalKiwi> | also you can use ligatures too if you like |
| 2022-12-27 23:00:46 +0000 | <ggVGc> | ah, wait, maybe what I am thinking about is some characters not being available as operators because of the core language |
| 2022-12-27 23:00:49 +0000 | <ggVGc> | like @ |
| 2022-12-27 23:00:53 +0000 | <monochrom> | Err I think DigitalKiwi demonstrated it. :) |
| 2022-12-27 23:01:03 +0000 | <geekosaur> | the only restriction is it must have a generalCategory of Symbol and not be something like parens |
| 2022-12-27 23:01:04 +0000 | <monochrom> | But I can too! |
| 2022-12-27 23:01:08 +0000 | <geekosaur> | oh yes, misread, sorry |
| 2022-12-27 23:01:12 +0000 | <ggVGc> | well then, I guess the cat is already fully out of the bag then |
| 2022-12-27 23:01:41 +0000 | <geekosaur> | you can't replace core syntax like @ | : though |
| 2022-12-27 23:02:03 +0000 | <monochrom> | > let λ × µ = λ * µ in 4 × 5 |
| 2022-12-27 23:02:04 +0000 | <lambdabot> | 20 |
| 2022-12-27 23:02:46 +0000 | <ggVGc> | tried using unicode syntax in my Elixir work a few years ago. Didn't stick with it for long |
| 2022-12-27 23:02:48 +0000 | <DigitalKiwi> | i think emacs will show -> as the unicode symbol → and => as ⇒ etc. pretty easily |
| 2022-12-27 23:03:00 +0000 | <monochrom> | It has been allowed for like 20 years and the community has not abused it. This is how you know it's OK. |
| 2022-12-27 23:03:05 +0000 | <ggVGc> | still waiting to be compelled by some example of unicode adding enough for it to be worth the hassle |
| 2022-12-27 23:03:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79de:2e5a:63dd:b89) (Ping timeout: 246 seconds) |
| 2022-12-27 23:03:26 +0000 | <DigitalKiwi> | i like that better than actually using the unicode because i can type -> but have to copy paste the unicode...but like looking at the unicode |
| 2022-12-27 23:03:32 +0000 | <ggVGc> | DigitalKiwi: yeah, but that sucks a lot, since now you have one glyph that is actually 2 glyphs when editing |
| 2022-12-27 23:03:37 +0000 | <ggVGc> | it's very confusing. I tried it... |
| 2022-12-27 23:03:58 +0000 | <ggVGc> | I could never get used to it |
| 2022-12-27 23:04:57 +0000 | <ggVGc> | monochrom: it might be time to implement a port of all of Prelude, in only unicode punctuation glyphs |
| 2022-12-27 23:06:24 +0000 | <monochrom> | You know, as far as pointless discussions go, let's have the following instead. |
| 2022-12-27 23:06:31 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-12-27 23:06:42 +0000 | <monochrom> | Should "unicode" mean unicode, or should it mean "unicode minus ascii"? |
| 2022-12-27 23:07:06 +0000 | <monochrom> | Because using the former, Prelude is already using unicode punctuations. |
| 2022-12-27 23:07:33 +0000 | <monochrom> | Oh BTW you absolutely need to s/glyphs// , that's out of the question. |
| 2022-12-27 23:08:19 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-12-27 23:08:20 +0000 | <monochrom> | But usually for convenience people also say "rectangle" when they mean "excluding square", so maybe people say "unicode" when they mean "except ascii". |
| 2022-12-27 23:08:51 +0000 | <ggVGc> | definitely "unicode" means "not ascii" for the most part for me |
| 2022-12-27 23:09:08 +0000 | <ggVGc> | unless I'm having a technical spec discussion |
| 2022-12-27 23:09:33 +0000 | <ggVGc> | anyway, sorry, I just started ranting to escape my physics studies I think |
| 2022-12-27 23:10:04 +0000 | <DigitalKiwi> | * is just the unicode version of what * looks like isn't it |
| 2022-12-27 23:10:09 +0000 | <ggVGc> | doing the last handins made me violently think about making a DSL in haskell for generating latex quicker... |
| 2022-12-27 23:11:06 +0000 | <monochrom> | I did write code to convert haskell-land binary trees to tikz commands... |
| 2022-12-27 23:11:19 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 23:11:34 +0000 | <monochrom> | also to java-land binary trees haha |
| 2022-12-27 23:11:53 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2022-12-27 23:12:09 +0000 | <monochrom> | because I needed to hardcode some java-land binary trees for test cases. |
| 2022-12-27 23:12:15 +0000 | <ggVGc> | possibly this was for a CS degree? Which makes it slightly more acceptable to write software for your homework |
| 2022-12-27 23:12:58 +0000 | <monochrom> | I would rather think that CS homeworks are more amenable to automation. |
| 2022-12-27 23:13:44 +0000 | <monochrom> | I wouldn't have a problem with automating philosophy homework, if there were something to automate. |
| 2022-12-27 23:14:12 +0000 | <monochrom> | or rather, I'm a pragmatist utilitarian, so s/something to/something worthwhile to/ |
| 2022-12-27 23:14:30 +0000 | <ggVGc> | it's not about it being okay or not. It's about if you spend time writing software to support your physics handins, it's very likely that the handing will not be handed in on time :) At leats in my case |
| 2022-12-27 23:14:31 +0000 | <monochrom> | I guess by now GPT helps. |
| 2022-12-27 23:14:47 +0000 | <monochrom> | Right, there you go. |
| 2022-12-27 23:15:23 +0000 | <monochrom> | It has always been about path of least action. Pun intended. |
| 2022-12-27 23:18:19 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-12-27 23:18:23 +0000 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2022-12-27 23:26:10 +0000 | <mauke[m]> | speaking of -> and →, the default font used in Element has a special ligature that displays "->" as a rightward arrow :-( |
| 2022-12-27 23:27:34 +0000 | <geekosaur> | yeh |
| 2022-12-27 23:28:01 +0000 | <monochrom> | Does it also have a ligature for <- ? :) |
| 2022-12-27 23:28:23 +0000 | <DigitalKiwi> | i'd say the bigger problem is that you're using element lol ;( |
| 2022-12-27 23:29:02 +0000 | <mauke[m]> | what's a good alternative? |
| 2022-12-27 23:29:05 +0000 | <DigitalKiwi> | monochrom: if not element is fascist amirite |
| 2022-12-27 23:29:14 +0000 | <DigitalKiwi> | glirc |
| 2022-12-27 23:29:37 +0000 | <geekosaur[m]> | `<-` |
| 2022-12-27 23:29:53 +0000 | <geekosaur[m]> | I see no ligature |
| 2022-12-27 23:30:04 +0000 | <geekosaur> | there are other clients for matrix |
| 2022-12-27 23:30:36 +0000 | <mauke[m]> | DigitalKiwi: that's IRC, not Matrix |
| 2022-12-27 23:30:50 +0000 | <DigitalKiwi> | element is just the most insecure flagship client lol |
| 2022-12-27 23:31:09 +0000 | <geekosaur> | at some point I want to test nheko |
| 2022-12-27 23:31:50 +0000 | <DigitalKiwi> | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell "irc" |
| 2022-12-27 23:31:53 +0000 | <DigitalKiwi> | seems we're on irc |
| 2022-12-27 23:32:25 +0000 | <mauke[m]> | so far the most amazing part about Element is that Preferences > Settings > Keyboard does not let you set your keyboard preferences |
| 2022-12-27 23:32:39 +0000 | <DigitalKiwi> | lmao |
| 2022-12-27 23:33:29 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds) |
| 2022-12-27 23:36:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-12-27 23:41:17 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2022-12-27 23:46:40 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-12-27 23:49:18 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-12-27 23:50:54 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-12-27 23:53:20 +0000 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-27 23:56:31 +0000 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 23:57:43 +0000 | money_ | (~money@2601:40:c580:8530:b457:2fe4:d16f:fb83) |
| 2022-12-27 23:59:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3964:1012:a01c:6912) |
