| 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. |
| 2026-01-22 03:30:44 +0100 | <haskellbridge> | <iqubic (she/her)> But sequenceA "foldr (liftA2 (:)) (pure [])" is a Cartesian product, and I'm not sure why. |
| 2026-01-22 03:31:58 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 03:32:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 03:43:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 03:45:49 +0100 | <geekosaur> | list monad with no actions is Cartesian product. maybe you'd find the list comprehension version easier to interpret? |
| 2026-01-22 03:47:40 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 03:48:44 +0100 | <haskellbridge> | <iqubic (she/her)> What's the list comprehension version? |
| 2026-01-22 03:48:56 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-01-22 03:49:20 +0100 | Inline | (~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) (Ping timeout: 244 seconds) |
| 2026-01-22 03:49:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 03:49:51 +0100 | typedfern_ | (~Typedfern@192.red-83-37-37.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2026-01-22 03:49:55 +0100 | <haskellbridge> | <iqubic (she/her)> Why isn't this compiling? https://paste.tomsmeding.com/7dBnZHnU |
| 2026-01-22 03:52:47 +0100 | <haskellbridge> | <iqubic (she/her)> I want a function that computes all the ways to drop a single element from a list. |
| 2026-01-22 03:53:04 +0100 | <haskellbridge> | <iqubic (she/her)> drop1 [1,2,3] -> [[2,3], [1,3], [1,2]] |
| 2026-01-22 03:53:46 +0100 | <geekosaur> | xs is [a], drop1 xs is [[a]], map's result type will be the same as its input type as (x:) simply prepends to the inner lists |
| 2026-01-22 03:56:20 +0100 | <haskellbridge> | <iqubic (she/her)> I have "map (x:) (drop1 xs)" |
| 2026-01-22 03:56:36 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Remote host closed the connection) |
| 2026-01-22 03:56:57 +0100 | <haskellbridge> | <iqubic (she/her)> (x:) :: [a] -> [a] |
| 2026-01-22 03:57:30 +0100 | <haskellbridge> | <iqubic (she/her)> (drop1 xs) :: [[a]] |
| 2026-01-22 03:57:35 +0100 | <haskellbridge> | <iqubic (she/her)> I fail to see the issue here. |
| 2026-01-22 03:57:56 +0100 | <geekosaur> | xxs is only [a], not [[a]] |
| 2026-01-22 03:58:20 +0100 | <haskellbridge> | <iqubic (she/her)> xxs? |
| 2026-01-22 03:58:32 +0100 | <geekosaur> | rename the one in map, maybe it'll be a bit clearer (its "[a]" unifies with the "[[a]]" from drop1) |
| 2026-01-22 03:58:56 +0100 | <haskellbridge> | <Nguyễn Trọng Cường> I have a really stupid question: Is the very first GHC executable written in C? I analysed some modern GHC programs by Detect It Easy and all of them are flagged as "C" and "MinGW" |
| 2026-01-22 03:58:59 +0100 | <haskellbridge> | <iqubic (she/her)> I'm trying to use the head of the iinput. |
| 2026-01-22 03:59:25 +0100 | <haskellbridge> | <iqubic (she/her)> I'm so lost here... What am I missing? |
| 2026-01-22 04:01:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 04:01:25 +0100 | <geekosaur> | ghc was originally written in HBC, a now lost compiler which was itself written in Lazy ML |
| 2026-01-22 04:02:29 +0100 | Inline | (~User@2001-4dd6-dd24-0-288a-d894-752e-65cf.ipv6dyn.netcologne.de) Inline |
| 2026-01-22 04:02:54 +0100 | <geekosaur> | I think there's an ancient i386 binary for HBC somewhere, but no source and no guarantee the binary would run on modern systems |
| 2026-01-22 04:03:14 +0100 | <haskellbridge> | <iqubic (she/her)> geekosaur: Am I missing something obvious here? |
| 2026-01-22 04:03:19 +0100 | <haskellbridge> | <iqubic (she/her)> drop1 (x:xs) = xs ++ map (x:) (drop1 xs) |
| 2026-01-22 04:03:43 +0100 | <EvanR> | and lazy ML was written in |
| 2026-01-22 04:03:49 +0100 | <geekosaur> | drop1 :: [a] -> [[a]] |
| 2026-01-22 04:03:50 +0100 | <EvanR> | rather the compiler for it |
| 2026-01-22 04:04:09 +0100 | <EvanR> | (unlikely to still be available and functioning) |
| 2026-01-22 04:04:10 +0100 | <geekosaur> | map (x:) (drop1 xs) :: [[a]] -> [[a]] |
| 2026-01-22 04:04:15 +0100 | <geekosaur> | xs :: [a] |
| 2026-01-22 04:04:55 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 245 seconds) |
| 2026-01-22 04:05:06 +0100 | <geekosaur> | yeh, I have no clue about LML |
| 2026-01-22 04:05:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-22 04:05:36 +0100 | <haskellbridge> | <iqubic (she/her)> How can I fix my code here? |
| 2026-01-22 04:06:55 +0100 | <geekosaur> | I'm not quite sure what you're trying to do, to be honest. (in part because my focus is all over the place, I'm working on cabal atm and chasing around various housework things…) |
| 2026-01-22 04:07:04 +0100 | <haskellbridge> | <iqubic (she/her)> I see.... |
| 2026-01-22 04:07:21 +0100 | <haskellbridge> | <iqubic (she/her)> I want a function that computes all the ways to remove a single element from a list. |
| 2026-01-22 04:07:28 +0100 | <haskellbridge> | <iqubic (she/her)> drop1 [1,2,3] -> [[2,3], [1,3], [1,2]] |
| 2026-01-22 04:10:35 +0100 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-22 04:11:11 +0100 | <haskellbridge> | <iqubic (she/her)> drop1 (x:xs) = xs : map (\ys -> x:ys) (drop1 xs) |
| 2026-01-22 04:11:15 +0100 | <haskellbridge> | <iqubic (she/her)> That's what I wanted. |
| 2026-01-22 04:12:52 +0100 | <haskellbridge> | <iqubic (she/her)> I feel like there should be a way to rewrite this with a foldr: https://paste.tomsmeding.com/nV162kId |
| 2026-01-22 04:15:10 +0100 | <haskellbridge> | <iqubic (she/her)> Or, if not a fold, something else that factors out the manual recursion |
| 2026-01-22 04:16:30 +0100 | <Leary> | > (zipWith (++) . inits <*> tail . tails) [1,2,3] |
| 2026-01-22 04:16:32 +0100 | <lambdabot> | [[2,3],[1,3],[1,2]] |
| 2026-01-22 04:16:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 04:17:14 +0100 | <haskellbridge> | <iqubic (she/her)> I don't need that specific ordering, but those are the sets I want. |
| 2026-01-22 04:17:22 +0100 | <haskellbridge> | <iqubic (she/her)> If shuffling the ordering is better, feel free to do it. |
| 2026-01-22 04:17:53 +0100 | <haskellbridge> | <iqubic (she/her)> I want each list to contain N-1 elements of the input list, in some order. |
| 2026-01-22 04:18:03 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-01-22 04:19:03 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-22 04:21:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 04:21:22 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-01-22 04:23:16 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-22 04:25:35 +0100 | cupnoodle | (~cupnoodle@223.187.121.96) |
| 2026-01-22 04:26:42 +0100 | Typedfern | (~Typedfern@249.red-83-37-36.dynamicip.rima-tde.net) |
| 2026-01-22 04:32:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 04:36:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 04:41:22 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 04:41:34 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 04:46:40 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 04:48:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 04:51:37 +0100 | <ncf> | Leary's answer is the way to go, but if you like lens fuckery: |
| 2026-01-22 04:51:39 +0100 | <ncf> | > catMaybes . peek Nothing <$> holesOf traverse (Just <$> [1,2,3]) |
| 2026-01-22 04:51:40 +0100 | <lambdabot> | [[2,3],[1,3],[1,2]] |
| 2026-01-22 04:51:52 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 04:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 04:55:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 05:00:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 05:01:27 +0100 | Inline | (~User@2001-4dd6-dd24-0-288a-d894-752e-65cf.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-22 05:01:40 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-22 05:02:09 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 05:03:29 +0100 | Jackneill | (~Jackneill@178-164-234-102.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2026-01-22 05:06:17 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-22 05:11:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 05:13:54 +0100 | cupnoodle | (~cupnoodle@223.187.121.96) (Quit: Lost terminal) |
| 2026-01-22 05:15:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 05:26:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 05:31:27 +0100 | <haskellbridge> | <iqubic (she/her)> What the fuck is that lens fuckery? |
| 2026-01-22 05:31:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 05:33:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 05:44:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 05:45:41 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 05:45:53 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 05:49:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 05:50:13 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-22 05:58:28 +0100 | <jackdk> | Wow that's cool. |
| 2026-01-22 05:59:03 +0100 | <probie> | :t holesOf |
| 2026-01-22 05:59:04 +0100 | <lambdabot> | Conjoined p => Over p (Bazaar p a a) s t a a -> s -> [Control.Lens.Internal.Context.Pretext p a a t] |
| 2026-01-22 05:59:48 +0100 | <jackdk> | I was very pleased with `bmap (zoom someRecordFieldLens)` the other day and I see I still have much more to learn. |
| 2026-01-22 06:00:02 +0100 | <probie> | :t holesOf traverse |
| 2026-01-22 06:00:03 +0100 | <lambdabot> | Traversable t => t a -> [Control.Lens.Internal.Context.Pretext (->) a a (t a)] |
| 2026-01-22 06:00:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:02:13 +0100 | <haskellbridge> | <iqubic (she/her)> How the hell does "holesOf" work? |
| 2026-01-22 06:02:47 +0100 | <dibblego> | @info bmap |
| 2026-01-22 06:02:48 +0100 | <lambdabot> | bmap |
| 2026-01-22 06:03:26 +0100 | <haskellbridge> | <iqubic (she/her)> ncf: How the hell does that work? |
| 2026-01-22 06:03:46 +0100 | <probie> | :t holesOf traverse [Just 1] |
| 2026-01-22 06:03:47 +0100 | <lambdabot> | Num a => [Control.Lens.Internal.Context.Pretext (->) (Maybe a) (Maybe a) [Maybe a]] |
| 2026-01-22 06:05:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 06:06:27 +0100 | <probie> | > map (\x -> peek (reverse (pos x)) x) $ holesOf traverse $ words "hello lens world" |
| 2026-01-22 06:06:28 +0100 | <lambdabot> | [["olleh","lens","world"],["hello","snel","world"],["hello","lens","dlrow"]] |
| 2026-01-22 06:07:08 +0100 | <haskellbridge> | <iqubic (she/her)> What is that doing?!?! |
| 2026-01-22 06:07:26 +0100 | <haskellbridge> | <iqubic (she/her)> It's doing unwords and also reversing one of the words?!?! |
| 2026-01-22 06:07:56 +0100 | <haskellbridge> | <iqubic (she/her)> *doing words |
| 2026-01-22 06:08:46 +0100 | <probie> | the words was just because I was too lazy to write ["hello", "lens", "world"]. |
| 2026-01-22 06:09:26 +0100 | <haskellbridge> | <iqubic (she/her)> Right, but how the hell are you just reversing only one element at a time? |
| 2026-01-22 06:11:45 +0100 | <probie> | holesOf takes a traversal and a thing to traverse and gives you a list back, where for every traversed element, you get a "context" of what was around the element |
| 2026-01-22 06:13:25 +0100 | <probie> | `pos ctx` gives you the element under focus (not used in ncf's thing), and `peek x ctx` "inserts" `x` into the context |
| 2026-01-22 06:16:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:16:54 +0100 | <haskellbridge> | <iqubic (she/her)> I see! |
| 2026-01-22 06:19:16 +0100 | <jackdk> | dibblego: `bmap` is what package `barbies` calls its rank-2 `fmap` (i.e. on functors of kind `(k -> Type) -> Type`) |
| 2026-01-22 06:20:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-22 06:21:33 +0100 | <jackdk> | probie: `peeks reverse` |
| 2026-01-22 06:21:53 +0100 | <jackdk> | Axman6: get in here we're having fun |
| 2026-01-22 06:24:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2026-01-22 06:31:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:34:58 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-22 06:36:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-22 06:38:01 +0100 | Guest49 | (~Guest89@187.170.211.94) |
| 2026-01-22 06:39:24 +0100 | <dibblego> | ah ok |
| 2026-01-22 06:43:40 +0100 | <jackdk> | While we're talking about lenses, someone re-uploaded the lost SPJ talk and I think that's great: https://www.youtube.com/watch?v=dxGaKn4REaY |
| 2026-01-22 06:47:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 06:51:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 06:56:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 07:01:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 07:04:54 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-22 07:05:45 +0100 | <haskellbridge> | <Axman6> Hello! |
| 2026-01-22 07:11:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-22 07:12:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 07:15:49 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-22 07:16:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-22 07:19:53 +0100 | Guest49 | (~Guest89@187.170.211.94) (Ping timeout: 272 seconds) |
| 2026-01-22 07:22:44 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-22 07:27:06 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-22 07:27:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 07:32:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 07:38:04 +0100 | DarcsGuest | (~DarcsGues@2a07:7840:0:100:d9ca:210e:81dc:9c94) |
| 2026-01-22 07:41:11 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-22 07:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 07:45:01 +0100 | Inline | (~User@2001-4dd7-bc56-0-fdb7-c703-fc72-e0a.ipv6dyn.netcologne.de) Inline |
| 2026-01-22 07:48:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 07:48:17 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 07:50:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-22 07:53:12 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 07:53:36 +0100 | <haskellbridge> | <iqubic (she/her)> I need to watch that talk! |
| 2026-01-22 07:55:30 +0100 | skum | (~skum@user/skum) skum |
| 2026-01-22 07:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 08:02:00 +0100 | trickard_ | trickard |
| 2026-01-22 08:02:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 08:02:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-22 08:03:54 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-22 08:05:43 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-22 08:08:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-22 08:13:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 08:19:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-22 08:19:53 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 08:20:06 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 08:20:35 +0100 | DarcsGuest | (~DarcsGues@2a07:7840:0:100:d9ca:210e:81dc:9c94) (Quit: Client closed) |
| 2026-01-22 08:29:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 08:34:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-22 08:35:28 +0100 | Jackneill | (~Jackneill@178-164-234-102.pool.digikabel.hu) Jackneill |
| 2026-01-22 08:37:52 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-22 08:41:05 +0100 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-01-22 08:43:56 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-22 08:45:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 08:45:52 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-22 08:50:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 08:58:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 09:03:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 09:07:14 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 09:14:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 09:19:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-22 09:22:34 +0100 | danza | (~danza@user/danza) (Ping timeout: 246 seconds) |
| 2026-01-22 09:23:39 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-22 09:26:44 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-22 09:32:02 +0100 | krei-se- | (~krei-se@p5dea1514.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-01-22 09:34:33 +0100 | krei-se | (~krei-se@p5dea1514.dip0.t-ipconnect.de) krei-se |
| 2026-01-22 09:37:00 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-22 09:39:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 09:44:07 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2026-01-22 09:51:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-22 09:51:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-22 10:02:01 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-22 10:10:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-22 10:19:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 10:21:01 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-22 10:22:50 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-01-22 10:25:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 10:28:30 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2026-01-22 10:30:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-01-22 10:35:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-01-22 10:43:44 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-01-22 10:44:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 10:45:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 10:47:18 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-01-22 10:49:22 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-22 10:50:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-22 10:59:19 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-22 11:00:29 +0100 | <gentauro> | jackdk: wasn't it Edward Kmett that implemented `lenses` in Haskell? |
| 2026-01-22 11:01:37 +0100 | <gentauro> | my last leptop, I had the Haskell logo sticker cos Kmett gave me one :) |
| 2026-01-22 11:02:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 11:02:28 +0100 | <lortabac> | `lenses` is older than `lens` IIRC |
| 2026-01-22 11:02:40 +0100 | <lortabac> | `lens` is the one by Kmett |
| 2026-01-22 11:05:15 +0100 | <danza> | oh i thought his was the first. Definitely one of the most extensive |
| 2026-01-22 11:06:35 +0100 | <lortabac> | I may be wrong |
| 2026-01-22 11:07:02 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 11:10:15 +0100 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-01-22 11:10:26 +0100 | kimiamania4 | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-01-22 11:11:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 11:11:43 +0100 | kimiamania | (~b4b260c9@user/kimiamania) (Ping timeout: 264 seconds) |
| 2026-01-22 11:11:43 +0100 | kimiamania4 | kimiamania |
| 2026-01-22 11:12:08 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2026-01-22 11:16:21 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-22 11:18:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-01-22 11:33:34 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-22 11:37:30 +0100 | <gentauro> | iirc, SPJ mentions Kmett in that talk (Haskell eXchange 2013) with pure admiration |
| 2026-01-22 11:49:13 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-01-22 11:49:38 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 11:50:51 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 11:54:08 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 11:54:44 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-22 12:06:55 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 12:07:17 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-22 12:07:20 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-22 12:08:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-01-22 12:09:06 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-22 12:09:55 +0100 | trickard_ | trickard |
| 2026-01-22 12:19:56 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-01-22 12:20:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:52f9:378c:6eea:47d5) |
| 2026-01-22 12:26:24 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-01-22 12:28:25 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 246 seconds) |
| 2026-01-22 12:32:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 12:34:10 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-22 12:34:24 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-22 12:36:18 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-01-22 12:37:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-01-22 12:38:43 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 12:38:57 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 12:45:17 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-01-22 12:46:40 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-22 12:49:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 12:51:54 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2026-01-22 12:55:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-22 12:57:12 +0100 | <oskarw> | Hi everyone, I think I will have interview for Quantitative Developer in haskell. Do you know what how I should prepare before interview? I'm very motivated and have a lot of time at hand. |
| 2026-01-22 12:58:23 +0100 | Square3 | (~Square4@user/square) Square |
| 2026-01-22 12:59:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 13:08:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-22 13:09:20 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-22 13:09:53 +0100 | <[exa]> | oskarw: what's a "quantitative" developer? |
| 2026-01-22 13:10:49 +0100 | <oskarw> | [exa]: "You will work on a wide range of financial-markets projects, from client-facing GUIs to high-performance server-side systems and large-scale reporting tools. Our platforms handle millions of trades and rely heavily on Haskell" |
| 2026-01-22 13:11:09 +0100 | <[exa]> | so full-stack but but for trading instead of the web? |
| 2026-01-22 13:11:11 +0100 | <[exa]> | cool :) |
| 2026-01-22 13:11:39 +0100 | <oskarw> | Generally algorithms for financial market |
| 2026-01-22 13:12:14 +0100 | <[exa]> | like, I'd assume that company like that will have their own non-public stack for stuff so likely hard to learn in advance |
| 2026-01-22 13:12:50 +0100 | <[exa]> | otoh there's almost surely gonna be networking, if you've never done raw networking you could try a bit in advance |
| 2026-01-22 13:13:17 +0100 | <[exa]> | and maybe some actual number crunchery (repa/accelerate?)) |
| 2026-01-22 13:13:55 +0100 | <oskarw> | What do you mean by raw networking? |
| 2026-01-22 13:13:58 +0100 | <merijn> | Is that Standard Chartered? Or another one? |
| 2026-01-22 13:14:19 +0100 | <oskarw> | merijn: Yes, its Standard Chartered |
| 2026-01-22 13:14:50 +0100 | <merijn> | I mean, Standard Chartered doesn't even use GHC (or at least not exclusively), so that makes preparing ahead of time even trickier :p |
| 2026-01-22 13:15:29 +0100 | <gentauro> | merijn: they have their own compiler right? |
| 2026-01-22 13:15:30 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 13:15:31 +0100 | <oskarw> | [exa]: I will also bruch up my knowladge about concurrent programming. I've done project in haskell about concurrent programming, but I forgot some of the stuff |
| 2026-01-22 13:15:33 +0100 | <merijn> | Yes, Mu |
| 2026-01-22 13:15:34 +0100 | <gentauro> | however, they do use Haskell |
| 2026-01-22 13:15:41 +0100 | <gentauro> | right? |
| 2026-01-22 13:15:44 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 13:15:58 +0100 | <merijn> | Lennart wrote it and has (so far) not managed to get the lawyers to ok publishing the compiler, and I'm salty about that |
| 2026-01-22 13:16:42 +0100 | <gentauro> | merijn: :'( |
| 2026-01-22 13:16:44 +0100 | <oskarw> | merijn: Nevertheless there are surely some algorithm or general bussines knowladge I can learn beforehand |
| 2026-01-22 13:17:06 +0100 | <gentauro> | I guess they make a ton of money. Everytime I see Liverpool FC play, I kind of giggle -> https://www.liverpoolfc.com/corporate/partners |
| 2026-01-22 13:17:33 +0100 | <oskarw> | merijn: Do you know what is stoping lawyers to open source MU? |
| 2026-01-22 13:17:43 +0100 | <gentauro> | oskarw: profits ;) |
| 2026-01-22 13:18:23 +0100 | <gentauro> | I was working on a FP-project. We gave the talk showcasing it. All the attendees "voted" (by raising their hand) to "open source it". Next day, legal said: No |
| 2026-01-22 13:18:25 +0100 | <oskarw> | And for one moment I though about security by obscurity or something |
| 2026-01-22 13:18:29 +0100 | <gentauro> | welcome to corpo world xD |
| 2026-01-22 13:19:02 +0100 | <oskarw> | So sad, but what we can do about it |
| 2026-01-22 13:19:22 +0100 | <gentauro> | oskarw: they pay "our bills" so "they decide". I think it's fair ;) |
| 2026-01-22 13:19:33 +0100 | <gentauro> | (not ideal though) |
| 2026-01-22 13:20:00 +0100 | <oskarw> | gentauro: This is fair, but it is still sad |
| 2026-01-22 13:20:35 +0100 | <oskarw> | I'm always curios how fast would competition "catch up" to using custom variant of haskell |
| 2026-01-22 13:21:05 +0100 | <gentauro> | oskarw: inferring from your name, are you the one that made "Idris in PureScript"? :) |
| 2026-01-22 13:21:10 +0100 | <oskarw> | I think lawyers think this would be just copy-paste |
| 2026-01-22 13:21:32 +0100 | <[exa]> | oskarw: most of the competition has issues catching up with the fact that they'd even use haskell |
| 2026-01-22 13:22:20 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-22 13:22:21 +0100 | <oskarw> | gentauro: Unfortuneteller no, oskarw is just my name with first letter of surname |
| 2026-01-22 13:22:49 +0100 | <oskarw> | *unfortunately |
| 2026-01-22 13:23:03 +0100 | <gentauro> | oskarw: but you are swede right? ;) |
| 2026-01-22 13:23:04 +0100 | <oskarw> | [exa]: Probably true |
| 2026-01-22 13:23:08 +0100 | trickard_ | trickard |
| 2026-01-22 13:23:20 +0100 | <oskarw> | No, I'm from Poland |
| 2026-01-22 13:23:52 +0100 | <gentauro> | oh, my bad |
| 2026-01-22 13:24:32 +0100 | <[exa]> | oskarw: btw the good point for interviews is that if you already know some haskell you're basically guaranteed fast learner :D |
| 2026-01-22 13:24:51 +0100 | <oskarw> | I would be salty if I was named Oskar instead of Ansgar being born as Swede |
| 2026-01-22 13:24:55 +0100 | <gentauro> | oskarw: I though you were -> https://wickstrom.tech/ |
| 2026-01-22 13:24:56 +0100 | <gentauro> | xD |
| 2026-01-22 13:25:08 +0100 | <oskarw> | Aaa xd |
| 2026-01-22 13:25:34 +0100 | <oskarw> | I will check his site |
| 2026-01-22 13:25:43 +0100 | <oskarw> | Now I feel like impostor xd |
| 2026-01-22 13:25:59 +0100 | <__monty__> | Isn't Mu eager rather than lazy? That's a pretty big difference from Haskell, no? |
| 2026-01-22 13:26:08 +0100 | <gentauro> | oskarw: xD |
| 2026-01-22 13:27:22 +0100 | <oskarw> | __monty__: Can I learn some MU beforehand? Or this langauge exist only inside company? |
| 2026-01-22 13:27:56 +0100 | <oskarw> | [exa]: I always strive to learn more |
| 2026-01-22 13:28:31 +0100 | thenightmail | (~thenightm@user/thenightmail) (Ping timeout: 264 seconds) |
| 2026-01-22 13:28:45 +0100 | <gentauro> | __monty__: so `Mu` just prepends `{-# LANGUAGE Strict #-}` on all files? :D |
| 2026-01-22 13:29:08 +0100 | qqq | (~qqq@185.54.21.105) (Remote host closed the connection) |
| 2026-01-22 13:30:10 +0100 | <[exa]> | oskarw: there are nice slides here https://icfp21.sigplan.org/details/hiw-2021-papers/14/Haskell-reinterpreted-large-scale-real-world… |
| 2026-01-22 13:30:14 +0100 | <oskarw> | There is interview with employee from Standard Chartered and he says that MU have recursion disabled by default :skull: |
| 2026-01-22 13:30:19 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-22 13:30:32 +0100 | <gentauro> | merijn: are we talking about Lennart Augustsson (currently at EPIC with SPJ)? |
| 2026-01-22 13:30:46 +0100 | <oskarw> | [exa]: Thank you for slides |
| 2026-01-22 13:30:51 +0100 | <merijn> | gentauro: Yeah |
| 2026-01-22 13:30:59 +0100 | <oskarw> | I knew that irc was right place to ask for help |
| 2026-01-22 13:31:21 +0100 | <gentauro> | I'm a fan of his MicroHS compiler :) |
| 2026-01-22 13:31:38 +0100 | <merijn> | gentauro: Writing Haskell compilers is his hobby (and job, I guess :p) |
| 2026-01-22 13:31:48 +0100 | <merijn> | I think he's written like, 4? |
| 2026-01-22 13:32:05 +0100 | <[exa]> | lol the slides basically hint that microhs is an exfiltrated mu |
| 2026-01-22 13:32:24 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-22 13:32:30 +0100 | <gentauro> | merijn: xD |
| 2026-01-22 13:32:42 +0100 | <merijn> | Including (iirc my history correctly) the very first one |
| 2026-01-22 13:32:53 +0100 | <merijn> | Although I'm not 100% sure |
| 2026-01-22 13:33:15 +0100 | <__monty__> | oskarw: Is this for a junior position? |
| 2026-01-22 13:33:49 +0100 | <oskarw> | __monty__: Yes |
| 2026-01-22 13:34:01 +0100 | <gentauro> | merijn: do you know if he "schooled" from Chalmers? |
| 2026-01-22 13:34:17 +0100 | <merijn> | Wait, he wrote LPmud? :O |
| 2026-01-22 13:35:11 +0100 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-01-22 13:35:44 +0100 | <oskarw> | __monty__: For Poland and India |
| 2026-01-22 13:37:38 +0100 | <gentauro> | oskarw: have you been to the MonadicParty in Poznan? I understand from Michael that they no longer do it :( |
| 2026-01-22 13:38:15 +0100 | <oskarw> | I have never been in MonadicParty in Poznań :( |
| 2026-01-22 13:38:23 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
| 2026-01-22 13:39:06 +0100 | <oskarw> | gentauro: Last one was in 2020, before covid |
| 2026-01-22 13:39:59 +0100 | thenightmail | (~thenightm@user/thenightmail) (Ping timeout: 244 seconds) |
| 2026-01-22 13:41:03 +0100 | <oskarw> | So there is no way for me to learn MU? |
| 2026-01-22 13:43:12 +0100 | <oskarw> | I guess I can learn some strategies for coping with lack of lazy evaluation and recursion |
| 2026-01-22 13:43:29 +0100 | <oskarw> | And some concurrence |
| 2026-01-22 13:44:29 +0100 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-01-22 13:45:05 +0100 | <oskarw> | I can also look into microhs, is this is exfiltrated mu ;p |
| 2026-01-22 13:45:40 +0100 | <gentauro> | oskarw: having conducted "a few" job interviews, we rarely put too much emphasis on you being able to solve 100% something you don't know |
| 2026-01-22 13:46:05 +0100 | <gentauro> | however, it's a good way to see how your problem solving skills with something that is "totally new to you" |
| 2026-01-22 13:46:35 +0100 | <gentauro> | how do you approach the task. How do you interact with the interviewer and so on. |
| 2026-01-22 13:47:15 +0100 | <gentauro> | as you said yourself, get the basics right (quantative algos and haskell) and you do fine :) |
| 2026-01-22 13:47:31 +0100 | <oskarw> | gentauro: Okay, so I just have to git gud with basics |
| 2026-01-22 13:47:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 13:48:15 +0100 | <oskarw> | gentauro: Thank you for insight, I will start learning quantative algos then |
| 2026-01-22 13:48:29 +0100 | <oskarw> | I'm so pumped up |
| 2026-01-22 13:49:32 +0100 | <oskarw> | Thanks again everyone, I love this channel |
| 2026-01-22 13:58:19 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 13:58:32 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 14:02:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-22 14:04:00 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 14:04:27 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 14:05:47 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2026-01-22 14:09:22 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 14:09:35 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-01-22 14:24:32 +0100 | <[exa]> | oskarw: <3 this channel loves you!!! <3 |
| 2026-01-22 14:25:21 +0100 | <oskarw> | [exa]: This made my day |
| 2026-01-22 14:25:58 +0100 | RMSBach | (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Ping timeout: 244 seconds) |
| 2026-01-22 14:26:15 +0100 | <[exa]> | ...now back to haskell! |
| 2026-01-22 14:27:23 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 14:27:35 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-22 14:27:36 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 14:28:31 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-01-22 14:28:42 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 14:30:57 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-22 14:32:23 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-22 14:37:16 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 14:38:32 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-01-22 14:52:45 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:e6d3:e8b1:b6ff:fe44:929) |
| 2026-01-22 14:53:11 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-22 14:55:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 14:57:49 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-22 14:57:50 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:e6d3:e8b1:b6ff:fe44:929) (Read error: Connection reset by peer) |
| 2026-01-22 14:58:18 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 256 seconds) |
| 2026-01-22 14:58:19 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-22 14:58:25 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:8cef:c9ff:feca:7600) |
| 2026-01-22 14:58:43 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-01-22 14:59:02 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-22 14:59:26 +0100 | oppili | (~oppili@user/nerdypepper) (Ping timeout: 256 seconds) |
| 2026-01-22 15:00:08 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-01-22 15:00:50 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-22 15:02:23 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-22 15:02:46 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:8cef:c9ff:feca:7600) (Ping timeout: 246 seconds) |
| 2026-01-22 15:03:43 +0100 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-22 15:04:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-22 15:05:01 +0100 | oppili | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) |
| 2026-01-22 15:05:01 +0100 | oppili | (~oppili@lewi-27-b2-v4wan-165682-cust505.vm4.cable.virginm.net) (Changing host) |
| 2026-01-22 15:05:01 +0100 | oppili | (~oppili@user/nerdypepper) nerdy |
| 2026-01-22 15:05:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 15:07:35 +0100 | trickard_ | trickard |
| 2026-01-22 15:09:00 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:856:c2ff:fe7c:dc76) |
| 2026-01-22 15:09:00 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-22 15:09:04 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 246 seconds) |
| 2026-01-22 15:09:34 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-22 15:13:39 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:856:c2ff:fe7c:dc76) (Ping timeout: 260 seconds) |
| 2026-01-22 15:18:48 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:608a:51ff:fef0:f34f) |
| 2026-01-22 15:19:11 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 15:19:27 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 15:21:11 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 265 seconds) |
| 2026-01-22 15:26:10 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 15:26:23 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 15:28:23 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 244 seconds) |
| 2026-01-22 15:28:41 +0100 | Zemy_ | (~Zemy@12.50.240.58) |
| 2026-01-22 15:29:40 +0100 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2026-01-22 15:32:49 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-22 15:32:54 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:608a:51ff:fef0:f34f) (Ping timeout: 260 seconds) |
| 2026-01-22 15:33:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-22 15:35:38 +0100 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2026-01-22 15:35:48 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-01-22 15:43:14 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 15:43:33 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-22 15:44:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 15:47:22 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 15:50:33 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-22 15:50:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 15:50:46 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 15:51:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-22 15:52:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-01-22 15:52:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 16:07:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-22 16:21:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-22 16:29:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-22 16:31:03 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:b01c:cff:fe17:167b) |
| 2026-01-22 16:31:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-22 16:32:56 +0100 | Zemy_ | (~Zemy@12.50.240.58) (Ping timeout: 240 seconds) |
| 2026-01-22 16:37:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-22 16:52:40 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 246 seconds) |
| 2026-01-22 16:54:52 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-01-22 16:59:07 +0100 | <haskellbridge> | <sm> g'day all.. there's a recent lovely interview with Lennart Augustsson on the haskell interlude podcast |
| 2026-01-22 16:59:43 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:e6d3:1880:ccff:feff:1105) |
| 2026-01-22 16:59:43 +0100 | Zemy | (~Zemy@2600:100c:b0a1:e6d3:b01c:cff:fe17:167b) (Read error: Connection reset by peer) |
| 2026-01-22 16:59:57 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds) |
| 2026-01-22 17:01:12 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-01-22 17:08:52 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 17:11:34 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 246 seconds) |
| 2026-01-22 17:12:43 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-22 17:13:31 +0100 | Googulator23 | Googulator |
| 2026-01-22 17:14:43 +0100 | Zemy_ | (~Zemy@2600:100c:b0a1:e6d3:1880:ccff:feff:1105) (Ping timeout: 246 seconds) |
| 2026-01-22 17:15:26 +0100 | Jackneill_ | (~Jackneill@188-143-82-102.pool.digikabel.hu) |
| 2026-01-22 17:18:01 +0100 | Jackneill | (~Jackneill@178-164-234-102.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 2026-01-22 17:22:01 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-01-22 17:23:42 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-01-22 17:24:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 17:24:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 17:28:19 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-22 17:35:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-01-22 17:44:44 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 17:47:58 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-22 17:49:43 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-01-22 17:50:48 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 17:51:01 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-22 17:51:22 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 17:51:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-22 17:53:25 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-22 17:56:55 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-22 17:57:43 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-01-22 18:00:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-01-22 18:07:45 +0100 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-01-22 18:07:46 +0100 | Server | +Cnt |
| 2026-01-22 18:10:19 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-01-22 18:11:00 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2026-01-22 18:11:30 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-01-22 18:11:30 +0100 | ChanServ | +v yahb2 |
| 2026-01-22 18:20:47 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 18:20:55 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 18:30:57 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-01-22 18:31:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 18:36:28 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-01-22 18:36:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 19:03:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 19:08:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-22 19:08:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-22 19:11:04 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-22 19:14:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-01-22 19:18:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 19:23:29 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2026-01-22 19:24:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-22 19:24:31 +0100 | trickard_ | trickard |
| 2026-01-22 19:26:50 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-22 19:26:55 +0100 | pipsquak-bird | (~g@c-71-235-170-34.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2026-01-22 19:27:12 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2026-01-22 19:28:19 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-22 19:28:44 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-22 19:30:20 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2026-01-22 19:31:37 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-22 19:50:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 19:52:23 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-22 19:56:35 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a1:2bc2:d5dd:f1a7:157c:6f4) |
| 2026-01-22 19:57:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 20:05:31 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2026-01-22 20:06:14 +0100 | Digitteknohippie | Digit |
| 2026-01-22 20:06:28 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-22 20:08:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 20:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-22 20:20:00 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-22 20:21:11 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-01-22 20:24:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 20:28:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-22 20:33:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 20:38:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 20:40:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-01-22 20:42:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-22 20:48:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 20:50:20 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-22 20:53:09 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a1:2bc2:d5dd:f1a7:157c:6f4) (Ping timeout: 260 seconds) |
| 2026-01-22 20:53:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-01-22 20:53:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 21:04:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 21:09:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-22 21:10:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 21:12:12 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-22 21:12:16 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:5241:8daa:4da4:a780) |
| 2026-01-22 21:13:08 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-22 21:13:33 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2026-01-22 21:14:00 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-22 21:14:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-22 21:14:35 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-22 21:15:20 +0100 | Square2 | (~Square@user/square) Square |
| 2026-01-22 21:20:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 21:25:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-22 21:28:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-22 21:34:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 21:39:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |