| 2024-07-04 00:03:15 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 264 seconds) |
| 2024-07-04 00:03:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-04 00:06:29 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb75b55b5e6c7fe4efd7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-04 00:10:30 +0200 | Joao[3] | (~Joao003@190.108.99.178) (Quit: Bye!) |
| 2024-07-04 00:12:41 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-07-04 00:13:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-04 00:14:04 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 00:16:03 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 00:31:38 +0200 | Deide_ | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) |
| 2024-07-04 00:31:49 +0200 | bilegeek | (~bilegeek@2600:1008:b046:1f36:33d1:a30b:fb6a:feac) |
| 2024-07-04 00:34:24 +0200 | Deide | (d0130db69a@user/deide) (Killed (NickServ (GHOST command used by Deide_!~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f))) |
| 2024-07-04 00:34:28 +0200 | Deide_ | Deide |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) (Changing host) |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@user/deide) |
| 2024-07-04 00:38:34 +0200 | <jle`> | it's not a valid kind but it's not a super useful one |
| 2024-07-04 00:38:57 +0200 | <jle`> | compared to kinds that are purely ADT's and Nat/Symbol |
| 2024-07-04 00:39:12 +0200 | <jle`> | oh they left |
| 2024-07-04 00:46:21 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
| 2024-07-04 00:49:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-07-04 01:04:57 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-04 01:08:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-07-04 01:13:03 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-04 01:36:49 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2024-07-04 02:25:53 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-04 02:31:27 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-04 02:33:13 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-04 02:33:29 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-04 02:41:34 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-07-04 02:44:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-04 02:46:30 +0200 | <Pozyomka> | Since Haskell has a type class for representable functors... Is there a way to talk about representable natural transformations as well? (A natural transformation “p : F -> G” between Set-valued functors is representable if, given another natural transformation “q : H -> G” whose source H is representable, the pullback “F x_G H” is again representable. Shouldn't work too differently if |
| 2024-07-04 02:46:31 +0200 | <Pozyomka> | we replace Set with Hask, right?) |
| 2024-07-04 02:53:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2e:65df:725b:2a62) (Ping timeout: 272 seconds) |
| 2024-07-04 03:08:27 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2024-07-04 03:11:43 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-07-04 03:18:59 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-07-04 03:29:26 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-04 03:30:54 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:33:55 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-07-04 03:39:05 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:53:09 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:68bb:1b5c:be42:a832) |
| 2024-07-04 04:12:07 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-07-04 04:12:33 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-04 04:26:06 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-04 04:28:01 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-07-04 04:39:09 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2024-07-04 04:40:20 +0200 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 268 seconds) |
| 2024-07-04 04:41:46 +0200 | td_ | (~td@i5387093F.versanet.de) |
| 2024-07-04 04:42:19 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2024-07-04 04:44:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-07-04 04:46:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-04 04:51:50 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-04 04:55:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-04 05:10:52 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-04 05:12:03 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 05:12:30 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-04 05:16:16 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfd:8900:ac01:bda6:fe69:cd4b) (Ping timeout: 246 seconds) |
| 2024-07-04 05:16:56 +0200 | aforemny | (~aforemny@i59F516FF.versanet.de) |
| 2024-07-04 05:50:15 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-07-04 05:54:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2024-07-04 05:55:47 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:68bb:1b5c:be42:a832) (Quit: Leaving) |
| 2024-07-04 05:56:19 +0200 | <lain`> | i'm writing a turn-based game where i'm modeling status effects like `GameState -> GameState`, but I'm realizing that some of these effects may need to add custom state into the GameState that they can access. And I would like to keep it modular, e.g. no writing out every possible thing into a sum type somewhere. Is there really no way to do this other than using dynamic types? |
| 2024-07-04 06:01:26 +0200 | <byorgey> | I can't think of any other way to do it. I like the way xmonad handles this, by keeping an internal map of custom state values keyed by (a runtime representation of) their type. Other than that module none of the rest of your code has to deal with dynamic types at all. |
| 2024-07-04 06:01:50 +0200 | <byorgey> | https://hackage.haskell.org/package/xmonad-contrib-0.18.0/docs/XMonad-Util-ExtensibleState.html |
| 2024-07-04 06:03:03 +0200 | <geekosaur> | would TTG be an option? |
| 2024-07-04 06:03:32 +0200 | <geekosaur> | https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf |
| 2024-07-04 06:03:52 +0200 | <Leary> | lain`: There should be various ways, but what's appropriate will depend on how your program is structured. One way could be something like: `data GameState xs = GameState{ extensions :: HList xs, ... }; class x <: xs where project :: HList xs -> x; fooEffect :: Foo <: xs => GameState xs -> GameState xs`. |
| 2024-07-04 06:06:27 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-04 06:12:21 +0200 | <lain`> | Leary: i think this would work with how i'm structuring things. ty! i didn't think about doing it like that. |
| 2024-07-04 06:13:04 +0200 | <Leary> | NP. Though, `project` isn't really enough. Perhaps something lensy like `update :: Functor f => (x -> f x) -> HList xs -> f (HList xs)` |
| 2024-07-04 06:16:35 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-07-04 06:16:40 +0200 | <lain`> | okay |
| 2024-07-04 06:20:30 +0200 | <lain`> | geekosaur: this looks really interesting and i think also could work. ty for showing this |
| 2024-07-04 06:20:31 +0200 | <lain`> | hmm |
| 2024-07-04 06:37:06 +0200 | <Axman6> | I'm not sure it would work, if you want to keep the type of update functions GameState -> GameState. You probably want some kind of type indexed map... jackdk has told me about one before but I can't remember what it's called |
| 2024-07-04 06:38:05 +0200 | <Axman6> | It may have been https://hackage.haskell.org/package/type-map |
| 2024-07-04 06:38:23 +0200 | <Axman6> | "Supports arbitrary, user-defined mappings between keys and types of values via defunctionalization." |
| 2024-07-04 06:40:30 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-07-04 06:43:22 +0200 | <jackdk> | dependent-map? But that needs a GADT to track all possible keys |
| 2024-07-04 06:45:09 +0200 | <haskellbridge> | <iqubic (she/her)> What is Defunctionalization? |
| 2024-07-04 06:45:11 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-04 06:45:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-04 06:45:31 +0200 | califax | (~califax@user/califx) |
| 2024-07-04 06:46:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-04 06:48:06 +0200 | <Axman6> | the opposite of functionalisation |
| 2024-07-04 06:48:08 +0200 | <Axman6> | >_> |
| 2024-07-04 06:49:14 +0200 | <Axman6> | yeah ok, well type-map looks like it might be useful for lain`'s use then. Just have data GameState = GameState { effectStates :: TypeMap GameState; ...} or something |
| 2024-07-04 06:49:28 +0200 | bilegeek | (~bilegeek@2600:1008:b046:1f36:33d1:a30b:fb6a:feac) (Quit: Leaving) |
| 2024-07-04 06:49:31 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-07-04 06:51:22 +0200 | <haskellbridge> | <iqubic (she/her)> A normal map is a mapping from values to values. This is a mapping from types to values. |
| 2024-07-04 06:54:44 +0200 | <Leary> | Axman6: It would still need to be `GameState d` and `TypeMap d` like in my approach. The advantage of type-map here is presumably just faster operations with the Map or Vector backed variants. |
| 2024-07-04 06:55:52 +0200 | <jackdk> | There's also https://hackage.haskell.org/package/vault , which wai uses internally |
| 2024-07-04 06:59:30 +0200 | <Axman6> | Leary: Why would it need the type parameter? I thought the type param to TypeMap was somewhat arbitrary/chosen by the user |
| 2024-07-04 06:59:42 +0200 | <Axman6> | based on https://github.com/Lysxia/type-map/blob/master/examples/dynamic.hs |
| 2024-07-04 07:05:50 +0200 | <Leary> | Ah, I only looked at the static modules. The dynamic one looks equivalent to the xmonad approach byorgey mentioned. |
| 2024-07-04 07:09:46 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-04 07:11:07 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 260 seconds) |
| 2024-07-04 07:12:11 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-04 07:20:14 +0200 | <haskellbridge> | <iqubic (she/her)> What's the xmonad approach? |
| 2024-07-04 07:28:32 +0200 | <Axman6> | https://hackage.haskell.org/package/typerep-map looks nice (though need to look at v0.5 to get docs). Seems like a pretty efficient implementation under the hood |
| 2024-07-04 07:38:17 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-07-04 07:42:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 07:56:22 +0200 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2024-07-04 07:56:22 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-07-04 07:58:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-04 08:00:08 +0200 | kenran | (~user@user/kenran) |
| 2024-07-04 08:01:00 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-07-04 08:01:27 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-07-04 08:03:31 +0200 | <lain`> | ty everyone. typerep-map would def work. |
| 2024-07-04 08:03:57 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2024-07-04 08:04:34 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-07-04 08:04:37 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-07-04 08:04:57 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-07-04 08:07:17 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-07-04 08:10:03 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-04 08:10:19 +0200 | <lain`> | i think it could still be representatible with static types only but it might not be worth the effort |
| 2024-07-04 08:15:04 +0200 | <lain`> | i guess i could use dependant-map or vinyl for at least some of it. like the game state might be better dynamic but the actual collection of modules that is assembled during compile time doesn't have to be i think. like the actual constructors for the data types that would be in the typerep-map. |
| 2024-07-04 08:15:41 +0200 | bcksl | (~bcksl@user/bcksl) |
| 2024-07-04 08:17:45 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-07-04 08:22:42 +0200 | end | (~end@user/end/x-0094621) |
| 2024-07-04 08:35:38 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-04 08:40:58 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) |
| 2024-07-04 08:41:58 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 2024-07-04 08:42:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 08:49:40 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2024-07-04 08:51:10 +0200 | forell | (~forell@user/forell) |
| 2024-07-04 08:51:46 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-07-04 08:51:53 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-04 08:52:04 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) |
| 2024-07-04 08:54:24 +0200 | AlexZenon | (~alzenon@94.233.240.124) (Ping timeout: 268 seconds) |
| 2024-07-04 08:55:10 +0200 | AlexNoo | (~AlexNoo@94.233.240.124) (Ping timeout: 264 seconds) |
| 2024-07-04 09:00:39 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:143f:9778:ef77:7e4) (Ping timeout: 256 seconds) |
| 2024-07-04 09:01:40 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:c01a:146b:1e1a:5e8e) |
| 2024-07-04 09:03:00 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2024-07-04 09:04:17 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) |
| 2024-07-04 09:11:18 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) |
| 2024-07-04 09:17:41 +0200 | lortabac | (~lortabac@37.169.53.202) |
| 2024-07-04 09:20:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-04 09:21:59 +0200 | lortabac | (~lortabac@37.169.53.202) (Client Quit) |
| 2024-07-04 09:25:35 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 256 seconds) |
| 2024-07-04 09:32:03 +0200 | esph | (~weechat@user/esph) (Ping timeout: 264 seconds) |
| 2024-07-04 09:40:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-04 09:45:56 +0200 | esph | (~weechat@user/esph) |
| 2024-07-04 09:46:24 +0200 | zzz | (~yin@user/zero) |
| 2024-07-04 09:46:46 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb62bc9ac2d1211b195e.dip0.t-ipconnect.de) |
| 2024-07-04 09:49:09 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) |
| 2024-07-04 09:51:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-07-04 09:56:10 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-04 09:57:04 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-07-04 09:57:22 +0200 | AlexZenon | (~alzenon@178.34.160.84) |
| 2024-07-04 09:58:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-04 09:59:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-04 10:02:31 +0200 | zzz | yin |
| 2024-07-04 10:09:45 +0200 | chele | (~chele@user/chele) |
| 2024-07-04 10:13:55 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-04 10:18:53 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 268 seconds) |
| 2024-07-04 10:21:30 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2024-07-04 10:23:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-04 10:26:56 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-04 10:27:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 10:27:51 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-07-04 10:28:27 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 268 seconds) |
| 2024-07-04 10:31:03 +0200 | rvalue- | rvalue |
| 2024-07-04 10:31:05 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-07-04 10:31:13 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-04 10:31:41 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2024-07-04 10:32:24 +0200 | <tomsmeding> | the hackage reverse dependency matrix seems down? :( https://packdeps.haskellers.com/ |
| 2024-07-04 10:32:50 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-07-04 10:33:16 +0200 | <tomsmeding> | ah, but hackage itself seems to do it now! https://hackage.haskell.org/package/pretty-simple/reverse |
| 2024-07-04 10:36:43 +0200 | <danse-nr3> | huh does this https://hackage.haskell.org/package/Yampa/reverse mean yampa is basically unused? |
| 2024-07-04 10:37:04 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5406:3040:be03:598b) |
| 2024-07-04 10:47:17 +0200 | <tomsmeding> | danse-nr3: well, it means that yampa is not typically used by libraries on hackage |
| 2024-07-04 10:47:37 +0200 | <tomsmeding> | yampa strikes me as a thing typically used in applications, not libraries, and applications don't tend to be uploaded to hackage |
| 2024-07-04 10:47:44 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) (Remote host closed the connection) |
| 2024-07-04 10:47:48 +0200 | <tomsmeding> | it might still be _true_ that it's mostly unused :p |
| 2024-07-04 10:47:51 +0200 | <tomsmeding> | I don't know |
| 2024-07-04 10:48:06 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) |
| 2024-07-04 10:49:13 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-04 10:52:05 +0200 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 240 seconds) |
| 2024-07-04 10:52:36 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-04 10:58:50 +0200 | AlexZenon | (~alzenon@178.34.160.84) (Quit: ;-) |
| 2024-07-04 11:00:29 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) (Quit: Leaving) |
| 2024-07-04 11:11:14 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-07-04 11:11:44 +0200 | raym | (~ray@user/raym) |
| 2024-07-04 11:12:55 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) |
| 2024-07-04 11:15:03 +0200 | lortabac | (~lortabac@37.169.53.202) |
| 2024-07-04 11:15:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-04 11:18:41 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-04 11:22:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-04 11:24:12 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) (Read error: Connection reset by peer) |
| 2024-07-04 11:24:29 +0200 | AlexZenon | (~alzenon@178.34.160.84) |
| 2024-07-04 11:24:34 +0200 | AlexNoo | (~AlexNoo@178.34.160.84) |
| 2024-07-04 11:28:18 +0200 | AlexZenon_2 | (~alzenon@178.34.160.84) |
| 2024-07-04 11:30:28 +0200 | AlexZenon_2 | (~alzenon@178.34.160.84) (Client Quit) |
| 2024-07-04 11:31:43 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 272 seconds) |
| 2024-07-04 11:33:51 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-04 11:35:58 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-07-04 11:36:48 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) |
| 2024-07-04 11:39:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-04 11:45:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 11:53:53 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-04 11:56:53 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-04 12:08:06 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-07-04 12:25:16 +0200 | lortabac | (~lortabac@37.169.53.202) (Quit: WeeChat 4.2.2) |
| 2024-07-04 12:25:36 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-137.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-07-04 12:26:11 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) |
| 2024-07-04 12:29:07 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-07-04 12:33:07 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-07-04 12:37:01 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-04 12:38:43 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-07-04 12:48:07 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 268 seconds) |
| 2024-07-04 12:49:31 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) |
| 2024-07-04 12:49:31 +0200 | edwtjo | (~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host) |
| 2024-07-04 12:49:31 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2024-07-04 13:02:28 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) (Ping timeout: 246 seconds) |
| 2024-07-04 13:06:12 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 13:06:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 13:07:16 +0200 | lortabac | (~lortabac@37.163.165.41) |
| 2024-07-04 13:07:51 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) |
| 2024-07-04 13:08:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5277:df26:6b07:8b52) |
| 2024-07-04 13:12:08 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) (Ping timeout: 256 seconds) |
| 2024-07-04 13:13:15 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-04 13:15:39 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-04 13:29:25 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 246 seconds) |
| 2024-07-04 13:37:21 +0200 | itaipu | (~itaipu@168.121.98.250) (Remote host closed the connection) |
| 2024-07-04 13:38:38 +0200 | itaipu | (~itaipu@168.121.98.250) |
| 2024-07-04 13:39:13 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) |
| 2024-07-04 13:44:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-07-04 13:45:26 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) |
| 2024-07-04 13:47:00 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-04 13:48:57 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-07-04 13:53:15 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2024-07-04 13:58:03 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-07-04 14:12:49 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) (Ping timeout: 246 seconds) |
| 2024-07-04 14:14:12 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-07-04 14:14:38 +0200 | tv | (~tv@user/tv) |
| 2024-07-04 14:17:37 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-04 14:17:40 +0200 | Square | (~Square@user/square) |
| 2024-07-04 14:18:09 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 14:18:21 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |
| 2024-07-04 14:32:52 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) |
| 2024-07-04 14:38:35 +0200 | jjhoo | (~jahakala@user/jjhoo) (Quit: leaving) |
| 2024-07-04 14:38:51 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2024-07-04 14:44:39 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-04 14:52:29 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 272 seconds) |
| 2024-07-04 14:52:47 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-04 15:05:07 +0200 | lensnewbie | (~lensnewbi@cpc116330-smal16-2-0-cust397.19-1.cable.virginm.net) |
| 2024-07-04 15:05:28 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) (Ping timeout: 256 seconds) |
| 2024-07-04 15:09:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-04 15:10:23 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) |
| 2024-07-04 15:18:36 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 252 seconds) |
| 2024-07-04 15:19:15 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) |
| 2024-07-04 15:32:15 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-07-04 15:47:49 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2024-07-04 16:00:04 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-04 16:07:15 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-07-04 16:14:49 +0200 | visilii_ | (~visilii@213.24.125.202) (Ping timeout: 272 seconds) |
| 2024-07-04 16:21:01 +0200 | visilii | (~visilii@213.24.125.33) |
| 2024-07-04 16:23:43 +0200 | lensnewbie | (~lensnewbi@cpc116330-smal16-2-0-cust397.19-1.cable.virginm.net) (Quit: Client closed) |
| 2024-07-04 16:26:44 +0200 | danse-nr3 | (~danse-nr3@151.43.171.9) (Ping timeout: 268 seconds) |
| 2024-07-04 16:27:23 +0200 | danse-nr3 | (~danse-nr3@fi-19-216-107.service.infuturo.it) |
| 2024-07-04 16:32:58 +0200 | danse-nr3 | (~danse-nr3@fi-19-216-107.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-07-04 16:58:22 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
| 2024-07-04 17:03:47 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-04 17:05:29 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 17:15:52 +0200 | lortabac | (~lortabac@37.163.165.41) (Quit: WeeChat 4.2.2) |
| 2024-07-04 17:29:31 +0200 | euleritian | (~euleritia@dynamic-176-000-195-159.176.0.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-07-04 17:30:10 +0200 | glguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2024-07-04 17:30:27 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) |
| 2024-07-04 17:30:55 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-07-04 17:36:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-07-04 17:37:00 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 17:37:22 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |
| 2024-07-04 17:41:43 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:7ec3:d3a5:178e:54f6) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-04 17:42:01 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-07-04 17:51:45 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-04 18:01:04 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-04 18:06:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-07-04 18:09:56 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2024-07-04 18:10:04 +0200 | remexre_ | (~remexre@user/remexre) |
| 2024-07-04 18:10:28 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-04 18:10:56 +0200 | remexre_ | remexre |
| 2024-07-04 18:22:58 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-07-04 18:29:57 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-04 18:31:02 +0200 | khumba | (~khumba@user/khumba) |
| 2024-07-04 18:32:14 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-07-04 18:32:20 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-04 18:32:45 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 252 seconds) |
| 2024-07-04 18:33:01 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-04 18:34:49 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) |
| 2024-07-04 18:35:19 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) |
| 2024-07-04 18:37:46 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-07-04 18:38:14 +0200 | <edrx> | hi all! gmorning! |
| 2024-07-04 18:39:56 +0200 | <edrx> | this is from Hutton's book: https://i.ibb.co/MNCSM0v/sshot.png |
| 2024-07-04 18:40:19 +0200 | <edrx> | anyone knows where I can find more about that style of string diagrams? |
| 2024-07-04 18:41:34 +0200 | <edrx> | it looks very incomplete to me... only a few terms are written on the boxes and wires of the diagram, and the types are left out "as an exercise to the reader"... |
| 2024-07-04 18:42:31 +0200 | <edrx> | OOPS - I'm late! need to buy lunch... I'll ask the question again later. sorry... |
| 2024-07-04 18:47:03 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) (Ping timeout: 264 seconds) |
| 2024-07-04 18:53:01 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-04 18:53:08 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-04 18:53:24 +0200 | euleritian | (~euleritia@tmo-117-242.customers.d1-online.com) (Ping timeout: 255 seconds) |
| 2024-07-04 18:54:05 +0200 | euleritian | (~euleritia@176.2.137.249) |
| 2024-07-04 18:57:34 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-07-04 18:58:11 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-07-04 19:08:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-04 19:09:52 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-04 19:10:37 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) |
| 2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-04 19:11:21 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-04 19:18:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-07-04 19:22:53 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-07-04 19:24:35 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5406:3040:be03:598b) (Remote host closed the connection) |
| 2024-07-04 19:24:59 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 19:31:16 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-07-04 19:33:15 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 19:43:21 +0200 | califax_ | (~califax@user/califx) |
| 2024-07-04 19:43:30 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-07-04 19:43:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-04 19:43:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-07-04 19:44:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-07-04 19:44:33 +0200 | califax_ | califax |
| 2024-07-04 19:44:58 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-07-04 19:45:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-04 19:46:17 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-04 19:46:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-04 19:48:56 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-07-04 19:53:21 +0200 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-07-04 19:59:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-04 20:00:03 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) |
| 2024-07-04 20:00:26 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) () |
| 2024-07-04 20:01:34 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) |
| 2024-07-04 20:05:43 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-04 20:06:05 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-07-04 20:06:18 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 20:08:33 +0200 | <edrx> | hi all! I am trying to understand the section "The state monad" in Hutton's book - here: http://anggtwu.net/tmp/hutton__programming_in_haskell.pdf#page=199 -, and he defines ST and app in this way: |
| 2024-07-04 20:08:40 +0200 | <edrx> | newtype ST a = S (State -> (a,State)) |
| 2024-07-04 20:08:41 +0200 | <edrx> | app :: ST a -> State -> (a,State) |
| 2024-07-04 20:08:41 +0200 | <edrx> | app (S st) x = st x |
| 2024-07-04 20:09:42 +0200 | <edrx> | I'm very confused. are there two "S"s, one that acts on types and another one that acts on terms? |
| 2024-07-04 20:10:34 +0200 | <edrx> | I am trying to draw a diagram with the types of all the subexpressions of "app (S st) x = st x" and I'm stuck... |
| 2024-07-04 20:10:42 +0200 | <enikar> | S is just a constructor |
| 2024-07-04 20:11:43 +0200 | <enikar> | to hold a lambda (function) which transform a State to a pair (a, State) |
| 2024-07-04 20:11:44 +0200 | <edrx> | for types? in the sense that S Int works but S 42 doesn't? |
| 2024-07-04 20:12:50 +0200 | <enikar> | well, and if you make a data type : type Foo a = F a |
| 2024-07-04 20:13:08 +0200 | <enikar> | in this defintion F is a constructor not a type. |
| 2024-07-04 20:15:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-04 20:15:17 +0200 | <enikar> | this is same as: Tree a = Leaf a | Branch a a (Tree a) |
| 2024-07-04 20:15:23 +0200 | <ncf> | edrx: ST is a type constructor; S is a term constructor |
| 2024-07-04 20:15:29 +0200 | euleritian | (~euleritia@176.2.137.249) (Read error: Connection reset by peer) |
| 2024-07-04 20:15:36 +0200 | <ncf> | S (\ s -> (42, s)) :: ST Int |
| 2024-07-04 20:15:41 +0200 | <enikar> | but is the case of State there is no alternative |
| 2024-07-04 20:15:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 20:15:46 +0200 | <edrx> | ncf: aha! |
| 2024-07-04 20:16:04 +0200 | <ncf> | maybe you're confused by the syntax for constructor definitions |
| 2024-07-04 20:16:22 +0200 | <ncf> | S X means S :: X -> ST a |
| 2024-07-04 20:16:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2024-07-04 20:16:38 +0200 | <edrx> | is this diagram correct? https://0x0.st/Xane.txt |
| 2024-07-04 20:17:23 +0200 | <ncf> | yes |
| 2024-07-04 20:18:27 +0200 | <edrx> | thanks!!! let me typeset it in a nicer way... |
| 2024-07-04 20:20:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-04 20:20:42 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-04 20:22:30 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-04 20:23:13 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-04 20:26:19 +0200 | <edrx> | https://i.ibb.co/RHtDFLk/sshot.png |
| 2024-07-04 20:27:13 +0200 | <edrx> | if we have S f :: ST a |
| 2024-07-04 20:27:27 +0200 | <edrx> | then f :: State -> (a,State) |
| 2024-07-04 20:27:33 +0200 | <edrx> | right? |
| 2024-07-04 20:28:06 +0200 | <mauke> | that looks right |
| 2024-07-04 20:28:12 +0200 | <edrx> | thanks |
| 2024-07-04 20:28:51 +0200 | <edrx> | now at least I can point to a specific underbrace in the diagram and say "this is the hard step" =/ |
| 2024-07-04 20:29:46 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 20:30:39 +0200 | <edrx> | now I need to go a place without internet... |
| 2024-07-04 20:30:44 +0200 | <edrx> | many many thanks =) |
| 2024-07-04 20:32:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-04 20:35:06 +0200 | edrx | (~Eduardo@2804:18:5804:f2b1:54b8:f1a5:f7d:fbf2) (Ping timeout: 255 seconds) |
| 2024-07-04 20:39:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-04 20:44:12 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 20:50:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-04 20:51:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-04 20:51:50 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) |
| 2024-07-04 20:53:47 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-04 20:54:01 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-04 20:54:02 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-04 20:59:39 +0200 | euleritian | (~euleritia@dynamic-176-002-137-249.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-04 20:59:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-04 21:07:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-04 21:28:39 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:ef2:fbb7:f346:1550) |
| 2024-07-04 21:32:31 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-04 21:33:06 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-04 21:33:54 +0200 | tdmarrrrrrrrrrra | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-07-04 21:38:22 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-04 21:44:13 +0200 | phma | (~phma@host-67-44-208-142.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-04 21:45:05 +0200 | phma | (~phma@2001:5b0:211f:df58:db5:77f1:4b7c:c21a) |
| 2024-07-04 21:46:31 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-04 21:53:59 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-04 21:59:27 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-04 22:01:29 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-04 22:01:50 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-07-04 22:01:53 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-04 22:03:18 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.2.2) |
| 2024-07-04 22:04:38 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-07-04 22:06:32 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-07-04 22:06:32 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit) |
| 2024-07-04 22:12:17 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 256 seconds) |
| 2024-07-04 22:12:19 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-04 22:14:35 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-07-04 22:20:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-07-04 22:35:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-04 22:40:37 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-07-04 22:46:51 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 252 seconds) |
| 2024-07-04 22:49:29 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-04 22:49:30 +0200 | puke | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2024-07-04 22:49:30 +0200 | pyooque | puke |
| 2024-07-04 22:50:45 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
