Logs on 2024-08-13 (liberachat/#haskell)
| 00:00:28 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 00:06:52 | <jackdk> | I don't follow, are you able to elaborate? |
| 00:08:35 | <dolio> | s f g x = f x (g x). The g and x have switched order, and x is duplicated. |
| 00:08:42 | <dolio> | k x y = x, y is gone. |
| 00:08:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:09:43 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 00:10:20 | <dolio> | In sequent calculus, exchange switches order of premises. Contraction duplicates premises. Weakening discards premises. |
| 00:12:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 00:12:35 | <dolio> | I guess s is also cut, because g has become an argument to f. |
| 00:16:45 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 00:20:21 | <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. |
| 00:27:03 | × | oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 245 seconds) |
| 00:29:05 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 00:32:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:37:05 | → | califax joins (~califax@user/califx) |
| 00:41:51 | → | neuroevolutus joins (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 00:43:01 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 00:45:03 | <haskellbridge> | <thirdofmay18081814goya> what's pointfree for "f x = g x . h x "? |
| 00:47:35 | <geekosaur> | @pl f x = g x . h x |
| 00:47:35 | <lambdabot> | f = liftM2 (.) g h |
| 00:48:04 | <geekosaur> | (or `liftA2` if you prefer; @pl was never updated for Applicative) |
| 00:48:43 | <haskellbridge> | <thirdofmay18081814goya> neato! ty |
| 00:50:32 | <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 |
| 00:53:13 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:53:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 00:53:52 | × | itaipu quits (~itaipu@168.121.98.114) (Ping timeout: 272 seconds) |
| 00:55:02 | → | Bynbo7 joins (~username@3.184.70.115.static.exetel.com.au) |
| 00:56:27 | Axman6 | will be so annoyed |
| 01:02:24 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 01:06:43 | → | itaipu joins (~itaipu@168.121.98.149) |
| 01:08:13 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 01:14:29 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 01:21:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:23:37 | × | neuroevolutus quits (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Ping timeout: 256 seconds) |
| 01:29:01 | × | ZharMeny quits (~user@user/ZharMeny) (Quit: ') |
| 01:40:37 | → | ddellacosta joins (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 01:45:49 | × | Bynbo7 quits (~username@3.184.70.115.static.exetel.com.au) (Remote host closed the connection) |
| 01:49:06 | → | Axma49940 joins (~Axman6@user/axman6) |
| 01:49:55 | × | Axma49940 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 01:50:11 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 01:57:50 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 02:06:30 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 02:08:43 | × | Square3 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 02:09:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:24:53 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 248 seconds) |
| 02:26:44 | → | td_ joins (~td@i53870936.versanet.de) |
| 02:29:54 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 02:36:09 | × | doyougnu quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 276 seconds) |
| 02:44:08 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 02:47:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 02:48:20 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 02:48:34 | → | tomku joins (~tomku@user/tomku) |
| 02:55:49 | × | xff0x quits (~xff0x@2405:6580:b080:900:9cab:87b:80dd:616a) (Ping timeout: 248 seconds) |
| 03:04:44 | × | itaipu quits (~itaipu@168.121.98.149) (Read error: Connection reset by peer) |
| 03:04:45 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 03:13:54 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 03:15:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:21:44 | → | itaipu joins (~itaipu@168.121.98.149) |
| 03:30:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:46:44 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 03:56:03 | → | aforemny joins (~aforemny@i59F516E3.versanet.de) |
| 03:56:34 | × | xelxebar_ quits (~xelxebar@wilsonb.com) (Ping timeout: 248 seconds) |
| 03:56:53 | × | aforemny_ quits (~aforemny@2001:9e8:6cef:5a00:2895:51b4:d10f:29a8) (Ping timeout: 258 seconds) |
| 03:58:15 | → | xelxebar joins (~xelxebar@wilsonb.com) |
| 03:59:37 | → | xff0x joins (~xff0x@om126253194070.31.openmobile.ne.jp) |
| 04:14:32 | → | nek0 joins (~nek0@user/nek0) |
| 04:33:21 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 04:33:45 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:44:06 | × | dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 04:54:00 | → | michalz joins (~michalz@185.246.207.203) |
| 04:57:57 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 05:12:08 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 05:12:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 05:13:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:26:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 05:27:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:28:45 | → | doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 05:28:53 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 05:29:14 | → | euleritian joins (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 05:30:07 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:40:46 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 05:44:23 | → | neuroevolutus joins (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) |
| 05:44:45 | × | xff0x quits (~xff0x@om126253194070.31.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 05:46:10 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 05:51:57 | × | bcksl quits (~bcksl@user/bcksl) (Quit: \) |
| 05:51:58 | × | end quits (~end@user/end/x-0094621) (Quit: end) |
| 06:02:56 | → | bcksl joins (~bcksl@user/bcksl) |
| 06:08:24 | → | end joins (~end@user/end/x-0094621) |
| 06:17:30 | × | ubert quits (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 06:19:48 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 06:23:36 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 06:24:18 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 06:25:36 | → | alexherbo2 joins (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 06:35:29 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 06:36:45 | → | hayk joins (~hayk@37.252.90.243) |
| 06:38:45 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 06:40:41 | → | oo_miguel joins (~Thunderbi@78.10.207.46) |
| 06:43:09 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 06:46:49 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:47:55 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 06:50:44 | × | itaipu quits (~itaipu@168.121.98.149) (Ping timeout: 260 seconds) |
| 06:54:48 | → | acidjnk_new3 joins (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 06:56:02 | × | euleritian quits (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:56:20 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:56:26 | → | xdminsy joins (~xdminsy@117.147.71.180) |
| 07:01:01 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 07:02:51 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 07:06:05 | → | misterfish joins (~misterfis@22.1-12-147.kabelnoord.net) |
| 07:09:08 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 07:09:44 | → | euleritian joins (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) |
| 07:11:10 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 07:12:08 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 07:13:20 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 07:14:46 | → | Bynb76233 joins (~Axman6@user/axman6) |
| 07:14:58 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 07:16:46 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 07:17:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 07:18:17 | × | euleritian quits (~euleritia@dynamic-176-006-131-040.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:18:36 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:19:09 | × | Bynb76233 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 07:21:36 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 07:31:28 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:31:50 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 07:33:28 | × | ft quits (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:33:57 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 07:33:59 | → | xff0x joins (~xff0x@ai080132.d.east.v6connect.net) |
| 07:36:09 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 07:37:54 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 07:43:45 | → | gmg joins (~user@user/gehmehgeh) |
| 07:49:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 07:53:39 | → | cayley57 joins (~cayley5@user/phileasfogg) |
| 07:54:19 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 07:55:39 | × | cayley5 quits (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 07:55:40 | cayley57 | is now known as cayley5 |
| 07:57:45 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:58:00 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 07:58:19 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:01:46 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 08:02:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 08:18:40 | × | neuroevolutus quits (~neuroevol@2603:8080:aa00:1a4d:7899:2249:538c:9622) (Quit: Client closed) |
| 08:22:53 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 08:24:59 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 08:27:09 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 08:29:59 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:31:08 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 08:45:53 | × | hayk quits (~hayk@37.252.90.243) (Read error: Connection reset by peer) |
| 08:46:12 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 08:46:45 | → | hayk joins (~hayk@37.252.90.243) |
| 08:47:49 | → | sprout_ joins (~quassel@2a02-a448-3a80-0-5048-e2a1-1130-4d5c.fixed6.kpn.net) |
| 08:48:13 | × | sprout quits (~quassel@2a02-a448-3a80-0-bc7b-9708-368d-aec.fixed6.kpn.net) (Ping timeout: 258 seconds) |
| 08:49:54 | → | chele joins (~chele@user/chele) |
| 08:50:29 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 08:58:38 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 09:03:10 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 09:04:23 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 09:05:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 09:09:46 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 09:10:26 | <Athas> | What is the reason why expressions like 'f \x -> x' and 'x let a = b in c' are invalid syntax? |
| 09:10:32 | <Athas> | Is it related to block layout? |
| 09:11:46 | <danse-nr3> | as opposed to `f x = x` and `x = let a = b in c`? |
| 09:12:02 | <c_wraith> | more as opposed to f $ \x -> x |
| 09:12:06 | <c_wraith> | which is valid |
| 09:12:13 | <danse-nr3> | i see |
| 09:12:15 | <Athas> | Yes, it's about application. |
| 09:12:34 | <danse-nr3> | f (\x -> x) |
| 09:13:09 | <danse-nr3> | hm maybe because `\` can be an operator? |
| 09:13:21 | <danse-nr3> | not sure |
| 09:13:22 | <c_wraith> | nah, \ is reserved by itself |
| 09:13:31 | <danse-nr3> | % :t (\) |
| 09:13:31 | <yahb2> | <interactive>:1:3: error: parse error on input ‘)’ |
| 09:13:34 | <c_wraith> | I don't know that there's any particular reason for it, as GHC has an extension to allow it |
| 09:13:34 | <danse-nr3> | right |
| 09:14:19 | <c_wraith> | I guess there's some potential ambiguity regarding nesting |
| 09:14:24 | <c_wraith> | > do 1 + do 2 |
| 09:14:26 | <lambdabot> | 3 |
| 09:14:43 | <c_wraith> | > (+) do 1 do 2 -- how does this get parsed, anyway? |
| 09:14:45 | <lambdabot> | error: |
| 09:14:45 | <lambdabot> | Unexpected do block in function application: |
| 09:14:45 | <lambdabot> | do 1 do 2 |
| 09:15:11 | <Athas> | Looking at the Haskell report, the reason is that there is a distinct 'fexp' nonterminal for applications. But what purpose does it serve? |
| 09:15:52 | <c_wraith> | well, it avoids that ambiguity |
| 09:15:53 | <probie> | > (+1) do (*2) do 3 |
| 09:15:55 | <lambdabot> | error: |
| 09:15:55 | <lambdabot> | Unexpected do block in function application: |
| 09:15:55 | <lambdabot> | do (* 2) do 3 |
| 09:16:14 | <probie> | %:set -XBlockArguments |
| 09:16:25 | <probie> | % :set -XBlockArguments |
| 09:16:25 | <yahb2> | <no output> |
| 09:16:34 | <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 |
| 09:16:36 | <probie> | % (+1) do (*2) do 3 |
| 09:16:36 | <yahb2> | 7 |
| 09:17:18 | <probie> | % (+) do 1 do 2 -- I think this should be a type error (well, no instance for `Num`) |
| 09:17:18 | <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} {... |
| 09:17:36 | → | ZharMeny joins (~user@user/ZharMeny) |
| 09:17:57 | <probie> | % 3 * do 5 + 2 |
| 09:17:57 | <yahb2> | 21 |
| 09:18:39 | <c_wraith> | well that's weird |
| 09:19:43 | <probie> | You can use it like `$` for replacing parens, only it's useful in more place |
| 09:24:14 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 09:25:12 | <danse-nr3> | `do` rather than `$`? Fun, hadn't realised |
| 09:28:22 | → | ubert joins (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) |
| 09:28:27 | <danse-nr3> | % ('a':) do ('b':) do ('c':) do "d" |
| 09:28:27 | <yahb2> | "abcd" |
| 09:28:33 | <danse-nr3> | :P |
| 09:29:01 | <danse-nr3> | well stupid example, i just wanted to try that out |
| 09:30:26 | <danse-nr3> | % :t fmap do \x -> x |
| 09:30:26 | <yahb2> | fmap do \x -> x :: Functor f => f b -> f b |
| 09:30:51 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 09:32:10 | <danse-nr3> | i think i'll try that more, hoping it won't upset my colleagues :P |
| 09:35:48 | <probie> | one of my former coworkers was a big fan of `x .~ someLens & do some long thing here` |
| 09:36:10 | <danse-nr3> | & do == & $? |
| 09:37:12 | <probie> | except you can't write `& $` |
| 09:37:18 | <danse-nr3> | hmm |
| 09:37:34 | <danse-nr3> | i mean i even dislike &s and $s in the same line |
| 09:38:20 | <danse-nr3> | find that awkward to read |
| 09:50:13 | → | Bynbo7 joins (~Axman6@user/axman6) |
| 09:54:37 | × | Bynbo7 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds) |
| 09:59:48 | × | ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 10:01:06 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 10:01:23 | → | Square3 joins (~Square4@user/square) |
| 10:01:58 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:20:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 10:21:35 | sprout_ | is now known as sprout |
| 10:24:59 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 10:32:19 | × | hayk quits (~hayk@37.252.90.243) (Remote host closed the connection) |
| 10:32:33 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 10:33:07 | × | acidjnk_new3 quits (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 10:39:02 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 10:39:04 | × | rubin55 quits (sid175221@id-175221.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:44:08 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 10:45:19 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 10:52:27 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 10:52:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:53:42 | → | __monty__ joins (~toonn@user/toonn) |
| 10:54:53 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 10:55:17 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 10:57:28 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 11:03:50 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 11:07:04 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 11:07:25 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 11:08:05 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 11:08:25 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 11:09:09 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 11:09:34 | → | tv joins (~tv@user/tv) |
| 11:17:54 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 11:19:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 11:20:14 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
| 11:20:17 | × | ubert quits (~Thunderbi@2001:871:263:b6be:571d:68d5:9d34:3ba7) (Ping timeout: 248 seconds) |
| 11:26:24 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 11:29:34 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 11:31:06 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 11:38:15 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 11:40:43 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 11:41:13 | → | FragByte joins (~christian@user/fragbyte) |
| 11:43:02 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 11:51:22 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 11:56:35 | × | Guest5 quits (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 11:57:08 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 11:59:13 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 12:01:25 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 12:05:40 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 12:07:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:07:53 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 12:08:17 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 12:08:22 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 12:09:12 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 12:11:35 | × | ZharMeny quits (~user@user/ZharMeny) (Quit: ,,,) |
| 12:13:53 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 12:14:09 | × | ddellacosta quits (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 12:14:42 | → | ZharMeny joins (~user@user/ZharMeny) |
| 12:16:29 | → | acidjnk_new3 joins (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) |
| 12:22:39 | × | Guest5 quits (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 12:23:15 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 12:35:09 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 258 seconds) |
| 12:35:38 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 12:45:21 | → | califax_ joins (~califax@user/califx) |
| 12:46:31 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 12:46:35 | califax_ | is now known as califax |
| 12:48:30 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 12:49:20 | → | david_tvh joins (~david_tvh@212.114.26.122) |
| 12:49:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 12:51:49 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 12:53:17 | → | tomku joins (~tomku@user/tomku) |
| 12:55:17 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 12:55:30 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 13:05:22 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 13:06:06 | → | euleritian joins (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 13:06:25 | × | td_ quits (~td@i53870936.versanet.de) (Quit: waking up from the american dream ...) |
| 13:17:01 | → | td_ joins (~td@i53870936.versanet.de) |
| 13:18:35 | → | itaipu joins (~itaipu@168.121.98.107) |
| 13:25:16 | × | itaipu quits (~itaipu@168.121.98.107) (Remote host closed the connection) |
| 13:26:23 | → | itaipu joins (~itaipu@168.121.98.107) |
| 13:27:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 13:34:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 13:37:59 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 13:43:51 | × | euleritian quits (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:44:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:46:02 | → | ubert joins (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) |
| 13:46:39 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 13:47:20 | × | alexherbo2 quits (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 13:47:39 | → | alexherbo2 joins (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 13:49:19 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 13:55:51 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 13:58:50 | × | itaipu quits (~itaipu@168.121.98.107) (Read error: Connection reset by peer) |
| 14:00:28 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 14:01:13 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 14:08:36 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 14:15:12 | → | itaipu joins (~itaipu@168.121.98.107) |
| 14:18:58 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 14:19:29 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 14:20:31 | → | ulysses4ever joins (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) |
| 14:21:06 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:33:53 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 14:35:37 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 14:43:54 | × | AlexNoo quits (~AlexNoo@178.34.160.210) (Read error: Connection reset by peer) |
| 14:44:16 | → | AlexNoo joins (~AlexNoo@178.34.160.210) |
| 14:49:09 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 14:49:17 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:55:23 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:58:49 | × | ubert quits (~Thunderbi@2001:871:263:b6be:3702:9188:4c8:5076) (Quit: ubert) |
| 15:09:29 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 15:11:45 | → | mxs9 joins (~mxs@user/mxs) |
| 15:13:28 | mxs9 | is now known as mxs |
| 15:18:19 | × | Guest5 quits (~Guest5@98.97.78.186) (Ping timeout: 256 seconds) |
| 15:25:14 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 15:29:31 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 15:29:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 15:30:12 | → | cpressey joins (~weechat@176.254.71.203) |
| 15:30:44 | × | JamesMowery quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 15:31:00 | → | JamesMowery joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 15:36:13 | × | terrorjack4 quits (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 15:36:33 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:36:50 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:a72e:72ce:de20:7681) |
| 15:38:27 | → | terrorjack4 joins (~terrorjac@2a01:4f8:121:32e8::) |
| 15:40:17 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 15:40:46 | → | ft joins (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 15:40:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 15:47:35 | <Leary> | Athas: Haskell design error. BlockArguments has the fix, so "set and forget". |
| 15:49:19 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:50:52 | → | segfaultfizzbuzz joins (~segfaultf@135-180-137-170.fiber.static.sonic.net) |
| 15:53:48 | × | alexherbo2 quits (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 15:54:08 | → | alexherbo2 joins (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) |
| 15:54:16 | <mauke> | % do do do do do do do do do "baby shark" |
| 15:54:16 | <yahb2> | "baby shark" |
| 15:56:14 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:56:39 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 15:56:46 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 15:58:51 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 15:59:04 | → | tomku joins (~tomku@user/tomku) |
| 16:04:29 | × | misterfish quits (~misterfis@22.1-12-147.kabelnoord.net) (Ping timeout: 255 seconds) |
| 16:04:39 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 16:05:35 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:05:40 | × | alexherbo2 quits (~alexherbo@2a02-8440-321d-9a27-84e3-d48d-26eb-4237.rev.sfr.net) (Remote host closed the connection) |
| 16:06:51 | → | alexherbo2 joins (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) |
| 16:08:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:08:18 | → | euleritian joins (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 16:08:39 | × | euleritian quits (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:08:56 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:10:23 | × | alexherbo2 quits (~alexherbo@2a02-8440-321d-9a27-21aa-75f1-60e2-af2d.rev.sfr.net) (Remote host closed the connection) |
| 16:11:19 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:12:38 | <haskellbridge> | <thirdofmay18081814goya> how would you compose "\x -> ((+3), x + 1)" and "\x -> (7, x * 2)" to get "\x -> ((+3) 7, (+1) (*2) x)"? |
| 16:13:06 | × | segfaultfizzbuzz quits (~segfaultf@135-180-137-170.fiber.static.sonic.net) (Ping timeout: 248 seconds) |
| 16:14:24 | <EvanR> | the second component is a number not a function so good luck with that |
| 16:16:01 | <mauke> | :t \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 16:16:02 | <lambdabot> | (t1 -> (t2 -> a, b)) -> (t3 -> (t2, t1)) -> t3 -> (a, b) |
| 16:16:19 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 16:16:25 | <mauke> | @pl \f g x -> let (a, b) = g x; (c, d) = f b in (c a, d) |
| 16:16:25 | <lambdabot> | (line 1, column 15): |
| 16:16:25 | <lambdabot> | unexpected "(" |
| 16:16:25 | <lambdabot> | expecting "()", natural, identifier or "in" |
| 16:17:44 | <haskellbridge> | <thirdofmay18081814goya> mauke: ah I see the strategy, thanks a lot!! |
| 16:17:59 | <mauke> | :t \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 16:18:00 | <lambdabot> | (b1 -> (t1 -> a, b2)) -> (t2 -> (t1, b1)) -> t2 -> (a, b2) |
| 16:18:04 | <mauke> | @pl \f g x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 16:18:04 | <lambdabot> | (.) . ap ((`ap` snd) . ((,) .) . flip fst . fst) . (. snd) |
| 16:18:18 | <mauke> | @pl \x -> let y = g x; z = f (snd y) in (fst z (fst y), snd z) |
| 16:18:19 | <lambdabot> | ap ((`ap` snd) . ((,) .) . flip fst . fst) (f . snd) . fix . const . g |
| 16:18:30 | <mauke> | wow, that's terrible |
| 16:18:34 | → | leah2 joins (~leah@vuxu.org) |
| 16:19:03 | <haskellbridge> | <thirdofmay18081814goya> yeah but I didn't realize I was actually looking for pattern matching with "let", thanks |
| 16:19:20 | <mauke> | you can also use case/of |
| 16:20:13 | <mauke> | :t flip fst |
| 16:20:14 | <lambdabot> | b1 -> (b1 -> c, b2) -> c |
| 16:20:58 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 16:22:01 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 16:22:01 | ChanServ | sets mode +v haskellbridge |
| 16:29:04 | beaky_ | is now known as beaky |
| 16:31:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:33:27 | × | cpressey quits (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 16:39:34 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 16:40:41 | → | danza joins (~danza@user/danza) |
| 16:40:55 | × | terrorjack4 quits (~terrorjac@2a01:4f8:121:32e8::) (Quit: The Lounge - https://thelounge.chat) |
| 16:41:04 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 16:41:21 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 16:42:55 | → | terrorjack4 joins (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 16:43:42 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:45:03 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 16:54:20 | → | leah2 joins (~leah@vuxu.org) |
| 17:00:48 | × | Square3 quits (~Square4@user/square) (Ping timeout: 258 seconds) |
| 17:03:51 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 17:10:16 | → | thyriaen joins (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 17:11:42 | → | Square joins (~Square@user/square) |
| 17:18:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:18:33 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:19:47 | → | euleritian joins (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 17:22:49 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:23:55 | × | euleritian quits (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 17:24:42 | → | euleritian joins (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) |
| 17:24:51 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 17:28:19 | × | danza quits (~danza@user/danza) (Ping timeout: 252 seconds) |
| 17:31:53 | × | euleritian quits (~euleritia@dynamic-176-001-220-179.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:32:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:32:51 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 17:33:33 | × | xdminsy quits (~xdminsy@117.147.71.180) (Quit: Konversation terminated!) |
| 17:35:32 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 17:36:29 | → | Guest5 joins (~Guest5@98.97.78.186) |
| 17:42:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:51:46 | × | comonad quits (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:07:51 | → | comonad joins (~comonad@p54a0334b.dip0.t-ipconnect.de) |
| 18:08:55 | bsima- | is now known as bsima |
| 18:12:14 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:14:33 | → | euandreh joins (~Thunderbi@189.6.18.26) |
| 18:18:56 | × | euandreh quits (~Thunderbi@189.6.18.26) (Ping timeout: 252 seconds) |
| 18:19:23 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 258 seconds) |
| 18:22:09 | → | benjaminl joins (~benjaminl@user/benjaminl) |
| 18:23:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:23:59 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 18:24:16 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:31:35 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 18:32:03 | → | euandreh joins (~Thunderbi@189.6.18.26) |
| 18:40:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:42:45 | × | comonad quits (~comonad@p54a0334b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 18:44:28 | → | dyniec joins (~dyniec@dybiec.info) |
| 18:52:44 | → | comonad joins (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 18:53:41 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 18:54:18 | → | neuroevolutus joins (~neuroevol@206.217.206.95) |
| 18:55:32 | → | billchenchina- joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 19:05:33 | × | neuroevolutus quits (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 19:06:48 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:08:49 | × | kmein quits (~weechat@user/kmein) (Ping timeout: 260 seconds) |
| 19:11:26 | → | kmein joins (~weechat@user/kmein) |
| 19:19:43 | → | spew joins (~spew@201.141.102.132) |
| 19:19:57 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 19:20:18 | → | kmein joins (~weechat@user/kmein) |
| 19:20:50 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 19:21:47 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:22:04 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 19:22:25 | → | kmein joins (~weechat@user/kmein) |
| 19:24:23 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 19:24:40 | → | kmein joins (~weechat@user/kmein) |
| 19:25:57 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 19:37:59 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.3.3) |
| 19:39:41 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 19:46:32 | → | neuroevolutus joins (~neuroevol@37.19.200.135) |
| 20:00:11 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:05:57 | × | Guest5 quits (~Guest5@98.97.78.186) (Quit: Client closed) |
| 20:06:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 20:13:06 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 20:20:59 | × | euandreh quits (~Thunderbi@189.6.18.26) (Ping timeout: 260 seconds) |
| 20:21:31 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 20:23:23 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 20:26:44 | → | artem joins (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) |
| 20:27:43 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 20:28:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 20:30:06 | × | ulysses4ever quits (~artem@2601:249:4300:5920:4e33:c7df:163c:6fbb) (Ping timeout: 258 seconds) |
| 20:30:19 | → | ulysses4ever joins (~artem@2601:408:c402:b630:c943:1acc:74a:e293) |
| 20:31:17 | × | artem quits (~artem@2601:408:c402:b630:e78d:31a5:df6b:257a) (Ping timeout: 248 seconds) |
| 20:35:48 | → | artem joins (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) |
| 20:36:02 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 20:37:00 | × | ulysses4ever quits (~artem@2601:408:c402:b630:c943:1acc:74a:e293) (Ping timeout: 258 seconds) |
| 20:38:13 | → | dudek joins (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 20:38:16 | → | dudek1337 joins (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) |
| 20:38:22 | × | dudek1337 quits (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Client Quit) |
| 20:43:51 | × | neuroevolutus quits (~neuroevol@37.19.200.135) (Quit: Client closed) |
| 20:49:10 | → | neuroevolutus joins (~neuroevol@37.19.200.148) |
| 20:51:20 | → | Square3 joins (~Square4@user/square) |
| 20:51:25 | × | segfaultfizzbuzz quits (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 20:54:41 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 20:56:58 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 20:58:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 20:59:03 | → | EvanR joins (~EvanR@user/evanr) |
| 21:03:20 | × | mrmr1553343463 quits (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 21:03:40 | → | mrmr1553343463 joins (~mrmr@user/mrmr) |
| 21:05:48 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 21:05:51 | × | malte quits (~malte@mal.tc) (Read error: Connection reset by peer) |
| 21:06:06 | → | malte joins (~malte@mal.tc) |
| 21:06:07 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 21:06:21 | × | Yumemi quits (~Yumemi@chamoin.net) (Quit: .) |
| 21:06:29 | × | teesquare quits (~teesquare@user/teesquare) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 21:06:43 | → | teesquare joins (~teesquare@user/teesquare) |
| 21:06:48 | × | piele quits (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
| 21:06:51 | → | Yumemi joins (~Yumemi@2001:bc8:47a0:1b14::1) |
| 21:07:03 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 245 seconds) |
| 21:07:26 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 21:07:26 | ChanServ | sets mode +v yahb2 |
| 21:07:53 | × | liskin quits (~liskin@xmonad/liskin) (Ping timeout: 245 seconds) |
| 21:08:01 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 21:12:25 | × | thyriaen quits (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 21:12:54 | × | artem quits (~artem@2601:408:c402:b630:2d8f:3a4e:3939:f11) (Ping timeout: 260 seconds) |
| 21:14:10 | → | liskin joins (~liskin@xmonad/liskin) |
| 21:21:25 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:25:29 | × | dudek quits (~dudek@2a02:a312:c93f:6880:8028:6f10:6aa2:c8ef) (Quit: Leaving) |
| 21:39:07 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 21:48:04 | × | comonad quits (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:58:14 | → | comonad joins (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 22:06:17 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 255 seconds) |
| 22:07:22 | × | mrmr1553343463 quits (~mrmr@user/mrmr) (Ping timeout: 252 seconds) |
| 22:08:23 | × | krei-se quits (~krei-se@p57af2d39.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 22:08:49 | → | krei-se joins (~krei-se@p57af2d39.dip0.t-ipconnect.de) |
| 22:13:26 | → | mrmr15533434631 joins (~mrmr@user/mrmr) |
| 22:14:07 | → | misterfish joins (~misterfis@84.53.85.146) |
| 22:28:53 | × | mesaoptimizer quits (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 22:29:03 | → | mesaoptimizer joins (~mesaoptim@user/PapuaHardyNet) |
| 22:30:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:32:00 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:35:59 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:37:33 | × | krei-se quits (~krei-se@p57af2d39.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 22:39:31 | → | krei-se joins (~krei-se@p57af2d39.dip0.t-ipconnect.de) |
| 22:41:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 22:49:44 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Remote host closed the connection) |
| 22:53:09 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds) |
| 22:53:19 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 22:53:20 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 22:53:41 | × | sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 22:53:41 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 248 seconds) |
| 22:53:43 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 245 seconds) |
| 22:53:43 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 245 seconds) |
| 22:53:51 | → | sa1 joins (sid7690@id-7690.ilkley.irccloud.com) |
| 22:53:55 | × | tritlo_ quits (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 22:54:07 | × | jackdk quits (sid373013@cssa/jackdk) (Ping timeout: 264 seconds) |
| 22:54:08 | × | SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 245 seconds) |
| 22:54:17 | × | delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 22:54:22 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 22:54:22 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (Ping timeout: 272 seconds) |
| 22:54:23 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 22:54:23 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 244 seconds) |
| 22:54:24 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 22:54:33 | × | bjs quits (sid190364@user/bjs) (Ping timeout: 245 seconds) |
| 22:54:33 | × | Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 22:54:39 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 252 seconds) |
| 22:54:43 | × | Kamuela quits (sid111576@2a03:5180:f::1:b3d8) (Ping timeout: 265 seconds) |
| 22:54:43 | × | caasih quits (sid13241@2a03:5180:f:3::33b9) (Ping timeout: 265 seconds) |
| 22:54:54 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 22:54:54 | × | buhman quits (sid411355@user/buhman) (Ping timeout: 244 seconds) |
| 22:54:54 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 22:54:54 | × | rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 22:54:58 | × | cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 22:54:59 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 22:55:00 | × | iphy quits (sid67735@user/iphy) (Ping timeout: 272 seconds) |
| 22:55:32 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 22:55:43 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 22:55:53 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 22:55:59 | → | SethTisue joins (sid14912@id-14912.ilkley.irccloud.com) |
| 22:56:03 | → | tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com) |
| 22:56:11 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 22:56:11 | → | buhman joins (sid411355@user/buhman) |
| 22:56:15 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 22:56:19 | → | Fangs joins (sid141280@id-141280.hampstead.irccloud.com) |
| 22:56:23 | → | snek joins (sid280155@id-280155.lymington.irccloud.com) |
| 22:56:29 | → | rune_ joins (sid21167@id-21167.ilkley.irccloud.com) |
| 22:56:38 | → | iphy joins (sid67735@user/iphy) |
| 22:56:51 | → | hook54321 joins (sid149355@user/hook54321) |
| 22:58:11 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 22:58:15 | → | caasih joins (sid13241@id-13241.ilkley.irccloud.com) |
| 22:58:18 | → | Kamuela joins (sid111576@id-111576.tinside.irccloud.com) |
| 22:58:19 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 22:58:20 | → | jackdk joins (sid373013@cssa/jackdk) |
| 22:58:21 | → | bjs joins (sid190364@user/bjs) |
| 22:58:22 | → | delyan_ joins (sid523379@id-523379.hampstead.irccloud.com) |
| 22:58:23 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 22:58:36 | → | cbarrett joins (sid192934@id-192934.helmsley.irccloud.com) |
| 22:58:37 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 23:02:33 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 23:05:23 | → | polux8 joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 23:05:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 23:07:11 | → | markasoftware_ joins (~quassel@107.161.26.124) |
| 23:07:32 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 23:07:33 | polux8 | is now known as polux |
| 23:07:33 | × | markasoftware quits (~quassel@107.161.26.124) (Quit: No Ping reply in 180 seconds.) |
| 23:07:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:10:21 | × | neuroevolutus quits (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 23:13:30 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 23:14:08 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 245 seconds) |
| 23:14:49 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 23:27:57 | × | acidjnk_new3 quits (~acidjnk@p200300d6e72cfb360994ce1b4ff2bf62.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:30:03 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 23:43:56 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 23:49:14 | → | pavonia joins (~user@user/siracusa) |
| 23:49:18 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
All times are in UTC on 2024-08-13.