Logs on 2024-08-16 (liberachat/#haskell)
| 00:09:37 | × | acidjnk quits (~acidjnk@p200300d6e72cfb233897a37840cbfb18.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:10:48 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 00:16:47 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 00:20:05 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:20:44 | <jle`> | forall a pretty much gives you the scope. it's like \a -> .. in the term level. so sometimes you'll have a `Maybe a` but the "a" comes from something higher up |
| 00:21:22 | <jle`> | ie if you use `Maybe a` inside a function where `a` comes from the type of the whole function itself |
| 00:21:27 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:21:40 | <jle`> | it's basically the difference between [x] and \x -> [x] |
| 00:24:45 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 00:25:38 | → | euleritian joins (~euleritia@dynamic-176-006-139-221.176.6.pool.telefonica.de) |
| 00:31:59 | <Leary> | thirdofmay18081814goya: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/scoped_type_variables.html |
| 00:37:48 | × | tcard quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Quit: Leaving) |
| 00:39:37 | <haskellbridge> | <thirdofmay18081814goya> ty for answers! |
| 00:45:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:45:54 | → | tcard joins (~tcard@p4653210-ipxg23201hodogaya.kanagawa.ocn.ne.jp) |
| 01:13:29 | → | tcard_ joins (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 01:14:30 | → | Guest96 joins (~Guest96@130.41.233.18) |
| 01:15:15 | → | troojg joins (~troojg@user/troojg) |
| 01:16:37 | × | tcard quits (~tcard@p4653210-ipxg23201hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 01:39:12 | × | Guest96 quits (~Guest96@130.41.233.18) (Quit: Client closed) |
| 01:44:32 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 01:46:13 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 01:46:18 | → | wroathe joins (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 01:46:18 | × | wroathe quits (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 01:46:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:46:28 | → | tomku joins (~tomku@user/tomku) |
| 01:54:03 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 02:01:19 | × | euleritian quits (~euleritia@dynamic-176-006-139-221.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 02:12:04 | → | euleritian joins (~euleritia@dynamic-176-006-132-153.176.6.pool.telefonica.de) |
| 02:13:22 | × | ZharMeny quits (~user@user/ZharMeny) (Quit: ;) |
| 02:17:57 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 02:20:06 | → | wroathe joins (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 02:20:06 | × | wroathe quits (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 02:20:06 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:21:52 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 272 seconds) |
| 02:23:32 | → | td_ joins (~td@i53870937.versanet.de) |
| 02:30:02 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 258 seconds) |
| 02:41:24 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 02:41:30 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 02:42:10 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 02:46:56 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Quit: Client closed) |
| 02:50:56 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 02:58:58 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 02:59:20 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 03:03:02 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 03:05:07 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 03:06:07 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 03:12:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:14:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 03:16:27 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:26:55 | → | RedFlamingos joins (~RedFlamin@user/RedFlamingos) |
| 03:32:08 | × | Square3 quits (~Square4@user/square) (Ping timeout: 258 seconds) |
| 03:33:50 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 03:33:55 | → | kiwiirc joins (~kiwiirc@103.166.150.118) |
| 03:48:23 | × | kiwiirc quits (~kiwiirc@103.166.150.118) (Ping timeout: 256 seconds) |
| 03:53:23 | → | aforemny_ joins (~aforemny@i59F516D0.versanet.de) |
| 03:53:42 | × | aforemny quits (~aforemny@i59F516CB.versanet.de) (Ping timeout: 272 seconds) |
| 03:54:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 04:23:53 | × | euleritian quits (~euleritia@dynamic-176-006-132-153.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:24:11 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:25:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 04:26:10 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:26:12 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 04:26:35 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:52:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:54:31 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 04:56:59 | → | euleritian joins (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 05:01:05 | → | ubiquituum joins (~user@user/ubiquituum) |
| 05:01:34 | × | ubiquituum quits (~user@user/ubiquituum) (Remote host closed the connection) |
| 05:10:09 | × | euleritian quits (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:12:04 | → | euleritian joins (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 05:18:38 | × | euleritian quits (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:19:18 | → | euleritian joins (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) |
| 05:20:27 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 05:30:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:41:23 | → | michalz joins (~michalz@185.246.207.203) |
| 05:49:45 | × | Blasius_ quits (~Blasius@90.201.223.82) (Ping timeout: 258 seconds) |
| 05:50:21 | → | misterfish joins (~misterfis@84.53.85.146) |
| 05:56:54 | → | neuroevolutus joins (~neuroevol@37.19.200.135) |
| 06:07:50 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 06:08:19 | → | rvalue joins (~rvalue@user/rvalue) |
| 06:09:03 | → | Blasius joins (~Blasius@90.201.223.82) |
| 06:09:09 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:13:34 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 06:17:18 | → | euphores joins (~SASL_euph@user/euphores) |
| 06:19:09 | × | neuroevolutus quits (~neuroevol@37.19.200.135) (Quit: Client closed) |
| 06:26:45 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 06:27:33 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 06:27:33 | zinc.libera.chat | sets mode +o ChanServ |
| 06:31:42 | × | ft quits (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:37:15 | → | Blasius_ joins (~Blasius@90.201.223.82) |
| 06:40:00 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 06:41:09 | × | Blasius quits (~Blasius@90.201.223.82) (Ping timeout: 260 seconds) |
| 06:45:40 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 06:51:53 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 06:59:24 | × | euleritian quits (~euleritia@dynamic-176-006-141-221.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:00:49 | → | euleritian joins (~euleritia@77.22.252.56) |
| 07:12:13 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:38:57 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 276 seconds) |
| 07:39:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:40:54 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 07:45:26 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 255 seconds) |
| 07:48:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:57:47 | → | acidjnk joins (~acidjnk@p200300d6e72cfb8829a89a20b1ea13d1.dip0.t-ipconnect.de) |
| 08:00:17 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:13:25 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:19:07 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 08:22:07 | × | jespada_ quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:26:51 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:28:27 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 08:30:17 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 08:31:04 | → | Inst joins (~Inst@user/Inst) |
| 08:38:01 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 08:38:41 | → | misterfish joins (~misterfis@87.215.131.102) |
| 08:41:23 | → | chele joins (~chele@user/chele) |
| 08:42:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:52:43 | <hc> | Hi all, got question about phantom type, I'm experimenting with haskell typesystem |
| 08:53:02 | <hc> | So I got data Foo a = A | B | C |
| 08:53:25 | <hc> | I'd like to implement a show instance whose output will depend on the value of a |
| 08:54:08 | <hc> | But I can't get it to work, I've tried to create instances like instance Foo Bool, instance Foo String, etc. but the compiler refuses to choose them, even when a is further constrained down |
| 08:54:15 | <hc> | Any suggestions what I should do? :) |
| 09:01:51 | → | sawilagar_ joins (~sawilagar@user/sawilagar) |
| 09:03:27 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 09:04:06 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 09:07:54 | → | gmg joins (~user@user/gehmehgeh) |
| 09:14:25 | <Leary> | % data Foo a = A | B | C |
| 09:14:25 | <yahb2> | <no output> |
| 09:14:35 | <Leary> | % instance Typeable a => Show (Foo a) where showsPrec p foo = showParen (p >= 10) $ showString (case foo of { A -> 'A'; B -> 'B'; C -> 'C' } : " :: Foo ") . showsPrec 10 (typeRep foo) |
| 09:14:35 | <yahb2> | <no output> |
| 09:14:40 | <Leary> | % A :: Foo Int |
| 09:14:40 | <yahb2> | A :: Foo Int |
| 09:14:45 | <Leary> | % B :: Foo (Either Word Char) |
| 09:14:45 | <yahb2> | B :: Foo (Either Word Char) |
| 09:15:05 | <Leary> | hc: We can't tell you what you're doing wrong if you don't show us code. |
| 09:19:32 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 09:20:23 | <hc> | Leary: Thanks, let me prepare the code, one sec |
| 09:21:28 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 09:22:07 | <hc> | Leary: Here's the code: https://paste.tomsmeding.com/l3tlG1fd |
| 09:22:13 | <hc> | It's just an experiment to learn a bit about type level programming |
| 09:22:29 | <hc> | What I'd like to do is remove lines 17 and 18 |
| 09:27:55 | <Leary> | The code appears to work as it is. I'm not sure why you want to remove those lines, or what you expect to happen without them. |
| 09:29:08 | <hc> | Leary: I want to make it more generic |
| 09:29:17 | <hc> | Leary: Because right now the code is duplicated for the purpose of making it work |
| 09:30:17 | → | ubert joins (~Thunderbi@91.141.68.38.wireless.dyn.drei.com) |
| 09:31:20 | <Leary> | Okay, rather than removing 17-18, I should think you would want to unify 23-27. Write `instance GetBottleKind (Bottle a) => Show (Bottle a)`? |
| 09:32:08 | <Leary> | If what you want is to automatically go from the type name to a string, then you can use Typeable instead, as I did above. |
| 09:32:09 | <hc> | Hmm, that would get me a working program but not do what I'm trying to do ;) |
| 09:40:27 | <hc> | Or perhaps could you explain to my why it doesn't work the way I'm trying to do it |
| 09:41:06 | <hc> | I.e., why doesn't this code compile: https://paste.tomsmeding.com/eOG0eeCZ |
| 09:43:51 | <Leary> | It's exactly as the error says. You're using `getBottleType` in `instance Show (Bottle a)` without having imposed a `GetBottleKind (Bottle a)` constraint. |
| 09:44:07 | <Leary> | Why do you think it should work? |
| 09:44:12 | <hc> | I've tried to impose the constraint in various ways but haven't figured out how to do it. |
| 09:44:17 | <hc> | How do I enforce the constraint? |
| 09:44:22 | hc | is a haskell novice still |
| 09:45:05 | <Leary> | Exactly as I wrote ~four lines ago? |
| 09:45:16 | <hc> | kk, let my try |
| 09:45:57 | <hc> | It says, after enabling FlexibleContexts: |
| 09:45:58 | <hc> | • The constraint ‘GetBottleKind (Bottle a)’ |
| 09:45:58 | <hc> | is no smaller than the instance head ‘Show (Bottle a)’ |
| 09:47:31 | <Leary> | You can just heed its advice and enable UndecidableInstances, though the better path is to change `class GetBottleKind a` to have method `getBottleType :: Bottle a -> String`, then impose a `GetBottleKind a` constraint instead. |
| 09:47:56 | × | driib3 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 09:48:36 | → | driib3 joins (~driib@vmi931078.contaboserver.net) |
| 09:48:38 | <hc> | Oh nice, thanks! It works with UndecidableInstances :-) |
| 09:49:00 | <hc> | Thanks a bunch, I knew there must be a way. I agree that it's not optimal. I'm just trying to learn the type system one step at a time |
| 09:53:37 | × | misterfish quits (~misterfis@87.215.131.102) (Remote host closed the connection) |
| 10:07:17 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 248 seconds) |
| 10:11:39 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 10:18:42 | → | thyriaen joins (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 10:21:24 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:34:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 10:35:27 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 10:36:39 | → | Inst joins (~Inst@user/Inst) |
| 10:44:40 | → | fut joins (~futar@129.234.0.168) |
| 10:46:41 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 248 seconds) |
| 10:49:22 | → | gentauro joins (~gentauro@user/gentauro) |
| 11:00:26 | AlexNoo_ | is now known as AlexNoo |
| 11:01:46 | → | troydm joins (~troydm@user/troydm) |
| 11:03:31 | × | troydm quits (~troydm@user/troydm) (Client Quit) |
| 11:03:45 | → | troydm joins (~troydm@user/troydm) |
| 11:05:37 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 11:08:44 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 11:09:03 | → | euleritian joins (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 11:17:04 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 11:20:39 | × | thyriaen quits (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 11:28:42 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 11:34:30 | → | alexherbo2 joins (~alexherbo@2a02-8440-3414-e209-4c3a-f6ac-ee72-45b5.rev.sfr.net) |
| 11:44:25 | × | wlhn quits (~wlhn@dl6-5j8gfh1n484fp87pt-3.rev.dnainternet.fi) (Quit: Leaving) |
| 11:53:23 | × | fut quits (~futar@129.234.0.168) (Quit: leaving) |
| 11:54:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:57:37 | → | jvml joins (~user@198.137.18.149) |
| 11:58:28 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:01:27 | → | ZharMeny joins (~user@user/ZharMeny) |
| 12:17:12 | → | ft joins (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 12:18:43 | → | hades joins (~hades@109.251.198.18) |
| 12:33:11 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 12:34:22 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 12:36:41 | → | troydm joins (~troydm@user/troydm) |
| 12:39:05 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 12:40:36 | ← | jvml parts (~user@198.137.18.149) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 12:51:05 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 12:56:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:12:49 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:13:18 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:14:57 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 13:15:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:21:16 | → | Square3 joins (~Square4@user/square) |
| 13:22:29 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 13:22:51 | → | Square joins (~Square@user/square) |
| 13:26:52 | × | Square3 quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 13:41:17 | × | euleritian quits (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:41:38 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:45:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 13:45:53 | × | joeyh quits (~joeyh@kitenet.net) (Read error: Connection reset by peer) |
| 13:46:10 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 13:48:13 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:48:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:51:38 | × | CATS quits (apic@brezn3.muc.ccc.de) (Quit: Lost terminal) |
| 14:00:48 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 14:01:02 | → | euleritian joins (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 14:01:18 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 14:05:39 | × | Luj9 quits (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 260 seconds) |
| 14:05:43 | → | Luj91 joins (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 14:14:27 | × | alexherbo2 quits (~alexherbo@2a02-8440-3414-e209-4c3a-f6ac-ee72-45b5.rev.sfr.net) (Remote host closed the connection) |
| 14:20:50 | → | rvalue- joins (~rvalue@user/rvalue) |
| 14:21:53 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 258 seconds) |
| 14:26:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 14:26:54 | rvalue- | is now known as rvalue |
| 14:28:47 | → | oo_miguel joins (~Thunderbi@78.10.207.46) |
| 14:30:21 | → | Inst joins (~Inst@user/Inst) |
| 14:31:53 | ← | hades parts (~hades@109.251.198.18) (Leaving) |
| 14:45:31 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 14:52:10 | → | wroathe joins (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 14:52:10 | × | wroathe quits (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 14:52:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:58:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:07:20 | × | ZharMeny quits (~user@user/ZharMeny) (Ping timeout: 255 seconds) |
| 15:08:16 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:12:14 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 15:14:36 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:20:35 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:21:55 | → | img joins (~img@user/img) |
| 15:25:38 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 15:29:44 | × | Square quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 15:30:03 | → | wroathe joins (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 15:30:03 | × | wroathe quits (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 15:30:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:30:26 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:31:45 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:41:35 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 15:45:28 | → | ZharMeny joins (~user@user/ZharMeny) |
| 15:53:22 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 15:55:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:57:28 | → | bilegeek joins (~bilegeek@2600:1008:b012:dc59:4986:69cf:1f88:f4c9) |
| 16:06:55 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 16:07:57 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 16:09:11 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 16:17:14 | × | kimiamania2 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 16:18:13 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 16:21:41 | × | euleritian quits (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:21:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:24:39 | × | kimiamania2 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 16:25:29 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 16:28:14 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 16:28:33 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 16:28:55 | → | euleritian joins (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) |
| 16:29:18 | × | euleritian quits (~euleritia@dynamic-176-006-145-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:29:35 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:41:13 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:41:26 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:53:05 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:54:14 | → | connrs joins (~connrs@user/connrs) |
| 16:55:36 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 16:55:50 | → | tomku joins (~tomku@user/tomku) |
| 16:56:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:56:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:58:44 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 17:04:27 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Ping timeout: 276 seconds) |
| 17:05:48 | → | wroathe joins (~wroathe@mobile-166-175-56-137.mycingular.net) |
| 17:05:48 | × | wroathe quits (~wroathe@mobile-166-175-56-137.mycingular.net) (Changing host) |
| 17:05:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:09:51 | → | sw4n joins (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) |
| 17:10:03 | → | Inst_ joins (~Inst@user/Inst) |
| 17:12:21 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 17:22:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:25:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:35:20 | → | mikess joins (~mikess@user/mikess) |
| 17:35:58 | <c_wraith> | Is there a tool to tell you when there's a newer package on hackage than what you're building with? |
| 17:36:51 | → | FragByte_ joins (~christian@user/fragbyte) |
| 17:37:51 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 17:37:51 | FragByte_ | is now known as FragByte |
| 17:38:01 | → | pavonia joins (~user@user/siracusa) |
| 17:39:12 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 17:41:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:43:44 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:46:18 | <geekosaur> | not maintained, that I can see |
| 17:51:16 | → | spew joins (~spew@201.141.102.132) |
| 18:00:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:00:30 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 18:08:14 | Inst_ | is now known as Inst |
| 18:08:40 | <c_wraith> | That feels like something that should exist. And maybe should just be a flag in cabal |
| 18:09:00 | <c_wraith> | Since cabal needs to do all that work anywya |
| 18:09:07 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 18:15:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:21:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:24:52 | → | califax joins (~califax@user/califx) |
| 18:25:00 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:27:34 | → | bilegeek_ joins (~bilegeek@74.sub-174-208-231.myvzw.com) |
| 18:29:01 | <glguy> | c_wraith: "cabal outdated"? |
| 18:29:26 | <glguy> | that's not "than your building with" but "than your bounds accept" though |
| 18:30:06 | × | bilegeek quits (~bilegeek@2600:1008:b012:dc59:4986:69cf:1f88:f4c9) (Ping timeout: 252 seconds) |
| 18:34:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:35:46 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:36:51 | <c_wraith> | I suppose if you've run cabal freeze, it works out to the same thing |
| 18:38:58 | <Hecate> | c_wraith: I believe you're looking for `cabal outdated`, or just re-run `cabal freeze` :) |
| 18:39:41 | <c_wraith> | re-running cabal freeze changes nothing unless you've got it to build against other dependencies first |
| 18:40:18 | <Hecate> | c_wraith: and `cabal outdated`? |
| 18:40:25 | <c_wraith> | also, apparently I need to add the --v2-freeze-file flag to make cabal outdated work... |
| 18:40:54 | <c_wraith> | because cabal outdated tells me everything is up to date unless I do |
| 18:40:55 | <Hecate> | yep, `--project-dir and --project-file must only be used with --v2-freeze-file.` |
| 18:41:14 | → | alexherbo2 joins (~alexherbo@2a02-8440-3414-e209-4d09-a8b0-8e40-a8fe.rev.sfr.net) |
| 18:41:17 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:41:59 | <c_wraith> | why does "cabal outdated" even run when it does nothing without extra flags? |
| 18:42:25 | <glguy> | It's not the case that it does *nothing*, I use it without flags all the time |
| 18:42:34 | <glguy> | (and get useful outputs) |
| 18:42:42 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:43:20 | → | wroathe joins (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 18:43:21 | × | wroathe quits (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 18:43:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:45:22 | → | dom0 joins (~u0_a141@31.4.183.247) |
| 19:03:30 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 19:11:09 | × | sw4n quits (~sw4n@2605:59c0:40f0:9610:8050:8596:3662:a79e) (Remote host closed the connection) |
| 19:16:46 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 19:17:36 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:18:04 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:23:09 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:30:53 | tjbc_ | is now known as tjbc |
| 19:31:19 | × | alexherbo2 quits (~alexherbo@2a02-8440-3414-e209-4d09-a8b0-8e40-a8fe.rev.sfr.net) (Remote host closed the connection) |
| 19:32:38 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 19:32:41 | × | tjbc quits (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 19:34:54 | → | tjbc joins (~tjbc@user/fliife) |
| 19:36:23 | → | neuroevolutus joins (~neuroevol@37.19.200.148) |
| 19:46:13 | × | neuroevolutus quits (~neuroevol@37.19.200.148) (Quit: Client closed) |
| 19:49:18 | → | neuroevolutus joins (~neuroevol@37.19.200.148) |
| 19:56:04 | × | oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds) |
| 20:00:04 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:09:46 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 20:10:28 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 20:11:03 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 20:17:33 | → | Inst_ joins (~Inst@user/Inst) |
| 20:20:00 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 20:23:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:25:04 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:30:30 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 20:34:01 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:34:47 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 20:35:05 | → | tcard__ joins (~tcard@p3696129-ipxg22301hodogaya.kanagawa.ocn.ne.jp) |
| 20:36:41 | × | tcard_ quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Remote host closed the connection) |
| 20:44:57 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 20:49:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 20:53:55 | × | neuroevolutus quits (~neuroevol@37.19.200.148) (Quit: Client closed) |
| 20:54:08 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 20:57:05 | → | euleritian joins (~euleritia@dynamic-176-002-004-036.176.2.pool.telefonica.de) |
| 20:58:02 | → | wroathe joins (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
| 20:58:02 | × | wroathe quits (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
| 20:58:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:01:15 | × | kimiamania2 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:36 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 21:03:25 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 21:14:21 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 21:14:34 | → | tomku joins (~tomku@user/tomku) |
| 21:16:55 | × | euleritian quits (~euleritia@dynamic-176-002-004-036.176.2.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 21:17:21 | → | euleritian joins (~euleritia@dynamic-176-007-149-082.176.7.pool.telefonica.de) |
| 21:18:47 | → | neuroevolutus joins (~neuroevol@37.19.200.148) |
| 21:24:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:32:05 | × | euleritian quits (~euleritia@dynamic-176-007-149-082.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 21:34:31 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 21:35:00 | → | euleritian joins (~euleritia@dynamic-176-001-213-151.176.1.pool.telefonica.de) |
| 21:35:59 | × | neuroevolutus quits (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 21:38:13 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:38:49 | → | Square joins (~Square@user/square) |
| 21:39:19 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 21:40:29 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 21:42:29 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 21:42:43 | → | tomku joins (~tomku@user/tomku) |
| 21:54:58 | × | euleritian quits (~euleritia@dynamic-176-001-213-151.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 21:55:07 | → | euleritian joins (~euleritia@dynamic-176-001-224-242.176.1.pool.telefonica.de) |
| 22:05:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:12:26 | × | sprout quits (~quassel@2a02-a448-3a80-0-5048-e2a1-1130-4d5c.fixed6.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:13:57 | → | sprout joins (~quassel@2a02-a448-3a80-0-48a2-c4f8-cdbd-4b71.fixed6.kpn.net) |
| 22:17:10 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:ad4:c8bd:cd5d:e26b) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 22:17:24 | × | paddymahoney quits (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 22:17:31 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:bfcc:30bd:73be:b26e) |
| 22:18:48 | × | sprout quits (~quassel@2a02-a448-3a80-0-48a2-c4f8-cdbd-4b71.fixed6.kpn.net) (Client Quit) |
| 22:19:45 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:20:17 | × | euleritian quits (~euleritia@dynamic-176-001-224-242.176.1.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 22:25:10 | → | shailangsa joins (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) |
| 22:26:08 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 22:28:17 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 22:29:53 | → | euleritian joins (~euleritia@dynamic-176-006-141-066.176.6.pool.telefonica.de) |
| 22:32:49 | → | paddymahoney joins (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 22:34:24 | → | wroathe joins (~wroathe@mobile-166-175-56-95.mycingular.net) |
| 22:34:24 | × | wroathe quits (~wroathe@mobile-166-175-56-95.mycingular.net) (Changing host) |
| 22:34:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:35:27 | Inst_ | is now known as Inst |
| 22:39:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 22:39:14 | → | sprout joins (~quassel@2a02-a448-3a80-0-a848-29f8-5180-8beb.fixed6.kpn.net) |
| 22:45:44 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 22:45:56 | → | neuroevolutus joins (~neuroevol@37.19.200.148) |
| 22:50:47 | × | neuroevolutus quits (~neuroevol@37.19.200.148) (Ping timeout: 256 seconds) |
| 22:55:33 | × | sawilagar_ quits (~sawilagar@user/sawilagar) (Ping timeout: 258 seconds) |
| 22:59:40 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 23:00:34 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 23:06:03 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 23:07:01 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 23:11:16 | × | acidjnk quits (~acidjnk@p200300d6e72cfb8829a89a20b1ea13d1.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:13:07 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:14:01 | → | acidjnk joins (~acidjnk@p200300d6e72cfb8829a89a20b1ea13d1.dip0.t-ipconnect.de) |
| 23:14:43 | × | euleritian quits (~euleritia@dynamic-176-006-141-066.176.6.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 23:15:52 | → | euleritian joins (~euleritia@dynamic-176-000-011-156.176.0.pool.telefonica.de) |
| 23:18:53 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 23:21:37 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 23:22:55 | × | euleritian quits (~euleritia@dynamic-176-000-011-156.176.0.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 23:26:37 | → | euleritian joins (~euleritia@dynamic-176-001-002-119.176.1.pool.telefonica.de) |
| 23:27:31 | → | wroathe joins (~wroathe@mobile-166-175-56-95.mycingular.net) |
| 23:27:31 | × | wroathe quits (~wroathe@mobile-166-175-56-95.mycingular.net) (Changing host) |
| 23:27:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:27:54 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 23:30:18 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 23:30:51 | × | dom0 quits (~u0_a141@31.4.183.247) (Quit: WeeChat 4.3.6) |
| 23:34:52 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 23:42:59 | × | euleritian quits (~euleritia@dynamic-176-001-002-119.176.1.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 23:43:27 | → | euleritian joins (~euleritia@dynamic-176-003-014-184.176.3.pool.telefonica.de) |
| 23:44:14 | → | wroathe joins (~wroathe@mobile-166-175-56-95.mycingular.net) |
| 23:44:14 | × | wroathe quits (~wroathe@mobile-166-175-56-95.mycingular.net) (Changing host) |
| 23:44:14 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:56:05 | × | euleritian quits (~euleritia@dynamic-176-003-014-184.176.3.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 23:56:25 | → | euleritian joins (~euleritia@dynamic-176-001-213-169.176.1.pool.telefonica.de) |
| 23:57:02 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 272 seconds) |
All times are in UTC on 2024-08-16.