Home liberachat/#haskell: Logs Calendar

Logs on 2024-01-08 (liberachat/#haskell)

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

All times are in UTC on 2024-01-08.