Logs on 2023-04-21 (liberachat/#haskell)
| 00:00:56 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:c4a2:61a9:2888:7ad) (Ping timeout: 246 seconds) |
| 00:04:53 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:06:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 00:07:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:14:11 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 246 seconds) |
| 00:21:39 | <hammond> | jackdk: https://www.irccloud.com/pastebin/snDGzEnC/Strings.hs regarding this from yesterday, so you take the two functions separate and then have a wrapper function to handle them both. You don't call g inside of f. (I didn't look at it too closely yesterday since I was too tired) |
| 00:22:59 | <jackdk> | hammond: Hello! Could you please repeat your initial question, because I don't remember exactly what you asked. |
| 00:24:50 | <hammond> | so I have a function that goes from String->IO String and inside that function I'm calling another function that goes from String->Maybe String and I want to use that result to return it to the IO String. |
| 00:25:16 | <hammond> | im just asking to see if that's the paradigm in haskell. |
| 00:25:25 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 00:26:58 | <ski> | you could call `g' inside of `f', if you wanted to |
| 00:27:45 | <hammond> | ok |
| 00:28:11 | <ski> | (but then to show how that would look like, you'd need to show the implementation of `f' .. so `f' would (presumably) involve doing some `IO', possibly invoking some other action .. now, this is exactly what jackdk's code does, for his function(s) calling `f' and `g') |
| 00:29:08 | <ski> | .. hard to show how `f' would call `g', without showing implementation of `f' (apart from calling `g', say) |
| 00:29:22 | <hammond> | oh |
| 00:29:31 | <hammond> | ok heh |
| 00:32:02 | → | thegeekinside joins (~thegeekin@189.180.119.50) |
| 00:35:05 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 00:35:36 | × | rburkholder quits (~blurb@96.45.2.121) (Ping timeout: 246 seconds) |
| 00:36:52 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Client Quit) |
| 00:37:37 | × | foul_owl quits (~kerry@71.212.137.212) (Ping timeout: 276 seconds) |
| 00:44:58 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:46:01 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:46:02 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:46:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:51:27 | → | Albina_Pavlovna joins (~Albina_Pa@2603-7000-76f0-76e0-f900-6862-141c-1878.res6.spectrum.com) |
| 00:54:39 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 01:00:01 | <Axman6> | hammond: what do you want to do if the String -> Maybe String retuns Nothing? |
| 01:00:23 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 01:00:24 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 01:03:02 | <Axman6> | :t let strToIOStr :: String -> IO String; strToIOStr = undefined; strToMayStr :: String -> Maybe String; strToMayStr = undefined in maybe (pure "") strToIOStr . strToMayStr |
| 01:03:03 | <lambdabot> | String -> IO [Char] |
| 01:04:12 | <Axman6> | (should've read the code, that has the right types but does the wrong thing) |
| 01:04:53 | <Axman6> | maybeFunction is probably what I'd ue |
| 01:05:41 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 01:05:57 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 01:07:16 | <hammond> | Axman6: prolly return an empty string like so "" |
| 01:07:23 | <hammond> | I'm a beginner though |
| 01:10:13 | <hammond> | so maybe in the first function he wrote where is says, Nothing -> pure str' -- from f, I can say Nothing -> pure "" |
| 01:10:20 | <hammond> | idk lemmi see if it works |
| 01:11:04 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 01:11:22 | <ski> | should work |
| 01:11:59 | <hammond> | yes. |
| 01:12:13 | <ski> | @type fromMaybe "" :: Maybe String -> String |
| 01:12:14 | <lambdabot> | Maybe String -> String |
| 01:15:51 | × | Albina_Pavlovna quits (~Albina_Pa@2603-7000-76f0-76e0-f900-6862-141c-1878.res6.spectrum.com) (Quit: ZZZzzz…) |
| 01:22:28 | → | gmg joins (~user@user/gehmehgeh) |
| 01:25:05 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 01:31:34 | × | mei quits (~mei@user/mei) (Ping timeout: 276 seconds) |
| 01:35:11 | → | mei joins (~mei@user/mei) |
| 01:42:36 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:47:03 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 01:48:58 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 01:59:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:ccb0:7555:1a99:76be) (Ping timeout: 260 seconds) |
| 02:05:20 | × | td_ quits (~td@i53870923.versanet.de) (Ping timeout: 248 seconds) |
| 02:06:58 | → | td_ joins (~td@i53870924.versanet.de) |
| 02:09:16 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::6) (Remote host closed the connection) |
| 02:16:54 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:20:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 02:29:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 02:31:50 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::6) |
| 02:33:42 | × | srk quits (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
| 02:34:02 | → | srk joins (~sorki@user/srk) |
| 02:35:21 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:35:21 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:35:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:42:55 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 02:43:08 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:43:09 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:43:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:44:09 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 02:44:51 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:45:26 | → | nate1 joins (~nate@98.45.169.16) |
| 02:48:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 02:53:24 | → | rburkholder joins (~blurb@96.45.2.121) |
| 03:00:29 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 03:02:35 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:03:05 | × | td_ quits (~td@i53870924.versanet.de) (Ping timeout: 240 seconds) |
| 03:04:47 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::6) (Remote host closed the connection) |
| 03:05:02 | → | td_ joins (~td@i53870936.versanet.de) |
| 03:21:04 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 03:26:27 | → | Guest|19 joins (~Guest|19@186.139.39.141) |
| 03:26:53 | <Guest|19> | error 0x80092012 |
| 03:27:05 | <Guest|19> | while installing |
| 03:27:07 | <Guest|19> | help |
| 03:27:48 | × | Guest|19 quits (~Guest|19@186.139.39.141) (Client Quit) |
| 03:29:12 | × | phma quits (~phma@host-67-44-208-186.hnremote.net) (Read error: Connection reset by peer) |
| 03:30:11 | → | phma joins (phma@2001:5b0:211f:e428:9fb9:b7cc:2fd:9e9) |
| 03:34:40 | <maerwald[m]> | Guest|19: try disabling curl |
| 03:35:03 | <maerwald[m]> | https://www.haskell.org/ghcup/guide/#certificate-authority-errors-curl |
| 03:35:08 | <maerwald[m]> | The command at the bottom |
| 03:48:25 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:49:28 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 03:49:44 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 04:08:06 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 04:08:21 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 04:08:31 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 04:09:16 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 04:11:35 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:12:20 | × | pharonix71 quits (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 04:12:34 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 04:12:51 | → | pharonix71 joins (~pharonix7@user/pharonix71) |
| 04:17:47 | × | opticblast quits (~Thunderbi@172.58.83.143) (Remote host closed the connection) |
| 04:42:04 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 04:43:31 | → | michalz joins (~michalz@185.246.207.203) |
| 04:49:23 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 04:50:39 | <segfaultfizzbuzz> | so i am realizing that i am having a hard time conceptualizing currying,... that is to say when you look at myfunc :: a -> b -> c -> d -> e -> f ... how do you conceptualize that,... |
| 04:51:13 | <segfaultfizzbuzz> | in most languages/noncurried languages i guess all functions look like foofunc :: a -> z |
| 04:52:12 | <segfaultfizzbuzz> | myfunc can mean many different things depending on which arguments were provided... |
| 04:54:01 | <jackdk> | Yes. This is especially instructive when you look at the type for e.g., `map :: (a -> b) -> ([a] -> [b])` could be seen as lifting a function on elements to a function on lists |
| 04:54:45 | <segfaultfizzbuzz> | well, that one is easy to understand because it is a -> z at the top level |
| 04:55:02 | <jackdk> | huh? All functions in Haskell take one argument |
| 04:56:07 | <segfaultfizzbuzz> | one argument? what is a -> b -> c -> d -> e -> f then ? |
| 04:56:30 | <jackdk> | a function that takes an `a` and returns a `b -> c -> d -> e -> f -> ...` |
| 04:57:00 | <segfaultfizzbuzz> | so the evaluation must be in order from start to end? |
| 04:58:04 | → | monochrom joins (trebla@216.138.220.146) |
| 04:58:19 | <jackdk> | no |
| 04:59:36 | <jackdk> | The argument passed in won't get forced until it's used. Consider: |
| 04:59:41 | <jackdk> | > (\a b -> b) (error "boom") 3 |
| 04:59:42 | <lambdabot> | 3 |
| 05:01:55 | <segfaultfizzbuzz> | what lol |
| 05:02:38 | <jwiegley> | lazy evaluation means that arguments are evaluated when they are needed, rather than prior to the "call" |
| 05:05:16 | <segfaultfizzbuzz> | right |
| 05:05:51 | <segfaultfizzbuzz> | but,... somehow the evaluation order is unimportant...? |
| 05:06:01 | <segfaultfizzbuzz> | i guess you can do this due to purity? |
| 05:06:06 | <jwiegley> | there is no "evaluation order" |
| 05:06:13 | <jwiegley> | rather, there's a directed graph of value dependencies |
| 05:06:41 | <jwiegley> | since the return value of the function is the second argument, then the second argument must be evaluated if the result of the function is evaluated |
| 05:07:01 | <segfaultfizzbuzz> | well for a -> b -> c -> d -> e -> f, something might set the value of c,... i suppose that would produce a -> b -> d -> e -> f? |
| 05:07:01 | <jwiegley> | of course, I use the term "second argument" loosely |
| 05:07:06 | → | dodecahedron joins (~dodecahed@user/dodecahedron) |
| 05:07:15 | <jwiegley> | there is no "setting the value of c" either |
| 05:07:28 | <jwiegley> | variables are in the mathematical sense: names of values |
| 05:07:36 | <jwiegley> | they aren't memory cells, or locations that can be "changed" |
| 05:07:37 | <segfaultfizzbuzz> | lazy or not, the evaluation has to occur some time... no? |
| 05:07:37 | ← | dodecahedron parts (~dodecahed@user/dodecahedron) () |
| 05:07:41 | <jwiegley> | all a function can do is produce a result |
| 05:07:50 | <jwiegley> | the evaluation occurs when the result of the function is demanded |
| 05:08:05 | <jwiegley> | in the case of lambdabot above, the value was needed by the printing function |
| 05:08:28 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:10:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 05:10:38 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:12:16 | → | trev joins (~trev@user/trev) |
| 05:12:23 | <segfaultfizzbuzz> | well then intead of "set the value of c" perhaps i should say that a function somewhere else might denote myfunc with a specific const value for c (or to a value they know something about) |
| 05:13:00 | <segfaultfizzbuzz> | myfunc2 w x y z = myfunc w x 5 y z |
| 05:13:28 | <jwiegley> | sure |
| 05:13:50 | <segfaultfizzbuzz> | but i am thinking that purity is the only reason this is meaningful |
| 05:15:14 | <jwiegley> | by purity, do you mean that these are really mathematical functions? i.e., outputs are wholly derived from inputs? |
| 05:17:33 | <jade[m]> | I suppose so - if there was global state, then lazy evaluation would simply break |
| 05:18:59 | <segfaultfizzbuzz> | by purity i mean that myfunc is a pure function of its uh, arguments or whatever a thru f are referred to as |
| 05:19:18 | <segfaultfizzbuzz> | and so because it is pure you are guaranteed to be able to reorder things however you please |
| 05:19:30 | <segfaultfizzbuzz> | but if not pure, the reordering would cause a mess |
| 05:19:40 | <jwiegley> | the only thing that really makes life tricky for us as Haskellers is the presence of "undefined" or "error". Without that, then it wouldn't matter what the evaluation strategy was, the result of the function would always be the same for a given set of inputs |
| 05:19:49 | <jade[m]> | I don't quite understand |
| 05:20:19 | <segfaultfizzbuzz> | well undefined and error are a huge fraction of programming |
| 05:20:56 | <jade[m]> | jwiegley: something something bottom, something something inhabitant of every type ;) |
| 05:21:02 | <jwiegley> | yep |
| 05:21:04 | → | oddline joins (~oddline@user/oddline) |
| 05:21:09 | <segfaultfizzbuzz> | wha |
| 05:21:17 | <jwiegley> | which means undefined || True != True || undefined |
| 05:22:28 | <jade[m]> | because || is lazy in its second argument iirc |
| 05:22:50 | <jwiegley> | https://en.wikipedia.org/wiki/Reduction_strategy |
| 05:23:30 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:23:31 | <oddline> | if I have a new type of Array (say, newtype MyA i a = MyA (Array i a)), is there a way to derive IArray for it? |
| 05:23:59 | <jwiegley> | oddline: have you tried GeneralizedNewtypeDeriving? |
| 05:24:07 | <jade[m]> | GeneralizedNewTypeDeriving |
| 05:24:18 | <jade[m]> | oh you beat me to it |
| 05:24:31 | <oddline> | yes, I have, but I can't quite find the correct invocation |
| 05:24:34 | <jade[m]> | and I also misspelled it |
| 05:26:24 | <oddline> | because IArray is a MultiParamTypeClass |
| 05:27:14 | <jade[m]> | The docs mention that you should also enable that extension then |
| 05:27:33 | jade[m] | uploaded an image: (188KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/MQMdUcUDrgEUBPGZIKbEOHoO/d2e5a53a-09d4-49cc-b51c-0d159e948fb7.jpeg > |
| 05:27:33 | <oddline> | I have it enabled, but what's the syntax to derive it? |
| 05:29:29 | <jwiegley> | you can pass arguments in the deriving statement |
| 05:29:29 | <jade[m]> | https://stackoverflow.com/questions/33245788/using-xgeneralizednewtypederiving-with-xmultiparamtypeclasses |
| 05:29:35 | <jwiegley> | deriving (IArray Foo) |
| 05:30:09 | <oddline> | ah, but the answer of that one explains that you can only do this with the last parameter of a multi-param type class |
| 05:30:19 | <oddline> | the newtype here is of Array, which would be the first parameter |
| 05:30:59 | <oddline> | that SO answer seems to think that it can't be done, I just thought I'd check in case there's some way to do it with StandaloneDeriving or DerivingVia or some such |
| 05:31:21 | <jade[m]> | you can do something like `type Foo a b = Bar b a => Baz b a` I guess? |
| 05:31:40 | <jade[m]> | unless I'm missing something |
| 05:31:43 | <jade[m]> | I'm not good with types yet |
| 05:32:07 | <oddline> | I don't think changing the order of the type's arguments is helpful here |
| 05:32:21 | <oddline> | it's the order of the typeclass's parameters that is preventing this |
| 05:32:27 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 05:32:33 | <jade[m]> | hm |
| 05:36:23 | <oddline> | the one thing that I think could work is to enable DerivingVia, FlexibleInstances, StandaloneDeriving, and do this: |
| 05:36:39 | <oddline> | deriving via (IArray Array e) instance IArray MyA e |
| 05:37:46 | <oddline> | wait, no, that syntax is wrong |
| 05:38:43 | → | zer0bitz joins (~zer0bitz@2001:2003:f443:d600:28e6:b5d5:3c01:ef5f) |
| 05:40:01 | × | zer0bitz_ quits (~zer0bitz@2001:2003:f443:d600:4413:c8de:8d77:b5ff) (Ping timeout: 240 seconds) |
| 05:41:29 | <[Leary]> | oddline: Did you try `newtype MyA i a = MyA (Array i a) deriving IArray`? That should just work. |
| 05:48:17 | → | MatthiasPG joins (~MatthiasP@202.133.199.92) |
| 05:49:10 | <MatthiasPG> | Hi! Do we have a data structure that supports 'cons', 'uncons' and 'append' in amortised O(1)? |
| 05:49:19 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 05:49:36 | <MatthiasPG> | (By append, I mean concatenating two existing structures.) |
| 05:50:22 | <segfaultfizzbuzz> | jwiegley: i assume you mean exceptions/asynchronous exceptions by "error" and the like? |
| 05:50:34 | <segfaultfizzbuzz> | what drives the need for exceptions in a language |
| 05:52:01 | <jwiegley> | segfaultfizzbuzz: no, I just meant bottom: that which has no meaning |
| 05:57:13 | <oddline> | [Leary]: yes, I tried it: error: ‘IArray’ is not a unary constraint, as expected by a deriving clause |
| 05:57:29 | <mauke> | MatthiasPG: closest thing I know of is Seq, whose append is O(log(min(n1, n2))) |
| 05:59:56 | <oddline> | it seems neither GeneralisedNewtypeDeriving nor DerivingVia, even with every other appropriate extension, can't derive where the type you're deriving for isn't the last parameter of a MultiParamTypeClass |
| 05:59:56 | <MatthiasPG> | Thanks, I already know that one. But I think I need O(1) to achieve my desired asymptotic runtime. |
| 06:02:06 | <MatthiasPG> | http://www.math.tau.ac.il/~haimk/adv-ds-2000/jacm-final.pdf describes a datastructure that fits the bill, but I'm not sure there's an implementation available. (Circular linked lists would also work, but only in an imperative setting.) |
| 06:03:33 | × | finnekit quits (~finnekit@fsf/member/finnekit) (Ping timeout: 246 seconds) |
| 06:03:39 | × | bramhaag quits (~bramhaag@134.195.121.39) (Ping timeout: 255 seconds) |
| 06:03:46 | <segfaultfizzbuzz> | ok gtg bye |
| 06:04:06 | → | Wstfgl0_ joins (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 06:06:34 | → | finnekit joins (~finnekit@fsf/member/finnekit) |
| 06:06:34 | × | finnekit quits (~finnekit@fsf/member/finnekit) (Remote host closed the connection) |
| 06:06:56 | × | Me-me quits (~Me-me@user/me-me) (Ping timeout: 248 seconds) |
| 06:07:04 | Wstfgl0_ | is now known as Me-me |
| 06:07:04 | → | finnekit joins (~finnekit@fsf/member/finnekit) |
| 06:08:06 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 06:09:17 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 06:10:14 | → | anime-ps1cho joins (~srijan-pa@122.171.16.195) |
| 06:13:33 | <MatthiasPG> | https://hackage.haskell.org/package/monoid-subclasses-1.2.3/docs/Data-Monoid-Instances-Concat.html looks like it might do the trick. They promise amortised constant time for the relevant operations when wrapping any monoid. |
| 06:14:49 | <jackdk> | MatthiasPG: Finger trees? (Data.Sequence from containers) |
| 06:15:07 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 06:15:57 | <jackdk> | oh, that was already mentinoed |
| 06:19:55 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 06:24:02 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 06:24:09 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 06:25:45 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 06:26:10 | × | bramhaag quits (~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds)) |
| 06:27:03 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 06:28:56 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection) |
| 06:31:05 | <MatthiasPG> | jackdk, they would be great in practice, but I'm interested in theory, ie in asymptotic O(.) runtime. |
| 06:31:45 | <MatthiasPG> | I'm trying to write up an algorithm that simulates min-heaps in linear time. See eg https://cstheory.stackexchange.com/questions/41251/simulate-a-heap-in-linear-time |
| 06:32:02 | <MatthiasPG> | (Or also https://cs.stackexchange.com/questions/56643/is-this-special-case-of-a-scheduling-problem-solvable-in-linear-time/57182#57182 ) |
| 06:32:40 | <MatthiasPG> | Simulate in the sense that you only see the result at the end of a sequence of operations, but not what happens for each individual step. |
| 06:35:30 | × | slack1256 quits (~slack1256@186.11.20.9) (Remote host closed the connection) |
| 06:37:33 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 06:39:40 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 276 seconds) |
| 06:45:42 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:bfaf:4519:163b:bb1b) |
| 06:47:50 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:50:47 | → | delYsid joins (~user@user/delYsid) |
| 06:57:32 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:00:19 | <delYsid> | I sometimes wonder if upper-bounds actually do more harm then good. |
| 07:00:52 | → | mmhat joins (~mmh@p200300f1c7132c5cee086bfffe095315.dip0.t-ipconnect.de) |
| 07:00:59 | × | mmhat quits (~mmh@p200300f1c7132c5cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 07:03:56 | → | CiaoSen joins (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 07:04:24 | <jackdk> | I'm a fan |
| 07:07:07 | × | anime-ps1cho quits (~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds) |
| 07:09:38 | <geekosaur> | you have to fix more of the ecosystem when a text 2.0 or aeson 2.0 breaks everything |
| 07:10:05 | <geekosaur> | but this argument has been going on for years and nobody is going to change anyone else's mind at this point |
| 07:10:41 | → | acidjnk joins (~acidjnk@p200300d6e715c424892a24693f8d0a15.dip0.t-ipconnect.de) |
| 07:27:10 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:29:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 07:29:54 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:30:41 | → | anime-ps1cho joins (~srijan-pa@203.192.247.242) |
| 07:32:56 | <ujjwalgupta[m]> | Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/454df54912e950e437a36907ac01c355280fc11f>) |
| 07:33:40 | <ujjwalgupta[m]> | * Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/129e38ed390910f2b8a55c800202107d85ebaacc>) |
| 07:33:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 256 seconds) |
| 07:34:28 | <ujjwalgupta[m]> | * Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/98a4c9d85ca19288e23a8dca97ff9eddc59d9431>) |
| 07:35:31 | <ujjwalgupta[m]> | * Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/af83c4797d7137fb067e72ffbca2b537ae312484>) |
| 07:35:40 | <ujjwalgupta[m]> | * Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/97688044d707d2f47b54e79225edaee64a21ffd6>) |
| 07:36:44 | <ujjwalgupta[m]> | * Hey,... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/2fef347557ed14d1896fefca634fb9bca8d7941b>) |
| 07:36:50 | → | nschoe joins (~q@141.101.51.197) |
| 07:39:38 | × | MatthiasPG quits (~MatthiasP@202.133.199.92) (Ping timeout: 260 seconds) |
| 07:47:00 | <geekosaur> | please don't do matrix edits in an IRC channel. |
| 07:47:46 | <geekosaur> | (https://imgur.com/I918nG1.png) |
| 07:56:56 | → | Square2 joins (~Square4@user/square) |
| 08:06:10 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:09:54 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:12:02 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 08:16:54 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 08:17:22 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:18:11 | × | juri_ quits (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 08:19:16 | × | anime-ps1cho quits (~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds) |
| 08:22:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:25:18 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 08:28:05 | × | jil quits (~user@vps-15050500.vps.ovh.net) (Remote host closed the connection) |
| 08:30:17 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 08:31:33 | → | MajorBiscuit joins (~MajorBisc@145.94.168.115) |
| 08:31:42 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 08:41:23 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:42:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 08:42:19 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 248 seconds) |
| 08:51:27 | → | son0p joins (~ff@181.136.122.143) |
| 08:53:41 | → | nschoe joins (~q@141.101.51.197) |
| 08:54:17 | → | vglfr joins (~vglfr@46.96.172.186) |
| 09:00:03 | × | nicm[m] quits (~nicmollel@2001:470:69fc:105::1:feeb) (Quit: You have been kicked for being idle) |
| 09:01:16 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829) |
| 09:02:55 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829) (Ping timeout: 260 seconds) |
| 09:02:55 | use-value1 | is now known as use-value |
| 09:07:52 | → | anime-psycho joins (~srijan-pa@203.192.247.242) |
| 09:09:58 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:36:17 | × | stefan-_ quits (~cri@42dots.de) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 09:36:34 | → | stefan-_ joins (~cri@42dots.de) |
| 09:37:16 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 09:37:18 | → | ubert1 joins (~Thunderbi@2a02:8109:abc0:6434:cc0d:e677:3758:c057) |
| 09:39:44 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:45:49 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 09:47:11 | → | nate1 joins (~nate@98.45.169.16) |
| 09:49:00 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 09:50:46 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 276 seconds) |
| 09:51:46 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 09:52:29 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 09:54:19 | × | ubert1 quits (~Thunderbi@2a02:8109:abc0:6434:cc0d:e677:3758:c057) (Remote host closed the connection) |
| 09:55:00 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 09:58:07 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 10:01:45 | × | thegeekinside quits (~thegeekin@189.180.119.50) (Ping timeout: 240 seconds) |
| 10:02:33 | ← | delYsid parts (~user@user/delYsid) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 10:03:59 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 10:05:27 | → | pavonia joins (~user@user/siracusa) |
| 10:06:05 | × | vglfr quits (~vglfr@46.96.172.186) (Ping timeout: 240 seconds) |
| 10:12:31 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 10:16:46 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 276 seconds) |
| 10:22:31 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 10:22:53 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 10:24:05 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 240 seconds) |
| 10:25:02 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 10:29:18 | → | __monty__ joins (~toonn@user/toonn) |
| 10:34:49 | → | juri_ joins (~juri@84-19-175-179.pool.ovpn.com) |
| 10:35:19 | × | CiaoSen quits (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:35:24 | → | ub joins (~Thunderbi@p200300ecdf114f6db3d7a9799dbefffd.dip0.t-ipconnect.de) |
| 10:36:42 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:36:45 | × | ubert quits (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 10:36:45 | ub | is now known as ubert |
| 10:39:50 | <carbolymer> | ujjwalgupta[m]: your message isn't readable |
| 10:48:32 | × | acidjnk quits (~acidjnk@p200300d6e715c424892a24693f8d0a15.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:51:58 | → | vglfr joins (~vglfr@46.96.172.186) |
| 10:54:05 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:02:14 | → | polux1 joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 11:03:38 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 11:03:38 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 252 seconds) |
| 11:03:42 | × | oddline quits (~oddline@user/oddline) (Ping timeout: 268 seconds) |
| 11:04:00 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 11:04:00 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Ping timeout: 252 seconds) |
| 11:04:01 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Read error: Connection reset by peer) |
| 11:04:01 | polux1 | is now known as polux |
| 11:04:07 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 11:04:20 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 11:04:21 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 11:05:06 | × | dumptruckman quits (~dumptruck@143-42-239-71.ip.linodeusercontent.com) (Ping timeout: 252 seconds) |
| 11:05:16 | → | dumptruckman joins (~dumptruck@143-42-239-71.ip.linodeusercontent.com) |
| 11:05:59 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:14:51 | × | msavoritias quits (cb716af6b3@irc.cheogram.com) (Ping timeout: 248 seconds) |
| 11:16:05 | → | oddline joins (~oddline@user/oddline) |
| 11:20:26 | <dminuoso> | geekosaur: Im not sure whether they can be blamed. |
| 11:20:49 | <dminuoso> | I see this as a matrix issue, not a user issue. |
| 11:20:53 | <dminuoso> | *matrix bridge |
| 11:21:48 | → | msavoritias joins (cb716af6b3@irc.cheogram.com) |
| 11:26:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 11:31:03 | × | vglfr quits (~vglfr@46.96.172.186) (Ping timeout: 250 seconds) |
| 11:33:36 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 11:37:44 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 11:37:50 | × | anime-psycho quits (~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds) |
| 11:40:05 | <oddline> | hmm - now I'm trying to use GeneralisedNewtypeDeriving with IArray the other way round, the way that afaik _should_ work, and it's still not working? |
| 11:40:52 | <oddline> | here's a little example https://dpaste.org/TTQSZ and here's what it complains of https://dpaste.org/LsVMr |
| 11:41:50 | <oddline> | the same thing happens whether I use GeneralisedNewtypeDeriving or DerivingVia, and whether or not I use a standalone deriving instance |
| 11:42:10 | <oddline> | I've checked and Word8 and MyByte are definitely coercible (as they should be) |
| 11:42:33 | <dminuoso> | oddline: Are their constructors in scope? |
| 11:42:43 | <dminuoso> | Or mmm |
| 11:42:56 | <dminuoso> | You would get a different error if that was an issue |
| 11:43:54 | <dminuoso> | oddline: I wonder whether this is a GHC bug maybe |
| 11:44:16 | <dminuoso> | The Coercible constraint is quite magical, and maybe its just not visible inside the GND coercion |
| 11:44:26 | <oddline> | I didn't want to presume it was, as this is not space I'm super familiar with, but it certainly smells like it could be |
| 11:44:33 | <oddline> | behaves the same in 9.2 and 9.6 fwiw |
| 11:44:38 | <dminuoso> | oddline: Run it in #ghc perhaps first |
| 11:44:54 | <dminuoso> | Though mmm |
| 11:45:13 | <dminuoso> | Yeah this looks very strange |
| 11:45:29 | <dminuoso> | It's either a bad diagnostic or bad behavior. Either way it's a GHC bug. |
| 11:46:16 | <dminuoso> | oddline: If you added `import GHC.Word` will it compile then? |
| 11:46:36 | <dminuoso> | (Idea is to just bring the constructor of Word8 into scope) |
| 11:46:51 | <oddline> | no difference |
| 11:48:42 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 11:50:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:51:35 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 11:53:37 | → | nschoe joins (~q@141.101.51.197) |
| 11:54:02 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) |
| 11:54:14 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 12:02:16 | → | xff0x joins (~xff0x@2405:6580:b080:900:2633:8ce2:126b:e828) |
| 12:04:04 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829) (Remote host closed the connection) |
| 12:04:23 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829) |
| 12:04:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 12:13:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:17:33 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 12:20:52 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 12:21:25 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 12:22:20 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 12:24:11 | <[Leary]> | oddline, dminuoso: `type role UArray nominal nominal`. You can't coerce underneath it, so you can't coerce the `Word8`. |
| 12:24:29 | <oddline> | ah, poo. |
| 12:24:42 | <oddline> | thanks; shame I bothered #ghc |
| 12:25:26 | <oddline> | the explicit instance is going to be rather nasty to write out, too (assuming it's even possible? I think it is...) |
| 12:27:13 | → | kenran joins (~user@user/kenran) |
| 12:27:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 12:38:30 | → | ddellacosta joins (~ddellacos@143.244.47.84) |
| 12:45:10 | → | ccapndave joins (~ccapndave@mob-194-230-146-228.cgn.sunrise.net) |
| 12:45:54 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 12:46:14 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 12:51:30 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 12:52:13 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 12:55:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:01:34 | × | xff0x quits (~xff0x@2405:6580:b080:900:2633:8ce2:126b:e828) (Ping timeout: 252 seconds) |
| 13:03:20 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 13:04:34 | → | hayden_ joins (~hayden@158.123.160.43) |
| 13:12:23 | × | ddellacosta quits (~ddellacos@143.244.47.84) (Quit: WeeChat 3.8) |
| 13:16:36 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:17:39 | × | hayden_ quits (~hayden@158.123.160.43) (Ping timeout: 250 seconds) |
| 13:18:59 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 13:19:31 | → | hayden_ joins (~hayden@158.123.160.43) |
| 13:19:31 | × | nehsou^ quits (~nehsou@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 13:21:20 | → | titibandit joins (~titibandi@user/titibandit) |
| 13:21:27 | → | troydm joins (~troydm@user/troydm) |
| 13:21:36 | ← | titibandit parts (~titibandi@user/titibandit) () |
| 13:21:54 | → | ddellacosta joins (~ddellacos@143.244.47.84) |
| 13:24:27 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 13:27:16 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 13:32:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 13:37:20 | <geekosaur> | dminuoso, I'm not blaming them, just asking that it be avoided |
| 13:37:38 | <geekosaur> | I'd have let it go for 1 edit but 5 in a row was a bit much |
| 13:38:10 | <geekosaur> | and would have been worse if synapse hadn't put most of the message in a pastebin due to being too large for IRC |
| 13:39:24 | → | jero98772 joins (~jero98772@190.158.28.80) |
| 13:39:35 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:39:36 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:39:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:39:48 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 13:40:11 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 13:40:47 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 13:43:52 | × | hayden_ quits (~hayden@158.123.160.43) (Ping timeout: 265 seconds) |
| 13:45:55 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 13:45:55 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 13:46:40 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 13:47:10 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 13:48:25 | → | nate1 joins (~nate@98.45.169.16) |
| 13:48:54 | → | puke joins (~puke@user/puke) |
| 13:49:31 | × | ccapndave quits (~ccapndave@mob-194-230-146-228.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:51:39 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 13:53:14 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 13:53:42 | → | anime-ps1cho joins (~srijan-pa@122.171.22.131) |
| 13:55:26 | → | ccapndave joins (~ccapndave@mob-194-230-146-228.cgn.sunrise.net) |
| 13:55:47 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 13:55:49 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 13:56:23 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 13:57:18 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:58:25 | × | jero98772 quits (~jero98772@190.158.28.80) (Ping timeout: 276 seconds) |
| 13:59:28 | × | ccapndave quits (~ccapndave@mob-194-230-146-228.cgn.sunrise.net) (Client Quit) |
| 13:59:50 | × | pyook quits (~puke@user/puke) (Remote host closed the connection) |
| 14:00:08 | → | pyook joins (~puke@user/puke) |
| 14:02:38 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 14:03:12 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 14:08:47 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 14:11:25 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 14:12:13 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 14:16:57 | → | thegeekinside joins (~thegeekin@189.180.119.50) |
| 14:17:22 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 14:21:04 | → | ub joins (~Thunderbi@p200300ecdf114f599e78396caae91165.dip0.t-ipconnect.de) |
| 14:21:34 | × | ubert quits (~Thunderbi@p200300ecdf114f6db3d7a9799dbefffd.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 14:21:34 | ub | is now known as ubert |
| 14:21:36 | → | hayden_ joins (~hayden@158.123.160.43) |
| 14:22:00 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 14:29:16 | × | anime-ps1cho quits (~srijan-pa@122.171.22.131) (Ping timeout: 268 seconds) |
| 14:35:02 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:bfaf:4519:163b:bb1b) (Quit: WeeChat 2.8) |
| 14:38:13 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 14:40:54 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 14:40:58 | → | elain4 joins (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 14:42:21 | × | hayden_ quits (~hayden@158.123.160.43) (Quit: Leaving) |
| 14:45:01 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 14:48:49 | → | anime-ps1cho joins (~srijan-pa@122.171.22.131) |
| 14:49:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 14:52:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:53:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 14:59:24 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 252 seconds) |
| 15:00:49 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:06:52 | → | nschoe joins (~q@141.101.51.197) |
| 15:08:20 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 260 seconds) |
| 15:09:17 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 15:09:38 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:09:57 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 15:10:02 | × | Me-me quits (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: This is to deliver a punchline, it's worth it for the bit.) |
| 15:11:22 | → | acidjnk joins (~acidjnk@p200300d6e715c4560d89bcbac05bf750.dip0.t-ipconnect.de) |
| 15:13:29 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:16:09 | → | hippoid joins (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) |
| 15:16:13 | × | hippoid quits (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 15:16:13 | → | hippoid joins (~My_user_n@user/hippoid) |
| 15:18:58 | → | Albina_Pavlovna joins (~Albina_Pa@2603-7000-76f0-76e0-f900-6862-141c-1878.res6.spectrum.com) |
| 15:21:31 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 15:23:35 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 15:32:25 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 15:32:38 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 15:32:55 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 15:34:24 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 15:34:37 | → | sammelweis joins (~quassel@2601:401:8003:1f60::5) |
| 15:34:39 | → | hueso joins (~root@user/hueso) |
| 15:34:39 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 15:39:18 | → | hueso joins (~root@user/hueso) |
| 15:39:34 | × | anime-ps1cho quits (~srijan-pa@122.171.22.131) (Ping timeout: 268 seconds) |
| 15:42:17 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds) |
| 15:43:33 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 15:44:28 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 15:45:11 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 15:46:01 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 252 seconds) |
| 15:46:13 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 15:50:40 | → | econo joins (uid147250@user/econo) |
| 15:51:04 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 15:52:02 | × | nschoe quits (~q@141.101.51.197) (Quit: Switching off) |
| 15:54:02 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 15:54:34 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 16:04:52 | <segfaultfizzbuzz> | people normally talk about the performance/throughput impact of garbage collection, but i haven't encountered much discussion about security |
| 16:05:11 | <[exa]> | what kind of security |
| 16:05:21 | <segfaultfizzbuzz> | if you are working with say, a private key of some kind or other sensitive thing |
| 16:05:29 | × | sammelweis quits (~quassel@2601:401:8003:1f60::5) (Ping timeout: 265 seconds) |
| 16:05:37 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) |
| 16:05:39 | <segfaultfizzbuzz> | and that is being handled by a garbage collector, the key won't go away until it is garbage collected (?) |
| 16:05:52 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:05:55 | <[exa]> | ah then if you don't manage the memory for it manually you're either doomed beyond discussion or you publicly declare that you don't care |
| 16:06:11 | <[exa]> | spoiler: it won't go away even if garbage collected |
| 16:06:13 | <segfaultfizzbuzz> | okay so you must manually manage sensitive data |
| 16:06:30 | <segfaultfizzbuzz> | oh the memory doesn't get zeroed out i am guessing? |
| 16:06:45 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:06:52 | <ski> | i'd not rely on it |
| 16:07:03 | <L29Ah> | segfaultfizzbuzz: memory only gets zeroed out when given anew to some process by the kernel |
| 16:07:11 | <[exa]> | spoiler 2: your smart operating system will then swap out the key to a hard disk which you will throw out with the other things and random guys who sort the waste will have your keys in plaintext there |
| 16:07:13 | <segfaultfizzbuzz> | yipes |
| 16:07:22 | <dolio> | Even in stuff like C, deallocating isn't going to zero out the memory, most likely. |
| 16:07:35 | <[exa]> | yeah |
| 16:07:46 | <[exa]> | in summary, GC is the least of the problems there :D |
| 16:07:58 | <segfaultfizzbuzz> | so then how do haskellers manage secrets? |
| 16:08:21 | <segfaultfizzbuzz> | it seems like you must know when you are done and you must mutate a secret (zero out or whatever) when done |
| 16:08:45 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 16:09:12 | <[exa]> | good question, I guess most people go the "no care" way |
| 16:09:24 | <jean-paul[m]> | No, before you start you must carefully allocate the memory so that it isn't carelessly copied by other parts of your system |
| 16:09:41 | <segfaultfizzbuzz> | wow what lo |
| 16:09:46 | <segfaultfizzbuzz> | lol |
| 16:09:47 | → | sammelweis joins (~quassel@2601:401:8003:1f60:3859:e60e:adbd:7270) |
| 16:10:29 | <L29Ah> | segfaultfizzbuzz: i don't care: i don't see a reason to tbh |
| 16:10:30 | <[exa]> | also usually the low-level libraries do the heavy lifting, such as you usually use something like openSSL and gnuTLS to make https connections, which are typically written so that they do the Rightest Thing |
| 16:10:50 | <segfaultfizzbuzz> | so basically, if you manage confidential/secret data, that must be a linear/affine type,... and actually it might be worthwhile to call that a "secure linear type" or "secure affine type" as the memory management needs to also wipe the data... |
| 16:11:24 | <[exa]> | and make sure the data is locked in memory |
| 16:11:28 | <segfaultfizzbuzz> | locked? |
| 16:11:36 | <jean-paul[m]> | It's not clear how much sense it makes to talk about the types of such things until you have a type system that acknowledges the existence of things like MMUs and page faults and swap. |
| 16:11:38 | <[exa]> | see `man mlockall` |
| 16:12:26 | <[exa]> | also, if you want to be really sure, you want to prevent all CPU branchy instructions that use bits from the secret data (if(secret_bit) can be sploited to leak the bit) |
| 16:12:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 16:13:04 | <segfaultfizzbuzz> | what? if(secret_bit)? |
| 16:13:09 | <[exa]> | and finally you might want to completely prevent other programs from accessing the RAM neighborhood of your data in order to prevent the rowhammer attacks |
| 16:13:24 | <[exa]> | segfaultfizzbuzz: yeah there are branch predictor timing attacks against that |
| 16:13:25 | <ski> | segfaultfizzbuzz : timing attacks ? |
| 16:13:33 | <jean-paul[m]> | If you branch depending on the contents of your secret, you leak your secret in the time it takes to complete your operation. |
| 16:13:36 | <segfaultfizzbuzz> | jean-paul[m]: i don't see any reason for swap today (???) the other two things i don't understand |
| 16:13:59 | <segfaultfizzbuzz> | jean-paul[m]: ah right |
| 16:14:14 | <jean-paul[m]> | segfaultfizzbuzz: Even if you don't see any reason for it, it does exist, so if you want to write software that doesn't write its secrets to a hard drive somewhere, you have to deal with it. |
| 16:14:16 | <L29Ah> | segfaultfizzbuzz: swap is great for indefinite suspend (on battery devices) and for leaking leaky software |
| 16:14:29 | <segfaultfizzbuzz> | jean-paul[m]: which also means that strictness is important for security, i think because laziness becomes a timing channel? |
| 16:14:43 | <geekosaur> | or for building ghc on a laptop ") |
| 16:14:52 | <[exa]> | segfaultfizzbuzz: the problem is way beyond strictness and laziness |
| 16:14:59 | <jean-paul[m]> | segfaultfizzbuzz: Possibly! Sounds like an interesting paper someone should write/someone has already written and would be fun to read. |
| 16:15:11 | <[exa]> | also that reminds me the funny phreak with listening to RSA keys via high-frequency microphone |
| 16:15:16 | <[exa]> | where's the paper |
| 16:15:47 | <jean-paul[m]> | Basically, your computer is a sieve and the default behavior is for anything you put in it to leak out of a million holes. |
| 16:15:51 | <[exa]> | ah yes here, that's a magnificent side channel https://www.cs.tau.ac.il/~tromer/acoustic/ |
| 16:15:54 | <dolio> | See? You've been not caring about all the security nuances of all the software you use this whole time, just like most other people. |
| 16:16:00 | <segfaultfizzbuzz> | jean-paul[m]: yeah i have learned that much |
| 16:16:11 | → | anime-psycho joins (~srijan-pa@122.171.22.131) |
| 16:16:25 | <segfaultfizzbuzz> | but like, do big iron servers have swap enabled? like "hey we have 4tb of ram but turn swap on just in case"? seems pretty lol |
| 16:19:46 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 16:22:46 | <segfaultfizzbuzz> | well i gotta run sorry but i will check the logs in a couple hours or so |
| 16:23:11 | → | hueso joins (~root@user/hueso) |
| 16:26:00 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:27:40 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 16:34:37 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 16:34:52 | <__monty__> | I wonder whether non-strict evaluation actually allows for more opportunities to combat memory/timing side-channels by randomly evaluating thunks before they're needed? |
| 16:36:53 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:39:38 | <jean-paul[m]> | Anything "random" doesn't solve timing side-channels. |
| 16:39:58 | <jean-paul[m]> | It adds more noise which might require you take more samples before you find the signal, that's all. |
| 16:41:50 | <dolio> | Most non-strict evaluation strategies aren't random, either. |
| 16:42:28 | <dolio> | At least, the ones that get used. |
| 16:42:45 | <__monty__> | dolio: I mean intentionally taking advantage of the flexibility in when things have to get evaluated. |
| 16:43:05 | <jean-paul[m]> | I suspect it would be very annoying in general if thunk evaluation order were randomized. |
| 16:43:41 | <__monty__> | jean-paul[m]: Noise is already a bonus. But the runtime could also intentionally try to obscure signals. |
| 16:44:07 | <juri_> | crypto in haskell is a Hard problem. |
| 16:44:43 | <jean-paul[m]> | __monty__: in strict languages, people are sometimes tempted to add delays and such to deal with this problem. It's not generally recognized as a winning strategy. I imagine the same thing would be true about playing games with thunk evaluation order in a lazy language. |
| 16:45:15 | <jean-paul[m]> | Just a hunch, of course. |
| 16:46:45 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:47:07 | <__monty__> | I think it's still interesting as a way to deal with things where you can't completely get to constant-time operation pragmatically. |
| 16:48:10 | × | MajorBiscuit quits (~MajorBisc@145.94.168.115) (Quit: WeeChat 3.6) |
| 16:53:40 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 16:58:12 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 16:58:54 | × | jargon quits (~jargon@174-22-213-236.phnx.qwest.net) (Remote host closed the connection) |
| 17:01:07 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 17:07:00 | × | ddellacosta quits (~ddellacos@143.244.47.84) (Ping timeout: 252 seconds) |
| 17:12:31 | → | ddellacosta joins (~ddellacos@143.244.47.84) |
| 17:16:49 | × | natto quits (~natto@140.238.225.67) (Quit: a.) |
| 17:18:04 | → | natto joins (~natto@140.238.225.67) |
| 17:20:34 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 17:23:03 | × | Albina_Pavlovna quits (~Albina_Pa@2603-7000-76f0-76e0-f900-6862-141c-1878.res6.spectrum.com) (Quit: bb) |
| 17:28:56 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:31:49 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:33:30 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 17:36:11 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 17:38:37 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 17:40:57 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 17:40:57 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 17:40:57 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:47:59 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) |
| 17:49:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:51:44 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 17:52:42 | <jean-paul[m]> | modern-uri has this RText type and doesn't seem to export its constructor... So I cannot pattern match on values of this type, right? |
| 17:53:34 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 17:53:40 | <monochrom> | So you go through all of modern-uri's API and look for other ways. |
| 17:55:30 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-7945-4893-06bb-2687.rev.sfr.net) |
| 17:55:48 | → | delYsid joins (~user@user/delYsid) |
| 17:57:09 | <jean-paul[m]> | I don't see anything, but I also can't prove a negative :) |
| 17:57:20 | → | Guest|82 joins (~Guest|82@ip-178-13-248-87.eidsiva.net) |
| 17:58:07 | × | Guest|82 quits (~Guest|82@ip-178-13-248-87.eidsiva.net) (Client Quit) |
| 17:59:15 | <jean-paul[m]> | Or, well, I see unRText so I can unwrap the values and then do something with those, but I was hoping to just do one pattern for this whole thing. |
| 18:00:10 | <monochrom> | You can write your own uni-directional pattern synonym :) |
| 18:00:33 | <ski> | unRText :: RText l -> Text |
| 18:00:42 | <jean-paul[m]> | Aha, an excuse to learn about pattern synonyms. |
| 18:00:44 | <ski> | yea |
| 18:00:53 | <ski> | (or view patterns) |
| 18:01:19 | <monochrom> | But personally I don't obsess over pattern matching when the whole point is an abstract type. |
| 18:03:27 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 18:04:03 | <jean-paul[m]> | I think the point of RText is only safe construction. |
| 18:04:28 | <monochrom> | Yes, and "safe construction" = "abstract type". |
| 18:04:37 | <jean-paul[m]> | Hm. |
| 18:04:57 | <monochrom> | Just like "fittest" = "survival" |
| 18:11:10 | <ski> | OCaml has "private types", which allow deconstruction (matching and projection), but not construction, outside of the module (see <https://v2.ocaml.org/manual/privatetypes.html>) |
| 18:12:23 | <monochrom> | In the case of RText, I actually question the value of it in the first place. |
| 18:13:54 | <monochrom> | But in general when abstract types make sense, I doubt the value of verbatim deconstruction. For example Sequence, HashMap. |
| 18:17:59 | <monochrom> | Clarification: I question the value of having this RText type in the first place. |
| 18:19:41 | <jean-paul[m]> | How would you ensure safety? |
| 18:20:09 | <monochrom> | How much safety in this case do I ever need to ensure? |
| 18:20:36 | <monochrom> | Like, I know that URI's uriHost field has a valid host. Great. |
| 18:20:50 | <monochrom> | But I already know that from the field name "uriHost" itself. |
| 18:22:49 | <monochrom> | You may raise the marginal possibility that I handcode my own "myURI = URI{uriHost : "key=value", ...}" and goof up there. |
| 18:23:10 | <monochrom> | But I don't even do that. I can just use any of the URI parsers provided. |
| 18:23:50 | <monochrom> | I am lazy. I write "parseURI "http:..."" not "URI{handcode every field painstakingly}". |
| 18:26:14 | <c_wraith> | but do you use an irrefutable match in the process? |
| 18:26:39 | <monochrom> | Depends on the context and the risk model. |
| 18:26:44 | <jean-paul[m]> | Reasonable. I wonder if a pattern like `add u@URI{uriQuery} = u { uriQuery = (mkQueryKey "foo", mkQueryValue "Bar"):uriQuery }` gets some benefit here. But that was really annoying to type out, I don't think I like it. |
| 18:27:13 | <jean-paul[m]> | (and still wrong since mk* can fail) |
| 18:28:26 | <monochrom> | There is some small value in this particular safety. I argue that it is too small. |
| 18:30:29 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:36:48 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 18:43:52 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:55:13 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 18:55:22 | → | Techcable joins (~Techcable@user/Techcable) |
| 19:01:31 | × | anime-psycho quits (~srijan-pa@122.171.22.131) (Quit: Lost terminal) |
| 19:03:47 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 19:08:24 | → | heraldo joins (~heraldo@user/heraldo) |
| 19:08:30 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit) |
| 19:09:22 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:14:11 | × | sammelweis quits (~quassel@2601:401:8003:1f60:3859:e60e:adbd:7270) (Ping timeout: 246 seconds) |
| 19:15:34 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-200.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 19:20:25 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 19:24:59 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 19:27:49 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 19:28:25 | → | vglfr joins (~vglfr@46.96.172.186) |
| 19:29:58 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 19:31:04 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 19:34:12 | → | elevenkb joins (~elevenkb@105.225.53.253) |
| 19:35:27 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 19:35:53 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 19:40:08 | × | elevenkb quits (~elevenkb@105.225.53.253) (Remote host closed the connection) |
| 19:40:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 19:48:24 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 19:48:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 19:51:25 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 19:55:21 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:01:15 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 20:07:27 | → | biberu joins (~biberu@user/biberu) |
| 20:10:37 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:11:32 | → | elevenkb joins (~elevenkb@105.225.53.253) |
| 20:13:25 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 20:18:39 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:20:54 | × | ryantrinkle quits (~ryantrink@38.27.99.245) (Ping timeout: 255 seconds) |
| 20:22:44 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 20:28:55 | <peutri> | Anyone have experience with http-conduit over http-client-tls? I'm having trouble parallelizing it. |
| 20:29:42 | <peutri> | I'm launching a few threads downloading stuff over https, shared Manager, and after a few minutes they all crash for lack of entropy as reported by lower-level cryptonite |
| 20:29:59 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 20:35:00 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 20:36:06 | → | ryantrinkle joins (~ryantrink@209.91.195.194) |
| 20:36:30 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 20:36:54 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 20:37:45 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 20:39:27 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:41:25 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 20:42:45 | × | ryantrinkle quits (~ryantrink@209.91.195.194) (Ping timeout: 240 seconds) |
| 20:44:04 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 252 seconds) |
| 20:50:30 | → | heraldo joins (~heraldo@user/heraldo) |
| 20:56:08 | → | ryantrinkle joins (~ryantrink@209.91.235.83) |
| 20:57:41 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:58:04 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:59:09 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 20:59:19 | <peutri> | (threadcount times https://pastebin.com/JPzTHG9c after downloading ~3MB of data) |
| 21:00:04 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 21:00:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:01:05 | × | [exa] quits (~exa@user/exa/x-3587197) (Remote host closed the connection) |
| 21:01:18 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:30 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:01:37 | → | kimiamania joins (~65804703@user/kimiamania) |
| 21:11:19 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 276 seconds) |
| 21:11:31 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 21:12:30 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:16:48 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 21:23:46 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:25:56 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-7945-4893-06bb-2687.rev.sfr.net) (Remote host closed the connection) |
| 21:28:05 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 21:28:52 | × | vglfr quits (~vglfr@46.96.172.186) (Ping timeout: 265 seconds) |
| 21:31:02 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:31:44 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 21:32:12 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 21:34:04 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 21:34:51 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:35:16 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:35:23 | × | son0p quits (~ff@181.136.122.143) (Read error: Connection reset by peer) |
| 21:37:01 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 21:38:37 | → | rf joins (~rf@2605:59c8:1604:2210:3b9d:e321:bd23:2925) |
| 21:39:05 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 21:42:13 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 21:43:45 | × | elain4 quits (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Read error: Connection reset by peer) |
| 21:45:47 | × | elevenkb quits (~elevenkb@105.225.53.253) (Ping timeout: 264 seconds) |
| 21:46:18 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:47:22 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 21:48:50 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 21:56:10 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 276 seconds) |
| 21:57:24 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:57:54 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:58:05 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:01:59 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 22:08:24 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 22:09:19 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:13:46 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 252 seconds) |
| 22:16:49 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 22:19:31 | → | falafel joins (~falafel@2603-8000-d700-115c-0d74-b978-eeca-e964.res6.spectrum.com) |
| 22:19:48 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 22:20:13 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 276 seconds) |
| 22:20:36 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:24:45 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 22:27:53 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:33:09 | → | heraldo joins (~heraldo@user/heraldo) |
| 22:34:44 | → | son0p joins (~ff@181.136.122.143) |
| 22:37:42 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 22:38:56 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:49:04 | × | ubert quits (~Thunderbi@p200300ecdf114f599e78396caae91165.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 22:49:08 | → | nate1 joins (~nate@98.45.169.16) |
| 22:49:29 | → | ubert joins (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) |
| 22:49:48 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 22:54:28 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 22:54:40 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 22:54:50 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 22:55:25 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 22:58:31 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:03:07 | × | acidjnk quits (~acidjnk@p200300d6e715c4560d89bcbac05bf750.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:04:00 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:05:01 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 23:05:26 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 23:08:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:08:53 | → | dolio joins (~dolio@130.44.134.54) |
| 23:09:03 | ← | delYsid parts (~user@user/delYsid) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 23:09:28 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 23:10:31 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 23:13:45 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 265 seconds) |
| 23:15:05 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 23:25:31 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::6) |
| 23:28:11 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 23:28:32 | × | phma quits (phma@2001:5b0:211f:e428:9fb9:b7cc:2fd:9e9) (Read error: Connection reset by peer) |
| 23:28:56 | → | phma joins (phma@2001:5b0:211f:e428:9fb9:b7cc:2fd:9e9) |
| 23:32:10 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 23:32:10 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 23:32:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:32:45 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 23:38:51 | → | heraldo joins (~heraldo@user/heraldo) |
| 23:43:46 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 23:44:31 | → | gmg joins (~user@user/gehmehgeh) |
| 23:47:28 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 23:48:49 | → | mauke_ joins (~mauke@user/mauke) |
| 23:50:05 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:50:05 | mauke_ | is now known as mauke |
| 23:51:06 | → | heraldo joins (~heraldo@user/heraldo) |
| 23:51:47 | → | PRCisDemocratic joins (~gnulinuxu@user/gnulinuxuser) |
| 23:52:46 | ← | NiceBird parts (~NiceBird@185.133.111.196) (bbl) |
| 23:53:54 | → | barcisz joins (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 23:54:40 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::6) (Ping timeout: 248 seconds) |
| 23:57:18 | × | barcisz quits (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit) |
All times are in UTC on 2023-04-21.