| 2022-02-11 00:00:42 +0100 | <EvanR> | also, it builds character |
| 2022-02-11 00:01:00 +0100 | wavemode | (~wavemode@2601:241:0:fc90:12bc:6a75:8601:ea04) |
| 2022-02-11 00:01:06 +0100 | <monochrom> | I know that feeling. |
| 2022-02-11 00:02:03 +0100 | <monochrom> | When I was a young math enthusiasist, I questioned the tradition math curriculum order of <natural numbers, integers, rationals, reals, complex, rings and fields, universal algebra> too. |
| 2022-02-11 00:02:30 +0100 | <monochrom> | I opined that it should be reversed. Kindergarten should start with universal algebra and maybe rings and fields. |
| 2022-02-11 00:02:46 +0100 | <monochrom> | You must be thankful that back then I hadn't herad of category theory yet. |
| 2022-02-11 00:02:55 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-02-11 00:02:58 +0100 | <monochrom> | Either that, or thankful that no one listened to me. |
| 2022-02-11 00:03:53 +0100 | <monochrom> | Except that someone did listen to someone else about New Math and did a bit of that. They tried to do set theory in kindergarten or something. |
| 2022-02-11 00:04:22 +0100 | <dolio> | Yeah, they'd alreaday tried your idea. |
| 2022-02-11 00:04:51 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-02-11 00:05:23 +0100 | <Franciman> | bourbaki |
| 2022-02-11 00:06:05 +0100 | <dolio> | Teaching universal algebra is probably a better idea than set theory, though. |
| 2022-02-11 00:06:12 +0100 | <monochrom> | haha |
| 2022-02-11 00:06:17 +0100 | ravella | (~ravella@user/ryanavella) |
| 2022-02-11 00:06:45 +0100 | <Franciman> | do they still teach ZF axiomatic set theory? |
| 2022-02-11 00:10:22 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-11 00:12:17 +0100 | <dolio> | I don't think it was ZF, per se. It was a lot less formal than that. |
| 2022-02-11 00:12:32 +0100 | <dolio> | Apparently abstract algebra was in the list of topics. |
| 2022-02-11 00:13:09 +0100 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-02-11 00:13:12 +0100 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-02-11 00:13:12 +0100 | <monochrom> | Näive set theory that only covers finite sets and doesn't bring up the tough questions so it's OK. |
| 2022-02-11 00:13:37 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-11 00:13:46 +0100 | <monochrom> | In fact, only at the level of what most programmers think of as "containers". |
| 2022-02-11 00:14:02 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: quit) |
| 2022-02-11 00:14:18 +0100 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) (Remote host closed the connection) |
| 2022-02-11 00:14:23 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-02-11 00:14:34 +0100 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) |
| 2022-02-11 00:15:57 +0100 | <EvanR> | we were forced to answer the question "what is a line (or circle)" with "a set of points" |
| 2022-02-11 00:16:13 +0100 | <monochrom> | Oh, damn. |
| 2022-02-11 00:16:36 +0100 | <EvanR> | now i see that's a crazy intersection of ideas |
| 2022-02-11 00:17:01 +0100 | FragByte | (~christian@user/fragbyte) (Ping timeout: 245 seconds) |
| 2022-02-11 00:17:21 +0100 | geekosaur | now wonders how much insanity he managed to miss |
| 2022-02-11 00:17:23 +0100 | FragByte | (~christian@user/fragbyte) |
| 2022-02-11 00:17:37 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-11 00:19:02 +0100 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) (Ping timeout: 256 seconds) |
| 2022-02-11 00:20:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-11 00:21:35 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-11 00:21:59 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 00:22:12 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-02-11 00:24:06 +0100 | <dolio> | Yeah, see, that kind of answer is exactly the kind of reason the set theory part would be useless. |
| 2022-02-11 00:25:34 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-11 00:25:46 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 00:25:57 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-11 00:27:01 +0100 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 245 seconds) |
| 2022-02-11 00:27:10 +0100 | <dolio> | 'All mathematical objects are built out of sets,' isn't an idea that actually makes understanding the objects any easier. |
| 2022-02-11 00:29:14 +0100 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) |
| 2022-02-11 00:31:44 +0100 | <EvanR> | today they probably have to do homotopy type theory and say sets are made out of shapes |
| 2022-02-11 00:33:45 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-11 00:33:48 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 00:33:54 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-02-11 00:34:55 +0100 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) (Ping timeout: 250 seconds) |
| 2022-02-11 00:37:09 +0100 | jao | (~jao@68.235.43.85) |
| 2022-02-11 00:43:38 +0100 | <janus> | what would be a neat name for `flip foldMap`. my coworker suggested `summarize`. and monoids are, according to cdsmith 'composable list summarizers' |
| 2022-02-11 00:44:20 +0100 | <janus> | maybe that is too 'smart'. but mapMconcat makes it looks like mapM, which it is not |
| 2022-02-11 00:44:33 +0100 | <janus> | mconcatMap? seems bulky |
| 2022-02-11 00:44:55 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-11 00:44:58 +0100 | <EvanR> | flippedFoldMap = flip foldMap |
| 2022-02-11 00:45:10 +0100 | <janus> | ;) |
| 2022-02-11 00:45:36 +0100 | <EvanR> | should clear up any confusion |
| 2022-02-11 00:46:10 +0100 | <monochrom> | @type flip foldMap |
| 2022-02-11 00:46:11 +0100 | <lambdabot> | (Foldable t, Monoid c) => t a -> (a -> c) -> c |
| 2022-02-11 00:46:21 +0100 | <monochrom> | reduceBy |
| 2022-02-11 00:46:30 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2022-02-11 00:46:50 +0100 | <monochrom> | Example: [1,23] `reduceBy` Sum >:) |
| 2022-02-11 00:47:13 +0100 | <jackdk> | janus: `paMdolf` |
| 2022-02-11 00:47:28 +0100 | <janus> | haha :D |
| 2022-02-11 00:47:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-11 00:47:51 +0100 | <janus> | pamDolf... it has a certain ring to it.. |
| 2022-02-11 00:47:58 +0100 | <ephemient> | (<&>/) |
| 2022-02-11 00:48:02 +0100 | <jackdk> | > (`foldMap` [1, 2, 3]) Sum |
| 2022-02-11 00:48:03 +0100 | <lambdabot> | Sum {getSum = 6} |
| 2022-02-11 00:48:05 +0100 | <monochrom> | This is strange, flip foldMap feels like the wrong order of arguments. |
| 2022-02-11 00:48:25 +0100 | <monochrom> | or s/wrong/very unusual/ |
| 2022-02-11 00:48:28 +0100 | dysfigured | dfg |
| 2022-02-11 00:48:33 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2022-02-11 00:48:33 +0100 | dfg | (~dfg@user/dfg) |
| 2022-02-11 00:48:38 +0100 | <janus> | monochrom: it's just like for is flipped traverse |
| 2022-02-11 00:48:45 +0100 | briandaed | (~root@109.95.143.81.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-02-11 00:49:01 +0100 | alMalsam1 | alMalsamo |
| 2022-02-11 00:49:03 +0100 | <jackdk> | monochrom: I think it's because imperative programmers tend not to use it, whereas `for_ = flip traverse_` and `for = flip traverse`map onto ad-hoc for-each-style constructs in other languages |
| 2022-02-11 00:49:24 +0100 | <Axman6> | :t \f xs = getDual (foldMap (Dual . f) xs) |
| 2022-02-11 00:49:25 +0100 | <lambdabot> | error: parse error on input ‘=’ |
| 2022-02-11 00:49:26 +0100 | <jackdk> | it's like a gap in the conceptual toolbox that you didn't know you had until you see foldMap |
| 2022-02-11 00:49:31 +0100 | <Axman6> | :t \f xs -> getDual (foldMap (Dual . f) xs) |
| 2022-02-11 00:49:32 +0100 | <lambdabot> | (Foldable t, Monoid a1) => (a2 -> a1) -> t a2 -> a1 |
| 2022-02-11 00:49:36 +0100 | <janus> | monochrom: often when you have a maybe, the function will be way larger than the Maybe. this is where i'd use for/pamDolf |
| 2022-02-11 00:50:18 +0100 | <jackdk> | % :set -XBlockArguments |
| 2022-02-11 00:50:18 +0100 | <yahb> | jackdk: |
| 2022-02-11 00:50:21 +0100 | <Axman6> | > (\f xs -> getDual (foldMap (Dual . f) xs)) show [1..10] |
| 2022-02-11 00:50:23 +0100 | <lambdabot> | "10987654321" |
| 2022-02-11 00:50:53 +0100 | FragByte_ | (~christian@user/fragbyte) |
| 2022-02-11 00:51:02 +0100 | <jackdk> | % Just 3 & foldMap \m -> Sum (m + 1) |
| 2022-02-11 00:51:02 +0100 | <yahb> | jackdk: Sum {getSum = 4} |
| 2022-02-11 00:51:03 +0100 | <monochrom> | The for-loop analogy may inspire very good names. forFold? foldFor? |
| 2022-02-11 00:51:11 +0100 | FragByte | (~christian@user/fragbyte) (Ping timeout: 245 seconds) |
| 2022-02-11 00:51:21 +0100 | FragByte_ | FragByte |
| 2022-02-11 00:51:21 +0100 | <jackdk> | I tend not to use blockarguments but find it compelling here |
| 2022-02-11 00:51:24 +0100 | <monochrom> | forReduce? |
| 2022-02-11 00:51:49 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 250 seconds) |
| 2022-02-11 00:51:59 +0100 | <jackdk> | % :set -XNoBlockArguments |
| 2022-02-11 00:51:59 +0100 | <yahb> | jackdk: |
| 2022-02-11 00:52:17 +0100 | <Axman6> | BlockArguments is one of the other extensions turned on by default in DAML that makes it feel just a little less cumbersome to write, and I should probably use it more in Haskell |
| 2022-02-11 00:52:53 +0100 | <janus> | chris smith just posted some suggestions at https://github.com/ndmitchell/extra/issues/87#issuecomment-1035645114 |
| 2022-02-11 00:53:15 +0100 | <monochrom> | Lately I took a look at Koka and found a syntax sugar even better than BlockArguments. |
| 2022-02-11 00:54:39 +0100 | <monochrom> | Suppose you have "f :: Foo -> Bar -> (() -> X) -> X", and you would normally use it like "f foo bar \() -> xxx" |
| 2022-02-11 00:55:03 +0100 | <monochrom> | The Koka syntax sugar is "with f foo bar { xxx }". So you even omit the lambda. |
| 2022-02-11 00:55:32 +0100 | <monochrom> | (Why is ()->X a useful type in Koka? Because that X is usually an effectful type, e.g., IO Y) |
| 2022-02-11 00:56:06 +0100 | <monochrom> | (And Koka is call-by-value like SML and Scheme so you do want a \()-> wrapper.) |
| 2022-02-11 00:57:55 +0100 | <Axman6> | what do you do if you have f :: Foo -> Bar -> (() -> Y) -> (() -> X) -> X? |
| 2022-02-11 00:58:25 +0100 | <monochrom> | Ah, no nicer syntax sugar for that. |
| 2022-02-11 00:58:30 +0100 | alp | (~alp@user/alp) |
| 2022-02-11 00:59:46 +0100 | <monochrom> | But types like the type of f are way more pervasive in Koka because it presents its effect system and library in terms of those types. |
| 2022-02-11 00:59:51 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:00:02 +0100 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 2022-02-11 01:00:05 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:00:13 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:00:15 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-11 01:00:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:00:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:00:44 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 01:00:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:00:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:01:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:01:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:01:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:01:39 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:01:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:02:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:02:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:02:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:02:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:02:43 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) |
| 2022-02-11 01:02:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:03:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:03:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:03:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:03:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:03:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 01:03:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 01:04:13 +0100 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-11 01:08:05 +0100 | Inst | (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) |
| 2022-02-11 01:08:41 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::f276) (Ping timeout: 245 seconds) |
| 2022-02-11 01:09:41 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-02-11 01:10:33 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 276 seconds) |
| 2022-02-11 01:10:53 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 01:11:38 +0100 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-02-11 01:11:55 +0100 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-02-11 01:12:19 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-11 01:19:16 +0100 | <Unicorn_Princess> | has anyone had any luck setting up spacemacs for haskell using lsp? |
| 2022-02-11 01:19:32 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 01:24:18 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 260 seconds) |
| 2022-02-11 01:27:45 +0100 | <geekosaur> | I thought it came pre-setup |
| 2022-02-11 01:28:29 +0100 | <Unicorn_Princess> | alas |
| 2022-02-11 01:28:37 +0100 | Inst | (~delicacie@2603:3017:80:0:e0f0:ede7:d35a:3a22) (Ping timeout: 240 seconds) |
| 2022-02-11 01:31:38 +0100 | <Unicorn_Princess> | there is a 'haskell' layer, and a 'lsp' layer, and you can tell the haskell layer to use lsp as the completion back-end (i guess it doesn't use it as default? what about other, non-completion tasks?).. and there's also the auto-completion layer, which the haskell layer installation instructions claim is necessary for completion, but i in c++ where i have lsp working i didn't need auto-completion layer, and anyway after |
| 2022-02-11 01:31:38 +0100 | <Unicorn_Princess> | installing hls with ghcup, something is still not working, and describe-lsp-session gives blank output |
| 2022-02-11 01:31:50 +0100 | <Unicorn_Princess> | in general things are a mess :) |
| 2022-02-11 01:32:31 +0100 | <Unicorn_Princess> | (and i am not remotely sure i am doing the right thing) |
| 2022-02-11 01:33:58 +0100 | Inst | (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) |
| 2022-02-11 01:34:57 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 01:35:53 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-02-11 01:36:10 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 01:36:15 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 01:37:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 01:37:33 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 01:37:33 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 01:37:54 +0100 | ellie | (~ellie@user/ellie) |
| 2022-02-11 01:38:21 +0100 | <shapr> | Does cabal support an hpc stanza or something? How do I automate running tests with included hpc output? |
| 2022-02-11 01:38:35 +0100 | <shapr> | cdsmith: How do you handle hpc with HMock? |
| 2022-02-11 01:41:55 +0100 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) |
| 2022-02-11 01:49:10 +0100 | benin | (~benin@183.82.31.24) |
| 2022-02-11 01:50:21 +0100 | <mjrosenb> | I have an object that I derived Show and Binary instances for. Is it reasonable that show foo produces a 500 megabyte string, but encodeFile "bar" foo produces a 5.3 gigabyte file? |
| 2022-02-11 01:54:49 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 01:55:11 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-02-11 01:55:21 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 01:55:42 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-02-11 01:55:51 +0100 | FragByte | (~christian@user/fragbyte) |
| 2022-02-11 01:57:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-02-11 01:57:07 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 01:57:15 +0100 | cheater | (~Username@user/cheater) |
| 2022-02-11 02:04:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 02:05:12 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 2022-02-11 02:05:28 +0100 | <monochrom> | Depends on the type but I can see how to design a type that causes derived Binary to be huge. |
| 2022-02-11 02:06:10 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 02:06:37 +0100 | <monochrom> | Consider the fact that if you have so much as "data X = C1 Int | C2 Int" then first of all every value incurs some bytes that derived Binary needs to tell itself whether the tag is C1 or C2. |
| 2022-02-11 02:07:49 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-02-11 02:08:02 +0100 | <monochrom> | Next thing IIRC is that even the Int part is not simply the bytes of Int. For some reason of being general, more bytes are devoted for "the length of the next field". |
| 2022-02-11 02:08:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 02:10:16 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 02:10:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-11 02:11:30 +0100 | meer | (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) |
| 2022-02-11 02:11:35 +0100 | <monochrom> | Ah nevermind but it always uses 8 bytes for Int. |
| 2022-02-11 02:11:37 +0100 | emf | (~emf@2620:10d:c090:400::5:21fc) (Ping timeout: 240 seconds) |
| 2022-02-11 02:13:03 +0100 | Inst | (~delicacie@2603:3017:80:0:5cf3:2e04:7922:1ae5) (Ping timeout: 250 seconds) |
| 2022-02-11 02:13:08 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-11 02:16:20 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-02-11 02:16:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-11 02:16:52 +0100 | <mjrosenb> | it looks like it doesn't always use 8 bytes for Word16 or Word8 :-) |
| 2022-02-11 02:17:14 +0100 | <mjrosenb> | that being said, it is still 1.3 gigabytes, and I don't think I'm doing anythign all that bad |
| 2022-02-11 02:17:46 +0100 | <mjrosenb> | unless it also uses a header for newtype |
| 2022-02-11 02:19:00 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-11 02:20:09 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-11 02:20:37 +0100 | ubert | (~Thunderbi@p200300ecdf0994184cc217ea87d4c264.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 02:20:37 +0100 | emf_ | (~emf@2620:10d:c090:400::5:83f2) |
| 2022-02-11 02:20:55 +0100 | ubert | (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) |
| 2022-02-11 02:22:13 +0100 | deer | (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) |
| 2022-02-11 02:22:33 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 02:22:59 +0100 | <neverwas> | Unicorn_Princess: hls appears to have made significant progress since that README.org was last updated, or at least those portions characterizing it as rough around the edges and more difficult to get going (August 2020) |
| 2022-02-11 02:25:26 +0100 | meer | (~delicacie@2603:3017:80:0:16b:f1cd:e4c0:5b40) (Ping timeout: 260 seconds) |
| 2022-02-11 02:26:44 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-02-11 02:27:39 +0100 | abhinav | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-11 02:31:32 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 02:34:30 +0100 | <Unicorn_Princess> | neverwas, unfortunately i can't get it to work at all |
| 2022-02-11 02:35:07 +0100 | <Unicorn_Princess> | but i have no idea which instructions to follow, so, maybe there's an easy way and i'm doing something stupid |
| 2022-02-11 02:36:13 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-11 02:38:03 +0100 | abhinav | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-02-11 02:39:14 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 02:39:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 02:40:53 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 02:41:01 +0100 | yauhsien_ | (~yauhsien@61-231-45-223.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-11 02:42:19 +0100 | <Unicorn_Princess> | the more i try to fix it the more broken it gets. now it doesn't even recognize the file as haskell anymore ; ; |
| 2022-02-11 02:44:39 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 02:46:21 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 02:46:51 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-02-11 02:51:11 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: jsdsk) |
| 2022-02-11 02:51:13 +0100 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 02:52:03 +0100 | dajoer | (~david@user/gvx) |
| 2022-02-11 02:52:12 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 02:52:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 02:52:20 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 02:52:20 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 02:53:17 +0100 | emf_ | (~emf@2620:10d:c090:400::5:83f2) (Ping timeout: 240 seconds) |
| 2022-02-11 02:59:14 +0100 | deer | (~delicacie@2603:3017:80:0:9cf2:41b7:8929:babb) (Ping timeout: 250 seconds) |
| 2022-02-11 03:00:53 +0100 | <Unicorn_Princess> | i'll try and enable it in plain emacs tomorrow, no spacemacs. wish me luck. |
| 2022-02-11 03:01:59 +0100 | alp | (~alp@user/alp) (Ping timeout: 256 seconds) |
| 2022-02-11 03:02:57 +0100 | deer | (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) |
| 2022-02-11 03:03:38 +0100 | meer | (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) |
| 2022-02-11 03:03:55 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 03:04:12 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-02-11 03:04:38 +0100 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-11 03:05:49 +0100 | emf | (~emf@2620:10d:c090:400::5:322c) (Quit: emf) |
| 2022-02-11 03:05:57 +0100 | xsperry | (~xs@user/xsperry) (Remote host closed the connection) |
| 2022-02-11 03:07:27 +0100 | deer | (~delicacie@2603:3017:80:0:fc91:e6a2:3374:ab63) (Ping timeout: 250 seconds) |
| 2022-02-11 03:08:03 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) |
| 2022-02-11 03:09:17 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-02-11 03:09:17 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 2022-02-11 03:11:56 +0100 | califax- | (~califax@user/califx) |
| 2022-02-11 03:14:02 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 03:16:39 +0100 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-02-11 03:16:40 +0100 | califax- | califax |
| 2022-02-11 03:17:23 +0100 | zincy | (~tom@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-11 03:17:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-02-11 03:19:06 +0100 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 260 seconds) |
| 2022-02-11 03:19:36 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-02-11 03:20:02 +0100 | mbuf | (~Shakthi@117.96.201.174) |
| 2022-02-11 03:20:25 +0100 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 03:20:48 +0100 | deer | (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) |
| 2022-02-11 03:21:19 +0100 | meer | (~delicacie@2603:3017:80:0:15a1:1fe2:f71:35ed) (Ping timeout: 250 seconds) |
| 2022-02-11 03:21:51 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 03:22:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Ping timeout: 250 seconds) |
| 2022-02-11 03:23:39 +0100 | emf | (~emf@2620:10d:c090:400::5:322c) (Client Quit) |
| 2022-02-11 03:25:00 +0100 | emf | (~emf@2620:10d:c090:400::5:322c) |
| 2022-02-11 03:29:37 +0100 | deer | (~delicacie@2603:3017:80:0:457c:8cd6:204e:2f76) (Ping timeout: 240 seconds) |
| 2022-02-11 03:31:08 +0100 | justGhost | (~justache@user/justache) (Remote host closed the connection) |
| 2022-02-11 03:32:03 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 03:32:07 +0100 | justGhost | (~justache@user/justache) |
| 2022-02-11 03:40:23 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2022-02-11 03:41:06 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 03:46:21 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-11 03:48:19 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 03:55:45 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 03:57:57 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 03:58:17 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 03:58:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 03:58:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 04:00:16 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 04:00:57 +0100 | xff0x | (~xff0x@2001:1a81:53bc:500:d58f:5284:91ba:f00d) (Ping timeout: 240 seconds) |
| 2022-02-11 04:03:06 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 04:03:22 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 04:05:12 +0100 | deer | (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) |
| 2022-02-11 04:05:17 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-11 04:05:37 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-11 04:06:59 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 04:08:55 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 04:08:55 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 04:08:55 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 04:13:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 04:13:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-11 04:14:38 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 04:16:48 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 04:17:27 +0100 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 2022-02-11 04:27:29 +0100 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) |
| 2022-02-11 04:31:57 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-11 04:34:08 +0100 | td_ | (~td@94.134.91.3) (Ping timeout: 250 seconds) |
| 2022-02-11 04:35:32 +0100 | meer | (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) |
| 2022-02-11 04:35:52 +0100 | deer | (~delicacie@2601:6c4:4080:3f80:6c49:b76a:f28e:200e) (Ping timeout: 250 seconds) |
| 2022-02-11 04:36:00 +0100 | td_ | (~td@94.134.91.17) |
| 2022-02-11 04:36:05 +0100 | deer | (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) |
| 2022-02-11 04:36:11 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-11 04:39:01 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-02-11 04:39:01 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-11 04:39:01 +0100 | finn_elija | FinnElija |
| 2022-02-11 04:39:57 +0100 | meer | (~delicacie@2601:6c4:4080:3f80:3413:a7ad:76c8:d9ab) (Ping timeout: 240 seconds) |
| 2022-02-11 04:40:49 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 04:42:37 +0100 | deer | (~delicacie@2601:6c4:4080:3f80:d8e8:7c5f:fc87:41f6) (Ping timeout: 240 seconds) |
| 2022-02-11 04:43:04 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-02-11 04:43:10 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-02-11 04:43:46 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 04:44:19 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-11 04:52:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 05:01:51 +0100 | burnsidesLlama | (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-11 05:05:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 05:07:26 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 05:07:26 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 05:07:26 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 05:10:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 05:11:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 05:18:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 05:18:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 05:18:16 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 05:23:19 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 05:29:01 +0100 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) |
| 2022-02-11 05:32:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 05:40:19 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 05:42:14 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 05:50:57 +0100 | jao | (~jao@68.235.43.85) (Ping timeout: 240 seconds) |
| 2022-02-11 05:59:38 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-11 06:01:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 06:09:23 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2022-02-11 06:19:59 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-02-11 06:20:29 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 06:31:47 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 06:32:47 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-02-11 06:34:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 06:35:51 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 06:36:09 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 06:38:23 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:dcda:1699:43fc:8977) (Remote host closed the connection) |
| 2022-02-11 06:39:24 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) |
| 2022-02-11 06:42:27 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 06:47:57 +0100 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 2022-02-11 06:48:51 +0100 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-11 06:51:09 +0100 | mbuf | (~Shakthi@117.96.201.174) (Ping timeout: 256 seconds) |
| 2022-02-11 06:51:17 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-02-11 06:59:44 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-11 07:01:02 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 07:04:38 +0100 | jinsun | (~quassel@user/jinsun) |
| 2022-02-11 07:05:18 +0100 | mbuf | (~Shakthi@122.173.240.119) |
| 2022-02-11 07:05:57 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-02-11 07:06:14 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-11 07:11:26 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 07:11:28 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 07:14:12 +0100 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Quit: WeeChat 3.3) |
| 2022-02-11 07:15:36 +0100 | nattiestnate | (~nate@2001:448a:4063:1cc8:3706:7ea7:62f5:aeaf) (Quit: WeeChat 3.4) |
| 2022-02-11 07:16:45 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-02-11 07:17:44 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-11 07:18:55 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2022-02-11 07:19:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 07:19:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 07:19:02 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 07:19:16 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 07:20:57 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-02-11 07:21:46 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) |
| 2022-02-11 07:24:01 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 07:25:36 +0100 | tomku | (~tomku@user/tomku) |
| 2022-02-11 07:32:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-11 07:41:25 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 07:43:05 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 07:47:03 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-02-11 07:49:17 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-11 07:51:56 +0100 | michalz | (~michalz@185.246.204.65) |
| 2022-02-11 07:59:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 08:01:25 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 08:03:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 08:06:51 +0100 | pmk | (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) |
| 2022-02-11 08:11:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-02-11 08:14:12 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:4826:55d6:e8be:a672) (Remote host closed the connection) |
| 2022-02-11 08:16:25 +0100 | xsperry | (~xs@user/xsperry) |
| 2022-02-11 08:20:15 +0100 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 08:22:31 +0100 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) |
| 2022-02-11 08:23:50 +0100 | anon66200164 | (~anon66200@host-92-19-99-147.as13285.net) () |
| 2022-02-11 08:29:36 +0100 | thevishy | (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) |
| 2022-02-11 08:31:53 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-11 08:32:31 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-11 08:32:39 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-11 08:33:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 08:36:54 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 260 seconds) |
| 2022-02-11 08:37:34 +0100 | pmk | (~user@2a02:587:9408:ec24:4207:d482:fa11:d902) (Remote host closed the connection) |
| 2022-02-11 08:41:39 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 08:43:18 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 08:45:48 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-11 08:46:20 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 2022-02-11 08:48:40 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) |
| 2022-02-11 08:49:10 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 08:55:24 +0100 | Ariakenom_ | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) |
| 2022-02-11 08:57:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-02-11 08:57:37 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 08:58:04 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 08:59:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-11 08:59:20 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efe:9d00:dcfc:c5fc:22b3:cc92) (Ping timeout: 250 seconds) |
| 2022-02-11 09:01:19 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 09:02:54 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 09:03:08 +0100 | benin | (~benin@183.82.31.24) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-11 09:04:57 +0100 | phma | (~phma@host-67-44-208-245.hnremote.net) (Read error: Connection reset by peer) |
| 2022-02-11 09:07:43 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 09:08:12 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 09:08:14 +0100 | phma | (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) |
| 2022-02-11 09:08:57 +0100 | alp | (~alp@user/alp) |
| 2022-02-11 09:09:22 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:91b:49f7:fde:97e3) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-02-11 09:09:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) |
| 2022-02-11 09:09:43 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 09:10:52 +0100 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) |
| 2022-02-11 09:13:57 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-02-11 09:18:52 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 09:22:28 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 09:26:25 +0100 | dschrempf | (~dominik@mobiledyn-62-240-134-71.mrsn.at) (Ping timeout: 256 seconds) |
| 2022-02-11 09:26:58 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 09:26:59 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:a99c:f444:1e7c:25d1) |
| 2022-02-11 09:29:01 +0100 | polyphem | (~rod@2a02:810d:840:8754:f9b2:95ef:efe9:3c0f) (Ping timeout: 256 seconds) |
| 2022-02-11 09:31:58 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-11 09:33:37 +0100 | phma | (~phma@2600:1004:b105:1903:6c5c:ec4b:e61f:6154) (Ping timeout: 240 seconds) |
| 2022-02-11 09:33:42 +0100 | phma_ | (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) |
| 2022-02-11 09:34:21 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 09:35:16 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-02-11 09:35:30 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-11 09:38:19 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 2022-02-11 09:39:45 +0100 | vpan | (~0@212.117.1.172) |
| 2022-02-11 09:43:50 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 09:44:03 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 09:47:13 +0100 | max22- | (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) |
| 2022-02-11 09:47:13 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 09:47:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 09:48:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 09:48:57 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) |
| 2022-02-11 09:49:15 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:30cc:b923:a3cb:c39c) (Remote host closed the connection) |
| 2022-02-11 09:52:03 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 09:52:14 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 09:58:26 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 09:58:43 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) |
| 2022-02-11 10:00:06 +0100 | ParsaAlizadeh[m] | (~lizadehma@2001:470:69fc:105::1:65a4) (Quit: You have been kicked for being idle) |
| 2022-02-11 10:05:31 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-66-61.hive.is) (Ping timeout: 256 seconds) |
| 2022-02-11 10:05:38 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-11 10:16:35 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-02-11 10:20:19 +0100 | nunggu | (~q@user/nunggu) (Quit: nunggu) |
| 2022-02-11 10:24:07 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) (Remote host closed the connection) |
| 2022-02-11 10:30:45 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 10:32:53 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 10:32:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 10:33:04 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 10:38:08 +0100 | <dminuoso> | Mmm, strange we dont have `altMap :: (Foldable t, Alternative f) => t a -> (a -> f b) -> f b` in base |
| 2022-02-11 10:38:27 +0100 | <dminuoso> | asum feels awkward to use for the same reason sequence does |
| 2022-02-11 10:40:20 +0100 | <dminuoso> | % :t getAlt . foldMap Alt |
| 2022-02-11 10:40:20 +0100 | <yahb> | dminuoso: forall {k} {t :: * -> *} {f :: k -> *} {a :: k}. (Foldable t, Monoid (Alt f a)) => t (f a) -> f a |
| 2022-02-11 10:40:29 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) |
| 2022-02-11 10:40:47 +0100 | <dminuoso> | % :set -XNoPolyKinds |
| 2022-02-11 10:40:47 +0100 | <yahb> | dminuoso: |
| 2022-02-11 10:40:48 +0100 | <dminuoso> | % :t getAlt . foldMap Alt |
| 2022-02-11 10:40:48 +0100 | <yahb> | dminuoso: (Foldable t, Alternative f) => t (f a) -> f a |
| 2022-02-11 10:40:52 +0100 | <dminuoso> | Guess this works |
| 2022-02-11 10:41:36 +0100 | caimeo | (uid540603@id-540603.lymington.irccloud.com) |
| 2022-02-11 10:42:11 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 10:42:37 +0100 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-02-11 10:42:41 +0100 | <reactormonk[m]> | % :t ala Alt foldMap |
| 2022-02-11 10:42:41 +0100 | <yahb> | reactormonk[m]: (Foldable t, Alternative g) => t (g b) -> g b |
| 2022-02-11 10:43:28 +0100 | <reactormonk[m]> | dminuoso: ^ |
| 2022-02-11 10:43:31 +0100 | Vajb | (~Vajb@2001:999:274:c862:3b86:e1e1:5bff:355e) (Ping timeout: 250 seconds) |
| 2022-02-11 10:43:34 +0100 | nunggu | (~q@user/nunggu) |
| 2022-02-11 10:43:38 +0100 | <reactormonk[m]> | Basically the same, but "fancy" |
| 2022-02-11 10:43:47 +0100 | <dminuoso> | Yeah, its just I dont like depending on coercible-utils for this |
| 2022-02-11 10:44:04 +0100 | <reactormonk[m]> | Understandable |
| 2022-02-11 10:44:06 +0100 | <dminuoso> | `... altMap ... where altMap = getAlt . foldMap Alt` seems more sensible than fancy ala. :) |
| 2022-02-11 10:44:30 +0100 | <dminuoso> | Plus it saves me from explaining yet-another fancy trick to my coworkers when they look at this |
| 2022-02-11 10:45:29 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-11 10:47:12 +0100 | <dminuoso> | Ah hold on, getAlt . foldMap is not quite the same |
| 2022-02-11 10:47:35 +0100 | <dminuoso> | % altMap f = getAlt . foldMap (Alt . f) |
| 2022-02-11 10:47:35 +0100 | <yahb> | dminuoso: |
| 2022-02-11 10:47:38 +0100 | <dminuoso> | Here we go |
| 2022-02-11 10:48:07 +0100 | <dminuoso> | reactormonk[m]: I think coercible-utils has something for this too, right? |
| 2022-02-11 10:48:41 +0100 | <dminuoso> | % :t ala' Alt foldMap |
| 2022-02-11 10:48:41 +0100 | <yahb> | dminuoso: ; <interactive>:1:1: error:; * Variable not in scope: ala' :: (f0 a0 -> Alt f0 a0) -> ((a1 -> m0) -> t0 a1 -> m0) -> t; * Perhaps you meant one of these: `ala' (imported from Control.Lens), `alaf' (imported from Control.Lens) |
| 2022-02-11 10:49:03 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-02-11 10:49:06 +0100 | <dminuoso> | % :t alaf Alt foldMap |
| 2022-02-11 10:49:06 +0100 | <yahb> | dminuoso: (Foldable t, Alternative g) => (a -> g b) -> t a -> g b |
| 2022-02-11 10:49:11 +0100 | <dminuoso> | Yeah that |
| 2022-02-11 10:49:33 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-11 10:49:45 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 10:49:46 +0100 | max22- | (~maxime@2a01cb08833598006e0cb925e84f6514.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 2022-02-11 10:50:17 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 2022-02-11 10:50:52 +0100 | CHUD | (~CHUD@edu791B.kent.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 10:50:53 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 10:53:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 2022-02-11 11:00:13 +0100 | Graham31415 | (~Graham314@130.226.236.6) |
| 2022-02-11 11:01:35 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-11 11:03:18 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 11:04:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e4d:3167:781a:2a42) (Quit: WeeChat 2.8) |
| 2022-02-11 11:08:26 +0100 | <Graham31415> | To what extent should I be worried about things in base being marked as "experimental"? Right now I'm looking at Control.Concurrency. Also, what does it mean to be "non-portable"? OS portability? Hardware platform portability? Compiler portability? |
| 2022-02-11 11:09:11 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-02-11 11:09:39 +0100 | ardell | (~ardell@user/ardell) |
| 2022-02-11 11:09:47 +0100 | <Graham31415> | Looking at the ghc git repo, https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/Control/Concurrent.hs hasn't been modified in 4 years. |
| 2022-02-11 11:10:13 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-11 11:11:12 +0100 | FragByte | (~christian@user/fragbyte) |
| 2022-02-11 11:15:00 +0100 | <dminuoso> | Graham31415: Not at all |
| 2022-02-11 11:15:49 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 11:16:38 +0100 | <Franciman> | Graham31415: non portable usually means that it only works with GHC |
| 2022-02-11 11:16:44 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-11 11:16:56 +0100 | <dminuoso> | Graham31415: So some guidance can be found if you dig around hierarchial haskell libraries https://web.archive.org/web/20070629214525/http://www.haskell.org/hierarchical-modules/libraries/r… |
| 2022-02-11 11:16:59 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 11:17:10 +0100 | <dminuoso> | Which outlines the original intent of these wordings. |
| 2022-02-11 11:17:34 +0100 | <dminuoso> | Note that `experimental`, even if adhering to that original intent, does not mean it *will* break, but merely that it will not make any promises. |
| 2022-02-11 11:17:43 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 11:18:05 +0100 | <Franciman> | so you should take into account that it can break |
| 2022-02-11 11:18:21 +0100 | <Franciman> | but in my experience, this happens extremely rarely |
| 2022-02-11 11:18:26 +0100 | <Franciman> | for core libraries |
| 2022-02-11 11:18:34 +0100 | <dminuoso> | The reality of the stability field is, its relatively meaningless |
| 2022-02-11 11:18:51 +0100 | <Graham31415> | Ok, thanks. I'm guess that there's fairly little choice if one wants comparable functionality with a "stable" gaurantee? |
| 2022-02-11 11:18:58 +0100 | <dminuoso> | There's a lot of libraries that promise PVP (our equivalent of SemVer), but put "stability experimental" into the cabal packages |
| 2022-02-11 11:19:19 +0100 | <dminuoso> | Graham31415: Well, these fields are poorly managed - if at all. |
| 2022-02-11 11:19:46 +0100 | max22- | (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) |
| 2022-02-11 11:20:03 +0100 | <Graham31415> | Yeah, I'm getting that impression. Like the dead links all over haskell.org wiki. |
| 2022-02-11 11:20:08 +0100 | yauhsien | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-11 11:20:47 +0100 | <dminuoso> | Graham31415: But if its in base libraries, they are likely meaningful |
| 2022-02-11 11:20:49 +0100 | <dminuoso> | The thing is |
| 2022-02-11 11:21:11 +0100 | <dminuoso> | base is a complicated package, so per-module guarantees are probably more sensible anyway |
| 2022-02-11 11:21:45 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 11:21:48 +0100 | <dminuoso> | And like we pointed out, experimental does not mean "its notoriously unstable", but merely that a base version update of any kind *can* induce breaking changes |
| 2022-02-11 11:21:57 +0100 | <dminuoso> | But that's unrelated to how likely that is |
| 2022-02-11 11:24:52 +0100 | <Graham31415> | Cool, I think I have a better intuition about this now. I see from https://packdeps.haskellers.com/reverse/base that most packages depend on base < 5. |
| 2022-02-11 11:25:01 +0100 | <Graham31415> | I'll read the PVP... |
| 2022-02-11 11:25:03 +0100 | CHUD | (~CHUD@dhcp636F.kent.ac.uk) |
| 2022-02-11 11:26:17 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 11:32:15 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 11:32:15 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 11:32:15 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 11:37:30 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-02-11 11:39:24 +0100 | drdo | (~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 11:41:03 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 11:41:25 +0100 | drdo | (~drdo@roach0.drdo.eu) |
| 2022-02-11 11:41:32 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-11 11:42:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 250 seconds) |
| 2022-02-11 11:42:30 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:43:14 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 11:44:07 +0100 | ubert1 | (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) |
| 2022-02-11 11:44:44 +0100 | boxscape_ | (~boxscape_@vpn-44-161.hq.eso.org) |
| 2022-02-11 11:46:11 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 11:46:12 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:46:56 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 11:50:15 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 11:53:31 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 11:53:38 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 11:54:17 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:00:43 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 12:01:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2022-02-11 12:02:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-11 12:08:38 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-66-61.hive.is) |
| 2022-02-11 12:14:14 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-11 12:14:25 +0100 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) |
| 2022-02-11 12:17:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 12:18:41 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 245 seconds) |
| 2022-02-11 12:19:45 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 12:19:45 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:19:47 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 12:20:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:23:42 +0100 | jalil | (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) |
| 2022-02-11 12:24:36 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:27:15 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 12:27:22 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 12:27:51 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 12:27:56 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-02-11 12:31:22 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 12:31:37 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 12:34:33 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:35:00 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
| 2022-02-11 12:35:01 +0100 | chenqisu1 | (~chenqisu1@183.217.200.249) (Quit: Leaving) |
| 2022-02-11 12:35:04 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:35:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-11 12:36:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-02-11 12:36:54 +0100 | CHUD | (~CHUD@dhcp636F.kent.ac.uk) (Remote host closed the connection) |
| 2022-02-11 12:40:45 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-11 12:40:54 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) |
| 2022-02-11 12:42:03 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 12:44:40 +0100 | boxscape_ | (~boxscape_@vpn-44-161.hq.eso.org) (Ping timeout: 250 seconds) |
| 2022-02-11 12:44:44 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:44:56 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:47:16 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:47:39 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 12:48:11 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-02-11 12:48:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:50:44 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
| 2022-02-11 12:51:16 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-02-11 12:51:33 +0100 | mmhat | (~mmh@55d4c207.access.ecotel.net) |
| 2022-02-11 12:52:27 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) |
| 2022-02-11 12:54:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:55:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 12:59:29 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 12:59:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 13:00:23 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:02:38 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 13:02:59 +0100 | <ProfSimm> | Are all Haskell functions technically single expression that returns (i.e. is substitued in the call) |
| 2022-02-11 13:03:07 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 13:03:26 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:03:40 +0100 | <dminuoso> | ProfSimm: The question is phrased a bit weirdly, let me rephrase what I understood |
| 2022-02-11 13:04:04 +0100 | <dminuoso> | Are you asking whether `calling a function` merely constitutes `substituting with its definition`? |
| 2022-02-11 13:04:05 +0100 | <[exa]> | "referential transparency" maybe? |
| 2022-02-11 13:04:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 13:04:46 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:06:15 +0100 | <dminuoso> | If you apply a function to its arguments, the semantics of that is the same as if you had replaced the function with its definition (modulo some desugaring for pattern matching or multiple function definitions) |
| 2022-02-11 13:06:36 +0100 | <dminuoso> | Which makes it easy to understand what any code does. Just substitute in any order you like |
| 2022-02-11 13:06:42 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 13:06:55 +0100 | <dminuoso> | And in fact, in principle we dont impose any order in which that substitution even happens |
| 2022-02-11 13:06:59 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 2022-02-11 13:07:12 +0100 | <dminuoso> | (In the absence of certain vodoo primitives that we shall ignore for the purpose of this discussion) |
| 2022-02-11 13:07:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:08:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:09:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 13:10:50 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:11:04 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:12:32 +0100 | wavemode | (~wavemode@2601:241:0:fc90:12bc:6a75:8601:ea04) (Ping timeout: 256 seconds) |
| 2022-02-11 13:12:42 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:12:51 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:12:57 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 2022-02-11 13:13:39 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-11 13:14:16 +0100 | <dminuoso> | So if we have `f x = <body>`, then an expression `f 1` can be substituted with <body>, with any occurence of a free-variable `x` replaced with 1. |
| 2022-02-11 13:14:17 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-11 13:25:46 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2022-02-11 13:26:14 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 252 seconds) |
| 2022-02-11 13:26:48 +0100 | <iphy> | https://hackage.haskell.org/package/timers-0.2.0.4 seems dead (it's not in stackage), is there any similar package I can use? |
| 2022-02-11 13:27:11 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 13:28:06 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 13:29:37 +0100 | <geekosaur> | "notin stackage" may simply mean nobody'srequested it yet |
| 2022-02-11 13:29:51 +0100 | <geekosaur> | it's not like stackage actively searches out packages to include |
| 2022-02-11 13:30:59 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 13:31:09 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 2022-02-11 13:32:26 +0100 | <iphy> | I see |
| 2022-02-11 13:33:49 +0100 | polyphem_ | polyphem |
| 2022-02-11 13:36:15 +0100 | kfj_ | (~kfj@94.198.43.75) |
| 2022-02-11 13:36:17 +0100 | <iphy> | I'll do extra-deps then |
| 2022-02-11 13:37:22 +0100 | kfj_ | (~kfj@94.198.43.75) (Client Quit) |
| 2022-02-11 13:37:23 +0100 | dsrt^ | (~dsrt@128-092-160-106.biz.spectrum.com) (Remote host closed the connection) |
| 2022-02-11 13:41:25 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 13:42:26 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2022-02-11 13:43:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 13:43:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:43:46 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:44:26 +0100 | phma_ | (phma@2001:5b0:211b:9208:8d1f:a4f2:ccb:6f41) (Read error: Connection reset by peer) |
| 2022-02-11 13:46:09 +0100 | phma_ | (phma@2001:5b0:210d:70f8:60e0:e2f9:8ba1:2fd7) |
| 2022-02-11 13:46:17 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:833f:e9c7:6325:4206) (Ping timeout: 240 seconds) |
| 2022-02-11 13:51:42 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-11 13:51:48 +0100 | slack1256 | (~slack1256@191.126.99.204) |
| 2022-02-11 13:52:03 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 13:52:13 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 13:52:19 +0100 | <ProfSimm> | dminuoso: this question came from me wondering when does order of expressions matter and when not. For example I don't need to define a variable before i use it, but pattern matching order matters |
| 2022-02-11 13:52:50 +0100 | <dminuoso> | ProfSimm: The order only matters in pattern matching. |
| 2022-02-11 13:53:03 +0100 | <dminuoso> | (That and in certain magic voodoo primitives) |
| 2022-02-11 13:53:25 +0100 | <dminuoso> | Those voodoo primities (seq, pseq, !) exist precisely for when one wants to control evaluation order for performance reasons. |
| 2022-02-11 13:53:57 +0100 | <dminuoso> | But other than that the evaluation is left unspecified because it really doesnt matter |
| 2022-02-11 13:54:26 +0100 | <dminuoso> | It's similar to math where, say if you have `(1 + 2) * (3 + 4)` it really doesnt matter whether you first reduce 1 + 3, or 3 + 4 |
| 2022-02-11 13:54:44 +0100 | <dminuoso> | It makes no difference, so the reader is free to do it in any way they prefer. Same story with Haskell |
| 2022-02-11 13:55:28 +0100 | <dminuoso> | ontop we have non-strict semantics, which means that in reality things are only reduced if they are needed, and only up to a certain point |
| 2022-02-11 13:55:38 +0100 | <dminuoso> | @src cycle |
| 2022-02-11 13:55:38 +0100 | <lambdabot> | cycle [] = undefined |
| 2022-02-11 13:55:38 +0100 | <lambdabot> | cycle xs = xs' where xs' = xs ++ xs' |
| 2022-02-11 13:55:55 +0100 | <dminuoso> | % take 10 (cycle [1,2,3]) |
| 2022-02-11 13:55:55 +0100 | <yahb> | dminuoso: [1,2,3,1,2,3,1,2,3,1] |
| 2022-02-11 13:56:32 +0100 | <dminuoso> | While in principle the second argument to `take` is an infinite list, because we only evaluate on demand and only up until we see a data constructor (and some other cases), this does not end up in an infinite loop |
| 2022-02-11 14:00:39 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 2022-02-11 14:00:40 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:01:49 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:05:01 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-02-11 14:05:01 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:05:38 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:06:36 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-11 14:07:42 +0100 | <ProfSimm> | dminuoso: ooo, magic voodoo primitives :) ? Like what |
| 2022-02-11 14:07:54 +0100 | <ProfSimm> | Oh stil reading |
| 2022-02-11 14:08:24 +0100 | <ProfSimm> | dminuoso: when is order of execution for performance reasons? |
| 2022-02-11 14:08:31 +0100 | <ProfSimm> | rather than semantics |
| 2022-02-11 14:09:49 +0100 | alp | (~alp@user/alp) |
| 2022-02-11 14:11:41 +0100 | <dminuoso> | ProfSimm: So in GHC haskell we have lazyness. That means, if you write `let x = ...` there must be some representation in the implementation, and that costs memory. |
| 2022-02-11 14:12:34 +0100 | <dminuoso> | So let's say we have a list of things, all of which would automatically be lazy (and thus have some memory representation for that lazyness), that means we have to keep all those representations in memory |
| 2022-02-11 14:13:25 +0100 | <dminuoso> | But if we, as a programmer, know we are going to need each value regardless, then we can give additional hints to force evaluating these elements when you demand that list. |
| 2022-02-11 14:13:42 +0100 | <dminuoso> | Such that this list will not contain a list of lazy things, but a list of already computed values |
| 2022-02-11 14:14:04 +0100 | <dminuoso> | So as a simple example, lets say we have a tuple of three elements |
| 2022-02-11 14:14:46 +0100 | <ProfSimm> | dminuoso: ah I was aware of lazy eval, but I didn't know you can force eval outside IO monad and the like |
| 2022-02-11 14:16:21 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2022-02-11 14:18:17 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 14:20:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-11 14:21:44 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 14:22:17 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 14:22:52 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-02-11 14:24:10 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-11 14:24:45 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:69e5:685a:dbaf:e7b2) (Ping timeout: 250 seconds) |
| 2022-02-11 14:25:31 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) |
| 2022-02-11 14:33:24 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:33:47 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:34:51 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-11 14:37:15 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-02-11 14:38:05 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 14:38:27 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 14:38:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 14:40:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 14:40:37 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-11 14:42:02 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-02-11 14:42:41 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 14:44:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-11 14:44:33 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 14:46:58 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 14:47:08 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 14:47:17 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 14:49:40 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-11 14:50:51 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 276 seconds) |
| 2022-02-11 14:52:29 +0100 | slack1729 | (~slack1256@181.42.43.2) |
| 2022-02-11 14:55:17 +0100 | slack1256 | (~slack1256@191.126.99.204) (Ping timeout: 240 seconds) |
| 2022-02-11 14:58:44 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-11 14:59:08 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-02-11 15:00:03 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) |
| 2022-02-11 15:00:43 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 15:00:47 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 15:02:11 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:02:15 +0100 | slack1256 | (~slack1256@191.126.99.204) |
| 2022-02-11 15:02:17 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:02:53 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-11 15:04:08 +0100 | slack1729 | (~slack1256@181.42.43.2) (Ping timeout: 252 seconds) |
| 2022-02-11 15:04:42 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 2022-02-11 15:05:16 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) |
| 2022-02-11 15:05:55 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 250 seconds) |
| 2022-02-11 15:06:39 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-11 15:07:03 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 15:08:02 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 15:13:10 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-11 15:13:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 15:13:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 15:13:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 15:18:57 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-11 15:19:27 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:19:52 +0100 | opticblast | (~june@secure-165.caltech.edu) |
| 2022-02-11 15:20:09 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:20:37 +0100 | opticblast | (~june@secure-165.caltech.edu) () |
| 2022-02-11 15:20:45 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 15:21:43 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-02-11 15:32:17 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-02-11 15:33:23 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-11 15:33:23 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 15:33:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 15:34:07 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 15:34:23 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-02-11 15:36:17 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 15:37:18 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 15:38:10 +0100 | Techcable | (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 2022-02-11 15:38:18 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-02-11 15:39:53 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:efaf:a053:4338:c053) (Ping timeout: 252 seconds) |
| 2022-02-11 15:40:45 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) |
| 2022-02-11 15:45:31 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-11 15:45:49 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Remote host closed the connection) |
| 2022-02-11 15:48:32 +0100 | stilgart_ | (~Christoph@chezlefab.net) (Ping timeout: 240 seconds) |
| 2022-02-11 15:54:40 +0100 | acidsys | (~LSD@2.lsd.systems) (Quit: I love you.) |
| 2022-02-11 15:55:35 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-11 15:58:07 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 16:01:50 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:bd48:3fa6:d41:7f9) (Quit: Konversation terminated!) |
| 2022-02-11 16:05:18 +0100 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2022-02-11 16:05:19 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:05:51 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:08:56 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 16:08:56 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 16:08:56 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 16:09:19 +0100 | hyiltiz | (~quassel@31.220.5.250) |
| 2022-02-11 16:09:53 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 16:10:15 +0100 | shailangsa | (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-02-11 16:11:15 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 2022-02-11 16:11:44 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 16:12:01 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 16:12:01 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 16:12:01 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 16:13:06 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 16:13:25 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 16:14:11 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 16:14:19 +0100 | sektor|3 | (~kvirc@94.155.193.66) |
| 2022-02-11 16:14:59 +0100 | sektor|2 | (~kvirc@87.227.175.182) (Ping timeout: 256 seconds) |
| 2022-02-11 16:15:13 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) |
| 2022-02-11 16:16:39 +0100 | sektor|2 | (~kvirc@94.155.193.66) |
| 2022-02-11 16:18:13 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 2022-02-11 16:18:24 +0100 | jalil | (~jalil@2a01:e0a:277:4100:6436:dad4:61ec:3c98) (Quit: jalil) |
| 2022-02-11 16:19:10 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 16:19:31 +0100 | sektor|3 | (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 2022-02-11 16:19:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 16:19:57 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 16:19:57 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 16:24:21 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-11 16:24:27 +0100 | ph88 | (~ph88@2a02:8109:9e00:71d0:980:dccb:621a:6731) (Remote host closed the connection) |
| 2022-02-11 16:24:48 +0100 | vysn | (~vysn@user/vysn) |
| 2022-02-11 16:28:42 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-02-11 16:29:06 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 16:34:51 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2022-02-11 16:34:51 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:35:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:36:15 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2022-02-11 16:36:18 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 16:36:25 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:36:43 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2022-02-11 16:36:43 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-02-11 16:36:56 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:39:22 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 16:42:11 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-02-11 16:43:05 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 2022-02-11 16:44:52 +0100 | sektor|3 | (~kvirc@87.227.175.182) |
| 2022-02-11 16:46:09 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 16:46:21 +0100 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) |
| 2022-02-11 16:46:40 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 16:46:44 +0100 | Graham31415 | (~Graham314@130.226.236.6) (Ping timeout: 256 seconds) |
| 2022-02-11 16:47:32 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-11 16:48:03 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 16:48:25 +0100 | sektor|2 | (~kvirc@94.155.193.66) (Ping timeout: 256 seconds) |
| 2022-02-11 16:48:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 16:51:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:51:49 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-02-11 16:52:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:52:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:52:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:52:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:52:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:52:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:53:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:53:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:53:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:53:39 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:53:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:54:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:54:13 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 16:54:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:54:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:54:32 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 16:54:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:54:39 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 16:54:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:54:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:55:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:55:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:55:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:55:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:55:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:56:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:56:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:56:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:56:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:56:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:56:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:57:08 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:57:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:57:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:57:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:57:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:57:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:58:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:58:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:58:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:58:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:58:52 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 16:58:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:59:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Ping timeout: 240 seconds) |
| 2022-02-11 16:59:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:59:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:59:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 16:59:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 16:59:49 +0100 | jao | (~jao@static-68-235-44-40.cust.tzulo.com) (Ping timeout: 240 seconds) |
| 2022-02-11 16:59:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:00:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:00:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:00:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:00:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:00:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:00:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:01:08 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:01:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:01:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:01:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:01:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:01:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:02:15 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:02:16 +0100 | jao | (~jao@68.235.43.173) |
| 2022-02-11 17:02:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:02:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:02:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:02:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:03:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:03:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:03:28 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:03:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:03:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:03:58 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 17:04:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:04:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:04:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:04:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:04:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:04:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:05:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:05:15 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 17:05:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:05:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:05:39 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 17:05:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:05:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:06:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:06:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:06:24 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:06:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:06:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:07:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:07:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:07:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:07:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:07:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:07:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:08:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:08:19 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 17:08:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:08:21 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 17:08:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:08:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:08:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:09:01 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-02-11 17:09:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:09:17 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 17:09:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:09:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:09:38 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 17:09:38 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 17:09:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:09:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:10:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:10:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:10:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:10:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:10:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 17:10:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-11 17:11:41 +0100 | thevishy | (~Nishant@2405:201:f005:c007:742b:aca7:e311:68b4) (Quit: Leaving) |
| 2022-02-11 17:12:29 +0100 | mbuf | (~Shakthi@122.173.240.119) (Quit: Leaving) |
| 2022-02-11 17:12:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a93b:29e3:e4c0:d09f) (Quit: WeeChat 2.8) |
| 2022-02-11 17:15:11 +0100 | shailangsa | (~shailangs@host217-39-45-199.range217-39.btcentralplus.com) |
| 2022-02-11 17:16:22 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-02-11 17:18:08 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 17:18:08 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 17:18:08 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 17:29:29 +0100 | <reactormonk[m]> | What's the type/name of overM, which is kinda like over, except it also uses a monad? |
| 2022-02-11 17:30:27 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2022-02-11 17:30:37 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-02-11 17:31:11 +0100 | <c_wraith> | it has a bunch of names. mapMOf, (%%~), id, etc |
| 2022-02-11 17:32:54 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-11 17:32:54 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 17:33:34 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 17:33:53 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:aeb5:bcf:993b:2d87) (Ping timeout: 250 seconds) |
| 2022-02-11 17:34:24 +0100 | nschoe | (~quassel@91-162-58-134.subs.proxad.net) |
| 2022-02-11 17:34:53 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 17:36:01 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 17:36:27 +0100 | Guest76 | (~Guest76@93.159.185.196) |
| 2022-02-11 17:37:35 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-02-11 17:38:00 +0100 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-02-11 17:38:28 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-02-11 17:39:58 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 17:39:58 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 17:41:00 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 17:42:12 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 17:42:12 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 17:42:21 +0100 | jao | (~jao@68.235.43.173) (Ping timeout: 250 seconds) |
| 2022-02-11 17:42:24 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-11 17:43:28 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 17:45:08 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-02-11 17:46:28 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 17:48:40 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-02-11 17:51:44 +0100 | ubert1 | (~Thunderbi@p200300ecdf099410dad98e969e0c4f9b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-02-11 17:51:44 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 17:52:42 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 17:54:18 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Quit: WeeChat 3.4) |
| 2022-02-11 17:55:02 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-02-11 17:55:39 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-02-11 17:55:59 +0100 | Guest76 | (~Guest76@93.159.185.196) (Quit: Client closed) |
| 2022-02-11 17:57:53 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 17:59:12 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 18:00:40 +0100 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-02-11 18:02:00 +0100 | slac90668 | (~slack1256@181.42.42.218) |
| 2022-02-11 18:03:46 +0100 | Topsi | (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) |
| 2022-02-11 18:04:13 +0100 | slack1256 | (~slack1256@191.126.99.204) (Ping timeout: 250 seconds) |
| 2022-02-11 18:04:33 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-11 18:07:56 +0100 | ubert | (~Thunderbi@p200300ecdf0994102c357846a3b3453e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-11 18:08:11 +0100 | ubert | (~Thunderbi@p548c8cd6.dip0.t-ipconnect.de) |
| 2022-02-11 18:09:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 18:10:14 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-02-11 18:11:40 +0100 | slack1256 | (~slack1256@191.126.99.65) |
| 2022-02-11 18:12:51 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 18:12:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 18:13:11 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-11 18:13:45 +0100 | slac90668 | (~slack1256@181.42.42.218) (Ping timeout: 250 seconds) |
| 2022-02-11 18:14:53 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-02-11 18:16:15 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-02-11 18:17:00 +0100 | nschoe | (~quassel@91-162-58-134.subs.proxad.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-02-11 18:17:57 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-02-11 18:18:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 18:18:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 18:18:45 +0100 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2022-02-11 18:21:34 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-02-11 18:24:34 +0100 | gaff | (~gaff@49.207.227.85) |
| 2022-02-11 18:25:36 +0100 | <gaff> | there is a `guard` function you can use inside a do block ... i have used it before but now can not find it. where is this function defined? |
| 2022-02-11 18:25:53 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-02-11 18:26:14 +0100 | <ski> | @index guard |
| 2022-02-11 18:26:15 +0100 | <lambdabot> | Control.Monad |
| 2022-02-11 18:26:25 +0100 | <gaff> | any link etc would be nice |
| 2022-02-11 18:26:30 +0100 | <gaff> | ah |
| 2022-02-11 18:26:32 +0100 | <gaff> | thanks |
| 2022-02-11 18:28:53 +0100 | slowtype- | (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) |
| 2022-02-11 18:29:06 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 18:29:47 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 18:31:15 +0100 | gaff | (~gaff@49.207.227.85) () |
| 2022-02-11 18:31:20 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2022-02-11 18:32:07 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-02-11 18:33:23 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 18:35:15 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-02-11 18:35:27 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 18:36:40 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 18:37:42 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 18:37:45 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 18:37:47 +0100 | slowtype- | (~slowtyper@79.103.56.56.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 2022-02-11 18:38:19 +0100 | Topsi | (~Tobias@dyndsl-095-033-024-254.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-02-11 18:40:00 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:66e9:b7e:a0f4:b397) (Ping timeout: 250 seconds) |
| 2022-02-11 18:41:05 +0100 | xff0x | (~xff0x@2001:1a81:5217:8700:5c4c:6e43:a062:eba7) |
| 2022-02-11 18:48:48 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 18:50:20 +0100 | stilgart | (~Christoph@chezlefab.net) |
| 2022-02-11 18:53:31 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-02-11 18:53:54 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-11 18:55:21 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-11 18:55:49 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:95db:50d7:7eec:328d) |
| 2022-02-11 18:57:53 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 252 seconds) |
| 2022-02-11 18:58:03 +0100 | slowtype- | (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) |
| 2022-02-11 18:58:45 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2022-02-11 19:04:12 +0100 | yauhsien_ | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) |
| 2022-02-11 19:04:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:04:27 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:08:38 +0100 | yauhsien_ | (~yauhsien@61-231-32-103.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-11 19:11:13 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:12:10 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:12:39 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 19:14:57 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 2022-02-11 19:17:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2022-02-11 19:19:07 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 19:20:46 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2022-02-11 19:21:03 +0100 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-02-11 19:21:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:21:22 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:23:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:24:06 +0100 | Drew[m] | (~drewefenw@2001:470:69fc:105::c8c4) |
| 2022-02-11 19:24:33 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:24:49 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 250 seconds) |
| 2022-02-11 19:26:26 +0100 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-11 19:29:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 19:29:52 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:29:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 19:29:52 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 19:30:02 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:30:50 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-02-11 19:31:34 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-11 19:33:28 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-11 19:33:35 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-11 19:35:08 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 19:35:52 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 19:37:56 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-11 19:38:53 +0100 | hgolden_ | hgolden |
| 2022-02-11 19:40:30 +0100 | OscarZ | (~oscarz@95.175.104.142) |
| 2022-02-11 19:42:36 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-02-11 19:42:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:42:48 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:43:59 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-11 19:45:00 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 19:45:36 +0100 | MasseR4 | (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 2022-02-11 19:45:49 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 19:46:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-11 19:46:49 +0100 | gawen_ | (~gawen@user/gawen) |
| 2022-02-11 19:48:13 +0100 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-02-11 19:49:45 +0100 | gawen | (~gawen@user/gawen) (Ping timeout: 256 seconds) |
| 2022-02-11 19:53:48 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-02-11 19:54:45 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) (Quit: Leaving) |
| 2022-02-11 19:55:52 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) |
| 2022-02-11 19:57:46 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-02-11 19:58:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 20:01:09 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-02-11 20:02:30 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-11 20:02:51 +0100 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-02-11 20:03:41 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 20:04:19 +0100 | shapr` | shapr |
| 2022-02-11 20:04:40 +0100 | califax | (~califax@user/califx) |
| 2022-02-11 20:05:20 +0100 | <shapr> | Is there some way to ask hoogle for all indexed instances of a typeclass? I want to stuff a value into postgres so I want "all instances of To{Row,Field}" |
| 2022-02-11 20:05:21 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 20:05:27 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) |
| 2022-02-11 20:06:22 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 2022-02-11 20:08:14 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-11 20:08:57 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-11 20:09:17 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-11 20:10:58 +0100 | slowtype- | (~slowtyper@79.103.227.82.dsl.dyn.forthnet.gr) (Ping timeout: 256 seconds) |
| 2022-02-11 20:11:26 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 20:15:21 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 245 seconds) |
| 2022-02-11 20:17:12 +0100 | slowtype- | (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) |
| 2022-02-11 20:17:26 +0100 | jollygood2 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-02-11 20:17:57 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 240 seconds) |
| 2022-02-11 20:21:08 +0100 | <monochrom> | I don't know hoogle. But in ghci or cabal repl, :info! ToRow can help. |
| 2022-02-11 20:21:15 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:21:27 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:24:30 +0100 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-11 20:24:47 +0100 | arkeet | (arkeet@moriya.ca) |
| 2022-02-11 20:25:46 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-11 20:27:05 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-11 20:27:05 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:27:14 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:28:17 +0100 | AlexisTP | (~AlexisTP@92.57.44.63) (Ping timeout: 256 seconds) |
| 2022-02-11 20:30:14 +0100 | haskl | (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 2022-02-11 20:30:41 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 20:31:20 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 20:33:04 +0100 | haskl | (~haskl@user/haskl) |
| 2022-02-11 20:34:41 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-02-11 20:35:38 +0100 | <Sqaure> | So i've created this Tree like, but a fair bit more complex (3 separate types to model different parent-child relations), data type and now i realize i want it to have insert/update/delete. What would be good way to add this functionality to it? Manual hammering or implement Monad / Applicative and use some standard procedure? |
| 2022-02-11 20:36:37 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-02-11 20:37:39 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) |
| 2022-02-11 20:37:39 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:37:54 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-02-11 20:37:55 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:38:44 +0100 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-02-11 20:39:30 +0100 | <ski> | i don't see how `Monad' or `Applicative' would give you insertion, update, or deletion |
| 2022-02-11 20:39:55 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 20:40:15 +0100 | <ski> | (`Monad' could give you substitution. `Applicative' would give you "cartesian product") |
| 2022-02-11 20:40:30 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:40:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 20:41:20 +0100 | <Sqaure> | oh, I found som SO answer and a quick skim made me believe they relied on that. Might have been wrong there. |
| 2022-02-11 20:43:00 +0100 | <EvanR> | for updating subparts of the tree you could use lenses / functional references |
| 2022-02-11 20:44:16 +0100 | dcoutts | (~duncan@host213-122-143-132.range213-122.btcentralplus.com) |
| 2022-02-11 20:44:27 +0100 | <EvanR> | or just write a few recursive routines yourself |
| 2022-02-11 20:44:36 +0100 | <EvanR> | esp if it's for practice |
| 2022-02-11 20:45:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-02-11 20:47:11 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-02-11 20:49:15 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2022-02-11 20:51:04 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-02-11 20:54:46 +0100 | slack1256 | (~slack1256@191.126.99.65) (Remote host closed the connection) |
| 2022-02-11 20:55:38 +0100 | <Sqaure> | EvanR, thanks. Its not for practice, it should be "optimal choice" if there is such =D. |
| 2022-02-11 20:57:41 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-11 20:58:34 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 20:58:49 +0100 | cheater | (~Username@user/cheater) |
| 2022-02-11 20:59:27 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 20:59:54 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 21:01:08 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:9142:26a8:3892:1b3a) |
| 2022-02-11 21:01:08 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 21:01:19 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 21:02:05 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-11 21:04:14 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 21:04:14 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-11 21:04:27 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) |
| 2022-02-11 21:04:27 +0100 | neurocyte0917090 | (~neurocyte@IP-045010063119.dynamic.medianet-world.de) (Changing host) |
| 2022-02-11 21:04:27 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-02-11 21:05:35 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) |
| 2022-02-11 21:07:13 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-11 21:07:44 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 21:07:49 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-02-11 21:07:59 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 21:09:51 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-11 21:10:13 +0100 | deadmarshal | (~deadmarsh@95.38.117.65) (Ping timeout: 256 seconds) |
| 2022-02-11 21:12:31 +0100 | <hololeap> | I think I screwed up my environment, and I'm just wondering what I can do to try to debug it: http://sprunge.us/d82nVV |
| 2022-02-11 21:16:15 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-02-11 21:18:09 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 256 seconds) |
| 2022-02-11 21:19:28 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-02-11 21:20:20 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-11 21:21:28 +0100 | <Cale> | hololeap: does ghc-pkg check tell you anything? |
| 2022-02-11 21:21:38 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 21:23:39 +0100 | <hololeap> | yeah, there are a ton of broken packages. I just haven't seen ghc panic before, but fixing the breakages will likely help? |
| 2022-02-11 21:26:37 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 21:26:37 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 21:26:53 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-11 21:26:57 +0100 | slowtype- | (~slowtyper@2a02:214c:8635:c300:db7f:8a50:4683:57fa) (Ping timeout: 240 seconds) |
| 2022-02-11 21:27:29 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 21:30:48 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2022-02-11 21:31:56 +0100 | <trccc> | Is there a way to get the path to where cabal put its compiled executable? e.g. I know it is here: ./dist-newstyle/build/x86_64-linux/ghc-8.10.7/hs-hello-sleep-0.1.0.0/x/hs-hello-sleep/build/hs-hello-sleep/hs-hello-sleep but can I issue some cabal command to print the path so I can get it in my scripts? |
| 2022-02-11 21:32:32 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-11 21:34:24 +0100 | <monochrom> | cabal list-bin can help. Something along the line of cabal list-bin hs-hello-sleep |
| 2022-02-11 21:34:59 +0100 | <trccc> | perfect thanks! |
| 2022-02-11 21:35:19 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-02-11 21:36:08 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-11 21:37:03 +0100 | <sm> | hololeap: sounds like a good move |
| 2022-02-11 21:40:41 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2022-02-11 21:41:12 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-11 21:41:12 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-11 21:41:12 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-11 21:42:29 +0100 | jgeerds_ | (~jgeerds@55d4a547.access.ecotel.net) |
| 2022-02-11 21:42:31 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 21:43:47 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2022-02-11 21:44:45 +0100 | akegalj | (~akegalj@93-138-76-199.adsl.net.t-com.hr) |
| 2022-02-11 21:44:45 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 21:48:29 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 21:48:45 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-02-11 21:49:07 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 21:50:45 +0100 | <janus> | hololeap: that package also takes forever to build for me |
| 2022-02-11 21:51:07 +0100 | <janus> | hololeap: i did 'cabal repl -b lsp-types -w ghc-9.0.2' and i have waited a while now |
| 2022-02-11 21:51:48 +0100 | <janus> | and then i get "warning: no exposed modules" |
| 2022-02-11 21:52:29 +0100 | <hololeap> | hm, I don't know about that. This panic happens almost immediately for me. I tried it in another environment and it at least begins to compile, so it seems like cleaning up that env is the best idea |
| 2022-02-11 21:52:53 +0100 | <janus> | well it does compile |
| 2022-02-11 21:52:57 +0100 | <janus> | and it did finish just now |
| 2022-02-11 21:56:10 +0100 | econo | (uid147250@user/econo) |
| 2022-02-11 21:58:09 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 21:59:01 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 22:03:02 +0100 | tfeb | (~tfb@88.98.95.237) |
| 2022-02-11 22:05:35 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-11 22:08:41 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) (Quit: Client closed) |
| 2022-02-11 22:09:51 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-11 22:09:56 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection) |
| 2022-02-11 22:10:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-02-11 22:10:44 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-11 22:12:10 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2022-02-11 22:12:38 +0100 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2022-02-11 22:14:01 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-02-11 22:20:21 +0100 | slowtype- | (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) |
| 2022-02-11 22:21:00 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 250 seconds) |
| 2022-02-11 22:21:02 +0100 | cosimone | (~user@93-47-230-95.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-11 22:21:40 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-11 22:21:55 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 22:26:24 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2022-02-11 22:27:03 +0100 | slowtype- | (~slowtyper@2a02:214c:863d:a00:1d20:d7d8:59c2:b643) (Ping timeout: 250 seconds) |
| 2022-02-11 22:27:43 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 22:28:07 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-11 22:30:31 +0100 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-02-11 22:33:09 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-11 22:33:10 +0100 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 260 seconds) |
| 2022-02-11 22:33:17 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-11 22:34:57 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 2022-02-11 22:36:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-11 22:39:38 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-11 22:41:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-11 22:47:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-11 22:49:07 +0100 | Guest80 | (~Guest80@177.70.94.186) |
| 2022-02-11 22:49:23 +0100 | Guest80 | (~Guest80@177.70.94.186) (Client Quit) |
| 2022-02-11 22:49:57 +0100 | ravella | (~ravella@user/ryanavella) (Ping timeout: 240 seconds) |
| 2022-02-11 22:50:50 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-02-11 22:51:31 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 250 seconds) |
| 2022-02-11 22:52:37 +0100 | alp | (~alp@user/alp) |
| 2022-02-11 22:53:01 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-11 22:54:20 +0100 | michalz | (~michalz@185.246.204.65) (Remote host closed the connection) |
| 2022-02-11 22:59:13 +0100 | akegalj | (~akegalj@93-138-76-199.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-02-11 22:59:49 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) |
| 2022-02-11 23:00:39 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-02-11 23:09:27 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 23:10:37 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-11 23:12:45 +0100 | slowtype- | (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) |
| 2022-02-11 23:12:57 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 23:16:34 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ad86:5044:3d0e:26e7) (Remote host closed the connection) |
| 2022-02-11 23:16:50 +0100 | haskl | (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 2022-02-11 23:17:15 +0100 | haskl | (~haskl@user/haskl) |
| 2022-02-11 23:20:27 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-02-11 23:23:32 +0100 | `2jt | (~jtomas@130.red-88-22-46.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-02-11 23:26:18 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 23:30:08 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 23:31:53 +0100 | zebrag | (~chris@user/zebrag) (Ping timeout: 256 seconds) |
| 2022-02-11 23:32:54 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 260 seconds) |
| 2022-02-11 23:34:40 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 23:35:35 +0100 | slowtyper | (~slowtyper@user/slowtyper) |
| 2022-02-11 23:35:37 +0100 | slowtype- | (~slowtyper@2a02:214c:8615:200:883a:9d96:1ea3:a070) (Ping timeout: 256 seconds) |
| 2022-02-11 23:35:38 +0100 | burnsidesLlama | (~burnsides@dhcp168-030.wadham.ox.ac.uk) |
| 2022-02-11 23:39:00 +0100 | vicfred_ | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-02-11 23:39:30 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2022-02-11 23:40:04 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-02-11 23:42:02 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-02-11 23:46:34 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-11 23:49:05 +0100 | slowtype- | (~slowtyper@46.12.42.68.dsl.dyn.forthnet.gr) |
| 2022-02-11 23:49:08 +0100 | slowtyper | (~slowtyper@user/slowtyper) (Ping timeout: 256 seconds) |
| 2022-02-11 23:49:15 +0100 | rtsn | (~nstr@user/rtsn) (Quit: Lost terminal) |
| 2022-02-11 23:50:39 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-11 23:51:09 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-11 23:51:31 +0100 | max22- | (~maxime@2a01cb08833598003ad46ecd074981ca.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2022-02-11 23:57:15 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-11 23:57:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-02-11 23:58:51 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:9ab:4940:4574:a1f8) (Ping timeout: 256 seconds) |
| 2022-02-11 23:59:06 +0100 | Guest|11 | (~Guest|11@96.63.212.186) |