2024/11/16

2024-11-16 00:00:14 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-16 00:06:27 +0100ephilalethes(~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) noumenon
2024-11-16 00:10:09 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-16 00:12:21 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-11-16 00:12:21 +0100ljdarj1ljdarj
2024-11-16 00:15:29 +0100housemate(~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
2024-11-16 00:15:56 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 00:20:51 +0100fluxit(~fluxit@192.241.192.75) fluxit
2024-11-16 00:28:53 +0100ephilalethes(~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving)
2024-11-16 00:35:13 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-11-16 00:35:37 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-11-16 00:39:26 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-11-16 00:44:16 +0100hellwolf(~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
2024-11-16 00:46:09 +0100emfrom(~emfrom@37.166.83.170) (Remote host closed the connection)
2024-11-16 00:46:47 +0100sergio(uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-16 00:57:54 +0100j1n37(~j1n37@li657-110.members.linode.com)
2024-11-16 00:59:24 +0100hellwolf(~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2024-11-16 01:04:21 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds)
2024-11-16 01:06:22 +0100acidjnk_new(~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-11-16 01:07:35 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection)
2024-11-16 01:07:55 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2
2024-11-16 01:08:06 +0100j1n37(~j1n37@li657-110.members.linode.com) (Changing host)
2024-11-16 01:08:06 +0100j1n37(~j1n37@user/j1n37) j1n37
2024-11-16 01:12:27 +0100j1n37(~j1n37@user/j1n37) (Quit: goodbye today)
2024-11-16 01:13:26 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-16 01:14:44 +0100j1n37(~j1n37@li657-110.members.linode.com)
2024-11-16 01:15:16 +0100j1n37(~j1n37@li657-110.members.linode.com) (Changing host)
2024-11-16 01:15:16 +0100j1n37(~j1n37@user/j1n37) j1n37
2024-11-16 01:16:03 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2024-11-16 01:16:03 +0100ljdarj1ljdarj
2024-11-16 01:16:13 +0100j1n37(~j1n37@user/j1n37) (Client Quit)
2024-11-16 01:17:31 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2024-11-16 01:19:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-16 01:19:54 +0100gvg(~dcd@user/gvg) (Ping timeout: 260 seconds)
2024-11-16 01:20:20 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-16 01:21:34 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 272 seconds)
2024-11-16 01:23:17 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-16 01:26:26 +0100gvg(~dcd@user/gvg) gvg
2024-11-16 01:27:39 +0100housemate(~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
2024-11-16 01:28:11 +0100rvalue-rvalue
2024-11-16 01:34:48 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 01:44:00 +0100housemate(~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
2024-11-16 01:54:28 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-16 01:57:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-16 01:58:45 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-16 02:07:09 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2024-11-16 02:13:49 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection)
2024-11-16 02:14:09 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2
2024-11-16 02:17:11 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-16 02:32:04 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-11-16 02:33:14 +0100xff0x(~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) (Ping timeout: 260 seconds)
2024-11-16 02:33:16 +0100califax(~califax@user/califx) califx
2024-11-16 02:36:19 +0100xff0x(~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9)
2024-11-16 02:39:09 +0100euandreh(~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds)
2024-11-16 02:41:30 +0100zenmovdymenshen
2024-11-16 02:42:58 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2024-11-16 02:57:52 +0100jinsun(~jinsun@user/jinsun) jinsun
2024-11-16 03:44:36 +0100 <zzz> :t \h f g -> uncurry h . (f &&& g)
2024-11-16 03:44:37 +0100 <lambdabot> (a1 -> b -> c) -> (a2 -> a1) -> (a2 -> b) -> a2 -> c
2024-11-16 03:44:47 +0100 <zzz> :t liftA2
2024-11-16 03:44:48 +0100 <lambdabot> Applicative f => (a -> b -> c) -> f a -> f b -> f c
2024-11-16 03:46:15 +0100 <zzz> :t liftA2 @((->) _)
2024-11-16 03:46:16 +0100 <lambdabot> error: parse error on input ‘->’
2024-11-16 03:46:54 +0100 <zzz> % :t liftA2 @((->) _)
2024-11-16 03:46:54 +0100 <yahb2> liftA2 @((->) _) ; :: Applicative ((->) w) => ; (a -> b -> c) -> (w -> a) -> (w -> b) -> w -> c
2024-11-16 03:47:02 +0100 <probie> :t [\h f g -> uncurry h . (f &&& g), liftA2]
2024-11-16 03:47:03 +0100 <lambdabot> [(c1 -> c' -> c2) -> (a -> c1) -> (a -> c') -> a -> c2]
2024-11-16 03:49:51 +0100 <zzz> ah nice
2024-11-16 03:49:55 +0100 <zzz> took me a second
2024-11-16 03:52:20 +0100 <zzz> :t [\h f g -> uncurry h . (f &&& g), liftA2, \h f g -> h <$> f <*> g]
2024-11-16 03:52:21 +0100 <lambdabot> [(c -> a1 -> b) -> (a2 -> c) -> (a2 -> a1) -> a2 -> b]
2024-11-16 04:26:17 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-16 04:27:08 +0100td_(~td@i53870902.versanet.de) (Ping timeout: 244 seconds)
2024-11-16 04:28:49 +0100td_(~td@i53870904.versanet.de) td_
2024-11-16 04:42:18 +0100terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat)
2024-11-16 04:44:00 +0100terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::) terrorjack
2024-11-16 04:47:03 +0100gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2024-11-16 04:47:24 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-16 04:49:30 +0100alexherbo2(~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection)
2024-11-16 04:56:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-11-16 04:56:26 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-11-16 04:56:56 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-11-16 04:59:05 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-11-16 05:02:02 +0100kimiamania(~924ba01d@user/kimiamania) (Quit: PegeLinux)
2024-11-16 05:02:26 +0100kimiamania(~924ba01d@user/kimiamania) kimiamania
2024-11-16 05:08:28 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-11-16 05:11:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-16 05:12:17 +0100troojg(~troojg@user/troojg) troojg
2024-11-16 05:33:30 +0100hellwolf(~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 246 seconds)
2024-11-16 06:13:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-11-16 06:15:31 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-11-16 07:24:40 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection)
2024-11-16 07:25:01 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2024-11-16 07:25:54 +0100troojg(~troojg@user/troojg) (Ping timeout: 252 seconds)
2024-11-16 07:26:10 +0100Inst_Inst
2024-11-16 07:26:13 +0100 <Inst> oh hey, just found this
2024-11-16 07:26:53 +0100 <Inst> https://www.gtf.io/musings/why-haskell
2024-11-16 07:27:15 +0100 <Inst> a Haskell company that doesn't do blockchain!
2024-11-16 07:27:24 +0100 <Inst> /sarcasm
2024-11-16 07:30:03 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-11-16 07:55:52 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-16 07:57:43 +0100alp(~alp@2001:861:e3d6:8f80:dfbc:4b45:bfd4:9ca) (Remote host closed the connection)
2024-11-16 07:58:01 +0100euphores(~SASL_euph@user/euphores) euphores
2024-11-16 07:58:05 +0100alp(~alp@2001:861:e3d6:8f80:b28:bb9d:24a:dcbb)
2024-11-16 07:59:25 +0100alp(~alp@2001:861:e3d6:8f80:b28:bb9d:24a:dcbb) (Remote host closed the connection)
2024-11-16 07:59:40 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-11-16 07:59:42 +0100alp(~alp@2001:861:e3d6:8f80:77b9:36e9:fd11:e443)
2024-11-16 08:00:11 +0100JamesMowery43(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2024-11-16 08:00:46 +0100JamesMowery43(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2024-11-16 08:01:08 +0100alp(~alp@2001:861:e3d6:8f80:77b9:36e9:fd11:e443) (Remote host closed the connection)
2024-11-16 08:01:24 +0100alp(~alp@2001:861:e3d6:8f80:9e1d:abec:af2f:f3e8)
2024-11-16 08:03:01 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-11-16 08:03:07 +0100alp_(~alp@2001:861:e3d6:8f80:bbd7:d31b:51f7:4f06)
2024-11-16 08:04:32 +0100alp_(~alp@2001:861:e3d6:8f80:bbd7:d31b:51f7:4f06) (Remote host closed the connection)
2024-11-16 08:04:49 +0100alp_(~alp@2001:861:e3d6:8f80:716b:21:cd14:2871)
2024-11-16 08:06:14 +0100alp_(~alp@2001:861:e3d6:8f80:716b:21:cd14:2871) (Remote host closed the connection)
2024-11-16 08:06:28 +0100alp(~alp@2001:861:e3d6:8f80:9e1d:abec:af2f:f3e8) (Ping timeout: 246 seconds)
2024-11-16 08:06:31 +0100alp_(~alp@2001:861:e3d6:8f80:1116:aeee:b462:c8eb)
2024-11-16 08:07:57 +0100alp_(~alp@2001:861:e3d6:8f80:1116:aeee:b462:c8eb) (Remote host closed the connection)
2024-11-16 08:08:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-16 08:08:42 +0100alp_(~alp@2001:861:e3d6:8f80:8763:6c7f:fed7:317)
2024-11-16 08:09:59 +0100alp__(~alp@2001:861:e3d6:8f80:f392:7b0e:5b21:9620)
2024-11-16 08:11:21 +0100alp__(~alp@2001:861:e3d6:8f80:f392:7b0e:5b21:9620) (Remote host closed the connection)
2024-11-16 08:11:43 +0100alp__(~alp@2001:861:e3d6:8f80:4edb:6ea0:3cb0:4d91)
2024-11-16 08:11:58 +0100ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2024-11-16 08:13:07 +0100alp_(~alp@2001:861:e3d6:8f80:8763:6c7f:fed7:317) (Ping timeout: 246 seconds)
2024-11-16 08:13:22 +0100alp_(~alp@2001:861:e3d6:8f80:1e43:c809:e4b7:d0ab)
2024-11-16 08:14:45 +0100alp_(~alp@2001:861:e3d6:8f80:1e43:c809:e4b7:d0ab) (Remote host closed the connection)
2024-11-16 08:15:17 +0100alp_(~alp@2001:861:e3d6:8f80:40e:175d:d439:a53)
2024-11-16 08:16:55 +0100alp__(~alp@2001:861:e3d6:8f80:4edb:6ea0:3cb0:4d91) (Ping timeout: 264 seconds)
2024-11-16 08:17:28 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-16 08:20:17 +0100alp_(~alp@2001:861:e3d6:8f80:40e:175d:d439:a53) (Ping timeout: 248 seconds)
2024-11-16 08:24:44 +0100Square(~Square@user/square) Square
2024-11-16 08:50:16 +0100ubert(~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert
2024-11-16 08:54:42 +0100jinsun_(~jinsun@user/jinsun) jinsun
2024-11-16 08:54:42 +0100jinsunGuest4939
2024-11-16 08:54:42 +0100Guest4939(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2024-11-16 08:54:42 +0100jinsun_jinsun
2024-11-16 08:58:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-16 08:58:39 +0100 <Inst> oh, and I feel even better about this story
2024-11-16 08:59:23 +0100 <Inst> it turns out:
2024-11-16 08:59:25 +0100 <Inst> https://www.reddit.com/r/haskell/comments/15nhkoo/looking_for_a_haskell_contractor/
2024-11-16 08:59:52 +0100zmt01(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2024-11-16 09:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-11-16 09:00:07 +0100 <Inst> "I hope you post a review of Haskell and your experiences if your experience is successful!" :)
2024-11-16 09:00:13 +0100 <Inst> that hope was evinced
2024-11-16 09:00:37 +0100caconym(~caconym@user/caconym) caconym
2024-11-16 09:03:12 +0100zmt00(~zmt00@user/zmt00) zmt00
2024-11-16 09:03:28 +0100 <Inst> and it looks like, but I can't be sure, but at that stage in the lifecycle, they had one Haskell project. Now, according to their review, they have teams doing Haskell. Awesome!
2024-11-16 09:08:46 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-11-16 09:11:52 +0100 <Inst> /s/evinced/realized
2024-11-16 09:13:48 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds)
2024-11-16 09:40:43 +0100ubert(~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-11-16 09:44:05 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-11-16 09:48:03 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-16 09:52:58 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada
2024-11-16 10:00:32 +0100acidjnk_new(~acidjnk@p200300d6e7283f16217d3049e4b57741.dip0.t-ipconnect.de) acidjnk
2024-11-16 10:02:31 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-11-16 10:07:31 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 265 seconds)
2024-11-16 10:15:44 +0100jinsun_(~jinsun@user/jinsun) jinsun
2024-11-16 10:15:44 +0100jinsun(~jinsun@user/jinsun) (Killed (copper.libera.chat (Nickname regained by services)))
2024-11-16 10:15:44 +0100jinsun_jinsun
2024-11-16 10:21:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-16 10:22:03 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds)
2024-11-16 10:34:30 +0100zetef(~quassel@2a02:2f0d:7604:d600:6bf8:6f36:5ad4:3689) zetef
2024-11-16 10:34:30 +0100zetef(~quassel@2a02:2f0d:7604:d600:6bf8:6f36:5ad4:3689) (Client Quit)
2024-11-16 10:43:14 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-11-16 10:46:15 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-11-16 10:53:05 +0100alp(~alp@2001:861:e3d6:8f80:44a2:a4b3:2ffd:645a)
2024-11-16 10:56:23 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-16 11:06:29 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 11:07:50 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-16 11:16:30 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-11-16 11:16:32 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-11-16 11:16:59 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-11-16 11:17:33 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2024-11-16 11:20:03 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)