2026/01/05

Newest at the top

2026-01-05 18:25:31 +0100 <haskellbridge> <doc> it's interesting how the IO state monad goes s -> (s,a) while the library state monad goes s -> (a,s)... the former looks better and works better with the (s,) functor but i've gotten more used to the latter due to exposure
2026-01-05 18:24:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 18:23:58 +0100poscat(~poscat@user/poscat) poscat
2026-01-05 18:20:45 +0100gorignak(~gorignak@user/gorignak) gorignak
2026-01-05 18:20:37 +0100 <monochrom> (I thought of that because lately I've been looking at GHC's control0# which is very explicity State# RealWorld -> (# a, State# RealWorld #) etc.)
2026-01-05 18:20:29 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2026-01-05 18:20:20 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-05 18:18:33 +0100 <monochrom> (Belated stateless way to say happy new year)
2026-01-05 18:17:53 +0100 <monochrom> Year -> (Happy, Year) :)
2026-01-05 18:15:18 +0100ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-01-05 18:10:10 +0100 <haskellbridge> <Liamzee> thanks for the suggestion merijn!
2026-01-05 18:09:04 +0100dyniec(~dyniec@dybiec.info)
2026-01-05 18:08:25 +0100dyniec(~dyniec@dybiec.info) (Remote host closed the connection)
2026-01-05 18:03:42 +0100Milan_Vanca(~milan@user/Milan-Vanca:32634) Milan_Vanca
2026-01-05 17:55:35 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-01-05 17:45:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-05 17:43:47 +0100danza(~danza@user/danza) (Remote host closed the connection)
2026-01-05 17:34:20 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-01-05 17:06:13 +0100nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2026-01-05 17:05:56 +0100nschoe(~nschoe@2a01:e0a:8e:a190:7bce:a2a3:e37c:8054) (Quit: ZNC 1.8.2 - https://znc.in)
2026-01-05 17:02:39 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-05 17:01:24 +0100Inline(~Inline@cgn-195-14-217-181.nc.de) Inline
2026-01-05 16:58:04 +0100Typer_of_Terms(~Typer_of_@85.62.22.209) ()
2026-01-05 16:57:31 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2026-01-05 16:53:07 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds)
2026-01-05 16:51:01 +0100Inline(~Inline@cgn-195-14-217-181.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2026-01-05 16:50:50 +0100Typer_of_Terms(~Typer_of_@85.62.22.209) Typer_of_Terms
2026-01-05 16:50:44 +0100Typer_of_Terms(~Typer_of_@85.62.22.209) ()
2026-01-05 16:49:34 +0100Typer_of_Terms(~Typer_of_@85.62.22.209) Typer_of_Terms
2026-01-05 16:38:38 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 16:38:37 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2026-01-05 16:38:17 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 16:37:43 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 16:37:18 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 16:29:51 +0100Inline(~Inline@cgn-195-14-217-181.nc.de) Inline
2026-01-05 15:59:50 +0100tromp(~textual@2001:1c00:3487:1b00:99cd:cd7:ecf5:fac2)
2026-01-05 15:47:19 +0100vidak(~vidak@pa49-196-100-167.pa.vic.optusnet.com.au) vidak
2026-01-05 15:47:04 +0100ystael(~ystael@user/ystael) ystael
2026-01-05 15:40:51 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-05 15:37:14 +0100duckworld(~duckworld@user/duckworld) duckworld
2026-01-05 15:35:53 +0100danza(~danza@user/danza) danza
2026-01-05 15:35:51 +0100euandreh(~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) euandreh
2026-01-05 15:34:13 +0100Square3(~Square@user/square) Square
2026-01-05 15:31:43 +0100bggd(~bgg@user/bggd) bggd
2026-01-05 15:24:19 +0100duckworld(~duckworld@user/duckworld) (Ping timeout: 240 seconds)
2026-01-05 15:21:59 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-05 15:20:21 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-05 15:18:54 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2026-01-05 15:14:39 +0100euandreh(~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) (Ping timeout: 260 seconds)
2026-01-05 15:11:43 +0100merijn(~merijn@77.242.116.146) merijn