Logs: liberachat/#haskell
| 2025-09-27 22:34:57 | <lambdabot> | Not in scope: data constructor ‘Data.Functor.Const.Const’ |
| 2025-09-27 22:34:57 | <lambdabot> | No module named ‘Data.Functor.Const’ is imported. |
| 2025-09-27 22:35:07 | <int-e> | % fmap (7*) (Data.Functor.Const.Const ()) |
| 2025-09-27 22:35:07 | <yahb2> | Const () |
| 2025-09-27 22:35:31 | <newsham> | complex type gymnastics can let me use a large 3rd party vector package to replace my 3 instance declarations? :) |
| 2025-09-27 22:35:57 | <EvanR> | or delete your 3 instances and just use * or a dedicate scale function |
| 2025-09-27 22:38:12 | <newsham> | * doesnt do color * float. my 3 instances define 3 dedicated scale functions. |
| 2025-09-27 22:39:40 | <newsham> | oh, nice. `*` does do float x color. |
| 2025-09-27 22:40:31 | <newsham> | oh, i'm mistaken. it can just convert numeric constants to colors. |
| 2025-09-27 22:40:39 | <newsham> | and do color x color |
| 2025-09-27 22:40:56 | <EvanR> | scaling by a "real" is traditionally the purview of "vector space" |
| 2025-09-27 22:40:56 | <newsham> | anyway.. i've got my instance i'm happy with.. going to goof off with other stuff. thanks for the tips. |
| 2025-09-27 22:42:30 | <EvanR> | but specifically only dealing in scale factors between 0 and 1 sounds more like probability |
| 2025-09-27 22:47:50 | × | newsham quits (~newsham@2603:800c:2c01:6825:a538:c286:d6c2:5fcd) (Quit: Client closed) |
| 2025-09-27 22:50:08 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-09-27 22:50:31 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-27 22:55:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-27 22:56:58 | → | Inline joins (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-27 23:00:11 | <fgarcia> | the function name had me confused, i think "darken" might work |
| 2025-09-27 23:00:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-27 23:02:32 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-27 23:03:36 | <EvanR> | I've wondered this a couple times, if there was any point in abstracting sliders or knobs or UI elements which could almost be logically between 0 and 1 but it never seemed worth it |
| 2025-09-27 23:03:59 | <EvanR> | s/almost/only/ |
| 2025-09-27 23:06:56 | <geekosaur> | abstracting UI elements is already pretty difficult, granting that unless you're talking FRP the real complication is interfacing with an OOP graphics library |
| 2025-09-27 23:10:08 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-27 23:10:09 | <EvanR> | I mean their values |
| 2025-09-27 23:10:21 | <EvanR> | but yeah, why is UI so hard |
| 2025-09-27 23:10:31 | <EvanR> | after all these decades |
| 2025-09-27 23:11:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-27 23:13:13 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-27 23:13:35 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-27 23:13:46 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-27 23:14:34 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-27 23:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-27 23:17:37 | → | sprotte24 joins (~sprotte24@p200300d16f22ee00292e69812e23861a.dip0.t-ipconnect.de) |
| 2025-09-27 23:19:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-27 23:24:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-27 23:25:40 | → | Googulator48 joins (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-27 23:25:41 | × | Googulator84 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-27 23:26:06 | → | emm joins (~emm@user/edmeme) |
| 2025-09-27 23:26:47 | × | emm quits (~emm@user/edmeme) (Client Quit) |
| 2025-09-27 23:33:50 | × | acidjnk quits (~acidjnk@p200300d6e71719741804246150b63047.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-27 23:39:03 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) |
| 2025-09-27 23:39:03 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) (Changing host) |
| 2025-09-27 23:39:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-27 23:39:38 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2025-09-27 23:45:47 | → | Googulator67 joins (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-27 23:46:14 | × | Googulator48 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-27 23:47:53 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-27 23:48:07 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-27 23:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-27 23:56:00 | → | Googulator74 joins (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-27 23:56:21 | × | Googulator67 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-27 23:59:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 00:03:06 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2025-09-28 00:10:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 00:10:36 | × | Googulator74 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 00:10:43 | → | Googulator48 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 00:17:03 | × | sprotte24 quits (~sprotte24@p200300d16f22ee00292e69812e23861a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-09-28 00:17:03 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-28 00:17:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 00:17:44 | × | defragger quits (~random@i5C742D07.versanet.de) (Ping timeout: 240 seconds) |
| 2025-09-28 00:19:31 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-09-28 00:19:48 | → | defragger joins (~random@i5C742CDD.versanet.de) |
| 2025-09-28 00:20:07 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-28 00:34:34 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-28 00:35:37 | <haskellbridge> | <sm> good question EvanR |
| 2025-09-28 00:35:40 | → | Googulator17 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 00:35:42 | × | Googulator48 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 00:43:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) |
| 2025-09-28 00:44:12 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 00:44:25 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 00:46:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc31:7384:48d7:f4e1) (Client Quit) |
| 2025-09-28 00:50:50 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) |
| 2025-09-28 00:50:50 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:3141:a154:f561:75d0) (Changing host) |
| 2025-09-28 00:50:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-28 00:52:51 | × | yegor quits (~yegor@user/yegor) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-28 00:53:11 | → | yegor joins (yegor@user/yegor) |
| 2025-09-28 00:55:13 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2025-09-28 01:04:38 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-28 01:13:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-28 01:17:10 | trickard_ | is now known as trickard |
| 2025-09-28 01:23:44 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-09-28 01:27:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-28 01:27:44 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 01:28:00 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 01:30:53 | → | talismanick joins (~user@2601:644:937c:ed10::c8dc) |
| 2025-09-28 01:35:41 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-28 01:41:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 01:42:42 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-28 01:42:58 | × | talismanick quits (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 01:46:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 01:48:27 | × | comonad quits (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-09-28 01:50:05 | → | talismanick joins (~user@2601:644:937c:ed10::c8dc) |
| 2025-09-28 01:50:11 | → | comonad joins (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) |
| 2025-09-28 01:51:04 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2025-09-28 01:56:16 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-28 01:57:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 02:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 02:05:04 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
All times are in UTC.