| 2022-12-27 00:06:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-12-27 00:08:24 +0100 | ubert | (~Thunderbi@p200300ecdf264e0fa72579722f7ae10a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-12-27 00:08:50 +0100 | ubert | (~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 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 00:33:46 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 00:34:52 +0100 | finsternis | (~X@23.226.237.192) |
| 2022-12-27 00:36:16 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-12-27 00:36:52 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 00:37:03 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 00:45:10 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-12-27 00:45:34 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-27 00:46:39 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 00:51:32 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2022-12-27 00:51:51 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 00:56:35 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 264 seconds) |
| 2022-12-27 00:58:13 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-12-27 01:02:49 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 01:06:48 +0100 | HotFlame[m] | (~aerphanas@2001:470:69fc:105::2:e67c) |
| 2022-12-27 01:08:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 01:08:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-27 01:10:12 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 01:29:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) |
| 2022-12-27 01:32:58 +0100 | poscat | (~poscat@114.245.110.107) (Quit: Bye) |
| 2022-12-27 01:33:12 +0100 | poscat | (~poscat@2408:8206:4821:ee52:4e86:c219:434:d411) |
| 2022-12-27 01:43:14 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a50f9d3f0b86663ccbe.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-12-27 01:45:47 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 264 seconds) |
| 2022-12-27 01:50:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-12-27 01:54:56 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-27 01:54:56 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-27 01:54:56 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-27 01:55:00 +0100 | mei_ | (~mei@user/mei) |
| 2022-12-27 01:57:35 +0100 | mei | (~mei@user/mei) (Ping timeout: 246 seconds) |
| 2022-12-27 01:57:52 +0100 | thongpv87 | (~thongpv87@123.31.184.254) |
| 2022-12-27 01:59:14 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-12-27 02:03:09 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 02:05:17 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 02:07:23 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-12-27 02:08:31 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
| 2022-12-27 02:10:57 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-12-27 02:17:04 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-12-27 02:20:35 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
| 2022-12-27 02:22:47 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 02:27:19 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-12-27 02:29:50 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 02:33:35 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 02:35:20 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2022-12-27 02:36:11 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 02:36:26 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 246 seconds) |
| 2022-12-27 02:36:29 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-12-27 02:36:29 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2022-12-27 02:36:29 +0100 | jinsun__ | jinsun |
| 2022-12-27 02:37:30 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-12-27 02:37:41 +0100 | cheater__ | (~Username@user/cheater) |
| 2022-12-27 02:37:42 +0100 | cheater__ | cheater |
| 2022-12-27 02:40:52 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2022-12-27 02:41:03 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 02:44:53 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-12-27 02:45:35 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 02:47:55 +0100 | tvandinther | (~tvandinth@101.98.118.246) |
| 2022-12-27 02:47:58 +0100 | thongpv87 | (~thongpv87@123.31.184.254) (Remote host closed the connection) |
| 2022-12-27 02:48:22 +0100 | thongpv87 | (~thongpv87@123.31.184.254) |
| 2022-12-27 02:53:36 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 03:01:46 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-12-27 03:04:41 +0100 | phma | (phma@2001:5b0:212a:b4c8:981b:d6a4:8e9c:df66) (Read error: Connection reset by peer) |
| 2022-12-27 03:05:06 +0100 | phma | (~phma@host-67-44-208-223.hnremote.net) |
| 2022-12-27 03:06:58 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 03:08:05 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 03:09:23 +0100 | Gambino | money |
| 2022-12-27 03:12:00 +0100 | tvandinther | (~tvandinth@101.98.118.246) (Quit: Client closed) |
| 2022-12-27 03:16:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9875:ba39:3caf:182f) (Remote host closed the connection) |
| 2022-12-27 03:17:24 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-12-27 03:21:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 03:22:44 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 03:24:23 +0100 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) |
| 2022-12-27 03:27:54 +0100 | ddellacosta | (~ddellacos@143.244.47.75) (Ping timeout: 272 seconds) |
| 2022-12-27 03:33:34 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2022-12-27 03:41:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-27 03:43:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 03:51:07 +0100 | ddellacosta | (~ddellacos@143.244.47.68) |
| 2022-12-27 03:53:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-12-27 03:55:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 03:56:43 +0100 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) () |
| 2022-12-27 03:57:03 +0100 | rustisafungus | (~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 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 04:05:18 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 04:05:26 +0100 | cheater_ | cheater |
| 2022-12-27 04:11:16 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 04:11:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-12-27 04:11:16 +0100 | finn_elija | FinnElija |
| 2022-12-27 04:11:55 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-12-27 04:12:08 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 04:12:23 +0100 | thongpv | (~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 +0100 | thongpv87 | (~thongpv87@123.31.184.254) (Ping timeout: 268 seconds) |
| 2022-12-27 04:18:34 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2022-12-27 04:21:59 +0100 | td_ | (~td@83.135.9.49) (Ping timeout: 260 seconds) |
| 2022-12-27 04:22:22 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-27 04:22:38 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 04:23:48 +0100 | td_ | (~td@83.135.9.15) |
| 2022-12-27 04:26:47 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-27 04:33:36 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-12-27 04:34:09 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 04:36:02 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 04:38:18 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 2022-12-27 04:38:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-12-27 04:40:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 04:43:05 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-27 04:44:26 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-27 04:45:26 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 04:45:58 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 04:50:58 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-12-27 04:52:55 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-12-27 04:53:49 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2022-12-27 05:05:19 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 05:09:09 +0100 | morb | (~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 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-27 05:13:03 +0100 | beefbambi | (~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 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Read error: Connection reset by peer) |
| 2022-12-27 05:15:55 +0100 | beefbambi | (~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 +0100 | rustisafungus | (~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 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-12-27 05:26:05 +0100 | Sciencentistguy0 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 05:26:25 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 05:27:53 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds) |
| 2022-12-27 05:27:53 +0100 | Sciencentistguy0 | Sciencentistguy |
| 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 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2022-12-27 05:44:58 +0100 | ddellacosta | (~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 +0100 | beefbambi | (~beefbambi@183.82.205.14) (Ping timeout: 272 seconds) |
| 2022-12-27 05:59:38 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-27 06:06:03 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-12-27 06:08:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-12-27 06:10:49 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 06:11:31 +0100 | bitdex | (~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 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-12-27 06:15:09 +0100 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-12-27 06:15:21 +0100 | FinnElija | (~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 +0100 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
| 2022-12-27 06:20:47 +0100 | fizbin | (~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 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-27 06:33:24 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 06:38:27 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 06:42:53 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-12-27 06:43:36 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 06:48:40 +0100 | segfaultfizzbuzz | (~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 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 06:58:21 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
| 2022-12-27 07:14:44 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds) |
| 2022-12-27 07:16:01 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-27 07:22:23 +0100 | thongpv | (~thongpv87@2001:ee0:54a8:aee0:c713:643a:9b55:ce23) (Ping timeout: 246 seconds) |
| 2022-12-27 07:25:08 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-27 07:43:45 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-12-27 07:47:39 +0100 | SrPx | (sid108780@uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-12-27 07:48:04 +0100 | bbhoss | (sid18216@5.254.36.57) (Ping timeout: 252 seconds) |
| 2022-12-27 07:48:21 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 07:51:15 +0100 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
| 2022-12-27 07:52:32 +0100 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2022-12-27 07:55:10 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds) |
| 2022-12-27 07:55:46 +0100 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-12-27 07:57:17 +0100 | thongpv | (~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 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 268 seconds) |
| 2022-12-27 08:21:16 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 08:25:43 +0100 | jakalx | (~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 +0100 | jakalx | (~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 +0100 | rnat | (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 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 08:44:44 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-12-27 08:48:56 +0100 | lortabac | (~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 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 260 seconds) |
| 2022-12-27 09:12:21 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-12-27 09:15:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-12-27 09:16:03 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 09:17:24 +0100 | poscat | (~poscat@2408:8206:4821:ee52:4e86:c219:434:d411) (Quit: Bye) |
| 2022-12-27 09:25:10 +0100 | nilradical | (~nilradica@user/naso) |
| 2022-12-27 09:25:19 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 09:26:29 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de) |
| 2022-12-27 09:27:36 +0100 | nilradical | (~nilradica@user/naso) (Client Quit) |
| 2022-12-27 09:29:37 +0100 | akegalj | (~akegalj@93-136-83-92.adsl.net.t-com.hr) |
| 2022-12-27 09:33:18 +0100 | acidjnk | (~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de) |
| 2022-12-27 09:34:35 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a57a97ad73afbf20f08.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-12-27 09:39:18 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 252 seconds) |
| 2022-12-27 09:41:37 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-27 09:50:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2022-12-27 09:54:45 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 10:00:04 +0100 | TomWesterhout[m] | (~twesterho@2001:470:69fc:105::1:2918) (Quit: You have been kicked for being idle) |
| 2022-12-27 10:09:03 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-12-27 10:13:54 +0100 | kenran | (~user@user/kenran) |
| 2022-12-27 10:15:11 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-27 10:15:29 +0100 | kenran | (~user@user/kenran) |
| 2022-12-27 10:16:01 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-12-27 10:20:24 +0100 | money | (sid532813@user/polo) () |
| 2022-12-27 10:23:45 +0100 | thongpv | (~thongpv87@123.31.184.254) (Ping timeout: 252 seconds) |
| 2022-12-27 10:24:03 +0100 | thongpv | (~thongpv87@113.187.220.176) |
| 2022-12-27 10:27:38 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 10:30:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 10:30:23 +0100 | cheater_ | cheater |
| 2022-12-27 10:32:49 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-12-27 10:33:29 +0100 | money | (sid532813@id-532813.tinside.irccloud.com) |
| 2022-12-27 10:36:03 +0100 | irrgit__ | (~irrgit@146.70.27.250) |
| 2022-12-27 10:36:10 +0100 | money | (sid532813@id-532813.tinside.irccloud.com) (Changing host) |
| 2022-12-27 10:36:10 +0100 | money | (sid532813@user/polo) |
| 2022-12-27 10:37:18 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2022-12-27 10:38:34 +0100 | irrgit_ | (~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 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-27 10:51:17 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 10:52:14 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 10:53:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:01:04 +0100 | Guest41 | (~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c) |
| 2022-12-27 11:01:29 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 11:01:48 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 11:03:16 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 272 seconds) |
| 2022-12-27 11:07:23 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 11:07:59 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-12-27 11:09:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:09:25 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
| 2022-12-27 11:10:51 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 248 seconds) |
| 2022-12-27 11:12:06 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-12-27 11:15:26 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-27 11:17:02 +0100 | thongpv87 | (~thongpv87@113.187.220.176) |
| 2022-12-27 11:17:30 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:22:30 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-12-27 11:24:16 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 11:25:25 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-27 11:26:42 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 11:27:51 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:28:23 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 11:30:12 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-12-27 11:30:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2022-12-27 11:30:46 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 11:31:15 +0100 | Guest65 | (~Guest65@206.119.125.90) |
| 2022-12-27 11:31:30 +0100 | Guest65 | (~Guest65@206.119.125.90) (Client Quit) |
| 2022-12-27 11:32:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-12-27 11:33:02 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 11:34:19 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 11:34:51 +0100 | Guest41 | (~Guest41@2a02:8109:1a3f:a508:290d:e018:51dc:e3c) (Quit: Client closed) |
| 2022-12-27 11:36:21 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 11:38:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 11:39:08 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-27 11:40:18 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 11:43:41 +0100 | thongpv | (~thongpv87@113.187.220.176) (Ping timeout: 252 seconds) |
| 2022-12-27 11:43:47 +0100 | thongpv87 | (~thongpv87@113.187.220.176) (Ping timeout: 260 seconds) |
| 2022-12-27 11:44:18 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-12-27 11:44:21 +0100 | razetime | (~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-12-27 11:50:51 +0100 | Sciencentistguy6 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 11:51:58 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 11:52:54 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2022-12-27 11:52:54 +0100 | Sciencentistguy6 | Sciencentistguy |
| 2022-12-27 11:53:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:01:26 +0100 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-12-27 12:05:39 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:7cc8:3a76:dcbe:6e21) |
| 2022-12-27 12:07:35 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 12:08:20 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:650a:508e:a414:6c91) (Ping timeout: 246 seconds) |
| 2022-12-27 12:09:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:10:46 +0100 | natechan | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-12-27 12:11:42 +0100 | natechan | (~nate@98.45.169.16) |
| 2022-12-27 12:15:19 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-12-27 12:16:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 12:17:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:21:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 12:22:54 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:22:57 +0100 | money | Gambino |
| 2022-12-27 12:28:21 +0100 | akegalj | (~akegalj@93-136-83-92.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-12-27 12:30:33 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-12-27 12:35:44 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 272 seconds) |
| 2022-12-27 12:38:08 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-12-27 12:43:53 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 12:44:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 12:45:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 12:49:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds) |
| 2022-12-27 12:54:23 +0100 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2022-12-27 12:54:36 +0100 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-12-27 12:59:38 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 13:00:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-27 13:00:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 13:00:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 13:02:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 13:07:06 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
| 2022-12-27 13:07:37 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 13:07:48 +0100 | acidjnk | (~acidjnk@p200300d6e7137a57bcc02f42f6578cb6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-12-27 13:08:25 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 13:08:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 13:09:36 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-12-27 13:11:25 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 13:14:17 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 13:22:07 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 13:22:36 +0100 | trev | (~trev@user/trev) |
| 2022-12-27 13:24:26 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-12-27 13:29:58 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 13:32:16 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 13:34:46 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-12-27 13:36:15 +0100 | MysteryLiezer | (~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 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 13:41:11 +0100 | ubert | (~Thunderbi@p200300ecdf264e48f1e1a643b8c2e2bd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-12-27 13:41:43 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-12-27 13:42:28 +0100 | werneta | (~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 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 13:44:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-12-27 13:45:12 +0100 | <chreekat> | MysteryLiezer: 👋 |
| 2022-12-27 13:45:28 +0100 | dextaa4 | (~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 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 268 seconds) |
| 2022-12-27 13:47:49 +0100 | dextaa4 | dextaa |
| 2022-12-27 13:48:01 +0100 | machinedgod | (~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 +0100 | MysteryLiezer | (~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 +0100 | ulvarrefr | (~user@188.124.56.153) (Remote host closed the connection) |
| 2022-12-27 14:00:37 +0100 | bontaq | (~user@71.27.75.65) |
| 2022-12-27 14:01:06 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 14:01:06 +0100 | cheater_ | 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 +0100 | cheater | (~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 +0100 | cheater | (~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 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 14:27:12 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 14:27:14 +0100 | cheater_ | cheater |
| 2022-12-27 14:28:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 14:28:28 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-27 14:28:46 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2022-12-27 14:29:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:31:54 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 14:32:28 +0100 | thongpv87 | (~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca) |
| 2022-12-27 14:32:31 +0100 | thongpv | (~thongpv87@2001:ee0:54ab:430:ca58:16f9:bb47:d3ca) |
| 2022-12-27 14:33:15 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 14:35:05 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 14:46:37 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-12-27 14:46:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 14:47:21 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 14:47:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 14:48:46 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 14:51:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 260 seconds) |
| 2022-12-27 14:55:01 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 14:57:26 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2022-12-27 14:57:45 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 14:59:20 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 15:01:09 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 15:03:03 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) |
| 2022-12-27 15:03:31 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-12-27 15:12:03 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
| 2022-12-27 15:12:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 15:12:47 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 264 seconds) |
| 2022-12-27 15:14:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 15:17:25 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 15:17:44 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
| 2022-12-27 15:17:59 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
| 2022-12-27 15:20:05 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 15:20:10 +0100 | cheater_ | cheater |
| 2022-12-27 15:22:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2022-12-27 15:27:21 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 15:27:38 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 15:35:31 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-12-27 15:35:34 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 15:35:45 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2022-12-27 15:36:33 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 15:37:55 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 15:38:18 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 15:38:34 +0100 | cheater | (~Username@user/cheater) |
| 2022-12-27 15:39:00 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 15:40:27 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-27 15:41:54 +0100 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 15:41:56 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 15:42:46 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-12-27 15:43:39 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-12-27 15:44:31 +0100 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-12-27 15:48:16 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 15:48:29 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2022-12-27 15:49:39 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 15:51:12 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
| 2022-12-27 15:54:12 +0100 | ozkutuk53 | (~ozkutuk@176.240.173.153) |
| 2022-12-27 15:55:53 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 15:56:33 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2022-12-27 15:57:23 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 15:57:42 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-12-27 15:59:19 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 15:59:55 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
| 2022-12-27 16:02:44 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-12-27 16:04:05 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-12-27 16:05:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 16:07:08 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 16:09:08 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-12-27 16:09:12 +0100 | cheater__ | (~Username@user/cheater) |
| 2022-12-27 16:09:12 +0100 | cheater__ | cheater |
| 2022-12-27 16:12:15 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 16:14:30 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-12-27 16:14:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-12-27 16:14:37 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 16:14:37 +0100 | cheater_ | cheater |
| 2022-12-27 16:16:37 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 16:18:52 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 2022-12-27 16:21:06 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 255 seconds) |
| 2022-12-27 16:24:45 +0100 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) |
| 2022-12-27 16:26:27 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2022-12-27 16:26:45 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 16:27:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 16:28:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-12-27 16:29:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 16:34:28 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-12-27 16:34:58 +0100 | phma | (~phma@host-67-44-208-223.hnremote.net) (Read error: Connection reset by peer) |
| 2022-12-27 16:35:46 +0100 | phma | (phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609) |
| 2022-12-27 16:36:49 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-27 16:43:24 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2022-12-27 16:46:07 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 16:49:49 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 16:50:38 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 16:51:42 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-12-27 16:51:45 +0100 | cheater_ | cheater |
| 2022-12-27 16:52:19 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 16:53:08 +0100 | razetime | (~quassel@49.207.230.181) |
| 2022-12-27 16:56:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 16:57:29 +0100 | n0den1te | (~~.~@2401:4900:1cc9:d346:7715:16d9:1834:10b) () |
| 2022-12-27 16:57:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-12-27 16:58:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:00:54 +0100 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 17:01:17 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 2022-12-27 17:01:42 +0100 | beefbambi | (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 2022-12-27 17:02:01 +0100 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 17:02:20 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 17:03:29 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-12-27 17:03:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-12-27 17:05:56 +0100 | fizbin_ | (~fizbin@user/fizbin) |
| 2022-12-27 17:06:45 +0100 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 17:07:05 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-12-27 17:07:18 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 17:09:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:09:47 +0100 | ec_ | (~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 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 17:15:41 +0100 | fizbin_ | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 17:15:53 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds) |
| 2022-12-27 17:20:49 +0100 | fizbin | (~fizbin@user/fizbin) (Read error: Connection reset by peer) |
| 2022-12-27 17:23:54 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 17:25:11 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-12-27 17:25:29 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:29:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-12-27 17:29:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-12-27 17:29:43 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-12-27 17:31:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:979c:d191:98d7:72b3) (Quit: WeeChat 2.8) |
| 2022-12-27 17:33:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-12-27 17:35:51 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:45:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 17:47:25 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 17:47:42 +0100 | bontaq | (~user@71.27.75.65) (Ping timeout: 268 seconds) |
| 2022-12-27 17:47:47 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 2022-12-27 17:49:25 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 17:59:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-12-27 17:59:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-12-27 18:00:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 18:02:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:08:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 18:08:18 +0100 | ChanServ | +o monochrom |
| 2022-12-27 18:08:30 +0100 | monochrom | +b $a:money |
| 2022-12-27 18:09:53 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-12-27 18:12:46 +0100 | Gambino | monochrom (Gambino) |
| 2022-12-27 18:12:53 +0100 | monochrom | -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 +0100 | werneta | (~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 +0100 | werneta | (~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 +0100 | freeside | (~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 +0100 | eggplantade | (~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 +0100 | razetime | (~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 +0100 | acidjnk | (~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 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 18:29:42 +0100 | werneta | (~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 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 18:31:29 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-12-27 18:35:38 +0100 | jargon | (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 260 seconds) |
| 2022-12-27 18:38:11 +0100 | L29Ah | (~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 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-12-27 18:42:20 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 18:44:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:44:44 +0100 | econo | (uid147250@user/econo) |
| 2022-12-27 18:45:24 +0100 | Guest323 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-12-27 18:50:15 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 18:52:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 18:55:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-12-27 18:56:11 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-12-27 18:56:26 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2022-12-27 18:57:41 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 18:58:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-12-27 18:58:50 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
| 2022-12-27 19:02:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 19:02:55 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 252 seconds) |
| 2022-12-27 19:03:29 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 19:03:48 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:04:03 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-12-27 19:08:53 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-12-27 19:11:24 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2022-12-27 19:13:02 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-12-27 19:16:19 +0100 | trev | (~trev@user/trev) |
| 2022-12-27 19:17:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 19:18:44 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-12-27 19:18:52 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:25:17 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2022-12-27 19:35:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 19:35:41 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2022-12-27 19:36:14 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-12-27 19:36:34 +0100 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 19:36:34 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 19:36:47 +0100 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 19:36:58 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-12-27 19:36:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:52:35 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-12-27 19:52:53 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 19:54:29 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 19:54:44 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 19:56:51 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 252 seconds) |
| 2022-12-27 19:59:00 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2022-12-27 20:00:20 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 20:00:44 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:03:17 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 20:07:48 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 2022-12-27 20:10:14 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-12-27 20:10:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 20:13:13 +0100 | cheater_ | (~Username@user/cheater) |
| 2022-12-27 20:14:12 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2022-12-27 20:16:10 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-12-27 20:16:11 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:16:17 +0100 | cheater_ | cheater |
| 2022-12-27 20:17:59 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) |
| 2022-12-27 20:18:47 +0100 | califax | (~califax@user/califx) |
| 2022-12-27 20:18:51 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 20:19:00 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-12-27 20:22:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-12-27 20:23:46 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 2022-12-27 20:24:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:26:28 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2022-12-27 20:27:10 +0100 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Quit: nyaa~) |
| 2022-12-27 20:27:40 +0100 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2022-12-27 20:31:44 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 20:33:02 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:33:29 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-12-27 20:35:19 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2022-12-27 20:37:05 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 20:39:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 20:40:21 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:40:21 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2022-12-27 20:45:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 20:46:06 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:49:42 +0100 | CiaoSen | (~Jura@p200300c95719fa002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-12-27 20:53:28 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 20:55:27 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 20:59:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 21:02:28 +0100 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 21:04:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-12-27 21:05:50 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:14:54 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-12-27 21:16:13 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:16:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-12-27 21:17:07 +0100 | pavonia | (~user@user/siracusa) |
| 2022-12-27 21:18:55 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-12-27 21:20:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 21:23:56 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-12-27 21:25:34 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:25:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 21:33:08 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-12-27 21:33:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 21:34:57 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:38:18 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 21:38:39 +0100 | trev | (~trev@user/trev) |
| 2022-12-27 21:40:10 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-12-27 21:40:46 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 2022-12-27 21:41:15 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:41:56 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 21:42:11 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
| 2022-12-27 21:42:14 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection) |
| 2022-12-27 21:44:54 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2022-12-27 21:45:16 +0100 | johnw | (~johnw@2600:1700:cf00:db0:e472:cc9e:6753:9e3c) (Quit: ZNC - http://znc.in) |
| 2022-12-27 21:46:58 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-12-27 21:47:14 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
| 2022-12-27 21:48:38 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-12-27 21:49:43 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-12-27 21:55:58 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-12-27 21:57:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Remote host closed the connection) |
| 2022-12-27 21:59:33 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2022-12-27 21:59:35 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2022-12-27 21:59:59 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-12-27 22:02:23 +0100 | freeside | (~mengwong@103.252.202.159) |
| 2022-12-27 22:02:30 +0100 | Kaipei | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2022-12-27 22:03:04 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2022-12-27 22:04:59 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 264 seconds) |
| 2022-12-27 22:10:19 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 22:16:01 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-12-27 22:19:39 +0100 | fserucas | (~fserucas@a85-138-107-42.cpe.netcabo.pt) (Ping timeout: 248 seconds) |
| 2022-12-27 22:24:32 +0100 | beefbambi | (~beefbambi@183.82.25.109) (Read error: Connection reset by peer) |
| 2022-12-27 22:25:16 +0100 | beefbambi | (~beefbambi@183.82.25.109) |
| 2022-12-27 22:28:25 +0100 | Sciencentistguy1 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 22:31:04 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds) |
| 2022-12-27 22:31:04 +0100 | Sciencentistguy1 | Sciencentistguy |
| 2022-12-27 22:35:42 +0100 | bjourne | (~bjorn@94.191.136.87.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-12-27 22:37:15 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds) |
| 2022-12-27 22:38:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-12-27 22:45:02 +0100 | mei_ | (~mei@user/mei) (Quit: mei_) |
| 2022-12-27 22:56:28 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-12-27 22:57:35 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-12-27 22:57:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) |
| 2022-12-27 23:01:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f083:6e41:904:2129) (Ping timeout: 252 seconds) |
| 2022-12-27 23:02:19 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 248 seconds) |
| 2022-12-27 23:04:32 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2022-12-27 23:04:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-12-27 23:06:27 +0100 | phma | (phma@2001:5b0:211f:3908:63a4:5ccd:a26b:2609) (Read error: Connection reset by peer) |
| 2022-12-27 23:07:21 +0100 | phma | (phma@2001:5b0:211f:fc48:f1c3:2878:2421:3588) |
| 2022-12-27 23:10:17 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2022-12-27 23:13:12 +0100 | Sciencentistguy5 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 23:15:05 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2022-12-27 23:15:06 +0100 | Sciencentistguy5 | Sciencentistguy |
| 2022-12-27 23:20:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-12-27 23:21:19 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 2022-12-27 23:28:00 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-12-27 23:31:48 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2022-12-27 23:37:35 +0100 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) |
| 2022-12-27 23:39:01 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 2022-12-27 23:39:01 +0100 | Sciencentistguy3 | Sciencentistguy |
| 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 +0100 | takuan | (~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 +0100 | waleee | (~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 +0100 | freeside | (~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 +0100 | bgs | (~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 +0100 | freeside | (~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 +0100 | mikoto-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 +0100 | eggplantade | (~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 |
