Logs: liberachat/#haskell
| 2025-10-14 23:09:20 | <EvanR> | so you're saying there's a chance |
| 2025-10-14 23:09:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 23:09:43 | <EvanR> | isn't the typeclass for stuff like scanl Traversable? |
| 2025-10-14 23:09:59 | → | Zemy joins (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) |
| 2025-10-14 23:10:28 | → | Core7767 joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-10-14 23:12:01 | × | Zemy_ quits (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-14 23:13:44 | <geekosaur> | I don't think so? `Traversable` is via `Applicative` (originally it generalized `mapM`), `scanl` is a modified fold without any additional `Applicative` or `Monad` |
| 2025-10-14 23:14:14 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-14 23:14:29 | <EvanR> | you right |
| 2025-10-14 23:14:42 | × | Zemy quits (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) (Ping timeout: 260 seconds) |
| 2025-10-14 23:19:46 | → | Zemy joins (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) |
| 2025-10-14 23:20:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 23:20:40 | × | Googulator46 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 23:20:41 | → | Googulator60 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 23:21:42 | × | Core7767 quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-10-14 23:25:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 23:26:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-14 23:32:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 23:37:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 23:48:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 23:51:57 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-14 23:52:16 | → | Zemy_ joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-10-14 23:53:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 23:54:05 | <jackdk> | The `scanl` at `base:Data.List.NonEmpty.scanl` is generalised to consume any `Foldable` |
| 2025-10-14 23:54:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-14 23:55:58 | → | Core5536 joins (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) |
| 2025-10-14 23:56:14 | × | Zemy quits (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) (Ping timeout: 256 seconds) |
| 2025-10-14 23:57:23 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) (Read error: Connection reset by peer) |
| 2025-10-14 23:58:12 | × | cheater quits (~fuck@user/cheater) (Ping timeout: 244 seconds) |
| 2025-10-14 23:58:17 | → | cheater- joins (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 2025-10-14 23:58:44 | → | synchromesh joins (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) |
| 2025-10-14 23:58:47 | → | Zemy joins (~Zemy@76.184.46.188) |
| 2025-10-14 23:58:48 | → | Square joins (~Square4@user/square) |
| 2025-10-14 23:59:03 | × | Zemy_ quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-15 00:01:54 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-15 00:02:25 | × | acidjnk quits (~acidjnk@p200300d6e71719931c47ad226c4c8e20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-10-15 00:03:07 | × | Core5536 quits (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) (Ping timeout: 260 seconds) |
| 2025-10-15 00:03:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-15 00:04:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 00:05:37 | × | Googulator60 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 00:05:40 | → | Googulator61 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 00:05:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-15 00:06:50 | → | Zemy_ joins (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) |
| 2025-10-15 00:09:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 00:09:49 | × | Zemy quits (~Zemy@76.184.46.188) (Ping timeout: 256 seconds) |
| 2025-10-15 00:10:59 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-15 00:11:05 | → | Zemy joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-10-15 00:12:24 | → | Core8291 joins (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) |
| 2025-10-15 00:13:01 | × | Zemy_ quits (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) (Read error: Connection reset by peer) |
| 2025-10-15 00:13:02 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-15 00:13:24 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-15 00:15:09 | × | Zemy quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 244 seconds) |
| 2025-10-15 00:15:40 | × | Googulator61 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 00:15:51 | → | Googulator61 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 00:19:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 00:21:12 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-15 00:24:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-15 00:24:47 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 00:25:00 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-15 00:30:45 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-15 00:32:44 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-15 00:32:53 | → | Zemy joins (~Zemy@76.184.41.21) |
| 2025-10-15 00:35:24 | → | califax joins (~califax@user/califx) |
| 2025-10-15 00:35:26 | × | Googulator61 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 00:35:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 00:35:40 | → | Googulator61 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 00:35:41 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-15 00:37:02 | × | Core8291 quits (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) (Ping timeout: 256 seconds) |
| 2025-10-15 00:38:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-15 00:42:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 00:47:13 | × | otto_s quits (~user@p4ff27382.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-15 00:48:58 | → | otto_s joins (~user@p5de2f68d.dip0.t-ipconnect.de) |
| 2025-10-15 00:50:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-15 00:52:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:c19d:50a:4f2f:38d7) (Ping timeout: 260 seconds) |
| 2025-10-15 00:53:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 00:58:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 00:58:48 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-15 00:59:10 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-15 01:09:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 01:10:35 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-15 01:14:17 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-15 01:15:34 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-15 01:16:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 01:18:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-15 01:18:48 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-15 01:19:25 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-15 01:19:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Client Quit) |
| 2025-10-15 01:20:41 | × | Googulator61 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 01:20:43 | → | Googulator21 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 01:24:50 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-15 01:25:32 | × | bgg quits (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) (Remote host closed the connection) |
| 2025-10-15 01:27:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 01:28:18 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-15 01:29:36 | → | img joins (~img@user/img) |
| 2025-10-15 01:30:57 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-15 01:32:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 01:39:07 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 01:39:23 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-15 01:40:44 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-15 01:43:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.