Newest at the top
| 2026-01-22 03:14:58 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 03:14:35 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 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:11:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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:09:21 +0100 | <haskellbridge> | <iqubic (she/her)> Yeah, that makes sense... |
| 2026-01-22 03:09:16 +0100 | <monochrom> | Or yeah, that. |
| 2026-01-22 03:08:48 +0100 | <monochrom> | Alterantively convert your own recursion to foldr 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:23 +0100 | <monochrom> | Convert foldr back to your own recursion to see. |
| 2026-01-22 03:07:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 03:07:00 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 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:06:03 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Read error: Connection reset by peer) |
| 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:00:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 02:59:05 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2026-01-22 02:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:51:20 +0100 | typedfern_ | (~Typedfern@192.red-83-37-37.dynamicip.rima-tde.net) typedfern |
| 2026-01-22 02:46:49 +0100 | omidmash1 | omidmash |
| 2026-01-22 02:46:49 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-01-22 02:45:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 02:44:53 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-01-22 02:44:14 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 244 seconds) |
| 2026-01-22 02:44:10 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-22 02:42:55 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-01-22 02:40:59 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-22 02:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:29:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 02:24:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:24:04 +0100 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-01-22 02:23:57 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-01-22 02:22:45 +0100 | typedfern_ | (~Typedfern@81.red-83-37-28.dynamicip.rima-tde.net) typedfern |
| 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:17:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 02:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 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:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 02:04:42 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-22 02:02:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 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:03 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2026-01-22 01:59:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-22 01:56:08 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-22 01:55:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 01:55:06 +0100 | trickard_ | trickard |
| 2026-01-22 01:53:03 +0100 | Brumaire | (~no@94.140.114.73) (Remote host closed the connection) |
| 2026-01-22 01:51:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |