Logs: liberachat/#haskell
| 2025-12-13 10:28:43 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 10:31:29 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-13 10:32:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 10:32:25 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-12-13 10:34:08 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-12-13 10:34:29 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2025-12-13 10:36:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 10:40:43 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-13 10:43:13 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-13 10:44:13 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-13 10:47:55 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-13 10:47:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 10:52:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 10:58:41 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 10:58:55 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 11:03:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 11:08:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 11:17:14 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-13 11:17:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 11:19:22 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-13 11:19:34 | trickard_ | is now known as trickard |
| 2025-12-13 11:20:02 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-13 11:22:43 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 11:22:43 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 11:23:35 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-13 11:23:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 11:24:08 | → | dispater joins (~dispater@user/brprice) |
| 2025-12-13 11:24:38 | → | orcus joins (~orcus@user/brprice) |
| 2025-12-13 11:26:28 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 11:26:30 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-12-13 11:27:29 | → | dutchie joins (~dutchie@user/dutchie) |
| 2025-12-13 11:30:30 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 11:30:30 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 11:32:11 | → | dispater joins (~dispater@user/brprice) |
| 2025-12-13 11:32:42 | → | orcus joins (~orcus@user/brprice) |
| 2025-12-13 11:35:04 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 11:36:07 | <gentauro> | [exa]: ^_^ |
| 2025-12-13 11:36:52 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 11:37:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 11:38:31 | <gentauro> | lisp "hold my beer" -> `(- 1.2 1.0) = 0.20000005` How is that even … |
| 2025-12-13 11:38:46 | <gentauro> | it's a minus, my bad |
| 2025-12-13 11:38:50 | <gentauro> | xD |
| 2025-12-13 11:42:19 | <probie> | > 1.2-1 |
| 2025-12-13 11:42:20 | <lambdabot> | 0.19999999999999996 |
| 2025-12-13 11:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 11:42:56 | <probie> | 1.2::Float - 1 |
| 2025-12-13 11:43:05 | <probie> | > 1.2::Float - 1 |
| 2025-12-13 11:43:06 | <lambdabot> | Not in scope: type constructor or class ‘-’ |
| 2025-12-13 11:43:14 | <probie> | > (1.2::Float)-1 |
| 2025-12-13 11:43:15 | <lambdabot> | 0.20000005 |
| 2025-12-13 11:44:25 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-12-13 11:47:42 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 11:53:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 11:55:05 | trickard_ | is now known as trickard |
| 2025-12-13 11:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-13 12:02:23 | × | Miroboru_ quits (~myrvoll@84.215.250.50) (Quit: Lost terminal) |
| 2025-12-13 12:04:59 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-13 12:05:00 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-13 12:05:00 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-13 12:07:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-12-13 12:08:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 12:11:09 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 12:11:09 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 12:12:51 | → | dispater joins (~dispater@user/brprice) |
| 2025-12-13 12:13:22 | → | orcus joins (~orcus@user/brprice) |
| 2025-12-13 12:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 12:14:04 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-13 12:15:51 | → | ft joins (~ft@p4fc2ab42.dip0.t-ipconnect.de) |
| 2025-12-13 12:18:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 12:19:35 | × | dispater quits (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 12:19:35 | × | orcus quits (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-12-13 12:21:14 | → | dispater joins (~dispater@user/brprice) |
| 2025-12-13 12:21:45 | → | orcus joins (~orcus@user/brprice) |
| 2025-12-13 12:23:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-13 12:34:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 12:36:23 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-13 12:38:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 12:38:44 | → | Square2 joins (~Square@user/square) |
| 2025-12-13 12:44:56 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:578f:dbd:16b3:cd19) |
| 2025-12-13 12:49:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 12:54:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 13:05:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 13:12:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-13 13:19:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 13:24:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 13:24:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-13 13:31:28 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-13 13:35:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 13:35:34 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2) |
| 2025-12-13 13:40:12 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-12-13 13:40:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-13 13:47:35 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-13 13:49:59 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 13:50:11 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 13:50:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 13:51:34 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-12-13 13:55:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 14:02:08 | trickard_ | is now known as trickard |
| 2025-12-13 14:06:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-13 14:10:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
All times are in UTC.