Home liberachat/#haskell: Logs Calendar

Logs on 2024-07-28 (liberachat/#haskell)

00:02:07 <geekosaur> `main` isn't special. you can always access some other module's `main` qualified
00:02:20 <geekosaur> module `Main` is special (check the Report)
00:02:52 <geekosaur> (and `main` in some other module can have any type)
00:04:58 <Inst> no, but let's say you have some package that has Main somewhere, under Main is, with module Main (iirc this is compulsory)
00:05:23 <Inst> there's no way to differentiate between this module Main and the actual module Main you're using, no?
00:06:03 <geekosaur> no, but module Main is considered reserved — libraries are expected not to use it
00:06:49 <Inst> ancient
00:06:57 <geekosaur> ghc allows you to change this, by using `-main-is` to point to a different module as the main module (and optionally a different binding within that module, provided its type unifies with `IO a`)
00:06:58 <Inst> oh well
00:07:00 <Inst> https://stackoverflow.com/questions/27591266/telling-cabal-where-the-main-module-is
00:07:30 <geekosaur> also note that a cabal file's "main-is" is subtly different from ghc's -main-is
00:08:43 <Inst> main-is afaik has to point to a file containing module Main, right?
00:09:45 <Inst> yeah, there are more recent responses on that stackexchange
00:09:57 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
00:10:54 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:12:39 <geekosaur> (libraries *could* meaningfully do that kind of thing, though, specifically to allow use of Haskell plugins via FFI from C etc.; see hs_init() (https://downloads.haskell.org/ghc/9.10.1/docs/users_guide/exts/ffi.html#using-your-own-main)
00:25:11 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
00:37:27 → Guest|44 joins (~Guest|44@218.159.198.13)
00:44:29 × tomku quits (~tomku@user/tomku) (Ping timeout: 260 seconds)
00:45:08 × Guest|44 quits (~Guest|44@218.159.198.13) (Quit: Connection closed)
00:55:09 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
00:57:00 × bolivood quits (~bolivood@2a0d:6fc2:5d11:200:d189:8884:fd00:6a5d) (Ping timeout: 272 seconds)
01:13:43 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:15:00 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:19:04 × ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds)
01:24:29 → Sgeo joins (~Sgeo@user/sgeo)
01:34:01 → Guest|44 joins (~Guest|44@218.159.198.13)
01:43:12 × itaipu quits (~itaipu@168.121.98.250) (Ping timeout: 252 seconds)
01:56:32 → itaipu joins (~itaipu@168.121.98.206)
01:56:46 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
01:58:01 → JuanDaugherty joins (~juan@user/JuanDaugherty)
02:05:03 × op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection)
02:05:34 → op_4 joins (~tslil@user/op-4/x-9116473)
02:11:24 × td_ quits (~td@i53870913.versanet.de) (Ping timeout: 260 seconds)
02:13:00 → td_ joins (~td@i5387090A.versanet.de)
02:19:44 × Guest|44 quits (~Guest|44@218.159.198.13) (Quit: Connection closed)
02:21:24 → tomku joins (~tomku@user/tomku)
02:36:03 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
02:36:40 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
02:39:13 × manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 248 seconds)
02:39:52 → manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck)
02:42:57 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds)
02:44:13 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
03:03:20 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
03:06:43 → sindu joins (~sindu@83-243-191-191.fth.tafjordconnect.net)
03:08:41 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
03:22:09 × sindu quits (~sindu@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 260 seconds)
03:31:43 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
03:32:51 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:44:51 → aforemny_ joins (~aforemny@i59F516E4.versanet.de)
03:45:36 × aforemny quits (~aforemny@2001:9e8:6cde:f100:f13d:7189:cb6f:5d03) (Ping timeout: 244 seconds)
03:56:19 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
04:28:21 × xff0x quits (~xff0x@2405:6580:b080:900:8b26:ef3c:7f31:7c41) (Ping timeout: 265 seconds)
04:39:42 → xff0x joins (~xff0x@2405:6580:b080:900:333f:570b:ae7a:3a3d)
04:47:49 → Guest36 joins (~Guest85@78.135.8.93)
05:06:15 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
05:06:45 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
05:09:59 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
05:10:00 <Guest36> I was working through the Functional Pearl, Probabilistic Functional Programming. It's a nice paper. There is a `selectP :: (Num prob, Ord prob) => T prob a -> prob -> a` which seems reasonable to me. For this question let's say `prob` is `Float` and `T prob a` is `[(Float, a)]`. The implementation of `selectP` looks at the head of the distribution
05:10:01 <Guest36> and if the outcome's probability, say `q`, is greater than the 2nd arg (ie, probability as a `float`), say `p`, it recurses over the tail of the distribution but with `p-q`. Can someone give some intuition on what that is achieving (there is no specified ordering of distribution elements by their probability, afaics, the `Ord` constraint seems to
05:10:01 <Guest36> be only for the `p<=q` test)?
05:10:40 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
05:16:57 <Guest36> If it was the case that the distribution is known to be unaggregated (ie the same outcome can appear more than once), and the list grouped equivalent outcomes together, then maybe it would make a bit more sense to me, but still not porperly, because it would always return the first outcome that is more likely to occur than `p`.
05:17:29 <mauke> https://web.engr.oregonstate.edu/~erwig/papers/PFP_JFP06.pdf
05:17:35 <Guest36> yes
05:17:55 <Guest36> and I am looking at the code for probability-0.2.8
05:19:05 <glguy> If all the probabilities in the list add up to N and your random number is in the range 0-N you're getting a weighted sampling of the elements in the list
05:19:07 <Guest36> (which is newer than the paper's downloadable code tar)
05:19:19 <Guest36> OK
05:20:38 <Guest36> if the list is not ordered, you would eat up `p` at each step and then choose some outcome which might have nothing to do with the ones that ate up most of your `p`
05:20:55 <glguy> The order wouldn't matter
05:21:09 <Guest36> that's the bit I don't see, I suppose
05:21:10 <glguy> Because of the p-q part you mentioned
05:21:27 <Guest36> `p-q` is what I mean by eat
05:21:41 <Guest36> *eat up
05:22:03 <Guest36> am I thinking incorrectly?
05:22:20 <glguy> It's the sum of the probabilities that matters, not the order
05:23:08 <Guest36> right, but you are jumping over outcomes that did some of the eating up of p
05:23:14 <glguy> So if you've got probabilities 1,1,2,3. Pick a number between 0 and 7
05:23:28 <glguy> The first 0-1 are for the first element
05:23:54 <glguy> 1-2 for the next, 2-4 will pick the third, 4-7 the last
05:24:09 <glguy> With a tie breaking rule for exact matches
05:24:23 → billchenchina- joins (~billchenc@210.110.131.60)
05:24:41 <Guest36> right, but if the order was different you would get a different outcome returned, no?
05:25:12 <glguy> You'd get the same distribution
05:25:53 <glguy> You'd get different values for different random indexes, but that doesn't matter
05:25:55 <Guest36> so, we are returning an `a` (outcome)
05:26:16 <Guest36> not a distrubution
05:26:37 <glguy> But you'd have the same likelihood of each outcome
05:26:45 × skyesoss quits (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 248 seconds)
05:26:51 <glguy> It's a distribution of outcomes
05:27:22 <Guest36> I was trying it out in VSCode with HLS
05:27:22 <Guest36> ```
05:27:23 <Guest36> -- >>> [scanP x [(1, 0.6), (2, 0.1), (3, 0.2)] | x <- [0.5, 0.6, 0.7, 0.8, 0.9]]
05:27:23 <Guest36> -- [1,1,2,3,3]
05:27:24 <Guest36> ```
05:27:39 <Guest36> where `selectP` just calls `scanP`
05:28:09 <Guest36> but I still don't understand what it is acheiving
05:29:03 <glguy> It's choosing one element from a finite list of elements
05:29:13 <glguy> Not necessarily uniformly
05:29:25 <Guest36> if we had to write a 1 line doc comment, or whatever we call that in haskell, for `selectP` what precisely would it say?
05:29:58 <glguy> Element an element from a weighted finite distribution
05:30:00 <Guest36> there is something that, to me, is not apparent just from the types
05:30:42 <glguy> Select an element from*
05:31:18 <Guest36> but what does the `p` signify, if you are just traversing the list until you at up `p`?
05:31:40 <glguy> The weight
05:32:22 <glguy> If one element's p is twice as much as another's then it's twice as likely to be selected
05:32:36 <Guest36> let's say the distribution is both aggregated and normalised (ie each outcome is unique and the total probability is 1(
05:33:03 <glguy> Ok
05:33:53 <Guest36> "If one element's p is twice as much as another's then it's twice as likely to be selected" that might be what I don't find obvious, because that "big one" ,ight be at  the end of the list, and it will never get reached if the complement is > p
05:34:41 <mauke> imagine selectP's second argument ranges from 0 to 1, continuously, uniformly
05:34:57 <Guest36> so the accidental ordering would be significant
05:34:58 <Guest36> OK
05:35:24 <glguy> Just think about the simple case : 1/3 and 2/3
05:35:31 <Guest36> OK
05:35:46 <glguy> Order then ascendinh
05:36:10 <Guest36> but that is what is missing, iiuc - there is no implied ordering
05:36:10 <glguy> 1/3 of the time you pick the first element, leaving the second for the other 2/3
05:36:26 <glguy> Ok now order them the other way
05:36:35 <Guest36> ohh!!!
05:36:37 <glguy> 2/3 of the time you pick the first element
05:36:38 <Guest36> yes
05:36:45 <Guest36> nice example, thanks
05:37:22 <mauke> I need some wooden blocks to illustrate this
05:37:42 <glguy> Yeah, pictures > text here
05:37:45 <Guest36> so, as you previously said, the distribution of returned outcomes is the same
05:38:32 <mauke> each outcome gets an associated color and a block of that color
05:38:46 <mauke> the probability of the outcome corresponds to the length of the block
05:38:57 <Guest36> nice
05:39:08 <mauke> you stack the blocks up (and because probabilities are normalized, the stack has total length 1)
05:39:41 <mauke> then you pick a random distance between 0 and 1 and see which color you land on
05:39:56 <Guest36> not normailsed and not aggregated would not change anything, if my intuition is now better!
05:40:27 <Guest36> precisely because the orsed does not matter, as you have both demonstrated
05:42:45 <Guest36> mauke I think the next sentence is the key but is missing (because it is "probably" obvious to most) - if you repeat this repeatedly, you will get a distribution of outcomes consistent with the original distribution
05:44:40 <mauke> yes, that's important
05:44:52 <mauke> that's why I started with "imagine selectP's second argument ranges from 0 to 1, continuously, uniformly"
05:44:59 <Guest36> right
05:45:18 <mauke> if you only look at an individual result, it makes no sense
05:45:53 <Guest36> exactly - so I can only see a meaningful use for it in the _random_ sampling
05:46:44 <Guest36> where you want to approximate, for example, because the transitions explode exponentially
05:50:48 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
05:55:00 × CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
05:57:36 → CrunchyFlakes joins (~CrunchyFl@146.52.130.128)
05:57:43 × Inst quits (~Inst@user/Inst) (Ping timeout: 264 seconds)
05:59:42 <Guest36> btw, also just watched the first few minutes of https://www.youtube.com/watch?v=LHlZNYFraAs which seems to start off covering similar material to the paper
05:59:44 → Enrico63 joins (~Enrico63@81.109.143.226)
06:04:02 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
06:04:32 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
06:12:12 → misterfish joins (~misterfis@84.53.85.146)
06:20:52 → Midjak joins (~MarciZ@82.66.147.146)
06:33:25 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds)
06:33:46 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
06:44:22 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds)
06:47:34 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
06:52:53 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:56:39 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
07:00:02 × tt123109783 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
07:01:34 → euphores joins (~SASL_euph@user/euphores)
07:02:38 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:03:09 → tt123109783 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
07:04:28 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:04:42 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:08:15 → rosco joins (~rosco@125.235.232.224)
07:21:05 × Enrico63 quits (~Enrico63@81.109.143.226) (Ping timeout: 256 seconds)
07:31:47 × billchenchina- quits (~billchenc@210.110.131.60) (Remote host closed the connection)
07:33:13 → random-jellyfish joins (~developer@2a02:2f04:11e:c600:779f:e83c:9dc:b111)
07:33:13 × random-jellyfish quits (~developer@2a02:2f04:11e:c600:779f:e83c:9dc:b111) (Changing host)
07:33:13 → random-jellyfish joins (~developer@user/random-jellyfish)
07:33:48 × random-jellyfish quits (~developer@user/random-jellyfish) (Remote host closed the connection)
07:38:16 × rosco quits (~rosco@125.235.232.224) (Quit: Lost terminal)
07:42:08 → acidjnk joins (~acidjnk@p200300d6e72cfb26f8bec10a4528cded.dip0.t-ipconnect.de)
07:44:48 → billchenchina- joins (~billchenc@223.39.249.79)
07:45:57 × billchenchina- quits (~billchenc@223.39.249.79) (Max SendQ exceeded)
07:46:34 → billchenchina- joins (~billchenc@223.39.249.79)
07:46:38 × billchenchina- quits (~billchenc@223.39.249.79) (Read error: Connection reset by peer)
07:47:14 → billchenchina- joins (~billchenc@223.39.249.79)
07:52:07 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
07:54:52 × billchenchina- quits (~billchenc@223.39.249.79) (Quit: Leaving)
07:57:54 × Guest36 quits (~Guest85@78.135.8.93) (Quit: Client closed)
08:01:11 → aforemny joins (~aforemny@2001:9e8:6cff:de00:eb46:da28:87cf:ea64)
08:01:42 → billchenchina- joins (~billchenc@223.39.249.79)
08:01:59 × aforemny_ quits (~aforemny@i59F516E4.versanet.de) (Ping timeout: 260 seconds)
08:08:23 → wootehfoot joins (~wootehfoo@user/wootehfoot)
08:10:12 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 272 seconds)
08:13:34 → aforemny_ joins (~aforemny@i59F516D5.versanet.de)
08:14:33 × aforemny quits (~aforemny@2001:9e8:6cff:de00:eb46:da28:87cf:ea64) (Ping timeout: 265 seconds)
08:21:17 → bolivood joins (~bolivood@2a0d:6fc2:5d11:200:f40e:2cee:2d7a:1389)
08:22:03 × aforemny_ quits (~aforemny@i59F516D5.versanet.de) (Ping timeout: 245 seconds)
08:23:43 → aforemny joins (~aforemny@2001:9e8:6cc0:600:cc61:be70:932b:db06)
08:25:07 × lockywolf quits (~lockywolf@public.lockywolf.net) (Ping timeout: 244 seconds)
08:30:38 → euphores joins (~SASL_euph@user/euphores)
08:34:33 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb1 - https://znc.in)
08:35:25 → gmg joins (~user@user/gehmehgeh)
08:50:14 → __monty__ joins (~toonn@user/toonn)
08:53:50 × billchenchina- quits (~billchenc@223.39.249.79) (Ping timeout: 255 seconds)
08:55:06 → billchenchina- joins (~billchenc@118.47.143.29)
09:04:10 × billchenchina- quits (~billchenc@118.47.143.29) (Remote host closed the connection)
09:07:03 × sp1ff quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection)
09:09:25 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds)
09:12:17 → hayk joins (~hayk@141.136.90.108)
09:12:21 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:13:30 → `2jt` joins (~user@46.6.57.213)
09:14:39 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:15:06 × `2jt` quits (~user@46.6.57.213) (Client Quit)
09:15:52 × hayk quits (~hayk@141.136.90.108) (Quit: hayk)
09:16:25 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
09:16:37 → hayk joins (~hayk@141.136.90.108)
09:19:29 → sroso joins (~sroso@user/SrOso)
09:21:21 × hayk quits (~hayk@141.136.90.108) (Quit: hayk)
09:27:51 → target_i joins (~target_i@user/target-i/x-6023099)
09:27:55 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:46:57 → skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
09:51:39 × skyesoss quits (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
09:56:53 × euphores quits (~SASL_euph@user/euphores) (Remote host closed the connection)
10:06:28 → euphores joins (~SASL_euph@user/euphores)
10:06:39 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:08:47 → califax joins (~califax@user/califx)
10:11:12 → andrea_r joins (~user@93-49-96-212.ip366.fastwebnet.it)
10:13:27 → michalz joins (~michalz@185.246.207.222)
10:27:24 × bolivood quits (~bolivood@2a0d:6fc2:5d11:200:f40e:2cee:2d7a:1389) (Ping timeout: 260 seconds)
10:28:32 → Midjak joins (~MarciZ@82.66.147.146)
10:29:05 × hueso quits (~root@user/hueso) (Ping timeout: 248 seconds)
10:29:25 → bolivood joins (~bolivood@2a0d:6fc2:5d11:200:640e:d7d:9ee3:bd0)
10:30:13 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:32:24 × GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
10:36:05 → GoldsteinQ joins (~goldstein@goldstein.rs)
10:38:37 × michalz quits (~michalz@185.246.207.222) (Remote host closed the connection)
10:40:15 → hueso joins (~root@user/hueso)
10:41:04 → CiaoSen joins (~Jura@2a05:5800:205:1000:e6b9:7aff:fe80:3d03)
10:41:14 → michalz joins (~michalz@185.246.207.197)
10:47:15 × Square2 quits (~Square@user/square) (Ping timeout: 252 seconds)
11:04:12 × bolivood quits (~bolivood@2a0d:6fc2:5d11:200:640e:d7d:9ee3:bd0) (Ping timeout: 265 seconds)
11:22:25 → bolivood joins (~bolivood@2a0d:6fc2:5d11:200:dda7:803d:d0e7:4256)
11:23:32 × CiaoSen quits (~Jura@2a05:5800:205:1000:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds)
11:25:20 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
11:26:54 × michalz quits (~michalz@185.246.207.197) (Ping timeout: 260 seconds)
11:26:55 × acidjnk quits (~acidjnk@p200300d6e72cfb26f8bec10a4528cded.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
11:39:01 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds)
11:39:23 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
11:41:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:53:14 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:54:33 × misterfish quits (~misterfis@84.53.85.146) (Read error: Connection reset by peer)
11:59:12 → misterfish joins (~misterfis@84.53.85.146)
12:04:27 × CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in)
12:07:37 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
12:08:51 → euleritian joins (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de)
12:10:42 → CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
12:18:14 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
12:20:12 × bolivood quits (~bolivood@2a0d:6fc2:5d11:200:dda7:803d:d0e7:4256) (Ping timeout: 244 seconds)
12:23:33 → CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
12:33:21 → michalz joins (~michalz@185.246.207.217)
12:44:18 × itaipu quits (~itaipu@168.121.98.206) (Ping timeout: 252 seconds)
12:48:25 → tabaqui joins (~root@87.200.123.114)
12:48:30 × tabaqui quits (~root@87.200.123.114) (Client Quit)
12:49:25 → tabaqui joins (~root@87.200.123.114)
12:51:54 × visilii_ quits (~visilii@213.24.125.104) (Ping timeout: 260 seconds)
12:52:58 × euleritian quits (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:53:16 → euleritian joins (~euleritia@77.22.252.56)
12:57:12 → Inst joins (~Inst@user/Inst)
12:57:35 → itaipu joins (~itaipu@168.121.98.206)
13:21:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:33:17 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds)
13:35:03 → misterfish joins (~misterfis@84.53.85.146)
13:42:15 × AlexZenon quits (~alzenon@94.233.241.102) (Ping timeout: 265 seconds)
13:44:40 × petrichor quits (~znc-user@user/petrichor) (Ping timeout: 265 seconds)
13:56:10 → AlexZenon joins (~alzenon@94.233.241.102)
14:05:46 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
14:06:10 × AlexZenon quits (~alzenon@94.233.241.102) (Quit: ;-)
14:07:13 × AlexNoo quits (~AlexNoo@94.233.241.102) (Quit: Leaving)
14:10:54 → euphores joins (~SASL_euph@user/euphores)
14:16:49 → acidjnk joins (~acidjnk@p200300d6e72cfb26bd154e804722854a.dip0.t-ipconnect.de)
14:17:04 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds)
14:18:15 → JuanDaugherty joins (~juan@user/JuanDaugherty)
14:21:09 × euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 248 seconds)
14:21:26 → euleritian joins (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de)
14:25:11 × euleritian quits (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
14:25:33 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:38:09 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
14:38:23 → euleritian joins (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de)
14:44:21 → AlexZenon joins (~alzenon@94.233.241.102)
14:44:32 → AlexNoo joins (~AlexNoo@94.233.241.102)
14:47:25 → AlexNoo_ joins (~AlexNoo@94.233.241.102)
14:47:43 → AlexZenon_2 joins (~alzenon@94.233.241.102)
14:48:15 × euleritian quits (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
14:48:35 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:51:29 × AlexZenon quits (~alzenon@94.233.241.102) (Ping timeout: 260 seconds)
14:51:43 × AlexNoo quits (~AlexNoo@94.233.241.102) (Ping timeout: 264 seconds)
14:52:38 → AlexZenon joins (~alzenon@94.233.241.102)
14:53:09 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
14:53:39 → euleritian joins (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de)
14:56:08 → danza joins (~danza@user/danza)
14:56:44 → sssgemooo joins (~sssgemooo@syn-069-203-107-019.res.spectrum.com)
14:58:02 <sssgemooo> Are there specific libraries to optimize audio Graphs? Which Graph library would allow some flexibility to adapt it?
14:58:29 × AlexZenon quits (~alzenon@94.233.241.102) (Quit: ;-)
14:59:23 AlexNoo_ is now known as AlexNoo
15:02:36 <sssgemooo> https://hackage.haskell.org/package/hsc3-0.20/docs/Sound-Sc3-Ugen-Graph-Transform.html
15:15:36 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
15:19:21 × euleritian quits (~euleritia@dynamic-176-006-130-041.176.6.pool.telefonica.de) (Ping timeout: 276 seconds)
15:21:17 → euleritian joins (~euleritia@dynamic-176-000-159-039.176.0.pool.telefonica.de)
15:45:36 → jerg joins (~jerg@2001:a61:2510:4100::bb0)
15:48:34 → sindu joins (~sindu@83-243-191-191.fth.tafjordconnect.net)
15:52:13 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:01:32 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
16:03:26 → placidusax joins (~user@user/meritamen)
16:04:11 ← placidusax parts (~user@user/meritamen) ()
16:11:36 × euleritian quits (~euleritia@dynamic-176-000-159-039.176.0.pool.telefonica.de) (Ping timeout: 265 seconds)
16:18:30 × sindu quits (~sindu@83-243-191-191.fth.tafjordconnect.net) (Ping timeout: 276 seconds)
16:24:44 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
16:26:45 × danza quits (~danza@user/danza) (Quit: gotta go)
16:30:14 × jerg quits (~jerg@2001:a61:2510:4100::bb0) (Ping timeout: 260 seconds)
16:31:50 × sssgemooo quits (~sssgemooo@syn-069-203-107-019.res.spectrum.com) (Quit: Client closed)
16:38:55 → jerg joins (~jerg@2001:a61:2510:4100::bb0)
16:46:47 × AlexZenon_2 quits (~alzenon@94.233.241.102) (Quit: ;-)
16:48:21 × AlexNoo quits (~AlexNoo@94.233.241.102) (Quit: Leaving)
16:52:47 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:57:02 → joeyadams joins (~joeyadams@2603:6010:5100:2ed:9a0f:48a9:a53e:e82f)
17:00:04 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
17:00:29 → chexum joins (~quassel@gateway/tor-sasl/chexum)
17:05:35 → Square2 joins (~Square@user/square)
17:06:23 → euleritian joins (~euleritia@dynamic-176-000-159-039.176.0.pool.telefonica.de)
17:09:10 × abrar quits (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.1)
17:09:42 → abrar joins (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net)
17:16:08 × Inst quits (~Inst@user/Inst) (Remote host closed the connection)
17:16:33 → Inst joins (~Inst@user/Inst)
17:20:15 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:20:43 → AlexZenon joins (~alzenon@94.233.241.102)
17:20:50 → AlexNoo joins (~AlexNoo@94.233.241.102)
17:21:46 → AlexZenon_2 joins (~alzenon@94.233.241.102)
17:24:18 → bolivood joins (~bolivood@2a0d:6fc2:5d11:200:bd4c:6a06:416e:add9)
17:26:20 × AlexZenon_2 quits (~alzenon@94.233.241.102) (Quit: ;-)
17:30:38 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:9a0f:48a9:a53e:e82f) (Quit: Leaving)
17:37:02 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:39:27 × jerg quits (~jerg@2001:a61:2510:4100::bb0) (Ping timeout: 252 seconds)
17:44:59 → hayk joins (~hayk@141.136.90.108)
17:47:12 × euleritian quits (~euleritia@dynamic-176-000-159-039.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
17:47:29 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
17:55:25 → ss4 joins (~wootehfoo@user/wootehfoot)
17:58:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds)
18:05:33 → noumenon joins (~noumenon@113.51-175-156.customer.lyse.net)
18:42:36 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:46:10 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:51:25 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
19:05:55 → Enrico63 joins (~Enrico63@81.109.143.226)
19:17:05 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
19:24:09 × Enrico63 quits (~Enrico63@81.109.143.226) (Ping timeout: 256 seconds)
19:25:59 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:29:25 → Sgeo joins (~Sgeo@user/sgeo)
19:36:37 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:47:00 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
19:47:25 → skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
19:50:07 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:52:04 × skyesoss quits (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
19:54:45 × ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
19:56:05 × Square2 quits (~Square@user/square) (Ping timeout: 248 seconds)
20:03:39 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:06:54 → CiaoSen joins (~Jura@2a05:5800:205:1000:e6b9:7aff:fe80:3d03)
20:16:07 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:20:05 × hayk quits (~hayk@141.136.90.108) (Ping timeout: 255 seconds)
20:29:39 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:38:42 → skyesoss joins (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
20:38:49 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
20:39:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
20:42:52 → hayk joins (~hayk@141.136.90.108)
20:57:59 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
21:05:32 → Guest43 joins (~Guest43@154.118.69.187)
21:08:15 × noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
21:24:14 × oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 252 seconds)
21:30:22 → pavonia joins (~user@user/siracusa)
21:31:19 × CiaoSen quits (~Jura@2a05:5800:205:1000:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds)
21:32:13 × Guest43 quits (~Guest43@154.118.69.187) (Quit: Client closed)
21:40:02 × michalz quits (~michalz@185.246.207.217) (Remote host closed the connection)
21:41:26 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:42:07 → Guest67 joins (~Guest67@126.188.73.86.rev.sfr.net)
21:43:17 × Guest67 quits (~Guest67@126.188.73.86.rev.sfr.net) (Client Quit)
21:49:19 → Square2 joins (~Square@user/square)
22:00:32 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
22:01:59 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
22:01:59 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
22:02:11 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
22:04:23 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
22:05:08 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
22:05:20 → CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
22:07:23 → noumenon joins (~noumenon@113.51-175-156.customer.lyse.net)
22:16:58 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:28:48 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:30:43 × acidjnk quits (~acidjnk@p200300d6e72cfb26bd154e804722854a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
22:34:02 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
22:35:45 → monochrom joins (trebla@216.138.220.146)
22:43:25 × bolivood quits (~bolivood@2a0d:6fc2:5d11:200:bd4c:6a06:416e:add9) (Ping timeout: 252 seconds)
22:48:31 → ZharMeny joins (~user@user/ZharMeny)
22:59:24 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 272 seconds)
23:03:39 → Volt_ joins (~Volt_@72.252.192.240)
23:06:22 → bolivood joins (~bolivood@2a0d:6fc2:5d11:200:d10c:9938:d7a4:76d)
23:40:13 → Digitteknohippie joins (~user@user/digit)
23:40:14 → MadeleineSydney joins (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
23:40:31 × califax quits (~califax@user/califx) (Remote host closed the connection)
23:40:54 → califax joins (~califax@user/califx)
23:41:14 × Digit quits (~user@user/digit) (Ping timeout: 255 seconds)
23:45:34 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
23:46:00 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
23:46:00 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
23:46:04 × noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
23:46:54 → jcarpenter2 joins (~lol@2603:3016:1e01:b9a0:1873:d817:999f:f868)
23:47:34 × lol_ quits (~lol@2603:3016:1e01:b9a0:b0d0:e22d:2e3b:6bd1) (Ping timeout: 260 seconds)
23:51:59 → gentauro joins (~gentauro@user/gentauro)
23:53:00 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
23:55:34 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
23:55:48 × Eoco quits (~ian@128.101.131.218) (Ping timeout: 245 seconds)
23:56:27 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
23:56:50 → Eoco joins (~ian@128.101.131.218)
23:57:51 Digitteknohippie is now known as Digit

All times are in UTC on 2024-07-28.