| 2022-04-03 00:07:03 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-03 00:07:11 +0000 | zyklotomic | (~ethan@res380d-128-61-87-190.res.gatech.edu) (Ping timeout: 260 seconds) |
| 2022-04-03 00:09:14 +0000 | zyklotomic | (~ethan@r4-128-61-92-94.res.gatech.edu) |
| 2022-04-03 00:10:49 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-03 00:14:47 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 00:17:03 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-04-03 00:17:23 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 00:25:48 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-03 00:26:05 +0000 | ellie | (~ellie@user/ellie) |
| 2022-04-03 00:27:28 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) |
| 2022-04-03 00:28:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-03 00:31:53 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) (Ping timeout: 260 seconds) |
| 2022-04-03 00:33:16 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 245 seconds) |
| 2022-04-03 00:34:16 +0000 | nsaritzky | (~nsaritzky@c-71-231-59-104.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 00:35:58 +0000 | benin | (~benin@183.82.204.110) (Ping timeout: 260 seconds) |
| 2022-04-03 00:43:00 +0000 | <monochrom> | liftA2 for a lot of applicatives kill short circuiting. |
| 2022-04-03 00:43:23 +0000 | <monochrom> | Example: Maybe: |
| 2022-04-03 00:43:35 +0000 | gingeh | (~gingeh@2001:8003:1c2a:b600:79c4:94cc:218e:5ea5) (Quit: Leaving) |
| 2022-04-03 00:43:37 +0000 | <monochrom> | > liftA2 (&&) Nothing undefined |
| 2022-04-03 00:43:38 +0000 | <lambdabot> | Nothing |
| 2022-04-03 00:43:46 +0000 | <monochrom> | Err oops wrong inputs. |
| 2022-04-03 00:43:54 +0000 | <monochrom> | > liftA2 (&&) (Just False) undefined |
| 2022-04-03 00:43:55 +0000 | <lambdabot> | *Exception: Prelude.undefined |
| 2022-04-03 00:44:14 +0000 | <monochrom> | does not give && a chance to short-circuit. |
| 2022-04-03 00:46:23 +0000 | <hpc> | > liftA2 (&&) (Just False) (Just undefined) |
| 2022-04-03 00:46:24 +0000 | <lambdabot> | Just False |
| 2022-04-03 00:46:36 +0000 | <monochrom> | Likewise, for IO, liftA2 op foo bar executes both foo and bar unconditionally. op does not have a say on this. |
| 2022-04-03 00:46:38 +0000 | <hpc> | it's strict in the effect, and inherits the function's strictness on the type variable |
| 2022-04-03 00:46:45 +0000 | <monochrom> | Yeah. |
| 2022-04-03 00:47:16 +0000 | <monochrom> | But perhaps you can mitigate by liftA2 op (unsafeInterleaveIO foo) (unsafeInterleaveIO bar) >:) |
| 2022-04-03 00:47:18 +0000 | <hpc> | (characterizing laziness can be a wild ride sometimes) |
| 2022-04-03 00:48:54 +0000 | <abastro[m]> | > (&&) <$> pure False <*> pure undefined :: IO () |
| 2022-04-03 00:48:55 +0000 | <lambdabot> | error: |
| 2022-04-03 00:48:55 +0000 | <lambdabot> | • Couldn't match type ‘Bool’ with ‘()’ |
| 2022-04-03 00:48:56 +0000 | <lambdabot> | Expected type: IO () |
| 2022-04-03 00:49:27 +0000 | <abastro[m]> | > (&&) <$> pure @IO False <*> pure undefined |
| 2022-04-03 00:49:28 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-03 00:49:29 +0000 | <lambdabot> | error: |
| 2022-04-03 00:49:29 +0000 | <lambdabot> | Pattern syntax in expression context: pure@IO |
| 2022-04-03 00:49:29 +0000 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2022-04-03 00:49:42 +0000 | <monochrom> | liftA2 op foo bar is required to be equiv to foo >>= \f -> bar >>= \b -> pure (op f b). |
| 2022-04-03 00:49:56 +0000 | <abastro[m]> | Oh duh I thought TypeApplications was enabled |
| 2022-04-03 00:49:57 +0000 | <monochrom> | Right there you see how op doesn't matter until it's too late. |
| 2022-04-03 00:50:30 +0000 | <abastro[m]> | > (&&) <$> pure False <*> pure undefined :: IO Bool |
| 2022-04-03 00:50:31 +0000 | <lambdabot> | <IO Bool> |
| 2022-04-03 00:50:43 +0000 | <monochrom> | Unless the monad is like State.Lazy or Tardis. |
| 2022-04-03 00:50:50 +0000 | <abastro[m]> | So it is lazy :> |
| 2022-04-03 00:50:55 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-03 01:09:31 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-03 01:11:04 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-03 01:15:05 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 01:16:42 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-04-03 01:16:55 +0000 | img | (~img@user/img) |
| 2022-04-03 01:18:30 +0000 | neurocyte86141 | (~neurocyte@IP-094046079092.dynamic.medianet-world.de) |
| 2022-04-03 01:18:30 +0000 | neurocyte86141 | (~neurocyte@IP-094046079092.dynamic.medianet-world.de) (Changing host) |
| 2022-04-03 01:18:30 +0000 | neurocyte86141 | (~neurocyte@user/neurocyte) |
| 2022-04-03 01:18:46 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-03 01:19:43 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-03 01:20:55 +0000 | neurocyte8614 | (~neurocyte@user/neurocyte) (Ping timeout: 260 seconds) |
| 2022-04-03 01:20:55 +0000 | neurocyte86141 | neurocyte8614 |
| 2022-04-03 01:21:20 +0000 | sayola1 | (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) |
| 2022-04-03 01:21:25 +0000 | alMalsamo | littlebobeep |
| 2022-04-03 01:21:56 +0000 | sayola | (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-04-03 01:23:23 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-04-03 01:24:19 +0000 | sayola | (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) |
| 2022-04-03 01:25:57 +0000 | sayola1 | (~vekto@dslb-088-078-152-238.088.078.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-03 01:28:48 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) |
| 2022-04-03 01:50:11 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::f702) |
| 2022-04-03 01:50:56 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 01:52:44 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::f702) (Client Quit) |
| 2022-04-03 01:55:58 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-03 01:59:23 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-03 01:59:48 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-03 02:06:44 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-04-03 02:07:33 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-04-03 02:09:27 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-03 02:10:03 +0000 | agrosant | (~agrosant@79.103.182.92.dsl.dyn.forthnet.gr) |
| 2022-04-03 02:15:13 +0000 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-03 02:15:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-03 02:17:51 +0000 | ubert1 | (~Thunderbi@p200300ecdf158897cd25ca1c45111265.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-03 02:25:20 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 02:29:43 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 02:42:05 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 02:42:17 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 02:43:07 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) |
| 2022-04-03 02:45:41 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-03 02:45:42 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-03 02:45:42 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-03 02:45:48 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 02:46:19 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2022-04-03 02:46:40 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-03 02:46:40 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-03 02:46:40 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-03 02:53:41 +0000 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-03 02:55:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-03 02:57:31 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2022-04-03 03:00:03 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-03 03:01:24 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-03 03:10:05 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) (Ping timeout: 246 seconds) |
| 2022-04-03 03:19:32 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-03 03:24:43 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 03:25:45 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 03:28:54 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-03 03:33:27 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-03 03:37:31 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-03 03:39:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-03 03:41:23 +0000 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 252 seconds) |
| 2022-04-03 03:59:28 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-03 04:00:03 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 04:00:26 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-03 04:01:34 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) |
| 2022-04-03 04:03:41 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-04-03 04:04:21 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-03 04:05:11 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 04:13:48 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:14:37 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 04:14:49 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:15:03 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:15:10 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:15:26 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:15:33 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:15:47 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:15:55 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:16:10 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:16:17 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:16:31 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:16:38 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:16:52 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:17:00 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:17:14 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:17:22 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:17:38 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:17:44 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:17:58 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:18:06 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:18:17 +0000 | cdman | (~dcm@27.2.218.12) |
| 2022-04-03 04:18:17 +0000 | cdman | (~dcm@27.2.218.12) (Changing host) |
| 2022-04-03 04:18:17 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-03 04:18:22 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:18:28 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:18:43 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:18:50 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:18:58 +0000 | ChanServ | +o monochrom |
| 2022-04-03 04:19:06 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:19:12 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-03 04:19:22 +0000 | monochrom | +b *!*@c-174-63-118-52.hsd1.ma.comcast.net |
| 2022-04-03 04:31:00 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-03 04:42:37 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-04-03 04:42:59 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-03 04:43:18 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-03 04:49:52 +0000 | ChanServ | +o litharge |
| 2022-04-03 04:49:53 +0000 | litharge | -bo *!*@c-174-63-118-52.hsd1.ma.comcast.net litharge |
| 2022-04-03 04:50:51 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 04:53:21 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-03 05:01:00 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-03 05:04:27 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) (Ping timeout: 260 seconds) |
| 2022-04-03 05:07:28 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-04-03 05:10:28 +0000 | mbuf | (~Shakthi@110.225.242.87) |
| 2022-04-03 05:12:54 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-03 05:13:38 +0000 | benin | (~benin@183.82.204.110) (Ping timeout: 246 seconds) |
| 2022-04-03 05:15:54 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-03 05:16:14 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 05:17:05 +0000 | frost | (~frost@user/frost) |
| 2022-04-03 05:17:43 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-03 05:18:08 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-03 05:24:09 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:84e3:4a12:bce1:8082) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-04-03 05:24:28 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:eb96:d26f:93a3:4c34) |
| 2022-04-03 05:26:14 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-03 05:28:46 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 05:31:00 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) (Ping timeout: 240 seconds) |
| 2022-04-03 05:41:19 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2022-04-03 05:42:30 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-03 05:50:23 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-03 05:54:56 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-03 05:57:36 +0000 | acidjnk | (~acidjnk@p200300d0c7049f701951913ce7bf0925.dip0.t-ipconnect.de) |
| 2022-04-03 05:59:09 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 06:02:25 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-03 06:21:05 +0000 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-03 06:30:38 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 06:31:32 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-03 06:36:28 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-04-03 06:42:03 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-03 06:42:45 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-03 06:44:05 +0000 | kmein | (~weechat@user/kmein) |
| 2022-04-03 06:46:44 +0000 | zachel | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-04-03 06:48:49 +0000 | zachel | (~zachel@user/zachel) |
| 2022-04-03 06:49:03 +0000 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-03 06:50:20 +0000 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-03 07:03:55 +0000 | acidjnk | (~acidjnk@p200300d0c7049f701951913ce7bf0925.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-03 07:26:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-03 07:27:16 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-03 07:30:22 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2022-04-03 07:30:26 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-03 07:32:02 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-03 07:35:26 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 07:43:31 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-03 07:45:50 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-03 07:46:48 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 07:47:50 +0000 | img | (~img@user/img) |
| 2022-04-03 07:55:22 +0000 | x88x88x | (~x88x88x@149.28.53.172) (Quit: ZNC - https://znc.in) |
| 2022-04-03 07:57:04 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) (Quit: Leaving) |
| 2022-04-03 08:00:51 +0000 | arjun | (~arjun@user/arjun) |
| 2022-04-03 08:03:01 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 08:04:30 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-03 08:15:30 +0000 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) |
| 2022-04-03 08:18:05 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2022-04-03 08:19:07 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 08:21:14 +0000 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-03 08:23:02 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) |
| 2022-04-03 08:27:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 08:28:39 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-03 08:29:13 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 08:31:22 +0000 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-04-03 08:32:07 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-03 08:33:19 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-03 08:34:27 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 08:38:17 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-03 08:39:33 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 2022-04-03 08:45:46 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 08:49:14 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-03 08:52:30 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-03 08:54:25 +0000 | kaph_ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 08:57:03 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2022-04-03 08:58:17 +0000 | kaph__ | (~kaph@151.47.143.243) |
| 2022-04-03 09:00:07 +0000 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) (Quit: You have been kicked for being idle) |
| 2022-04-03 09:00:45 +0000 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-04-03 09:00:54 +0000 | mbuf | (~Shakthi@110.225.242.87) (Quit: Leaving) |
| 2022-04-03 09:01:08 +0000 | kaph_ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2022-04-03 09:01:34 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 09:03:35 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-03 09:03:43 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) |
| 2022-04-03 09:06:39 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) (Ping timeout: 260 seconds) |
| 2022-04-03 09:09:00 +0000 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-03 09:14:39 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-03 09:14:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-03 09:17:51 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-03 09:19:03 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-03 09:20:36 +0000 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 240 seconds) |
| 2022-04-03 09:25:49 +0000 | kaph__ | (~kaph@151.47.143.243) (Read error: Connection reset by peer) |
| 2022-04-03 09:25:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-03 09:27:17 +0000 | kaph__ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 09:28:27 +0000 | img | (~img@user/img) |
| 2022-04-03 09:28:41 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-03 09:30:00 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 09:30:55 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 09:31:10 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-03 09:34:39 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 09:36:03 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) (Ping timeout: 260 seconds) |
| 2022-04-03 09:37:46 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2022-04-03 09:38:50 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-03 09:41:11 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2022-04-03 09:46:41 +0000 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-03 09:48:39 +0000 | kaph__ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2022-04-03 09:52:16 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-03 09:53:47 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2022-04-03 09:53:58 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 09:55:25 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-04-03 09:57:54 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2022-04-03 09:58:32 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 10:03:13 +0000 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-04-03 10:06:33 +0000 | abastro | (~abab9579@192.249.26.132) |
| 2022-04-03 10:07:08 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-03 10:08:36 +0000 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
| 2022-04-03 10:08:58 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-03 10:12:34 +0000 | CiaoSen | (~Jura@p200300c95735b0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-03 10:16:10 +0000 | mzan | (~quassel@mail.asterisell.com) |
| 2022-04-03 10:16:37 +0000 | kaph_ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 10:17:29 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-03 10:17:45 +0000 | abastro | (~abab9579@192.249.26.132) (Remote host closed the connection) |
| 2022-04-03 10:17:47 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2022-04-03 10:17:59 +0000 | abastro | (~abab9579@192.249.26.132) |
| 2022-04-03 10:18:31 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-04-03 10:19:23 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-03 10:24:09 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) |
| 2022-04-03 10:25:08 +0000 | kaph_ | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2022-04-03 10:38:47 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) (Ping timeout: 256 seconds) |
| 2022-04-03 10:39:20 +0000 | <Andrew> | test |
| 2022-04-03 10:43:01 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 240 seconds) |
| 2022-04-03 10:43:15 +0000 | toulene | (~toulene@user/toulene) (Ping timeout: 260 seconds) |
| 2022-04-03 10:43:17 +0000 | Psybur | (~Psybur@2600:1003:b108:f292:c2b:a76d:9518:b609) |
| 2022-04-03 10:45:40 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 10:54:25 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-03 10:54:27 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-03 10:56:09 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-04-03 10:58:07 +0000 | FragByte | (~christian@user/fragbyte) |
| 2022-04-03 10:59:02 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 11:03:20 +0000 | toulene | (~toulene@user/toulene) |
| 2022-04-03 11:03:53 +0000 | toulene | (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 2022-04-03 11:07:00 +0000 | toulene | (~toulene@user/toulene) |
| 2022-04-03 11:08:21 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-04-03 11:09:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-03 11:10:50 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-03 11:11:13 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 260 seconds) |
| 2022-04-03 11:12:46 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-03 11:14:43 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 11:18:13 +0000 | gustik | (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) |
| 2022-04-03 11:21:18 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-03 11:26:23 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-03 11:28:24 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-03 11:30:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 11:30:59 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 11:32:55 +0000 | Vajb | (~Vajb@85-76-32-121-nat.elisa-mobile.fi) |
| 2022-04-03 11:34:05 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 11:34:50 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-04-03 11:37:24 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-03 11:38:51 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 11:39:13 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 11:40:15 +0000 | <abastro> | I wish there were `Either e Void -> e` or `Either a a -> a` |
| 2022-04-03 11:40:28 +0000 | <abastro> | That or `ExceptT e m Void -> m e` |
| 2022-04-03 11:40:58 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 11:44:13 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) |
| 2022-04-03 11:45:36 +0000 | abastro | (~abab9579@192.249.26.132) (Ping timeout: 272 seconds) |
| 2022-04-03 11:49:24 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-03 11:50:15 +0000 | abastro | (~abab9579@192.249.26.132) |
| 2022-04-03 11:51:00 +0000 | abastro | (~abab9579@192.249.26.132) (Remote host closed the connection) |
| 2022-04-03 11:51:15 +0000 | abastro | (~abab9579@192.249.26.132) |
| 2022-04-03 11:51:31 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) |
| 2022-04-03 11:52:41 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-03 11:54:22 +0000 | <liz> | writing an `Either a a -> a` wouldn't be too hard |
| 2022-04-03 11:54:43 +0000 | <liz> | `fromHomoEither (Left x) = x`; `fromHomoEither (Right y) = y` |
| 2022-04-03 11:55:47 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) (Ping timeout: 246 seconds) |
| 2022-04-03 11:56:59 +0000 | dcoutts | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-03 12:00:11 +0000 | <jackdk> | abastro: `either id absurd`, `either id id` respectively; see also "Fairbairn Threshold" |
| 2022-04-03 12:00:35 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-03 12:03:09 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 12:18:51 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-04-03 12:18:59 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2022-04-03 12:20:14 +0000 | metabulation | (~wootehfoo@user/wootehfoot) |
| 2022-04-03 12:20:26 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2022-04-03 12:20:44 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) |
| 2022-04-03 12:21:36 +0000 | <abastro> | Oh, so it did not make it because of fairbairn threshold? |
| 2022-04-03 12:22:08 +0000 | <abastro> | Hmm, so what would be the best way to write: |
| 2022-04-03 12:22:25 +0000 | <abastro> | `ExceptT e m Void -> m e` |
| 2022-04-03 12:22:47 +0000 | <abastro> | `fmap (either id absurd) . runExceptT` is quite long to me |
| 2022-04-03 12:24:03 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2022-04-03 12:25:17 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-03 12:31:50 +0000 | Vajb | (~Vajb@85-76-32-121-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-04-03 12:31:59 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-03 12:33:17 +0000 | <abastro> | I need to do study but my brain don't want to and resorts to: https://paste.tomsmeding.com/SOth1C3N |
| 2022-04-03 12:33:53 +0000 | frost | (~frost@user/frost) |
| 2022-04-03 12:36:53 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 12:37:48 +0000 | Psybur | (~Psybur@2600:1003:b108:f292:c2b:a76d:9518:b609) (Ping timeout: 240 seconds) |
| 2022-04-03 12:38:29 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-03 12:40:39 +0000 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-03 12:41:01 +0000 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) |
| 2022-04-03 12:44:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-03 12:49:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-03 12:50:43 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 12:52:49 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-03 12:55:07 +0000 | ccntrq | (~Thunderbi@dynamic-046-114-142-228.46.114.pool.telefonica.de) |
| 2022-04-03 12:55:16 +0000 | gustik | (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) (Quit: Leaving) |
| 2022-04-03 12:59:39 +0000 | ccntrq | (~Thunderbi@dynamic-046-114-142-228.46.114.pool.telefonica.de) (Client Quit) |
| 2022-04-03 13:00:03 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-03 13:00:18 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-03 13:00:36 +0000 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-03 13:02:03 +0000 | <kuribas> | I often hear "the types are so complicated in haskell". However I find that more complicated types give rise to easier function definitions. |
| 2022-04-03 13:02:15 +0000 | <kuribas> | Isn't it then just not about pushing complexity into types? |
| 2022-04-03 13:02:28 +0000 | <kuribas> | As in, it's not more complicated, it's just complicated in a different place. |
| 2022-04-03 13:02:47 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-04-03 13:03:08 +0000 | <kuribas> | And if done well, it means that this complication is just in one place, rather than popping up all over the codebase. |
| 2022-04-03 13:03:09 +0000 | <hpc> | in my experience, people who say that have just never used algebraic types before |
| 2022-04-03 13:03:26 +0000 | <kuribas> | hpc: well, and that :) |
| 2022-04-03 13:03:32 +0000 | <hpc> | or they look at them in haskell and think "this is foreign and unknowable" |
| 2022-04-03 13:03:47 +0000 | <hpc> | but as soon as you show it to them in say, typescript, it's immediately obvious to them :/ |
| 2022-04-03 13:04:20 +0000 | <hpc> | but yeah, a good type is like a good api |
| 2022-04-03 13:04:26 +0000 | <hpc> | all your code invisibly becomes much simpler |
| 2022-04-03 13:04:37 +0000 | <hpc> | well, a good type /is/ a good api |
| 2022-04-03 13:05:26 +0000 | <kuribas> | some things are easier when you don't try to statically proof them correct. |
| 2022-04-03 13:06:15 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) |
| 2022-04-03 13:06:26 +0000 | <hpc> | in a turing-complete language you're dealing with the halting problem anyway |
| 2022-04-03 13:06:31 +0000 | <hpc> | so it's about how close you can usefully get |
| 2022-04-03 13:06:33 +0000 | <kuribas> | Even though people erronuously will say, "they are complicated in haskell". |
| 2022-04-03 13:06:55 +0000 | <hpc> | and with things like purity and laziness, it's easy to get a lot closer |
| 2022-04-03 13:07:08 +0000 | <kuribas> | hpc: clojure has purity and laziness. |
| 2022-04-03 13:07:29 +0000 | <kuribas> | hpc: still, I find it nearly impossible to reason about code, without being able to run it in a repl with real examples. |
| 2022-04-03 13:07:35 +0000 | <kuribas> | (in clojure) |
| 2022-04-03 13:09:06 +0000 | <hpc> | that's probably all the other lisp stuff, like macros and dynamic types |
| 2022-04-03 13:10:01 +0000 | <kuribas> | For me it's mostly about using hashmaps for everything. |
| 2022-04-03 13:10:18 +0000 | <kuribas> | It's the same as Objects in python/javascript. |
| 2022-04-03 13:10:44 +0000 | <kuribas> | it's just easier in the sense that you don't see when you break anything. |
| 2022-04-03 13:10:52 +0000 | <kuribas> | Where a typesystem makes it immediately obvious. |
| 2022-04-03 13:13:06 +0000 | liqidmetalman | (~admin@c-98-234-46-210.hsd1.ca.comcast.net) |
| 2022-04-03 13:14:30 +0000 | <abastro> | There is also this thing that many ppl don't understand abstraction |
| 2022-04-03 13:14:36 +0000 | <abastro> | They usually think in concrete cases |
| 2022-04-03 13:14:59 +0000 | <abastro> | So I found ppl against property-based testing for this reason. |
| 2022-04-03 13:15:21 +0000 | <kuribas> | right, and in clojure/lisp, you just code against concrete cases. |
| 2022-04-03 13:16:05 +0000 | <kuribas> | but to me, it's the opposite of "reasoning about code", hence "functional programming". |
| 2022-04-03 13:16:39 +0000 | <kuribas> | clojure isn't really function programming IMO, not more than doing java or javascript with pure objects. |
| 2022-04-03 13:17:14 +0000 | <kuribas> | The spirit of "functional programming", is to be able to understand code by just looking at it. |
| 2022-04-03 13:18:15 +0000 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-03 13:18:54 +0000 | <nomagno> | The spirit of functional programming is really just recursion. The 'algorithms write themselves' part is sprinkled on top |
| 2022-04-03 13:19:36 +0000 | <kuribas> | not recursion, induction. |
| 2022-04-03 13:21:45 +0000 | n8chan | (~nate@98.45.152.91) |
| 2022-04-03 13:21:45 +0000 | <liz> | i find it hard to judge how "difficult" haskell is to the average programmer because i've approached it from a mathematical background |
| 2022-04-03 13:22:02 +0000 | <kuribas> | liz: did that make it easier, or harder? |
| 2022-04-03 13:22:15 +0000 | <liz> | abstraction is my bread and butter, so i believe it made it easier |
| 2022-04-03 13:23:13 +0000 | <liz> | i specialised in algebra so things like Semigroup and Monoid were pre-existing knowledge, rather than concepts to learn in order to learn haskell |
| 2022-04-03 13:23:38 +0000 | neightchan | (~nate@98.45.152.91) (Ping timeout: 246 seconds) |
| 2022-04-03 13:23:51 +0000 | <liz> | and i think that in general the ability to think in abstract terms made learning haskell easier |
| 2022-04-03 13:23:58 +0000 | <liz> | that said though, i'm still very much a haskell novice! |
| 2022-04-03 13:24:08 +0000 | <hpc> | i went the immersion route - a solid month between semesters to properly change how i thought about programming |
| 2022-04-03 13:24:32 +0000 | <kuribas> | But I cannot imagine a good programmer would find Semigroup or Monoid difficult. |
| 2022-04-03 13:24:42 +0000 | <kuribas> | They are pretty much the easiest abstractions out there. |
| 2022-04-03 13:24:59 +0000 | <liz> | that's true, they're conceptually simple structures |
| 2022-04-03 13:25:04 +0000 | <hpc> | they teach the algebraic properties in elementary school even |
| 2022-04-03 13:25:14 +0000 | <hpc> | 10 year olds can learn monoid |
| 2022-04-03 13:25:16 +0000 | <kuribas> | Frankly, only Monad and Applicative are somewhat complicated, from all haskells base abstractions. |
| 2022-04-03 13:25:21 +0000 | <kuribas> | hpc: yeah |
| 2022-04-03 13:26:19 +0000 | <kuribas> | liz: I find idris to be more math oriented. |
| 2022-04-03 13:27:20 +0000 | <kuribas> | IMO OOP is harder than most of haskells abstractions. |
| 2022-04-03 13:28:12 +0000 | <liz> | i think a key difference between OOP and haskell's abstractions comes from the different ways of thinking within the paradigms |
| 2022-04-03 13:28:22 +0000 | <liz> | how to "align" one's brain to solving a problem, if that makes sense |
| 2022-04-03 13:29:26 +0000 | <liqidmetalman> | any hackers in here... |
| 2022-04-03 13:29:30 +0000 | <liqidmetalman> | .... |
| 2022-04-03 13:29:38 +0000 | <liqidmetalman> | got some questions... |
| 2022-04-03 13:30:25 +0000 | <kuribas> | most of haskell "abstractions" are very concrete. OOP design patterns are mostly fuzzy and leave a lot of room for interpretation. |
| 2022-04-03 13:31:04 +0000 | <hpc> | liqidmetalman: in the classical "i hacked out a microkernel over the weekend" or the modern "i hacked google" meaning? :P |
| 2022-04-03 13:31:21 +0000 | <hpc> | also, don't ask to ask, just ask |
| 2022-04-03 13:32:25 +0000 | <kuribas> | or I did an amazing type system hack. |
| 2022-04-03 13:32:35 +0000 | Alleria | (~textual@user/alleria) |
| 2022-04-03 13:32:49 +0000 | <hpc> | ask in the channel, don't pm people |
| 2022-04-03 13:33:06 +0000 | <hpc> | we prefer open discussion |
| 2022-04-03 13:33:11 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-03 13:33:22 +0000 | <abastro> | Ppl love fuzzy and room for interpretation things when it looks more cozzy I guess |
| 2022-04-03 13:33:38 +0000 | <abastro> | Like, using Pets, Dogs, and Cat.s in the example |
| 2022-04-03 13:33:38 +0000 | <kuribas> | hpc: unless you don't want the teaching assistant to know? |
| 2022-04-03 13:33:49 +0000 | <liqidmetalman> | i was trying to install venom with metasploit via linux but some of the gems wernt downloading... |
| 2022-04-03 13:33:55 +0000 | <hpc> | ah, you're in the wrong channel |
| 2022-04-03 13:34:04 +0000 | <hpc> | see the topic for what we're about |
| 2022-04-03 13:34:07 +0000 | <liqidmetalman> | tried "install bundle" still doesnt install... |
| 2022-04-03 13:34:07 +0000 | <abastro> | Very wrong channel |
| 2022-04-03 13:34:39 +0000 | <liqidmetalman> | so i cant get help?.. |
| 2022-04-03 13:34:41 +0000 | <liqidmetalman> | .. |
| 2022-04-03 13:34:42 +0000 | <hpc> | not here |
| 2022-04-03 13:34:49 +0000 | <liqidmetalman> | recommendations... |
| 2022-04-03 13:34:49 +0000 | <liqidmetalman> | .. |
| 2022-04-03 13:34:52 +0000 | <hpc> | no clue |
| 2022-04-03 13:34:59 +0000 | <liqidmetalman> | #hack has like 5 people in it |
| 2022-04-03 13:35:00 +0000 | <liqidmetalman> | .. |
| 2022-04-03 13:35:19 +0000 | <liqidmetalman> | been like goin 2 weeks |
| 2022-04-03 13:35:29 +0000 | <liqidmetalman> | still cant get the damn thing to work..lol |
| 2022-04-03 13:35:31 +0000 | <liqidmetalman> | ... |
| 2022-04-03 13:35:37 +0000 | <geekosaur> | the notion that IRC is inhabited mostly by so-called "hackers" is some 15 years out of date, as I understand it |
| 2022-04-03 13:35:47 +0000 | <liz> | a channel for your specific distro may help, or a ruby channel if you're having issues with gems |
| 2022-04-03 13:37:15 +0000 | <[exa]> | liqidmetalman: there's no channel for metasploit or venom? |
| 2022-04-03 13:37:25 +0000 | <liqidmetalman> | no |
| 2022-04-03 13:37:35 +0000 | <liqidmetalman> | "venom" is a trojan program |
| 2022-04-03 13:37:38 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 13:37:41 +0000 | <liqidmetalman> | like a trojan horse... |
| 2022-04-03 13:37:46 +0000 | <liqidmetalman> | drops a payload |
| 2022-04-03 13:37:56 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) |
| 2022-04-03 13:38:03 +0000 | <[exa]> | it is a compiler |
| 2022-04-03 13:38:04 +0000 | <liqidmetalman> | i can set up the payload ...but can get the main app "venom" to work.. |
| 2022-04-03 13:38:10 +0000 | <liqidmetalman> | you know with the lisener... |
| 2022-04-03 13:38:21 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 13:38:30 +0000 | <[exa]> | anyway it's highly offtopic here and you'll probably get 0 help |
| 2022-04-03 13:38:33 +0000 | <[exa]> | try #metasploit |
| 2022-04-03 13:39:50 +0000 | <[exa]> | btw it's useful to prepare a pastebin with what doesn't work, like error messages and so |
| 2022-04-03 13:40:57 +0000 | nate1 | (~nate@98.45.152.91) |
| 2022-04-03 13:42:14 +0000 | fendor | (~fendor@178.115.59.46.wireless.dyn.drei.com) |
| 2022-04-03 13:45:20 +0000 | nate1 | (~nate@98.45.152.91) (Ping timeout: 246 seconds) |
| 2022-04-03 13:46:51 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 13:54:43 +0000 | <liqidmetalman> | k |
| 2022-04-03 13:55:07 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-03 13:55:24 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-03 13:58:06 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 14:00:11 +0000 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 260 seconds) |
| 2022-04-03 14:00:39 +0000 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d90e:8b62:fe9d:3118) (Ping timeout: 260 seconds) |
| 2022-04-03 14:00:54 +0000 | ski | (~ski@remote12.chalmers.se) (Quit: Lost terminal) |
| 2022-04-03 14:03:56 +0000 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d960:d98a:f624:8ef) |
| 2022-04-03 14:05:49 +0000 | dcoutts | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-03 14:06:14 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-03 14:19:03 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-03 14:20:48 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 14:21:02 +0000 | abastro | (~abab9579@192.249.26.132) (Ping timeout: 246 seconds) |
| 2022-04-03 14:28:35 +0000 | Guest38 | (~Guest38@188.147.98.147.nat.umts.dynamic.t-mobile.pl) |
| 2022-04-03 14:31:35 +0000 | kuribas | (~user@ptr-25vy0i7mej08atpseum.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-04-03 14:31:46 +0000 | <abastro[m]> | I wonder how ppl who lack matematical imaginative skills are doing programming work tbh |
| 2022-04-03 14:32:14 +0000 | <abastro[m]> | Like, doesn't it mean SW boom is going too much |
| 2022-04-03 14:34:54 +0000 | <[exa]> | not sure if actual math-specific imagination skills help much with programming |
| 2022-04-03 14:35:52 +0000 | <[exa]> | toddler-like "moving stuff very carefully around to the other heap" and "virtual rubber duck" is on top of my list tbh :D |
| 2022-04-03 14:39:45 +0000 | <liqidmetalman> | metasploit is the client... |
| 2022-04-03 14:40:07 +0000 | <liqidmetalman> | im learning but.. still cant get it to install because of some dependancy issues... |
| 2022-04-03 14:40:11 +0000 | <liqidmetalman> | any thoughs... |
| 2022-04-03 14:40:13 +0000 | <liqidmetalman> | .. |
| 2022-04-03 14:40:21 +0000 | <liqidmetalman> | *thoughts.. |
| 2022-04-03 14:40:38 +0000 | AdityaAlok[m] | (~mradityaa@2001:470:69fc:105::1:ee36) |
| 2022-04-03 14:40:44 +0000 | jushur | (~human@user/jushur) |
| 2022-04-03 14:41:03 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-03 14:41:12 +0000 | <[exa]> | liqidmetalman: as posted above, find actual community of people who use metasploit and show them whatever error message you have; probability of someone knowing stuff about whatever random metasploit extension is negligible |
| 2022-04-03 14:41:31 +0000 | <[exa]> | *someone here |
| 2022-04-03 14:42:38 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-04-03 14:43:36 +0000 | <[exa]> | also it looks like they're a bit more active on slack than on the IRC |
| 2022-04-03 14:43:41 +0000 | <abastro[m]> | [exa]: Well does that help haskell programming |
| 2022-04-03 14:43:58 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-03 14:44:08 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-03 14:44:08 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-03 14:44:08 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-03 14:44:11 +0000 | <[exa]> | abastro[m]: yeah, folding my foldy structures :D |
| 2022-04-03 14:44:29 +0000 | <[exa]> | putting stuff in boxes |
| 2022-04-03 14:44:53 +0000 | <[exa]> | checking if stuff fits in a weirdly shaped box |
| 2022-04-03 14:45:34 +0000 | <liz> | sounds like those skills would be useful in a packing facility too :P |
| 2022-04-03 14:46:00 +0000 | <[exa]> | oh yes, all these packages |
| 2022-04-03 14:46:12 +0000 | <[exa]> | :D |
| 2022-04-03 14:49:09 +0000 | Guest38 | (~Guest38@188.147.98.147.nat.umts.dynamic.t-mobile.pl) (Quit: Client closed) |
| 2022-04-03 14:50:21 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-03 14:51:59 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2022-04-03 14:53:04 +0000 | <abastro[m]> | ~~Packaging, sounds like geometric skills to me~~ |
| 2022-04-03 14:53:21 +0000 | <abastro[m]> | Hmm don't you apply equational reasoning |
| 2022-04-03 14:53:57 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-03 14:54:03 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-03 14:55:27 +0000 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-03 14:56:30 +0000 | <AdityaAlok[m]> | Hello! everyone. (I'm new to haskell as well as functional programming) I wanted to ask how `currying` is implemented for position dependent arguments. For eg. How does this work? How haskell knowns which argument is for which side..?... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d174dd238ef62939d268cd5673890b37aba0…) |
| 2022-04-03 14:56:43 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-03 14:57:06 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 14:58:52 +0000 | <abastro[m]> | Hm wdym by position dependent argument exactly in this example? |
| 2022-04-03 14:59:02 +0000 | <[exa]> | AdityaAlok[m]: if you mean the operator "section" shortcuts, the symmetric variants are (< 8) and (8 <) |
| 2022-04-03 14:59:07 +0000 | <[exa]> | ie you can choose |
| 2022-04-03 14:59:34 +0000 | <[exa]> | finally, your function is `id` :] |
| 2022-04-03 14:59:37 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-03 14:59:50 +0000 | <[exa]> | > id (<10) 5 |
| 2022-04-03 14:59:52 +0000 | <lambdabot> | True |
| 2022-04-03 14:59:58 +0000 | <[exa]> | > (<10) 5 |
| 2022-04-03 15:00:00 +0000 | <lambdabot> | True |
| 2022-04-03 15:00:03 +0000 | <[exa]> | > (<10) 15 |
| 2022-04-03 15:00:06 +0000 | <lambdabot> | False |
| 2022-04-03 15:00:15 +0000 | <[exa]> | > (10<) 15 |
| 2022-04-03 15:00:17 +0000 | <abastro[m]> | > ($) (<10) 5 |
| 2022-04-03 15:00:17 +0000 | <lambdabot> | True |
| 2022-04-03 15:00:19 +0000 | <lambdabot> | True |
| 2022-04-03 15:00:25 +0000 | <abastro[m]> | Closer analogue |
| 2022-04-03 15:02:15 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 15:02:26 +0000 | liqidmetalman | (~admin@c-98-234-46-210.hsd1.ca.comcast.net) () |
| 2022-04-03 15:03:53 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-03 15:04:38 +0000 | frost | (~frost@user/frost) (Ping timeout: 250 seconds) |
| 2022-04-03 15:05:50 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 15:14:01 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-03 15:15:03 +0000 | califax | (~califax@user/califx) |
| 2022-04-03 15:17:15 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-04-03 15:18:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-03 15:19:59 +0000 | <dminuoso> | AdityaAlok[m]: It's quite simple: The semantics are baked into the haskell report https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-300003.5 |
| 2022-04-03 15:20:06 +0000 | <dminuoso> | Translation: The following identities hold: |
| 2022-04-03 15:20:12 +0000 | <dminuoso> | (op e) = \ x -> x op e |
| 2022-04-03 15:20:19 +0000 | <dminuoso> | (e op) = \ x -> e op x |
| 2022-04-03 15:23:24 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 240 seconds) |
| 2022-04-03 15:26:36 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:51b:ed39:8828:ea95) |
| 2022-04-03 15:37:19 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-03 15:42:36 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:51b:ed39:8828:ea95) (Ping timeout: 240 seconds) |
| 2022-04-03 15:47:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 15:48:12 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 15:50:44 +0000 | metabulation | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-03 15:56:58 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-04-03 16:01:20 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-04-03 16:01:59 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-03 16:03:16 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-03 16:05:18 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 16:09:53 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-04-03 16:09:53 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-03 16:10:42 +0000 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-03 16:17:18 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 16:18:47 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 16:19:17 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:6d4c:38a4:18b7:4b48) (Ping timeout: 252 seconds) |
| 2022-04-03 16:20:28 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 16:23:09 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-03 16:23:29 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-04-03 16:25:40 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 16:27:22 +0000 | <shapr> | I suddenly wish for hoogle.haskell.org to return number of total uses for a thing, and number of uses in the past year. |
| 2022-04-03 16:27:47 +0000 | <shapr> | I searched for URL and many things are returned, but I don't know if there's a *popular* URL type |
| 2022-04-03 16:29:12 +0000 | <liz> | hackage states the number of downloads a package has, if that helps |
| 2022-04-03 16:29:39 +0000 | <shapr> | good point, but I think I want "packages uploaded in the last year that use this thing" |
| 2022-04-03 16:30:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-04-03 16:33:43 +0000 | <shapr> | liz: I guess number of downloads in the past year would work too |
| 2022-04-03 16:35:17 +0000 | <abastro[m]> | Oh, Number of uses for a specific functions? |
| 2022-04-03 16:35:18 +0000 | <abastro[m]> | That would be wonderful |
| 2022-04-03 16:36:24 +0000 | <liz> | there would be a lot of interesting metrics to have on hoogle/hackage |
| 2022-04-03 16:36:35 +0000 | <liz> | occurrences of functions in packages would be neat |
| 2022-04-03 16:37:00 +0000 | <shapr> | aha, rust's lib.rs has this feature: https://lib.rs/crates/serde |
| 2022-04-03 16:37:12 +0000 | <shapr> | let's copy that like ghcup copied rustup! |
| 2022-04-03 16:37:13 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) |
| 2022-04-03 16:38:15 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-03 16:40:25 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-03 16:41:07 +0000 | <abastro[m]> | TIL ghcup copied rustup |
| 2022-04-03 16:41:08 +0000 | <abastro[m]> | I thought they were independently developed and somehow got the same name |
| 2022-04-03 16:41:58 +0000 | <shapr> | oh hey, hoogle DOES have this feature! |
| 2022-04-03 16:42:44 +0000 | <shapr> | when I search https://hoogle.haskell.org/?hoogle=url&scope=set%3Astackage the second result is the package "url" and there's a "Uses" link on the right |
| 2022-04-03 16:43:22 +0000 | acidjnk | (~acidjnk@p200300d0c7049f70e9fe474f3be10533.dip0.t-ipconnect.de) |
| 2022-04-03 16:43:32 +0000 | <Rembane> | That's really cool |
| 2022-04-03 16:43:50 +0000 | <liz> | does the "up" in ghcup stand for anything? i always read it as G-H-Cup |
| 2022-04-03 16:44:32 +0000 | <shapr> | I assumed it was "update" for both ghcup and rustup, but I never thought about it? |
| 2022-04-03 16:44:54 +0000 | <shapr> | check it out! when I click the "Uses" link I get reverse dependencies! https://packdeps.haskellers.com/reverse/url |
| 2022-04-03 16:45:07 +0000 | <liz> | oh wow that's cool :o |
| 2022-04-03 16:45:07 +0000 | <Rembane> | I read it as the up in `ip link eno1 up` |
| 2022-04-03 16:47:15 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-03 16:48:55 +0000 | econo | (uid147250@user/econo) |
| 2022-04-03 16:50:54 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 16:53:10 +0000 | <monochrom> | I think of "suit up" and "level up". |
| 2022-04-03 16:54:42 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-03 16:55:56 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 16:57:14 +0000 | <Hecate> | shapr: oh yeah that's a redirect to packdeps :) |
| 2022-04-03 16:57:24 +0000 | simendsjo | (~user@84.211.91.241) |
| 2022-04-03 16:57:29 +0000 | <shapr> | yah, it's cool! I wish I knew about this before. |
| 2022-04-03 16:57:50 +0000 | <shapr> | I also wish I had "uses in the last year" and that this link showed up for everything, not just packages |
| 2022-04-03 16:57:56 +0000 | <shapr> | salut Hecate, ca va? |
| 2022-04-03 17:01:00 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 17:01:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-03 17:01:54 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-04-03 17:02:00 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-03 17:03:02 +0000 | <Hecate> | shapr: ça va. :) |
| 2022-04-03 17:03:09 +0000 | <shapr> | :-) |
| 2022-04-03 17:03:28 +0000 | <Hecate> | I'm having some trouble finishing the last couple issues needed for a Flora V1 |
| 2022-04-03 17:04:27 +0000 | <shapr> | What are those issues? |
| 2022-04-03 17:04:29 +0000 | monochrom | -o monochrom |
| 2022-04-03 17:05:10 +0000 | <Hecate> | shapr: https://github.com/flora-pm/flora-server/milestone/1 |
| 2022-04-03 17:05:32 +0000 | shapr | clones |
| 2022-04-03 17:05:36 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 17:06:18 +0000 | shapr | builds |
| 2022-04-03 17:06:52 +0000 | <Hecate> | shapr: the worst one I'd say, is this one https://github.com/flora-pm/flora-server/issues/78 |
| 2022-04-03 17:08:19 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-03 17:09:03 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 17:10:27 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-03 17:10:29 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-04-03 17:11:00 +0000 | <shapr> | whoa, datalog? |
| 2022-04-03 17:12:37 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-03 17:13:00 +0000 | <lechner> | Hi, what's a good way to understand, please, why Nix is so popular with some haskellers? Is it reproducibility? |
| 2022-04-03 17:13:15 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-03 17:13:40 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 17:14:12 +0000 | <hpc> | nix is also a pure functional language |
| 2022-04-03 17:14:29 +0000 | <hpc> | and someone went through the effort of making packaging haskell nix packages a lot easier |
| 2022-04-03 17:14:59 +0000 | <hpc> | and it's just interesting |
| 2022-04-03 17:15:02 +0000 | <shapr> | nix being pure means you can cache the compiled packages and then download them instead of rebuilding them locally. |
| 2022-04-03 17:15:03 +0000 | <Hecate> | shapr: ouais, j'utilise ça pour normaliser les catégories |
| 2022-04-03 17:15:10 +0000 | <shapr> | c'est choutte |
| 2022-04-03 17:15:46 +0000 | <Hecate> | yup' |
| 2022-04-03 17:15:50 +0000 | <Hecate> | c'est très chouette |
| 2022-04-03 17:15:58 +0000 | <shapr> | Is there a #haskell.fr ? |
| 2022-04-03 17:16:09 +0000 | <shapr> | huh, yes but it's dead |
| 2022-04-03 17:16:12 +0000 | shapr | shrugs |
| 2022-04-03 17:16:23 +0000 | <Hecate> | shapr: #haskell-fr actually |
| 2022-04-03 17:16:46 +0000 | <exarkun> | sometimes the cache even has stuff you wanted |
| 2022-04-03 17:17:49 +0000 | <Hecate> | exarkun: no way |
| 2022-04-03 17:18:54 +0000 | <lechner> | does nix in haskell refer to the whole nixos, or just the package manager? |
| 2022-04-03 17:19:32 +0000 | <Hecate> | lechner: just the package manager and the language |
| 2022-04-03 17:19:39 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-03 17:19:51 +0000 | <Hecate> | nix is popular amongst Haskellers because many here think that it is the redemption and salvation of programmers |
| 2022-04-03 17:20:00 +0000 | <lechner> | so nix is cabal for the non-haskell pieces |
| 2022-04-03 17:20:13 +0000 | <lechner> | ? |
| 2022-04-03 17:20:19 +0000 | <lechner> | that was a question |
| 2022-04-03 17:20:22 +0000 | <Hecate> | oh nix can even be for your haskell pieces |
| 2022-04-03 17:20:28 +0000 | <shapr> | lechner: I think that's a good description. |
| 2022-04-03 17:20:39 +0000 | <Hecate> | but that's another layer of complexity, and another culture |
| 2022-04-03 17:21:19 +0000 | <Hecate> | shapr: if you want to toy with Flora you're more than welcome to ask questions :) Just send them in PM so that I don't miss them in the channel |
| 2022-04-03 17:21:31 +0000 | <shapr> | lechner: one thing I like about nix is that I can specify all the dependencies for whatever I'm making, and they'll all be in scope when I switch to that project's context |
| 2022-04-03 17:21:40 +0000 | <shapr> | Hecate: or perhaps #haskell-in-depth ? |
| 2022-04-03 17:21:45 +0000 | <lechner> | how do you switch? |
| 2022-04-03 17:22:09 +0000 | <lechner> | or, what's a context? |
| 2022-04-03 17:22:09 +0000 | <shapr> | lechner: I use direnv so all the pieces are in scope when I change into that directory. |
| 2022-04-03 17:22:10 +0000 | <Hecate> | shapr: damn I didn't about this channel :D |
| 2022-04-03 17:22:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-03 17:22:40 +0000 | <shapr> | lechner: for example, my project https://github.com/shapr/takedouble does that |
| 2022-04-03 17:23:15 +0000 | <shapr> | lechner: the two popular ways I see nix used is "nix as package manager on top of other operating system" and "nix as operating system" |
| 2022-04-03 17:23:34 +0000 | <shapr> | if you have nix as pkg manager, you can do most of the same things |
| 2022-04-03 17:23:50 +0000 | <lechner> | How do I bring Nix's greatness to Debian? |
| 2022-04-03 17:24:02 +0000 | <shapr> | you can install nix-as-package-manager |
| 2022-04-03 17:24:40 +0000 | <lechner> | but the nix you run is completely sandboxed? |
| 2022-04-03 17:24:55 +0000 | <shapr> | mostly sandboxed, I have some things in global scope |
| 2022-04-03 17:25:07 +0000 | <shapr> | like zsh, firefox, emacs |
| 2022-04-03 17:25:26 +0000 | <geekosaur> | and even global scope isn't so global if you conditionalize the environment variable setup as I did |
| 2022-04-03 17:25:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-03 17:25:54 +0000 | <lechner> | if a personal question is permitted, what is our base systom, please? |
| 2022-04-03 17:25:58 +0000 | <lechner> | your |
| 2022-04-03 17:26:17 +0000 | <shapr> | I'm using NixOS directly on my laptop, but I used nix on mac at my last job. |
| 2022-04-03 17:26:27 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 17:26:34 +0000 | <geekosaur> | I've used Nix with Ubuntu in the past |
| 2022-04-03 17:26:57 +0000 | <lechner> | shapr: and NixOS has everything you need? |
| 2022-04-03 17:27:09 +0000 | <shapr> | lechner: for some value of everything, yes |
| 2022-04-03 17:27:17 +0000 | <lechner> | geekosaur: I'll need your advice in a minute! |
| 2022-04-03 17:27:34 +0000 | <geekosaur> | not using it currently but still have the setupif I do decide to reinstall it |
| 2022-04-03 17:27:48 +0000 | <shapr> | that is, some things are not yet packaged for nix/nixos, and it can be a pain to hammer a new package into the hermetically sealed viewpoint of nix |
| 2022-04-03 17:27:51 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-03 17:28:05 +0000 | <lechner> | why sealed? |
| 2022-04-03 17:28:20 +0000 | <geekosaur> | one thing I did not like about Nix was duplication: not only do you have to gc regularly to avoid Nix installing multiple copues of things, but having it duplicate parts of the OS is also annoying |
| 2022-04-03 17:28:22 +0000 | <shapr> | you can't know the exact dependencies otherwise |
| 2022-04-03 17:28:42 +0000 | <shapr> | yeah, that duplication can use lots of disk space |
| 2022-04-03 17:28:46 +0000 | <exarkun> | geekosaur: There are simple toggles you can turn on to run GC automatically. |
| 2022-04-03 17:28:51 +0000 | <geekosaur> | but it goes along with the "sealed" thing |
| 2022-04-03 17:29:00 +0000 | <lechner> | too tight? |
| 2022-04-03 17:29:06 +0000 | <shapr> | ? |
| 2022-04-03 17:29:20 +0000 | <exarkun> | The duplication is not, of course *actual* duplication. It's more like almost-duplication. |
| 2022-04-03 17:29:21 +0000 | <lechner> | one upgrade triggers too many rebuilds? |
| 2022-04-03 17:29:46 +0000 | <exarkun> | On Debian, if you upgrade glibc-locale then it just switches out from underneath all the rest of the software on your system |
| 2022-04-03 17:30:05 +0000 | <exarkun> | You still have version X.Y.Z of some random Foo package, but it's not actually the same software anymore because now it's using a different from of one of its dependencies |
| 2022-04-03 17:30:11 +0000 | <exarkun> | On NixOS, this doesn't happen |
| 2022-04-03 17:30:20 +0000 | <lechner> | due the way NixOS works, they do not distribute binaries, right? And never will? |
| 2022-04-03 17:30:32 +0000 | <geekosaur> | there is cachix |
| 2022-04-03 17:30:36 +0000 | <exarkun> | If you get a new version of a dependency, you get a new version of everything that depends on it (and you can keep or toss the old version with the previous version of the dependency, as you prefer). |
| 2022-04-03 17:30:45 +0000 | <exarkun> | NixOS does distribute binaries |
| 2022-04-03 17:30:53 +0000 | <exarkun> | Terabytes and terabytes of binaries |
| 2022-04-03 17:31:22 +0000 | <lechner> | are they permutations? |
| 2022-04-03 17:31:41 +0000 | <exarkun> | If you're a regular computer user instead of a programmer, chances are you will never do a local build of anything when using NixOS |
| 2022-04-03 17:31:49 +0000 | <exarkun> | (Chances are if you are a regular computer user you are not using NixOS, of course) |
| 2022-04-03 17:31:53 +0000 | <shapr> | :-D |
| 2022-04-03 17:31:55 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-03 17:32:27 +0000 | <exarkun> | lechner: NixOS is developed in a repo named "nixpkgs". A revision of nixpkgs is basically a version of the whole first-party package tree and the OS definition. |
| 2022-04-03 17:32:43 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 17:32:49 +0000 | <lechner> | yeah, i have actually contributed to it |
| 2022-04-03 17:32:54 +0000 | <exarkun> | lechner: There are certain branches in the development workflow for which binaries are built for every revision |
| 2022-04-03 17:32:59 +0000 | kaph | (~kaph@net-93-67-57-97.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2022-04-03 17:33:04 +0000 | <exarkun> | lechner: So if you install one of those revisions, all of the binaries are there. |
| 2022-04-03 17:33:15 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:c456:4602:f034:984a) |
| 2022-04-03 17:33:22 +0000 | <exarkun> | If you pick a different branch that's not part of that system, you get to build a ton of stuff |
| 2022-04-03 17:33:23 +0000 | <lechner> | i see |
| 2022-04-03 17:33:34 +0000 | <exarkun> | Or if you're packaging your own software that's not part of nixpkgs, you get to build that stuff |
| 2022-04-03 17:33:43 +0000 | <exarkun> | Cachix is pretty nice and makes it easy for you to have a binary cache of your own stuff |
| 2022-04-03 17:33:52 +0000 | <lechner> | it's like a completely declarative Gentoo |
| 2022-04-03 17:33:55 +0000 | <shapr> | yes |
| 2022-04-03 17:33:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-03 17:34:14 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-03 17:34:22 +0000 | <shapr> | I'd say most of the pain of nixos comes from everyday linux software taking a thoroughly non-declarative approach |
| 2022-04-03 17:34:43 +0000 | <exarkun> | yea, there's a /massive/ mismatch between the way nixos works and the way most people are used a linux working |
| 2022-04-03 17:35:03 +0000 | <exarkun> | the mismatch can create a little friction or a lot of friction, just depends |
| 2022-04-03 17:35:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-03 17:37:01 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-03 17:37:12 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-04-03 17:37:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Max SendQ exceeded) |
| 2022-04-03 17:37:28 +0000 | <shapr> | back to my question of an hour ago, is there a suggested URL type on hackage? |
| 2022-04-03 17:37:37 +0000 | <exarkun> | Some other pain of nixos comes from the nix language and toolchain being ... less than fully realized with respect to certain well-known desirable user affordances |
| 2022-04-03 17:37:46 +0000 | <shapr> | exarkun: ooh, I wanna hear you expand on that |
| 2022-04-03 17:37:56 +0000 | <lechner> | what's that is plain English, please? |
| 2022-04-03 17:38:08 +0000 | <exarkun> | eehh |
| 2022-04-03 17:38:19 +0000 | <shapr> | My biggest challenge is that I have never found a single document defining all the attributes and what they do. |
| 2022-04-03 17:38:28 +0000 | <hpc> | lechner: it's very hard to use :P |
| 2022-04-03 17:38:31 +0000 | crazazy | (~user@130.89.171.62) |
| 2022-04-03 17:38:33 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-04-03 17:38:48 +0000 | <lechner> | in Debian, we have what we call the "vendoring problem". it's a massive infrastructure mismatch between language-specific package managers and debian's traditional archive. debian must solve it in order to stay relevant |
| 2022-04-03 17:38:50 +0000 | <exarkun> | ty hpc |
| 2022-04-03 17:39:37 +0000 | <shapr> | I consider nix the language agnostic package manager, and once you get over the starting cost, it's really good at that. |
| 2022-04-03 17:39:41 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-04-03 17:39:41 +0000 | <exarkun> | For example one of the most common error messages I get from Nix is "error: value is a string while a set was expected" |
| 2022-04-03 17:39:43 +0000 | <shapr> | starting cost is high though |
| 2022-04-03 17:39:50 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-03 17:39:57 +0000 | <exarkun> | (and various predictable variations) |
| 2022-04-03 17:40:06 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-03 17:40:18 +0000 | <exarkun> | Ultimately this is caused by very simple, reasonable programming mistakes |
| 2022-04-03 17:41:04 +0000 | <exarkun> | Unfortunately you get very little extra help in finding the mistake |
| 2022-04-03 17:41:45 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-03 17:41:56 +0000 | <exarkun> | shapr: I agree documentation is another big weakness. |
| 2022-04-03 17:41:57 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-03 17:43:27 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-03 17:43:28 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-03 17:43:28 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-03 17:44:22 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-03 17:44:23 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-03 17:45:24 +0000 | <shapr> | what's the suggested SHA1 type at the moment? |
| 2022-04-03 17:46:11 +0000 | <shapr> | I'll try cryptonite |
| 2022-04-03 17:46:28 +0000 | <maerwald> | uh-oh |
| 2022-04-03 17:46:29 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-03 17:46:42 +0000 | <exarkun> | did I hear some people poo-pooing cryptonite recently |
| 2022-04-03 17:47:13 +0000 | <exarkun> | details are not coming to me |
| 2022-04-03 17:48:00 +0000 | <geekosaur> | various people distrust it because it does its own crypto and hasn't been validated |
| 2022-04-03 17:48:03 +0000 | <shapr> | maerwald: what would you suggest instead? |
| 2022-04-03 17:48:52 +0000 | <maerwald> | shapr: https://github.com/haskell-crypto/cryptonite/issues/330 |
| 2022-04-03 17:49:01 +0000 | <maerwald> | shapr: I use something else, let me check |
| 2022-04-03 17:49:25 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-03 17:49:25 +0000 | <shapr> | ouch |
| 2022-04-03 17:49:36 +0000 | <maerwald> | https://hackage.haskell.org/package/cryptohash-sha1 |
| 2022-04-03 17:49:40 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 17:49:41 +0000 | <shapr> | ok, I'll use that, thanks |
| 2022-04-03 17:51:22 +0000 | <exarkun> | ouch indeed :/ |
| 2022-04-03 17:52:34 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-04-03 17:52:46 +0000 | <maerwald> | was also discussed here https://mail.haskell.org/pipermail/libraries/2020-August/030670.html with some... ehm, "strong" replies |
| 2022-04-03 17:54:12 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-03 17:55:10 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 17:58:28 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-03 17:58:57 +0000 | kaph | (~kaph@151.47.165.211) |
| 2022-04-03 17:59:37 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.4.1) |
| 2022-04-03 17:59:59 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-04-03 18:00:03 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 2022-04-03 18:00:04 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-03 18:02:27 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:c456:4602:f034:984a) (Read error: Connection reset by peer) |
| 2022-04-03 18:02:38 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-03 18:02:46 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:c456:4602:f034:984a) |
| 2022-04-03 18:02:53 +0000 | Topsi | (~Tobias@dyndsl-095-033-019-200.ewe-ip-backbone.de) |
| 2022-04-03 18:05:27 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-03 18:07:33 +0000 | kaph | (~kaph@151.47.165.211) (Read error: Connection reset by peer) |
| 2022-04-03 18:08:56 +0000 | kaph | (~kaph@151.47.165.211) |
| 2022-04-03 18:11:49 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-04-03 18:12:44 +0000 | deadmars- | (~deadmarsh@95.38.117.185) |
| 2022-04-03 18:12:58 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 260 seconds) |
| 2022-04-03 18:13:33 +0000 | deadmarshal_ | (~deadmarsh@95.38.113.202) (Ping timeout: 260 seconds) |
| 2022-04-03 18:14:32 +0000 | entbsagtc^ | (~entbsagtc@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-03 18:15:05 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-03 18:18:05 +0000 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) |
| 2022-04-03 18:18:13 +0000 | <d34df00d> | Hi! |
| 2022-04-03 18:18:16 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-03 18:18:50 +0000 | <shapr> | howdy d34df00d, how you doin? |
| 2022-04-03 18:19:05 +0000 | <d34df00d> | I bumped my stackage lts to 19.1 (the one with ghc 9.0.2), and now I get `Could not find module ‘Prelude’ // Perhaps you haven't installed the profiling libraries for package ‘base-4.15.1.0’?` when I try to build a just created project with `stack build --profile`. |
| 2022-04-03 18:19:18 +0000 | <d34df00d> | So, what am I doing wrong and how to fix this? |
| 2022-04-03 18:19:30 +0000 | <d34df00d> | shapr: can't profile, that sucks :( |
| 2022-04-03 18:19:38 +0000 | <shapr> | oh, that's no fun |
| 2022-04-03 18:19:43 +0000 | <shapr> | I don't know anything about stack, sorry |
| 2022-04-03 18:20:03 +0000 | <maerwald> | maybe https://gitlab.haskell.org/ghc/ghc/-/issues/21190 ? |
| 2022-04-03 18:20:22 +0000 | <maerwald> | they're switching to hadrian produced bindists, so maybe 9.0.2 is affected as well |
| 2022-04-03 18:20:31 +0000 | <d34df00d> | maerwald: that looks related, except that's 9.2.2 and I'm having that with 9.0.2. |
| 2022-04-03 18:20:43 +0000 | <d34df00d> | Yep, would be interesting if 9.0.2 is also affected. |
| 2022-04-03 18:21:03 +0000 | <d34df00d> | Curious what's the fix. |
| 2022-04-03 18:21:11 +0000 | <d34df00d> | (except rolling back to 8.10) |
| 2022-04-03 18:21:42 +0000 | <maerwald> | I think it is affected |
| 2022-04-03 18:22:47 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-03 18:24:59 +0000 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-03 18:26:24 +0000 | <maerwald> | so you'll have to build from source |
| 2022-04-03 18:27:29 +0000 | <d34df00d> | Ugh, probably not worth it. |
| 2022-04-03 18:27:42 +0000 | <maerwald> | ghcup compile ghc -j 10 -v 9.0.2 -b 8.10.7 |
| 2022-04-03 18:27:42 +0000 | <d34df00d> | I think I'll just revert to ghc-8.10/lts-18.x |
| 2022-04-03 18:28:48 +0000 | <maerwald> | you can use ghc-8.10.7 with lts-19.1 |
| 2022-04-03 18:30:05 +0000 | <geekosaur> | there have been a couple reports of the 9.0.2 bindist missing profiling libraries; best you can currently do is still to 8.10.7 apparently |
| 2022-04-03 18:30:17 +0000 | <geekosaur> | s/still/stick |
| 2022-04-03 18:30:42 +0000 | <maerwald> | d34df00d: what distro? |
| 2022-04-03 18:30:53 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-04-03 18:31:16 +0000 | Graham31415 | (~Graham@user/Graham31415) |
| 2022-04-03 18:31:19 +0000 | deadmars- | (~deadmarsh@95.38.117.185) (Ping timeout: 260 seconds) |
| 2022-04-03 18:32:27 +0000 | <d34df00d> | maerwald: gentoo lol |
| 2022-04-03 18:32:48 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 18:32:52 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-03 18:32:58 +0000 | <maerwald> | d34df00d: I think that's binary compatible with fedora34... I'm building 9.0.2 there right now and can upload the bindist afterwards |
| 2022-04-03 18:35:56 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-03 18:36:46 +0000 | <d34df00d> | maerwald: that'd be useful, thanks! |
| 2022-04-03 18:36:55 +0000 | <d34df00d> | maerwald: how would I marry that to stack? |
| 2022-04-03 18:36:59 +0000 | <maerwald> | system-ghc: true |
| 2022-04-03 18:37:03 +0000 | <d34df00d> | Ah, makes sense. |
| 2022-04-03 18:37:07 +0000 | <maerwald> | https://docs.haskellstack.org/en/stable/yaml_configuration/#system-ghc |
| 2022-04-03 18:37:14 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-03 18:37:30 +0000 | <d34df00d> | Hmm, how do I check if a ghc installation has a version of base libraries with profiling enabled? |
| 2022-04-03 18:37:58 +0000 | <d34df00d> | I already have gentoo's own prebuilt binaries, so wonder if they'd work. |
| 2022-04-03 18:38:55 +0000 | <maerwald> | you try to build a project with profiling enabled |
| 2022-04-03 18:40:20 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-03 18:40:54 +0000 | <geekosaur> | you can dig around for libHSbase-x.y.z.w-somehash.p_a, but just trying to build a profiled helloworld app would probably be easier |
| 2022-04-03 18:41:57 +0000 | <geekosaur> | hm,or just look in its install for any file with suffix .p_a I guess would be enough |
| 2022-04-03 18:42:10 +0000 | foul_owl | (~kerry@23.82.193.88) (Ping timeout: 260 seconds) |
| 2022-04-03 18:42:37 +0000 | <d34df00d> | Nope, no p_a for me :( |
| 2022-04-03 18:43:09 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-04-03 18:44:54 +0000 | <geekosaur> | oh, looks like it's _p.a |
| 2022-04-03 18:45:39 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-03 18:45:48 +0000 | <geekosaur> | interestingly, whatever build it used on my system has the p.a and p_hi files in at least 9.2.2 |
| 2022-04-03 18:45:55 +0000 | geekosaur | checks 9.0.2 |
| 2022-04-03 18:46:08 +0000 | <geekosaur> | missing there |
| 2022-04-03 18:47:55 +0000 | foul_owl | (~kerry@23.82.193.88) |
| 2022-04-03 18:47:56 +0000 | kaph | (~kaph@151.47.165.211) (Read error: Connection reset by peer) |
| 2022-04-03 18:49:01 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 18:49:02 +0000 | <d34df00d> | Well, I actually just grepped the installed files for libHSbase and got libHSbase-4.15.1.0-ghc9.0.2.so and libHSbase-4.15.1.0.a, and that's it. |
| 2022-04-03 18:53:48 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 18:54:07 +0000 | <janus> | d34df00d: did you already see https://gitlab.haskell.org/ghc/ghc/-/issues/20707 ? |
| 2022-04-03 18:54:13 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 18:54:45 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-04-03 18:55:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-03 18:56:05 +0000 | <janus> | i don't understand why there is both 21190 and 20707.. |
| 2022-04-03 18:56:27 +0000 | <lechner> | different versions? |
| 2022-04-03 18:58:08 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 18:58:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-03 18:59:26 +0000 | <janus> | well you'd think the fix for 9.2.1 would make it such that no issue for 9.2.2 would be needed |
| 2022-04-03 18:59:27 +0000 | Graham31415 | (~Graham@user/Graham31415) (Read error: Connection reset by peer) |
| 2022-04-03 18:59:57 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 19:01:49 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 19:02:23 +0000 | <lechner> | "issues like #21190" https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7753 |
| 2022-04-03 19:02:27 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-03 19:03:49 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-03 19:04:17 +0000 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 250 seconds) |
| 2022-04-03 19:12:19 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-03 19:13:59 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-03 19:16:02 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-04-03 19:16:26 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-03 19:17:07 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-04-03 19:18:32 +0000 | <maerwald> | d34df00d: https://downloads.haskell.org/~ghcup/unofficial-bindists/ghc/9.0.2/ghc-9.0.2-x86_64-linux-fedora-3… |
| 2022-04-03 19:18:51 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-03 19:19:35 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-03 19:20:36 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) |
| 2022-04-03 19:20:59 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-03 19:21:30 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 19:24:47 +0000 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-04-03 19:24:59 +0000 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-03 19:26:06 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 19:27:20 +0000 | <d34df00d> | maerwald: yay, thanks! |
| 2022-04-03 19:27:27 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-03 19:30:35 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-04-03 19:30:53 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-03 19:32:22 +0000 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-03 19:33:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-03 19:37:21 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-03 19:37:26 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-03 19:41:18 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-03 19:41:19 +0000 | entbsagtc^ | (~entbsagtc@c-24-99-107-170.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 19:43:00 +0000 | odnes | (~odnes@5-203-146-18.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-03 19:46:56 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Remote host closed the connection) |
| 2022-04-03 19:48:14 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-03 19:48:29 +0000 | Psybur | (~Psybur@2600:1003:b12f:917d:c456:4602:f034:984a) (Read error: Connection reset by peer) |
| 2022-04-03 19:48:49 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-04-03 19:50:24 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f750:a200:f9d1:c665:a064:ac5a) |
| 2022-04-03 19:50:45 +0000 | Inst | (~Liam@2601:6c4:4080:3f80:854:307a:efd:ab95) |
| 2022-04-03 19:51:51 +0000 | zer0bitz | (~zer0bitz@2001:2003:f750:a200:d960:d98a:f624:8ef) (Ping timeout: 256 seconds) |
| 2022-04-03 19:52:38 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-04-03 19:52:42 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-03 19:56:48 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::3800) (Ping timeout: 260 seconds) |
| 2022-04-03 19:56:57 +0000 | alMalsamo | littlebobeep |
| 2022-04-03 19:58:37 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-03 19:59:03 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-04-03 19:59:18 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-03 20:00:16 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-03 20:00:35 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-03 20:01:17 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 20:02:41 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-03 20:05:02 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 20:05:58 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-03 20:06:43 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 20:06:50 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2022-04-03 20:09:06 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-03 20:11:41 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 20:15:52 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f750:a200:f9d1:c665:a064:ac5a) (Ping timeout: 260 seconds) |
| 2022-04-03 20:16:26 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 20:16:32 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-03 20:17:11 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-04-03 20:17:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-04-03 20:19:19 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-03 20:21:18 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 20:23:30 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-03 20:27:19 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 20:27:53 +0000 | <maerwald> | good to know optparse-applicative isn't runtime-safe just because it compiles |
| 2022-04-03 20:28:03 +0000 | <maerwald> | you can just get an infinite loop |
| 2022-04-03 20:28:05 +0000 | dudek | (~dudek@185.150.236.127) |
| 2022-04-03 20:28:46 +0000 | <maerwald> | https://github.com/pcapriotti/optparse-applicative/issues/58 |
| 2022-04-03 20:29:56 +0000 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
| 2022-04-03 20:30:59 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) |
| 2022-04-03 20:32:18 +0000 | hueso | (~root@user/hueso) |
| 2022-04-03 20:32:47 +0000 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2022-04-03 20:34:43 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 20:35:43 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 20:38:17 +0000 | pavonia | (~user@user/siracusa) |
| 2022-04-03 20:38:31 +0000 | stevenxl | (~stevenxl@c-73-72-2-81.hsd1.il.comcast.net) (Quit: leaving) |
| 2022-04-03 20:40:03 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 250 seconds) |
| 2022-04-03 20:41:59 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-03 20:41:59 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-03 20:43:43 +0000 | rawley | (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 2022-04-03 20:51:19 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-04-03 20:53:24 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-03 20:56:11 +0000 | <janus> | is it going to be a lot slower to do `length . Map.elems` instead of just `length` straight on the map? |
| 2022-04-03 20:58:05 +0000 | <geekosaur> | it will be slower, since length on Map is probably using Map.size |
| 2022-04-03 21:09:33 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-03 21:09:48 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 21:12:28 +0000 | <janus> | ok, makes sense, thanks |
| 2022-04-03 21:13:09 +0000 | <janus> | turns out i can't avoid constructing iterating the map anyway because i wanna get rid of deprecated packages |
| 2022-04-03 21:13:18 +0000 | <janus> | s/constructing// |
| 2022-04-03 21:13:22 +0000 | acidjnk | (~acidjnk@p200300d0c7049f70e9fe474f3be10533.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-03 21:13:50 +0000 | <janus> | oh well, should still be faster now... |
| 2022-04-03 21:14:05 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 252 seconds) |
| 2022-04-03 21:15:04 +0000 | belphegor666 | (~satan@user/belphegor666) (Read error: Connection reset by peer) |
| 2022-04-03 21:17:30 +0000 | <janus> | sclv: these two commits are kinda independent but i put them in the same PR because i think they should both be palatable: https://github.com/haskell/hackage-server/pull/1049/commits |
| 2022-04-03 21:19:24 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-03 21:21:53 +0000 | <sclv> | janus: nice. on the face of it it looks better |
| 2022-04-03 21:22:32 +0000 | <janus> | i am kinda thinking now that the huge slowdown for non-search is just because it wasn't using itemCache |
| 2022-04-03 21:22:40 +0000 | <janus> | so turns out there was a cache already, i guess :) |
| 2022-04-03 21:24:12 +0000 | <sclv> | cool. maybe i'll let the dust settle a bit and redeploy again on the weekend |
| 2022-04-03 21:24:23 +0000 | <janus> | yep yep |
| 2022-04-03 21:24:49 +0000 | alp | (~alp@user/alp) |
| 2022-04-03 21:25:13 +0000 | deadmarshal_ | (~deadmarsh@95.38.119.185) |
| 2022-04-03 21:29:35 +0000 | deadmarshal_ | (~deadmarsh@95.38.119.185) (Ping timeout: 260 seconds) |
| 2022-04-03 21:30:11 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 21:34:42 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) |
| 2022-04-03 21:38:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-03 21:38:34 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-03 21:39:23 +0000 | yauhsien | (~yauhsien@61-231-37-33.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-03 21:40:03 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-03 21:40:18 +0000 | Alleria | (~textual@user/alleria) (Ping timeout: 272 seconds) |
| 2022-04-03 21:42:55 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-03 21:43:07 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 21:45:22 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 21:49:25 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 240 seconds) |
| 2022-04-03 21:49:54 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-03 21:50:58 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-03 21:52:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-03 21:52:13 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 21:52:55 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 21:53:18 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 21:54:30 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 21:55:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-03 21:55:47 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 21:55:55 +0000 | Alleria | (~textual@user/alleria) |
| 2022-04-03 21:56:46 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) |
| 2022-04-03 22:01:50 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-04-03 22:04:49 +0000 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-03 22:05:18 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-03 22:05:41 +0000 | BlackboardN | (~nathan@user/BlackboardN) |
| 2022-04-03 22:06:48 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 22:09:36 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-03 22:12:41 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 22:14:51 +0000 | kaph | (~kaph@151.35.76.11) |
| 2022-04-03 22:15:19 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-03 22:15:38 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-03 22:16:35 +0000 | crazazy | (~user@130.89.171.62) (Ping timeout: 256 seconds) |
| 2022-04-03 22:16:47 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-03 22:17:09 +0000 | BlackboardN | (~nathan@user/BlackboardN) (Ping timeout: 256 seconds) |
| 2022-04-03 22:18:13 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-03 22:21:46 +0000 | kaph | (~kaph@151.35.76.11) (Read error: Connection reset by peer) |
| 2022-04-03 22:21:55 +0000 | fendor | (~fendor@178.115.59.46.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-03 22:23:31 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-03 22:25:32 +0000 | srk- | (~sorki@user/srk) |
| 2022-04-03 22:27:11 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-03 22:27:18 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b89d:8c20:3683:54c9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-03 22:28:23 +0000 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2022-04-03 22:28:26 +0000 | srk- | srk |
| 2022-04-03 22:29:13 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-03 22:30:53 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-03 22:37:44 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-03 22:40:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-03 22:42:16 +0000 | srk- | (~sorki@user/srk) |
| 2022-04-03 22:43:32 +0000 | dudek | (~dudek@185.150.236.127) (Quit: Leaving) |
| 2022-04-03 22:44:36 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-03 22:45:04 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-03 22:45:23 +0000 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2022-04-03 22:45:23 +0000 | srk- | srk |
| 2022-04-03 22:47:59 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-03 22:49:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-03 22:49:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-03 22:49:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-03 22:52:15 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-03 22:52:16 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-03 22:53:43 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-03 22:55:27 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 2022-04-03 22:57:33 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-03 23:03:23 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 260 seconds) |
| 2022-04-03 23:07:21 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 256 seconds) |
| 2022-04-03 23:08:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-03 23:08:43 +0000 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-04-03 23:09:12 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-03 23:10:27 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-03 23:11:13 +0000 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-04-03 23:11:38 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-03 23:15:40 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-03 23:15:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-03 23:15:40 +0000 | finn_elija | FinnElija |
| 2022-04-03 23:23:32 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 272 seconds) |
| 2022-04-03 23:26:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 23:27:12 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-03 23:27:43 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) (Max SendQ exceeded) |
| 2022-04-03 23:28:23 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-03 23:28:50 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) (Max SendQ exceeded) |
| 2022-04-03 23:29:18 +0000 | chenqisu1 | (~chenqisu1@183.217.200.168) |
| 2022-04-03 23:35:34 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 272 seconds) |
| 2022-04-03 23:38:44 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-03 23:39:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-03 23:40:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-03 23:41:20 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-04-03 23:42:33 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-04-03 23:43:00 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Ping timeout: 240 seconds) |
| 2022-04-03 23:45:21 +0000 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-04-03 23:48:04 +0000 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-04-03 23:50:05 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-03 23:53:04 +0000 | <dons> | morning all. happy monday. |
| 2022-04-03 23:55:21 +0000 | <geekosaur> | o/ |
| 2022-04-03 23:58:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-04-03 23:59:00 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |