Logs: liberachat/#haskell
| 2026-01-05 17:17:53 | <monochrom> | Year -> (Happy, Year) :) |
| 2026-01-05 17:18:33 | <monochrom> | (Belated stateless way to say happy new year) |
| 2026-01-05 17:20:20 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-05 17:20:29 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2026-01-05 17:20:37 | <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 17:20:45 | → | gorignak joins (~gorignak@user/gorignak) |
| 2026-01-05 17:23:58 | → | poscat joins (~poscat@user/poscat) |
| 2026-01-05 17:24:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 17:25:31 | <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 17:27:31 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2026-01-05 17:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 17:34:00 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-05 17:42:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 17:47:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-05 17:54:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 18:00:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-05 18:02:54 | → | kuribas` joins (~user@2a02-1810-2825-6000-d7bb-ca12-8f88-ad2d.ip6.access.telenet.be) |
| 2026-01-05 18:03:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-05 18:03:52 | × | annamalai quits (~annamalai@2409:4042:2e0f:1c69::9eca:8006) (Ping timeout: 246 seconds) |
| 2026-01-05 18:04:06 | → | annamalai joins (~annamalai@117.231.195.48) |
| 2026-01-05 18:04:25 | × | kuribas quits (~user@2a02-1810-2825-6000-a122-c68a-b511-6946.ip6.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-01-05 18:04:45 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-05 18:05:59 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-05 18:07:18 | × | annamalai quits (~annamalai@117.231.195.48) (Read error: Connection reset by peer) |
| 2026-01-05 18:07:50 | → | poscat joins (~poscat@user/poscat) |
| 2026-01-05 18:08:43 | × | Miroboru_ quits (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-01-05 18:10:35 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-05 18:10:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 18:11:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:99cd:cd7:ecf5:fac2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-05 18:11:59 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-01-05 18:13:17 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-01-05 18:15:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-05 18:20:40 | → | Psychotic1 joins (~Psychotic@2600:1007:b0ac:8256:21fd:5ab6:3ca:e9c9) |
| 2026-01-05 18:26:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 18:30:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 18:35:07 | → | tromp joins (~textual@2001:1c00:3487:1b00:99cd:cd7:ecf5:fac2) |
| 2026-01-05 18:38:37 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-05 18:39:15 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2026-01-05 18:41:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 18:46:25 | → | ystael joins (~ystael@user/ystael) |
| 2026-01-05 18:46:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-05 18:48:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-05 18:51:13 | × | lbseale_ quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-01-05 18:55:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 18:56:25 | × | m_a_r_k quits (~m_a_r_k@archlinux/support/mark) (Remote host closed the connection) |
| 2026-01-05 18:56:41 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 2026-01-05 19:02:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 19:07:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 19:07:47 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 19:08:01 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 19:12:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 19:13:10 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2026-01-05 19:17:52 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 19:18:52 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 19:23:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 19:28:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-05 19:29:18 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-05 19:29:38 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2026-01-05 19:33:55 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-05 19:36:42 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-05 19:37:31 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-01-05 19:38:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 19:39:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-05 19:43:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 19:46:04 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-05 19:47:09 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-05 19:53:30 | hololeap_ | is now known as hololeap |
| 2026-01-05 19:54:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 19:57:01 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-01-05 20:01:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-05 20:10:38 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2026-01-05 20:10:46 | <Milan_Vanca> | Hello guyz! Is offtopic harshly punished in this channel? :D |
| 2026-01-05 20:11:23 | <monochrom> | No. But #haskell-offtopic is better. |
| 2026-01-05 20:11:23 | <geekosaur> | depends on what else is going on, but #haskell-offtopic is preferred |
| 2026-01-05 20:12:16 | <haskellbridge> | <Morj> If only haskell-offtopic was bridged :'-( |
| 2026-01-05 20:12:30 | <haskellbridge> | <Morj> One day I will install an irc client on my work mac and you'll all see |
| 2026-01-05 20:12:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 20:12:54 | <haskellbridge> | <sm> Textual is a good one |
| 2026-01-05 20:13:20 | <Milan_Vanca> | From where are you bridged from guyz? |
| 2026-01-05 20:13:33 | × | Inline quits (~Inline@cgn-195-14-217-181.nc.de) (Ping timeout: 252 seconds) |
| 2026-01-05 20:14:01 | <haskellbridge> | <Morj> Haskell has a community in matrix: https://matrix.to/#/#haskell:matrix.org |
| 2026-01-05 20:14:02 | <monochrom> | telnet irc.libera.chat 6667 |
| 2026-01-05 20:14:41 | <geekosaur> | that's not what's bridged, by their request. it's #haskell-irc:matrix.org instead |
| 2026-01-05 20:15:48 | <Milan_Vanca> | Ty for info :) |
| 2026-01-05 20:15:50 | <geekosaur> | I could bridge -offtopic but I suspect various denizens wouldn't like the idea much |
| 2026-01-05 20:17:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 20:22:09 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2026-01-05 20:22:29 | → | Inline joins (~Inline@cgn-195-14-217-181.nc.de) |
| 2026-01-05 20:22:53 | → | jreicher joins (~user@user/jreicher) |
| 2026-01-05 20:28:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 20:32:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-05 20:43:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 20:50:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-05 20:56:48 | <jreicher> | Morj: what's the holdup getting an IRC client? The IRC ecosystem is one of the simplest on the internet. Most things are easy to set up and work really well. |
| 2026-01-05 20:57:43 | <monochrom> | The networking effect implies that people want popular not simple. |
| 2026-01-05 20:57:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-05 20:58:40 | <monochrom> | If 90% of your friends use Facebook for example then you're very inclined to adopt Facebook even though it is the biggest mess in all aspects on the planet. |
| 2026-01-05 20:58:41 | <geekosaur> | on a mac, that probably means textual |
| 2026-01-05 20:58:49 | <geekosaur> | heh |
| 2026-01-05 20:59:11 | <tomsmeding> | jreicher: "yet another client to install"? |
All times are in UTC.