| 2024-01-08 00:07:47 +0100 | phma_ | phma |
| 2024-01-08 00:11:09 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-08 00:15:50 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-08 00:15:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 00:19:37 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3e4c:47b:bc78:21ad) (Ping timeout: 246 seconds) |
| 2024-01-08 00:26:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-08 00:38:05 +0100 | bilegeek | (~bilegeek@2600:1008:b001:b738:dc2b:35f9:5122:1bca) |
| 2024-01-08 00:58:44 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-08 00:58:53 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-01-08 01:00:18 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-01-08 01:08:27 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-01-08 01:08:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2024-01-08 01:16:40 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-01-08 01:22:32 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) () |
| 2024-01-08 01:34:30 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-01-08 01:34:32 +0100 | Axman6 | never managed to make anything useful at all with pipes |
| 2024-01-08 01:56:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-01-08 01:59:15 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-08 02:05:43 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-08 02:14:08 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-08 02:18:05 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:c2e:c245:3c13:781e) |
| 2024-01-08 02:18:52 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-08 02:21:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-08 02:23:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-01-08 02:24:19 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-08 02:31:08 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-08 02:34:19 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-08 02:34:42 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:c2e:c245:3c13:781e) (Ping timeout: 268 seconds) |
| 2024-01-08 02:43:58 +0100 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-08 02:44:05 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 240 seconds) |
| 2024-01-08 02:47:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-08 02:48:22 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-08 02:49:19 +0100 | shachaf | (~shachaf@user/shachaf) (Quit: leaving) |
| 2024-01-08 02:52:15 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 02:55:39 +0100 | shachaf | (~shachaf@user/shachaf) |
| 2024-01-08 03:00:46 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-01-08 03:05:44 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-08 03:09:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-08 03:09:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2024-01-08 03:09:40 +0100 | benwr | (~benwr@135-180-122-240.fiber.dynamic.sonic.net) |
| 2024-01-08 03:09:41 +0100 | benwr | (~benwr@135-180-122-240.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-01-08 03:10:00 +0100 | ricardo2 | (~ricardo@84.16.179.218) |
| 2024-01-08 03:11:23 +0100 | ricardo1 | (~ricardo@84.16.179.218) (Ping timeout: 264 seconds) |
| 2024-01-08 03:15:01 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-01-08 03:15:40 +0100 | acidjnk | (~acidjnk@p200300d6e72b9344b1e498179ac2411a.dip0.t-ipconnect.de) |
| 2024-01-08 03:26:19 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-08 03:33:47 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-08 03:36:05 +0100 | acidjnk | (~acidjnk@p200300d6e72b9344b1e498179ac2411a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-08 03:36:05 +0100 | meritamen | (~meritamen@user/meritamen) (Read error: Connection reset by peer) |
| 2024-01-08 03:36:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-08 03:36:56 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-08 03:37:01 +0100 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
| 2024-01-08 03:37:32 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-08 03:38:50 +0100 | benwr | (~benwr@135-180-122-240.fiber.dynamic.sonic.net) |
| 2024-01-08 03:39:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-08 03:39:59 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-08 03:41:54 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2024-01-08 03:44:02 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-08 03:57:07 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 04:12:11 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-08 04:14:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 04:15:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-01-08 04:16:49 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-08 04:19:58 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 04:35:23 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-08 04:36:18 +0100 | nilradical | (nilradical@user/naso) |
| 2024-01-08 04:37:08 +0100 | nilradical | (nilradical@user/naso) (Client Quit) |
| 2024-01-08 04:38:55 +0100 | benwr | (~benwr@135-180-122-240.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-01-08 04:41:08 +0100 | benwr | (~benwr@135-180-122-240.fiber.dynamic.sonic.net) |
| 2024-01-08 04:42:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-08 04:49:00 +0100 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-08 04:50:38 +0100 | td_ | (~td@i53870925.versanet.de) |
| 2024-01-08 04:53:02 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-08 04:53:18 +0100 | trev | (~trev@user/trev) |
| 2024-01-08 04:56:08 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
| 2024-01-08 04:59:00 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-08 04:59:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Remote host closed the connection) |
| 2024-01-08 04:59:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 05:00:00 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2024-01-08 05:01:08 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2024-01-08 05:04:00 +0100 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
| 2024-01-08 05:06:48 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd0:5200:f8c2:2429:19c:5b58) (Ping timeout: 256 seconds) |
| 2024-01-08 05:07:23 +0100 | aforemny | (~aforemny@i59F516EE.versanet.de) |
| 2024-01-08 05:16:51 +0100 | tv | (~tv@user/tv) |
| 2024-01-08 05:28:26 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-01-08 05:29:31 +0100 | zeka__ | (~zeka@2600:1700:2121:180:a844:f195:8819:66c0) (Ping timeout: 268 seconds) |
| 2024-01-08 05:29:53 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) |
| 2024-01-08 05:30:13 +0100 | teeththattwinkle | (~teeththat@142.182.2.72) |
| 2024-01-08 05:32:20 +0100 | teeththattwinkle | (~teeththat@142.182.2.72) (Read error: Connection reset by peer) |
| 2024-01-08 06:04:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-08 06:08:20 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-01-08 06:10:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-08 06:15:18 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) (Read error: Connection reset by peer) |
| 2024-01-08 06:15:43 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) |
| 2024-01-08 06:26:41 +0100 | Guest52 | (~Guest52@d108-172-198-192.bchsia.telus.net) |
| 2024-01-08 06:27:41 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-08 06:29:06 +0100 | <Guest52> | pl \x y -> x y |
| 2024-01-08 06:29:42 +0100 | <jackdk> | @pl \x y -> x y |
| 2024-01-08 06:29:42 +0100 | <lambdabot> | id |
| 2024-01-08 06:30:13 +0100 | <Guest52> | @pl \x y -> x y |
| 2024-01-08 06:30:13 +0100 | <lambdabot> | id |
| 2024-01-08 06:30:31 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-01-08 06:31:18 +0100 | <Guest52> | thanks Jack |
| 2024-01-08 06:32:10 +0100 | <Guest52> | @unpl id |
| 2024-01-08 06:33:32 +0100 | <Guest52> | @unpl (fmap . (+)) |
| 2024-01-08 06:33:32 +0100 | <lambdabot> | (\ x -> fmap ((+) x)) |
| 2024-01-08 06:38:59 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-01-08 06:44:34 +0100 | Guest52 | (~Guest52@d108-172-198-192.bchsia.telus.net) (Quit: Connection closed) |
| 2024-01-08 06:54:41 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-08 06:58:34 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 276 seconds) |
| 2024-01-08 07:06:14 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-08 07:07:04 +0100 | <Axman6> | Anyone know of a package that can take a string (Text) and tell yuou how many characters it should take up on a screen, accounting for things like emoji? |
| 2024-01-08 07:07:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-01-08 07:07:38 +0100 | <Axman6> | This feels like something that should be part of (lib)icu |
| 2024-01-08 07:08:20 +0100 | euleritian | (~euleritia@82.113.106.112) |
| 2024-01-08 07:09:04 +0100 | <jackdk> | Do you mean "count grapheme clusters"? |
| 2024-01-08 07:09:22 +0100 | rosco | (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 2024-01-08 07:09:36 +0100 | <Axman6> | yeah, that sounds roughly right |
| 2024-01-08 07:09:53 +0100 | <Axman6> | though what I'm looking for would need to account for things like the extra widthof emoji |
| 2024-01-08 07:11:28 +0100 | <jackdk> | That then becomes a font-level problem, no? |
| 2024-01-08 07:12:37 +0100 | <Axman6> | not when you're using something like Brick which needs to know how wide things will be displayed in the terminal |
| 2024-01-08 07:14:21 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-01-08 07:15:52 +0100 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-08 07:21:48 +0100 | <jackdk> | `breakCharacter` from `text-icu` will give you a `Breaker ()`, which you can then use with `breaks` to get a `[Break ()]`; will its length be what you want? |
| 2024-01-08 07:22:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-08 07:25:13 +0100 | <Axman6> | Not sure at this point, but I'll have a look |
| 2024-01-08 07:30:59 +0100 | acidjnk | (~acidjnk@p200300d6e72b9344ccdd4a7a8a3bdb04.dip0.t-ipconnect.de) |
| 2024-01-08 07:35:40 +0100 | <Axman6> | That feels close, but I'd also need to know how wide each group should be displayed, it's not a one to one mapping when emoji are involved |
| 2024-01-08 07:37:41 +0100 | <jackdk> | You could filter emoji out or maybe there's some way to ask the terminal how wide it'll want to display a grapheme cluster? |
| 2024-01-08 07:51:34 +0100 | Square2 | (~Square4@user/square) |
| 2024-01-08 07:53:16 +0100 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-01-08 08:05:41 +0100 | not_reserved | (~not_reser@185.153.177.190) |
| 2024-01-08 08:08:40 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:1290:db9c:eb29:232d) |
| 2024-01-08 08:19:03 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-08 08:22:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-08 08:32:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-08 08:32:47 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 08:38:54 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-01-08 08:41:29 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 08:48:50 +0100 | famubu | (~julinuser@user/famubu) |
| 2024-01-08 08:49:34 +0100 | <famubu> | Hi. Does the order in which type classes appear in a typeclass constraint as part of a function's type matter? |
| 2024-01-08 08:49:53 +0100 | <famubu> | As in, are these two effectively same? |
| 2024-01-08 08:50:09 +0100 | <famubu> | foo :: (Eq a, Ord a) => a -> a |
| 2024-01-08 08:50:20 +0100 | <famubu> | foo :: (Ord a, Eq a) => a -> a |
| 2024-01-08 08:50:25 +0100 | <Axman6> | Type class constraints are a set, so the order doesn't matter |
| 2024-01-08 08:50:37 +0100 | <famubu> | Okay. Thanks! |
| 2024-01-08 08:53:56 +0100 | <c_wraith> | Axman6: it doesn't help you that "emoji" isn't a fixed set. There is a sort of grammar of combining elements with ZWJ characters, and leaving it up to the display system to make sense of it or not. There's no way to know how they'll render without actually checking what fonts will be used. |
| 2024-01-08 08:54:51 +0100 | <c_wraith> | Some systems might render something with a single glyph, where another system would render the exact same thing with multiple |
| 2024-01-08 09:00:03 +0100 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-01-08 09:00:39 +0100 | <Axman6> | :') |
| 2024-01-08 09:07:18 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-08 09:08:49 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Client Quit) |
| 2024-01-08 09:09:33 +0100 | <EvanR> | it actually is still a font issue on terminal graphics because sometimes a glyph could reasonably be 1 or 2 columns |
| 2024-01-08 09:09:38 +0100 | <EvanR> | (apparently) |
| 2024-01-08 09:10:37 +0100 | <EvanR> | the C library libgrapheme sometimes gets mentioned for splitting a string into grapheme clusters, but it doesn't help with the displayed size of a glyph |
| 2024-01-08 09:10:58 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-08 09:12:08 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2024-01-08 09:36:35 +0100 | chele | (~chele@user/chele) |
| 2024-01-08 09:40:04 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-08 09:42:24 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-08 09:44:32 +0100 | euleritian | (~euleritia@82.113.106.112) (Read error: Connection reset by peer) |
| 2024-01-08 09:44:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-08 09:53:25 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-08 10:02:57 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-08 10:03:19 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-08 10:03:21 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-08 10:06:09 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-08 10:06:23 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-08 10:17:14 +0100 | <famubu> | How can inter-process communication be done with hasell? |
| 2024-01-08 10:17:20 +0100 | <famubu> | s/hasell/haskell/ |
| 2024-01-08 10:17:43 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-08 10:18:18 +0100 | <famubu> | I got an non-haskell commandline program with which I need my haskell program to interact continuously. ie, send and receive messages. |
| 2024-01-08 10:18:40 +0100 | <famubu> | How can that be done in Haskell? Do we need third-party libraries or would stock haskell be sufficient? |
| 2024-01-08 10:20:42 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-08 10:24:21 +0100 | <Axman6> | the process library can do that, you can do it via stdin/out if you like, or there are literally endless other options depending on how the other program works/what control you have over it |
| 2024-01-08 10:25:37 +0100 | CiaoSen | (~Jura@2a05:5800:298:900:ca4b:d6ff:fec1:99da) |
| 2024-01-08 10:25:50 +0100 | <tomsmeding> | Axman6: wcwidth() is the C library call that _tries_ to do the width thing |
| 2024-01-08 10:26:07 +0100 | <tomsmeding> | at least if you use that you won't be worse than the typical terminal application |
| 2024-01-08 10:26:26 +0100 | <Axman6> | https://hackage.haskell.org/package/process but it also recommends looking at https://hackage.haskell.org/package/typed-process |
| 2024-01-08 10:27:21 +0100 | <Axman6> | yeah I will have a look at seeing how well the wcwidth package works if I decide to tackle fixing the minor issue I'm running into :) |
| 2024-01-08 10:30:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-08 10:38:59 +0100 | bilegeek | (~bilegeek@2600:1008:b001:b738:dc2b:35f9:5122:1bca) (Quit: Leaving) |
| 2024-01-08 10:40:55 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-08 10:46:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-08 10:47:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Remote host closed the connection) |
| 2024-01-08 10:54:21 +0100 | tertek | (~tertek@user/tertek) |
| 2024-01-08 10:57:38 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-08 10:58:21 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-01-08 10:59:05 +0100 | danse-nr3 | (~danse@151.43.198.186) |
| 2024-01-08 10:59:34 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-08 11:03:28 +0100 | <[exa]> | famubu: any specifics about what is the program that you want to communicate with? (that would probably narrow the choices a lot) |
| 2024-01-08 11:10:54 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-08 11:12:39 +0100 | not_reserved98 | (~not_reser@185.153.177.190) |
| 2024-01-08 11:15:49 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-08 11:16:06 +0100 | not_reserved | (~not_reser@185.153.177.190) (Ping timeout: 250 seconds) |
| 2024-01-08 11:16:18 +0100 | not_reserved98 | not_reserved |
| 2024-01-08 11:18:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-01-08 11:21:00 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-08 11:24:25 +0100 | <famubu> | [exa]: A chess engine that suggests possible moves based on the current state of the board. I was trying to have a front-end in haskell with the information from the engine to use as AI player. |
| 2024-01-08 11:24:25 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-08 11:25:20 +0100 | <famubu> | [exa]: The front-end keeps telling the engine what's happening and the engine will keep replying to the front-end, advicing the AI player what to do next. |
| 2024-01-08 11:25:26 +0100 | <famubu> | That's what I had in mind. |
| 2024-01-08 11:25:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 11:26:16 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2024-01-08 11:26:28 +0100 | <__monty__> | What is this separate AI player? Surely a chess engine is already an AI? |
| 2024-01-08 11:26:48 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 11:26:50 +0100 | danse-nr3 | was confused as well about that |
| 2024-01-08 11:27:13 +0100 | <famubu> | I meant a AI player is at the front-end. Brains of that AI is the engine. |
| 2024-01-08 11:28:00 +0100 | <famubu> | Changes in board state would be conveyed to chess engine, which will then suggest moves to the AI player. |
| 2024-01-08 11:30:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Ping timeout: 276 seconds) |
| 2024-01-08 11:33:03 +0100 | <[exa]> | famubu: ok that probably depends on what the engine supports. For the most common ones I think you could just open a process, send the board description to it and receive a move description (see https://hackage.haskell.org/package/process-1.6.18.0/docs/System-Process.html#v:createProcess ) |
| 2024-01-08 11:41:15 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-08 11:48:38 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2024-01-08 11:57:25 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-08 12:01:51 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 12:04:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-01-08 12:11:16 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-08 12:11:49 +0100 | vglfr | (~vglfr@90.167.190.87) |
| 2024-01-08 12:13:03 +0100 | CiaoSen | (~Jura@2a05:5800:298:900:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
| 2024-01-08 12:14:06 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:1290:db9c:eb29:232d) (Ping timeout: 245 seconds) |
| 2024-01-08 12:17:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 12:19:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-08 12:23:37 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) |
| 2024-01-08 12:24:30 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) () |
| 2024-01-08 12:24:41 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2024-01-08 12:30:12 +0100 | not_reserved | (~not_reser@185.153.177.190) (Ping timeout: 250 seconds) |
| 2024-01-08 12:37:29 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-08 12:40:27 +0100 | not_reserved | (~not_reser@185.153.177.190) |
| 2024-01-08 12:47:32 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving) |
| 2024-01-08 12:49:12 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-08 12:49:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-08 12:54:07 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2024-01-08 12:55:11 +0100 | danse-nr3 | (~danse@151.43.198.186) (Ping timeout: 264 seconds) |
| 2024-01-08 12:56:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Ping timeout: 268 seconds) |
| 2024-01-08 12:57:04 +0100 | vglfr | (~vglfr@90.167.190.87) (Read error: Connection reset by peer) |
| 2024-01-08 12:57:39 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-08 13:02:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 13:03:24 +0100 | wheatengineer | (~frederik@p200300f63f2d4a00ac55b751d4569851.dip0.t-ipconnect.de) |
| 2024-01-08 13:05:49 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-08 13:06:11 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 13:09:05 +0100 | <haskellbridge> | 10<maralorn> Is the Ord instance of String/Text dependent on the locale in the system? Is there a way to get an evironment independent implementation? |
| 2024-01-08 13:27:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2024-01-08 13:34:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 13:36:20 +0100 | <Axman6> | no it's not |
| 2024-01-08 13:36:22 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2024-01-08 13:38:16 +0100 | <Axman6> | it's a simple lexicographical ordering of the corresponding Chars, it'a just the [] instance of ordering. text-icu might give you the right tools for locale dependent ordering |
| 2024-01-08 13:40:33 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:4417:38c3:eabb:aaf6) |
| 2024-01-08 13:50:15 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-08 13:50:27 +0100 | <cheater> | is there a way to make the GC blank every generation of its memory with 0s when it stops being used? |
| 2024-01-08 13:50:27 +0100 | danse-nr3 | (~danse@151.43.190.131) |
| 2024-01-08 14:09:26 +0100 | tremon | (~tremon@83.80.159.219) |
| 2024-01-08 14:09:41 +0100 | danse-nr3 | (~danse@151.43.190.131) (Ping timeout: 268 seconds) |
| 2024-01-08 14:15:05 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.) |
| 2024-01-08 14:17:45 +0100 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2024-01-08 14:21:09 +0100 | danse-nr3 | (~danse@151.43.190.131) |
| 2024-01-08 14:41:19 +0100 | Platao | (~mirc-rc@ip121.ip-149-56-160.net) |
| 2024-01-08 14:41:32 +0100 | Platao | (~mirc-rc@ip121.ip-149-56-160.net) () |
| 2024-01-08 14:41:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-08 14:43:46 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 260 seconds) |
| 2024-01-08 14:43:58 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 276 seconds) |
| 2024-01-08 14:44:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-08 14:44:44 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-08 14:45:51 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 14:51:18 +0100 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-01-08 14:51:50 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-08 14:54:10 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 14:57:59 +0100 | CiaoSen | (~Jura@2a05:5800:298:900:ca4b:d6ff:fec1:99da) |
| 2024-01-08 15:03:36 +0100 | not_reserved | (~not_reser@185.153.177.190) (Ping timeout: 250 seconds) |
| 2024-01-08 15:07:45 +0100 | Inst | (~Inst@120.244.192.2) (Remote host closed the connection) |
| 2024-01-08 15:08:15 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-08 15:11:20 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-08 15:15:55 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 255 seconds) |
| 2024-01-08 15:21:54 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-08 15:26:27 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-08 15:30:35 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-08 15:43:11 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-08 15:51:19 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-08 15:52:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-08 15:52:45 +0100 | euleritian | (~euleritia@82.113.106.82) |
| 2024-01-08 16:06:40 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-01-08 16:07:22 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-08 16:07:36 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-08 16:08:50 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.1.1) |
| 2024-01-08 16:09:40 +0100 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-01-08 16:16:58 +0100 | ystael | (~ystael@user/ystael) |
| 2024-01-08 16:17:26 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-08 16:18:08 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:a219:b973:9885:aedd) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-01-08 16:18:29 +0100 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2024-01-08 16:18:55 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-08 16:20:39 +0100 | danse-nr3 | (~danse@151.43.190.131) (Remote host closed the connection) |
| 2024-01-08 16:20:50 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 260 seconds) |
| 2024-01-08 16:21:02 +0100 | danse-nr3 | (~danse@151.43.190.131) |
| 2024-01-08 16:21:31 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-08 16:24:44 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-08 16:30:08 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
| 2024-01-08 16:30:46 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2024-01-08 16:31:03 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-08 16:31:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-08 16:31:51 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-08 16:32:17 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-08 16:46:36 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 245 seconds) |
| 2024-01-08 16:47:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-08 16:48:25 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-01-08 16:53:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-08 16:57:26 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2024-01-08 16:57:38 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-08 16:57:43 +0100 | dibblego | (~dibblego@122.199.1.93) |
| 2024-01-08 16:57:43 +0100 | dibblego | (~dibblego@122.199.1.93) (Changing host) |
| 2024-01-08 16:57:43 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-01-08 17:00:07 +0100 | euleritian | (~euleritia@82.113.106.82) (Read error: Connection reset by peer) |
| 2024-01-08 17:00:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-08 17:00:46 +0100 | danse-nr3 | (~danse@151.43.190.131) (Ping timeout: 245 seconds) |
| 2024-01-08 17:03:10 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 17:05:48 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-08 17:07:54 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2024-01-08 17:11:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-08 17:12:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 17:13:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-08 17:13:28 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 17:16:31 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 17:16:50 +0100 | foul_owl | (~kerry@185.216.231.181) (Ping timeout: 260 seconds) |
| 2024-01-08 17:17:18 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-01-08 17:18:16 +0100 | vglfr | (~vglfr@90.167.190.82) |
| 2024-01-08 17:18:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-08 17:20:05 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-08 17:21:11 +0100 | CiaoSen | (~Jura@2a05:5800:298:900:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-01-08 17:27:01 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-08 17:27:37 +0100 | vglfr | (~vglfr@90.167.190.82) (Read error: Connection reset by peer) |
| 2024-01-08 17:27:57 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-08 17:31:09 +0100 | foul_owl | (~kerry@185.216.231.180) |
| 2024-01-08 17:32:20 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 17:33:05 +0100 | danse-nr3 | (~danse@151.43.190.131) |
| 2024-01-08 17:36:54 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2024-01-08 17:36:55 +0100 | danse-nr3 | (~danse@151.43.190.131) (Read error: Connection reset by peer) |
| 2024-01-08 17:37:41 +0100 | danse-nr3 | (~danse@151.57.166.245) |
| 2024-01-08 17:38:00 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-08 17:49:02 +0100 | ubert | (~Thunderbi@p200300ecdf268337718a7a055ecf3d0d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-08 17:49:06 +0100 | ubert1 | (~Thunderbi@p200300ecdf2683a8da5ffe35771476c1.dip0.t-ipconnect.de) |
| 2024-01-08 17:51:23 +0100 | ubert1 | ubert |
| 2024-01-08 17:54:51 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-08 17:54:53 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-08 17:59:16 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-08 18:01:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 18:01:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-08 18:01:59 +0100 | not_reserved | (~not_reser@185.153.177.190) |
| 2024-01-08 18:02:07 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-08 18:06:08 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-08 18:08:21 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-01-08 18:11:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Remote host closed the connection) |
| 2024-01-08 18:11:50 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-01-08 18:11:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 18:13:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-08 18:13:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-08 18:14:46 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-08 18:16:14 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-01-08 18:16:36 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-01-08 18:18:26 +0100 | <noumenon> | "There are two officially recommended methods of installing Haskell on any generic Linux distribution: ghcup and Stack. Both methods install statically linked GHC, tools and libraries in your home directory." |
| 2024-01-08 18:18:31 +0100 | <noumenon> | is this what's recommended? |
| 2024-01-08 18:19:03 +0100 | <noumenon> | I use Arch btw |
| 2024-01-08 18:19:25 +0100 | <opqdonut> | different haskell projects might need different versions of ghc |
| 2024-01-08 18:19:36 +0100 | <opqdonut> | and linux distros can be kinda slow packaging ghc |
| 2024-01-08 18:19:47 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2024-01-08 18:19:47 +0100 | <c_wraith> | using the arch version of GHC is definitely *not* recommended |
| 2024-01-08 18:19:57 +0100 | <opqdonut> | so for the application developer, something like stack/ghcup is pretty much necessary |
| 2024-01-08 18:20:22 +0100 | <noumenon> | yeah, but does Stack solve all the problems related to that? |
| 2024-01-08 18:20:27 +0100 | <opqdonut> | and for the person learning haskell, they do make life a bit easier |
| 2024-01-08 18:20:30 +0100 | <noumenon> | I remember someone were talking about something to do with static vs dynamic linking |
| 2024-01-08 18:20:34 +0100 | <c_wraith> | distro builds of GHC are really intended only for building distro versions of Haskell software. |
| 2024-01-08 18:21:48 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-08 18:21:58 +0100 | <c_wraith> | There are many degrees of static linking. I wouldn't worry about them at all, until you have something you need to release as a binary with zero runtime dependencies |
| 2024-01-08 18:22:35 +0100 | <int-e> | IIRC most of Arch's specific problems stem from a combination of frequent updates and the use of shared libraries (coupled with ghc's lack of ABI compatibility for shared libraries when recompiling) |
| 2024-01-08 18:23:05 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-01-08 18:23:44 +0100 | <c_wraith> | most builds of GHC dynamically link to libgmp, libc, and maybe a few other things. |
| 2024-01-08 18:24:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2024-01-08 18:24:08 +0100 | wheatengineer | (~frederik@p200300f63f2d4a00ac55b751d4569851.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-08 18:24:16 +0100 | <c_wraith> | that's fine. Just make sure you have an acceptable version of libgmp installed |
| 2024-01-08 18:24:53 +0100 | <noumenon> | I guess just installing Stack for now will be fine for learning purposes |
| 2024-01-08 18:29:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-01-08 18:32:13 +0100 | <noumenon> | time to study burritos again |
| 2024-01-08 18:33:55 +0100 | <c_wraith> | It's pretty counterproductive to focus on burritos. Enchiladas and tamales are also great. |
| 2024-01-08 18:39:50 +0100 | danse-nr3 | (~danse@151.57.166.245) (Ping timeout: 260 seconds) |
| 2024-01-08 18:41:19 +0100 | Me-me | (~me-me@user/me-me) (Excess Flood) |
| 2024-01-08 18:41:39 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-08 18:43:06 +0100 | sansk | (~sansk@user/sansk) |
| 2024-01-08 18:44:00 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2024-01-08 18:44:53 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:4417:38c3:eabb:aaf6) (Ping timeout: 240 seconds) |
| 2024-01-08 18:48:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-01-08 18:49:41 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-08 18:54:10 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2024-01-08 18:56:35 +0100 | vglfr | (~vglfr@90.167.190.86) |
| 2024-01-08 18:56:52 +0100 | vglfr | (~vglfr@90.167.190.86) (Read error: Connection reset by peer) |
| 2024-01-08 18:57:11 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-08 19:04:31 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 255 seconds) |
| 2024-01-08 19:04:58 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-08 19:06:08 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 19:06:30 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2024-01-08 19:14:37 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Quit: WeeChat 4.1.2) |
| 2024-01-08 19:14:56 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 19:17:58 +0100 | wheatengineer | (~frederik@p200300f63f2d4a00ac55b751d4569851.dip0.t-ipconnect.de) |
| 2024-01-08 19:18:01 +0100 | wheatengineer | (~frederik@p200300f63f2d4a00ac55b751d4569851.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-01-08 19:21:18 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-08 19:22:08 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-08 19:24:29 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 268 seconds) |
| 2024-01-08 19:24:36 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-08 19:24:37 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-01-08 19:31:23 +0100 | <haskellbridge> | 06<sm> noumenon: yup, fine to get started |
| 2024-01-08 19:32:51 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-01-08 19:33:26 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-08 19:36:17 +0100 | not_reserved | (~not_reser@185.153.177.190) (Quit: Client closed) |
| 2024-01-08 19:38:00 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-01-08 19:38:14 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-08 19:38:36 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-08 19:45:58 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 19:45:58 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-01-08 19:46:43 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-08 19:52:17 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:71da:83ae:7e06:af75) |
| 2024-01-08 19:55:56 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-01-08 20:05:42 +0100 | foul_owl | (~kerry@185.216.231.180) (Ping timeout: 260 seconds) |
| 2024-01-08 20:17:26 +0100 | Szilva | (~Szilva@80-95-85-19.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2024-01-08 20:19:09 +0100 | Szilva | (~Szilva@91-83-10-47.pool.digikabel.hu) |
| 2024-01-08 20:19:15 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-08 20:19:35 +0100 | foul_owl | (~kerry@157.97.134.167) |
| 2024-01-08 20:19:37 +0100 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-08 20:19:41 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 240 seconds) |
| 2024-01-08 20:21:58 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-01-08 20:32:25 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-08 20:33:16 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
| 2024-01-08 20:33:37 +0100 | euleritian | (~euleritia@dynamic-046-114-237-021.46.114.pool.telefonica.de) |
| 2024-01-08 20:40:40 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-08 20:44:17 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 20:44:29 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:71da:83ae:7e06:af75) (Ping timeout: 240 seconds) |
| 2024-01-08 20:44:45 +0100 | euleritian | (~euleritia@dynamic-046-114-237-021.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-01-08 20:45:21 +0100 | euleritian | (~euleritia@dynamic-089-015-236-207.89.15.236.pool.telefonica.de) |
| 2024-01-08 20:46:57 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:91ce:6f70:6341:6b7d) |
| 2024-01-08 20:47:42 +0100 | euleritian | (~euleritia@dynamic-089-015-236-207.89.15.236.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-08 20:48:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-08 20:51:59 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-08 20:58:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Remote host closed the connection) |
| 2024-01-08 21:06:05 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-08 21:06:51 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 268 seconds) |
| 2024-01-08 21:07:43 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-08 21:10:37 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-08 21:15:49 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) (Read error: Connection reset by peer) |
| 2024-01-08 21:16:15 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) |
| 2024-01-08 21:17:23 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 21:23:17 +0100 | vglfr | (~vglfr@90.167.190.90) |
| 2024-01-08 21:23:34 +0100 | vglfr | (~vglfr@90.167.190.90) (Read error: Connection reset by peer) |
| 2024-01-08 21:23:53 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-08 21:26:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-08 21:26:58 +0100 | cods | (~fred@tuxee.net) (Ping timeout: 276 seconds) |
| 2024-01-08 21:27:34 +0100 | sansk | (~sansk@user/sansk) (Quit: WeeChat 4.1.2) |
| 2024-01-08 21:32:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 21:37:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) (Ping timeout: 256 seconds) |
| 2024-01-08 21:37:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-08 21:38:24 +0100 | euleritian | (~euleritia@dynamic-089-015-236-207.89.15.236.pool.telefonica.de) |
| 2024-01-08 21:40:01 +0100 | irrgit_ | (~irrgit@176.113.74.130) (Remote host closed the connection) |
| 2024-01-08 21:40:21 +0100 | irrgit_ | (~irrgit@176.113.74.74) |
| 2024-01-08 21:43:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-08 21:44:53 +0100 | mikess | (~mikess@user/mikess) |
| 2024-01-08 21:48:11 +0100 | euleritian | (~euleritia@dynamic-089-015-236-207.89.15.236.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-08 21:48:26 +0100 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-08 21:48:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-08 21:49:11 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-08 21:54:53 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:91ce:6f70:6341:6b7d) (Ping timeout: 240 seconds) |
| 2024-01-08 22:01:15 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-08 22:03:05 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-08 22:12:10 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-01-08 22:17:11 +0100 | kwii | (~kwii@212.24.26.235) |
| 2024-01-08 22:17:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:604b:dee:6683:e755) |
| 2024-01-08 22:21:48 +0100 | mmhat | (~mmh@p200300f1c7428268ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-08 22:22:06 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-08 22:24:02 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-08 22:24:53 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-08 22:24:56 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-08 22:25:16 +0100 | cods | (~fred@tuxee.net) |
| 2024-01-08 22:26:31 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-08 22:27:10 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2024-01-08 22:27:30 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-08 22:34:00 +0100 | zeka_ | (~zeka@2600:1700:2121:180:8d38:9050:6a94:d624) (Ping timeout: 256 seconds) |
| 2024-01-08 22:34:49 +0100 | zeka | (~zeka@2600:1700:2121:180:fc1e:e1df:c7a6:218c) |
| 2024-01-08 22:40:03 +0100 | irrgit_ | (~irrgit@176.113.74.74) (Remote host closed the connection) |
| 2024-01-08 22:40:22 +0100 | irrgit_ | (~irrgit@89.47.234.74) |
| 2024-01-08 22:44:23 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 264 seconds) |
| 2024-01-08 22:56:58 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-01-08 22:58:53 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-08 23:01:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-08 23:02:50 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-08 23:04:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-08 23:07:31 +0100 | kwii | (~kwii@212.24.26.235) (Remote host closed the connection) |
| 2024-01-08 23:14:01 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-01-08 23:15:55 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 256 seconds) |
| 2024-01-08 23:21:58 +0100 | ByronJohnson | bairyn |
| 2024-01-08 23:30:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-08 23:30:43 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-08 23:33:32 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-01-08 23:35:41 +0100 | acidjnk | (~acidjnk@p200300d6e72b9344ccdd4a7a8a3bdb04.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-08 23:37:34 +0100 | hueso | (~root@user/hueso) |
| 2024-01-08 23:39:14 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-01-08 23:39:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-08 23:41:35 +0100 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Quit: Reconnecting) |
| 2024-01-08 23:41:51 +0100 | bairyn | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2024-01-08 23:43:26 +0100 | mechap | (~mechap@user/mechap) |
| 2024-01-08 23:44:47 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-08 23:48:51 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-01-08 23:49:57 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-08 23:53:15 +0100 | czy | (~user@117.63.58.124) (Read error: Connection reset by peer) |
| 2024-01-08 23:54:34 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |