Logs: liberachat/#haskell
| 2025-12-07 17:40:42 | → | Googulator10 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 17:40:46 | × | Googulator69 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 17:41:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-07 17:43:06 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-07 17:46:26 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-07 17:50:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 17:52:33 | ← | Gedanken parts (~Gedanken@2601:14d:4d7e:8f0:89fd:a92e:847:4479) () |
| 2025-12-07 17:52:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-07 17:55:35 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 2025-12-07 17:57:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 17:57:21 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-07 18:03:11 | → | Guest28 joins (~Guest28@185-85-149-249.dynamic.telemach.net) |
| 2025-12-07 18:03:52 | × | Guest28 quits (~Guest28@185-85-149-249.dynamic.telemach.net) (Client Quit) |
| 2025-12-07 18:05:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-07 18:08:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 18:10:42 | × | Googulator10 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 18:10:45 | → | Googulator94 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 18:12:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-07 18:14:31 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-07 18:24:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 18:26:04 | <monochrom> | A few days ago we were talking about hypothetical Additive and Multiplicative classes. Someone has done it before! And completely fleshed out: https://hackage.haskell.org/package/numhask |
| 2025-12-07 18:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 18:30:00 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-07 18:32:25 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-07 18:39:01 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds) |
| 2025-12-07 18:39:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 18:40:40 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-07 18:40:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 2025-12-07 18:41:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-07 18:42:24 | × | pebble quits (~pebble@37.63.35.63) (Read error: Connection reset by peer) |
| 2025-12-07 18:43:25 | <geekosaur> | yep |
| 2025-12-07 18:43:34 | <geekosaur> | I think there's a couple of others as well |
| 2025-12-07 18:45:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-07 18:46:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 18:47:03 | <geekosaur> | numeric-prelude has Additive but makes Multiplicative part of Ring (but it's written in Henningskell so figuring this out from the haddock takes some work) |
| 2025-12-07 18:47:32 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-07 18:50:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-07 18:52:10 | × | deptype_ quits (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection) |
| 2025-12-07 18:52:10 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1954:65bc:775e:6df) (Remote host closed the connection) |
| 2025-12-07 18:55:00 | → | michalz joins (~michalz@185.246.207.205) |
| 2025-12-07 18:55:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-07 18:57:21 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-07 19:02:46 | <haskellbridge> | <doc> i'm so glad henningskell has official recognition |
| 2025-12-07 19:06:56 | Googulator94 | is now known as Googulator |
| 2025-12-07 19:06:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 19:11:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-07 19:15:52 | → | spew joins (~spew@user/spew) |
| 2025-12-07 19:22:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 19:24:17 | → | qqe joins (~qqq@185.54.20.98) |
| 2025-12-07 19:27:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-07 19:30:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-07 19:31:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-07 19:31:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-07 19:32:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-12-07 19:34:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-07 19:35:48 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-07 19:36:10 | → | spew joins (~spew@user/spew) |
| 2025-12-07 19:38:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 19:43:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-07 19:45:54 | × | iqubic quits (~sophia@2601:602:9203:1660:dd90:fc81:4acd:a139) (Remote host closed the connection) |
| 2025-12-07 19:47:07 | → | spew_ joins (~spew@user/spew) |
| 2025-12-07 19:49:04 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-07 19:49:18 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-07 19:49:28 | → | pebble joins (~pebble@37.63.35.63) |
| 2025-12-07 19:50:49 | × | spew quits (~spew@user/spew) (Killed (NickServ (GHOST command used by spew_))) |
| 2025-12-07 19:50:57 | spew_ | is now known as spew |
| 2025-12-07 19:52:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 19:52:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) |
| 2025-12-07 19:55:38 | → | Googulator46 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 19:55:51 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 19:55:56 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-07 19:57:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-07 19:57:56 | → | califax joins (~califax@user/califx) |
| 2025-12-07 19:58:01 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-07 19:58:59 | → | califax joins (~califax@user/califx) |
| 2025-12-07 20:05:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-07 20:05:53 | → | califax joins (~califax@user/califx) |
| 2025-12-07 20:07:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 20:09:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-07 20:10:11 | → | califax joins (~califax@user/califx) |
| 2025-12-07 20:10:32 | × | qqe quits (~qqq@185.54.20.98) (Remote host closed the connection) |
| 2025-12-07 20:11:41 | × | biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2025-12-07 20:11:57 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-07 20:12:21 | → | califax joins (~califax@user/califx) |
| 2025-12-07 20:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-07 20:17:00 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2025-12-07 20:23:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 20:24:55 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-07 20:27:20 | × | pebble quits (~pebble@37.63.35.63) (Read error: Connection reset by peer) |
| 2025-12-07 20:28:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 20:38:24 | → | mikess joins (~sam@user/mikess) |
| 2025-12-07 20:39:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 20:45:29 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-07 20:46:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 20:49:37 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-07 20:53:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 20:55:32 | → | Googulator79 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-07 20:55:44 | × | Googulator46 quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-07 20:58:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 21:06:29 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
All times are in UTC.