Logs: liberachat/#haskell
| 2026-01-19 17:39:43 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-19 17:40:19 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-19 17:45:24 | → | Zemy_ joins (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 2026-01-19 17:47:34 | × | Zemy quits (~Zemy@2600:100c:b0ac:690c:b4ed:2fff:fe96:e8a8) (Ping timeout: 260 seconds) |
| 2026-01-19 17:49:37 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-19 17:50:19 | → | Zemy joins (~Zemy@2600:100c:b0ac:690c:f0db:85ff:fe9f:4717) |
| 2026-01-19 17:50:40 | × | Zemy_ quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Read error: Connection reset by peer) |
| 2026-01-19 17:50:51 | → | Zemy_ joins (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 2026-01-19 17:51:50 | → | Core3932 joins (~Zemy@2600:100c:b0a4:b1d4:3c0a:98ff:fe04:7c7b) |
| 2026-01-19 17:54:31 | × | Zemy quits (~Zemy@2600:100c:b0ac:690c:f0db:85ff:fe9f:4717) (Ping timeout: 255 seconds) |
| 2026-01-19 17:55:31 | × | Zemy_ quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-19 17:56:13 | → | Zemy joins (~Zemy@76.184.46.188) |
| 2026-01-19 17:58:16 | × | Core3932 quits (~Zemy@2600:100c:b0a4:b1d4:3c0a:98ff:fe04:7c7b) (Ping timeout: 246 seconds) |
| 2026-01-19 18:01:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 18:03:04 | → | Zemy_ joins (~Zemy@2600:100c:b0a4:b1d4:dc98:c9ff:fef7:e931) |
| 2026-01-19 18:04:34 | × | Zemy quits (~Zemy@76.184.46.188) (Ping timeout: 246 seconds) |
| 2026-01-19 18:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-19 18:06:55 | × | Zemy_ quits (~Zemy@2600:100c:b0a4:b1d4:dc98:c9ff:fef7:e931) (Read error: Connection reset by peer) |
| 2026-01-19 18:07:06 | → | Zemy joins (~Zemy@2600:100c:b0a4:b1d4:d8eb:fff:fe7b:ae33) |
| 2026-01-19 18:17:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 18:20:22 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-19 18:22:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-19 18:22:15 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-19 18:26:51 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-19 18:28:16 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-01-19 18:30:29 | × | Googulator quits (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-19 18:30:46 | → | Googulator joins (~Googulato@2a01-036d-0106-29ac-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-19 18:32:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 18:37:06 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2026-01-19 18:38:24 | → | Zemy_ joins (~Zemy@mobile-107-80-206-99.mycingular.net) |
| 2026-01-19 18:39:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-19 18:39:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-19 18:39:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) |
| 2026-01-19 18:40:37 | × | Zemy quits (~Zemy@2600:100c:b0a4:b1d4:d8eb:fff:fe7b:ae33) (Ping timeout: 246 seconds) |
| 2026-01-19 18:42:06 | → | Zemy joins (~Zemy@2600:100c:b0a4:b1d4:986c:e6ff:fe1d:2ee2) |
| 2026-01-19 18:42:15 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 2026-01-19 18:42:42 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-19 18:45:13 | → | Core1134 joins (~Zemy@72.178.108.235) |
| 2026-01-19 18:45:37 | × | Zemy_ quits (~Zemy@mobile-107-80-206-99.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-19 18:46:13 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-01-19 18:46:58 | → | newmind joins (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-01-19 18:48:19 | × | Zemy quits (~Zemy@2600:100c:b0a4:b1d4:986c:e6ff:fe1d:2ee2) (Ping timeout: 246 seconds) |
| 2026-01-19 18:48:25 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-19 18:49:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-19 18:51:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 18:55:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-19 18:55:53 | → | Zeren1x joins (~Zeren1x@myrxg-tx-revr.srv.bryntx.alticeusa.net) |
| 2026-01-19 18:57:33 | × | Zeren1x quits (~Zeren1x@myrxg-tx-revr.srv.bryntx.alticeusa.net) (Client Quit) |
| 2026-01-19 19:05:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 19:10:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 19:20:25 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-19 19:21:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 19:22:04 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-19 19:22:55 | × | newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-19 19:26:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 19:37:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 19:38:51 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-19 19:40:09 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2026-01-19 19:40:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-19 19:42:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-19 19:45:33 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-19 19:49:19 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-19 19:53:05 | trickard_ | is now known as trickard |
| 2026-01-19 19:53:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 19:55:36 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-19 19:58:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-19 19:58:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-19 20:06:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 20:11:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-19 20:21:25 | → | krei-se- joins (~krei-se@p5dea1514.dip0.t-ipconnect.de) |
| 2026-01-19 20:22:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 20:24:01 | × | krei-se quits (~krei-se@p50829ec0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-19 20:27:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 20:27:55 | × | myme quits (~myme@2a01:799:d5e:5f00:182f:237f:5285:8c47) (Ping timeout: 264 seconds) |
| 2026-01-19 20:28:15 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-19 20:28:35 | → | myme joins (~myme@2a01:799:d5e:5f00:5f14:dcc1:b627:62ff) |
| 2026-01-19 20:28:39 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-19 20:29:42 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-19 20:31:47 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2026-01-19 20:36:22 | <yin> | `any p . takeWhile f` will be trivially fused, right? |
| 2026-01-19 20:38:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 20:43:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-19 20:44:15 | <probie> | yin: I don't think it's trivial, but it should fuse. `any p` is defined using `foldMap` which will turn into `foldr`, and `takeWhile` has a rewrite rule to turn it into a `build` |
| 2026-01-19 20:54:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 20:58:41 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-01-19 20:58:59 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-19 20:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-19 20:59:13 | <yin> | great |
| 2026-01-19 20:59:13 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2026-01-19 20:59:19 | <EvanR> | I have an algorithm for drawing certain black and white shapes, but there might be an issue with it. First the algorithm: start with an infinite plane of all 0s. for each smooth segment of the shapes boundary, follow the curve and paint 2 rays going 90 degrees to the curve at each point. The rays add +1 or -1 respectively anywhere they go, depending on if this is the black ray or white ray |
| 2026-01-19 21:00:04 | <EvanR> | after following all the curves, either forever, or to their conclusion, the plane is populated with positive or negative numbers (no zeros, unless you did something messed up like crossing two curves) |
| 2026-01-19 21:00:22 | <EvanR> | which you interpret as the color |
| 2026-01-19 21:00:34 | <EvanR> | the issue is, is this even an algorithm |
| 2026-01-19 21:01:23 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 2026-01-19 21:02:33 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-19 21:04:53 | <EvanR> | it might also be just wrong, but I'm tabling that for now xD |
| 2026-01-19 21:10:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-19 21:10:55 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 240 seconds) |
| 2026-01-19 21:11:04 | <EvanR> | in fact it's totally wrong, but is it even an algorithm |
| 2026-01-19 21:11:30 | <jreicher> | I think it's a geometric construction |
All times are in UTC.