Logs: liberachat/#haskell
| 2026-01-27 16:57:54 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-27 16:58:01 | × | Zemy quits (~Zemy@2600:100c:b0ab:1f04:4ca1:5bff:fe9f:a327) (Read error: Connection reset by peer) |
| 2026-01-27 16:58:45 | → | Zemy joins (~Zemy@2600:100c:b0ab:1f04:48c7:c8ff:fe0b:a1b9) |
| 2026-01-27 16:59:19 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-27 17:01:10 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-27 17:01:50 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2026-01-27 17:02:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) |
| 2026-01-27 17:03:50 | × | Zemy quits (~Zemy@2600:100c:b0ab:1f04:48c7:c8ff:fe0b:a1b9) (Read error: Connection reset by peer) |
| 2026-01-27 17:04:04 | → | Zemy joins (~Zemy@2600:100c:b0ab:1f04:d4be:dff:fe55:a49f) |
| 2026-01-27 17:05:30 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-3891-da7f-f3f3-f997.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-27 17:05:47 | → | Googulator joins (~Googulato@77-234-89-65.pool.digikabel.hu) |
| 2026-01-27 17:06:08 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-01-27 17:06:37 | × | Zemy_ quits (~Zemy@12.50.228.210) (Ping timeout: 264 seconds) |
| 2026-01-27 17:07:52 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-27 17:11:04 | × | Zemy quits (~Zemy@2600:100c:b0ab:1f04:d4be:dff:fe55:a49f) (Ping timeout: 260 seconds) |
| 2026-01-27 17:14:17 | → | Zemy joins (~Zemy@2600:100c:b0ab:1f04:833:8cff:fe08:53a1) |
| 2026-01-27 17:15:11 | → | Core4016 joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-27 17:17:16 | → | Core1880 joins (~Zemy@2600:100c:b0ab:1f04:a007:31ff:fee3:feea) |
| 2026-01-27 17:17:25 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2026-01-27 17:17:39 | × | Zemy quits (~Zemy@2600:100c:b0ab:1f04:833:8cff:fe08:53a1) (Read error: Connection reset by peer) |
| 2026-01-27 17:19:49 | × | Core4016 quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2026-01-27 17:22:39 | → | Zemy joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2026-01-27 17:22:40 | × | Core1880 quits (~Zemy@2600:100c:b0ab:1f04:a007:31ff:fee3:feea) (Read error: Connection reset by peer) |
| 2026-01-27 17:22:50 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-01-27 17:22:58 | → | Zemy_ joins (~Zemy@2600:100c:b0ab:1f04:7426:a9ff:fe1a:5fd1) |
| 2026-01-27 17:23:09 | × | shr\ke quits (~shrike@user/shrke:31298) (Read error: Connection reset by peer) |
| 2026-01-27 17:23:29 | → | Core5620 joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2026-01-27 17:23:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-27 17:23:48 | → | shr\ke joins (~shrike@user/paxhumana) |
| 2026-01-27 17:23:49 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 2026-01-27 17:23:49 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 2026-01-27 17:27:00 | × | Zemy quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 265 seconds) |
| 2026-01-27 17:27:29 | × | Zemy_ quits (~Zemy@2600:100c:b0ab:1f04:7426:a9ff:fe1a:5fd1) (Ping timeout: 265 seconds) |
| 2026-01-27 17:36:42 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-27 17:39:31 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-27 17:40:39 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-27 17:41:06 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-27 17:41:09 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 17:41:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-27 17:41:22 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 17:42:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) |
| 2026-01-27 17:42:28 | × | chele quits (~chele@user/chele) (Ping timeout: 265 seconds) |
| 2026-01-27 17:43:07 | → | Zemy joins (~Zemy@2600:100c:b0ab:1f04:c43:d0ff:fece:9dae) |
| 2026-01-27 17:47:18 | × | Core5620 quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 265 seconds) |
| 2026-01-27 17:47:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-27 17:47:43 | × | ft quits (~ft@p508db580.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-27 17:48:39 | → | ft joins (~ft@p508db580.dip0.t-ipconnect.de) |
| 2026-01-27 17:49:25 | × | Zemy quits (~Zemy@2600:100c:b0ab:1f04:c43:d0ff:fece:9dae) (Ping timeout: 246 seconds) |
| 2026-01-27 17:53:16 | trickard_ | is now known as trickard |
| 2026-01-27 17:55:12 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-27 17:55:47 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-01-27 17:55:55 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-01-27 18:04:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-27 18:05:38 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2026-01-27 18:13:33 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-27 18:13:56 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-27 18:13:57 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-01-27 18:21:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-27 18:30:01 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2026-01-27 18:35:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-27 18:42:19 | × | acidjnk_new quits (~acidjnk@p200300d6e700e5235c0a3441a338f285.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-27 18:50:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) |
| 2026-01-27 19:04:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 19:10:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-27 19:14:37 | → | Hardyhardhard joins (~Hardyhard@user/hardyhardhard) |
| 2026-01-27 19:17:28 | × | Hardyhardhard quits (~Hardyhard@user/hardyhardhard) (Client Quit) |
| 2026-01-27 19:19:07 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-27 19:20:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-27 19:20:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 19:25:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-27 19:28:29 | × | wickedjargon quits (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-01-27 19:31:10 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-27 19:31:14 | × | jreicher quits (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-01-27 19:32:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-27 19:35:55 | → | acidjnk_new joins (~acidjnk@p200300d6e700e523c8ca6d674f934d23.dip0.t-ipconnect.de) |
| 2026-01-27 19:36:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 19:40:25 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-27 19:41:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2026-01-27 19:43:16 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-27 19:43:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-27 19:51:53 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Read error: Connection reset by peer) |
| 2026-01-27 19:52:13 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-27 19:54:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 19:59:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-27 20:01:23 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-01-27 20:04:32 | → | Square3 joins (~Square@user/square) |
| 2026-01-27 20:04:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-27 20:07:35 | × | myme quits (~myme@2a01:799:d5e:5f00:5fcd:f459:869a:1345) (Ping timeout: 244 seconds) |
| 2026-01-27 20:08:33 | → | myme joins (~myme@2a01:799:d5e:5f00:da5c:bf67:b20f:104d) |
| 2026-01-27 20:09:44 | ← | thenightmail parts (~thenightm@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-01-27 20:09:49 | → | thenightmail joins (~thenightm@user/thenightmail) |
| 2026-01-27 20:10:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-27 20:15:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-27 20:15:50 | <dutchie> | I feel like I'm missing some insight to fill in the rest of leavesByDepth here: https://paste.tomsmeding.com/rXNhmaqV |
| 2026-01-27 20:16:03 | <dutchie> | I need to sort of recursively sum? |
| 2026-01-27 20:17:36 | <monochrom> | What does "leavesByDepth" mean? |
| 2026-01-27 20:18:43 | <dutchie> | the number of elements of type a at each depth of the tree |
| 2026-01-27 20:19:11 | <dutchie> | so there is 1 at the top of the tree, then one for each child at depth 1, and so on recursively |
| 2026-01-27 20:19:35 | <dutchie> | maybe "leaves" is the wrong word, "values" would be better I guess |
| 2026-01-27 20:20:50 | <int-e> | > map sum (transpose [[1],[1,3,3,1],[1,2]]) |
All times are in UTC.