| 2026-01-22 00:00:04 +0100 | <pipsquak-bird> | I also wonder if i could use ideas liek 9p.io |
| 2026-01-22 00:00:21 +0100 | <pipsquak-bird> | so jobs are auto parallizable over grid of nodes |
| 2026-01-22 00:00:24 +0100 | <pipsquak-bird> | woa wee |
| 2026-01-22 00:00:34 +0100 | <pipsquak-bird> | happstack.com looks awesome |
| 2026-01-22 00:00:41 +0100 | <pipsquak-bird> | but can it grid? |
| 2026-01-22 00:00:53 +0100 | <pipsquak-bird> | 9p.io really seems clever more I see it |
| 2026-01-22 00:01:01 +0100 | <pipsquak-bird> | the editors zonks me |
| 2026-01-22 00:02:39 +0100 | <pipsquak-bird> | https://www.researchgate.net/publication/228468620_RMoX_a_Raw_Metal_occam_Experiment |
| 2026-01-22 00:04:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 00:09:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 00:16:25 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 00:16:27 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 00:16:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 00:16:39 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 00:16:44 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-22 00:17:05 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 244 seconds) |
| 2026-01-22 00:18:40 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-22 00:20:12 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 2026-01-22 00:21:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 00:22:46 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-22 00:26:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-01-22 00:28:55 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-22 00:32:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 00:36:42 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-22 00:37:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 00:45:52 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2026-01-22 00:48:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 00:48:46 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-01-22 00:52:29 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-22 00:53:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 01:03:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 01:05:35 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 01:05:48 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 01:08:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 01:12:00 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 01:14:03 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2026-01-22 01:16:09 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 01:16:34 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-22 01:18:16 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-22 01:19:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 01:24:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 01:29:43 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-22 01:35:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 01:40:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 01:45:55 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-22 01:47:50 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-22 01:49:11 +0100 | xff0x | (~xff0x@ai083101.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2026-01-22 01:51:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 01:53:03 +0100 | Brumaire | (~no@94.140.114.73) (Remote host closed the connection) |
| 2026-01-22 01:55:06 +0100 | trickard_ | trickard |
| 2026-01-22 01:55:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 01:56:08 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-22 01:59:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-22 02:02:03 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2026-01-22 02:02:42 +0100 | Googulator | (~Googulato@2a01:36d:106:30a:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 2026-01-22 02:02:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 02:04:42 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-22 02:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:08:55 +0100 | typedfern_ | (~Typedfern@53.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2026-01-22 02:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-22 02:17:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 02:20:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 02:22:45 +0100 | typedfern_ | (~Typedfern@81.red-83-37-28.dynamicip.rima-tde.net) typedfern |
| 2026-01-22 02:23:57 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-01-22 02:24:04 +0100 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-01-22 02:24:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:29:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 02:37:37 +0100 | typedfern_ | (~Typedfern@81.red-83-37-28.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2026-01-22 02:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:40:59 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-22 02:42:55 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-01-22 02:44:10 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-22 02:44:14 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 244 seconds) |
| 2026-01-22 02:44:53 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-01-22 02:45:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 02:46:49 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-01-22 02:46:49 +0100 | omidmash1 | omidmash |
| 2026-01-22 02:51:20 +0100 | typedfern_ | (~Typedfern@192.red-83-37-37.dynamicip.rima-tde.net) typedfern |
| 2026-01-22 02:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:59:05 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2026-01-22 03:00:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 03:05:41 +0100 | <haskellbridge> | <iqubic (she/her)> So, this is breaking my brain... How the heck is this the same as "liftA2" for lists: "cross f xs ys = foldr (\x rec -> (map (f x) ys) ++ rec) [] xs" |
| 2026-01-22 03:06:03 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Read error: Connection reset by peer) |
| 2026-01-22 03:06:11 +0100 | <haskellbridge> | <iqubic (she/her)> cross is the same as liftA2 if you work on lists and I have no clue why!!! |
| 2026-01-22 03:07:00 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 03:07:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 03:08:23 +0100 | <monochrom> | Convert foldr back to your own recursion to see. |
| 2026-01-22 03:08:47 +0100 | <ncf> | convert foldr to concatMap and remember how the list monad works |
| 2026-01-22 03:08:48 +0100 | <monochrom> | Alterantively convert your own recursion to foldr to see. :) |
| 2026-01-22 03:09:16 +0100 | <monochrom> | Or yeah, that. |
| 2026-01-22 03:09:21 +0100 | <haskellbridge> | <iqubic (she/her)> Yeah, that makes sense... |
| 2026-01-22 03:09:34 +0100 | <ncf> | cross f xs ys = xs >>= \x -> map (f x) ys = xs >>= \x -> ys >>= \y -> [f x y] = f <$> xs <*> ys |
| 2026-01-22 03:11:47 +0100 | <monochrom> | The reason I prefer functional programming is that I just do algebra and see how two programs do the same thing. As opposed to what most people do for imperative programming: talk in "English" "intuition (read: mince and bend words) and call that "understanding". (LLMs proved that it is not understanding.) |
| 2026-01-22 03:11:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 03:13:45 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Read error: Connection reset by peer) |
| 2026-01-22 03:14:35 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-01-22 03:14:58 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 03:16:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-22 03:21:43 +0100 | <haskellbridge> | <iqubic (she/her)> I see... |
| 2026-01-22 03:21:55 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 264 seconds) |
| 2026-01-22 03:22:08 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 03:22:27 +0100 | <haskellbridge> | <iqubic (she/her)> for lists "sequenceA" is "foldr (liftA2 (:)) [[]]" |
| 2026-01-22 03:22:32 +0100 | <haskellbridge> | <iqubic (she/her)> Huh?!?!? How does that work? |
| 2026-01-22 03:23:27 +0100 | <haskellbridge> | <iqubic (she/her)> sequenceA [[11,12], [21,22]] = [[11,21],[11,22],[12,21],[12,22]] |
| 2026-01-22 03:23:49 +0100 | <haskellbridge> | <iqubic (she/her)> And "foldr (liftA2 (:)) [[]]" does the same thing. |
| 2026-01-22 03:25:17 +0100 | <monochrom> | I might rewrite "[[]]" as "pure []". |
| 2026-01-22 03:26:47 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-22 03:27:20 +0100 | <haskellbridge> | <iqubic (she/her)> I see... that's very similar to "foldr (:) []", but with applicative actions. |
| 2026-01-22 03:27:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 03:28:17 +0100 | <haskellbridge> | <iqubic (she/her)> How does that compute a Cartesian product though? |
| 2026-01-22 03:29:06 +0100 | <haskellbridge> | <iqubic (she/her)> "cart [[11,12], [21,22]]" is "[[11,21,22],[12,21,22]]" |
| 2026-01-22 03:29:58 +0100 | <haskellbridge> | <iqubic (she/her)> Erm... not that. It's late and I'm tired. |