Newest at the top
| 2024-09-28 03:24:55 +0200 | <jackdk> | monochrom: if package `bifunctors` can have `Biff` and `Tannen`, as well as `Clown`s to the left and `Joker`s to the right, then you can do whatever you want. |
| 2024-09-28 03:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-28 03:17:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 03:15:19 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2024-09-28 03:12:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 03:07:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-28 03:06:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 03:02:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 03:01:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:51:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 02:51:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-28 02:46:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:41:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-28 02:40:22 +0200 | <monochrom> | Yes! "join s = zipWith (!!) s [0..]" for the stream monad (representable by ℕ) is generalizable to all representable functors as: join m = liftA2 lookup m (tabulate id). |
| 2024-09-28 02:37:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 02:35:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 02:30:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 02:26:17 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-28 02:23:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 02:19:58 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-28 02:18:32 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-28 02:17:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 02:15:18 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-09-28 02:09:26 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2024-09-28 02:08:21 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-28 02:01:19 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
| 2024-09-28 01:57:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 01:48:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 01:46:32 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2024-09-28 01:46:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:43:27 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-09-28 01:43:19 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-28 01:41:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 01:39:06 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-28 01:35:51 +0200 | <EvanR> | if you're close enough to read this back the hell off |
| 2024-09-28 01:35:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 01:35:28 +0200 | <int-e> | . o O ( sign reading "eyes on the road" ) |
| 2024-09-28 01:35:08 +0200 | <EvanR> | empty sign |
| 2024-09-28 01:34:56 +0200 | <monochrom> | haha |
| 2024-09-28 01:34:47 +0200 | <EvanR> | a roadsign for something totally safe ... probably not a thing |
| 2024-09-28 01:34:06 +0200 | <monochrom> | Right, this is a safe total lookup :) |
| 2024-09-28 01:33:48 +0200 | <monochrom> | (which is also very guessable for people who have used Map and Vector etc) |
| 2024-09-28 01:33:41 +0200 | <EvanR> | which isn't the case here |
| 2024-09-28 01:33:33 +0200 | <EvanR> | I always felt like ! and !! meant the lookup was liable to crash |
| 2024-09-28 01:32:59 +0200 | <monochrom> | I will settle for infix (!) for the inverse. |
| 2024-09-28 01:32:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-09-28 01:32:38 +0200 | <monochrom> | I stole it from the Hutton paper. :) But probably Hutton stole in from prior work, too. |
| 2024-09-28 01:32:25 +0200 | <EvanR> | for a common or should be commonly understood operation |
| 2024-09-28 01:32:04 +0200 | <EvanR> | tabulate is a good word |
| 2024-09-28 01:31:33 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |