IRCBrowse

2024/02/05

2024-02-05 00:00:21 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 00:06:21 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2024-02-05 00:08:07 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 260 seconds)
2024-02-05 00:09:44 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 00:12:21 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-02-05 00:12:49 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 00:15:25 +0100acidjnk_new(~acidjnk@p200300d6e737e71815e0d25cbf100a78.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-02-05 00:21:44 +0100 <haskellbridge> 05<i​rregularsphere> (don't take this as professional advice) but I think `Maybe (NonEmpty a)` has concise safe functions like `>>= nonEmpty . init`
2024-02-05 00:23:04 +0100 <haskellbridge> 05<i​rregularsphere> ...or if that's the only benefit, then I'd prefer `[a]` i guess
2024-02-05 00:32:12 +0100potato44(uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-05 00:33:29 +0100 <EvanR> to spice things up consider Maybe (a, [a])
2024-02-05 00:36:00 +0100 <haskellbridge> 05<i​rregularsphere> isn't `(a, [a])` just `NonEmpty a` but without the functions
2024-02-05 00:37:12 +0100 <jackdk> It's easier to pass `NonEmpty a` to consumers which don't want to consider empty lists, and that forces the emptiness check outwards in a convenient way
2024-02-05 00:37:48 +0100Feuermagier(~Feuermagi@user/feuermagier)
2024-02-05 00:39:16 +0100 <haskellbridge> 05<i​rregularsphere> ncf: if kleisli composition is `(>>=): Monad m => m a -> (a -> m b) -> m b`, shouldn't our theoretical `unKleisli` be `(m a -> m b) -> (a -> m b)`
2024-02-05 00:40:19 +0100mobounce(~mobivme@user/mobivme) (Ping timeout: 260 seconds)
2024-02-05 00:40:42 +0100 <ncf> well that's just (. pure)
2024-02-05 00:40:51 +0100 <haskellbridge> 05<i​rregularsphere> yea
2024-02-05 00:40:55 +0100 <ncf> but yeah, not a great name, i'm just parroting the agda codebase
2024-02-05 00:41:12 +0100 <haskellbridge> 05<i​rregularsphere> you said `-> m (a -> b)` though, I'm stressing on that
2024-02-05 00:41:28 +0100 <ncf> if i had to name it i'd name it distribute, or something (it should be some kind of distributive law for (->) over m)
2024-02-05 00:42:08 +0100 <haskellbridge> 05<i​rregularsphere> "(. pure)" yup
2024-02-05 00:43:10 +0100johnw(~johnw@69.62.242.138) (Ping timeout: 264 seconds)
2024-02-05 00:43:17 +0100johnw_(~johnw@69.62.242.138)
2024-02-05 00:44:26 +0100fansly(~fansly@2001:448a:2010:476e:fcbe:e3e5:ceb0:7fbe)
2024-02-05 00:44:42 +0100johnw_(~johnw@69.62.242.138) (Client Quit)
2024-02-05 00:46:55 +0100 <jackdk> I haven't been following closely but `m (a -> b) -> (m a -> m b)` is `(<*>)`, so would `(f a -> f b) -> f (a -> b)` be tied to some kind of coapplicative? (There's a remark in `Data.Distributive` that class `Distributive` uses `Functor` and not some kind of coapplicative because there are no non-trivial comonoids in standard Haskell, but maybe in other settings?)
2024-02-05 00:48:47 +0100 <ncf> that's not quite the type we're discussing
2024-02-05 00:49:13 +0100 <jackdk> ah, ok
2024-02-05 00:49:58 +0100 <ncf> your thing would be a closed monoidal functor, i think?
2024-02-05 00:50:22 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2024-02-05 00:50:33 +0100 <jackdk> something like that, but my cat-fu is too weak to be certain
2024-02-05 00:50:35 +0100son0p(~ff@186.121.12.53)
2024-02-05 00:51:48 +0100puke(~puke@user/puke) (Read error: Connection reset by peer)
2024-02-05 00:52:08 +0100puke(~puke@user/puke)
2024-02-05 00:53:14 +0100JordiGH(~jordi@user/jordigh)
2024-02-05 00:56:32 +0100 <ncf> returning to unKleisli, one might cheekily name it "choice", because instantiating m with the propositional truncation monad yields the axiom of choice
2024-02-05 00:57:37 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-02-05 00:57:50 +0100 <ncf> "if for every a one can choose (in m) a b, then there is (in m) a function from a to b"
2024-02-05 01:05:33 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-02-05 01:06:41 +0100destituion(~destituio@2a02:2121:304:cc78:71fe:5788:2033:9f91) (Ping timeout: 256 seconds)
2024-02-05 01:07:47 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-02-05 01:07:56 +0100zmt01(~zmt00@user/zmt00)
2024-02-05 01:10:34 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2024-02-05 01:12:59 +0100destituion(~destituio@2a02:2121:626:f551:7691:f531:69f8:5291)
2024-02-05 01:17:34 +0100rvalue(~rvalue@user/rvalue)
2024-02-05 01:18:05 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2024-02-05 01:20:18 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-02-05 01:23:01 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.)
2024-02-05 01:23:27 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-02-05 01:23:59 +0100bilegeek(~bilegeek@2600:1008:b00b:6566:5eea:38e6:54d6:a59a)
2024-02-05 01:31:35 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-02-05 01:33:20 +0100falafel(~falafel@12.97.24.242)
2024-02-05 01:37:46 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2024-02-05 01:41:34 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2024-02-05 01:51:21 +0100 <ski> given `Monad M', a function `f :: M T -> M U' is referentially transparent iff there exists a `g :: T -> M U' such that `f = (g =<<)'. in that case, `f . return = (g =<<) . return = g' (latter step being a monad law), so we can equivalently describe the condition as `f = (f . return =<<)'
2024-02-05 01:57:14 +0100 <ski> ncf : why call that operation `unKleisli', though ?
2024-02-05 01:57:39 +0100 <ski> irregularsphere : doesn't seem like kleisli composition, to me
2024-02-05 02:00:26 +0100falafel(~falafel@12.97.24.242) (Ping timeout: 256 seconds)
2024-02-05 02:03:40 +0100average(uid473595@user/average)
2024-02-05 02:04:16 +0100fansly(~fansly@2001:448a:2010:476e:fcbe:e3e5:ceb0:7fbe) (Ping timeout: 276 seconds)
2024-02-05 02:04:29 +0100fansly(~fansly@114.124.236.77)
2024-02-05 02:20:49 +0100Erutuon(~Erutuon@user/erutuon)
2024-02-05 02:23:34 +0100lambdaman(~textual@d172-218-204-71.bchsia.telus.net)
2024-02-05 02:26:01 +0100fansly(~fansly@114.124.236.77) (Remote host closed the connection)
2024-02-05 02:38:15 +0100Achylles(~Achylles_@45.182.57.53) (Remote host closed the connection)
2024-02-05 02:41:14 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2024-02-05 02:41:20 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-02-05 02:42:43 +0100Lord_of_Life_Lord_of_Life
2024-02-05 02:45:58 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-02-05 02:50:06 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 02:56:27 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-02-05 02:58:12 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-05 03:04:54 +0100falafel(~falafel@12.97.24.242)
2024-02-05 03:05:06 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-02-05 03:05:08 +0100 <haskellbridge> 05<i​rregularsphere> yea i meant morphism
2024-02-05 03:05:18 +0100 <haskellbridge> 05<i​rregularsphere> ...or at least that's the `a -> m b` part
2024-02-05 03:06:40 +0100 <haskellbridge> 05<i​rregularsphere> ah, thanks for mentioning =<<
2024-02-05 03:15:11 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-02-05 03:26:22 +0100otto_s(~user@p4ff27bd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-02-05 03:27:20 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-05 03:27:48 +0100otto_s(~user@p5de2f1f9.dip0.t-ipconnect.de)
2024-02-05 03:31:33 +0100dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-05 03:32:47 +0100lambdaman(~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-02-05 03:33:01 +0100dolio(~dolio@130.44.134.54)
2024-02-05 03:35:32 +0100dolio(~dolio@130.44.134.54) (Client Quit)
2024-02-05 03:37:45 +0100lambdaman(~textual@d172-218-204-71.bchsia.telus.net)
2024-02-05 03:41:12 +0100dolio(~dolio@130.44.134.54)
2024-02-05 03:41:16 +0100Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-02-05 03:43:02 +0100Pixi(~Pixi@user/pixi)
2024-02-05 03:51:35 +0100falafel(~falafel@12.97.24.242) (Ping timeout: 264 seconds)
2024-02-05 03:55:51 +0100dolio(~dolio@130.44.134.54) (Ping timeout: 260 seconds)
2024-02-05 03:59:18 +0100lambdaman(~textual@d172-218-204-71.bchsia.telus.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-02-05 04:01:35 +0100lambdaman(~textual@172.218.204.71)
2024-02-05 04:02:55 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
2024-02-05 04:13:27 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-02-05 04:14:22 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-02-05 04:36:50 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-02-05 04:40:01 +0100td_(~td@i5387090F.versanet.de) (Ping timeout: 246 seconds)
2024-02-05 04:41:59 +0100td_(~td@i53870920.versanet.de)
2024-02-05 04:46:01 +0100sroso(~sroso@user/SrOso)
2024-02-05 04:47:21 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2024-02-05 04:50:03 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-02-05 04:52:45 +0100pavonia(~user@user/siracusa)
2024-02-05 05:08:52 +0100JordiGH(~jordi@user/jordigh) (Ping timeout: 276 seconds)
2024-02-05 05:21:07 +0100Buggys(Buggys@shelltalk.net)
2024-02-05 05:54:58 +0100aforemny_(~aforemny@2001:9e8:6cc1:3e00:6eba:7874:227:7b7c)
2024-02-05 05:55:33 +0100aforemny(~aforemny@89.245.22.249) (Ping timeout: 268 seconds)
2024-02-05 06:11:58 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Quit: )
2024-02-05 06:13:19 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-02-05 06:13:44 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 06:19:37 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 264 seconds)
2024-02-05 06:20:57 +0100johnw(~johnw@69.62.242.138)
2024-02-05 06:53:31 +0100lambdaman(~textual@172.218.204.71) (Read error: Connection reset by peer)
2024-02-05 06:55:15 +0100mobivme(~mobivme@104.28.226.104)
2024-02-05 06:56:03 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-02-05 06:56:18 +0100mulk(~mulk@p5b2dc663.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-02-05 06:58:46 +0100mulk(~mulk@pd9514313.dip0.t-ipconnect.de)
2024-02-05 07:00:23 +0100mobivme(~mobivme@104.28.226.104) (Ping timeout: 252 seconds)
2024-02-05 07:02:48 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-02-05 07:02:59 +0100igemnace(~ian@user/igemnace)
2024-02-05 07:04:27 +0100zetef(~quassel@95.77.17.251)
2024-02-05 07:06:59 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-05 07:07:33 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 07:10:45 +0100michalz(~michalz@185.246.207.197)
2024-02-05 07:17:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-02-05 07:18:08 +0100michalz(~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-05 07:20:53 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 07:21:01 +0100michalz(~michalz@185.246.207.197)
2024-02-05 07:29:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-02-05 07:29:57 +0100euleritian(~euleritia@dynamic-176-005-136-105.176.5.pool.telefonica.de)
2024-02-05 07:32:14 +0100acidjnk_new(~acidjnk@p200300d6e737e7151d48d69d15fdaa8c.dip0.t-ipconnect.de)
2024-02-05 07:37:57 +0100rosco(rosco@gateway/vpn/airvpn/rosco)
2024-02-05 07:38:16 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-02-05 07:47:03 +0100zetef(~quassel@95.77.17.251) (Remote host closed the connection)
2024-02-05 07:48:33 +0100zetef(~quassel@95.77.17.251)
2024-02-05 07:51:26 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1)
2024-02-05 07:53:57 +0100zetef(~quassel@95.77.17.251) (Ping timeout: 268 seconds)
2024-02-05 07:54:44 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2024-02-05 07:58:39 +0100raym(~ray@user/raym) (Ping timeout: 256 seconds)
2024-02-05 07:59:55 +0100raym(~ray@user/raym)
2024-02-05 08:15:38 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds)
2024-02-05 08:19:21 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2024-02-05 08:26:59 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer)
2024-02-05 08:27:16 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2024-02-05 08:30:05 +0100jargon(~jargon@105.sub-174-205-230.myvzw.com) (Remote host closed the connection)
2024-02-05 08:34:45 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1)
2024-02-05 08:36:52 +0100johnw(~johnw@69.62.242.138) (Ping timeout: 276 seconds)
2024-02-05 08:54:07 +0100mreh(~matthew@host86-160-168-81.range86-160.btcentralplus.com)
2024-02-05 08:59:18 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-05 09:00:39 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-02-05 09:01:09 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-05 09:01:42 +0100Square2(~Square4@user/square)
2024-02-05 09:01:54 +0100euleritian(~euleritia@dynamic-176-005-136-105.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 09:02:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 09:03:00 +0100sroso(~sroso@user/SrOso) (Read error: Connection reset by peer)
2024-02-05 09:03:11 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-02-05 09:03:33 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2024-02-05 09:06:19 +0100sroso(~sroso@user/SrOso)
2024-02-05 09:09:19 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-02-05 09:13:07 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection)
2024-02-05 09:13:51 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:14:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:15:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:15:33 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com)
2024-02-05 09:15:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:16:16 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:16:33 +0100rosco(rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal)
2024-02-05 09:17:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:17:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 09:18:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:19:03 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:19:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:20:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:20:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:23:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:23:47 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:24:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:24:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:25:28 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-05 09:26:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:26:17 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2024-02-05 09:26:34 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:27:18 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:27:48 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:28:33 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:28:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:29:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:29:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:30:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:30:33 +0100gmg(~user@user/gehmehgeh)
2024-02-05 09:30:38 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:31:00 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:31:18 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:31:24 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-02-05 09:32:10 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:32:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:32:36 +0100igemnace(~ian@user/igemnace)
2024-02-05 09:33:03 +0100CiaoSen(~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03)
2024-02-05 09:33:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:34:06 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:34:48 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:35:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:35:30 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:35:48 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:36:03 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-02-05 09:36:19 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-05 09:36:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:36:57 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:37:18 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:37:37 +0100chele(~chele@user/chele)
2024-02-05 09:37:38 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:37:57 +0100gmg(~user@user/gehmehgeh)
2024-02-05 09:38:26 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:38:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:39:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:39:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:40:14 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2024-02-05 09:40:34 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:40:59 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-02-05 09:40:59 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-02-05 09:41:00 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:41:42 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:42:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:42:28 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:42:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:43:33 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:44:01 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-02-05 09:44:05 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:44:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:44:53 +0100gmg(~user@user/gehmehgeh)
2024-02-05 09:45:15 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:45:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:46:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:46:56 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:47:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:48:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:48:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:49:07 +0100__monty__(~toonn@user/toonn)
2024-02-05 09:49:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:50:13 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:50:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:51:18 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:51:40 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:52:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:52:33 +0100fluffyballoon(45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 256 seconds)
2024-02-05 09:52:33 +0100jkoshy(99b9359beb@user/jkoshy) (Ping timeout: 256 seconds)
2024-02-05 09:52:33 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 256 seconds)
2024-02-05 09:52:33 +0100probie(cc0b34050a@user/probie) (Ping timeout: 256 seconds)
2024-02-05 09:52:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:53:07 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Ping timeout: 256 seconds)
2024-02-05 09:53:07 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 256 seconds)
2024-02-05 09:53:15 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:54:00 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:54:01 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-02-05 09:54:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:55:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:55:26 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:55:41 +0100jmcantrell(644f1bed9a@user/jmcantrell)
2024-02-05 09:55:49 +0100akspecs(00cc8321af@sourcehut/user/akspecs)
2024-02-05 09:55:53 +0100JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3)
2024-02-05 09:56:03 +0100fluffyballoon(45ce440a48@2a03:6000:1812:100::e2)
2024-02-05 09:56:07 +0100probie(cc0b34050a@user/probie)
2024-02-05 09:56:18 +0100tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-05 09:56:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:56:52 +0100tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2024-02-05 09:56:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:57:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:57:36 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:57:41 +0100yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection)
2024-02-05 09:58:25 +0100ircbrowse_tom(~ircbrowse@static.162.49.55.162.clients.your-server.de)
2024-02-05 09:58:31 +0100Server+Cnt
2024-02-05 09:59:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 09:59:38 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 09:59:59 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:00:16 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:00:37 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:00:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:02:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:02:26 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:02:47 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:03:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:03:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:03:42 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:04:03 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:04:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:04:45 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:05:06 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:05:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:06:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:06:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:06:46 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:07:07 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:07:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:07:45 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:08:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:08:23 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:08:40 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:09:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:09:18 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:10:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:10:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:10:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:10:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:11:04 +0100jkoshy(99b9359beb@user/jkoshy)
2024-02-05 10:11:42 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:12:00 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:12:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:12:39 +0100 <ncf> ski: what condition are you describing?
2024-02-05 10:12:59 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:13:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:13:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:13:47 +0100 <ncf> also, why is that called referential transparency? i don't see the connection
2024-02-05 10:14:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 10:14:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:15:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:15:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:15:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:15:58 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 10:16:31 +0100mmhat(~mmh@p200300f1c73bf4b3ee086bfffe095315.dip0.t-ipconnect.de)
2024-02-05 10:17:05 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:17:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:17:27 +0100califax(~califax@user/califx)
2024-02-05 10:17:48 +0100cyphase(~cyphase@user/cyphase)
2024-02-05 10:18:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:18:31 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:18:52 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:19:09 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:19:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:19:47 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:20:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:20:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:20:46 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:21:03 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:21:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:21:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:22:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:22:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:22:40 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:23:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:23:22 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:23:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:23:59 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:24:17 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:25:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:25:36 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:25:57 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:26:14 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:26:35 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:26:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:27:14 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:27:31 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:27:52 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:28:09 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:28:15 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-05 10:28:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:29:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:29:55 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:30:14 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:30:35 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:30:56 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:31:17 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:31:34 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:31:55 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:32:12 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:32:33 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:32:54 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:33:15 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:33:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:33:36 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-02-05 10:34:16 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:34:34 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:34:55 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:35:12 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:35:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:35:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:36:00 +0100gmg(~user@user/gehmehgeh)
2024-02-05 10:36:34 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:36:52 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:36:53 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
2024-02-05 10:37:13 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:37:31 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:37:52 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:38:09 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:38:30 +0100 <lyxia> "replacing a subexpression with another that denotes the same value does not change meaning". If "u :: M T" is an expression/computation, and if "x :: T" is its value, you want something like (f u) = (f (pure x)).
2024-02-05 10:38:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:39:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:39:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:39:49 +0100tt12310(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-02-05 10:39:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:40:11 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:40:29 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:40:50 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:41:07 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:41:28 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:41:41 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-02-05 10:41:45 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:42:06 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:42:18 +0100tt1231(~tt123@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 268 seconds)
2024-02-05 10:42:19 +0100tt12310tt1231
2024-02-05 10:42:23 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:42:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:43:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:43:22 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:43:27 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-02-05 10:43:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:44:00 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:44:17 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:44:38 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:44:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:45:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:45:37 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:45:58 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:46:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:47:03 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:47:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:47:46 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:48:20 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:49:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:49:23 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:49:44 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:50:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:50:23 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:50:23 +0100swistak(~swistak@185.21.216.141)
2024-02-05 10:50:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:51:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:51:41 +0100danse-nr3(~danse@na-19-84-1.service.infuturo.it)
2024-02-05 10:51:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:52:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:52:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:52:45 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:52:47 +0100danse-nr3(~danse@na-19-84-1.service.infuturo.it) (Remote host closed the connection)
2024-02-05 10:53:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:53:10 +0100danse-nr3(~danse@na-19-84-1.service.infuturo.it)
2024-02-05 10:53:25 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2024-02-05 10:53:46 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:54:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:54:25 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:54:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:55:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:55:22 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:56:06 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:56:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:56:45 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:57:03 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:57:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:57:41 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:58:02 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:58:19 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:58:39 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:58:46 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-02-05 10:59:01 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 10:59:22 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 10:59:40 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:00:24 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:00:43 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:01:04 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:01:21 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:01:56 +0100 <int-e> yellowbean: why so many rejoins
2024-02-05 11:02:06 +0100pruiz(~user@user/pruiz)
2024-02-05 11:02:35 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:02:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:03:14 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:03:32 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:03:49 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2024-02-05 11:04:16 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:04:35 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:04:56 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:05:15 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:05:36 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:05:53 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:06:14 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:06:31 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:06:52 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:07:09 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:07:30 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:07:43 +0100puke(~puke@user/puke) (Remote host closed the connection)
2024-02-05 11:07:47 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:08:08 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:08:09 +0100puke(~puke@user/puke)
2024-02-05 11:08:26 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:08:47 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:09:07 +0100yellowbean(~yellowbea@n219078235252.netvigator.com)
2024-02-05 11:09:51 +0100yellowbean(~yellowbea@n219078235252.netvigator.com) (Remote host closed the connection)
2024-02-05 11:16:39 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-02-05 11:17:21 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-02-05 11:19:44 +0100 <haskellbridge> 05<i​rregularsphere> ski: you seem to be hinting that there are functions that aren't referentially transparent
2024-02-05 11:20:00 +0100 <haskellbridge> 05<i​rregularsphere> hmm, maybe `reverse :: [a] -> [a]` is one?
2024-02-05 11:21:13 +0100 <haskellbridge> 05<i​rregularsphere> ghci> reverse [1,2]
2024-02-05 11:21:13 +0100 <haskellbridge> 05<i​rregularsphere> [2,1]
2024-02-05 11:21:14 +0100 <haskellbridge> 05<i​rregularsphere> ghci> [1,2] >>= reverse . return
2024-02-05 11:21:15 +0100 <haskellbridge> 05<i​rregularsphere> [1,2]
2024-02-05 11:21:39 +0100rosco(rosco@gateway/vpn/airvpn/rosco)
2024-02-05 11:21:51 +0100 <haskellbridge> 05<i​rregularsphere> ncf: concludes it, not all functions `m a -> m b` have a proper `a -> m b`
2024-02-05 11:22:03 +0100 <haskellbridge> 05<i​rregularsphere> thanks ski!
2024-02-05 11:23:30 +0100tromp(~textual@92.110.219.57)
2024-02-05 11:24:35 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-02-05 11:26:18 +0100 <ncf> i'm pretty sure that's only the case for idempotent monads
2024-02-05 11:26:40 +0100 <haskellbridge> 05<i​rregularsphere> ...though `\f -> >>= f . return` seems to turn every function into referentially transparent functions, since `>>= (>>= f . return) . return` is `>>= f . return` (monad law)
2024-02-05 11:28:00 +0100bilegeek(~bilegeek@2600:1008:b00b:6566:5eea:38e6:54d6:a59a) (Quit: Leaving)
2024-02-05 11:29:12 +0100 <haskellbridge> 05<i​rregularsphere> ncf: wdym? are you saying that in an indempotent monad, every function is referentially transparent?
2024-02-05 11:29:24 +0100 <haskellbridge> 05<i​rregularsphere> every function `m a -> m b`*
2024-02-05 11:30:03 +0100 <ncf> specifically i'm thinking of "uniquely eliminating modalities", which is quite a strong condition
2024-02-05 11:30:19 +0100 <haskellbridge> 05<i​rregularsphere> ok I'm lost, bailing out
2024-02-05 11:31:17 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2024-02-05 11:35:19 +0100erisco_(~erisco@d24-141-66-165.home.cgocable.net)
2024-02-05 11:35:43 +0100Square3(~Square4@user/square)
2024-02-05 11:35:50 +0100mxs8(~mxs@user/mxs)
2024-02-05 11:35:59 +0100fr33domlover3(~fr33domlo@towards.vision)
2024-02-05 11:36:05 +0100ulvarref`(~user@188.124.56.153)
2024-02-05 11:36:19 +0100malte_(~malte@mal.tc)
2024-02-05 11:36:23 +0100sefidel_(~sefidel@user/sefidel)
2024-02-05 11:36:25 +0100tt12310(~tt123@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-02-05 11:36:31 +0100SethTisue_(sid14912@2a03:5180:f:3::3a40)
2024-02-05 11:36:41 +0100exarkun_(~exarkun@user/exarkun)
2024-02-05 11:36:41 +0100aspen_(sid449115@id-449115.helmsley.irccloud.com)
2024-02-05 11:36:44 +0100g_(glguy@libera/staff/glguy)
2024-02-05 11:36:47 +0100yaroot_(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c)
2024-02-05 11:36:48 +0100alanz_(sid110616@id-110616.uxbridge.irccloud.com)
2024-02-05 11:36:49 +0100tabemann_(~tabemann@2600:1700:7990:24e0:2c89:8f43:9cbc:9a87)
2024-02-05 11:36:53 +0100jbalint_(~jbalint@2600-6c44-117f-e98a-816a-9488-0fb1-07b7.inf6.spectrum.com)
2024-02-05 11:36:57 +0100kaskal-(~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c)
2024-02-05 11:36:59 +0100orcus-(~orcus@mail.brprice.uk)
2024-02-05 11:37:00 +0100nitrix_(~nitrix@user/nitrix)
2024-02-05 11:37:01 +0100T_S_____(sid501726@2a03:5180:f:5::7:a7de)
2024-02-05 11:37:11 +0100Techcable_(sid534393@user/Techcable)
2024-02-05 11:37:23 +0100YoungFrawg(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-02-05 11:37:24 +0100darksatanic(~darkling@2001:ba8:1f1:f0e6::2)
2024-02-05 11:37:28 +0100wryishly(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-02-05 11:38:09 +0100hexology-(~hexology@user/hexology)
2024-02-05 11:38:11 +0100xnbya2(~xnbya@2a01:4f8:c17:cbdd::1)
2024-02-05 11:38:33 +0100markasoftware_(~quassel@107.161.26.124)
2024-02-05 11:38:37 +0100masterbuilder_(~quassel@157.97.10.49)
2024-02-05 11:38:53 +0100stefan-___(~m-yh2rcc@42dots.de)
2024-02-05 11:39:01 +0100Rembane_(~Rembane@li346-36.members.linode.com)
2024-02-05 11:39:03 +0100nckx_(~nckx@libera/staff/owl/nckx)
2024-02-05 11:39:04 +0100it__(~quassel@188.172.228.139)
2024-02-05 11:39:09 +0100shane(~shane@ana.rch.ist)
2024-02-05 11:39:41 +0100ddb1(ddb@tilde.club)
2024-02-05 11:39:45 +0100ski_(~ski@remote11.chalmers.se)
2024-02-05 11:40:02 +0100SrOs0(~sroso@user/SrOso)
2024-02-05 11:40:06 +0100meejah_(~meejah@104.236.166.239)
2024-02-05 11:40:13 +0100remsen(ianremsen@198.50.210.248)
2024-02-05 11:40:51 +0100Maxdaman1us(~Maxdamant@user/maxdamantus)
2024-02-05 11:41:38 +0100infinity0_(~infinity0@pwned.gg)
2024-02-05 11:41:38 +0100infinity0(~infinity0@pwned.gg) (Killed (erbium.libera.chat (Nickname regained by services)))
2024-02-05 11:41:38 +0100infinity0_infinity0
2024-02-05 11:44:10 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (*.net *.split)
2024-02-05 11:44:10 +0100sroso(~sroso@user/SrOso) (*.net *.split)
2024-02-05 11:44:10 +0100Square2(~Square4@user/square) (*.net *.split)
2024-02-05 11:44:10 +0100masterbuilder(~quassel@user/masterbuilder) (*.net *.split)
2024-02-05 11:44:10 +0100remmie(ianremsen@tilde.team) (*.net *.split)
2024-02-05 11:44:10 +0100tabemann(~tabemann@2600:1700:7990:24e0:fe92:5597:dc34:acbb) (*.net *.split)
2024-02-05 11:44:10 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (*.net *.split)
2024-02-05 11:44:10 +0100nitrix(~nitrix@user/nitrix) (*.net *.split)
2024-02-05 11:44:10 +0100sefidel(~sefidel@user/sefidel) (*.net *.split)
2024-02-05 11:44:10 +0100ulvarrefr(~user@188.124.56.153) (*.net *.split)
2024-02-05 11:44:10 +0100darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split)
2024-02-05 11:44:10 +0100kaskal(~kaskal@2001:4bb8:2c3:39c1:ff3f:d58:4fd9:e10c) (*.net *.split)
2024-02-05 11:44:10 +0100yaroot(~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (*.net *.split)
2024-02-05 11:44:10 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split)
2024-02-05 11:44:10 +0100stefan-__(~m-yh2rcc@42dots.de) (*.net *.split)
2024-02-05 11:44:10 +0100mxs(~mxs@user/mxs) (*.net *.split)
2024-02-05 11:44:10 +0100ski(~ski@remote11.chalmers.se) (*.net *.split)
2024-02-05 11:44:11 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
2024-02-05 11:44:11 +0100pounce(~pounce@user/cute/pounce) (*.net *.split)
2024-02-05 11:44:11 +0100g(glguy@libera/staff/glguy) (*.net *.split)
2024-02-05 11:44:11 +0100Flow(~none@gentoo/developer/flow) (*.net *.split)
2024-02-05 11:44:11 +0100ddb(ddb@2607:5300:203:b92b::115) (*.net *.split)
2024-02-05 11:44:11 +0100markasoftware(~quassel@107.161.26.124) (*.net *.split)
2024-02-05 11:44:11 +0100erisco(~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split)
2024-02-05 11:44:11 +0100Techcable(sid534393@user/Techcable) (*.net *.split)
2024-02-05 11:44:11 +0100hexology(~hexology@user/hexology) (*.net *.split)
2024-02-05 11:44:11 +0100xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2024-02-05 11:44:11 +0100wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
2024-02-05 11:44:11 +0100fr33domlover(~fr33domlo@towards.vision) (*.net *.split)
2024-02-05 11:44:11 +0100nckx(~nckx@libera/staff/owl/nckx) (*.net *.split)
2024-02-05 11:44:11 +0100malte(~malte@mal.tc) (*.net *.split)
2024-02-05 11:44:11 +0100woffs(3cd46299b2@woffs.de) (*.net *.split)
2024-02-05 11:44:11 +0100orcus(~orcus@mail.brprice.uk) (*.net *.split)
2024-02-05 11:44:11 +0100shane_(~shane@ana.rch.ist) (*.net *.split)
2024-02-05 11:44:11 +0100aspen(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2024-02-05 11:44:11 +0100alanz(sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
2024-02-05 11:44:11 +0100it_(~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
2024-02-05 11:44:11 +0100SethTisue(sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
2024-02-05 11:44:11 +0100T_S____(sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
2024-02-05 11:44:11 +0100noctux(~noctux@user/noctux) (*.net *.split)
2024-02-05 11:44:11 +0100exarkun(~exarkun@user/exarkun) (*.net *.split)
2024-02-05 11:44:11 +0100jbalint(~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (*.net *.split)
2024-02-05 11:44:11 +0100Rembane(~Rembane@li346-36.members.linode.com) (*.net *.split)
2024-02-05 11:44:11 +0100meejah(~meejah@rutas.meejah.ca) (*.net *.split)
2024-02-05 11:44:11 +0100remsenremmie
2024-02-05 11:44:11 +0100tt12310tt1231
2024-02-05 11:44:11 +0100yaroot_yaroot
2024-02-05 11:44:12 +0100mxs8mxs
2024-02-05 11:44:12 +0100nckx_nckx
2024-02-05 11:44:12 +0100alanz_alanz
2024-02-05 11:44:12 +0100SethTisue_SethTisue
2024-02-05 11:44:12 +0100aspen_aspen
2024-02-05 11:44:16 +0100sefidel_sefidel
2024-02-05 11:44:16 +0100YoungFrawgYoungFrog
2024-02-05 11:44:16 +0100fr33domlover3fr33domlover
2024-02-05 11:44:16 +0100malte_malte
2024-02-05 11:44:17 +0100Techcable_Techcable
2024-02-05 11:44:17 +0100g_g
2024-02-05 11:44:45 +0100nitrix_nitrix
2024-02-05 11:44:47 +0100noctux(~noctux@user/noctux)
2024-02-05 11:45:07 +0100iteratee_(~kyle@162.218.222.207)
2024-02-05 11:45:23 +0100iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2024-02-05 11:46:53 +0100erisco(~erisco@d24-141-66-165.home.cgocable.net)
2024-02-05 11:48:35 +0100erisco_(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds)
2024-02-05 11:48:45 +0100stefan-___stefan-__
2024-02-05 11:50:11 +0100pounce(~pounce@user/cute/pounce)
2024-02-05 11:50:48 +0100Flow(~none@gentoo/developer/flow)
2024-02-05 12:02:05 +0100CiaoSen(~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds)
2024-02-05 12:08:15 +0100woffs(3cd46299b2@woffs.de)
2024-02-05 12:09:35 +0100dyniec(~dyniec@dybiec.info) (Ping timeout: 264 seconds)
2024-02-05 12:09:52 +0100dyniec(~dyniec@dybiec.info)
2024-02-05 12:11:59 +0100titibandit(~titibandi@user/titibandit) (Ping timeout: 264 seconds)
2024-02-05 12:12:05 +0100danse-nr3(~danse@na-19-84-1.service.infuturo.it) (Ping timeout: 260 seconds)
2024-02-05 12:12:13 +0100titibandit(~titibandi@user/titibandit)
2024-02-05 12:12:46 +0100danse-nr3(~danse@rm-19-12-255.service.infuturo.it)
2024-02-05 12:19:01 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-05 12:19:28 +0100rscastilho2024(~rscastilh@189.61.140.215) (Remote host closed the connection)
2024-02-05 12:27:23 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-02-05 12:27:43 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-02-05 12:28:11 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 264 seconds)
2024-02-05 12:28:25 +0100ski_ski
2024-02-05 12:29:20 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-02-05 12:30:47 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 12:33:22 +0100xdminsy(~xdminsy@117.147.71.221)
2024-02-05 12:39:48 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1)
2024-02-05 12:46:24 +0100SrOs0(~sroso@user/SrOso) (Quit: Leaving :))
2024-02-05 12:46:43 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-02-05 12:46:44 +0100 <haskellbridge> 15<J​ade> how can I signal EOF in ghci?
2024-02-05 12:46:44 +0100 <haskellbridge> 15<J​ade> When using `getContents`, pressing `CTRL+D` seems to 'input' EOT but it does not terminate
2024-02-05 12:48:08 +0100 <danse-nr3> it also doubles each char, i guess it is not designed to be used that way
2024-02-05 12:48:55 +0100 <haskellbridge> 15<J​ade> danse-nr3: that seems sort of right because it's lazily writing to stdout as that's default ghci behavior for an IO-action
2024-02-05 12:49:02 +0100 <haskellbridge> 15<J​ade> but yeah it's a bit of a mess
2024-02-05 12:52:35 +0100 <[exa]> also kinda hard to actually signal EOF twice, you only the close the file once right.
2024-02-05 12:54:35 +0100substance_(~substance@176.254.244.83) (Ping timeout: 252 seconds)
2024-02-05 12:57:43 +0100 <haskellbridge> 15<J​ade> hm, I'm not sure how to show examples of these in the haddocks properly
2024-02-05 12:58:12 +0100 <int-e> In essence, lazy IO on stdin doesn't work in ghci.
2024-02-05 12:59:13 +0100 <int-e> % x <- getContents
2024-02-05 12:59:13 +0100 <yahb2> <no output>
2024-02-05 12:59:37 +0100 <int-e> % 1
2024-02-05 12:59:37 +0100 <yahb2> Oops, something went wrong
2024-02-05 12:59:43 +0100 <int-e> % 1
2024-02-05 12:59:43 +0100 <yahb2> 1
2024-02-05 13:00:22 +0100 <int-e> That... is fun. (ghci will still print the prompt, and then say "<stdin>: hGetChar: illegal operation (handle is semi-closed)"; I guess yahb2 isn't prepared for that.
2024-02-05 13:01:09 +0100 <int-e> Instead it looks like it recognizes the prompt, waits for the next command, but of course that'll fail miserably because the ghci session is already gone.)
2024-02-05 13:11:04 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-05 13:13:17 +0100Katarushisu1(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2024-02-05 13:14:32 +0100Katarushisu1(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2024-02-05 13:15:23 +0100danse-nr3(~danse@rm-19-12-255.service.infuturo.it) (Ping timeout: 260 seconds)
2024-02-05 13:17:25 +0100 <haskellbridge> 15<J​ade> ```
2024-02-05 13:17:26 +0100 <haskellbridge> 15<J​ade> echo -e "interact (\str -> str ++ str)\nhi" | ghci
2024-02-05 13:17:27 +0100 <haskellbridge> 15<J​ade> ...
2024-02-05 13:17:29 +0100 <haskellbridge> 15<J​ade> ghci> hi
2024-02-05 13:17:30 +0100 <haskellbridge> 15<J​ade> hi
2024-02-05 13:17:31 +0100 <haskellbridge> 15<J​ade> ghci> Leaving GHCi.
2024-02-05 13:17:33 +0100 <haskellbridge> 15<J​ade> ```
2024-02-05 13:21:19 +0100 <int-e> echo hi | ghci -e 'interact (\xs -> xs ++ xs)'
2024-02-05 13:26:01 +0100hexology-hexology
2024-02-05 13:26:52 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-02-05 13:30:47 +0100erian(~erian@176.254.244.83)
2024-02-05 13:46:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-02-05 13:53:06 +0100alexherbo2(~alexherbo@2a02-8440-3340-7232-f033-8772-1378-52cf.rev.sfr.net)
2024-02-05 13:54:02 +0100madnight(~madnight@static.59.103.201.195.clients.your-server.de) (Remote host closed the connection)
2024-02-05 13:56:03 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-05 13:57:19 +0100danse-nr3(~danse@rm-19-50-224.service.infuturo.it)
2024-02-05 13:59:40 +0100danse-nr3(~danse@rm-19-50-224.service.infuturo.it) (Remote host closed the connection)
2024-02-05 14:00:03 +0100danse-nr3(~danse@rm-19-50-224.service.infuturo.it)
2024-02-05 14:06:10 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2024-02-05 14:09:57 +0100darksatanicdarkling
2024-02-05 14:13:08 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-02-05 14:14:13 +0100 <haskellbridge> 05<i​rregularsphere> ...do reactions even work over the bridge?
2024-02-05 14:14:20 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 14:17:45 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Quit: )
2024-02-05 14:18:21 +0100 <int-e> what's a reaction (I guess the answer is no)
2024-02-05 14:18:45 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 14:20:22 +0100 <haskellbridge> 05<i​rregularsphere> matrix thing
2024-02-05 14:25:41 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 256 seconds)
2024-02-05 14:27:53 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 14:31:54 +0100 <danse-nr3> would that be like an emoji targeting a specific message? Just send the emoji on its line when you care about reaching IRC
2024-02-05 14:46:04 +0100 <haskellbridge> 05<i​rregularsphere> huh
2024-02-05 14:47:18 +0100 <Clint> what are these os-string failures i'm getting when trying to build hashable/unix with ghc 9.[68]?
2024-02-05 14:49:54 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 4.2.1)
2024-02-05 14:51:01 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-02-05 14:51:16 +0100Axman6(~Axman6@user/axman6)
2024-02-05 14:52:19 +0100xff0x(~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 256 seconds)
2024-02-05 14:53:13 +0100CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-02-05 14:53:31 +0100CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-02-05 14:54:18 +0100xff0x(~xff0x@178.255.149.135)
2024-02-05 14:56:08 +0100mechap(~mechap@user/mechap)
2024-02-05 14:57:36 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 14:57:53 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 14:59:51 +0100pruiz(~user@user/pruiz) (Remote host closed the connection)
2024-02-05 15:03:26 +0100czy(~user@117.63.127.239)
2024-02-05 15:05:41 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds)
2024-02-05 15:07:45 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2024-02-05 15:08:58 +0100CiaoSen(~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03)
2024-02-05 15:09:53 +0100mmhat(~mmh@p200300f1c73bf4b3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-02-05 15:10:11 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 264 seconds)
2024-02-05 15:10:34 +0100pruiz(~user@user/pruiz)
2024-02-05 15:11:34 +0100xff0x(~xff0x@2405:6580:b080:900:56e2:1ca0:c7fa:8b8d)
2024-02-05 15:13:10 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-02-05 15:13:38 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 15:18:03 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 15:18:29 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 15:18:38 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-05 15:19:59 +0100mechap(~mechap@user/mechap) (Ping timeout: 260 seconds)
2024-02-05 15:23:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-02-05 15:23:16 +0100average(uid473595@user/average)
2024-02-05 15:23:46 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 15:25:34 +0100mechap(~mechap@user/mechap)
2024-02-05 15:29:01 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2024-02-05 15:29:30 +0100 <haskellbridge> 15<J​ade> how can I test the `bufferMode` of a handle? Inside my terminal using `BlockBuffering` or `NoBuffering` on `stdin` does not seem to have any effect (I assume my shell is overriding stuff?)
2024-02-05 15:31:50 +0100mmhat(~mmh@p200300f1c7032851ee086bfffe095315.dip0.t-ipconnect.de)
2024-02-05 15:39:34 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 15:40:21 +0100mmhat(~mmh@p200300f1c7032851ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-02-05 15:40:41 +0100califax(~califax@user/califx)
2024-02-05 15:40:43 +0100mmhat(~mmh@p200300f1c70328ebee086bfffe095315.dip0.t-ipconnect.de)
2024-02-05 15:44:32 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 252 seconds)
2024-02-05 15:45:41 +0100JordiGH(~jordi@user/jordigh)
2024-02-05 15:46:24 +0100 <tomsmeding> % System.Process.system "echo hi | ghci -e 'interact (\\xs -> xs ++ xs)'"
2024-02-05 15:46:24 +0100 <yahb2> hi ; hi ; ExitSuccess
2024-02-05 15:54:32 +0100mobivme(~mobivme@130.105.162.31)
2024-02-05 15:54:32 +0100mobivme(~mobivme@130.105.162.31) (Changing host)
2024-02-05 15:54:32 +0100mobivme(~mobivme@user/mobivme)
2024-02-05 15:57:19 +0100vitorg(~vitorg@189.28.157.44) (Ping timeout: 260 seconds)
2024-02-05 15:57:38 +0100vitorg(~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502)
2024-02-05 15:57:38 +0100vitorg(~vitorg@2804:d55:7604:3000:fc0e:3448:351e:7502) (Client Quit)
2024-02-05 16:01:41 +0100JordiGH(~jordi@user/jordigh) (Ping timeout: 240 seconds)
2024-02-05 16:06:16 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2024-02-05 16:13:05 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-05 16:17:23 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 16:17:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 16:18:52 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-02-05 16:23:37 +0100masterbuilder_masterbuilder
2024-02-05 16:23:51 +0100masterbuilder(~quassel@157.97.10.49) (Changing host)
2024-02-05 16:23:51 +0100masterbuilder(~quassel@user/masterbuilder)
2024-02-05 16:28:29 +0100tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 16:40:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-05 16:40:31 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 16:53:44 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-05 16:56:29 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-05 16:59:57 +0100nschoe(~nschoe@2a01:e0a:8e:a190:f6db:8be1:d3a6:27f9) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-05 17:00:14 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net)
2024-02-05 17:01:13 +0100dolio(~dolio@130.44.134.54)
2024-02-05 17:03:56 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-05 17:04:04 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 17:04:27 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 17:04:44 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 17:05:48 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-02-05 17:05:51 +0100tromp(~textual@92.110.219.57)
2024-02-05 17:10:45 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.2.1)
2024-02-05 17:11:13 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be)
2024-02-05 17:12:21 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-02-05 17:13:42 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-02-05 17:15:33 +0100Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-02-05 17:16:35 +0100Pixi(~Pixi@user/pixi)
2024-02-05 17:23:37 +0100pruiz(~user@user/pruiz) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-05 17:24:05 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
2024-02-05 17:24:45 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2024-02-05 17:26:56 +0100maxfan8_(~max@2a01:4f8:192:5356::2) (Quit: WeeChat 3.3)
2024-02-05 17:30:01 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be) (Quit: WeeChat 4.2.1)
2024-02-05 17:30:23 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-05 17:30:41 +0100m1dnight(~christoph@78-22-2-15.access.telenet.be)
2024-02-05 17:32:48 +0100mei(~mei@user/mei)
2024-02-05 17:33:01 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-02-05 17:38:40 +0100notzmv(~zmv@user/notzmv)
2024-02-05 17:41:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-05 17:42:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 17:42:59 +0100AlexNoo_(~AlexNoo@178.34.151.185)
2024-02-05 17:45:35 +0100AlexZenon(~alzenon@178.34.161.225) (Ping timeout: 264 seconds)
2024-02-05 17:46:34 +0100AlexNoo(~AlexNoo@178.34.161.225) (Ping timeout: 268 seconds)
2024-02-05 17:48:28 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-02-05 17:49:11 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 17:50:40 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 17:50:53 +0100danse-nr3(~danse@rm-19-50-224.service.infuturo.it) (Ping timeout: 260 seconds)
2024-02-05 17:50:58 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 17:55:30 +0100AlexZenon(~alzenon@178.34.151.185)
2024-02-05 18:03:39 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-05 18:06:33 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-02-05 18:06:41 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de)
2024-02-05 18:11:55 +0100AlexNoo_AlexNoo
2024-02-05 18:12:53 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds)
2024-02-05 18:17:18 +0100tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 18:17:38 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-02-05 18:21:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 18:23:17 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-02-05 18:23:22 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-05 18:27:05 +0100euleritian(~euleritia@dynamic-176-005-152-018.176.5.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-02-05 18:29:02 +0100euleritian(~euleritia@176.5.154.182)
2024-02-05 18:33:20 +0100tzh(~tzh@71.193.181.0)
2024-02-05 18:40:10 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 18:40:19 +0100santiagopim(~user@90.167.66.131)
2024-02-05 18:41:50 +0100califax(~califax@user/califx)
2024-02-05 18:42:48 +0100alexherbo2(~alexherbo@2a02-8440-3340-7232-f033-8772-1378-52cf.rev.sfr.net) (Ping timeout: 250 seconds)
2024-02-05 18:45:47 +0100JordiGH(~jordi@user/jordigh)
2024-02-05 18:49:25 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1)
2024-02-05 18:50:38 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-05 18:53:03 +0100mei(~mei@user/mei)
2024-02-05 18:53:08 +0100euleritian(~euleritia@176.5.154.182) (Read error: Connection reset by peer)
2024-02-05 18:53:26 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 18:53:59 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 18:57:11 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2024-02-05 18:57:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-02-05 18:58:10 +0100euleritian(~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de)
2024-02-05 18:58:37 +0100CiaoSen(~Jura@2a05:5800:282:1800:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds)
2024-02-05 19:04:41 +0100rvalue(~rvalue@user/rvalue)
2024-02-05 19:11:04 +0100pavonia(~user@user/siracusa)
2024-02-05 19:12:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 19:17:24 +0100euleritian(~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 19:17:42 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 19:22:32 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2024-02-05 19:29:40 +0100rosco(rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal)
2024-02-05 19:30:32 +0100meejah_meejah
2024-02-05 19:30:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-05 19:31:29 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-05 19:31:54 +0100 <haskellbridge> 15<J​ade> what are some examples for `fixIO`? I can't seem to find any use-case for ir
2024-02-05 19:31:55 +0100 <haskellbridge> 15<J​ade> s/ir/it
2024-02-05 19:35:32 +0100Flow(~none@gentoo/developer/flow) (Quit: WeeChat 4.0.2)
2024-02-05 19:38:24 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 19:38:34 +0100 <ski> linking up `IORef's (or better, `IVar's) in a cycle without back-patching. or (lazily) feeding the result of a future I/O operation as an input to a present one, say
2024-02-05 19:38:58 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 19:39:31 +0100 <ski> hmm .. now that i think of it, i guess you could e.g. build a list, TCMC-style, with it, while doing some I/O
2024-02-05 19:39:54 +0100califax(~califax@user/califx)
2024-02-05 19:43:49 +0100mobounce(~mobivme@104.28.194.104)
2024-02-05 19:44:23 +0100mobivme(~mobivme@user/mobivme) (Ping timeout: 264 seconds)
2024-02-05 19:45:28 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-02-05 19:45:58 +0100euleritian(~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de)
2024-02-05 19:51:13 +0100euleritian(~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-05 19:51:18 +0100 <ncf> https://wiki.haskell.org/MonadFix#Examples
2024-02-05 19:51:28 +0100euleritian(~euleritia@dynamic-176-005-154-182.176.5.pool.telefonica.de)
2024-02-05 19:52:32 +0100Achylles(~Achylles_@45.182.57.17)
2024-02-05 19:54:32 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 19:55:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 19:59:49 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 20:00:18 +0100califax(~califax@user/califx)
2024-02-05 20:00:40 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-02-05 20:13:02 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2024-02-05 20:15:32 +0100g(glguy@libera/staff/glguy) (Remote host closed the connection)
2024-02-05 20:15:51 +0100JordiGH(~jordi@user/jordigh) (Ping timeout: 260 seconds)
2024-02-05 20:16:13 +0100exarkun_exarkun
2024-02-05 20:19:22 +0100 <mreh> Jade: it's used in reflex
2024-02-05 20:20:36 +0100 <tomsmeding> Do newtypes survive in Core? Is there any situation where introducing a newtype around something can decrease performance?
2024-02-05 20:21:53 +0100Achylles(~Achylles_@45.182.57.17) (Remote host closed the connection)
2024-02-05 20:22:39 +0100 <geekosaur> newtypes are gone by Core. there are however situations where they are not optimized away, such as when you map a coercion over the items in a list (which becomes `map id …` in Core)
2024-02-05 20:23:12 +0100 <tomsmeding> right
2024-02-05 20:23:23 +0100 <mreh> I just installed a shared lib. The CPP can find the header files, but the linked can't. It's there when I run `ldconfig -p`
2024-02-05 20:23:25 +0100 <geekosaur> there are some ways around this, such as `coerce` over the list instead of the items or use of `.#`
2024-02-05 20:23:34 +0100 <tomsmeding> I'm writing some TH code that can either run code in a monad, or manually write out the monad operations without a newtype around it
2024-02-05 20:23:45 +0100 <tomsmeding> my question is whether there is any benefit to the latter, and it seems the answer is no
2024-02-05 20:23:47 +0100euphores(~SASL_euph@user/euphores)
2024-02-05 20:23:53 +0100 <tomsmeding> because the operations would be the same anyway -- no 'map coerce'
2024-02-05 20:24:05 +0100glguy(g@libera/staff/glguy) (Remote host closed the connection)
2024-02-05 20:25:44 +0100 <mreh> I think this is a gcc issue actually..
2024-02-05 20:26:02 +0100 <tomsmeding> "the linked" -> "the linker"? as in `ld`?
2024-02-05 20:26:08 +0100 <mreh> tomsmeding: yeah
2024-02-05 20:26:15 +0100 <mreh> ld.gold on my system
2024-02-05 20:26:19 +0100g(g@libera/staff/glguy)
2024-02-05 20:27:27 +0100 <mreh> trying to compile some C bindings to assimp
2024-02-05 20:28:04 +0100 <tomsmeding> mreh: do you have extra-lib-dirs in cabal?
2024-02-05 20:28:13 +0100 <tomsmeding> if it's not in something like /usr/lib
2024-02-05 20:28:38 +0100glguy(g@libera/staff/glguy)
2024-02-05 20:29:33 +0100 <mreh> tomsmeding: pkgconfig-depends: assimp
2024-02-05 20:30:06 +0100 <mreh> looks like GHC is passing -lassimp to gcc
2024-02-05 20:30:34 +0100 <mreh> the binding is humourously called "buttdemon" if you want to look it up on github
2024-02-05 20:30:46 +0100 <tomsmeding> mreh: what does 'pkg-config --libs assimp' print in your terminal
2024-02-05 20:31:26 +0100 <mreh> tomsmeding: -L/usr/local/lib -lassimp
2024-02-05 20:31:51 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-05 20:32:46 +0100 <tomsmeding> does that -L/usr/local/lib show up in 'cabal build --verbose'?
2024-02-05 20:33:12 +0100 <tomsmeding> and is there indeed a /usr/local/lib/libassimp.so
2024-02-05 20:33:13 +0100 <[exa]> I've got an app that would be dealing with large amounts of text that can be parsed and generated by small parts (imagine a stream of line entries). I want the library to be somewhat flexible for people to work with, especially for working with huge amounts of the entries. Is using Data.Text.Lazy a good idea for this? My reasoning is that anyone can convert that to strict text (or any other
2024-02-05 20:33:15 +0100 <[exa]> format) anytime, and for folks with unloadably large files this ain't stay in the way.
2024-02-05 20:33:34 +0100ubert(~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de)
2024-02-05 20:34:02 +0100 <mreh> tomsmeding: I can paste the failing gcc call, there's no -L/usr/local/lib but there is a libassimp.so
2024-02-05 20:34:06 +0100 <[exa]> (Similar question for parsing -- is it a good idea to simply provide a megaparsec interface into which one may plug in anything where `Token stream ~ Char`?)
2024-02-05 20:34:08 +0100 <mreh> in it
2024-02-05 20:34:16 +0100mei(~mei@user/mei)
2024-02-05 20:34:48 +0100 <mreh> @paste
2024-02-05 20:34:49 +0100 <lambdabot> A pastebin: https://paste.debian.net/
2024-02-05 20:36:07 +0100 <mreh> tomsmeding: https://paste.debian.net/plain/1306403
2024-02-05 20:38:32 +0100tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-02-05 20:39:00 +0100tomboy64(~tomboy64@user/tomboy64)
2024-02-05 20:40:09 +0100 <mreh> It shows up when I run cabal build --verbose, but I'm actually compiling the binding through stack as a dependency of my project...
2024-02-05 20:40:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 20:41:04 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-02-05 20:42:43 +0100 <tomsmeding> sad
2024-02-05 20:43:56 +0100 <mreh> it doesn't even build when I run cabal build on dependency code alone either
2024-02-05 20:44:01 +0100 <mreh> but for other reasons
2024-02-05 20:51:06 +0100johnw(~johnw@69.62.242.138)
2024-02-05 20:53:27 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 21:02:13 +0100ubert(~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-02-05 21:04:19 +0100 <haskellbridge> 14<m​auke> Is hsc involved?
2024-02-05 21:05:40 +0100 <mreh> who said that?!
2024-02-05 21:05:44 +0100 <mreh> yes it is
2024-02-05 21:06:29 +0100 <geekosaur> this channel is bridged to #haskell-irc:matrix.org, mauke is on that side
2024-02-05 21:06:30 +0100 <mreh> I can't see your nick, haskellbridge isn't forwarding it on
2024-02-05 21:06:42 +0100 <geekosaur> it's colored darkgrey
2024-02-05 21:06:45 +0100ubert(~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de)
2024-02-05 21:06:55 +0100 <mreh> so is my terminal background :\
2024-02-05 21:07:01 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-05 21:07:20 +0100 <tomsmeding> https://tomsmeding.com/ss/get/tomsmeding/P7us92
2024-02-05 21:07:24 +0100califax(~califax@user/califx)
2024-02-05 21:07:39 +0100 <mreh> mauke: yes
2024-02-05 21:17:19 +0100ubert(~Thunderbi@p200300ecdf1f17a24a37815af578dae3.dip0.t-ipconnect.de) (Quit: ubert)
2024-02-05 21:17:35 +0100ubert(~Thunderbi@p200300ecdf1f17a2e6b318fffe838f33.dip0.t-ipconnect.de)
2024-02-05 21:24:05 +0100mmohammadi9812(~mohammad@85.185.32.251)
2024-02-05 21:25:52 +0100mima(~mmh@aftr-62-216-211-50.dynamic.mnet-online.de)
2024-02-05 21:32:45 +0100Tuplanolla(~Tuplanoll@91-159-68-95.elisa-laajakaista.fi)
2024-02-05 21:37:40 +0100Chai-T-Rex(~ChaiTRex@user/chaitrex)
2024-02-05 21:37:59 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds)
2024-02-05 21:38:31 +0100Rembane_Rembane
2024-02-05 21:41:56 +0100mmohammadi9812(~mohammad@85.185.32.251) (Remote host closed the connection)
2024-02-05 21:42:39 +0100mmohammadi9812(~mohammad@85.185.32.251)
2024-02-05 21:48:31 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-02-05 21:48:34 +0100santiagopim(~user@90.167.66.131) (Ping timeout: 264 seconds)
2024-02-05 21:54:23 +0100xdminsy(~xdminsy@117.147.71.221) (Read error: Connection reset by peer)
2024-02-05 21:54:59 +0100mmohammadi9812(~mohammad@85.185.32.251) (Remote host closed the connection)
2024-02-05 21:55:24 +0100mmohammadi9812(~mohammad@85.185.32.251)
2024-02-05 21:56:23 +0100Square3(~Square4@user/square) (Ping timeout: 264 seconds)
2024-02-05 21:56:31 +0100mei(~mei@user/mei)
2024-02-05 21:56:57 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 21:59:58 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-02-05 22:01:16 +0100mmohammadi9812(~mohammad@85.185.32.251) (Remote host closed the connection)
2024-02-05 22:01:22 +0100Square(~Square@user/square)
2024-02-05 22:03:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 22:04:18 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-02-05 22:05:06 +0100alexherbo2(~alexherbo@157.36.22.93.rev.sfr.net)
2024-02-05 22:06:46 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-02-05 22:07:19 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 22:07:53 +0100mmohammadi9812(~mohammad@85.185.32.251)
2024-02-05 22:13:14 +0100 <cheater> geekosaur: please turn off the coloring. please. most of the time it becomes invisible
2024-02-05 22:14:00 +0100 <tomsmeding> most of the time?
2024-02-05 22:14:09 +0100 <cheater> https://imgur.com/a/9n2wlCL
2024-02-05 22:14:24 +0100 <tomsmeding> it's always visible for me, but then I have a predictably nearly (but not quite) black background
2024-02-05 22:14:27 +0100 <cheater> well, sometimes it seems to be white and not grey, in which case it isn't quite invisible, just very difficult to see
2024-02-05 22:14:36 +0100 <tomsmeding> right
2024-02-05 22:14:59 +0100 <tomsmeding> okay yeah with not-black and not-white it doesn't really work lol
2024-02-05 22:15:27 +0100santiagopim(~user@90.167.66.131)
2024-02-05 22:15:39 +0100 <cheater> geekosaur: can you turn off the coloring please... it really doesn't work
2024-02-05 22:15:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-05 22:15:45 +0100 <cheater> the white one is hard to read as well
2024-02-05 22:17:11 +0100mmohammadi9812(~mohammad@85.185.32.251) (Remote host closed the connection)
2024-02-05 22:17:36 +0100igemnace(~ian@user/igemnace)
2024-02-05 22:18:32 +0100mmohammadi9812(~mohammad@85.185.32.251)
2024-02-05 22:21:26 +0100 <haskellbridge> 15<J​ade> (i doubt this will work on the irc side)
2024-02-05 22:21:37 +0100 <tomsmeding> (what? :p)
2024-02-05 22:21:50 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-05 22:24:37 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-02-05 22:25:15 +0100mmohammadi9812(~mohammad@85.185.32.251) (Ping timeout: 272 seconds)
2024-02-05 22:26:06 +0100 <cheater> ?
2024-02-05 22:26:53 +0100 <haskellbridge> <J​ade> rainbow text
2024-02-05 22:27:30 +0100 <tomsmeding> came in as plain text here
2024-02-05 22:28:31 +0100 <tomsmeding> Jade: I suspect it simply takes the "body" (as opposed to the "formatted_body") from the matrix message, which means that stuff like colours get lost and normal formatting, depending on the sending client, is formatted as markdown
2024-02-05 22:28:48 +0100 <haskellbridge> <J​ade> yeah that's what's happening
2024-02-05 22:37:59 +0100mechap(~mechap@user/mechap) (Ping timeout: 256 seconds)
2024-02-05 22:39:52 +0100mechap(~mechap@user/mechap)
2024-02-05 22:46:56 +0100 <[exa]> cheater: what's that client?
2024-02-05 22:49:10 +0100 <EvanR> a practical "fix" might be to disable almost white and almost black
2024-02-05 22:49:39 +0100 <EvanR> but also I remember yellow on white being unreadable too
2024-02-05 22:51:20 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-02-05 22:54:41 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2024-02-05 22:56:44 +0100mobounce(~mobivme@104.28.194.104) (Changing host)
2024-02-05 22:56:44 +0100mobounce(~mobivme@user/mobivme)
2024-02-05 22:58:13 +0100michalz(~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-05 22:58:41 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-05 22:59:28 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2024-02-05 23:01:21 +0100mobounce(~mobivme@user/mobivme) (Ping timeout: 256 seconds)
2024-02-05 23:01:40 +0100alexherbo2(~alexherbo@157.36.22.93.rev.sfr.net) (Remote host closed the connection)
2024-02-05 23:02:23 +0100JordiGH(~jordi@user/jordigh)
2024-02-05 23:02:40 +0100justache(~justache@user/justache) (Read error: Connection reset by peer)
2024-02-05 23:04:11 +0100chomwitt(~chomwitt@2a02:587:7a10:cd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
2024-02-05 23:05:09 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-05 23:05:54 +0100justache(~justache@user/justache)
2024-02-05 23:08:04 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-05 23:11:28 +0100 <haskellbridge> <i​rregularsphere> Jade: did you expect irc to use html lol
2024-02-05 23:12:10 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-02-05 23:12:55 +0100xff0x(~xff0x@2405:6580:b080:900:56e2:1ca0:c7fa:8b8d) (Ping timeout: 255 seconds)
2024-02-05 23:13:01 +0100mreh(~matthew@host86-160-168-81.range86-160.btcentralplus.com) (Ping timeout: 264 seconds)
2024-02-05 23:13:57 +0100xff0x(~xff0x@2405:6580:b080:900:626d:bbc7:8995:51b8)
2024-02-05 23:14:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-05 23:25:00 +0100zmt00(~zmt00@user/zmt00)
2024-02-05 23:25:26 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-02-05 23:26:01 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-02-05 23:29:07 +0100mechap(~mechap@user/mechap) (Ping timeout: 255 seconds)
2024-02-05 23:29:13 +0100sprout_sprout
2024-02-05 23:31:11 +0100mechap(~mechap@user/mechap)
2024-02-05 23:50:44 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2024-02-05 23:50:58 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-02-05 23:58:00 +0100son0p(~ff@186.121.12.53) (Quit: Bye)