2022-06-28 00:00:34 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
2022-06-28 00:02:47 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) (Ping timeout: 246 seconds) |
2022-06-28 00:03:12 +0200 | pseigo_ | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Ping timeout: 268 seconds) |
2022-06-28 00:05:50 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 00:05:50 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:08:24 +0200 | <moonsheep> | geekosaur: Isn't TypeRep just an alias for SomeTypeRep? |
2022-06-28 00:09:26 +0200 | <geekosaur> | mm, maybe it is these days, I haven't done much with the type-indexed version |
2022-06-28 00:09:40 +0200 | <geekosaur> | (TypeRep is more complex than it used to be) |
2022-06-28 00:09:52 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:10:03 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 00:10:19 +0200 | <moonsheep> | Btw, I am trying to do something very similar to ExtensibleState, but in my case I want to make it serializable. |
2022-06-28 00:10:38 +0200 | <moonsheep> | And the only piece left is serializing the TypeRep |
2022-06-28 00:11:04 +0200 | <geekosaur> | ours is serializeable, and in fact that's the point of that ticket I linked |
2022-06-28 00:11:16 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:11:23 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 00:11:23 +0200 | <geekosaur> | right now what we serialize isn't quite typesafe because it omits module names |
2022-06-28 00:11:40 +0200 | <moonsheep> | Yeah but it's not unserializable right? |
2022-06-28 00:11:46 +0200 | <moonsheep> | I mean of course I can just use the string representation I guess |
2022-06-28 00:11:50 +0200 | <geekosaur> | so if two modules define the same type name, ghc will internally disambiguate with module names but our serialization won't |
2022-06-28 00:11:54 +0200 | <moonsheep> | I wanted to avoid that but if push comes to shove |
2022-06-28 00:12:12 +0200 | <geekosaur> | because we push ExtensibleState across to another xmonad on mod-q |
2022-06-28 00:12:23 +0200 | <geekosaur> | so there is a deserialization on the other side |
2022-06-28 00:12:40 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 00:12:58 +0200 | <moonsheep> | In this commit? https://github.com/liskin/xmonad/commit/e658e953cb3834befce70ce1ca44f76e4aec9fd7 |
2022-06-28 00:13:09 +0200 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
2022-06-28 00:13:14 +0200 | alp | (~alp@user/alp) |
2022-06-28 00:13:52 +0200 | <geekosaur> | the last hunk, in readStateFile, yes |
2022-06-28 00:14:52 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:15:03 +0200 | <geekosaur> | mm, actually I think we may key by the TypeRep as a String so the serialization part isn't a problem for us |
2022-06-28 00:15:04 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 00:15:20 +0200 | Flonk | (~Flonk@134.255.252.174) (Quit: Ping timeout (120 seconds)) |
2022-06-28 00:15:26 +0200 | <moonsheep> | Ah I missed that |
2022-06-28 00:15:36 +0200 | <geekosaur> | if you're trying to reconstruct a type from the TypeRep, you're outside the realm of TypeRep and need to go Data or Generic |
2022-06-28 00:15:36 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2022-06-28 00:15:37 +0200 | <moonsheep> | Yeah it does look like it |
2022-06-28 00:15:44 +0200 | <moonsheep> | Right |
2022-06-28 00:16:14 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 00:16:25 +0200 | <moonsheep> | Yeah I might just transform everything to strings |
2022-06-28 00:16:34 +0200 | <moonsheep> | In my case collisions aren't super critical |
2022-06-28 00:16:46 +0200 | johnsoar | (~arj0019@162.218.254.7) (Ping timeout: 268 seconds) |
2022-06-28 00:17:26 +0200 | <geekosaur> | a more general version of what we do is available in the dependent-map package |
2022-06-28 00:17:49 +0200 | <geekosaur> | the key specifies the type of the value |
2022-06-28 00:17:52 +0200 | redmp | (~redmp@mobile-166-170-36-30.mycingular.net) |
2022-06-28 00:18:11 +0200 | <moonsheep> | I didn't know of that package |
2022-06-28 00:18:35 +0200 | <moonsheep> | So it's just like using existential types but you don't have to deal with TypeReps directly? |
2022-06-28 00:21:38 +0200 | <moonsheep> | I guess for now I'll just sprinkle some `show`s around |
2022-06-28 00:22:50 +0200 | geekosaur | wonders if QuickLook means some of those functions can go away (the ones that are flipped) |
2022-06-28 00:23:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-06-28 00:24:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
2022-06-28 00:24:19 +0200 | <geekosaur> | it's based on https://hackage.haskell.org/package/dependent-sum-0.7.1.0/docs/Data-Dependent-Sum.html#t:DSum |
2022-06-28 00:24:36 +0200 | <geekosaur> | so a GADT, or a type-tagged value (Data.Tagged), etc. |
2022-06-28 00:24:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-06-28 00:26:04 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 00:26:15 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:26:27 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 00:27:20 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
2022-06-28 00:28:09 +0200 | pwug | (~pwug@user/pwug) |
2022-06-28 00:29:49 +0200 | pwug | (~pwug@user/pwug) (Client Quit) |
2022-06-28 00:30:30 +0200 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) |
2022-06-28 00:31:12 +0200 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
2022-06-28 00:35:41 +0200 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2022-06-28 00:38:17 +0200 | pseigo_ | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 00:40:11 +0200 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2022-06-28 00:41:33 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 00:41:34 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:42:21 +0200 | pseigo_ | (~pseigo@d108-173-20-33.abhsia.telus.net) (Client Quit) |
2022-06-28 00:42:41 +0200 | pseigo_ | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) |
2022-06-28 00:44:13 +0200 | pseigo_ | pseigo |
2022-06-28 00:48:48 +0200 | Guest15 | (~Guest15@ip-191-5-86-68.isp.valenet.com.br) |
2022-06-28 00:49:10 +0200 | Guest15 | (~Guest15@ip-191-5-86-68.isp.valenet.com.br) (Client Quit) |
2022-06-28 00:50:04 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 268 seconds) |
2022-06-28 00:51:57 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
2022-06-28 00:53:26 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 00:53:27 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:55:22 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:8a74:9ba2:1f9a:771d) (Remote host closed the connection) |
2022-06-28 00:56:20 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
2022-06-28 00:56:21 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:56:29 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 00:59:25 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 00:59:37 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:00:28 +0200 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Ping timeout: 272 seconds) |
2022-06-28 01:00:45 +0200 | <maralorn> | I am currently using the monoid instance of Text a lot in a performance critical component of my program. What is the standard recommendation to speed that up? I would like to use linear-builder but I am neither on text 2.0, yet. |
2022-06-28 01:02:07 +0200 | <maralorn> | It is my understanding that something like `foo <> " " <> bar` creates unnecessary copies. |
2022-06-28 01:03:25 +0200 | <hpc> | use https://hackage.haskell.org/package/text-2.0/docs/Data-Text-Lazy-Builder.html and convert at the end? |
2022-06-28 01:04:07 +0200 | <hpc> | or rather, https://hackage.haskell.org/package/text-1.2.5.0/docs/Data-Text-Lazy-Builder.html |
2022-06-28 01:04:24 +0200 | <maralorn> | hpc: You mean: Convert to strict-Text at the end? |
2022-06-28 01:04:30 +0200 | <hpc> | yeah |
2022-06-28 01:05:26 +0200 | <hpc> | assuming you aren't mixing appending and some kind of big traversals |
2022-06-28 01:05:37 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:05:50 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:06:02 +0200 | <maralorn> | What do you mean with big traversals? |
2022-06-28 01:06:36 +0200 | <hpc> | lazy text is a linked list of chunks, and you can imagine each chunk is going to be one of your appends |
2022-06-28 01:07:02 +0200 | <hpc> | it's not quite String, but still might be painful for random access in the middle of your algorithm |
2022-06-28 01:07:46 +0200 | <maralorn> | Ah, you mean I shouldn‘t use it when I plan to inspect results in between? |
2022-06-28 01:08:03 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:08:05 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 01:08:07 +0200 | Topsi | (~Topsi@ip5f5ae328.dynamic.kabel-deutschland.de) |
2022-06-28 01:08:46 +0200 | <hpc> | yeah |
2022-06-28 01:08:54 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:09:00 +0200 | <maralorn> | sensible. |
2022-06-28 01:09:10 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 01:09:14 +0200 | <maralorn> | I will keep that in mind. |
2022-06-28 01:12:50 +0200 | <maralorn> | Huh, I wonder if one could implement one of those nice quasi quoter interpolation packages to target a Text Builder. |
2022-06-28 01:15:44 +0200 | <EvanR> | when I hear, appending a lot of Text so need a builder, I think, man I wonder if the thing that finally uses the big Text could consume it lazily |
2022-06-28 01:16:59 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 246 seconds) |
2022-06-28 01:19:32 +0200 | <EvanR> | (probably not, for whatever reason xD) |
2022-06-28 01:19:47 +0200 | <maralorn> | EvanR: Complicated. I am printing the output to the terminal at ~10 times per second, to prevent flickering it’s important that the calculation of the output has been finished before clearing the screen. (At least I think that’s important.) That’s why I force the whole output before printing anyways. |
2022-06-28 01:20:26 +0200 | <EvanR> | printing specifically can consume lazily |
2022-06-28 01:21:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (Remote host closed the connection) |
2022-06-28 01:21:51 +0200 | <maralorn> | EvanR: I know. The problem is that parts of the generation of the output can be computation intensive. And I don‘t want that computation to happen while printing after I have cleared the screen because I fear the user might see the pause. |
2022-06-28 01:22:12 +0200 | <EvanR> | how do you clear the screen before it gets printed |
2022-06-28 01:23:04 +0200 | <maralorn> | https://hackage.haskell.org/package/ansi-terminal-0.11.3/docs/System-Console-ANSI.html#g:6 |
2022-06-28 01:23:06 +0200 | moonsheep | (~user@user/moonsheep) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
2022-06-28 01:25:18 +0200 | <maralorn> | I had been using clearFromCursorToScreenEnd, but users complained that in some terminals that increases flickering so now I use a loop doing clearLine cursorUp. It’s stupid but apparently fixed the flickering … |
2022-06-28 01:26:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2022-06-28 01:26:29 +0200 | <maralorn> | Anyways terminals are black magic. In the end I have not found a solution to control when exactly a terminal triggers a redraw. I thought I could fix it by setting stdout to BlockBuffering but it still sometimes redraws at will in inoportune moments … |
2022-06-28 01:26:36 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 01:27:44 +0200 | <hpc> | if the whole screen changes, there might just not be much you can do about it |
2022-06-28 01:28:12 +0200 | <hpc> | when i scroll rapidly in irssi i can see the disjoint screen refreshes |
2022-06-28 01:28:15 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:28:23 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 01:28:49 +0200 | <hpc> | but also my screen taskbar ticks the time without messing anything up, so maybe you can get away with refreshing just specific parts of the screen? |
2022-06-28 01:28:49 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:28:55 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:28:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-06-28 01:29:09 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:29:17 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:29:28 +0200 | <maralorn> | hpc: That’s my experience too, as long as it’s only about a third of the screen flickering is small, if I redraw a lot it get’s harder. |
2022-06-28 01:29:28 +0200 | <hpc> | at which point https://hoogle.haskell.org/?hoogle=curses might help |
2022-06-28 01:29:33 +0200 | Alex_test | (~al_test@178.34.160.206) (Ping timeout: 256 seconds) |
2022-06-28 01:29:58 +0200 | <hpc> | terminal rendering is just generally quite slow |
2022-06-28 01:30:04 +0200 | <maralorn> | Yeah, that is possible in principle but in my case really hard to achieve. |
2022-06-28 01:30:27 +0200 | <maralorn> | My main problem ist, that I still want the terminal to have a consistent scroll back buffer in the end. |
2022-06-28 01:30:52 +0200 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 272 seconds) |
2022-06-28 01:30:55 +0200 | causal | (~user@50.35.83.177) |
2022-06-28 01:31:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) |
2022-06-28 01:31:19 +0200 | <maralorn> | So what I do is I print logs, print my statusbar at the bottom, clear the status bar, print more logs, print the statusbar again, etc … |
2022-06-28 01:31:30 +0200 | <hpc> | hmm |
2022-06-28 01:31:31 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:31:40 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:31:44 +0200 | <hpc> | look at how less/more do it maybe? |
2022-06-28 01:31:56 +0200 | <hpc> | iirc they have the sort of scrollback you describe... somehow |
2022-06-28 01:31:56 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:32:05 +0200 | <EvanR> | terminal rendering is pretty fast when it's linux emergency console xD |
2022-06-28 01:32:06 +0200 | <hpc> | maybe only more does, i don't know how scrolling back up would work |
2022-06-28 01:32:10 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:32:29 +0200 | <EvanR> | that's the only way bbdemo the ascii art demo would run well |
2022-06-28 01:33:48 +0200 | <maralorn> | EvanR: True, more seems to do it somehow. Although it doesn‘t have to deal with so many redraws. |
2022-06-28 01:35:30 +0200 | Alex_test | (~al_test@178.34.160.206) |
2022-06-28 01:35:48 +0200 | AlexZenon | (~alzenon@178.34.160.206) |
2022-06-28 01:36:00 +0200 | <maralorn> | Ah, well more does not allow scrolling up, only down. That’s very easy no magic involved. The only need to clear and redraw the one line at the bottom and that’s quite tame. |
2022-06-28 01:36:11 +0200 | <maralorn> | My problem is that my "statusbar" can fill up to a half of the terminal. |
2022-06-28 01:36:19 +0200 | <geekosaur> | less just redraws the older part |
2022-06-28 01:36:23 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:36:28 +0200 | <maralorn> | Ah, sorry wrong highlight. I meant hpc. |
2022-06-28 01:36:29 +0200 | <geekosaur> | (to scroll "backwards") |
2022-06-28 01:36:33 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:37:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-06-28 01:39:19 +0200 | <maralorn> | It is my summary, that unless there are deeper cross-terminal ways to interact with the terminal than ansii codes that the only way to achieve a consistent backlog is to regularly print newlines at the bottom of the screen to move the lines at the top of the screen out of the terminal. But that means that every log line moves my statusbar away from were it was, so I need to redraw it completely. |
2022-06-28 01:39:24 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) |
2022-06-28 01:39:40 +0200 | <maralorn> | I‘d love to be proven wrong, though. |
2022-06-28 01:39:56 +0200 | <geekosaur> | <ESC>[r |
2022-06-28 01:40:09 +0200 | <geekosaur> | set the scroll area to the area above the "statusbar" |
2022-06-28 01:40:36 +0200 | <geekosaur> | (more precisely, <ESC>[1;<lineno>r) |
2022-06-28 01:41:05 +0200 | <geekosaur> | where <lineno> is the line above the start of the status area, remembering it's 1-based |
2022-06-28 01:44:23 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:44:32 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:46:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
2022-06-28 01:47:50 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 01:48:03 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 01:57:06 +0200 | <geekosaur> | and if I needed to update the status area, <esc>7 to save status, position into the status area, do my update, then <esc>8 to pop status |
2022-06-28 01:57:25 +0200 | <geekosaur> | mm, make that save/restore state to avoid confusion with your status area |
2022-06-28 01:57:42 +0200 | <geekosaur> | state includes scrolling area, cursor position, and a number of other things |
2022-06-28 01:59:39 +0200 | <maralorn> | geekosaur: Are you saying there is a way with which I can save the state for a part of the screen then scroll the rest and then restore that part of the screen? Because that’s ultimately what I want. |
2022-06-28 02:00:05 +0200 | DGMrKong | (~arj0019@162.218.254.7) (*.net *.split) |
2022-06-28 02:00:05 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (*.net *.split) |
2022-06-28 02:00:05 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) (*.net *.split) |
2022-06-28 02:00:05 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (*.net *.split) |
2022-06-28 02:00:05 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Midjak | (~Midjak@82.66.147.146) (*.net *.split) |
2022-06-28 02:00:06 +0200 | jinsun | (~jinsun@user/jinsun) (*.net *.split) |
2022-06-28 02:00:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (*.net *.split) |
2022-06-28 02:00:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) (*.net *.split) |
2022-06-28 02:00:06 +0200 | inversed | (~inversed@05412f44.skybroadband.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) (*.net *.split) |
2022-06-28 02:00:06 +0200 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
2022-06-28 02:00:06 +0200 | adium | (adium@user/adium) (*.net *.split) |
2022-06-28 02:00:06 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | shapr | (~user@2600:4040:2d31:7100:a97b:7b9:d36c:3fa5) (*.net *.split) |
2022-06-28 02:00:06 +0200 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
2022-06-28 02:00:06 +0200 | gdd1 | (~gdd@129.199.146.230) (*.net *.split) |
2022-06-28 02:00:06 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
2022-06-28 02:00:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
2022-06-28 02:00:06 +0200 | ozkutuk | (~ozkutuk@176.240.173.153) (*.net *.split) |
2022-06-28 02:00:06 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
2022-06-28 02:00:06 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | feetwind | (~mike@user/feetwind) (*.net *.split) |
2022-06-28 02:00:06 +0200 | APic | (apic@apic.name) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
2022-06-28 02:00:06 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (*.net *.split) |
2022-06-28 02:00:06 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Guest1698 | (~Guest1698@20.83.116.49) (*.net *.split) |
2022-06-28 02:00:06 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
2022-06-28 02:00:06 +0200 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
2022-06-28 02:00:06 +0200 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
2022-06-28 02:00:06 +0200 | leah2 | (~leah@vuxu.org) (*.net *.split) |
2022-06-28 02:00:06 +0200 | gff | (~gff@user/gff) (*.net *.split) |
2022-06-28 02:00:06 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | edr | (~edr@user/edr) (*.net *.split) |
2022-06-28 02:00:06 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
2022-06-28 02:00:06 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
2022-06-28 02:00:06 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
2022-06-28 02:00:06 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) (*.net *.split) |
2022-06-28 02:00:06 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split) |
2022-06-28 02:00:06 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
2022-06-28 02:00:06 +0200 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
2022-06-28 02:00:06 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Jon | (jon@dow.land) (*.net *.split) |
2022-06-28 02:00:06 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
2022-06-28 02:00:06 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
2022-06-28 02:00:06 +0200 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) (*.net *.split) |
2022-06-28 02:00:06 +0200 | mrkajetanp | (~mrkajetan@88.98.245.28) (*.net *.split) |
2022-06-28 02:00:13 +0200 | landonf | (landonf@mac68k.info) |
2022-06-28 02:00:16 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
2022-06-28 02:00:16 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
2022-06-28 02:00:17 +0200 | edr | (~edr@enlo.co) |
2022-06-28 02:00:17 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2022-06-28 02:00:17 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
2022-06-28 02:00:18 +0200 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) |
2022-06-28 02:00:19 +0200 | APic | (apic@apic.name) |
2022-06-28 02:00:21 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2022-06-28 02:00:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) |
2022-06-28 02:00:23 +0200 | tomgus1 | (~tomgus1@90.218.25.145) |
2022-06-28 02:00:28 +0200 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) |
2022-06-28 02:00:28 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 02:00:29 +0200 | <geekosaur> | you don't have to save/restore the status area, it stays put |
2022-06-28 02:00:31 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
2022-06-28 02:00:33 +0200 | Guest1698 | (~Guest1698@20.83.116.49) |
2022-06-28 02:00:34 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
2022-06-28 02:00:37 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
2022-06-28 02:00:38 +0200 | feetwind | (~mike@2406:d501::79ae:5f3e) |
2022-06-28 02:00:39 +0200 | <geekosaur> | ypou just define the scrolling area to not include it |
2022-06-28 02:00:46 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2022-06-28 02:00:46 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2022-06-28 02:00:47 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
2022-06-28 02:00:48 +0200 | inversed | (~inversed@05412f44.skybroadband.com) |
2022-06-28 02:00:50 +0200 | tomboy64 | (~tomboy64@2a02:2454:416:db00:ba27:ebff:fe58:73c2) |
2022-06-28 02:00:57 +0200 | gff | (~gff@70.56.148.67) |
2022-06-28 02:00:57 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
2022-06-28 02:00:59 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
2022-06-28 02:01:02 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 02:01:03 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:01:09 +0200 | <geekosaur> | then when you scroll stuff off the screen, your status area stays put and only the scrolling region enters the terminal scrollback |
2022-06-28 02:01:10 +0200 | Jon | (jon@dow.land) |
2022-06-28 02:01:29 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Changing host) |
2022-06-28 02:01:29 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) |
2022-06-28 02:01:30 +0200 | tomboy64 | (~tomboy64@2a02:2454:416:db00:ba27:ebff:fe58:73c2) (Changing host) |
2022-06-28 02:01:30 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2022-06-28 02:01:30 +0200 | edr | (~edr@enlo.co) (Changing host) |
2022-06-28 02:01:30 +0200 | edr | (~edr@user/edr) |
2022-06-28 02:01:33 +0200 | leah2 | (~leah@vuxu.org) |
2022-06-28 02:01:43 +0200 | <geekosaur> | the save/restore I mentioned is just so you don't have to figure out where the cursor is before switching over to the status area if you need to update that |
2022-06-28 02:01:54 +0200 | c_wraith | (~c_wraith@adjoint.us) |
2022-06-28 02:01:55 +0200 | feetwind | Guest585 |
2022-06-28 02:01:57 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) |
2022-06-28 02:02:05 +0200 | z0k | (~z0k@206.84.143.59) |
2022-06-28 02:02:13 +0200 | <geekosaur> | <ESC>7 will remember the cursor position and attributes etc., and <ESC>8 will restore them after you're done |
2022-06-28 02:02:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) |
2022-06-28 02:02:17 +0200 | carbolymer | (~carbolyme@dropacid.net) |
2022-06-28 02:02:30 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
2022-06-28 02:02:35 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-06-28 02:02:39 +0200 | mrkajetanp | (~mrkajetan@88.98.245.28) |
2022-06-28 02:02:41 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
2022-06-28 02:02:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-06-28 02:02:44 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
2022-06-28 02:02:50 +0200 | Trattue | (~Trattue@152.70.182.158) |
2022-06-28 02:02:50 +0200 | xacktm | (xacktm@user/xacktm) |
2022-06-28 02:03:01 +0200 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) |
2022-06-28 02:03:22 +0200 | adium | (adium@user/adium) |
2022-06-28 02:03:47 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
2022-06-28 02:03:53 +0200 | gdd1 | (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) |
2022-06-28 02:04:35 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
2022-06-28 02:05:16 +0200 | marienz | (marienz@libera/staff/marienz) |
2022-06-28 02:05:26 +0200 | koolazer | (~koo@user/koolazer) |
2022-06-28 02:05:27 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
2022-06-28 02:05:50 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
2022-06-28 02:11:51 +0200 | <maralorn> | Huh, crazy. |
2022-06-28 02:11:56 +0200 | redmp | (~redmp@mobile-166-170-36-30.mycingular.net) (Ping timeout: 255 seconds) |
2022-06-28 02:12:15 +0200 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) |
2022-06-28 02:13:28 +0200 | <maralorn> | Can you tell if the commands I wanna issue are available from the ansi-terminal package? Alternatively can you recommend some docs on this? Your advice is not completely actionable for me right now.^^ |
2022-06-28 02:15:26 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | Tubo[m] | (~tubogram@user/tubogram) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 260 seconds) |
2022-06-28 02:15:26 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (Ping timeout: 260 seconds) |
2022-06-28 02:15:27 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds) |
2022-06-28 02:15:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
2022-06-28 02:16:14 +0200 | <geekosaur> | I was reading from the VT102 manual when I wrote that, to make sure my memory was correct. I don't know off the top of my head if ansi-terminal directly supports either scroll region or save/restore cursor |
2022-06-28 02:16:22 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:16:25 +0200 | <geekosaur> | (I'd be surprised if it didn't suppot scroll region though) |
2022-06-28 02:16:40 +0200 | geekosaur | eyes matrix gateway |
2022-06-28 02:16:51 +0200 | ARJ0019 | (~arj0019@162.218.254.7) |
2022-06-28 02:16:53 +0200 | Topsi | (~Topsi@ip5f5ae328.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2022-06-28 02:17:16 +0200 | <EvanR> | matrix is the future |
2022-06-28 02:17:21 +0200 | zzz | tin |
2022-06-28 02:17:24 +0200 | <EvanR> | the future is intermittent |
2022-06-28 02:17:25 +0200 | tin | yin |
2022-06-28 02:17:52 +0200 | waleee | (~waleee@h-158-174-22-25.NA.cust.bahnhof.se) |
2022-06-28 02:19:41 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2022-06-28 02:19:49 +0200 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:20:03 +0200 | ARJ0019 | (~arj0019@162.218.254.7) |
2022-06-28 02:20:17 +0200 | <geekosaur> | hm, it supports save/restore but I don't see anything for scroll region |
2022-06-28 02:21:05 +0200 | frost | (~frost@user/frost) |
2022-06-28 02:25:39 +0200 | <sm> | can https://hackage.haskell.org/package/concurrent-output work here ? |
2022-06-28 02:26:29 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 02:26:30 +0200 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:26:38 +0200 | <sm> | if not, there's https://hackage.haskell.org/package/ansi-terminal-game plus implementing your own scroll buffer |
2022-06-28 02:26:44 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:27:01 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 02:27:20 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
2022-06-28 02:28:17 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:28:31 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 02:29:02 +0200 | <geekosaur> | interesting that my matrix account is receiving but neither visible here nor able to send |
2022-06-28 02:29:36 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-06-28 02:29:36 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-06-28 02:29:36 +0200 | wroathe | (~wroathe@user/wroathe) |
2022-06-28 02:30:35 +0200 | <geekosaur> | oh, no, only from sm who's still on both. pfeh |
2022-06-28 02:31:12 +0200 | <maralorn> | sm: Seeing that my program already works and I am just looking for potential performance improvements I don‘t think that implementing my own scrollbuffer is worth it. |
2022-06-28 02:31:32 +0200 | geekosaur | is not above simply outputting escape sequences |
2022-06-28 02:31:38 +0200 | <sm> | ah, carry on then |
2022-06-28 02:31:56 +0200 | <geekosaur> | in fact my test program to verify the scroll lregion didn't interfere with backscroll did just that |
2022-06-28 02:32:06 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
2022-06-28 02:32:10 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2022-06-28 02:32:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) (Ping timeout: 268 seconds) |
2022-06-28 02:32:26 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
2022-06-28 02:33:22 +0200 | Tubo[m] | (~tubogram@user/tubogram) |
2022-06-28 02:34:06 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2022-06-28 02:34:11 +0200 | <geekosaur> | \x1b[1;16r\x1b\&7\x1b[18;18H--- STATUS REGION ---\x1b\&8 then I had it do ls -l /usr/bin |
2022-06-28 02:34:13 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2022-06-28 02:34:39 +0200 | <geekosaur> | the status region stayed put, the ls scrolled in the right area and was correctly caught in scrollback |
2022-06-28 02:36:00 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
2022-06-28 02:36:38 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
2022-06-28 02:37:46 +0200 | <maralorn> | sm: But the ConsoleRegion stuff looks promising. |
2022-06-28 02:38:07 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
2022-06-28 02:38:11 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2022-06-28 02:39:49 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2022-06-28 02:39:54 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2022-06-28 02:41:35 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 02:41:46 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:43:47 +0200 | adrazalan | (~adrazalan@42.191.189.65) (Ping timeout: 256 seconds) |
2022-06-28 02:43:48 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:44:03 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 02:44:09 +0200 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5b3a:daea:252e:ac17) (Ping timeout: 268 seconds) |
2022-06-28 02:44:59 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
2022-06-28 02:45:55 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2022-06-28 02:49:31 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-06-28 02:49:44 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 246 seconds) |
2022-06-28 02:50:08 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) (Quit: Konversation terminated!) |
2022-06-28 02:51:25 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
2022-06-28 02:52:31 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 02:57:43 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 02:57:49 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 02:59:24 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 02:59:24 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 03:04:45 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2022-06-28 03:05:50 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 246 seconds) |
2022-06-28 03:07:48 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 03:07:49 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 03:08:50 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 268 seconds) |
2022-06-28 03:08:59 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 03:09:05 +0200 | waleee | (~waleee@h-158-174-22-25.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2022-06-28 03:09:14 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 03:12:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-06-28 03:14:58 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2022-06-28 03:15:27 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 03:15:36 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 03:15:38 +0200 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 03:29:10 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 03:33:44 +0200 | alp | (~alp@user/alp) (Ping timeout: 272 seconds) |
2022-06-28 03:39:07 +0200 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
2022-06-28 03:42:06 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2022-06-28 03:42:08 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
2022-06-28 03:42:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds) |
2022-06-28 03:44:55 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
2022-06-28 03:47:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-06-28 03:47:15 +0200 | <maralorn> | maerwald: I remember you told me something about a terminal printing library that you had a bad experience with. Was that https://hackage.haskell.org/package/concurrent-output ? |
2022-06-28 03:48:12 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 276 seconds) |
2022-06-28 03:53:45 +0200 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
2022-06-28 03:53:54 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 04:03:21 +0200 | <maralorn> | Oh, no! In the end concurrent-output also clears the complete status region, writes the log and writes the status region again. https://hackage.haskell.org/package/concurrent-output-1.10.16/docs/src/System.Console.Regions.html… |
2022-06-28 04:03:47 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer) |
2022-06-28 04:04:29 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 04:04:53 +0200 | <maralorn> | It only does smart things to avoid redraws when we don‘t print new log lines. But it also looks like a lot of overhead to me, so not sure if it’s worth it. |
2022-06-28 04:07:23 +0200 | Axman6 | (~Axman6@user/axman6) |
2022-06-28 04:11:57 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 04:13:46 +0200 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Quit: left) |
2022-06-28 04:13:55 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 04:25:17 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
2022-06-28 04:25:51 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-06-28 04:27:29 +0200 | z0k | (~z0k@206.84.143.59) (Ping timeout: 256 seconds) |
2022-06-28 04:27:45 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 268 seconds) |
2022-06-28 04:28:37 +0200 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
2022-06-28 04:32:16 +0200 | mcglk | (~mcglk@131.191.49.120) |
2022-06-28 04:34:50 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-06-28 04:34:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-06-28 04:34:50 +0200 | finn_elija | FinnElija |
2022-06-28 04:39:32 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
2022-06-28 04:41:00 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
2022-06-28 04:43:47 +0200 | td_ | (~td@muedsl-82-207-238-059.citykom.de) (Ping timeout: 268 seconds) |
2022-06-28 04:45:16 +0200 | td_ | (~td@94.134.91.56) |
2022-06-28 04:45:22 +0200 | img | (~img@user/img) |
2022-06-28 04:48:43 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 268 seconds) |
2022-06-28 04:52:58 +0200 | yauhsien | (~yauhsien@2402:7500:5e3:8a37:8d4e:ae58:bc07:bac8) |
2022-06-28 04:55:41 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 05:04:48 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2022-06-28 05:05:04 +0200 | Axman6 | (~Axman6@user/axman6) |
2022-06-28 05:06:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
2022-06-28 05:08:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-06-28 05:09:08 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-06-28 05:18:16 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-06-28 05:19:32 +0200 | yauhsien | (~yauhsien@2402:7500:5e3:8a37:8d4e:ae58:bc07:bac8) (Ping timeout: 255 seconds) |
2022-06-28 05:21:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2022-06-28 05:22:36 +0200 | img | (~img@user/img) |
2022-06-28 05:22:42 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
2022-06-28 05:22:55 +0200 | turlando | (~turlando@93.51.40.51) |
2022-06-28 05:22:56 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
2022-06-28 05:22:56 +0200 | turlando | (~turlando@user/turlando) |
2022-06-28 05:24:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2022-06-28 05:31:28 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-06-28 05:32:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2022-06-28 05:32:30 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
2022-06-28 05:33:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-06-28 05:44:47 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
2022-06-28 05:46:36 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
2022-06-28 05:47:41 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
2022-06-28 05:48:10 +0200 | <[Leary]> | @tell fizbin When it says "applicative functors", it's loosely referring to the arbitrary applicative functor parameter `f`. It should perhaps just be "A monoid on @f@." The key detail is that parametricity in `a` forces the monoid to be entirely on the structure of `f`, independent of `a`. This implies nice properties like `fmap g` distributing over `<|>`. And imo, if there's another sane choice of Monoid for `f a`, it shouldn't be the |
2022-06-28 05:48:10 +0200 | <lambdabot> | Consider it noted. |
2022-06-28 05:48:10 +0200 | <[Leary]> | same as the Alternative on `f`; that's just waste in redundancy. |
2022-06-28 05:48:55 +0200 | pavonia | (~user@user/siracusa) |
2022-06-28 05:50:28 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
2022-06-28 05:53:04 +0200 | leeb | (~leeb@KD106154142041.au-net.ne.jp) |
2022-06-28 05:54:25 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2022-06-28 05:55:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 05:55:40 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
2022-06-28 05:56:17 +0200 | <[Leary]> | It's also worth noting that there's already a monoid on `f`, as implied by it having Applicative, so Alternative is indeed "an alternative monoid on f". |
2022-06-28 05:56:21 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2022-06-28 05:56:47 +0200 | jargon | (~jargon@184.101.186.108) |
2022-06-28 05:57:05 +0200 | <[Leary]> | Though I don't think that's where the name comes from. |
2022-06-28 05:59:16 +0200 | phma_ | (phma@2001:5b0:211f:48f8:5ae4:1ee8:155:7a3e) |
2022-06-28 05:59:43 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
2022-06-28 05:59:56 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
2022-06-28 05:59:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Client Quit) |
2022-06-28 06:00:19 +0200 | pavonia_ | (~user@user/siracusa) |
2022-06-28 06:01:01 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-06-28 06:01:09 +0200 | jargon_ | (~jargon@184.101.186.108) |
2022-06-28 06:01:12 +0200 | jargon | (~jargon@184.101.186.108) (Ping timeout: 246 seconds) |
2022-06-28 06:01:27 +0200 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
2022-06-28 06:01:33 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
2022-06-28 06:01:36 +0200 | pavonia_ | pavonia |
2022-06-28 06:01:46 +0200 | kitzman_ | (~kitzman@user/dekenevs) |
2022-06-28 06:01:54 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
2022-06-28 06:01:54 +0200 | elkcl_ | elkcl |
2022-06-28 06:02:15 +0200 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 246 seconds) |
2022-06-28 06:02:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
2022-06-28 06:02:15 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 246 seconds) |
2022-06-28 06:02:15 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 246 seconds) |
2022-06-28 06:02:16 +0200 | cheater1__ | (~Username@user/cheater) |
2022-06-28 06:02:36 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2022-06-28 06:02:36 +0200 | sayola | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
2022-06-28 06:02:36 +0200 | kitzman | (~kitzman@user/dekenevs) (Ping timeout: 246 seconds) |
2022-06-28 06:02:40 +0200 | cheater1__ | cheater |
2022-06-28 06:02:57 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
2022-06-28 06:02:57 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 246 seconds) |
2022-06-28 06:02:57 +0200 | phma | (~phma@host-67-44-208-140.hnremote.net) (Ping timeout: 246 seconds) |
2022-06-28 06:02:57 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
2022-06-28 06:03:08 +0200 | koz | (~koz@121.99.240.58) |
2022-06-28 06:04:06 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2022-06-28 06:04:15 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Quit: Ping timeout (120 seconds)) |
2022-06-28 06:04:24 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-06-28 06:04:36 +0200 | mcglk | (~mcglk@131.191.49.120) |
2022-06-28 06:04:36 +0200 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
2022-06-28 06:07:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 06:10:11 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2022-06-28 06:10:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-06-28 06:10:29 +0200 | Vajb | (~Vajb@2001:999:48c:99ca:b00c:585c:3999:aa8b) |
2022-06-28 06:11:36 +0200 | edr | (~edr@user/edr) (Quit: ZNC 1.6.5 - http://znc.in) |
2022-06-28 06:11:50 +0200 | edr | (~edr@enlo.co) |
2022-06-28 06:11:50 +0200 | edr | (~edr@enlo.co) (Changing host) |
2022-06-28 06:11:50 +0200 | edr | (~edr@user/edr) |
2022-06-28 06:13:12 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2022-06-28 06:14:11 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 06:16:53 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 06:18:47 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 06:26:10 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2022-06-28 06:27:09 +0200 | mbuf | (~Shakthi@122.164.12.62) |
2022-06-28 06:33:25 +0200 | Polo | (~Gambino@user/polo) (Read error: Connection reset by peer) |
2022-06-28 06:33:27 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 06:36:31 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 06:41:35 +0200 | bilegeek | (~bilegeek@2600:1008:b022:edb3:99bf:d85c:d099:273) |
2022-06-28 06:43:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-06-28 06:44:11 +0200 | Polo | (~Gambino@user/polo) (Ping timeout: 255 seconds) |
2022-06-28 06:45:59 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 255 seconds) |
2022-06-28 06:50:57 +0200 | jargon_ | (~jargon@184.101.186.108) (Remote host closed the connection) |
2022-06-28 06:56:33 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 06:57:14 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 07:01:41 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 244 seconds) |
2022-06-28 07:12:10 +0200 | Furor | Colere |
2022-06-28 07:14:27 +0200 | jargon | (~jargon@184.101.186.108) |
2022-06-28 07:16:30 +0200 | quarkyalice | (~alice@172.77.16.153) |
2022-06-28 07:16:30 +0200 | quarkyalice | (~alice@172.77.16.153) (Changing host) |
2022-06-28 07:16:30 +0200 | quarkyalice | (~alice@user/quarkyalice) |
2022-06-28 07:25:46 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) |
2022-06-28 07:31:41 +0200 | vysn | (~vysn@user/vysn) |
2022-06-28 07:32:40 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 07:36:24 +0200 | leeb | (~leeb@KD106154142041.au-net.ne.jp) (Ping timeout: 246 seconds) |
2022-06-28 07:38:21 +0200 | leeb | (~leeb@KD106154142246.au-net.ne.jp) |
2022-06-28 07:41:51 +0200 | z0k | (~z0k@206.84.143.59) |
2022-06-28 07:43:23 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
2022-06-28 07:49:29 +0200 | Polo | money |
2022-06-28 07:49:29 +0200 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 07:49:39 +0200 | michalz | (~michalz@185.246.204.107) |
2022-06-28 07:52:00 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 07:52:45 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit) |
2022-06-28 08:01:13 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
2022-06-28 08:01:25 +0200 | turlando | (~turlando@93.51.40.51) |
2022-06-28 08:01:26 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
2022-06-28 08:01:26 +0200 | turlando | (~turlando@user/turlando) |
2022-06-28 08:01:34 +0200 | mbuf | (~Shakthi@122.164.12.62) (Remote host closed the connection) |
2022-06-28 08:03:35 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 268 seconds) |
2022-06-28 08:05:14 +0200 | mbuf | (~Shakthi@122.164.12.62) |
2022-06-28 08:12:04 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
2022-06-28 08:15:26 +0200 | odnes | (~odnes@ppp079167197007.access.hol.gr) |
2022-06-28 08:20:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-06-28 08:23:27 +0200 | vglfr | (~vglfr@88.155.52.133) |
2022-06-28 08:24:05 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 255 seconds) |
2022-06-28 08:24:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
2022-06-28 08:26:48 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
2022-06-28 08:26:54 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-06-28 08:26:57 +0200 | elkcl_ | elkcl |
2022-06-28 08:27:25 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:38c7:61b7:c771:72b1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2022-06-28 08:27:45 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
2022-06-28 08:28:12 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
2022-06-28 08:28:21 +0200 | vglfr | (~vglfr@88.155.52.133) (Ping timeout: 276 seconds) |
2022-06-28 08:28:33 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
2022-06-28 08:29:54 +0200 | mmhat | (~mmh@p200300f1c7385d3bee086bfffe095315.dip0.t-ipconnect.de) |
2022-06-28 08:30:09 +0200 | pavonia | (~user@user/siracusa) |
2022-06-28 08:30:15 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2022-06-28 08:30:51 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
2022-06-28 08:31:27 +0200 | odnes_ | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
2022-06-28 08:31:38 +0200 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
2022-06-28 08:31:59 +0200 | Major_Biscuit | (~MajorBisc@c-001-009-008.client.tudelft.eduvpn.nl) |
2022-06-28 08:33:50 +0200 | odnes | (~odnes@ppp079167197007.access.hol.gr) (Ping timeout: 240 seconds) |
2022-06-28 08:34:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8802:f60f:4588:60d8) |
2022-06-28 08:34:47 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Read error: Connection reset by peer) |
2022-06-28 08:34:51 +0200 | cyanide4breakfas | (~cyanide4d@106.201.249.151) |
2022-06-28 08:36:09 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds) |
2022-06-28 08:38:57 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 08:41:33 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-06-28 08:42:37 +0200 | odnes_ | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Remote host closed the connection) |
2022-06-28 08:42:49 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
2022-06-28 08:43:28 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 244 seconds) |
2022-06-28 08:43:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-06-28 08:45:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-06-28 08:46:29 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
2022-06-28 08:46:34 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) |
2022-06-28 08:51:08 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 08:51:35 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
2022-06-28 08:51:35 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 08:54:13 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
2022-06-28 08:55:53 +0200 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) |
2022-06-28 08:58:50 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 240 seconds) |
2022-06-28 08:59:11 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
2022-06-28 09:01:15 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-06-28 09:01:22 +0200 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
2022-06-28 09:01:40 +0200 | quarkyalice | (~alice@172.77.16.153) |
2022-06-28 09:01:40 +0200 | quarkyalice | (~alice@172.77.16.153) (Changing host) |
2022-06-28 09:01:40 +0200 | quarkyalice | (~alice@user/quarkyalice) |
2022-06-28 09:03:18 +0200 | phma_ | phma |
2022-06-28 09:07:28 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Read error: Connection reset by peer) |
2022-06-28 09:07:30 +0200 | gmg | (~user@user/gehmehgeh) |
2022-06-28 09:07:52 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
2022-06-28 09:08:10 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2022-06-28 09:08:27 +0200 | alp | (~alp@user/alp) |
2022-06-28 09:09:48 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
2022-06-28 09:10:16 +0200 | z0k | (~z0k@206.84.143.59) (Quit: WeeChat 3.5) |
2022-06-28 09:12:56 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
2022-06-28 09:15:03 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
2022-06-28 09:21:30 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-06-28 09:23:02 +0200 | obabo | (~obabo@20014C4C1C41D6000000000000001000.catv.pool.telekom.hu) (Quit: WeeChat 3.5) |
2022-06-28 09:24:59 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 09:25:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-06-28 09:25:58 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
2022-06-28 09:26:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2022-06-28 09:26:48 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 09:29:01 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
2022-06-28 09:30:21 +0200 | jargon | (~jargon@184.101.186.108) |
2022-06-28 09:35:16 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
2022-06-28 09:38:42 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-06-28 09:46:17 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
2022-06-28 09:50:53 +0200 | machinedgod | (~machinedg@66.244.246.252) |
2022-06-28 09:54:03 +0200 | fserucas | (~fserucas@1.64.114.89.rev.vodafone.pt) |
2022-06-28 09:56:06 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 09:57:16 +0200 | frost | (~frost@user/frost) |
2022-06-28 09:58:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (Remote host closed the connection) |
2022-06-28 10:00:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2022-06-28 10:07:09 +0200 | cyanide4breakfas | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
2022-06-28 10:10:50 +0200 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
2022-06-28 10:10:54 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) |
2022-06-28 10:12:25 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) |
2022-06-28 10:13:48 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
2022-06-28 10:14:46 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Read error: Connection reset by peer) |
2022-06-28 10:15:11 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
2022-06-28 10:15:30 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
2022-06-28 10:15:31 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-06-28 10:18:18 +0200 | matijja | (~matijja@193.77.181.201) |
2022-06-28 10:19:23 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) |
2022-06-28 10:20:55 +0200 | gensyst | (gensyst@user/gensyst) |
2022-06-28 10:21:39 +0200 | <gensyst> | After I write putStr something is there a way to "go back" and find out the last couple of characters that were output in the past? |
2022-06-28 10:24:48 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
2022-06-28 10:27:39 +0200 | <lortabac> | gensyst: no, you have to implement your own alternative IO with this capability |
2022-06-28 10:27:51 +0200 | <sm> | I don't think so gensyst , you'd have to keep that history yourself |
2022-06-28 10:27:58 +0200 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Quit: Leaving) |
2022-06-28 10:28:45 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 10:30:23 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
2022-06-28 10:30:44 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
2022-06-28 10:35:23 +0200 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 10:38:38 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
2022-06-28 10:44:29 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 255 seconds) |
2022-06-28 10:45:02 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 10:45:49 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) (Remote host closed the connection) |
2022-06-28 10:46:07 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) |
2022-06-28 10:53:02 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
2022-06-28 10:53:18 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer) |
2022-06-28 10:54:53 +0200 | leeb | (~leeb@KD106154142246.au-net.ne.jp) (Quit: WeeChat 3.4.1) |
2022-06-28 10:57:59 +0200 | <gensyst> | thanks mates |
2022-06-28 10:58:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
2022-06-28 10:59:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) |
2022-06-28 10:59:36 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 248 seconds) |
2022-06-28 10:59:41 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-06-28 10:59:41 +0200 | jinsun | Guest3137 |
2022-06-28 10:59:42 +0200 | Guest3137 | (~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services))) |
2022-06-28 10:59:42 +0200 | jinsun__ | jinsun |
2022-06-28 11:00:05 +0200 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) |
2022-06-28 11:00:05 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
2022-06-28 11:01:22 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 11:03:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (Ping timeout: 255 seconds) |
2022-06-28 11:03:41 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-06-28 11:03:42 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-06-28 11:03:42 +0200 | jinsun__ | jinsun |
2022-06-28 11:07:34 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-06-28 11:07:46 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-06-28 11:08:03 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-06-28 11:08:56 +0200 | bilegeek | (~bilegeek@2600:1008:b022:edb3:99bf:d85c:d099:273) (Quit: Leaving) |
2022-06-28 11:10:46 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2022-06-28 11:11:02 +0200 | jinsun | (~jinsun@user/jinsun) |
2022-06-28 11:11:34 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:2ecd:7f13:b280:b2e) |
2022-06-28 11:12:03 +0200 | martin02 | (~silas@141.84.69.76) |
2022-06-28 11:12:43 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) (Quit: ccntrq) |
2022-06-28 11:13:01 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:4e57:141f:f3f3:6614) |
2022-06-28 11:15:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
2022-06-28 11:18:15 +0200 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 11:18:15 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
2022-06-28 11:19:37 +0200 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
2022-06-28 11:19:41 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2022-06-28 11:20:04 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-06-28 11:20:06 +0200 | <`2jt> | Hi, I'm constructing aeson object with `object` and every pair value is a string. However, I must wrap each of it into ("key" .= ("some value" :: T.Text)). Is there a way to make the compiler make this decision automatically? |
2022-06-28 11:22:44 +0200 | malte | (~malte@mal.tc) |
2022-06-28 11:23:12 +0200 | mrkajetanp | (~mrkajetan@88.98.245.28) (Ping timeout: 276 seconds) |
2022-06-28 11:26:18 +0200 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (Quit: You have been kicked for being idle) |
2022-06-28 11:26:26 +0200 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
2022-06-28 11:30:47 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 255 seconds) |
2022-06-28 11:31:05 +0200 | <aforemny> | `2jt: as the second argument of (.=) is a constrained type variable, i don't think it is possible. you have to specify its type, as `"some value"` can be of any type that implements the `IsString` type class |
2022-06-28 11:31:05 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
2022-06-28 11:31:15 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
2022-06-28 11:31:19 +0200 | alexhandy | (~trace@user/trace) |
2022-06-28 11:31:53 +0200 | <lyxia> | you could define a specialized version of it |
2022-06-28 11:31:56 +0200 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) (Quit: Lost terminal) |
2022-06-28 11:32:17 +0200 | <aforemny> | `2jt: you can probably define a helper function `stringField :: KeyValue kv => Key -> T.Text -> kv` or something |
2022-06-28 11:32:53 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 11:36:13 +0200 | <`2jt> | thank you guys |
2022-06-28 11:37:35 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:4e57:141f:f3f3:6614) (Ping timeout: 255 seconds) |
2022-06-28 11:40:38 +0200 | ccntrq | (~Thunderbi@dynamic-077-008-042-123.77.8.pool.telefonica.de) |
2022-06-28 11:42:17 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
2022-06-28 11:46:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-06-28 11:49:49 +0200 | ccntrq1 | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) |
2022-06-28 11:50:30 +0200 | leah2 | (~leah@vuxu.org) (Quit: trotz alledem!) |
2022-06-28 11:50:42 +0200 | leah2 | (~leah@vuxu.org) |
2022-06-28 11:52:18 +0200 | ccntrq | (~Thunderbi@dynamic-077-008-042-123.77.8.pool.telefonica.de) (Ping timeout: 264 seconds) |
2022-06-28 11:52:18 +0200 | ccntrq1 | ccntrq |
2022-06-28 11:52:32 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
2022-06-28 11:52:32 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (*.net *.split) |
2022-06-28 11:52:32 +0200 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
2022-06-28 11:52:32 +0200 | siraben | (~siraben@user/siraben) (*.net *.split) |
2022-06-28 11:52:32 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
2022-06-28 11:52:32 +0200 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
2022-06-28 11:52:32 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
2022-06-28 11:52:32 +0200 | psydroid | (~psydroid@user/psydroid) (*.net *.split) |
2022-06-28 11:52:32 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
2022-06-28 11:52:32 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (*.net *.split) |
2022-06-28 11:52:32 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
2022-06-28 11:56:42 +0200 | Polo | (~Gambino@user/polo) (Killed (platinum.libera.chat (Nickname regained by services))) |
2022-06-28 11:56:53 +0200 | <carbolymer> | what was the name of `~` ? type equality? |
2022-06-28 11:57:13 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2022-06-28 11:57:13 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-06-28 11:57:13 +0200 | Tisoxin | (~ikosit@user/ikosit) |
2022-06-28 11:57:13 +0200 | siraben | (~siraben@user/siraben) |
2022-06-28 11:57:13 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2022-06-28 11:57:13 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2022-06-28 11:57:13 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2022-06-28 11:57:13 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2022-06-28 11:57:13 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
2022-06-28 11:57:13 +0200 | sm | (~sm@plaintextaccounting/sm) |
2022-06-28 11:57:17 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Max SendQ exceeded) |
2022-06-28 11:59:58 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2022-06-28 12:00:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 12:00:38 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 240 seconds) |
2022-06-28 12:00:38 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 240 seconds) |
2022-06-28 12:00:38 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (Ping timeout: 240 seconds) |
2022-06-28 12:00:47 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 252 seconds) |
2022-06-28 12:00:47 +0200 | jinsun_ | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
2022-06-28 12:00:52 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (Ping timeout: 260 seconds) |
2022-06-28 12:00:58 +0200 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 248 seconds) |
2022-06-28 12:00:58 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | polykernel[m] | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Ping timeout: 248 seconds) |
2022-06-28 12:00:59 +0200 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | moats | (~oats@user/oats) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | Deide | (~deide@user/deide) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 265 seconds) |
2022-06-28 12:00:59 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 255 seconds) |
2022-06-28 12:00:59 +0200 | Tubo[m] | (~tubogram@user/tubogram) (Ping timeout: 255 seconds) |
2022-06-28 12:01:00 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 255 seconds) |
2022-06-28 12:01:01 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 252 seconds) |
2022-06-28 12:01:01 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (Ping timeout: 252 seconds) |
2022-06-28 12:01:01 +0200 | Tisoxin | (~ikosit@user/ikosit) (Ping timeout: 252 seconds) |
2022-06-28 12:01:01 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 252 seconds) |
2022-06-28 12:01:02 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 272 seconds) |
2022-06-28 12:01:18 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 264 seconds) |
2022-06-28 12:01:18 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 264 seconds) |
2022-06-28 12:01:18 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (Ping timeout: 264 seconds) |
2022-06-28 12:01:18 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 264 seconds) |
2022-06-28 12:01:27 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (Ping timeout: 260 seconds) |
2022-06-28 12:01:27 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 260 seconds) |
2022-06-28 12:01:27 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds) |
2022-06-28 12:01:28 +0200 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) (Ping timeout: 260 seconds) |
2022-06-28 12:01:28 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (Ping timeout: 260 seconds) |
2022-06-28 12:01:29 +0200 | hochata | (~hochata@user/hochata) (Ping timeout: 260 seconds) |
2022-06-28 12:01:29 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 260 seconds) |
2022-06-28 12:01:29 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) (Ping timeout: 260 seconds) |
2022-06-28 12:01:37 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (Ping timeout: 268 seconds) |
2022-06-28 12:01:37 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 268 seconds) |
2022-06-28 12:01:37 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 268 seconds) |
2022-06-28 12:01:41 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds) |
2022-06-28 12:01:41 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Ping timeout: 272 seconds) |
2022-06-28 12:02:51 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-06-28 12:03:09 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-06-28 12:03:15 +0200 | <pavonia> | carbolymer: Yes |
2022-06-28 12:03:41 +0200 | <carbolymer> | pavonia: where can I read more on that? I don't know when I need type equality |
2022-06-28 12:04:19 +0200 | siraben | (~siraben@user/siraben) (Ping timeout: 252 seconds) |
2022-06-28 12:04:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Ping timeout: 255 seconds) |
2022-06-28 12:04:52 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds) |
2022-06-28 12:04:52 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
2022-06-28 12:05:05 +0200 | <pavonia> | When you want to give a hint to the compiler where types are/should be equal |
2022-06-28 12:05:26 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 252 seconds) |
2022-06-28 12:05:26 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (Ping timeout: 252 seconds) |
2022-06-28 12:05:52 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-06-28 12:06:34 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
2022-06-28 12:07:06 +0200 | <pavonia> | It's usually necessary with type families of the form `Fam a ~ b` to indicate that the result of applying Fam to a should result in b |
2022-06-28 12:07:46 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
2022-06-28 12:08:05 +0200 | <carbolymer> | and why not `Fam b => b` ? |
2022-06-28 12:08:38 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-06-28 12:09:07 +0200 | <pavonia> | I guess that would only work if Fam b would result in a type constraint again |
2022-06-28 12:09:08 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
2022-06-28 12:09:22 +0200 | <pavonia> | or would be a type class in the first place |
2022-06-28 12:09:53 +0200 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
2022-06-28 12:10:08 +0200 | rodental | (~rodental@38.146.5.222) |
2022-06-28 12:10:36 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2022-06-28 12:11:20 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
2022-06-28 12:11:49 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-06-28 12:12:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
2022-06-28 12:12:36 +0200 | kuribas | (~user@ptr-17d51ema4ez152mpbt2.18120a2.ip6.access.telenet.be) |
2022-06-28 12:13:13 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2022-06-28 12:14:19 +0200 | <pavonia> | carbolymer: e.g. consider `foo :: Fam a ~ Int => a -> Int`. We don't care what `a` is in this case, but we make sure that the result of `a` applied to type family `Fam` results in an Int |
2022-06-28 12:14:49 +0200 | <carbolymer> | oooh |
2022-06-28 12:14:54 +0200 | <carbolymer> | now it's clear |
2022-06-28 12:15:00 +0200 | <carbolymer> | pavonia: thanks |
2022-06-28 12:15:07 +0200 | <pavonia> | No problem |
2022-06-28 12:15:19 +0200 | <jackdk> | `2jt: turn off `{-# LANGUAGE OverloadedStrings #-}` (frustrating, but it means that the sting literal must be `[Char]` and then instance selection becomes unambiguous) or (the idiom I usually use `foo .= String "bar"` (as the data constructor `String :: Text -> Value` gives GHC enough info to solve) |
2022-06-28 12:16:34 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
2022-06-28 12:16:51 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
2022-06-28 12:18:06 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
2022-06-28 12:18:08 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2022-06-28 12:18:09 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
2022-06-28 12:18:09 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
2022-06-28 12:18:09 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2022-06-28 12:18:10 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2022-06-28 12:18:10 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
2022-06-28 12:19:03 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
2022-06-28 12:19:57 +0200 | <aforemny> | jackdk: i don't see how turning off overloaded strings helps because there is no `ToJson String` instance, and `String "bar"` should work in presence of overloaded strings as well |
2022-06-28 12:21:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 12:22:29 +0200 | <aforemny> | jackdk: the `String : Text -> Value` is a good point though! one might also use `T.pack : String -> Text` |
2022-06-28 12:23:39 +0200 | <jackdk> | aforemny: Via `instance ToJSON Char` and `instance ToJSON a => ToJSON [a]`; note that `class ToJSON` has a `toJSONList :: [a] -> Value` method |
2022-06-28 12:23:53 +0200 | <jackdk> | aforemny: You are correct that the `String` trick does not require disabling `-XOverloadedStrings` |
2022-06-28 12:23:54 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
2022-06-28 12:23:56 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
2022-06-28 12:24:07 +0200 | <jackdk> | % toJSON "Hello" |
2022-06-28 12:24:07 +0200 | <yahb2> | <interactive>:60:1: error: ; Variable not in scope: toJSON :: [Char] -> t |
2022-06-28 12:24:11 +0200 | polo | (~Gambino@user/polo) |
2022-06-28 12:24:13 +0200 | <jackdk> | % :m + Data.Aeson |
2022-06-28 12:24:13 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Data.Aeson’ ; Perhaps you meant Data.Version (from base-4.14.3.0) |
2022-06-28 12:24:18 +0200 | <jackdk> | ah well |
2022-06-28 12:24:44 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
2022-06-28 12:24:58 +0200 | <jackdk> | aforemny: https://www.irccloud.com/pastebin/cw0O2Lkw/toJSON-string.txt |
2022-06-28 12:25:39 +0200 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
2022-06-28 12:26:23 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-06-28 12:27:59 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
2022-06-28 12:28:16 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2022-06-28 12:29:08 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:08 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:08 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Quit: Bridge terminating on SIGTERM) |
2022-06-28 12:29:09 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Client Quit) |
2022-06-28 12:29:10 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Client Quit) |
2022-06-28 12:29:12 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
2022-06-28 12:29:14 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 242 seconds) |
2022-06-28 12:31:12 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2022-06-28 12:31:17 +0200 | <aforemny> | jackdk: oh, then it does make sense to drop overloaded strings. my bad! i cannot find the `ToJSON String` instance and thought it would not follow from `ToJSON Char` and `ToJSON a => ToJSON [a]`.. |
2022-06-28 12:31:17 +0200 | teo | (~teo@user/teo) |
2022-06-28 12:31:18 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2022-06-28 12:31:19 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2022-06-28 12:31:34 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2022-06-28 12:31:34 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2022-06-28 12:31:48 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2022-06-28 12:32:03 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-06-28 12:32:03 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
2022-06-28 12:32:03 +0200 | sm | (~sm@plaintextaccounting/sm) |
2022-06-28 12:32:03 +0200 | psydroid | (~psydroid@user/psydroid) |
2022-06-28 12:32:11 +0200 | <jackdk> | Yeah I could be wrong that it doesn't need both instances; it might just be using `toJSONList @Char` |
2022-06-28 12:32:17 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2022-06-28 12:32:31 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2022-06-28 12:32:31 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2022-06-28 12:32:31 +0200 | siraben | (~siraben@user/siraben) |
2022-06-28 12:32:44 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
2022-06-28 12:32:44 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2022-06-28 12:32:59 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
2022-06-28 12:33:13 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
2022-06-28 12:33:13 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2022-06-28 12:33:18 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
2022-06-28 12:33:28 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2022-06-28 12:33:30 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 12:33:42 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
2022-06-28 12:33:42 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
2022-06-28 12:33:42 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2022-06-28 12:33:52 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 12:33:56 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
2022-06-28 12:33:56 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2022-06-28 12:33:56 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2022-06-28 12:33:56 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2022-06-28 12:33:56 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2022-06-28 12:33:57 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
2022-06-28 12:34:04 +0200 | polo | money |
2022-06-28 12:34:04 +0200 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 12:34:12 +0200 | moats | (~oats@user/oats) |
2022-06-28 12:34:26 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2022-06-28 12:34:39 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
2022-06-28 12:34:39 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2022-06-28 12:34:39 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2022-06-28 12:34:39 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
2022-06-28 12:34:40 +0200 | Deide | (~deide@user/deide) |
2022-06-28 12:34:44 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2022-06-28 12:34:58 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2022-06-28 12:34:58 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2022-06-28 12:34:58 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
2022-06-28 12:35:12 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
2022-06-28 12:35:27 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2022-06-28 12:35:41 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2022-06-28 12:35:55 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2022-06-28 12:36:09 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
2022-06-28 12:36:24 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
2022-06-28 12:36:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-06-28 12:36:45 +0200 | Tubo[m] | (~tubogram@user/tubogram) |
2022-06-28 12:36:46 +0200 | Tisoxin | (~ikosit@user/ikosit) |
2022-06-28 12:36:46 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) |
2022-06-28 12:36:46 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
2022-06-28 12:36:46 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2022-06-28 12:37:07 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
2022-06-28 12:37:08 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2022-06-28 12:37:26 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
2022-06-28 12:37:30 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
2022-06-28 12:37:50 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2022-06-28 12:38:06 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
2022-06-28 12:38:06 +0200 | boxscape | (~boxscape@user/boxscape) |
2022-06-28 12:38:25 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
2022-06-28 12:38:38 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
2022-06-28 12:38:53 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 12:38:59 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
2022-06-28 12:39:31 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2022-06-28 12:39:31 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 12:39:49 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
2022-06-28 12:39:51 +0200 | hochata | (~hochata@user/hochata) |
2022-06-28 12:39:52 +0200 | polykernel[m] | (~polykerne@user/polykernel) |
2022-06-28 12:40:20 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2022-06-28 12:40:41 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2022-06-28 12:40:53 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
2022-06-28 12:40:54 +0200 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) |
2022-06-28 12:41:06 +0200 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) |
2022-06-28 12:41:07 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
2022-06-28 12:41:07 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
2022-06-28 12:41:07 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2022-06-28 12:41:20 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2022-06-28 12:41:20 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
2022-06-28 12:41:33 +0200 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) |
2022-06-28 12:41:47 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2022-06-28 12:41:48 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
2022-06-28 12:43:41 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 255 seconds) |
2022-06-28 12:44:27 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Ping timeout: 276 seconds) |
2022-06-28 12:44:54 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 12:45:07 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
2022-06-28 12:48:06 +0200 | christiansen | (~christian@152.115.131.42) |
2022-06-28 12:49:09 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
2022-06-28 12:49:19 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 12:49:39 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
2022-06-28 12:50:53 +0200 | <dminuoso> | Disabling aeson instances via cabal flags. Is this a good idea? |
2022-06-28 12:51:30 +0200 | <dminuoso> | That is, they would be enabled by default, but in case you dont want to drag in aeson, you could disable it via a flag. While it cant be placed in the .cabal file, at least individual projects can reduce dependency footprint. |
2022-06-28 12:51:47 +0200 | <dminuoso> | maerwald: I know you have some strong feelings about flags, how about this usage? |
2022-06-28 12:55:47 +0200 | christiansen | (~christian@152.115.131.42) (Ping timeout: 256 seconds) |
2022-06-28 12:56:57 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
2022-06-28 12:57:06 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
2022-06-28 12:57:39 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 12:57:46 +0200 | raym | (~raym@user/raym) |
2022-06-28 12:58:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 13:05:22 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 13:10:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ac33:ae13:96f7:5c2d) |
2022-06-28 13:11:05 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
2022-06-28 13:11:09 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) |
2022-06-28 13:13:36 +0200 | lyle | (~lyle@104.246.145.85) |
2022-06-28 13:13:49 +0200 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) (Alpine Linux, the security-oriented, lightweight Linux distribution) |
2022-06-28 13:14:43 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2022-06-28 13:15:46 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 272 seconds) |
2022-06-28 13:15:53 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 13:16:21 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 13:17:33 +0200 | FragByte_ | (~christian@user/fragbyte) |
2022-06-28 13:18:21 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 246 seconds) |
2022-06-28 13:18:21 +0200 | FragByte_ | FragByte |
2022-06-28 13:21:00 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 260 seconds) |
2022-06-28 13:23:01 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
2022-06-28 13:24:55 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
2022-06-28 13:25:21 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2022-06-28 13:25:43 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
2022-06-28 13:26:02 +0200 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
2022-06-28 13:28:32 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 13:28:42 +0200 | notzmv | (~zmv@user/notzmv) |
2022-06-28 13:31:03 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
2022-06-28 13:32:12 +0200 | <maerwald[m]> | dminuoso: disabling API via flags doesn't break packages at least |
2022-06-28 13:32:32 +0200 | <maerwald[m]> | If the default is really enabled |
2022-06-28 13:35:31 +0200 | <maerwald[m]> | You'd still have to make sure your package compiles with the default flags if it's. The only pitfall could be imports I think |
2022-06-28 13:35:51 +0200 | z0k | (~z0k@206.84.143.59) |
2022-06-28 13:35:51 +0200 | z0k | (~z0k@206.84.143.59) (Client Quit) |
2022-06-28 13:36:02 +0200 | <maerwald[m]> | When another package/import provides the disabled API |
2022-06-28 13:37:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
2022-06-28 13:41:13 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
2022-06-28 13:42:16 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2022-06-28 13:43:36 +0200 | teo | (~teo@user/teo) (Ping timeout: 276 seconds) |
2022-06-28 13:43:50 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
2022-06-28 13:45:08 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 14:00:46 +0200 | Guest|84 | (~Guest|84@109.95.113.8) |
2022-06-28 14:03:22 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
2022-06-28 14:03:40 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 14:03:41 +0200 | alp | (~alp@user/alp) |
2022-06-28 14:05:53 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-06-28 14:07:30 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
2022-06-28 14:10:41 +0200 | alexhandy2 | (~trace@user/trace) |
2022-06-28 14:11:33 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
2022-06-28 14:11:45 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
2022-06-28 14:13:17 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 255 seconds) |
2022-06-28 14:14:38 +0200 | glguy | (x@libera/staff/glguy) (Ping timeout: 624 seconds) |
2022-06-28 14:16:11 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
2022-06-28 14:19:32 +0200 | Guest|84 | (~Guest|84@109.95.113.8) (Quit: Connection closed) |
2022-06-28 14:20:23 +0200 | adrazalan | (~adrazalan@42.191.189.65) |
2022-06-28 14:22:31 +0200 | glguy | (x@libera/staff/glguy) |
2022-06-28 14:23:12 +0200 | pleo | (~pleo@user/pleo) |
2022-06-28 14:23:26 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
2022-06-28 14:24:22 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 14:27:41 +0200 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
2022-06-28 14:28:04 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 14:28:48 +0200 | Polo | money |
2022-06-28 14:29:39 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Remote host closed the connection) |
2022-06-28 14:30:08 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 14:30:25 +0200 | acidjnk_new | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
2022-06-28 14:30:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-06-28 14:30:52 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 14:32:25 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
2022-06-28 14:38:50 +0200 | arjun | (~arjun@user/arjun) |
2022-06-28 14:40:14 +0200 | vysn | (~vysn@user/vysn) |
2022-06-28 14:40:43 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
2022-06-28 14:49:28 +0200 | <carbolymer> | Did you guys have any weird experiences with CMS GC (-xn) on GHC 8? It seems whenever I turn it on, our E2E tests start to failing randomly (and very rarely) in CI with "connection refused" errors (the server is in Haskell). |
2022-06-28 14:54:07 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Remote host closed the connection) |
2022-06-28 14:54:30 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
2022-06-28 14:54:31 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-06-28 14:55:18 +0200 | gmg | (~user@user/gehmehgeh) |
2022-06-28 14:55:25 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-06-28 14:57:19 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
2022-06-28 14:57:41 +0200 | alp | (~alp@user/alp) |
2022-06-28 14:59:37 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2022-06-28 15:02:07 +0200 | meinside | (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 15:02:14 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) (Remote host closed the connection) |
2022-06-28 15:02:32 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) |
2022-06-28 15:05:06 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2022-06-28 15:06:23 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-06-28 15:06:58 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2022-06-28 15:11:23 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-06-28 15:18:02 +0200 | king_gs | (~Thunderbi@2806:103e:29:a4ff:9938:ec1d:a54a:6688) |
2022-06-28 15:18:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-06-28 15:19:48 +0200 | money | (~Gambino@user/polo) (Ping timeout: 246 seconds) |
2022-06-28 15:25:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 15:27:06 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 264 seconds) |
2022-06-28 15:28:29 +0200 | vysn | (~vysn@user/vysn) |
2022-06-28 15:29:50 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
2022-06-28 15:30:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2022-06-28 15:32:48 +0200 | cfricke | (~cfricke@user/cfricke) |
2022-06-28 15:33:54 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 15:34:19 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
2022-06-28 15:35:44 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-06-28 15:37:30 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-06-28 15:40:36 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 15:41:15 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
2022-06-28 15:41:15 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 15:41:32 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
2022-06-28 15:46:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
2022-06-28 15:51:30 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
2022-06-28 15:52:21 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
2022-06-28 15:53:46 +0200 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
2022-06-28 15:59:44 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2022-06-28 16:02:35 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 260 seconds) |
2022-06-28 16:02:38 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) (Ping timeout: 244 seconds) |
2022-06-28 16:09:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-06-28 16:13:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2022-06-28 16:14:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2022-06-28 16:15:15 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-06-28 16:15:22 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 16:17:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 16:17:28 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2022-06-28 16:18:22 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
2022-06-28 16:20:40 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
2022-06-28 16:21:51 +0200 | king_gs | (~Thunderbi@2806:103e:29:a4ff:9938:ec1d:a54a:6688) (Quit: king_gs) |
2022-06-28 16:22:29 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 16:23:54 +0200 | <DGMrKong> | Did I accidentally fill this chat with IRC error messages all night? I just got back and my console is filled with them :( |
2022-06-28 16:24:46 +0200 | <geekosaur> | no more than anyone else, from my backscroll |
2022-06-28 16:24:53 +0200 | <merijn> | If you had someone would've probably kicked or quited you :p |
2022-06-28 16:24:58 +0200 | <merijn> | *quieted |
2022-06-28 16:25:46 +0200 | <DGMrKong> | yea, I guess they were client side errors. I have one every few seconds for the past 12 hours |
2022-06-28 16:26:04 +0200 | <DGMrKong> | I should probably dc next time lol |
2022-06-28 16:26:12 +0200 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
2022-06-28 16:27:02 +0200 | DGMrKong | ARJ0019 |
2022-06-28 16:27:03 +0200 | <geekosaur> | we have a log you can consult if you want to see what's been going on (check the /topic) |
2022-06-28 16:27:40 +0200 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) (Ping timeout: 272 seconds) |
2022-06-28 16:37:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2022-06-28 16:38:01 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) |
2022-06-28 16:40:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2022-06-28 16:42:14 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 16:43:18 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
2022-06-28 16:43:40 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2022-06-28 16:43:48 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
2022-06-28 16:45:48 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 16:48:27 +0200 | Polo | money |
2022-06-28 16:48:27 +0200 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 16:51:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 17:01:38 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
2022-06-28 17:04:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 17:05:00 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 17:09:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Ping timeout: 255 seconds) |
2022-06-28 17:14:09 +0200 | pleo | (~pleo@user/pleo) |
2022-06-28 17:17:33 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
2022-06-28 17:18:43 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) |
2022-06-28 17:25:53 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 17:28:02 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
2022-06-28 17:28:39 +0200 | Topsi1 | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) |
2022-06-28 17:30:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 17:31:18 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
2022-06-28 17:33:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8802:f60f:4588:60d8) (Quit: WeeChat 2.8) |
2022-06-28 17:33:18 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
2022-06-28 17:35:24 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 17:36:09 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2022-06-28 17:39:14 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
2022-06-28 17:39:57 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2022-06-28 17:40:51 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
2022-06-28 17:41:00 +0200 | pleo | (~pleo@user/pleo) |
2022-06-28 17:43:30 +0200 | Polo | money |
2022-06-28 17:47:21 +0200 | econo | (uid147250@user/econo) |
2022-06-28 17:55:31 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-06-28 17:57:00 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 18:03:36 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
2022-06-28 18:05:45 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
2022-06-28 18:10:16 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
2022-06-28 18:11:30 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
2022-06-28 18:12:00 +0200 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Ping timeout: 246 seconds) |
2022-06-28 18:12:35 +0200 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) (Remote host closed the connection) |
2022-06-28 18:13:18 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2022-06-28 18:13:38 +0200 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 18:15:30 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
2022-06-28 18:15:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-06-28 18:18:00 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:2ecd:7f13:b280:b2e) (Remote host closed the connection) |
2022-06-28 18:18:17 +0200 | machinedgod | (~machinedg@96.53.10.178) |
2022-06-28 18:26:17 +0200 | k8yun | (~k8yun@user/k8yun) |
2022-06-28 18:27:26 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
2022-06-28 18:31:50 +0200 | pwug | (~pwug@user/pwug) |
2022-06-28 18:31:59 +0200 | mbuf | (~Shakthi@122.164.12.62) (Quit: Leaving) |
2022-06-28 18:33:15 +0200 | jinsun__ | (~jinsun@user/jinsun) |
2022-06-28 18:33:15 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
2022-06-28 18:33:15 +0200 | jinsun__ | jinsun |
2022-06-28 18:40:29 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 18:40:29 +0200 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 18:44:24 +0200 | causal | (~user@50.35.83.177) |
2022-06-28 18:45:09 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
2022-06-28 18:45:27 +0200 | alexhandy | (~trace@user/trace) |
2022-06-28 18:45:53 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 18:49:40 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
2022-06-28 18:51:07 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
2022-06-28 18:51:38 +0200 | machinedgod | (~machinedg@96.53.10.178) (Ping timeout: 240 seconds) |
2022-06-28 18:55:09 +0200 | yax__ | (~yax__@user/yax/x-9576643) |
2022-06-28 18:56:15 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) (Ping timeout: 276 seconds) |
2022-06-28 18:56:17 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
2022-06-28 18:56:51 +0200 | machinedgod | (~machinedg@66.244.246.252) |
2022-06-28 18:57:44 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 18:58:15 +0200 | arjun | (~arjun@user/arjun) |
2022-06-28 18:58:35 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 255 seconds) |
2022-06-28 18:59:06 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 19:00:53 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 19:01:03 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 19:02:16 +0200 | werneta | (~werneta@137.78.30.207) |
2022-06-28 19:02:27 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-06-28 19:04:52 +0200 | img | (~img@user/img) |
2022-06-28 19:06:47 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 19:06:57 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 19:09:50 +0200 | johnsoar | (~arj0019@162.218.254.7) |
2022-06-28 19:09:50 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
2022-06-28 19:10:05 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
2022-06-28 19:12:16 +0200 | ystael | (~ystael@user/ystael) |
2022-06-28 19:12:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-06-28 19:15:39 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
2022-06-28 19:16:27 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-06-28 19:18:45 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-06-28 19:21:32 +0200 | Major_Biscuit | (~MajorBisc@c-001-009-008.client.tudelft.eduvpn.nl) (Ping timeout: 255 seconds) |
2022-06-28 19:26:20 +0200 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) |
2022-06-28 19:27:30 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
2022-06-28 19:35:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2022-06-28 19:36:02 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
2022-06-28 19:38:18 +0200 | simendsjo | (~user@84.211.91.241) |
2022-06-28 19:38:53 +0200 | merijn | (~merijn@86.86.29.250) |
2022-06-28 19:40:40 +0200 | mmhat | (~mmh@p200300f1c7385d3bee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-06-28 19:46:33 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
2022-06-28 19:47:10 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 260 seconds) |
2022-06-28 19:48:04 +0200 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) |
2022-06-28 19:51:28 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
2022-06-28 19:54:54 +0200 | mmhat | (~mmh@p200300f1c7385d0fee086bfffe095315.dip0.t-ipconnect.de) |
2022-06-28 19:56:39 +0200 | xf00b4r | (~soukenka@104-217.internetbox.cz) |
2022-06-28 19:58:11 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
2022-06-28 20:01:31 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Read error: Connection reset by peer) |
2022-06-28 20:03:29 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:3220:4ec5:12ce:8aed) |
2022-06-28 20:03:41 +0200 | arjun | vengeance |
2022-06-28 20:05:02 +0200 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Quit: left) |
2022-06-28 20:05:12 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 20:06:31 +0200 | vengeance | vengence |
2022-06-28 20:07:25 +0200 | vengence | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
2022-06-28 20:08:42 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-06-28 20:11:56 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Quit: leaving) |
2022-06-28 20:12:22 +0200 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-06-28 20:12:38 +0200 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
2022-06-28 20:12:53 +0200 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-06-28 20:13:17 +0200 | merijn | (~merijn@86.86.29.250) (Ping timeout: 255 seconds) |
2022-06-28 20:13:45 +0200 | johnsoar | arj0019 |
2022-06-28 20:14:42 +0200 | kuribas | (~user@ptr-17d51ema4ez152mpbt2.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2022-06-28 20:15:52 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 20:19:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-06-28 20:20:26 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) (Quit: WeeChat 3.5) |
2022-06-28 20:22:03 +0200 | <Boarders__> | could someone remind me how you pass a custom type of a library in haskell? |
2022-06-28 20:22:26 +0200 | <Boarders__> | e.g. the ordered-keymap in aeson (I don't need this flag specifically, just want to know how you do it) |
2022-06-28 20:23:41 +0200 | <[exa]> | "how you pass a custom type of a library" ... to where do you want to pass it? |
2022-06-28 20:24:08 +0200 | <Boarders__> | sorry that was meant to read flag |
2022-06-28 20:24:21 +0200 | <merijn> | Boarders__: from where? |
2022-06-28 20:24:38 +0200 | <merijn> | Boarders__: Should just be -fflagname on the commandline |
2022-06-28 20:25:05 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 260 seconds) |
2022-06-28 20:25:21 +0200 | <[exa]> | ah a flag, yes |
2022-06-28 20:25:23 +0200 | <Boarders__> | so I could put -fordered-keymap in ghc-options in cabal? |
2022-06-28 20:25:54 +0200 | <geekosaur> | it's not a ghc option, it's a Cabal option. stack and cabal have slightly different ways of doing it |
2022-06-28 20:26:11 +0200 | <[exa]> | you may like constraints: as in https://stackoverflow.com/questions/23523869/is-there-any-way-to-define-flags-for-cabal-dependenci… |
2022-06-28 20:26:13 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 20:27:16 +0200 | <Boarders__> | what is the cabal way of doing it? |
2022-06-28 20:28:47 +0200 | <geekosaur> | the link [exa] gave you shows both stack and cabal ways |
2022-06-28 20:28:54 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 264 seconds) |
2022-06-28 20:29:44 +0200 | <[exa]> | btw the answer "you cannot do this with cabal" is probably no longer valid there |
2022-06-28 20:30:00 +0200 | <geekosaur> | it was once true, but then the cabal.project way was added |
2022-06-28 20:30:16 +0200 | <geekosaur> | sadly a bunch of stackers think cabal's still on 1.24 |
2022-06-28 20:30:34 +0200 | <[exa]> | let's add a comment :] |
2022-06-28 20:31:04 +0200 | <geekosaur> | one of the answres above that one already says this (that it used to be true but then cabal.project way was added) |
2022-06-28 20:31:24 +0200 | <geekosaur> | possibly it should be downvoted though now that it's false |
2022-06-28 20:31:45 +0200 | <[exa]> | well I can edit it |
2022-06-28 20:32:07 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
2022-06-28 20:32:09 +0200 | <[exa]> | ah no, but I can ask people to edit :] |
2022-06-28 20:33:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
2022-06-28 20:34:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 20:34:25 +0200 | <Boarders__> | thanks for the help all |
2022-06-28 20:35:15 +0200 | <[exa]> | yw :] |
2022-06-28 20:36:53 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
2022-06-28 20:37:11 +0200 | alexhandy | (~trace@user/trace) |
2022-06-28 20:40:45 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
2022-06-28 20:41:04 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 20:42:18 +0200 | <shiraeeshi[m]> | there is an exercise about red-black trees that I don't understand |
2022-06-28 20:42:24 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
2022-06-28 20:42:44 +0200 | <shiraeeshi[m]> | it's an exercise 3.10 (b) from "Purely functional data structures" |
2022-06-28 20:43:24 +0200 | <shiraeeshi[m]> | (a) is about splitting the balance function to two: lbalance and rbalance |
2022-06-28 20:43:57 +0200 | <shiraeeshi[m]> | (b) says: |
2022-06-28 20:44:34 +0200 | <shiraeeshi[m]> | Extending the same logic one step further, one of the remaining tests on the grandchildren is also unnecessary. Rewrite "ins" so that it never tests the color of nodes not on the search path. |
2022-06-28 20:45:18 +0200 | <shiraeeshi[m]> | here is a source code of RedBlackSet: https://imgur.com/a/oIlSxgf |
2022-06-28 20:46:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2022-06-28 20:46:25 +0200 | <shiraeeshi[m]> | I can't find the unnecessary test, where is it? |
2022-06-28 20:46:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
2022-06-28 20:46:57 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 20:47:38 +0200 | simendsjo | (~user@84.211.91.241) (Remote host closed the connection) |
2022-06-28 20:50:11 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 255 seconds) |
2022-06-28 20:53:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-06-28 20:55:43 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
2022-06-28 20:56:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2022-06-28 20:58:54 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 264 seconds) |
2022-06-28 20:58:55 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2022-06-28 21:00:45 +0200 | vysn | (~vysn@user/vysn) |
2022-06-28 21:01:17 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 21:05:13 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
2022-06-28 21:06:20 +0200 | machinedgod | (~machinedg@66.244.246.252) |
2022-06-28 21:08:00 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 21:08:36 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 268 seconds) |
2022-06-28 21:13:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 21:19:11 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
2022-06-28 21:24:54 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
2022-06-28 21:26:23 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-06-28 21:31:43 +0200 | pleo | (~pleo@user/pleo) |
2022-06-28 21:34:38 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 21:37:29 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-06-28 21:38:52 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
2022-06-28 21:39:09 +0200 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 21:42:37 +0200 | yax__ | (~yax__@user/yax/x-9576643) () |
2022-06-28 21:43:48 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 21:44:54 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
2022-06-28 21:50:45 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 246 seconds) |
2022-06-28 21:50:59 +0200 | phma | (phma@2001:5b0:211f:48f8:5ae4:1ee8:155:7a3e) (Read error: Connection reset by peer) |
2022-06-28 21:51:19 +0200 | phma | (phma@2001:5b0:211f:48f8:8c9c:405b:2b8d:7378) |
2022-06-28 21:55:38 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
2022-06-28 21:55:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
2022-06-28 21:57:25 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
2022-06-28 22:00:23 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
2022-06-28 22:01:36 +0200 | glguy | (x@libera/staff/glguy) (*.net *.split) |
2022-06-28 22:01:36 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (*.net *.split) |
2022-06-28 22:01:36 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (*.net *.split) |
2022-06-28 22:01:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
2022-06-28 22:01:36 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
2022-06-28 22:01:36 +0200 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Colere | (~colere@about/linux/staff/sauvin) (*.net *.split) |
2022-06-28 22:01:36 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
2022-06-28 22:01:36 +0200 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
2022-06-28 22:01:36 +0200 | adium | (adium@user/adium) (*.net *.split) |
2022-06-28 22:01:36 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
2022-06-28 22:01:36 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
2022-06-28 22:01:36 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
2022-06-28 22:01:36 +0200 | inversed | (~inversed@05412f44.skybroadband.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | tomgus1 | (~tomgus1@90.218.25.145) (*.net *.split) |
2022-06-28 22:01:36 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
2022-06-28 22:01:36 +0200 | AlexZenon | (~alzenon@178.34.160.206) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Alex_test | (~al_test@178.34.160.206) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
2022-06-28 22:01:36 +0200 | finsternis | (~X@23.226.237.192) (*.net *.split) |
2022-06-28 22:01:36 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
2022-06-28 22:01:36 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split) |
2022-06-28 22:01:36 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
2022-06-28 22:01:36 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
2022-06-28 22:01:36 +0200 | aeka | (~aeka@user/hiruji) (*.net *.split) |
2022-06-28 22:01:36 +0200 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Henkru | (henkru@kapsi.fi) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
2022-06-28 22:01:36 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | tnks | (sid412124@helmsley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | forell | (~forell@user/forell) (*.net *.split) |
2022-06-28 22:01:36 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
2022-06-28 22:01:36 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
2022-06-28 22:01:36 +0200 | andjjj23_ | (~irc@107.170.228.47) (*.net *.split) |
2022-06-28 22:01:36 +0200 | asm | (~alexander@user/asm) (*.net *.split) |
2022-06-28 22:01:36 +0200 | canta | (~canta@user/canta) (*.net *.split) |
2022-06-28 22:01:36 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (*.net *.split) |
2022-06-28 22:01:36 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split) |
2022-06-28 22:01:36 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) (*.net *.split) |
2022-06-28 22:01:36 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
2022-06-28 22:01:36 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
2022-06-28 22:01:36 +0200 | anderson | (~ande@user/anderson) (*.net *.split) |
2022-06-28 22:01:36 +0200 | swistak- | (~swistak@185.21.216.141) (*.net *.split) |
2022-06-28 22:01:36 +0200 | axel-bee | (~axel-bee@alexbenishek.com) (*.net *.split) |
2022-06-28 22:01:36 +0200 | biberu | (~biberu@user/biberu) (*.net *.split) |
2022-06-28 22:01:36 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split) |
2022-06-28 22:01:36 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (*.net *.split) |
2022-06-28 22:01:36 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (*.net *.split) |
2022-06-28 22:01:36 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (*.net *.split) |
2022-06-28 22:01:36 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (*.net *.split) |
2022-06-28 22:01:36 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (*.net *.split) |
2022-06-28 22:01:36 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Tubo[m] | (~tubogram@user/tubogram) (*.net *.split) |
2022-06-28 22:01:36 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (*.net *.split) |
2022-06-28 22:01:36 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (*.net *.split) |
2022-06-28 22:01:36 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (*.net *.split) |
2022-06-28 22:01:36 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (*.net *.split) |
2022-06-28 22:01:36 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) (*.net *.split) |
2022-06-28 22:01:36 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
2022-06-28 22:01:36 +0200 | hochata | (~hochata@user/hochata) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (*.net *.split) |
2022-06-28 22:01:36 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
2022-06-28 22:01:36 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (*.net *.split) |
2022-06-28 22:01:36 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (*.net *.split) |
2022-06-28 22:01:36 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
2022-06-28 22:01:36 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (*.net *.split) |
2022-06-28 22:01:36 +0200 | polykernel[m] | (~polykerne@user/polykernel) (*.net *.split) |
2022-06-28 22:01:36 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (*.net *.split) |
2022-06-28 22:01:36 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (*.net *.split) |
2022-06-28 22:01:36 +0200 | moats | (~oats@user/oats) (*.net *.split) |
2022-06-28 22:01:36 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (*.net *.split) |
2022-06-28 22:01:36 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (*.net *.split) |
2022-06-28 22:01:36 +0200 | boxscape | (~boxscape@user/boxscape) (*.net *.split) |
2022-06-28 22:01:36 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (*.net *.split) |
2022-06-28 22:01:36 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (*.net *.split) |
2022-06-28 22:01:36 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (*.net *.split) |
2022-06-28 22:01:36 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (*.net *.split) |
2022-06-28 22:01:36 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (*.net *.split) |
2022-06-28 22:01:36 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) (*.net *.split) |
2022-06-28 22:01:36 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split) |
2022-06-28 22:01:36 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split) |
2022-06-28 22:01:36 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split) |
2022-06-28 22:01:36 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (*.net *.split) |
2022-06-28 22:01:36 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
2022-06-28 22:01:36 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) (*.net *.split) |
2022-06-28 22:01:36 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (*.net *.split) |
2022-06-28 22:01:36 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (*.net *.split) |
2022-06-28 22:01:36 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (*.net *.split) |
2022-06-28 22:01:36 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (*.net *.split) |
2022-06-28 22:01:36 +0200 | jinsun_ | (~jinsun@user/jinsun) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
2022-06-28 22:01:36 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (*.net *.split) |
2022-06-28 22:01:36 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (*.net *.split) |
2022-06-28 22:01:36 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
2022-06-28 22:01:36 +0200 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) (*.net *.split) |
2022-06-28 22:01:36 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
2022-06-28 22:01:36 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
2022-06-28 22:01:36 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (*.net *.split) |
2022-06-28 22:01:36 +0200 | Deide | (~deide@user/deide) (*.net *.split) |
2022-06-28 22:01:36 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (*.net *.split) |
2022-06-28 22:01:36 +0200 | psydroid | (~psydroid@user/psydroid) (*.net *.split) |
2022-06-28 22:01:37 +0200 | siraben | (~siraben@user/siraben) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
2022-06-28 22:01:37 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split) |
2022-06-28 22:01:37 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (*.net *.split) |
2022-06-28 22:01:37 +0200 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) (*.net *.split) |
2022-06-28 22:01:37 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) (*.net *.split) |
2022-06-28 22:01:37 +0200 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
2022-06-28 22:01:37 +0200 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) (*.net *.split) |
2022-06-28 22:01:37 +0200 | edr | (~edr@user/edr) (*.net *.split) |
2022-06-28 22:01:37 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split) |
2022-06-28 22:01:37 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split) |
2022-06-28 22:01:37 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Me-me | (~me-me@user/me-me) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
2022-06-28 22:01:37 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | gregberns__ | (sid315709@helmsley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Adran | (adran@botters/adran) (*.net *.split) |
2022-06-28 22:01:37 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split) |
2022-06-28 22:01:37 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split) |
2022-06-28 22:01:37 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
2022-06-28 22:01:37 +0200 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
2022-06-28 22:01:37 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
2022-06-28 22:01:37 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
2022-06-28 22:01:37 +0200 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
2022-06-28 22:01:37 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split) |
2022-06-28 22:01:37 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (*.net *.split) |
2022-06-28 22:01:37 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split) |
2022-06-28 22:01:37 +0200 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
2022-06-28 22:01:37 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) (*.net *.split) |
2022-06-28 22:01:37 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (*.net *.split) |
2022-06-28 22:01:37 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
2022-06-28 22:01:37 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split) |
2022-06-28 22:01:37 +0200 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dispater | (~dispater@user/brprice) (*.net *.split) |
2022-06-28 22:01:37 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ario_ | (~ario@159.65.220.102) (*.net *.split) |
2022-06-28 22:01:37 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Arsen | (arsen@managarm/dev/Arsen) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dfg | (dfg@user/dfg) (*.net *.split) |
2022-06-28 22:01:37 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
2022-06-28 22:01:37 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | incertia | (~incertia@d47-69-133-171.try.wideopenwest.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ptrcmd | (~ptrcmd@user/ptrcmd) (*.net *.split) |
2022-06-28 22:01:37 +0200 | triteraflops | (~triterafl@user/triteraflops) (*.net *.split) |
2022-06-28 22:01:37 +0200 | icebreaker | (~icebreake@user/icebreaker) (*.net *.split) |
2022-06-28 22:01:37 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
2022-06-28 22:01:37 +0200 | tafa | (~tafa@user/tafa) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | melonai | (~mel@rnrd.eu) (*.net *.split) |
2022-06-28 22:01:37 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
2022-06-28 22:01:37 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Xe | (~cadey@tailscale/xe) (*.net *.split) |
2022-06-28 22:01:37 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
2022-06-28 22:01:37 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
2022-06-28 22:01:37 +0200 | remexre | (~remexre@user/remexre) (*.net *.split) |
2022-06-28 22:01:37 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
2022-06-28 22:01:37 +0200 | raym | (~raym@user/raym) (*.net *.split) |
2022-06-28 22:01:37 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
2022-06-28 22:01:37 +0200 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) (*.net *.split) |
2022-06-28 22:01:37 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) (*.net *.split) |
2022-06-28 22:01:37 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (*.net *.split) |
2022-06-28 22:01:37 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) (*.net *.split) |
2022-06-28 22:01:37 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) (*.net *.split) |
2022-06-28 22:01:37 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
2022-06-28 22:01:37 +0200 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) (*.net *.split) |
2022-06-28 22:01:37 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
2022-06-28 22:01:37 +0200 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
2022-06-28 22:01:37 +0200 | conjunctive_ | (sid433686@id-433686.helmsley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) (*.net *.split) |
2022-06-28 22:01:37 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
2022-06-28 22:01:37 +0200 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
2022-06-28 22:01:37 +0200 | lightandlight | (sid135476@2a03:5180:f:1::2:1134) (*.net *.split) |
2022-06-28 22:01:37 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
2022-06-28 22:01:37 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | acacia | (~alloca@user/suppi) (*.net *.split) |
2022-06-28 22:01:37 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
2022-06-28 22:01:37 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
2022-06-28 22:01:37 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
2022-06-28 22:01:37 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ddb | (~ddb@ipv6two.tilde.club) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | averell | (~averell@user/averell) (*.net *.split) |
2022-06-28 22:01:37 +0200 | srk | (~sorki@user/srk) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
2022-06-28 22:01:37 +0200 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) (*.net *.split) |
2022-06-28 22:01:37 +0200 | ian__ | (~ian@matrix.chaos.earth.li) (*.net *.split) |
2022-06-28 22:01:37 +0200 | sweater1 | (~sweater@206.81.18.26) (*.net *.split) |
2022-06-28 22:01:37 +0200 | hyiltiz_ | (~quassel@31.220.5.250) (*.net *.split) |
2022-06-28 22:01:37 +0200 | zachel_ | (~zachel@user/zachel) (*.net *.split) |
2022-06-28 22:01:37 +0200 | Dorkside69 | (~dorkside@208.190.197.222) (*.net *.split) |
2022-06-28 22:01:37 +0200 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
2022-06-28 22:01:37 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
2022-06-28 22:01:37 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
2022-06-28 22:01:37 +0200 | blades | (~blades@204.48.29.163) (*.net *.split) |
2022-06-28 22:01:37 +0200 | drewolson | (~drewolson@user/drewolson) (*.net *.split) |
2022-06-28 22:01:37 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
2022-06-28 22:01:37 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (*.net *.split) |
2022-06-28 22:01:38 +0200 | bcmiller_ | (~bm3719@66.42.95.185) (*.net *.split) |
2022-06-28 22:01:38 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
2022-06-28 22:01:38 +0200 | bjobjo | (~bjobjo@user/bjobjo) (*.net *.split) |
2022-06-28 22:01:38 +0200 | eax_ | (6ba2dd7b84@user/eax/x-8810663) (*.net *.split) |
2022-06-28 22:01:38 +0200 | ente | (~daemon@inferno.barfooze.de) (*.net *.split) |
2022-06-28 22:01:38 +0200 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
2022-06-28 22:01:38 +0200 | robertm | (robertm@lattice.rojoma.com) (*.net *.split) |
2022-06-28 22:01:38 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
2022-06-28 22:01:38 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
2022-06-28 22:01:38 +0200 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
2022-06-28 22:01:38 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
2022-06-28 22:01:38 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (*.net *.split) |
2022-06-28 22:01:38 +0200 | s4msung | (anUIaa0rBw@user/s4msung) (*.net *.split) |
2022-06-28 22:01:38 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
2022-06-28 22:01:38 +0200 | hays | (rootvegeta@fsf/member/hays) (*.net *.split) |
2022-06-28 22:01:38 +0200 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) (*.net *.split) |
2022-06-28 22:01:38 +0200 | AndreasK | (sid320732@2a03:5180:f:5::4:e4dc) (*.net *.split) |
2022-06-28 22:01:38 +0200 | bbhoss | (sid18216@2a03:5180:f::4728) (*.net *.split) |
2022-06-28 22:01:38 +0200 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) (*.net *.split) |
2022-06-28 22:01:38 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
2022-06-28 22:01:38 +0200 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
2022-06-28 22:01:38 +0200 | tubogram44 | (~tubogram@user/tubogram) (*.net *.split) |
2022-06-28 22:01:38 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
2022-06-28 22:03:05 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
2022-06-28 22:04:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-06-28 22:08:23 +0200 | atwm | (~atwm@81.28.193.19) |
2022-06-28 22:09:13 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2022-06-28 22:11:34 +0200 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 272 seconds) |
2022-06-28 22:12:47 +0200 | inversed | (~inversed@5.65.47.68) |
2022-06-28 22:14:31 +0200 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
2022-06-28 22:14:32 +0200 | Arsen_ | (arsen@managarm/dev/Arsen) |
2022-06-28 22:14:45 +0200 | glguy | (x@libera/staff/glguy) |
2022-06-28 22:14:45 +0200 | raym | (~raym@user/raym) |
2022-06-28 22:14:45 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
2022-06-28 22:14:45 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
2022-06-28 22:14:45 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2022-06-28 22:14:45 +0200 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) |
2022-06-28 22:14:45 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
2022-06-28 22:14:45 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2022-06-28 22:14:45 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
2022-06-28 22:14:45 +0200 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
2022-06-28 22:14:45 +0200 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
2022-06-28 22:14:45 +0200 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) |
2022-06-28 22:14:45 +0200 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) |
2022-06-28 22:14:45 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
2022-06-28 22:14:45 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2022-06-28 22:14:45 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2022-06-28 22:14:45 +0200 | polykernel[m] | (~polykerne@user/polykernel) |
2022-06-28 22:14:45 +0200 | hochata | (~hochata@user/hochata) |
2022-06-28 22:14:45 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
2022-06-28 22:14:45 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2022-06-28 22:14:45 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
2022-06-28 22:14:45 +0200 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
2022-06-28 22:14:45 +0200 | boxscape | (~boxscape@user/boxscape) |
2022-06-28 22:14:45 +0200 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
2022-06-28 22:14:45 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2022-06-28 22:14:45 +0200 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
2022-06-28 22:14:45 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2022-06-28 22:14:45 +0200 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
2022-06-28 22:14:45 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2022-06-28 22:14:45 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
2022-06-28 22:14:45 +0200 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) |
2022-06-28 22:14:45 +0200 | Tisoxin | (~ikosit@user/ikosit) |
2022-06-28 22:14:45 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2022-06-28 22:14:45 +0200 | Tubo[m] | (~tubogram@user/tubogram) |
2022-06-28 22:14:45 +0200 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
2022-06-28 22:14:45 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
2022-06-28 22:14:45 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2022-06-28 22:14:45 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2022-06-28 22:14:45 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2022-06-28 22:14:45 +0200 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
2022-06-28 22:14:45 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
2022-06-28 22:14:45 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2022-06-28 22:14:45 +0200 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
2022-06-28 22:14:45 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2022-06-28 22:14:45 +0200 | Deide | (~deide@user/deide) |
2022-06-28 22:14:45 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
2022-06-28 22:14:45 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2022-06-28 22:14:45 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2022-06-28 22:14:45 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
2022-06-28 22:14:45 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2022-06-28 22:14:45 +0200 | moats | (~oats@user/oats) |
2022-06-28 22:14:45 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
2022-06-28 22:14:45 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2022-06-28 22:14:45 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2022-06-28 22:14:45 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2022-06-28 22:14:45 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2022-06-28 22:14:45 +0200 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
2022-06-28 22:14:45 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2022-06-28 22:14:45 +0200 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
2022-06-28 22:14:45 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2022-06-28 22:14:45 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2022-06-28 22:14:45 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
2022-06-28 22:14:45 +0200 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
2022-06-28 22:14:45 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2022-06-28 22:14:45 +0200 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
2022-06-28 22:14:45 +0200 | siraben | (~siraben@user/siraben) |
2022-06-28 22:14:45 +0200 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
2022-06-28 22:14:45 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2022-06-28 22:14:45 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2022-06-28 22:14:45 +0200 | psydroid | (~psydroid@user/psydroid) |
2022-06-28 22:14:45 +0200 | sm | (~sm@plaintextaccounting/sm) |
2022-06-28 22:14:45 +0200 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
2022-06-28 22:14:45 +0200 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
2022-06-28 22:14:45 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2022-06-28 22:14:45 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2022-06-28 22:14:45 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2022-06-28 22:14:45 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2022-06-28 22:14:45 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2022-06-28 22:14:45 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2022-06-28 22:14:45 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-06-28 22:14:45 +0200 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) |
2022-06-28 22:14:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
2022-06-28 22:14:45 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
2022-06-28 22:14:45 +0200 | matijja | (~matijja@193.77.181.201) |
2022-06-28 22:14:45 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
2022-06-28 22:14:45 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-06-28 22:14:45 +0200 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
2022-06-28 22:14:45 +0200 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) |
2022-06-28 22:14:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-06-28 22:14:45 +0200 | edr | (~edr@user/edr) |
2022-06-28 22:14:45 +0200 | koz | (~koz@121.99.240.58) |
2022-06-28 22:14:45 +0200 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
2022-06-28 22:14:45 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
2022-06-28 22:14:45 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
2022-06-28 22:14:45 +0200 | Axman6 | (~Axman6@user/axman6) |
2022-06-28 22:14:45 +0200 | koolazer | (~koo@user/koolazer) |
2022-06-28 22:14:45 +0200 | marienz | (marienz@libera/staff/marienz) |
2022-06-28 22:14:45 +0200 | adium | (adium@user/adium) |
2022-06-28 22:14:45 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
2022-06-28 22:14:45 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
2022-06-28 22:14:45 +0200 | c_wraith | (~c_wraith@adjoint.us) |
2022-06-28 22:14:45 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
2022-06-28 22:14:45 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2022-06-28 22:14:45 +0200 | tomgus1 | (~tomgus1@90.218.25.145) |
2022-06-28 22:14:45 +0200 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) |
2022-06-28 22:14:45 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
2022-06-28 22:14:45 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2022-06-28 22:14:45 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | landonf | (landonf@mac68k.info) |
2022-06-28 22:14:45 +0200 | AlexZenon | (~alzenon@178.34.160.206) |
2022-06-28 22:14:45 +0200 | Alex_test | (~al_test@178.34.160.206) |
2022-06-28 22:14:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-06-28 22:14:45 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
2022-06-28 22:14:45 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2022-06-28 22:14:45 +0200 | AkechiShiro | (~licht@user/akechishiro) |
2022-06-28 22:14:45 +0200 | finsternis | (~X@23.226.237.192) |
2022-06-28 22:14:45 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
2022-06-28 22:14:45 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
2022-06-28 22:14:45 +0200 | lyxia | (~lyxia@poisson.chat) |
2022-06-28 22:14:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2022-06-28 22:14:45 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
2022-06-28 22:14:45 +0200 | stefan-_ | (~cri@42dots.de) |
2022-06-28 22:14:45 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
2022-06-28 22:14:45 +0200 | triteraflops | (~triterafl@user/triteraflops) |
2022-06-28 22:14:45 +0200 | aeka | (~aeka@user/hiruji) |
2022-06-28 22:14:45 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
2022-06-28 22:14:45 +0200 | maerwald | (~maerwald@user/maerwald) |
2022-06-28 22:14:45 +0200 | Henkru | (henkru@kapsi.fi) |
2022-06-28 22:14:45 +0200 | Teacup | (~teacup@user/teacup) |
2022-06-28 22:14:45 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
2022-06-28 22:14:45 +0200 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) |
2022-06-28 22:14:45 +0200 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) |
2022-06-28 22:14:45 +0200 | Me-me | (~me-me@user/me-me) |
2022-06-28 22:14:45 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
2022-06-28 22:14:45 +0200 | conjunctive_ | (sid433686@id-433686.helmsley.irccloud.com) |
2022-06-28 22:14:45 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
2022-06-28 22:14:45 +0200 | bjs | (sid190364@user/bjs) |
2022-06-28 22:14:45 +0200 | gregberns__ | (sid315709@helmsley.irccloud.com) |
2022-06-28 22:14:45 +0200 | eax_ | (6ba2dd7b84@user/eax/x-8810663) |
2022-06-28 22:14:45 +0200 | tnks | (sid412124@helmsley.irccloud.com) |
2022-06-28 22:14:45 +0200 | forell | (~forell@user/forell) |
2022-06-28 22:14:45 +0200 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) |
2022-06-28 22:14:45 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
2022-06-28 22:14:45 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2022-06-28 22:14:45 +0200 | tureba | (~tureba@tureba.org) |
2022-06-28 22:14:45 +0200 | andjjj23_ | (~irc@107.170.228.47) |
2022-06-28 22:14:45 +0200 | asm | (~alexander@user/asm) |
2022-06-28 22:14:45 +0200 | canta | (~canta@user/canta) |
2022-06-28 22:14:45 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
2022-06-28 22:14:45 +0200 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) |
2022-06-28 22:14:45 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
2022-06-28 22:14:45 +0200 | Adran | (adran@botters/adran) |
2022-06-28 22:14:45 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
2022-06-28 22:14:45 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | lightandlight | (sid135476@2a03:5180:f:1::2:1134) |
2022-06-28 22:14:45 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) |
2022-06-28 22:14:45 +0200 | integral | (sid296274@user/integral) |
2022-06-28 22:14:45 +0200 | meejah | (~meejah@rutas.meejah.ca) |
2022-06-28 22:14:45 +0200 | liskin | (~liskin@xmonad/liskin) |
2022-06-28 22:14:45 +0200 | lieven | (~mal@ns2.wyrd.be) |
2022-06-28 22:14:45 +0200 | acacia | (~alloca@user/suppi) |
2022-06-28 22:14:45 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
2022-06-28 22:14:45 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
2022-06-28 22:14:45 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
2022-06-28 22:14:45 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
2022-06-28 22:14:45 +0200 | Athas | (athas@sigkill.dk) |
2022-06-28 22:14:45 +0200 | pierrot | (~pi@user/pierrot) |
2022-06-28 22:14:45 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
2022-06-28 22:14:45 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) |
2022-06-28 22:14:45 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) |
2022-06-28 22:14:45 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | sclv | (sid39734@haskell/developer/sclv) |
2022-06-28 22:14:45 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
2022-06-28 22:14:45 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) |
2022-06-28 22:14:45 +0200 | ddb | (~ddb@ipv6two.tilde.club) |
2022-06-28 22:14:45 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
2022-06-28 22:14:45 +0200 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
2022-06-28 22:14:45 +0200 | anderson | (~ande@user/anderson) |
2022-06-28 22:14:45 +0200 | averell | (~averell@user/averell) |
2022-06-28 22:14:45 +0200 | Unhammer | (~Unhammer@user/unhammer) |
2022-06-28 22:14:45 +0200 | swistak- | (~swistak@185.21.216.141) |
2022-06-28 22:14:45 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
2022-06-28 22:14:45 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) |
2022-06-28 22:14:45 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
2022-06-28 22:14:45 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
2022-06-28 22:14:45 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2022-06-28 22:14:45 +0200 | sm2n | (ae95cb1267@user/sm2n) |
2022-06-28 22:14:45 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2022-06-28 22:14:45 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
2022-06-28 22:14:45 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
2022-06-28 22:14:45 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
2022-06-28 22:14:45 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
2022-06-28 22:14:45 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) |
2022-06-28 22:14:45 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
2022-06-28 22:14:45 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) |
2022-06-28 22:14:45 +0200 | jakzale | (6291399afa@user/jakzale) |
2022-06-28 22:14:45 +0200 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) |
2022-06-28 22:14:45 +0200 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) |
2022-06-28 22:14:45 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
2022-06-28 22:14:45 +0200 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
2022-06-28 22:14:45 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
2022-06-28 22:14:45 +0200 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) |
2022-06-28 22:14:45 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
2022-06-28 22:14:45 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
2022-06-28 22:14:45 +0200 | tubogram44 | (~tubogram@user/tubogram) |
2022-06-28 22:14:45 +0200 | axel-bee | (~axel-bee@alexbenishek.com) |
2022-06-28 22:14:45 +0200 | biberu | (~biberu@user/biberu) |
2022-06-28 22:14:45 +0200 | dispater | (~dispater@user/brprice) |
2022-06-28 22:14:45 +0200 | srk | (~sorki@user/srk) |
2022-06-28 22:14:45 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2022-06-28 22:14:45 +0200 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
2022-06-28 22:14:45 +0200 | Fischmie1 | (~Fischmiep@user/Fischmiep) |
2022-06-28 22:14:45 +0200 | ian__ | (~ian@matrix.chaos.earth.li) |
2022-06-28 22:14:45 +0200 | sweater1 | (~sweater@206.81.18.26) |
2022-06-28 22:14:45 +0200 | hyiltiz_ | (~quassel@31.220.5.250) |
2022-06-28 22:14:45 +0200 | zachel_ | (~zachel@user/zachel) |
2022-06-28 22:14:45 +0200 | Dorkside69 | (~dorkside@208.190.197.222) |
2022-06-28 22:14:45 +0200 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2022-06-28 22:14:45 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
2022-06-28 22:14:45 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2022-06-28 22:14:45 +0200 | davean | (~davean@davean.sciesnet.net) |
2022-06-28 22:14:45 +0200 | blades | (~blades@204.48.29.163) |
2022-06-28 22:14:45 +0200 | ario_ | (~ario@159.65.220.102) |
2022-06-28 22:14:45 +0200 | drewolson | (~drewolson@user/drewolson) |
2022-06-28 22:14:45 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) |
2022-06-28 22:14:45 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
2022-06-28 22:14:45 +0200 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
2022-06-28 22:14:45 +0200 | Arsen | (arsen@managarm/dev/Arsen) |
2022-06-28 22:14:45 +0200 | bcmiller_ | (~bm3719@66.42.95.185) |
2022-06-28 22:14:45 +0200 | dfg | (dfg@user/dfg) |
2022-06-28 22:14:45 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
2022-06-28 22:14:45 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2022-06-28 22:14:45 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
2022-06-28 22:14:45 +0200 | Ekho | (~Ekho@user/ekho) |
2022-06-28 22:14:45 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
2022-06-28 22:14:45 +0200 | incertia | (~incertia@d47-69-133-171.try.wideopenwest.com) |
2022-06-28 22:14:45 +0200 | ptrcmd | (~ptrcmd@user/ptrcmd) |
2022-06-28 22:14:45 +0200 | ente | (~daemon@inferno.barfooze.de) |
2022-06-28 22:14:45 +0200 | icebreaker | (~icebreake@user/icebreaker) |
2022-06-28 22:14:45 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
2022-06-28 22:14:45 +0200 | Philonous_ | (~Philonous@user/philonous) |
2022-06-28 22:14:45 +0200 | tafa | (~tafa@user/tafa) |
2022-06-28 22:14:45 +0200 | quintasan | (~quassel@quintasan.pl) |
2022-06-28 22:14:45 +0200 | robertm | (robertm@lattice.rojoma.com) |
2022-06-28 22:14:45 +0200 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) |
2022-06-28 22:14:45 +0200 | melonai | (~mel@rnrd.eu) |
2022-06-28 22:14:45 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
2022-06-28 22:14:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2022-06-28 22:14:45 +0200 | exarkun | (~exarkun@user/exarkun) |
2022-06-28 22:14:45 +0200 | Xe | (~cadey@tailscale/xe) |
2022-06-28 22:14:45 +0200 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2022-06-28 22:14:45 +0200 | gawen | (~gawen@user/gawen) |
2022-06-28 22:14:45 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
2022-06-28 22:14:45 +0200 | remexre | (~remexre@user/remexre) |
2022-06-28 22:14:45 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
2022-06-28 22:14:45 +0200 | Flow | (~none@gentoo/developer/flow) |
2022-06-28 22:14:45 +0200 | h2t | (~h2t@user/h2t) |
2022-06-28 22:14:45 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
2022-06-28 22:14:45 +0200 | hook54321 | (sid149355@user/hook54321) |
2022-06-28 22:14:45 +0200 | s4msung | (anUIaa0rBw@user/s4msung) |
2022-06-28 22:14:45 +0200 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) |
2022-06-28 22:14:45 +0200 | hays | (rootvegeta@fsf/member/hays) |
2022-06-28 22:14:45 +0200 | bbhoss | (sid18216@2a03:5180:f::4728) |
2022-06-28 22:14:45 +0200 | AndreasK | (sid320732@2a03:5180:f:5::4:e4dc) |
2022-06-28 22:14:45 +0200 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) |
2022-06-28 22:14:45 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
2022-06-28 22:14:45 +0200 | aliosablack | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
2022-06-28 22:14:46 +0200 | darkstardevx | (~darkstard@50.53.212.60) (Max SendQ exceeded) |
2022-06-28 22:14:46 +0200 | sympt | (~sympt@user/sympt) (Max SendQ exceeded) |
2022-06-28 22:14:53 +0200 | atwm | (~atwm@81.28.193.19) (Quit: Ping timeout (120 seconds)) |
2022-06-28 22:14:55 +0200 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) (Max SendQ exceeded) |
2022-06-28 22:14:55 +0200 | Arsen | (arsen@managarm/dev/Arsen) (Max SendQ exceeded) |
2022-06-28 22:14:55 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Max SendQ exceeded) |
2022-06-28 22:15:13 +0200 | darkstardevx | (~darkstard@50.53.212.60) |
2022-06-28 22:15:35 +0200 | shreyasminocha_ | shreyasminocha |
2022-06-28 22:15:45 +0200 | sympt | (~sympt@user/sympt) |
2022-06-28 22:16:11 +0200 | tfeb | (~tfb@88.98.95.237) |
2022-06-28 22:16:30 +0200 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
2022-06-28 22:16:42 +0200 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
2022-06-28 22:16:43 +0200 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) |
2022-06-28 22:18:25 +0200 | hook54321 | (sid149355@user/hook54321) |
2022-06-28 22:18:50 +0200 | inversed | (~inversed@5.65.47.68) (Ping timeout: 255 seconds) |
2022-06-28 22:19:10 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-06-28 22:19:43 +0200 | inversed | (~inversed@5.65.47.68) |
2022-06-28 22:20:41 +0200 | mrd | (~mrd@user/mrd) (Remote host closed the connection) |
2022-06-28 22:20:48 +0200 | mrd | (~mrd@45.61.147.211) |
2022-06-28 22:22:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 22:22:53 +0200 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) (Quit: leaving) |
2022-06-28 22:24:24 +0200 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
2022-06-28 22:27:03 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-06-28 22:27:11 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
2022-06-28 22:31:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-06-28 22:32:08 +0200 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
2022-06-28 22:33:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
2022-06-28 22:33:14 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
2022-06-28 22:33:40 +0200 | <Haskelytic> | fellas i'm wondering how you guys ensure typeclass laws are satisfied for your types? |
2022-06-28 22:33:52 +0200 | <Haskelytic> | do you write tests? |
2022-06-28 22:33:59 +0200 | <Haskelytic> | do you sit down and prove it by hand |
2022-06-28 22:34:00 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
2022-06-28 22:34:38 +0200 | <Rembane> | I write them and hope for the best. |
2022-06-28 22:35:16 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2022-06-28 22:35:40 +0200 | <monochrom> | I proved simple ones by hand. |
2022-06-28 22:36:00 +0200 | <Haskelytic> | Rembane: Feels-based programming needs to be a thing :) |
2022-06-28 22:36:15 +0200 | <Haskelytic> | @monoch |
2022-06-28 22:36:15 +0200 | <lambdabot> | Unknown command, try @list |
2022-06-28 22:36:32 +0200 | <Haskelytic> | monochrom: For the non-trivial ones? |
2022-06-28 22:36:43 +0200 | <maerwald> | Haskelytic https://hackage.haskell.org/package/checkers |
2022-06-28 22:37:10 +0200 | <Rembane> | Haskelytic: Absolutely! :) |
2022-06-28 22:37:18 +0200 | xf00b4r | (~soukenka@104-217.internetbox.cz) (Ping timeout: 240 seconds) |
2022-06-28 22:38:22 +0200 | coot | (~coot@213.134.190.95) |
2022-06-28 22:38:38 +0200 | <monochrom> | Some of the non-trivial ones are compositions of simple ones, and the compositions preserve laws. |
2022-06-28 22:38:45 +0200 | <Haskelytic> | Rembane: I just googled "feels based programming" and found this https://github.com/kulics-works/feel |
2022-06-28 22:39:01 +0200 | <Rembane> | Haskelytic: It's the future! :) |
2022-06-28 22:39:10 +0200 | <Haskelytic> | maerwald: Oh damn I hadn't thought of checking lol...thanks! |
2022-06-28 22:39:16 +0200 | <monochrom> | Some others are complicated encodings of trival ones. |
2022-06-28 22:40:03 +0200 | <Haskelytic> | monochrom: Nice I forgot I could just build on top of simpler ones |
2022-06-28 22:40:37 +0200 | <Haskelytic> | Rembane: Maybe someone should write a manifesto ;) |
2022-06-28 22:41:30 +0200 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
2022-06-28 22:42:17 +0200 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
2022-06-28 22:42:39 +0200 | <Rembane> | Haskelytic: I think that's taking it too far, I prefer to code in the shadows. :) |
2022-06-28 22:42:49 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 22:42:51 +0200 | quarkyalice | (~alice@user/quarkyalice) |
2022-06-28 22:42:58 +0200 | <Rembane> | Haskelytic: BTW, if you want to have much fun you can write QuickCheck properties that check that your instances are lawful. |
2022-06-28 22:45:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-06-28 22:45:22 +0200 | <Haskelytic> | Rembane: I'm gonna do that but I'm having trouble understanding how quickcheck does function arbitraries |
2022-06-28 22:45:31 +0200 | <Haskelytic> | :/ |
2022-06-28 22:45:49 +0200 | <Haskelytic> | One at a time I suppose |
2022-06-28 22:46:09 +0200 | <Rembane> | Haskelytic: Generating functions is always a bit messy. |
2022-06-28 22:47:00 +0200 | alp | (~alp@user/alp) |
2022-06-28 22:49:46 +0200 | <Haskelytic> | Yeah if only computation was simple |
2022-06-28 22:50:47 +0200 | <Haskelytic> | This little bit of nugget in the quickcheck paper was very interesting for a noob like me |
2022-06-28 22:51:44 +0200 | <Haskelytic> | they were like, we want Gen (a->b) which is Int -> Rand -> a -> b and rearrange "parameters" to get a -> Int -> Rand -> b = a -> Gen b |
2022-06-28 22:51:52 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 22:51:58 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-06-28 22:52:14 +0200 | <Haskelytic> | thinking with types feels like the magic of algebra all over again |
2022-06-28 22:52:32 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
2022-06-28 22:52:34 +0200 | <Haskelytic> | you just do these formal manipulations and voila, you're closer to a solution to your problem |
2022-06-28 22:52:54 +0200 | <Haskelytic> | no need for brain cells :) |
2022-06-28 22:53:04 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-06-28 22:53:15 +0200 | <monochrom> | This is why I am not fond of "understand and have intuition before doing it formally" |
2022-06-28 22:53:20 +0200 | <mrianbloom> | Is there a large project that uses GADTs for an expression language? |
2022-06-28 22:53:45 +0200 | <monochrom> | Unpopular opinion: Sometimes you do it formally first and then you see new understanding and intuition. |
2022-06-28 22:53:55 +0200 | <Rembane> | monochrom: I thought you did algebra instead. |
2022-06-28 22:53:58 +0200 | <arj0019> | on that topic, are there any good resources that demonstrate how to build complex type systems in Haskell? I find myself attempting to implement OOP features without realizing it. |
2022-06-28 22:54:29 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
2022-06-28 22:55:14 +0200 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) (Quit: leaving) |
2022-06-28 22:55:23 +0200 | <arj0019> | I did find a really good video on applying DSL for a trading card game. Still looking for more resources like that. |
2022-06-28 22:55:41 +0200 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) |
2022-06-28 22:56:13 +0200 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
2022-06-28 22:56:18 +0200 | <yin> | cabal init doesnt let me create a project if one with the same name already exists in hackage? |
2022-06-28 22:56:19 +0200 | <EvanR> | for a lot of common go-to "OOP features" there are good non-OOP functional replacements |
2022-06-28 22:56:32 +0200 | alexhandy | (~trace@user/trace) |
2022-06-28 22:56:49 +0200 | <EvanR> | for example implementation inheritance => first class functions or just, use functions |
2022-06-28 22:58:22 +0200 | brettgilio | (~brettgili@c9yh.net) (Remote host closed the connection) |
2022-06-28 22:58:39 +0200 | <arj0019> | EvanR: I completely agree. My trouble is not recognizing that some aspects of my domain concept are OO in nature. |
2022-06-28 22:59:39 +0200 | <monochrom> | Easy translation between OO and FP: x.f <-> f x |
2022-06-28 22:59:42 +0200 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
2022-06-28 22:59:47 +0200 | <arj0019> | EvanR: I have not been able to find a good resource documenting the design process of a complex functional type system and DSL. |
2022-06-28 23:00:24 +0200 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Ping timeout: 246 seconds) |
2022-06-28 23:01:01 +0200 | <EvanR> | for a model complex functional type system which can be used with DSLs, as a starting point, there's simply typed lambda calculus xD |
2022-06-28 23:01:56 +0200 | brettgilio | (~brettgili@c9yh.net) |
2022-06-28 23:02:09 +0200 | brettgilio | (~brettgili@c9yh.net) (Client Quit) |
2022-06-28 23:02:58 +0200 | alexhandy2 | (~trace@user/trace) |
2022-06-28 23:03:09 +0200 | brettgilio | (~brettgili@c9yh.net) |
2022-06-28 23:03:14 +0200 | <arj0019> | for example, I have wanted to create the following: an interface `factor' that requires implementation of `rank' and `rate' that both operate on a list of datas |
2022-06-28 23:03:56 +0200 | <arj0019> | each factor would implement `rate' and `rank' differently, and ideally I could combine factors with +, -, / to make a new factor |
2022-06-28 23:04:16 +0200 | <arj0019> | I have no idea how to do this yet tho. It kinda smells like a monoid |
2022-06-28 23:04:40 +0200 | <monochrom> | A field has + - / |
2022-06-28 23:04:57 +0200 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
2022-06-28 23:05:08 +0200 | <arj0019> | i will add field to my research list |
2022-06-28 23:05:24 +0200 | <arj0019> | this is `Algebra/Field'? |
2022-06-28 23:05:26 +0200 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Client Quit) |
2022-06-28 23:05:28 +0200 | <monochrom> | yes |
2022-06-28 23:05:28 +0200 | <arj0019> | this is `Algebra.Field'? |
2022-06-28 23:05:43 +0200 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
2022-06-28 23:06:02 +0200 | alexhandy | (~trace@user/trace) (Ping timeout: 272 seconds) |
2022-06-28 23:06:45 +0200 | <monochrom> | We need not be formal about whether "Algebra/Field" or "Algebra.Field" is better. |
2022-06-28 23:06:49 +0200 | <EvanR> | to implement the (not really OO) concept of a uniform interface that has many implementations, first try making a record of functions |
2022-06-28 23:07:24 +0200 | <EvanR> | rather a record type corresponding to the interface, doesn't have to have all functions in it |
2022-06-28 23:07:42 +0200 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
2022-06-28 23:07:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
2022-06-28 23:08:02 +0200 | alexhandy | (~trace@user/trace) |
2022-06-28 23:08:17 +0200 | <arj0019> | EvanR: I understand record syntax and its implementation, but I do not see why to implement it for this purpose |
2022-06-28 23:08:36 +0200 | <EvanR> | e.g. a field over a could have a zero::a, one::a, add::a -> a -> a, times::a -> a -> a, inverse :: a -> a |
2022-06-28 23:08:37 +0200 | <monochrom> | An object is a record of functions. |
2022-06-28 23:08:43 +0200 | Polo | money |
2022-06-28 23:08:55 +0200 | <EvanR> | ok, too many `a's |
2022-06-28 23:09:36 +0200 | <monochrom> | BTW GHC also translates "Ord a => ..." to "Record of Ord functions -> ..." too. |
2022-06-28 23:09:36 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
2022-06-28 23:10:08 +0200 | <monochrom> | So now both Java's notion of "interface" and Haskell's notion of "interface" are records of functions. |
2022-06-28 23:10:28 +0200 | <monochrom> | There is some poetic justice in that. |
2022-06-28 23:10:49 +0200 | <EvanR> | haskell is java from an alternate 90s timeline |
2022-06-28 23:11:05 +0200 | <Rembane> | There are some examples on typeclasses vs record of functions here: https://www.haskellforall.com/2012/05/scrap-your-type-classes.html |
2022-06-28 23:11:12 +0200 | <monochrom> | public class Ord where :) |
2022-06-28 23:11:20 +0200 | <Rembane> | And some strong opinions too |
2022-06-28 23:11:32 +0200 | <arj0019> | EvanR: how does this differ from using `instance'. IMO, `instance' may be better as it allows me to create some arbitrary thing and then just add on `rate' and `rank' |
2022-06-28 23:11:46 +0200 | <EvanR> | it's similar but different, probably that link says more |
2022-06-28 23:12:02 +0200 | <EvanR> | another good one is "type classes vs the world" (video) |
2022-06-28 23:12:13 +0200 | <arj0019> | thank you for the refrences |
2022-06-28 23:12:44 +0200 | <arj0019> | to be clear, you dont think my idea of implementing `instance' is crazy OO in this case? |
2022-06-28 23:12:56 +0200 | <monochrom> | But Haskell classes adds a coherence benefit that manually passing around records doesn't have. |
2022-06-28 23:13:05 +0200 | <Rembane> | arj0019: It is. Try not to. |
2022-06-28 23:13:16 +0200 | <EvanR> | that's basically the difference, global coherence |
2022-06-28 23:13:46 +0200 | <Rembane> | I wonder if the discussion on initial encoding vs final encoding would be enlightening or just confusing |
2022-06-28 23:14:16 +0200 | <dolio> | That's not going to be helpful. |
2022-06-28 23:14:28 +0200 | <monochrom> | I realized it when I taught students how do you express the type of a sorting function most polymorphically. It can't be "[a] -> [a]" but it can't be "[Int] -> [Int]" either. |
2022-06-28 23:14:41 +0200 | <arj0019> | Rembane: can you expand on why you feel that way about my implementation of `instance', but potentially not the same for `EQ' or `Show'? |
2022-06-28 23:15:12 +0200 | <monochrom> | I spontaneously came up with "like C's qsort but safer, I can always do (a -> a -> Bool) -> [a] -> [a]" |
2022-06-28 23:15:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
2022-06-28 23:15:31 +0200 | <monochrom> | Then the next thought was "oh wait so why do we need Ord again?" |
2022-06-28 23:15:59 +0200 | <monochrom> | "Ah imagine I call BST insert then BST lookup but I give them different comparators by mistake" |
2022-06-28 23:16:48 +0200 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
2022-06-28 23:17:24 +0200 | <Rembane> | arj0019: Because Eq and Show are already there, they won't steer your thinking too much. But if you remove the typeclass tool from your toolbox until you've explored all the other tools it won't work as a shortcut to OO concepts. |
2022-06-28 23:18:44 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
2022-06-28 23:19:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
2022-06-28 23:19:56 +0200 | gmg | (~user@user/gehmehgeh) |
2022-06-28 23:21:16 +0200 | <arj0019> | Rembane: it is interesting that there is resistance to using `instance' when that is how you implement things like `EQ', `Show', or even something big like `Functor'. But like you said, those types already exist |
2022-06-28 23:21:31 +0200 | <arj0019> | this will require a major rethink :( |
2022-06-28 23:21:39 +0200 | <dolio> | There isn't resistance to using type classes. |
2022-06-28 23:21:56 +0200 | <dolio> | There is resistance to just directly translating OO design into type classes. |
2022-06-28 23:22:24 +0200 | <monochrom> | What is "`instance'"? |
2022-06-28 23:22:43 +0200 | <dolio> | If you are just coming from OO programming, and prone to thinking that way, and just translate that into type classes, you will be developing habits that are considered bad. |
2022-06-28 23:23:19 +0200 | <monochrom> | Also, Functor is not big, it has just one method. |
2022-06-28 23:23:26 +0200 | <Rembane> | arj0019: OTOH, if you need polymorphism, typeclasses might be useful, but don't use them as the everything-looks-like-a-nail-hammer |
2022-06-28 23:24:04 +0200 | <dolio> | Eq/Ord is actually rather unlike the equivalent OO design. |
2022-06-28 23:24:05 +0200 | <monochrom> | "when all you have is acetone, everything looks like nail polish" :) |
2022-06-28 23:24:26 +0200 | <Rembane> | Shiny! :D |
2022-06-28 23:24:44 +0200 | <monochrom> | Now, "when all you have is superglue..." >:) |
2022-06-28 23:24:49 +0200 | <dolio> | That is, it is like passing around a comparator object, not like having your types implement an 'Equatable' interface or something. |
2022-06-28 23:26:02 +0200 | money | polo |
2022-06-28 23:27:09 +0200 | <arj0019> | dolio: I may not have been clear on my intentions. I want to create a `factor' (that is potentially a combination of `factor's) that will either `rate' or `rank' a list of datas |
2022-06-28 23:27:41 +0200 | <arj0019> | or maybe it is better to say that the factor provides the functions used for rating and ranking |
2022-06-28 23:27:52 +0200 | <sclv> | yin: correct |
2022-06-28 23:28:16 +0200 | <arj0019> | either way, I think that I see the bad things more clearly now |
2022-06-28 23:28:38 +0200 | Pickchea | (~private@user/pickchea) |
2022-06-28 23:28:47 +0200 | mmhat | (~mmh@p200300f1c7385d0fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
2022-06-28 23:28:51 +0200 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
2022-06-28 23:29:02 +0200 | <dolio> | To be honest, I don't find that description clear. :) |
2022-06-28 23:29:21 +0200 | <geekosaur> | another useful thing to consider with respect to typeclasses is that it's strongly preferred that they have testable laws (typically they can't be part of the typeclass though). if you can't phrase reasonable laws for your typeclass, there's a decent chance that a typeclass is the wrong tool |
2022-06-28 23:29:49 +0200 | <dolio> | But if you have learned something from the conversation, that's good. :) |
2022-06-28 23:29:59 +0200 | <Rembane> | arj0019: I think you can have a great start by writing functions that do that and if you need to use those functions for more than one type you could put them in a typeclass. I think it's a good idea to keep the code as simple as possible for as long as possible. |
2022-06-28 23:30:31 +0200 | <geekosaur> | Functor, for example, has laws such that there's either zero or one valid Functor for any type. |
2022-06-28 23:30:49 +0200 | <geekosaur> | (also, if it's not keyed off a type, a typeclass isn't the right tool) |
2022-06-28 23:31:48 +0200 | <dolio> | Yeah, that's also a good point. Preemptively overloading everything is not necessarily the right strategy. |
2022-06-28 23:32:02 +0200 | <monochrom> | lambdabot has my quote about premature generalization, yeah |
2022-06-28 23:33:13 +0200 | <arj0019> | my over all goal: given a list of datas, run some function that will return the datas ordered by best to worst (rate is the same, but has a non-constant scale for weighting). I would also like to create a way to combine multiple rate (or rank) functions to build a more complex analysis |
2022-06-28 23:34:05 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
2022-06-28 23:34:07 +0200 | <geekosaur> | that doesn't sound like a typeclass, then, since your combined functions would use the same types as the uncombined ones. I'd go with record-of-functions and specify a way to compose them |
2022-06-28 23:34:21 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
2022-06-28 23:34:52 +0200 | <arj0019> | geekosaur: your not the only one to reccomend that, so I will definately research it. |
2022-06-28 23:35:46 +0200 | <yin> | sclv: has this always been the case or have i just been lucky? |
2022-06-28 23:36:03 +0200 | <sclv> | been the case for a very long time |
2022-06-28 23:36:11 +0200 | <arj0019> | Anyways, I don't want to take over the chat for too long so i am going to go do some research on your suggestions. ty |
2022-06-28 23:36:25 +0200 | <geekosaur> | that's what the chat is here for 🙂 |
2022-06-28 23:37:08 +0200 | <geekosaur> | very long discussions may occasionally be redirected to e.g. #haskell-in-depth, if there's a lot of other stuff going on at the same time |
2022-06-28 23:39:33 +0200 | polo | (~Gambino@user/polo) (Read error: Connection reset by peer) |
2022-06-28 23:39:33 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-06-28 23:40:12 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
2022-06-28 23:40:41 +0200 | Polo | (~Gambino@user/polo) |
2022-06-28 23:40:50 +0200 | DGMrKong | (~arj0019@162.218.254.7) |
2022-06-28 23:41:51 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2022-06-28 23:42:03 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2022-06-28 23:42:42 +0200 | martin02 | (~silas@141.84.69.76) (Ping timeout: 264 seconds) |
2022-06-28 23:43:25 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2022-06-28 23:43:41 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 23:44:30 +0200 | arj0019 | (~arj0019@162.218.254.7) (Ping timeout: 246 seconds) |
2022-06-28 23:44:47 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Ping timeout: 255 seconds) |
2022-06-28 23:47:30 +0200 | DGMrKong | (~arj0019@162.218.254.7) (Ping timeout: 260 seconds) |
2022-06-28 23:49:48 +0200 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-06-28 23:51:32 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
2022-06-28 23:52:13 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-06-28 23:55:32 +0200 | martin02 | (~silas@141.84.69.76) |
2022-06-28 23:58:14 +0200 | ARJ0019 | (~arj0019@72.15.124.127) |