| 2023-09-30 00:00:01 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-09-30 00:01:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-30 00:13:44 +0200 | <wroathe> | Hey with ghcup is there a way to print the path to the include dir for the current ghc version? |
| 2023-09-30 00:14:02 +0200 | <wroathe> | The sitaution is that the C extension for vscode can't find the ghc header files |
| 2023-09-30 00:17:23 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-30 00:18:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-30 00:19:15 +0200 | rgw | (~R@2605:a601:a0df:5600:699d:6247:4aeb:529a) |
| 2023-09-30 00:21:20 +0200 | <glguy> | wroathe: there's ghcup whereis to start from |
| 2023-09-30 00:22:08 +0200 | rgw | (~R@2605:a601:a0df:5600:699d:6247:4aeb:529a) (Client Quit) |
| 2023-09-30 00:23:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-30 00:24:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-30 00:24:59 +0200 | rgw | (~R@2605:a601:a0df:5600:699d:6247:4aeb:529a) |
| 2023-09-30 00:25:28 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-30 00:25:28 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-30 00:25:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 00:29:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-30 00:35:24 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:7e7d:f3e1:dbc0:c9e3) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-30 00:35:33 +0200 | Athas | (athas@sigkill.dk) |
| 2023-09-30 00:36:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-09-30 00:43:30 +0200 | danza | (~francesco@151.57.40.90) |
| 2023-09-30 00:43:30 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-2d09-5dae-80dd-2fef.res6.spectrum.com) |
| 2023-09-30 00:44:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-09-30 00:46:01 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 00:48:38 +0200 | danza | (~francesco@151.57.40.90) (Ping timeout: 255 seconds) |
| 2023-09-30 00:48:54 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) |
| 2023-09-30 00:53:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-30 00:57:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-30 01:04:23 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-30 01:05:43 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) () |
| 2023-09-30 01:10:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-30 01:15:18 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) |
| 2023-09-30 01:16:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2023-09-30 01:20:29 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2023-09-30 01:28:02 +0200 | <zaraksh> | @pl f x = x |
| 2023-09-30 01:28:13 +0200 | zaraksh | (~zaraksh@host-212-139-218-170.static.as9105.net) (Quit: leaving) |
| 2023-09-30 01:33:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-30 01:36:15 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2023-09-30 01:37:44 +0200 | <dsal> | Does anyone know how to make my software build on a mac without nix? Someone opened a bug about not being able to find libpq (from homebrew) and I've jettisoned any memory of how to work in less controlled environments. :) |
| 2023-09-30 01:38:22 +0200 | <glguy> | which is your software? |
| 2023-09-30 01:38:51 +0200 | <glguy> | or more specifically, which postgresql binding do you use? |
| 2023-09-30 01:47:21 +0200 | <dsal> | I'm using hasql. |
| 2023-09-30 01:48:20 +0200 | <dsal> | I'm not doing anything particularly fancy. Just stack + nix with `packages: [zlib, postgresql]` in the nix config. |
| 2023-09-30 01:51:36 +0200 | <glguy> | dsal: to build it I needed to put pg_config into my $PATH |
| 2023-09-30 01:51:44 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-30 01:51:44 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-30 01:51:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 01:52:09 +0200 | <glguy> | the default for the postgresql-libpq package is to look for pg_config, depending on the architecture that'd be in /opt/homebrew/opt/postgresql@16/bin or /usr/local/opt/postgresql@16/bin |
| 2023-09-30 01:52:29 +0200 | <glguy> | postgresql-libpq also has mode where it would use pkg-config to build |
| 2023-09-30 01:52:51 +0200 | <glguy> | In that case the user would have to set PKG_CONFIG_PATH=/opt/homebrew/opt/postgresql@16/lib/pkgconfig |
| 2023-09-30 01:52:54 +0200 | <glguy> | when building |
| 2023-09-30 01:52:58 +0200 | <dsal> | Oh interesting. Let me see if that helps other people. I suppose the right thing to do is set up a temporary account and install homebrew and see if I can make it work. |
| 2023-09-30 01:53:01 +0200 | <dsal> | Thanks for the clue in any case. |
| 2023-09-30 02:06:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-09-30 02:16:17 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2023-09-30 02:20:55 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 02:23:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-30 02:27:04 +0200 | whodevil | (~whodevil@user/whodevil) () |
| 2023-09-30 02:39:40 +0200 | CiaoSen | (~Jura@2a05:5800:2b0:5700:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 2023-09-30 02:45:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-09-30 02:47:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-30 02:47:54 +0200 | billb | (~billb@cpe-66-8-173-22.hawaii.res.rr.com) (Quit: Leaving) |
| 2023-09-30 02:52:51 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-30 02:59:56 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 03:09:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-09-30 03:19:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-30 03:25:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-09-30 03:35:43 +0200 | otto_s | (~user@p5de2fc38.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-09-30 03:35:50 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) (Quit: Konversation terminated!) |
| 2023-09-30 03:36:08 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) |
| 2023-09-30 03:37:25 +0200 | otto_s | (~user@p4ff27c33.dip0.t-ipconnect.de) |
| 2023-09-30 03:45:24 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2023-09-30 03:47:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-09-30 03:49:12 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 03:49:18 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-30 03:49:18 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-30 03:49:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 03:55:33 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 03:55:38 +0200 | <Inst> | best monad tutorial ever: |
| 2023-09-30 03:55:43 +0200 | <Inst> | "Monads don't exist. The end." |
| 2023-09-30 03:56:05 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-09-30 03:56:25 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2023-09-30 03:57:40 +0200 | <EvanR> | Monads, like words, are made up? |
| 2023-09-30 03:59:47 +0200 | <Inst> | yeah, not trolling you guys with this crap, i doubt you'd find it amusing |
| 2023-09-30 04:00:11 +0200 | <Inst> | (the actual substance is closer to: "stop calling them monads", but monad tutorials are actually really boring) |
| 2023-09-30 04:05:19 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-30 04:05:55 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) (Quit: Konversation terminated!) |
| 2023-09-30 04:05:58 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 2023-09-30 04:06:14 +0200 | <EvanR> | finally we have a programming pattern with only 1 technical name and this name isn't being also used for other unrelated things (in programming), and they want to change it? |
| 2023-09-30 04:06:22 +0200 | <EvanR> | figures |
| 2023-09-30 04:07:04 +0200 | <Inst> | well, forget it, i don't want to bullshit people right now |
| 2023-09-30 04:07:05 +0200 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-30 04:07:08 +0200 | <Inst> | (call them monadic types) |
| 2023-09-30 04:07:39 +0200 | <EvanR> | k and what's the reasoning |
| 2023-09-30 04:08:06 +0200 | <Inst> | obscures differences between monads and tries to force commonality beyond monad laws and obeying a particular interface |
| 2023-09-30 04:08:21 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2023-09-30 04:08:34 +0200 | <Inst> | there's an old blog post talking about stop saying IO monad and say IO type instead |
| 2023-09-30 04:08:41 +0200 | td_ | (~td@i5387090E.versanet.de) |
| 2023-09-30 04:08:42 +0200 | <Inst> | but extend the pattern to all monadic types |
| 2023-09-30 04:08:44 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 04:11:13 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2023-09-30 04:11:58 +0200 | <Inst> | maybe type, either type, etc; because you can definitely use all of them as applicatives / functors profitably, and often foldables / traversables / semigroups / monoids |
| 2023-09-30 04:13:09 +0200 | <EvanR> | ok in some cases the monadicness is really not the point, then talking about monads all the time can be inappropriate even if all your types happen to have a Monad instance |
| 2023-09-30 04:13:42 +0200 | <EvanR> | in other cases, like the Control.Monad library, the monadicness is the whole point so you definitely will be working with monads |
| 2023-09-30 04:14:05 +0200 | <Inst> | but monadic type as jargon is still useful for learners to get them to stop fixating on the notion |
| 2023-09-30 04:14:20 +0200 | <Inst> | "monadic type, or monad for short" |
| 2023-09-30 04:14:39 +0200 | <EvanR> | other examples are the free monad pattern, the record of API methods parameterized by a monad, etc |
| 2023-09-30 04:15:14 +0200 | <Inst> | yeah once you get to free monads, it's too clunky to say free monadic type and i'd think free monadic type doesn't make sense |
| 2023-09-30 04:15:35 +0200 | <EvanR> | I don't get the distinction between monad and monadic type really |
| 2023-09-30 04:15:36 +0200 | <Inst> | fixating on types and their ramifications is more useful for newbies |
| 2023-09-30 04:15:50 +0200 | <EvanR> | seems to have nothing to do with monads per se |
| 2023-09-30 04:15:51 +0200 | <Inst> | monadic type implies that monadness is a property of a type, but focuses on the type |
| 2023-09-30 04:16:16 +0200 | <EvanR> | well Monad is a type class, so it's automatically a property of a type |
| 2023-09-30 04:16:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 04:16:36 +0200 | <EvanR> | I used to think "first, Monad is a type class" was an important first fact, now I'm not as sure |
| 2023-09-30 04:16:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 04:17:04 +0200 | <EvanR> | more like don't start with monads |
| 2023-09-30 04:17:12 +0200 | <Inst> | yeah, i guess |
| 2023-09-30 04:17:23 +0200 | <Inst> | and fixating on types etc, introducing data declarations early, sum types, etc |
| 2023-09-30 04:17:32 +0200 | <EvanR> | Functors are more useful, but also just as abstract |
| 2023-09-30 04:17:39 +0200 | <Inst> | that was my mistake as a Haskell learner |
| 2023-09-30 04:17:51 +0200 | <EvanR> | monomorphic types like Char first |
| 2023-09-30 04:17:56 +0200 | <Inst> | I think a lot of people make the same mistake, they should try to think in types as soon as possible |
| 2023-09-30 04:18:08 +0200 | <Inst> | no, but data decs |
| 2023-09-30 04:18:09 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-30 04:18:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-30 04:18:09 +0200 | finn_elija | FinnElija |
| 2023-09-30 04:18:14 +0200 | <EvanR> | hey this is the A Gentle Introduction all over again |
| 2023-09-30 04:18:19 +0200 | <Inst> | modeling a domain with types |
| 2023-09-30 04:18:24 +0200 | <Inst> | oh wow, let me read that :( |
| 2023-09-30 04:18:38 +0200 | <geekosaur> | we dib't talk about functoral types |
| 2023-09-30 04:18:41 +0200 | <geekosaur> | *don't |
| 2023-09-30 04:19:05 +0200 | <Inst> | also, my clojurian friend is this close to trying to join a Haskell firm for giggles |
| 2023-09-30 04:19:28 +0200 | <EvanR> | factorial types, (N, (N-1, (N-2, ...) |
| 2023-09-30 04:20:46 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-30 04:24:34 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:f953:8dd6:6a7e:40fb) |
| 2023-09-30 04:27:01 +0200 | <EvanR> | so you want to learn haskell, first let me introduce you to some category theory (of monads, which are actually a pretty advanced topic) |
| 2023-09-30 04:27:18 +0200 | <EvanR> | is a pretty absurd state of affairs |
| 2023-09-30 04:31:40 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-30 04:36:17 +0200 | <monochrom> | Is it worse than this? So you want to learn probability theory and/or statistics, first let me introduce you to a monad... :) |
| 2023-09-30 04:37:26 +0200 | <int-e> | so you want to modify a record field, let me introduce you to profunctors |
| 2023-09-30 04:37:56 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 04:38:58 +0200 | <int-e> | (I still haven't found my way into lens... my programs are too simple I guess.) |
| 2023-09-30 04:39:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-30 04:39:13 +0200 | <EvanR> | because you don't use lens |
| 2023-09-30 04:39:30 +0200 | <EvanR> | it's a vicious cycle of simplicity |
| 2023-09-30 04:39:36 +0200 | <int-e> | or rather my data structures |
| 2023-09-30 04:40:05 +0200 | <davean> | Honestly IMO the benefit of lens isn't for your programs, its for your libraries |
| 2023-09-30 04:40:21 +0200 | <davean> | They make updates first class |
| 2023-09-30 04:41:25 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-30 04:41:48 +0200 | <iris_67> | how to properly converting a integer to string? I'm using OverloadStrings lanugage extension. on ghci cant find the toText function |
| 2023-09-30 04:42:13 +0200 | <davean> | Huh? OverloadedStrings has nothing to do with that |
| 2023-09-30 04:42:18 +0200 | <davean> | T.pack . show |
| 2023-09-30 04:42:22 +0200 | <davean> | er |
| 2023-09-30 04:42:25 +0200 | <int-e> | what if my data is immutable |
| 2023-09-30 04:42:25 +0200 | <monochrom> | I have used lens just once. To unify, for binary search tree balancing, left rotation and right rotation. |
| 2023-09-30 04:42:26 +0200 | <davean> | you said text there |
| 2023-09-30 04:42:29 +0200 | <davean> | but "show" |
| 2023-09-30 04:43:35 +0200 | <EvanR> | haskell is so powerful it can update immutable data |
| 2023-09-30 04:43:52 +0200 | <monochrom> | Haha "the impossible has happened" |
| 2023-09-30 04:44:07 +0200 | <int-e> | @ghc |
| 2023-09-30 04:44:07 +0200 | <lambdabot> | CPR Analysis tried to take the lub of a function and a tuple |
| 2023-09-30 04:44:25 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 04:44:52 +0200 | <int-e> | (I wonder how many of these errors still exist today...) |
| 2023-09-30 04:45:59 +0200 | <davean> | int-e: It still allows a first class access scheme for libraries, including like focusing on a subset of a reader without the inefficiency of changing out the actual reader value, so it does the same thing with immutable data to a just slightly lesser event |
| 2023-09-30 04:46:10 +0200 | <EvanR> | iris_67, show converts an Int among other things to a String |
| 2023-09-30 04:46:18 +0200 | <davean> | (Again, not a problem you'd have in just your OWN program persay) |
| 2023-09-30 04:46:43 +0200 | <iris_67> | EvanR ok, I'm getting: Couldn't match expected type ‘Deleted -> String’ |
| 2023-09-30 04:46:43 +0200 | <iris_67> | with actual type ‘[Char] |
| 2023-09-30 04:46:58 +0200 | <iris_67> | using show |
| 2023-09-30 04:47:09 +0200 | <EvanR> | > show 7 |
| 2023-09-30 04:47:10 +0200 | <lambdabot> | "7" |
| 2023-09-30 04:47:18 +0200 | <Inst> | it's probably a syntax error |
| 2023-09-30 04:47:23 +0200 | <Inst> | what is show being applied to? |
| 2023-09-30 04:47:52 +0200 | <iris_67> | data Deleted = Deleted { |
| 2023-09-30 04:47:52 +0200 | <iris_67> | amount :: Integer, |
| 2023-09-30 04:47:53 +0200 | <iris_67> | total :: String |
| 2023-09-30 04:47:53 +0200 | <iris_67> | } deriving (Eq, Show) |
| 2023-09-30 04:47:54 +0200 | <iris_67> | instance Semigroup Deleted where |
| 2023-09-30 04:47:54 +0200 | <iris_67> | a <> b = Deleted (amount a) (show amount a + show amount b) |
| 2023-09-30 04:48:14 +0200 | <Inst> | :) |
| 2023-09-30 04:48:17 +0200 | <EvanR> | show d where d :: Deleted should work |
| 2023-09-30 04:48:20 +0200 | <davean> | yep, exactly |
| 2023-09-30 04:48:51 +0200 | <EvanR> | oh |
| 2023-09-30 04:48:57 +0200 | <Inst> | you're applying show to a function |
| 2023-09-30 04:48:59 +0200 | <int-e> | show (amount a) etc. |
| 2023-09-30 04:49:18 +0200 | <monochrom> | And + is not string concatenation. |
| 2023-09-30 04:49:21 +0200 | <Inst> | of course... |
| 2023-09-30 04:49:54 +0200 | <monochrom> | This is why no one should trust first questions and everyone should just reply "show actual code". |
| 2023-09-30 04:50:03 +0200 | <iris_67> | tanks, now even the error message meakes sense |
| 2023-09-30 04:50:12 +0200 | <Inst> | also, ask context to figure out what the learner actually knows |
| 2023-09-30 04:50:19 +0200 | <EvanR> | too hard |
| 2023-09-30 04:50:29 +0200 | <EvanR> | what do I even know |
| 2023-09-30 04:50:58 +0200 | <Inst> | that you know nothing, hence you are the wisest. Also, Socrates. |
| 2023-09-30 04:51:08 +0200 | <EvanR> | dude |
| 2023-09-30 04:51:38 +0200 | <Inst> | https://en.wikipedia.org/wiki/I_know_that_I_know_nothing |
| 2023-09-30 04:51:40 +0200 | <Inst> | oh, sorry |
| 2023-09-30 04:52:02 +0200 | <EvanR> | wiki/ThisSentenceIsFalse |
| 2023-09-30 04:52:15 +0200 | <Inst> | ffffffff |
| 2023-09-30 04:52:19 +0200 | <monochrom> | Unpopular opinion: It is Bayesians who are the wisests. |
| 2023-09-30 04:52:22 +0200 | <Inst> | goddamnit, logic! why do you always have to ruin things! |
| 2023-09-30 04:53:18 +0200 | <int-e> | monochrom: but what *are* your priors... |
| 2023-09-30 04:53:31 +0200 | <int-e> | . o O ( https://xkcd.com/1132/ ) |
| 2023-09-30 04:53:44 +0200 | <mauke> | bad priors cause mad cow disease |
| 2023-09-30 04:53:53 +0200 | <monochrom> | That's just a bootstrapping problem, and we programmers have long solved that. |
| 2023-09-30 04:54:08 +0200 | <int-e> | mauke: well, close |
| 2023-09-30 04:54:38 +0200 | <monochrom> | pions decay to mad cow bosons :) |
| 2023-09-30 04:54:49 +0200 | <int-e> | monochrom: it's bootstraps all the way down? |
| 2023-09-30 04:56:56 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-30 04:57:01 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-09-30 05:03:06 +0200 | micro | (micro@user/micro) (Ping timeout: 258 seconds) |
| 2023-09-30 05:03:31 +0200 | whodevil | (~whodevil@user/whodevil) |
| 2023-09-30 05:03:55 +0200 | micro | (~micro@user/micro) |
| 2023-09-30 05:08:16 +0200 | jargon | (~jargon@184.101.67.95) |
| 2023-09-30 05:10:18 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-09-30 05:14:53 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-30 05:16:16 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-30 05:20:53 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 05:32:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-30 05:33:02 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-30 05:35:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-30 05:41:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-30 05:52:23 +0200 | Pixi | (~Pixi@user/pixi) |
| 2023-09-30 05:52:38 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:f953:8dd6:6a7e:40fb) (Ping timeout: 245 seconds) |
| 2023-09-30 05:56:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-30 05:57:17 +0200 | aforemny | (~aforemny@2001:9e8:6cda:a800:7c11:438a:f2ed:237a) |
| 2023-09-30 05:58:24 +0200 | aforemny_ | (~aforemny@i59F516CC.versanet.de) (Ping timeout: 272 seconds) |
| 2023-09-30 06:07:52 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-30 06:09:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-30 06:12:38 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 2023-09-30 06:16:46 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-09-30 06:25:07 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-30 06:36:33 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-30 06:56:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-30 06:59:57 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-30 07:09:58 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 272 seconds) |
| 2023-09-30 07:15:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-30 07:25:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-30 07:28:07 +0200 | raym | (~ray@user/raym) (Quit: Kernel update to FreeBSD 14.0-BETA4) |
| 2023-09-30 07:39:45 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-09-30 07:40:30 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-30 07:41:22 +0200 | privacy | (~privacy@user/privacy) |
| 2023-09-30 07:43:23 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-09-30 07:45:58 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-30 07:53:00 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-30 07:59:33 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-30 08:06:21 +0200 | Jackneill | (~Jackneill@20014C4E1E13B2008C46D54E2DB39A15.dsl.pool.telekom.hu) |
| 2023-09-30 08:16:11 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-30 08:17:24 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 08:25:40 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f7734651fca00eb6362.dip0.t-ipconnect.de) |
| 2023-09-30 08:28:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f7734651fca00eb6362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-09-30 08:30:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-30 08:31:53 +0200 | acidjnk | (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) |
| 2023-09-30 08:33:16 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-30 08:37:50 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-30 08:37:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-30 08:37:55 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 08:39:14 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-30 08:52:09 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-30 09:00:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 09:03:49 +0200 | ubert | (~Thunderbi@91.141.43.58.wireless.dyn.drei.com) |
| 2023-09-30 09:03:55 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-30 09:04:15 +0200 | vglfr | (~vglfr@138.199.53.249) |
| 2023-09-30 09:16:12 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-30 09:17:00 +0200 | vglfr | (~vglfr@138.199.53.249) (Ping timeout: 248 seconds) |
| 2023-09-30 09:17:32 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-09-30 09:18:13 +0200 | privacy | (~privacy@user/privacy) (Quit: Leaving) |
| 2023-09-30 09:18:14 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 2023-09-30 09:18:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-09-30 09:20:17 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 09:22:56 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-09-30 09:24:15 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-09-30 09:24:16 +0200 | privacy | (~privacy@user/privacy) |
| 2023-09-30 09:24:55 +0200 | cyphase | (~cyphase@user/cyphase) (Client Quit) |
| 2023-09-30 09:25:19 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-09-30 09:25:32 +0200 | blackfield | (~aenima@85.255.4.218) |
| 2023-09-30 09:27:06 +0200 | cyphase | (~cyphase@user/cyphase) (Client Quit) |
| 2023-09-30 09:27:39 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-09-30 09:27:46 +0200 | privacy | (~privacy@user/privacy) (Client Quit) |
| 2023-09-30 09:28:53 +0200 | privacy | (~privacy@user/privacy) |
| 2023-09-30 09:30:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-09-30 09:32:47 +0200 | privacy | (~privacy@user/privacy) (Client Quit) |
| 2023-09-30 09:33:53 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-30 09:34:54 +0200 | privacy | (~privacy@user/privacy) |
| 2023-09-30 09:35:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 09:39:00 +0200 | mastarija | (~mastarija@247-92.dsl.iskon.hr) |
| 2023-09-30 09:39:16 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-09-30 09:39:52 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-09-30 09:42:27 +0200 | mastarija | (~mastarija@247-92.dsl.iskon.hr) (Client Quit) |
| 2023-09-30 09:42:51 +0200 | mastarija | (~mastarija@247-92.dsl.iskon.hr) |
| 2023-09-30 09:47:26 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 2023-09-30 09:47:33 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-30 09:49:59 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-30 09:55:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 09:57:41 +0200 | mastarija | (~mastarija@247-92.dsl.iskon.hr) (Quit: Client closed) |
| 2023-09-30 09:59:53 +0200 | ubert | (~Thunderbi@91.141.43.58.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2023-09-30 10:00:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-09-30 10:02:40 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-30 10:03:15 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 258 seconds) |
| 2023-09-30 10:04:57 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-30 10:09:46 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 10:15:40 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2023-09-30 10:19:07 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-30 10:19:49 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-30 10:21:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 10:27:14 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2023-09-30 10:28:15 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-09-30 10:28:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-30 10:29:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-30 10:30:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 10:32:16 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-09-30 10:35:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 272 seconds) |
| 2023-09-30 10:35:44 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-30 10:39:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-09-30 10:49:28 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-09-30 10:57:05 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 11:00:55 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-30 11:04:26 +0200 | mikko | (~mikko@user/mikko) |
| 2023-09-30 11:04:36 +0200 | rgw | (~R@2605:a601:a0df:5600:699d:6247:4aeb:529a) (Quit: rgw) |
| 2023-09-30 11:05:17 +0200 | <mikko> | what am i supposed to do with the output of "haskell-language-server-wrapper generate-default-config"? it looks like json but i can't find *any* mention of any .json configuration files in any of the documentation, it all talks about some hie stuff |
| 2023-09-30 11:05:33 +0200 | <mikko> | i tried piping it to hie.yaml (since yaml is superset of json) but that just got me errors |
| 2023-09-30 11:13:31 +0200 | privacy | (~privacy@user/privacy) (Quit: Leaving) |
| 2023-09-30 11:32:24 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-30 11:33:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-30 11:35:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 11:38:15 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-30 11:41:59 +0200 | <mikko> | hmm it seems the output of `haskell-language-server-wrapper generate-default-config` is some editor specific nonsense, problem is i'm trying to use the LSP without an editor |
| 2023-09-30 11:45:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-30 11:46:27 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 11:47:37 +0200 | <Inst> | EvanR: I just want to apologize if I caused offense, there are two nothingness rejoinders I like. One of them is the Socratic Paradox / Socratic Wisdom line, which is not exactly the most effective rejoinder in a conversation, but is entertaining. |
| 2023-09-30 11:48:37 +0200 | <Inst> | I couldn't resist when you implied such rhetorically |
| 2023-09-30 11:49:01 +0200 | <Inst> | You've consistently been among the nicest people to me in this community, and thanks for that. :) |
| 2023-09-30 11:50:25 +0200 | <Inst> | The other line is based on No One -> Outis ("No one", or the name Odysseus gave to the cyclops in the Odyssey) -> Odysseus, which I guess is way dumber. |
| 2023-09-30 11:55:24 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2023-09-30 12:00:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 12:00:20 +0200 | poscat | (~poscat@user/poscat) |
| 2023-09-30 12:01:17 +0200 | cpressey | (~cpressey@host-2-102-83-73.as13285.net) |
| 2023-09-30 12:01:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |
| 2023-09-30 12:12:27 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 12:25:22 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-30 12:35:07 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-30 12:49:04 +0200 | Guest8 | (~Guest54@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) |
| 2023-09-30 12:49:59 +0200 | Guest8 | (~Guest54@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) (Client Quit) |
| 2023-09-30 12:50:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 12:51:10 +0200 | Guest54sdfa | (~Guest54sd@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) |
| 2023-09-30 12:54:18 +0200 | Guest54sdfa | (~Guest54sd@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) (Client Quit) |
| 2023-09-30 12:56:09 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-09-30 13:05:28 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2023-09-30 13:08:11 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-09-30 13:08:12 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-30 13:09:55 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Client Quit) |
| 2023-09-30 13:11:08 +0200 | danza | (~francesco@151.43.48.225) |
| 2023-09-30 13:14:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:86d3:b9ba:fcd3:c6b9) (Read error: Connection reset by peer) |
| 2023-09-30 13:20:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 13:26:09 +0200 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2023-09-30 13:26:16 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 13:28:05 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-30 13:28:15 +0200 | Urchin[emacs] | (~user@user/urchin) |
| 2023-09-30 13:28:44 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Ping timeout: 248 seconds) |
| 2023-09-30 13:30:53 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 2023-09-30 13:31:12 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 2023-09-30 13:31:44 +0200 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 255 seconds) |
| 2023-09-30 13:32:34 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-09-30 13:32:48 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 13:33:17 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Ping timeout: 260 seconds) |
| 2023-09-30 13:37:05 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 2023-09-30 13:37:29 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 2023-09-30 13:38:42 +0200 | xff0x | (~xff0x@om126166231185.28.openmobile.ne.jp) |
| 2023-09-30 13:49:33 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 13:55:36 +0200 | xff0x | (~xff0x@om126166231185.28.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2023-09-30 13:58:48 +0200 | gooba_ | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-09-30 13:59:23 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2023-09-30 14:00:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3257:e821:569a:1ca1) |
| 2023-09-30 14:05:02 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-30 14:06:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3257:e821:569a:1ca1) (Ping timeout: 272 seconds) |
| 2023-09-30 14:06:31 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 14:06:37 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 2023-09-30 14:07:01 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 2023-09-30 14:10:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5d21:b7eb:2abe:5eb0) |
| 2023-09-30 14:13:20 +0200 | <danza> | haskell job indeed.com/viewjob?jk=3994b8c3c6b71bc6 |
| 2023-09-30 14:14:27 +0200 | Urchin[emacs] | (~user@user/urchin) (ERC (IRC client for Emacs 27.1)) |
| 2023-09-30 14:15:35 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-09-30 14:16:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Quit: leaving) |
| 2023-09-30 14:16:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5d21:b7eb:2abe:5eb0) (Read error: Connection reset by peer) |
| 2023-09-30 14:17:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-30 14:20:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b248:55c0:81a8:90d4) |
| 2023-09-30 14:23:43 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Ping timeout: 264 seconds) |
| 2023-09-30 14:24:15 +0200 | alphacen1 | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-09-30 14:26:56 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-09-30 14:30:14 +0200 | cpressey32 | (~cpressey@host-2-102-83-73.as13285.net) |
| 2023-09-30 14:30:58 +0200 | cpressey | (~cpressey@host-2-102-83-73.as13285.net) (Ping timeout: 245 seconds) |
| 2023-09-30 14:31:01 +0200 | cpressey32 | (~cpressey@host-2-102-83-73.as13285.net) (Client Quit) |
| 2023-09-30 14:32:15 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-30 14:32:57 +0200 | <mauke> | it's front-end/js stuff, US only |
| 2023-09-30 14:35:58 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-09-30 14:37:38 +0200 | <danza> | yeah, it is not very clear. Mentions the job being frontend-focused, but then requires four years haskell experience! I assumed it was US only and looked for that on the post but did not find it but you are probably right, these type of jobs are usually US only |
| 2023-09-30 14:42:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 14:43:18 +0200 | jj_ | (uid620921@id-620921.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 14:52:44 +0200 | <mauke> | I mean, it talks about 401(k) and dental |
| 2023-09-30 14:53:54 +0200 | <danza> | yeah i also think it is US only |
| 2023-09-30 14:54:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-30 15:01:00 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-30 15:03:47 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-30 15:04:38 +0200 | privacy | (~privacy@user/privacy) |
| 2023-09-30 15:12:51 +0200 | blackfield | (~aenima@85.255.4.218) (Quit: see you) |
| 2023-09-30 15:13:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-30 15:13:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-30 15:13:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 15:16:43 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-09-30 15:17:22 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-30 15:17:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-30 15:18:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-09-30 15:21:49 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 2023-09-30 15:27:27 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-30 15:28:18 +0200 | CiaoSen | (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 2023-09-30 15:30:24 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-09-30 15:36:19 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2023-09-30 15:38:13 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-09-30 15:40:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-30 15:46:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-09-30 15:48:15 +0200 | acidjnk | (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-09-30 15:53:29 +0200 | olliep | (~olliep@cpc115028-bour7-2-0-cust550.15-1.cable.virginm.net) |
| 2023-09-30 15:53:37 +0200 | olliep | (~olliep@cpc115028-bour7-2-0-cust550.15-1.cable.virginm.net) (Quit: Client closed) |
| 2023-09-30 15:54:29 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-09-30 15:58:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-30 15:58:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2023-09-30 16:00:50 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-09-30 16:19:31 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2023-09-30 16:20:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 16:24:08 +0200 | CiaoSen | (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 2023-09-30 16:24:37 +0200 | danza_ | (~francesco@151.57.83.127) |
| 2023-09-30 16:24:51 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-09-30 16:27:36 +0200 | danza | (~francesco@151.43.48.225) (Ping timeout: 260 seconds) |
| 2023-09-30 16:28:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-09-30 16:29:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-30 16:31:41 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-09-30 16:34:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-30 16:42:46 +0200 | danza_ | (~francesco@151.57.83.127) (Ping timeout: 255 seconds) |
| 2023-09-30 16:43:56 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-09-30 16:44:40 +0200 | Square | (~Square@user/square) |
| 2023-09-30 16:44:58 +0200 | stites | (~stites@2607:fb90:ad62:a207:f0a1:b4c8:6d1c:d465) |
| 2023-09-30 16:49:08 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 17:03:12 +0200 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2023-09-30 17:08:54 +0200 | Shelob | (haveident@libera/staff/she/her) |
| 2023-09-30 17:15:23 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 17:15:41 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 17:16:26 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-30 17:17:03 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 2023-09-30 17:17:26 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 17:18:20 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-30 17:25:12 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-30 17:29:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 17:29:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 17:29:46 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-30 17:31:31 +0200 | CiaoSen | (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 2023-09-30 17:38:43 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-09-30 17:41:30 +0200 | <Square> | If I have "SomeConstraint a => Proxy a" can i easily get "SomeConstraint a => Proxy (Wrapper a)"? |
| 2023-09-30 17:41:49 +0200 | acidjnk | (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) |
| 2023-09-30 17:41:50 +0200 | <Square> | ...using "Proxy a" |
| 2023-09-30 17:42:32 +0200 | <EvanR> | maybe you want a SomeConstraint a *> Proxy a, or something, which is the Proxy a paired with the dictionary |
| 2023-09-30 17:42:42 +0200 | <EvanR> | SomeConstraint a => Proxy a is more like a function waiting for a dictionary |
| 2023-09-30 17:42:56 +0200 | <mauke> | fmap MkWrapper |
| 2023-09-30 17:43:11 +0200 | <Square> | oh |
| 2023-09-30 17:43:14 +0200 | <EvanR> | oh |
| 2023-09-30 17:43:32 +0200 | <EvanR> | which is what you wanted anyway xD |
| 2023-09-30 17:43:42 +0200 | <Square> | thanks. That works |
| 2023-09-30 17:48:42 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-30 17:50:07 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-09-30 17:50:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 17:55:08 +0200 | edwardk | wakes from his slumber. |
| 2023-09-30 17:55:09 +0200 | <edwardk> | What year is it? |
| 2023-09-30 17:55:59 +0200 | <EvanR> | who's the president |
| 2023-09-30 17:56:01 +0200 | <EvanR> | don't answer that |
| 2023-09-30 17:56:40 +0200 | <edwardk> | EvanR: wise |
| 2023-09-30 17:59:17 +0200 | <edwardk> | It seems like it was only yesterday that I thought learning enough about hardware to be dangerous was a good idea. Now, here I am, whitebearded and old, my youth spent. Is this what happens to all hardware folks? Is that why they are all so jaded? |
| 2023-09-30 18:02:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-30 18:05:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 18:06:56 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 18:10:52 +0200 | <c_wraith> | hardware? eww. that's where you have to deal with the fact that it's all *reality* |
| 2023-09-30 18:11:31 +0200 | <monochrom> | Between "learn enough about hardware to be dangerous" and "actually a hardware person" is a rabbit hole. |
| 2023-09-30 18:13:03 +0200 | <monochrom> | You spent your later youth on category theory instead. That makes up for it. >:) |
| 2023-09-30 18:13:36 +0200 | <edwardk> | my usual kan-extension tricks are a might bit harder to apply to busses and pins. |
| 2023-09-30 18:16:12 +0200 | <edwardk> | and i never want to see another clock again |
| 2023-09-30 18:16:43 +0200 | <monochrom> | haha OK that sounds jaded about hardware |
| 2023-09-30 18:20:08 +0200 | elevenkb | (elevenkb@thunix.net) |
| 2023-09-30 18:23:31 +0200 | <EvanR> | haskell = the scene in the matrix where the dude is eating the fancy steak. hardware = when keanu reaves is getting disconnected from the spawning vat or whatever |
| 2023-09-30 18:24:06 +0200 | <EvanR> | I know it's not real. But I don't care |
| 2023-09-30 18:25:48 +0200 | <monochrom> | That is probably even some fillet mignon. |
| 2023-09-30 18:25:57 +0200 | <edwardk> | i've never empathized so much with Joe Pantoliano. |
| 2023-09-30 18:26:33 +0200 | Clint | squints. |
| 2023-09-30 18:31:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 18:35:42 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-30 18:38:36 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-09-30 18:48:11 +0200 | CiaoSen | (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-09-30 19:00:30 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-30 19:00:30 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-30 19:00:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 19:05:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 19:07:02 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-09-30 19:07:44 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-09-30 19:08:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 19:09:37 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-09-30 19:12:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-30 19:13:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-30 19:15:29 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-09-30 19:15:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 19:18:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 19:20:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-30 19:28:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 19:29:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 19:31:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-30 19:37:05 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-09-30 19:41:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-09-30 19:41:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-30 19:42:27 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-30 19:43:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-09-30 19:43:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-30 19:45:59 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-30 19:47:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-09-30 19:48:59 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-30 19:53:28 +0200 | stites | (~stites@2607:fb90:ad62:a207:f0a1:b4c8:6d1c:d465) (Read error: Connection reset by peer) |
| 2023-09-30 19:53:47 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-30 19:54:06 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-126.cust.tzulo.com) |
| 2023-09-30 19:55:57 +0200 | stites | (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 2023-09-30 19:56:25 +0200 | stites | (~stites@130.44.147.204) |
| 2023-09-30 19:59:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 2023-09-30 20:26:34 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-09-30 20:26:48 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-30 20:30:32 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-30 20:38:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 2023-09-30 20:38:47 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-09-30 20:41:06 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) |
| 2023-09-30 20:41:25 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-09-30 20:42:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 248 seconds) |
| 2023-09-30 20:45:32 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) (Ping timeout: 248 seconds) |
| 2023-09-30 20:49:52 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-09-30 20:53:32 +0200 | michalz | (~michalz@185.246.204.104) |
| 2023-09-30 20:53:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) |
| 2023-09-30 20:54:01 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-126.cust.tzulo.com) (Quit: Leaving) |
| 2023-09-30 21:00:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 21:01:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-30 21:17:16 +0200 | captnemo | (~captnemo@193.32.127.239) |
| 2023-09-30 21:20:43 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:7af1:1347:84cb:25c0) (Ping timeout: 264 seconds) |
| 2023-09-30 21:24:56 +0200 | captnemo | (~captnemo@193.32.127.239) (Read error: Connection reset by peer) |
| 2023-09-30 21:33:55 +0200 | rgw | (~R@2605:a601:a0df:5600:3810:5680:9c36:7c9e) |
| 2023-09-30 21:42:03 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-30 21:52:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-30 21:53:31 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-09-30 22:01:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-09-30 22:06:33 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-30 22:07:46 +0200 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-09-30 22:10:56 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-30 22:14:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-30 22:24:08 +0200 | <drlkf> | is there a recursive version of gmapT? after reading scrap your boilerplate my takeaway was that it would help with generic traversals but the Data.Data members all seem to only apply to immediate subterms so i'm thinking i misunderstood the entire point |
| 2023-09-30 22:24:47 +0200 | CiaoSen | (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 2023-09-30 22:26:25 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-30 22:28:09 +0200 | <[exa]> | drlkf: yeah there are many other versions |
| 2023-09-30 22:28:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-30 22:30:33 +0200 | <drlkf> | outside of base i suppose? is there a package i can find on hackage? |
| 2023-09-30 22:30:58 +0200 | <[exa]> | trying to find it right now tbh :D |
| 2023-09-30 22:31:05 +0200 | <drlkf> | :< |
| 2023-09-30 22:34:21 +0200 | <[exa]> | ah yes I recall the trick |
| 2023-09-30 22:34:28 +0200 | <[exa]> | you can basically make a fixpoint for that yourself |
| 2023-09-30 22:34:32 +0200 | <[exa]> | the SYB paper should show it |
| 2023-09-30 22:35:13 +0200 | <[exa]> | basically this: https://hackage.haskell.org/package/syb-0.7.2.4/docs/Data-Generics-Schemes.html#v:everywhere |
| 2023-09-30 22:35:43 +0200 | ph88 | (~ph88@2a01:598:b9a2:ad5e:cf65:b90a:f607:5aa) |
| 2023-09-30 22:36:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-30 22:36:04 +0200 | <[exa]> | (corresponds to section 3.3 in this one https://www.microsoft.com/en-us/research/wp-content/uploads/2003/01/hmap.pdf ) |
| 2023-09-30 22:36:18 +0200 | <drlkf> | ah, i see. thanks |
| 2023-09-30 22:37:10 +0200 | <[exa]> | the definition of everywhere that I linked seems to me basically compatible with the one from the paper, so I guess it should just work |
| 2023-09-30 22:37:49 +0200 | <[exa]> | (I have to stop using basically rigth now, too much basic today already) |
| 2023-09-30 22:38:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2023-09-30 22:40:42 +0200 | <drlkf> | yeah even mkT is in there, which is sort of wierd since it's tightly linked to the gmap family in the paper (from a fresh read i don't see a way to use gfoldl/gmap without it) |
| 2023-09-30 22:41:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-30 22:42:45 +0200 | <[exa]> | drlkf: it has been out for some time, implementation strategy might have changed a lot (esp. given the common practicalities with getting this supported by the compiler) |
| 2023-09-30 22:45:04 +0200 | <[exa]> | (if I had to guess now, I'd say that the bottom-most primitive now is either the generic fold or generic unfold, but better check. :D) |
| 2023-09-30 22:47:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-30 22:48:02 +0200 | Jackneill | (~Jackneill@20014C4E1E13B2008C46D54E2DB39A15.dsl.pool.telekom.hu) (Ping timeout: 260 seconds) |
| 2023-09-30 22:48:46 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-09-30 22:53:51 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-09-30 22:53:51 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-09-30 22:53:51 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-30 22:54:54 +0200 | glguy | ghoulguy |
| 2023-09-30 22:57:55 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-30 22:58:17 +0200 | <EvanR> | it's still september glguy cut it out |
| 2023-09-30 22:59:07 +0200 | <ghoulguy> | EvanR: it's like 3 hours away UTC and I'll be afk |
| 2023-09-30 22:59:29 +0200 | <EvanR> | oh I figured you had it set to automatically change nick at midnight xD |
| 2023-09-30 23:06:18 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 272 seconds) |
| 2023-09-30 23:10:47 +0200 | <davean> | I am a touch surprised it isn't automated. |
| 2023-09-30 23:13:12 +0200 | privacy_ | (~privacy@47.219.84.6) |
| 2023-09-30 23:13:22 +0200 | privacy | (~privacy@user/privacy) (Ping timeout: 255 seconds) |
| 2023-09-30 23:21:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-30 23:23:30 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-09-30 23:25:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-30 23:26:40 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) |
| 2023-09-30 23:29:44 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-30 23:43:05 +0200 | <monochrom> | Oh hey ghoulguy haha nice to see you again! |
| 2023-09-30 23:43:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-30 23:49:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-09-30 23:50:00 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2023-09-30 23:50:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-30 23:51:17 +0200 | privacy_ | (~privacy@47.219.84.6) (Quit: Leaving) |
| 2023-09-30 23:56:07 +0200 | <ghoulguy> | ^_^ |