| 2024-08-13 00:06:17 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-08-13 00:11:18 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-13 00:13:08 +0200 | <EvanR> | darkling, the dual of a geometric diagram |
| 2024-08-13 00:15:01 +0200 | <EvanR> | I support 0 based or 1 based. But 2 based is beyond the pale |
| 2024-08-13 00:16:11 +0200 | <darkling> | I did once create a -3 based array for something. |
| 2024-08-13 00:16:36 +0200 | <Inst> | e-based indexing is better, and each subsequent index is a power of e |
| 2024-08-13 00:17:14 +0200 | <EvanR> | ok but what is the first elements index |
| 2024-08-13 00:18:10 +0200 | <Inst> | if it's 0, then it's 1, if it's 1, then it's e, which apparently offends both indexing crowds |
| 2024-08-13 00:18:32 +0200 | <Inst> | beyond being intentionally designed to be comedic by beig non-integer indexing |
| 2024-08-13 00:18:51 +0200 | <EvanR> | that brings nothing new to the table. Allow any real number index |
| 2024-08-13 00:19:15 +0200 | <EvanR> | continuous memory |
| 2024-08-13 00:21:16 +0200 | <Inst> | imply such that the return of a particular continuous index provides the average of the two adjacent cells |
| 2024-08-13 00:21:16 +0200 | <zrubi> | Inst: can you give me a *little* clue? |
| 2024-08-13 00:22:39 +0200 | <Inst> | yeah, i probably sohuldn't have brought it up, but do you how to use let, where, or case of? any of the three is fine |
| 2024-08-13 00:24:38 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-13 00:27:18 +0200 | <EvanR> | when you say average of two values I hear monoid (or semigroup or something) |
| 2024-08-13 00:27:51 +0200 | <EvanR> | but no, the "array" would be some smooth function |
| 2024-08-13 00:32:44 +0200 | <zrubi> | Inst: thanks. it's late in here so maybe in another time. have a good day/night and thanks again :-) |
| 2024-08-13 00:33:06 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-13 00:33:41 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-13 00:33:48 +0200 | zrubi | (~halloy540@147.235.212.157) (Remote host closed the connection) |
| 2024-08-13 00:34:06 +0200 | califax | (~califax@user/califx) |
| 2024-08-13 00:34:16 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-13 00:34:59 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-13 00:35:20 +0200 | <EvanR> | oof, average is not assoc |
| 2024-08-13 00:35:35 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-13 00:38:43 +0200 | AlexZenon | (~alzenon@94.233.240.239) (Ping timeout: 258 seconds) |
| 2024-08-13 00:40:19 +0200 | AlexNoo | (~AlexNoo@94.233.240.239) (Ping timeout: 260 seconds) |
| 2024-08-13 00:41:47 +0200 | <monochrom> | uncountable memory sounds like fantastic :) |
| 2024-08-13 00:41:57 +0200 | AlexNoo | (~AlexNoo@178.34.160.210) |
| 2024-08-13 00:44:49 +0200 | <EvanR> | this interface would work [Bit] -> [Bit] |
| 2024-08-13 00:45:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> can I make this pointfree without "pure"? "(<$>) f (State g) = State (Data.Bifunctor.first f . g)" |
| 2024-08-13 00:45:25 +0200 | <EvanR> | don't try to add offsets to the index though |
| 2024-08-13 00:45:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> can I make this pointfree without "pure"? |
| 2024-08-13 00:45:29 +0200 | <haskellbridge> | "(<$>) f (State g) = State (Data.Bifunctor.first f . g)" |
| 2024-08-13 00:47:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> how would you make "(<$>) f (State g) = State (Data.Bifunctor.first f . g)" pointfree? |
| 2024-08-13 00:49:09 +0200 | <monochrom> | I wouldn't. |
| 2024-08-13 00:49:57 +0200 | <monochrom> | But try rewriting to: fmap f s = State (first f . runState s) |
| 2024-08-13 00:52:39 +0200 | AlexZenon | (~alzenon@178.34.160.210) |
| 2024-08-13 00:58:34 +0200 | <monochrom> | EvanR: Yeah, average is super annoying. I ended up defining the helper type "data S a = S{total :: a, count :: Int}" then it's assoc. Then I put it on the exam. :) |
| 2024-08-13 00:59:22 +0200 | <monochrom> | "Write the Semigroup and Monoid instances of it" |
| 2024-08-13 00:59:37 +0200 | <EvanR> | coooooool |
| 2024-08-13 01:01:21 +0200 | <monochrom> | Then the next exam I went overboard with "data S a = S{count :: Int, total :: a, sumOfSquares :: a}" so it covers all of statistics: count, average, sample deviation. |
| 2024-08-13 01:02:46 +0200 | <EvanR> | delay the division as long as possible, very lazy |
| 2024-08-13 01:05:48 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-08-13 01:05:59 +0200 | <haskellbridge> | <thirdofmay18081814goya> consider "f :: a -> b -> c" and "g :: a -> b". is "\f g x -> f x (g x)" an instance of anything general |
| 2024-08-13 01:06:35 +0200 | <monochrom> | It's (<*>) of the (->)e Applicative. |
| 2024-08-13 01:06:50 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: ty! |
| 2024-08-13 01:08:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-13 01:10:45 +0200 | <EvanR> | you just discovered the S combinator |
| 2024-08-13 01:11:11 +0200 | <EvanR> | not to be confused with data S a = S { count :: Int, total :: a } |
| 2024-08-13 01:14:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> neato! |
| 2024-08-13 01:14:52 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-08-13 01:15:19 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-13 01:19:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 01:21:44 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 01:23:11 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 258 seconds) |
| 2024-08-13 01:34:00 +0200 | <dostoyevsky2> | Is the idea of structured recursion common in functional languages? Or where did that originate? |
| 2024-08-13 01:35:14 +0200 | <dostoyevsky2> | Oh, this is a math concept actually? Noetherian induction |
| 2024-08-13 01:37:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320d-0f2a-505d-a57d-46e4-6611.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 01:37:50 +0200 | <jackdk> | I never found the "`S` = `(<*>)` for `((->) e)`" framing especially helpful. I think about the purpose of `S` as "plumb the third argument through to the first two", that is `S f g x = (f x) (g x)`. (Similarly, `B f g x = f (g x)` happens to be `(.)` and `C f g x = (f x) g` happens to be `flip`, but I consider their "purpose" to be plumbing `x` to one side or the other. It is helpful to take those intuitions back the other way, if you like point-free) |
| 2024-08-13 01:38:46 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-13 01:44:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-08-13 01:47:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-13 01:47:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 01:48:41 +0200 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 244 seconds) |
| 2024-08-13 01:59:11 +0200 | <dolio> | S is contraction+exchange. K is weakening. |
| 2024-08-13 02:00:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 02:06:52 +0200 | <jackdk> | I don't follow, are you able to elaborate? |
| 2024-08-13 02:08:35 +0200 | <dolio> | s f g x = f x (g x). The g and x have switched order, and x is duplicated. |
| 2024-08-13 02:08:42 +0200 | <dolio> | k x y = x, y is gone. |
| 2024-08-13 02:08:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-13 02:09:43 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-08-13 02:10:20 +0200 | <dolio> | In sequent calculus, exchange switches order of premises. Contraction duplicates premises. Weakening discards premises. |
| 2024-08-13 02:12:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-13 02:12:35 +0200 | <dolio> | I guess s is also cut, because g has become an argument to f. |
| 2024-08-13 02:16:45 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 02:20:21 +0200 | <dolio> | And you need two combinators because if you just added a discarded argument to s, you'd have to duplicate other stuff to throw anything away. |
| 2024-08-13 02:27:03 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 245 seconds) |
| 2024-08-13 02:29:05 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-13 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-13 02:37:05 +0200 | califax | (~califax@user/califx) |
| 2024-08-13 02:41:51 +0200 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 2024-08-13 02:43:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 02:45:03 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's pointfree for "f x = g x . h x "? |
| 2024-08-13 02:47:35 +0200 | <geekosaur> | @pl f x = g x . h x |
| 2024-08-13 02:47:35 +0200 | <lambdabot> | f = liftM2 (.) g h |
| 2024-08-13 02:48:04 +0200 | <geekosaur> | (or `liftA2` if you prefer; @pl was never updated for Applicative) |
| 2024-08-13 02:48:43 +0200 | <haskellbridge> | <thirdofmay18081814goya> neato! ty |
| 2024-08-13 02:50:32 +0200 | <geekosaur> | you can't easily use it from the bridge, although there's a hack: craft a 2-line message, make the second line the bot invocation. may annoy people on this side though |
| 2024-08-13 02:53:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-13 02:53:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 02:53:52 +0200 | itaipu | (~itaipu@168.121.98.114) (Ping timeout: 272 seconds) |
| 2024-08-13 02:55:02 +0200 | Bynbo7 | (~username@3.184.70.115.static.exetel.com.au) |
| 2024-08-13 02:56:27 +0200 | Axman6 | will be so annoyed |
| 2024-08-13 03:02:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 03:06:43 +0200 | itaipu | (~itaipu@168.121.98.149) |
| 2024-08-13 03:08:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 03:14:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 2024-08-13 03:21:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 03:23:37 +0200 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Ping timeout: 256 seconds) |
| 2024-08-13 03:29:01 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ') |
| 2024-08-13 03:40:37 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-13 03:45:49 +0200 | Bynbo7 | (~username@3.184.70.115.static.exetel.com.au) (Remote host closed the connection) |
| 2024-08-13 03:49:06 +0200 | Axma49940 | (~Axman6@user/axman6) |
| 2024-08-13 03:49:55 +0200 | Axma49940 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-08-13 03:50:11 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 03:57:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 04:06:30 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 04:08:43 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-08-13 04:09:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 04:24:53 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 248 seconds) |
| 2024-08-13 04:26:44 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-08-13 04:29:54 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 04:36:09 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-08-13 04:44:08 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 04:47:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 04:48:20 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-13 04:48:34 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-13 04:55:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9cab:87b:80dd:616a) (Ping timeout: 248 seconds) |
| 2024-08-13 05:04:44 +0200 | itaipu | (~itaipu@168.121.98.149) (Read error: Connection reset by peer) |
| 2024-08-13 05:04:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 05:13:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-08-13 05:15:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-13 05:21:44 +0200 | itaipu | (~itaipu@168.121.98.149) |
| 2024-08-13 05:30:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 05:46:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 05:56:03 +0200 | aforemny | (~aforemny@i59F516E3.versanet.de) |
| 2024-08-13 05:56:34 +0200 | xelxebar_ | (~xelxebar@wilsonb.com) (Ping timeout: 248 seconds) |
| 2024-08-13 05:56:53 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:5a00:2895:51b4:d10f:29a8) (Ping timeout: 258 seconds) |
| 2024-08-13 05:58:15 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-08-13 05:59:37 +0200 | xff0x | (~xff0x@om126253194070.31.openmobile.ne.jp) |
| 2024-08-13 06:14:32 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-08-13 06:33:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-08-13 06:33:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-13 06:44:06 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-13 06:54:00 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-08-13 06:57:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 07:12:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 07:12:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-08-13 07:13:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 07:26:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-08-13 07:27:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-13 07:28:45 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-08-13 07:28:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-13 07:29:14 +0200 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 2024-08-13 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-13 07:40:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-13 07:44:23 +0200 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 2024-08-13 07:44:45 +0200 | xff0x | (~xff0x@om126253194070.31.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2024-08-13 07:46:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 07:51:57 +0200 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2024-08-13 07:51:58 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-08-13 08:02:56 +0200 | bcksl | (~bcksl@user/bcksl) |
| 2024-08-13 08:08:24 +0200 | end | (~end@user/end/x-0094621) |
| 2024-08-13 08:17:30 +0200 | ubert | (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2024-08-13 08:19:48 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 08:23:36 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-08-13 08:24:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 08:25:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 08:35:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-13 08:36:45 +0200 | hayk | (~hayk@37.252.90.243) |
| 2024-08-13 08:38:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 08:40:41 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-13 08:43:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 08:46:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-13 08:47:55 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-08-13 08:50:44 +0200 | itaipu | (~itaipu@168.121.98.149) (Ping timeout: 260 seconds) |
| 2024-08-13 08:54:48 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 2024-08-13 08:56:02 +0200 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 08:56:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 08:56:26 +0200 | xdminsy | (~xdminsy@117.147.71.180) |
| 2024-08-13 09:01:01 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 09:02:51 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 09:06:05 +0200 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) |
| 2024-08-13 09:09:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-13 09:09:44 +0200 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 2024-08-13 09:11:10 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 09:12:08 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 09:13:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 09:14:46 +0200 | Bynb76233 | (~Axman6@user/axman6) |
| 2024-08-13 09:14:58 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-13 09:16:46 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 09:17:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 09:18:17 +0200 | euleritian | (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 09:18:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 09:19:09 +0200 | Bynb76233 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-13 09:21:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-13 09:31:28 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-13 09:31:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 09:33:28 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-13 09:33:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-13 09:33:59 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) |
| 2024-08-13 09:36:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 09:37:54 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-13 09:43:45 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-13 09:49:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 09:53:39 +0200 | cayley57 | (~cayley5@user/phileasfogg) |
| 2024-08-13 09:54:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 09:55:39 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 2024-08-13 09:55:40 +0200 | cayley57 | cayley5 |
| 2024-08-13 09:57:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 09:58:00 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-13 09:58:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-13 10:01:46 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-08-13 10:02:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-13 10:18:40 +0200 | neuroevolutus | (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Quit: Client closed) |
| 2024-08-13 10:22:53 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 10:24:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 10:27:09 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-08-13 10:29:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-13 10:31:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 10:45:53 +0200 | hayk | (~hayk@37.252.90.243) (Read error: Connection reset by peer) |
| 2024-08-13 10:46:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 10:46:45 +0200 | hayk | (~hayk@37.252.90.243) |
| 2024-08-13 10:47:49 +0200 | sprout_ | (~quassel@2a02-a448-3a80-0-5048-e2a1-1130-4d5c.fixed6.kpn.net) |
| 2024-08-13 10:48:13 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bc7b-9708-368d-aec.fixed6.kpn.net) (Ping timeout: 258 seconds) |
| 2024-08-13 10:49:54 +0200 | chele | (~chele@user/chele) |
| 2024-08-13 10:50:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 10:58:38 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 11:03:10 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 11:04:23 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 11:05:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 11:09:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 11:10:26 +0200 | <Athas> | What is the reason why expressions like 'f \x -> x' and 'x let a = b in c' are invalid syntax? |
| 2024-08-13 11:10:32 +0200 | <Athas> | Is it related to block layout? |
| 2024-08-13 11:11:46 +0200 | <danse-nr3> | as opposed to `f x = x` and `x = let a = b in c`? |
| 2024-08-13 11:12:02 +0200 | <c_wraith> | more as opposed to f $ \x -> x |
| 2024-08-13 11:12:06 +0200 | <c_wraith> | which is valid |
| 2024-08-13 11:12:13 +0200 | <danse-nr3> | i see |
| 2024-08-13 11:12:15 +0200 | <Athas> | Yes, it's about application. |
| 2024-08-13 11:12:34 +0200 | <danse-nr3> | f (\x -> x) |
| 2024-08-13 11:13:09 +0200 | <danse-nr3> | hm maybe because `\` can be an operator? |
| 2024-08-13 11:13:21 +0200 | <danse-nr3> | not sure |
| 2024-08-13 11:13:22 +0200 | <c_wraith> | nah, \ is reserved by itself |
| 2024-08-13 11:13:31 +0200 | <danse-nr3> | % :t (\) |
| 2024-08-13 11:13:31 +0200 | <yahb2> | <interactive>:1:3: error: parse error on input ‘)’ |
| 2024-08-13 11:13:34 +0200 | <c_wraith> | I don't know that there's any particular reason for it, as GHC has an extension to allow it |
| 2024-08-13 11:13:34 +0200 | <danse-nr3> | right |
| 2024-08-13 11:14:19 +0200 | <c_wraith> | I guess there's some potential ambiguity regarding nesting |
| 2024-08-13 11:14:24 +0200 | <c_wraith> | > do 1 + do 2 |
| 2024-08-13 11:14:26 +0200 | <lambdabot> | 3 |
| 2024-08-13 11:14:43 +0200 | <c_wraith> | > (+) do 1 do 2 -- how does this get parsed, anyway? |
| 2024-08-13 11:14:45 +0200 | <lambdabot> | error: |
| 2024-08-13 11:14:45 +0200 | <lambdabot> | Unexpected do block in function application: |
| 2024-08-13 11:14:45 +0200 | <lambdabot> | do 1 do 2 |
| 2024-08-13 11:15:11 +0200 | <Athas> | Looking at the Haskell report, the reason is that there is a distinct 'fexp' nonterminal for applications. But what purpose does it serve? |
| 2024-08-13 11:15:52 +0200 | <c_wraith> | well, it avoids that ambiguity |
| 2024-08-13 11:15:53 +0200 | <probie> | > (+1) do (*2) do 3 |
| 2024-08-13 11:15:55 +0200 | <lambdabot> | error: |
| 2024-08-13 11:15:55 +0200 | <lambdabot> | Unexpected do block in function application: |
| 2024-08-13 11:15:55 +0200 | <lambdabot> | do (* 2) do 3 |
| 2024-08-13 11:16:14 +0200 | <probie> | %:set -XBlockArguments |
| 2024-08-13 11:16:25 +0200 | <probie> | % :set -XBlockArguments |
| 2024-08-13 11:16:25 +0200 | <yahb2> | <no output> |
| 2024-08-13 11:16:34 +0200 | <c_wraith> | But honestly, just spitting out an error message if there's actual ambiguity instead of forbidding the grammar level is... just as good |
| 2024-08-13 11:16:36 +0200 | <probie> | % (+1) do (*2) do 3 |
| 2024-08-13 11:16:36 +0200 | <yahb2> | 7 |
| 2024-08-13 11:17:18 +0200 | <probie> | % (+) do 1 do 2 -- I think this should be a type error (well, no instance for `Num`) |
| 2024-08-13 11:17:18 +0200 | <yahb2> | <interactive>:107:1: error: ; • Could not deduce (Num t0) ; from the context: (Num a, Num t, Num (t -> a)) ; bound by the inferred type for ‘it’: ; forall {a} {... |
| 2024-08-13 11:17:36 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-13 11:17:57 +0200 | <probie> | % 3 * do 5 + 2 |
| 2024-08-13 11:17:57 +0200 | <yahb2> | 21 |
| 2024-08-13 11:18:39 +0200 | <c_wraith> | well that's weird |
| 2024-08-13 11:19:43 +0200 | <probie> | You can use it like `$` for replacing parens, only it's useful in more place |
| 2024-08-13 11:24:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 11:25:12 +0200 | <danse-nr3> | `do` rather than `$`? Fun, hadn't realised |
| 2024-08-13 11:28:22 +0200 | ubert | (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) |
| 2024-08-13 11:28:27 +0200 | <danse-nr3> | % ('a':) do ('b':) do ('c':) do "d" |
| 2024-08-13 11:28:27 +0200 | <yahb2> | "abcd" |
| 2024-08-13 11:28:33 +0200 | <danse-nr3> | :P |
| 2024-08-13 11:29:01 +0200 | <danse-nr3> | well stupid example, i just wanted to try that out |
| 2024-08-13 11:30:26 +0200 | <danse-nr3> | % :t fmap do \x -> x |
| 2024-08-13 11:30:26 +0200 | <yahb2> | fmap do \x -> x :: Functor f => f b -> f b |
| 2024-08-13 11:30:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 11:32:10 +0200 | <danse-nr3> | i think i'll try that more, hoping it won't upset my colleagues :P |
| 2024-08-13 11:35:48 +0200 | <probie> | one of my former coworkers was a big fan of `x .~ someLens & do some long thing here` |
| 2024-08-13 11:36:10 +0200 | <danse-nr3> | & do == & $? |
| 2024-08-13 11:37:12 +0200 | <probie> | except you can't write `& $` |
| 2024-08-13 11:37:18 +0200 | <danse-nr3> | hmm |
| 2024-08-13 11:37:34 +0200 | <danse-nr3> | i mean i even dislike &s and $s in the same line |
| 2024-08-13 11:38:20 +0200 | <danse-nr3> | find that awkward to read |
| 2024-08-13 11:50:13 +0200 | Bynbo7 | (~Axman6@user/axman6) |
| 2024-08-13 11:54:37 +0200 | Bynbo7 | (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 2024-08-13 11:59:48 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 12:01:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 12:01:23 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-13 12:01:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-13 12:20:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 12:21:35 +0200 | sprout_ | sprout |
| 2024-08-13 12:24:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 12:32:19 +0200 | hayk | (~hayk@37.252.90.243) (Remote host closed the connection) |
| 2024-08-13 12:32:33 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-13 12:33:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-08-13 12:39:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 12:39:04 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-13 12:44:08 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 12:45:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 12:52:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-13 12:52:58 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-13 12:53:42 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-13 12:54:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2024-08-13 12:55:17 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-13 12:57:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 13:03:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 13:07:04 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-13 13:07:25 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 13:08:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 13:08:25 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 13:09:09 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-08-13 13:09:34 +0200 | tv | (~tv@user/tv) |
| 2024-08-13 13:17:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-08-13 13:19:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 13:20:14 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-08-13 13:20:17 +0200 | ubert | (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) (Ping timeout: 248 seconds) |
| 2024-08-13 13:26:24 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-08-13 13:29:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-08-13 13:31:06 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 13:38:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 13:40:43 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 2024-08-13 13:41:13 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-08-13 13:43:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2024-08-13 13:51:22 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 13:56:35 +0200 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 13:57:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 13:59:13 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 14:01:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 14:05:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-13 14:07:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-13 14:07:53 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-08-13 14:08:17 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-08-13 14:08:22 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 14:09:12 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 14:11:35 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ,,,) |
| 2024-08-13 14:13:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 14:14:09 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-13 14:14:42 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-13 14:16:29 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 2024-08-13 14:22:39 +0200 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 14:23:15 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 14:35:09 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 258 seconds) |
| 2024-08-13 14:35:38 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-08-13 14:45:21 +0200 | califax_ | (~califax@user/califx) |
| 2024-08-13 14:46:31 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-13 14:46:35 +0200 | califax_ | califax |
| 2024-08-13 14:48:30 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 14:49:20 +0200 | david_tvh | (~david_tvh@212.114.26.122) |
| 2024-08-13 14:49:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 14:51:49 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-08-13 14:53:17 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-13 14:55:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 14:55:30 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 15:05:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-08-13 15:06:06 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 15:06:25 +0200 | td_ | (~td@i53870936.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-08-13 15:17:01 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-08-13 15:18:35 +0200 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 15:25:16 +0200 | itaipu | (~itaipu@168.121.98.107) (Remote host closed the connection) |
| 2024-08-13 15:26:23 +0200 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 15:27:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 15:34:11 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2024-08-13 15:37:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 15:43:51 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 15:44:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 15:46:02 +0200 | ubert | (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) |
| 2024-08-13 15:46:39 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 15:47:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 15:47:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 15:49:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-08-13 15:55:51 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 15:58:50 +0200 | itaipu | (~itaipu@168.121.98.107) (Read error: Connection reset by peer) |
| 2024-08-13 16:00:28 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-08-13 16:01:13 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-08-13 16:08:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-13 16:15:12 +0200 | itaipu | (~itaipu@168.121.98.107) |
| 2024-08-13 16:18:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 16:19:29 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 16:20:31 +0200 | ulysses4ever | (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) |
| 2024-08-13 16:21:06 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-13 16:33:53 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 16:35:37 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 16:43:54 +0200 | AlexNoo | (~AlexNoo@178.34.160.210) (Read error: Connection reset by peer) |
| 2024-08-13 16:44:16 +0200 | AlexNoo | (~AlexNoo@178.34.160.210) |
| 2024-08-13 16:49:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 16:49:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 16:55:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 16:58:49 +0200 | ubert | (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) (Quit: ubert) |
| 2024-08-13 17:09:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-08-13 17:11:45 +0200 | mxs9 | (~mxs@user/mxs) |
| 2024-08-13 17:13:28 +0200 | mxs9 | mxs |
| 2024-08-13 17:18:19 +0200 | Guest5 | (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 2024-08-13 17:25:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2024-08-13 17:29:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 17:29:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 17:30:12 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-08-13 17:30:44 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-08-13 17:31:00 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-08-13 17:36:13 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 17:36:33 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-13 17:36:50 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:a72e:72ce:de20:7681) |
| 2024-08-13 17:38:27 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) |
| 2024-08-13 17:40:17 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 17:40:46 +0200 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 2024-08-13 17:40:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-13 17:47:35 +0200 | <Leary> | Athas: Haskell design error. BlockArguments has the fix, so "set and forget". |
| 2024-08-13 17:49:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-13 17:50:52 +0200 | segfaultfizzbuzz | (~segfaultf@135-180-137-170.fiber.static.sonic.net) |
| 2024-08-13 17:53:48 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 17:54:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 2024-08-13 17:54:16 +0200 | <mauke> | % do do do do do do do do do "baby shark" |
| 2024-08-13 17:54:16 +0200 | <yahb2> | "baby shark" |
| 2024-08-13 17:56:14 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-13 17:56:39 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 17:56:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-13 17:58:51 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-13 17:59:04 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-13 18:04:29 +0200 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 255 seconds) |
| 2024-08-13 18:04:39 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-08-13 18:05:35 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 18:05:40 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 18:06:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) |
| 2024-08-13 18:08:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 18:08:18 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 18:08:39 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 18:08:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 18:10:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-13 18:11:19 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-13 18:12:38 +0200 | <haskellbridge> | <thirdofmay18081814goya> how would you compose "\x -> ((+3), x + 1)" and "\x -> (7, x * 2)" to get "\x -> ((+3) 7, (+1) (*2) x)"? |
| 2024-08-13 18:13:06 +0200 | segfaultfizzbuzz | (~segfaultf@135-180-137-170.fiber.static.sonic.net) (Ping timeout: 248 seconds) |
| 2024-08-13 18:14:24 +0200 | <EvanR> | the second component is a number not a function so good luck with that |
| 2024-08-13 18:16:01 +0200 | <mauke> | :t \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 2024-08-13 18:16:02 +0200 | <lambdabot> | (t1 -> (t2 -> a, b)) -> (t3 -> (t2, t1)) -> t3 -> (a, b) |
| 2024-08-13 18:16:19 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-08-13 18:16:25 +0200 | <mauke> | @pl \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 2024-08-13 18:16:25 +0200 | <lambdabot> | (line 1, column 15): |
| 2024-08-13 18:16:25 +0200 | <lambdabot> | unexpected "(" |
| 2024-08-13 18:16:25 +0200 | <lambdabot> | expecting "()", natural, identifier or "in" |
| 2024-08-13 18:17:44 +0200 | <haskellbridge> | <thirdofmay18081814goya> mauke: ah I see the strategy, thanks a lot!! |
| 2024-08-13 18:17:59 +0200 | <mauke> | :t \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 18:18:00 +0200 | <lambdabot> | (b1 -> (t1 -> a, b2)) -> (t2 -> (t1, b1)) -> t2 -> (a, b2) |
| 2024-08-13 18:18:04 +0200 | <mauke> | @pl \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 18:18:04 +0200 | <lambdabot> | (.) . ap ((`ap` snd) . ((,) .) . flip fst . fst) . (. snd) |
| 2024-08-13 18:18:18 +0200 | <mauke> | @pl \x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 2024-08-13 18:18:19 +0200 | <lambdabot> | ap ((`ap` snd) . ((,) .) . flip fst . fst) (f . snd) . fix . const . g |
| 2024-08-13 18:18:30 +0200 | <mauke> | wow, that's terrible |
| 2024-08-13 18:18:34 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-08-13 18:19:03 +0200 | <haskellbridge> | <thirdofmay18081814goya> yeah but I didn't realize I was actually looking for pattern matching with "let", thanks |
| 2024-08-13 18:19:20 +0200 | <mauke> | you can also use case/of |
| 2024-08-13 18:20:13 +0200 | <mauke> | :t flip fst |
| 2024-08-13 18:20:14 +0200 | <lambdabot> | b1 -> (b1 -> c, b2) -> c |
| 2024-08-13 18:20:58 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-13 18:22:01 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-08-13 18:22:01 +0200 | ChanServ | +v haskellbridge |
| 2024-08-13 18:29:04 +0200 | beaky_ | beaky |
| 2024-08-13 18:31:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 18:33:27 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-08-13 18:39:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-13 18:40:41 +0200 | danza | (~danza@user/danza) |
| 2024-08-13 18:40:55 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-13 18:41:04 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-08-13 18:41:21 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 2024-08-13 18:42:55 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 2024-08-13 18:43:42 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-08-13 18:45:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-13 18:54:20 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-08-13 19:00:48 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2024-08-13 19:03:51 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-13 19:10:16 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-13 19:11:42 +0200 | Square | (~Square@user/square) |
| 2024-08-13 19:18:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-13 19:18:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 19:19:47 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-13 19:22:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-13 19:23:55 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-13 19:24:42 +0200 | euleritian | (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) |
| 2024-08-13 19:24:51 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-08-13 19:28:19 +0200 | danza | (~danza@user/danza) (Ping timeout: 252 seconds) |
| 2024-08-13 19:31:53 +0200 | euleritian | (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-13 19:32:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 19:32:51 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-08-13 19:33:33 +0200 | xdminsy | (~xdminsy@117.147.71.180) (Quit: Konversation terminated!) |
| 2024-08-13 19:35:32 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 19:36:29 +0200 | Guest5 | (~Guest5@98.97.78.186) |
| 2024-08-13 19:42:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-13 19:51:46 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-08-13 20:07:51 +0200 | comonad | (~comonad@p54a0334b.dip0.t-ipconnect.de) |
| 2024-08-13 20:08:55 +0200 | bsima- | bsima |
| 2024-08-13 20:12:14 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-08-13 20:14:33 +0200 | euandreh | (~Thunderbi@189.6.18.26) |
| 2024-08-13 20:18:56 +0200 | euandreh | (~Thunderbi@189.6.18.26) (Ping timeout: 252 seconds) |
| 2024-08-13 20:19:23 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 258 seconds) |
| 2024-08-13 20:22:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-08-13 20:23:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-13 20:23:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-13 20:24:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-13 20:31:35 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 20:32:03 +0200 | euandreh | (~Thunderbi@189.6.18.26) |
| 2024-08-13 20:40:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 20:42:45 +0200 | comonad | (~comonad@p54a0334b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-08-13 20:44:28 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-08-13 20:52:44 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-08-13 20:53:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-13 20:54:18 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-13 20:55:32 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-08-13 21:05:33 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-13 21:06:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-13 21:08:49 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 260 seconds) |
| 2024-08-13 21:11:26 +0200 | kmein | (~weechat@user/kmein) |
| 2024-08-13 21:19:43 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-13 21:19:57 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2024-08-13 21:20:18 +0200 | kmein | (~weechat@user/kmein) |
| 2024-08-13 21:20:50 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-13 21:21:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-13 21:22:04 +0200 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2024-08-13 21:22:25 +0200 | kmein | (~weechat@user/kmein) |
| 2024-08-13 21:24:23 +0200 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2024-08-13 21:24:40 +0200 | kmein | (~weechat@user/kmein) |
| 2024-08-13 21:25:57 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-13 21:37:59 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.3.3) |
| 2024-08-13 21:39:41 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-08-13 21:46:32 +0200 | neuroevolutus | (~neuroevol@37.19.200.135) |
| 2024-08-13 22:00:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-13 22:05:57 +0200 | Guest5 | (~Guest5@98.97.78.186) (Quit: Client closed) |
| 2024-08-13 22:06:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-13 22:13:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-13 22:20:59 +0200 | euandreh | (~Thunderbi@189.6.18.26) (Ping timeout: 260 seconds) |
| 2024-08-13 22:21:31 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-13 22:23:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-13 22:26:44 +0200 | artem | (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) |
| 2024-08-13 22:27:43 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-08-13 22:28:41 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-08-13 22:30:06 +0200 | ulysses4ever | (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) (Ping timeout: 258 seconds) |
| 2024-08-13 22:30:19 +0200 | ulysses4ever | (~artem@2601:408:c402:b630:c943:1acc:74a:e293) |
| 2024-08-13 22:31:17 +0200 | artem | (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) (Ping timeout: 248 seconds) |
| 2024-08-13 22:35:48 +0200 | artem | (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) |
| 2024-08-13 22:36:02 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-08-13 22:37:00 +0200 | ulysses4ever | (~artem@2601:408:c402:b630:c943:1acc:74a:e293) (Ping timeout: 258 seconds) |
| 2024-08-13 22:38:13 +0200 | dudek | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 2024-08-13 22:38:16 +0200 | dudek1337 | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 2024-08-13 22:38:22 +0200 | dudek1337 | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Client Quit) |
| 2024-08-13 22:43:51 +0200 | neuroevolutus | (~neuroevol@37.19.200.135) (Quit: Client closed) |
| 2024-08-13 22:49:10 +0200 | neuroevolutus | (~neuroevol@37.19.200.148) |
| 2024-08-13 22:51:20 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-13 22:51:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2024-08-13 22:54:41 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-13 22:56:58 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-08-13 22:58:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-13 22:59:03 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-08-13 23:03:20 +0200 | mrmr1553343463 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2024-08-13 23:03:40 +0200 | mrmr1553343463 | (~mrmr@user/mrmr) |
| 2024-08-13 23:05:48 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 2024-08-13 23:05:51 +0200 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2024-08-13 23:06:06 +0200 | malte | (~malte@mal.tc) |
| 2024-08-13 23:06:07 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-08-13 23:06:21 +0200 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2024-08-13 23:06:29 +0200 | teesquare | (~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-08-13 23:06:43 +0200 | teesquare | (~teesquare@user/teesquare) |
| 2024-08-13 23:06:48 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
| 2024-08-13 23:06:51 +0200 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) |
| 2024-08-13 23:07:03 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 245 seconds) |
| 2024-08-13 23:07:26 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-08-13 23:07:26 +0200 | ChanServ | +v yahb2 |
| 2024-08-13 23:07:53 +0200 | liskin | (~liskin@xmonad/liskin) (Ping timeout: 245 seconds) |
| 2024-08-13 23:08:01 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2024-08-13 23:12:25 +0200 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2024-08-13 23:12:54 +0200 | artem | (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) (Ping timeout: 260 seconds) |
| 2024-08-13 23:14:10 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-08-13 23:21:25 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-13 23:25:29 +0200 | dudek | (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Quit: Leaving) |
| 2024-08-13 23:39:07 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-08-13 23:48:04 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-08-13 23:58:14 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |