IRCBrowse

2022/01/02

2022-01-02 00:01:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:01:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:03:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:03:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2022-01-02 00:04:12 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 00:04:16 +0100ss4(~wootehfoo@user/wootehfoot)
2022-01-02 00:05:31 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:05:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:05:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-01-02 00:05:59 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-01-02 00:05:59 +0100finn_elijaFinnElija
2022-01-02 00:06:02 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
2022-01-02 00:06:43 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-01-02 00:07:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:07:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:08:17 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-02 00:09:11 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-02 00:09:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:10:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:10:40 +0100ss4(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-01-02 00:11:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:11:47 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-01-02 00:12:03 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:12:08 +0100ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2022-01-02 00:12:18 +0100ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2022-01-02 00:13:29 +0100ankhersAnkhers
2022-01-02 00:13:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:13:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 00:13:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 00:13:43 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 00:14:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:14:53 +0100Erutuon(~Erutuon@user/erutuon)
2022-01-02 00:15:22 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-01-02 00:15:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:16:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:17:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:18:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:18:17 +0100kitzman(~kitzman@user/dekenevs)
2022-01-02 00:19:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:20:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:20:13 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 250 seconds)
2022-01-02 00:20:29 +0100 <kitzman> new haskeller here, mainly for giggles; what i'm currently trying to achieve: create a sum type, and a "class C a", and then create instances for each member of the sum type. however - I don't think A "S = A | B" is considered a type.. or is it?
2022-01-02 00:21:35 +0100 <geekosaur> if you mean `data S = A | B`, S is a type and A and B are (data) constructors
2022-01-02 00:21:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:21:49 +0100 <geekosaur> not so different form `data Bool = False | True`
2022-01-02 00:21:53 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-01-02 00:22:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:22:34 +0100 <kitzman> I see, so I have to create separate types.
2022-01-02 00:22:34 +0100 <geekosaur> I would alos question why you want a typeclass, but we'll address that when we get to it
2022-01-02 00:22:50 +0100cheater(~Username@user/cheater) (Remote host closed the connection)
2022-01-02 00:23:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:23:53 +0100 <kitzman> hmm, I'm thinking of creating, for example a "HealthService", which would have instances for each libvirt provider (qemu, xen, etc).
2022-01-02 00:24:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:24:09 +0100 <kitzman> i think it might be the wrong way to approach the problem, though
2022-01-02 00:25:07 +0100 <kitzman> (i.e: "instance HealthService QemuProvider etc")
2022-01-02 00:25:14 +0100 <geekosaur> that's not generally how we do things in Haskell
2022-01-02 00:25:24 +0100retroid_(~retro@05412d78.skybroadband.com)
2022-01-02 00:25:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:25:49 +0100 <geekosaur> more likely it'd be data HealthService = Qemu whatever | Xen whatever | ...
2022-01-02 00:26:15 +0100 <geekosaur> typeclasses are used when you have conceptually similar operations that do different things on different types
2022-01-02 00:26:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:26:55 +0100_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2))
2022-01-02 00:27:09 +0100 <geekosaur> so for example we have `Functor`, which provides an operation `fmap`. What this actually does depends on the instance, but it is always conceptually mapping some operation over that type
2022-01-02 00:27:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:28:10 +0100 <geekosaur> for lists, fmap is map. for Maybe, if the value is Just something then fmap applies the operation to something and wraps it in another Just; it does nothing for Nothing
2022-01-02 00:28:13 +0100 <geekosaur> and so on
2022-01-02 00:28:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:29:01 +0100retro_(~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds)
2022-01-02 00:29:37 +0100 <geekosaur> there are times when this is appropriate for what you're describing, but usually they're not similar enough and when they are a simple record of functions is often preferable
2022-01-02 00:29:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:29:55 +0100 <geekosaur> (typeclasses are not OOP classes, in short)
2022-01-02 00:29:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-02 00:30:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:30:55 +0100AlexNoo_(~AlexNoo@94.233.241.107)
2022-01-02 00:31:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:31:58 +0100 <kitzman> alright, i understand. i'll play a bit more with it. currently thinking of cases in which typeclasses would be more appropriate (so then I know when and when not to use them)
2022-01-02 00:32:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:32:26 +0100 <geekosaur> take a look at https://wiki.haskell.org/Typeclassopedia
2022-01-02 00:32:43 +0100Alex_test(~al_test@94.233.241.181) (Ping timeout: 268 seconds)
2022-01-02 00:33:09 +0100 <geekosaur> it shows what the basic Haskell libraries do with typeclasses, which is a pretty good indication of what they're good for
2022-01-02 00:33:10 +0100 <kitzman> i could have for example "class Persistable a" and then depending on a, choose how I can persist things
2022-01-02 00:33:16 +0100cheater(~Username@user/cheater)
2022-01-02 00:33:16 +0100 <kitzman> nice, thank you
2022-01-02 00:33:25 +0100 <kitzman> (couldn't come up with a better example yet)
2022-01-02 00:33:42 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-01-02 00:33:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:34:17 +0100AlexNoo(~AlexNoo@94.233.241.181) (Ping timeout: 240 seconds)
2022-01-02 00:34:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:34:29 +0100AlexZenon(~alzenon@94.233.241.181) (Ping timeout: 256 seconds)
2022-01-02 00:36:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:36:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:37:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 00:37:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 00:37:40 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 00:38:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:38:24 +0100Alex_test(~al_test@94.233.241.107)
2022-01-02 00:38:26 +0100AlexZenon(~alzenon@94.233.241.107)
2022-01-02 00:38:29 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:39:53 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 00:40:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:40:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:41:46 +0100max22-(~maxime@2a01cb0883359800767a96b77d5018f7.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2022-01-02 00:42:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:42:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:43:57 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-02 00:44:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:44:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:46:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:46:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:48:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:48:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:48:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 00:49:49 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 00:50:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:50:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:52:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:52:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:54:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:54:48 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:56:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:56:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:58:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 00:58:42 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-02 00:58:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 00:59:05 +0100 <EvanR> kitzman, what's the API for Persistable, curious
2022-01-02 01:00:26 +0100 <kitzman> when i came up with this example, i was thinking that certain records would be persisted in unique different ways (which is almost never the case)
2022-01-02 01:00:26 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:00:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:01:18 +0100 <kitzman> maybe a better example would be using typeclasses to encode an interpreted language
2022-01-02 01:01:32 +0100 <kitzman> (actions on it , at least)
2022-01-02 01:01:55 +0100 <EvanR> if you are just thinking of records, and "persisting" is basically the same for anything, that's where you could use Generics
2022-01-02 01:02:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:02:53 +0100 <geekosaur> actually a DSL is better for an interpreted language. conceivably a typeclass could be used to represent common operations over multiple interpreted languages, though
2022-01-02 01:02:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:03:57 +0100cosimone(~user@93-34-132-88.ip49.fastwebnet.it) (Ping timeout: 256 seconds)
2022-01-02 01:04:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:04:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:04:58 +0100 <EvanR> by using what fits best for a given task, I somehow ended up NOT using personal custom type classes very much
2022-01-02 01:05:09 +0100 <EvanR> or at all
2022-01-02 01:06:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:06:38 +0100xb0o2(~xb0o2@user/xb0o2) (Quit: Client closed)
2022-01-02 01:06:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:07:31 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-01-02 01:08:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:09:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:09:06 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (Quit: Leaving.)
2022-01-02 01:09:16 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-02 01:10:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:11:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:12:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:13:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:14:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2022-01-02 01:14:54 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2022-01-02 01:15:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2022-01-02 01:20:10 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-01-02 01:23:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-02 01:24:55 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 01:31:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-01-02 01:41:59 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 01:48:52 +0100nosewings(~ngpc@2603-8081-3e05-e2d0-bcef-bc02-9532-fb4a.res6.spectrum.com)
2022-01-02 01:54:02 +0100nosewings(~ngpc@2603-8081-3e05-e2d0-bcef-bc02-9532-fb4a.res6.spectrum.com) (Remote host closed the connection)
2022-01-02 01:58:49 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 02:00:02 +0100acidjnk(~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-01-02 02:00:02 +0100acidjnk_new(~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-01-02 02:09:04 +0100Everything(~Everythin@37.115.210.35)
2022-01-02 02:10:12 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2022-01-02 02:10:47 +0100vysn(~vysn@user/vysn)
2022-01-02 02:11:54 +0100biog(~user1@159.224.42.85)
2022-01-02 02:13:29 +0100phma(phma@2001:5b0:215a:ce38:5375:14ef:75:984) (Read error: Connection reset by peer)
2022-01-02 02:15:30 +0100phma(phma@2001:5b0:215a:cfa8:5497:ca5d:85ad:7b15)
2022-01-02 02:20:08 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
2022-01-02 02:20:58 +0100ensyde(~ensyde@2600:1702:2e30:1a40:4497:36a6:1605:364c)
2022-01-02 02:21:05 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2022-01-02 02:22:54 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds)
2022-01-02 02:29:09 +0100gamara(~gamara3@66-203-186-197.ded.execulink.com)
2022-01-02 02:30:13 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2022-01-02 02:40:38 +0100gamara(~gamara3@66-203-186-197.ded.execulink.com) (Remote host closed the connection)
2022-01-02 02:42:40 +0100pragma-(~chaos@user/pragmatic-chaos) (Quit: Bye!)
2022-01-02 02:44:49 +0100motherfsck(~motherfsc@user/motherfsck)
2022-01-02 02:44:53 +0100 <qrpnxz> no data.ix instance for clong :((((
2022-01-02 02:44:56 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-01-02 02:48:11 +0100 <EvanR> no PrintfArg instance for CInt xD
2022-01-02 02:48:50 +0100pragma-(~chaos@user/pragmatic-chaos)
2022-01-02 02:50:55 +0100 <qrpnxz> rip
2022-01-02 02:52:05 +0100 <qrpnxz> Ix maps to Int so no point in using CLong i guess. I'll just convert to Int
2022-01-02 02:56:04 +0100vysn(~vysn@user/vysn) (Remote host closed the connection)
2022-01-02 03:03:08 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 03:19:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 03:19:59 +0100 <qrpnxz> is there a way to get a (`Ptr a`) from an `a`? I'm trying to use FFI on a function that takes a `const *` and I'd like to use it without having to introduce `IO` with `alloca` and i doubt unsafePerformIO is appropriate in this case.
2022-01-02 03:20:13 +0100biog(~user1@159.224.42.85) (Quit: ZZZzzz…)
2022-01-02 03:20:37 +0100 <EvanR> the issue would be if `a' lives in the haskell heap
2022-01-02 03:20:59 +0100 <EvanR> passing a pointer to it, when the gc may move it from under you, doesn't make sense
2022-01-02 03:21:00 +0100 <qrpnxz> it does indeed
2022-01-02 03:21:08 +0100 <qrpnxz> ah right
2022-01-02 03:21:18 +0100 <EvanR> you might want to make a Storable copy of it
2022-01-02 03:21:31 +0100califax-(~califax@user/califx)
2022-01-02 03:21:34 +0100 <qrpnxz> `a` is indeed storable in this case
2022-01-02 03:21:42 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-01-02 03:21:42 +0100 <EvanR> this is where alloca comes in
2022-01-02 03:21:48 +0100 <qrpnxz> so right no i do alloca and poke it yes
2022-01-02 03:21:51 +0100 <qrpnxz> *now
2022-01-02 03:22:20 +0100 <qrpnxz> bit sad it puts me in IO land for what should be pure tho
2022-01-02 03:22:37 +0100mbuf(~Shakthi@122.178.240.169)
2022-01-02 03:22:53 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-01-02 03:23:42 +0100 <qrpnxz> maybe unsafePerformIO will be good, just gotta make sure ik it's okay
2022-01-02 03:23:56 +0100 <EvanR> https://hackage.haskell.org/package/base-4.15.0.0/docs/Foreign-Marshal-Unsafe.html
2022-01-02 03:24:32 +0100 <qrpnxz> OHHH
2022-01-02 03:24:35 +0100 <qrpnxz> awesome
2022-01-02 03:24:41 +0100 <EvanR> if you're sure what you're doing is pure
2022-01-02 03:25:09 +0100 <EvanR> storing something in an alloca is one thing, but then what
2022-01-02 03:25:21 +0100califax(~califax@user/califx) (Ping timeout: 276 seconds)
2022-01-02 03:25:22 +0100califax-califax
2022-01-02 03:25:42 +0100 <qrpnxz> it's pure for sure thanks a lot
2022-01-02 03:33:28 +0100 <EvanR> also, you can pass a pointer to ByteStrings data because it lives in pinned memory
2022-01-02 03:35:41 +0100 <EvanR> data ByteString = BS !(ForeignPtr Word8) !Int
2022-01-02 03:40:04 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 03:40:36 +0100burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk)
2022-01-02 03:40:55 +0100xff0x_(~xff0x@port-92-193-207-83.dynamic.as20676.net) (Ping timeout: 256 seconds)
2022-01-02 03:41:57 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2022-01-02 03:42:50 +0100xff0x_(~xff0x@2001:1a81:5335:ab00:da9:8e78:1998:fd14)
2022-01-02 03:44:05 +0100Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.)
2022-01-02 03:44:56 +0100burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 245 seconds)
2022-01-02 03:48:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-01-02 03:51:59 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2022-01-02 03:52:22 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2022-01-02 03:52:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 03:53:37 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2022-01-02 03:55:34 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-01-02 03:56:00 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-01-02 03:59:25 +0100finalti[m](~finaltima@2001:470:69fc:105::d909) (Ping timeout: 240 seconds)
2022-01-02 03:59:25 +0100Nate[m]12(~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 240 seconds)
2022-01-02 03:59:25 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11) (Ping timeout: 240 seconds)
2022-01-02 03:59:25 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 240 seconds)
2022-01-02 03:59:25 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 240 seconds)
2022-01-02 03:59:25 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 240 seconds)
2022-01-02 03:59:49 +0100mrkajetanp(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (Ping timeout: 240 seconds)
2022-01-02 04:00:08 +0100gaff(~gaff@49.207.220.89)
2022-01-02 04:00:13 +0100Arathorn(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 240 seconds)
2022-01-02 04:01:09 +0100otherwise(~otherwise@2601:602:880:90f0:40ea:46b1:43b:9b4a)
2022-01-02 04:01:41 +0100mrkajetanp(~mrkajetan@88.98.245.28)
2022-01-02 04:01:49 +0100cherryblossom[m](~cherryblo@2001:470:69fc:105::b789) (Ping timeout: 240 seconds)
2022-01-02 04:01:49 +0100alex[m]1(~alexchete@2001:470:69fc:105::1:1001) (Ping timeout: 240 seconds)
2022-01-02 04:01:49 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082) (Ping timeout: 240 seconds)
2022-01-02 04:01:49 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Ping timeout: 240 seconds)
2022-01-02 04:01:49 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (Ping timeout: 240 seconds)
2022-01-02 04:01:49 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f) (Ping timeout: 240 seconds)
2022-01-02 04:03:33 +0100Nate[m]12(~m52957mat@2001:470:69fc:105::1:591a)
2022-01-02 04:03:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-01-02 04:03:37 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-02 04:03:37 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11)
2022-01-02 04:03:47 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2022-01-02 04:06:25 +0100cherryblossom[m](~cherryblo@2001:470:69fc:105::b789)
2022-01-02 04:09:01 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2022-01-02 04:10:47 +0100berberman_(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2022-01-02 04:11:07 +0100berberman(~berberman@user/berberman)
2022-01-02 04:12:05 +0100td_(~td@muedsl-82-207-238-133.citykom.de) (Ping timeout: 256 seconds)
2022-01-02 04:12:18 +0100td_(~td@muedsl-82-207-238-133.citykom.de)
2022-01-02 04:13:05 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2022-01-02 04:13:08 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2022-01-02 04:13:54 +0100finalti[m](~finaltima@2001:470:69fc:105::d909)
2022-01-02 04:14:04 +0100Arathorn(~arathorn@2001:470:69fc:105::1f)
2022-01-02 04:14:07 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-01-02 04:14:56 +0100kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 04:14:57 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2022-01-02 04:15:12 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2022-01-02 04:16:01 +0100alex[m]1(~alexchete@2001:470:69fc:105::1:1001)
2022-01-02 04:16:04 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2022-01-02 04:16:07 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f)
2022-01-02 04:16:50 +0100Keriel(~Keriel@bras-base-toroon474qw-grc-71-184-145-2-133.dsl.bell.ca) (Remote host closed the connection)
2022-01-02 04:17:17 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-01-02 04:17:18 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2022-01-02 04:20:14 +0100Feuermagier_(~Feuermagi@213.178.26.41)
2022-01-02 04:22:51 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds)
2022-01-02 04:30:21 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2022-01-02 04:30:27 +0100sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds)
2022-01-02 04:32:30 +0100vysn(~vysn@user/vysn)
2022-01-02 04:35:11 +0100Feuermagier_(~Feuermagi@213.178.26.41) (Quit: Leaving)
2022-01-02 04:35:21 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-01-02 04:42:58 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-01-02 04:43:00 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 04:48:01 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 268 seconds)
2022-01-02 04:48:02 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-01-02 04:48:02 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-01-02 04:48:02 +0100finn_elijaFinnElija
2022-01-02 04:49:23 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-01-02 04:49:45 +0100gentauro(~gentauro@user/gentauro)
2022-01-02 04:52:14 +0100td_(~td@muedsl-82-207-238-133.citykom.de) (Ping timeout: 260 seconds)
2022-01-02 04:54:05 +0100td_(~td@muedsl-82-207-238-078.citykom.de)
2022-01-02 05:07:19 +0100Erutuon(~Erutuon@user/erutuon)
2022-01-02 05:16:15 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 05:20:15 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-01-02 05:21:01 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 05:26:57 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2022-01-02 05:27:33 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 05:33:38 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 05:37:57 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 05:45:23 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 05:45:27 +0100deadmarshal(~deadmarsh@95.38.115.228)
2022-01-02 05:45:30 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-01-02 05:50:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 05:51:12 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2022-01-02 06:00:54 +0100uam(uid360535@id-360535.hampstead.irccloud.com)
2022-01-02 06:06:11 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2022-01-02 06:06:36 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 06:11:25 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 06:11:46 +0100InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Read error: Connection reset by peer)
2022-01-02 06:12:01 +0100xff0x_(~xff0x@2001:1a81:5335:ab00:da9:8e78:1998:fd14) (Ping timeout: 245 seconds)
2022-01-02 06:13:02 +0100xff0x_(~xff0x@2001:1a81:5335:ab00:1f30:28de:21bc:381)
2022-01-02 06:14:44 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 06:14:44 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 06:14:44 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 06:16:30 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-01-02 06:16:46 +0100juhp(~juhp@128.106.188.82)
2022-01-02 06:19:35 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-02 06:21:16 +0100searemind(~u0_a1148@122.161.51.168)
2022-01-02 06:23:07 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 06:23:11 +0100searemind(~u0_a1148@122.161.51.168) (Client Quit)
2022-01-02 06:23:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 06:27:37 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 06:30:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-02 06:41:04 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2022-01-02 06:41:06 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 06:41:06 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 06:41:06 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 06:45:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 06:46:24 +0100hexology(~hexology@user/hexology) (Quit: hex on you ...)
2022-01-02 06:48:33 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 06:53:12 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2022-01-02 06:58:58 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 07:04:27 +0100otherwise(~otherwise@2601:602:880:90f0:40ea:46b1:43b:9b4a) (Remote host closed the connection)
2022-01-02 07:05:32 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 268 seconds)
2022-01-02 07:13:24 +0100otherwise(~otherwise@2601:602:880:90f0:41f1:8bd4:6719:bbb3)
2022-01-02 07:17:37 +0100otherwise(~otherwise@2601:602:880:90f0:41f1:8bd4:6719:bbb3) (Ping timeout: 240 seconds)
2022-01-02 07:23:37 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-01-02 07:23:55 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2022-01-02 07:30:16 +0100bliminse_(~bliminse@host86-186-17-7.range86-186.btcentralplus.com) (Quit: leaving)
2022-01-02 07:34:58 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 07:37:22 +0100bliminse(~bliminse@host86-186-17-7.range86-186.btcentralplus.com)
2022-01-02 07:39:37 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 07:43:49 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 07:45:43 +0100kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2022-01-02 07:48:03 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 07:48:14 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-01-02 07:48:32 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-01-02 07:48:46 +0100Guest1(~Guest1@89-64-60-196.dynamic.chello.pl)
2022-01-02 07:49:29 +0100otherwise(~otherwise@2601:602:880:90f0:6cd6:9b3a:8e6a:baf6)
2022-01-02 07:50:02 +0100Guest1(~Guest1@89-64-60-196.dynamic.chello.pl) (Client Quit)
2022-01-02 07:50:04 +0100zaquest(~notzaques@5.130.79.72)
2022-01-02 07:53:37 +0100otherwise(~otherwise@2601:602:880:90f0:6cd6:9b3a:8e6a:baf6) (Ping timeout: 240 seconds)
2022-01-02 07:57:10 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-01-02 07:57:41 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-01-02 08:08:29 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 08:08:56 +0100sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot)
2022-01-02 08:13:01 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 08:16:17 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-02 08:17:04 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 08:20:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 08:21:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-02 08:27:11 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 08:27:37 +0100dsrt^(~dsrt@207.5.21.20)
2022-01-02 08:28:12 +0100Jing(~hedgehog@2604:a840:3::1013)
2022-01-02 08:31:52 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 268 seconds)
2022-01-02 08:34:55 +0100vglfr(~vglfr@88.155.60.141) (Remote host closed the connection)
2022-01-02 08:35:05 +0100hexology(~hexology@user/hexology)
2022-01-02 08:36:04 +0100analognoise(~analognoi@185.216.74.148)
2022-01-02 08:38:34 +0100xkuru(~xkuru@user/xkuru)
2022-01-02 08:41:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 08:41:53 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 08:41:53 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 08:43:56 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 08:44:39 +0100nhatanh02(~satori@123.24.172.30)
2022-01-02 08:46:10 +0100vglfr(~vglfr@88.155.60.141)
2022-01-02 08:46:55 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-02 08:48:17 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 08:49:46 +0100 <qrpnxz> if i ccall export a function and I replace CInt in the type with Word8, it compiles, but I don't know if this is going to lead to undefined behaviour or how exactly it is doing the conversion
2022-01-02 08:55:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 08:57:02 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 08:57:21 +0100xdej_xdej
2022-01-02 08:59:15 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 08:59:16 +0100Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2022-01-02 09:03:10 +0100Jing(~hedgehog@2604:a840:3::1013)
2022-01-02 09:04:04 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 09:07:08 +0100coolnickname(uid531864@user/coolnickname)
2022-01-02 09:08:13 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-02 09:11:59 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-01-02 09:15:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 09:23:12 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 09:23:12 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 09:23:12 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 09:23:50 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-01-02 09:24:21 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-01-02 09:24:53 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2022-01-02 09:25:04 +0100Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2022-01-02 09:25:45 +0100Jing(~hedgehog@240e:390:7c53:a7e1:95fe:89a9:e964:2e47)
2022-01-02 09:27:49 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 09:29:37 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 240 seconds)
2022-01-02 09:29:37 +0100ensyde(~ensyde@2600:1702:2e30:1a40:4497:36a6:1605:364c) (Ping timeout: 240 seconds)
2022-01-02 09:34:42 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-01-02 09:39:13 +0100tafa(~tafa@user/tafa) (Quit: ZNC - https://znc.in)
2022-01-02 09:40:46 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-01-02 09:41:04 +0100tafa(~tafa@user/tafa)
2022-01-02 09:41:53 +0100analognoise(~analognoi@185.216.74.148) (Read error: Connection reset by peer)
2022-01-02 09:49:28 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2022-01-02 09:58:32 +0100spaceseller(~spacesell@31.147.205.13)
2022-01-02 09:58:36 +0100spaceseller_(~spacesell@31.147.205.13)
2022-01-02 10:00:09 +0100std_mutex[m](~stdmutexm@2001:470:69fc:105::1:4534) (Quit: You have been kicked for being idle)
2022-01-02 10:00:58 +0100phma(phma@2001:5b0:215a:cfa8:5497:ca5d:85ad:7b15) (Read error: Connection reset by peer)
2022-01-02 10:04:16 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 10:06:36 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection)
2022-01-02 10:06:45 +0100phma(phma@2001:5b0:210d:1438:cfd1:5ed2:55ba:b890)
2022-01-02 10:07:44 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2022-01-02 10:09:08 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 10:13:37 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds)
2022-01-02 10:16:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-01-02 10:16:54 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer)
2022-01-02 10:17:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-01-02 10:17:51 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-02 10:19:10 +0100psudosphere(~quassel@31.220.5.250) (Ping timeout: 268 seconds)
2022-01-02 10:22:28 +0100AlexNoo_AlexNoo
2022-01-02 10:30:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-02 10:33:22 +0100syrkis(~syrkis@189.122.124.214)
2022-01-02 10:34:26 +0100acidjnk(~acidjnk@p200300d0c7271e06a45b9223f0a48f45.dip0.t-ipconnect.de)
2022-01-02 10:34:26 +0100acidjnk_new(~acidjnk@p200300d0c7271e06a45b9223f0a48f45.dip0.t-ipconnect.de)
2022-01-02 10:34:29 +0100gehmehgeh(~user@user/gehmehgeh)
2022-01-02 10:37:09 +0100hyiltiz(~quassel@31.220.5.250)
2022-01-02 10:37:52 +0100spaceseller_(~spacesell@31.147.205.13) (Quit: Leaving)
2022-01-02 10:38:18 +0100spaceseller(~spacesell@31.147.205.13) (Quit: Leaving)
2022-01-02 10:38:35 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2022-01-02 10:39:23 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 10:40:25 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 10:45:37 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds)
2022-01-02 10:46:03 +0100vysn(~vysn@user/vysn)
2022-01-02 10:50:23 +0100uam(uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-01-02 10:53:36 +0100gaff(~gaff@49.207.220.89) (Remote host closed the connection)
2022-01-02 10:57:38 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 10:57:59 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-01-02 11:03:57 +0100jeffz`jeffz
2022-01-02 11:07:15 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 11:11:56 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2022-01-02 11:12:04 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 11:12:53 +0100nhatanh02(~satori@123.24.172.30)
2022-01-02 11:16:31 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-01-02 11:17:41 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-02 11:22:17 +0100kotshie_(~kotshie@68.72.208.140) (Ping timeout: 240 seconds)
2022-01-02 11:27:00 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2022-01-02 11:29:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2022-01-02 11:29:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-01-02 11:49:55 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 11:54:29 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-01-02 11:56:52 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 11:57:02 +0100Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi)
2022-01-02 11:57:35 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-01-02 12:00:49 +0100alx741(~alx741@157.100.93.160)
2022-01-02 12:01:29 +0100Bartol(~Bartol@user/Bartol)
2022-01-02 12:04:46 +0100ksqsf(~user@134.209.106.31)
2022-01-02 12:06:56 +0100biog(~user1@159.224.42.85)
2022-01-02 12:09:25 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-02 12:11:57 +0100xff0x_(~xff0x@2001:1a81:5335:ab00:1f30:28de:21bc:381) (Ping timeout: 240 seconds)
2022-01-02 12:12:27 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-01-02 12:13:13 +0100xff0x_(~xff0x@2001:1a81:5335:ab00:175a:eec8:110f:8c7e)
2022-01-02 12:14:47 +0100srk(~sorki@user/srk) (Ping timeout: 250 seconds)
2022-01-02 12:16:50 +0100mc47(~mc47@xmonad/TheMC47)
2022-01-02 12:18:16 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 12:19:30 +0100srk(~sorki@user/srk)
2022-01-02 12:20:44 +0100megaTherion(~therion@mail.euro-spare-parts.de)
2022-01-02 12:21:53 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 268 seconds)
2022-01-02 12:22:49 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-02 12:23:01 +0100megaTherion(~therion@mail.euro-spare-parts.de) (Client Quit)
2022-01-02 12:25:05 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 256 seconds)
2022-01-02 12:27:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 12:27:17 +0100vglfr(~vglfr@88.155.60.141) (Ping timeout: 240 seconds)
2022-01-02 12:27:39 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 12:32:23 +0100megaTherion(~therion@unix.io)
2022-01-02 12:33:01 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-01-02 12:33:35 +0100ksqsf(~user@134.209.106.31)
2022-01-02 12:34:10 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 12:35:51 +0100Bartol(~Bartol@user/Bartol) (Ping timeout: 256 seconds)
2022-01-02 12:36:01 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2022-01-02 12:38:17 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 240 seconds)
2022-01-02 12:47:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2022-01-02 12:48:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-01-02 12:52:02 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-02 12:53:22 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 12:55:16 +0100benin(~benin@183.82.178.161) (Quit: The Lounge - https://thelounge.chat)
2022-01-02 12:58:10 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-01-02 12:58:10 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-01-02 12:58:13 +0100allbery_bgeekosaur
2022-01-02 13:01:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 13:01:48 +0100vglfr(~vglfr@88.155.60.141)
2022-01-02 13:03:12 +0100biog(~user1@159.224.42.85) (Quit: ZZZzzz…)
2022-01-02 13:06:54 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 13:16:22 +0100biog(~user1@159.224.42.85)
2022-01-02 13:19:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d)
2022-01-02 13:27:02 +0100__monty__(~toonn@user/toonn)
2022-01-02 13:28:17 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 240 seconds)
2022-01-02 13:28:50 +0100_ht(~quassel@37.120.218.166)
2022-01-02 13:30:24 +0100 <tenniscp25> I made a simple program that monitors changes in a local directory and replicates new files to a Windows shared folder. The problem is that if I leave the program runs for a while (sometimes minutes, sometimes hours) the `copyFile` function (package: directory) throws the error below. Retrying only the copy operation with delays doesn't help. But restarting the program solves the error. Could you please sugges
2022-01-02 13:30:25 +0100 <tenniscp25> t what should I look into? Code snippet here: https://pastebin.com/f2tkiDu4
2022-01-02 13:30:25 +0100 <tenniscp25> \\10.1.2.84\...<non-latin-dir>...: copyFile:atomicCopyFileContents:withReplacementFile:openBinaryTempFile: invalid argument (Invalid argument)
2022-01-02 13:33:05 +0100_ht(~quassel@37.120.218.166) (Ping timeout: 256 seconds)
2022-01-02 13:33:14 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-02 13:33:31 +0100_ht(~quassel@37.120.218.149)
2022-01-02 13:33:48 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 13:34:10 +0100gaff(~gaff@49.207.225.80)
2022-01-02 13:35:25 +0100Bartol(~Bartol@user/Bartol)
2022-01-02 13:36:17 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 240 seconds)
2022-01-02 13:38:37 +0100_ht(~quassel@37.120.218.149) (Ping timeout: 240 seconds)
2022-01-02 13:39:15 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 13:39:17 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2022-01-02 13:39:25 +0100vglfr(~vglfr@88.155.60.141) (Ping timeout: 240 seconds)
2022-01-02 13:40:59 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-02 13:42:37 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 13:43:16 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 13:43:19 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 13:43:34 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 13:43:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:8d43:554e:d62c:915d) (Remote host closed the connection)
2022-01-02 13:46:59 +0100acidjnk_new(~acidjnk@p200300d0c7271e06a45b9223f0a48f45.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-01-02 13:46:59 +0100acidjnk(~acidjnk@p200300d0c7271e06a45b9223f0a48f45.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-01-02 13:47:20 +0100Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-01-02 13:48:43 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 13:51:49 +0100 <hpc> tenniscp25: when that error happens, what happens if you try copying the file from explorer?
2022-01-02 13:53:25 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-02 13:53:28 +0100duuude(~user@user/duuude)
2022-01-02 13:54:01 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 13:54:42 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 13:59:10 +0100Guest366(~Guest3@ec2-52-53-148-191.us-west-1.compute.amazonaws.com)
2022-01-02 14:01:54 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-02 14:07:02 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2022-01-02 14:09:22 +0100 <tenniscp25> hpc: gonna have to try that. currently it restarts itself immediately.
2022-01-02 14:09:28 +0100Guest366(~Guest3@ec2-52-53-148-191.us-west-1.compute.amazonaws.com) (Quit: Ping timeout (120 seconds))
2022-01-02 14:09:55 +0100Guest3(~Guest3@ec2-52-53-148-191.us-west-1.compute.amazonaws.com)
2022-01-02 14:11:26 +0100machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2022-01-02 14:12:19 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-02 14:12:35 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 14:16:37 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2022-01-02 14:18:55 +0100jlamothe(~jlamothe@198.251.61.229) (Ping timeout: 250 seconds)
2022-01-02 14:20:24 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 14:20:47 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2022-01-02 14:21:07 +0100Guest3(~Guest3@ec2-52-53-148-191.us-west-1.compute.amazonaws.com) (Ping timeout: 256 seconds)
2022-01-02 14:21:57 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
2022-01-02 14:22:45 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 268 seconds)
2022-01-02 14:23:05 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 14:25:13 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-01-02 14:25:27 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-02 14:28:06 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-02 14:36:56 +0100coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2022-01-02 14:40:48 +0100les`(~user@184.20.21.117)
2022-01-02 14:50:10 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 14:51:41 +0100DNH(~DNH@2a02:8108:1100:16d8:6115:63fc:fd59:a048)
2022-01-02 14:51:41 +0100DNH(~DNH@2a02:8108:1100:16d8:6115:63fc:fd59:a048) (Client Quit)
2022-01-02 14:53:27 +0100burnside_(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 14:53:29 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 14:53:35 +0100Rum(~bourbon@user/rum)
2022-01-02 14:57:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 14:59:17 +0100 <juri_> dear god, i hate this change in hspec. always displaying Doubles in rational form really messes with my head.
2022-01-02 15:01:46 +0100 <Hecate> :(
2022-01-02 15:01:46 +0100biog(~user1@159.224.42.85) (Quit: ZZZzzz…)
2022-01-02 15:05:02 +0100 <juri_> my 2D coordinate system requires me to be able to read three values, and convert that to "this line generally goes in the right direction". when all three values are in rational forms with different bases.. Ugh.
2022-01-02 15:05:50 +0100 <juri_> I didn't think you could make the serialization of my data more incomprehensible, but.. Good Job.
2022-01-02 15:10:40 +0100 <[exa]> juri_: you're testing Doubles for equality?
2022-01-02 15:10:47 +0100 <juri_> Yep.
2022-01-02 15:10:51 +0100 <juri_> unit tests.
2022-01-02 15:11:16 +0100 <[exa]> make some kind of approximate equality wrapper with a reasonable epsilon?
2022-01-02 15:11:52 +0100 <juri_> the problem is when i discover a bug in my program, and need to update the unit tests.
2022-01-02 15:12:05 +0100 <[exa]> testing with machine floats is never a good idea, you're usually testing the round-off errors..
2022-01-02 15:12:36 +0100 <geekosaur> which will be much worse if it's making oversized Rationals out of them
2022-01-02 15:12:40 +0100 <juri_> I used to be able to go "yeah, that changed", copy and paste the values from the test output, and call it a day.
2022-01-02 15:12:42 +0100 <[exa]> I guess some easy wrapper could be done that also makes the display reasonable
2022-01-02 15:13:11 +0100 <geekosaur> 3/2 becomes some 30-digit monstrosity
2022-01-02 15:13:24 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-01-02 15:13:37 +0100 <juri_> instead i have to either change all of my unit tests to use rationals so i can cut and paste (UGH!), or copy and paste the rational to ghci, then get the double from there, and copy and paste that back into my unit tests.
2022-01-02 15:14:33 +0100 <juri_> and worse, the "that changed for the better / worse" is now incomprehensible, because i USED to be able to convert the doubles to a rough ratio between them in my head, and know approximately what the structure it was defining meant.
2022-01-02 15:14:43 +0100 <juri_> now, the three rationals are three different bases.
2022-01-02 15:14:52 +0100 <juri_> this is literally giving me a headache.
2022-01-02 15:16:47 +0100xsperry(~xs@user/xsperry) (Remote host closed the connection)
2022-01-02 15:16:47 +0100 <[exa]> juri_: that's a common effect of testing floats for equality, you're not alone, don't worry :]
2022-01-02 15:18:57 +0100nhatanh02(~satori@123.24.172.30)
2022-01-02 15:19:19 +0100 <juri_> so, if you use unit tests, and doubles, you're supposed to just give up?
2022-01-02 15:19:22 +0100myme(~myme@40.51-175-185.customer.lyse.net) (Quit: WeeChat 3.1)
2022-01-02 15:20:19 +0100 <juri_> it was one thing when they were displayed in your test results. converting them to rationals is a real step backwards.
2022-01-02 15:23:25 +0100 <ksqsf> depending on your tolerance, you can check if two floats are "close enough"
2022-01-02 15:23:28 +0100Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2022-01-02 15:23:48 +0100myme(~myme@40.51-175-185.customer.lyse.net)
2022-01-02 15:23:52 +0100 <juri_> that's not my problem, tho.
2022-01-02 15:23:53 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 15:24:08 +0100 <juri_> I'm trying to effectively update golden tests.
2022-01-02 15:24:16 +0100neurocyte0132889(~neurocyte@IP-185117068002.dynamic.medianet-world.de)
2022-01-02 15:24:16 +0100neurocyte0132889(~neurocyte@IP-185117068002.dynamic.medianet-world.de) (Changing host)
2022-01-02 15:24:16 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2022-01-02 15:24:22 +0100 <juri_> (if i understand the lingo properly. :)
2022-01-02 15:24:37 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 240 seconds)
2022-01-02 15:25:15 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 15:25:33 +0100 <juri_> only from my understanding, golden tests are only covering serialized output files.. and i don't have output file forms for these structures. they're intermediaries.
2022-01-02 15:26:04 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 15:27:00 +0100 <juri_> I handle 'doubles wiggle' in my property tests.
2022-01-02 15:29:01 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 15:30:23 +0100 <[exa]> juri_: not give up, but have a test method that has a fixed tolerance that isn't affected by machine precision, and can display the values "right"
2022-01-02 15:31:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-02 15:31:52 +0100 <[exa]> like, just make your `assertFloatsReasonablyEqual` by copying&modifying this: https://hackage.haskell.org/package/HUnit-1.6.2.0/docs/src/Test.HUnit.Lang.html#assertEqual
2022-01-02 15:31:52 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 15:31:52 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 15:31:52 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 15:32:15 +0100Vajb(~Vajb@2001:999:50:e6be:1e98:9376:d93e:4506) (Quit: Quit)
2022-01-02 15:33:30 +0100 <[exa]> (btw. how come you're magically getting rationals in the messages when there's just `show` in the implementation?)
2022-01-02 15:33:37 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-01-02 15:34:14 +0100 <geekosaur> that's exactly what they're complaining about, it's apparently a recent change in hspec
2022-01-02 15:34:29 +0100Vajb(~Vajb@2001:999:50:e6be:1e98:9376:d93e:4506)
2022-01-02 15:34:48 +0100 <[exa]> uuh yeah I'm looking at the wrong package, sorry. :D
2022-01-02 15:35:54 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 15:37:19 +0100SummerSonw(~The_viole@203.77.49.232)
2022-01-02 15:37:26 +0100 <juri_> Exa: perhaps some code could clear up what i'm talking about. https://github.com/Haskell-Things/HSlice/blob/master/tests/Math/PGA.hs
2022-01-02 15:38:44 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-01-02 15:39:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-01-02 15:39:30 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 15:39:43 +0100max22-(~maxime@2a01cb0883359800e29324577334a636.ipv6.abo.wanadoo.fr)
2022-01-02 15:39:57 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 15:40:01 +0100 <[exa]> juri_: I guess that e.g. line 487 is a possible culprit right?
2022-01-02 15:40:24 +0100 <juri_> this is my application's test suite. as you can see, some of the structures are quite big. on line 1379, i've found out i've been calculating the INodeSet in there wrong, and need to update the values.
2022-01-02 15:40:52 +0100 <juri_> but, now that i've fixed the function, i need to update the doubles.. which are being given to me by hspec in rational form!
2022-01-02 15:41:53 +0100 <juri_> believe it or not, all of the property tests are fine.
2022-01-02 15:42:04 +0100fef(~thedawn@user/thedawn)
2022-01-02 15:42:11 +0100Rum(~bourbon@user/rum) (Quit: WeeChat 3.4)
2022-01-02 15:42:26 +0100 <juri_> because the doubles are all predictably off. :)
2022-01-02 15:42:37 +0100burnside_(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 15:48:59 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 15:49:26 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 15:50:11 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 15:50:24 +0100SummerSonw(~The_viole@203.77.49.232) (Quit: Leaving)
2022-01-02 15:50:39 +0100 <[exa]> juri_: well the 1.0000000000000002 there are scary. :D
2022-01-02 15:51:42 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 15:52:13 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 15:52:30 +0100 <juri_> [exa]: yeah, my code is in a pretty scary part of geometry. it's made even scarier by use of double precision.
2022-01-02 15:52:55 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 15:53:15 +0100 <juri_> I have at least one math paper to write based on this code. "when covid is over", my presentations will be epic. :)
2022-01-02 15:53:24 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-01-02 15:54:45 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-02 15:55:57 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-01-02 15:57:22 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 15:57:27 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-01-02 16:00:06 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Remote host closed the connection)
2022-01-02 16:00:27 +0100biog(~user1@159.224.42.85)
2022-01-02 16:00:41 +0100tenniscp25(~tenniscp2@2001:fb1:fe:1e0c:30fc:64ce:5a45:f32d)
2022-01-02 16:01:10 +0100coolnickname(uid531864@user/coolnickname)
2022-01-02 16:01:33 +0100Henson(~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2022-01-02 16:03:20 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 16:03:37 +0100tenniscp25(~tenniscp2@2001:fb1:fe:1e0c:30fc:64ce:5a45:f32d) (Remote host closed the connection)
2022-01-02 16:04:15 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 16:07:47 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-01-02 16:08:56 +0100neurocyte0132889neurocyte
2022-01-02 16:09:25 +0100bgamari(~bgamari@64.223.235.131) (Ping timeout: 240 seconds)
2022-01-02 16:10:35 +0100bgamari(~bgamari@2001:470:e438::1)
2022-01-02 16:12:09 +0100dsrt^(~dsrt@207.5.21.20) (Remote host closed the connection)
2022-01-02 16:14:26 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-01-02 16:16:59 +0100xsperry(~xs@user/xsperry)
2022-01-02 16:17:57 +0100ksqsf(~user@134.209.106.31)
2022-01-02 16:18:03 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-01-02 16:18:27 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-01-02 16:20:48 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 16:21:05 +0100notzmv(~zmv@user/notzmv) (Read error: Connection reset by peer)
2022-01-02 16:21:54 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 16:22:10 +0100gentauro(~gentauro@user/gentauro) (Quit: leaving)
2022-01-02 16:23:01 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 16:25:21 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2022-01-02 16:25:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-01-02 16:29:01 +0100neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 240 seconds)
2022-01-02 16:29:02 +0100neurocyte4(~neurocyte@IP-185117068002.dynamic.medianet-world.de)
2022-01-02 16:29:02 +0100neurocyte4(~neurocyte@IP-185117068002.dynamic.medianet-world.de) (Changing host)
2022-01-02 16:29:02 +0100neurocyte4(~neurocyte@user/neurocyte)
2022-01-02 16:29:20 +0100les`(~user@184.20.21.117) (Read error: Connection reset by peer)
2022-01-02 16:35:18 +0100zer0bitz(~zer0bitz@196.244.192.57)
2022-01-02 16:36:12 +0100alx741(~alx741@157.100.93.160) (Quit: alx741)
2022-01-02 16:36:26 +0100ksqsf(~user@134.209.106.31)
2022-01-02 16:36:41 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 16:38:05 +0100alx741(~alx741@157.100.93.160)
2022-01-02 16:41:13 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 256 seconds)
2022-01-02 16:43:17 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 240 seconds)
2022-01-02 16:45:01 +0100gentauro(~gentauro@user/gentauro)
2022-01-02 16:47:04 +0100notzmv(~zmv@user/notzmv)
2022-01-02 16:48:08 +0100bgamari_(~bgamari@70.16.106.234)
2022-01-02 16:48:13 +0100bgamari(~bgamari@2001:470:e438::1) (Ping timeout: 240 seconds)
2022-01-02 16:53:01 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-01-02 16:53:03 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2022-01-02 16:54:45 +0100sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net)
2022-01-02 16:54:51 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-01-02 17:02:37 +0100syrkis(~syrkis@189.122.124.214) (Ping timeout: 256 seconds)
2022-01-02 17:04:31 +0100kenran(~kenran@2001:16b8:2b2c:e700:5566:4d6d:7b30:6bf3)
2022-01-02 17:06:13 +0100bgamari_(~bgamari@70.16.106.234) (Ping timeout: 240 seconds)
2022-01-02 17:10:40 +0100bgamari(~bgamari@2001:470:e438::1)
2022-01-02 17:12:56 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2022-01-02 17:13:50 +0100ksqsf(~user@134.209.106.31)
2022-01-02 17:17:29 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2022-01-02 17:18:32 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 17:21:29 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 17:22:08 +0100gaff(~gaff@49.207.225.80) (Remote host closed the connection)
2022-01-02 17:24:41 +0100gaff(~gaff@49.207.225.80)
2022-01-02 17:25:01 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-01-02 17:28:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 17:31:48 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Remote host closed the connection)
2022-01-02 17:33:50 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 17:33:50 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 17:33:50 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 17:34:14 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 17:36:01 +0100mbuf(~Shakthi@122.178.240.169) (Quit: Leaving)
2022-01-02 17:36:42 +0100biog(~user1@159.224.42.85) (Quit: ZZZzzz…)
2022-01-02 17:37:02 +0100lechner_lechner
2022-01-02 17:39:25 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Remote host closed the connection)
2022-01-02 17:41:46 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2022-01-02 17:47:01 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 17:49:12 +0100nunggu(~q@gateway/tor-sasl/nunggu) (Ping timeout: 276 seconds)
2022-01-02 17:49:19 +0100stevenxl(~stevenxl@174.128.182.103)
2022-01-02 17:50:55 +0100nunggu(~q@gateway/tor-sasl/nunggu)
2022-01-02 17:55:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 17:55:40 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 17:55:40 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 18:00:26 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-01-02 18:02:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2022-01-02 18:05:21 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-01-02 18:06:34 +0100 <juri_> hmm. guess it's time to ditch unit tests. this is just too burdensome. I think i'll take the opportunity to move these to golden tests instead.
2022-01-02 18:07:57 +0100ksqsf(~user@134.209.106.31)
2022-01-02 18:08:37 +0100duuude(~user@user/duuude) (Ping timeout: 240 seconds)
2022-01-02 18:08:45 +0100 <[exa]> juri_: I like that direction. :]
2022-01-02 18:08:56 +0100duuude(~user@user/duuude)
2022-01-02 18:09:23 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 18:09:23 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 18:09:23 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 18:09:49 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2022-01-02 18:09:56 +0100zmt00(~zmt00@user/zmt00)
2022-01-02 18:11:10 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 18:12:37 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 18:13:34 +0100 <juri_> [exa]: I don't. it means i need file serialization operations for all of my data structures.
2022-01-02 18:14:59 +0100 <juri_> luckily i have that for most of them, due to providing a Ganja.hs 'escape hatch'. i have a series of functions that serialize these into objects written in javascript, that are viewable on a geometric algebra viewing website.
2022-01-02 18:17:09 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2022-01-02 18:18:39 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2022-01-02 18:19:34 +0100theproffesor(~theproffe@user/theproffesor) (Ping timeout: 260 seconds)
2022-01-02 18:19:46 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Remote host closed the connection)
2022-01-02 18:19:56 +0100econo(uid147250@user/econo)
2022-01-02 18:20:00 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2022-01-02 18:20:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2022-01-02 18:20:37 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2022-01-02 18:24:30 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-01-02 18:27:34 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2022-01-02 18:28:42 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-02 18:29:45 +0100gaff(~gaff@49.207.225.80) (Remote host closed the connection)
2022-01-02 18:35:27 +0100kjak_(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 250 seconds)
2022-01-02 18:36:11 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Remote host closed the connection)
2022-01-02 18:38:13 +0100Rum(~bourbon@user/rum)
2022-01-02 18:42:13 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 18:43:40 +0100simendsjo(~user@84.211.91.241)
2022-01-02 18:47:16 +0100simendsjo(~user@84.211.91.241) (Client Quit)
2022-01-02 18:47:25 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-01-02 18:47:57 +0100simendsjo(~user@84.211.91.241)
2022-01-02 18:50:23 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 18:52:12 +0100kotshie_(~kotshie@68.72.208.140)
2022-01-02 18:52:47 +0100kotshie_(~kotshie@68.72.208.140) (Client Quit)
2022-01-02 18:52:59 +0100simendsjo(~user@84.211.91.241) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.0.90))
2022-01-02 18:54:10 +0100simendsjo(~user@84.211.91.241)
2022-01-02 18:54:11 +0100biog(~user1@159.224.42.85)
2022-01-02 18:57:27 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-01-02 19:00:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 19:00:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 19:00:43 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 19:02:08 +0100ksqsf(~user@134.209.106.31)
2022-01-02 19:04:57 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2022-01-02 19:06:37 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 19:09:58 +0100theproffesor(~theproffe@2601:282:847f:8010::85ac)
2022-01-02 19:09:58 +0100theproffesor(~theproffe@2601:282:847f:8010::85ac) (Changing host)
2022-01-02 19:09:58 +0100theproffesor(~theproffe@user/theproffesor)
2022-01-02 19:11:38 +0100Jing(~hedgehog@240e:390:7c53:a7e1:95fe:89a9:e964:2e47) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-01-02 19:12:50 +0100 <EvanR> [exa], bad blanket advice, "never use float =="
2022-01-02 19:13:12 +0100 <EvanR> checking if two are exactly the same is exactly what it does (for not NaN)
2022-01-02 19:13:27 +0100xff0x_xff0x
2022-01-02 19:14:00 +0100 <EvanR> numeric problems require more context, and in some context randomly using an approximate equal to is incorrect
2022-01-02 19:14:56 +0100 <EvanR> in other cases, it turns 1 test case bug into 2 (when you're at the very boundary of the approximate equal to)
2022-01-02 19:18:45 +0100Rum(~bourbon@user/rum) (Quit: WeeChat 3.4)
2022-01-02 19:25:17 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 19:25:49 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 19:27:33 +0100otherwise(~otherwise@2601:602:880:90f0:7dc5:ac73:dd31:135e)
2022-01-02 19:29:14 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 19:30:55 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-01-02 19:33:25 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-01-02 19:33:33 +0100fef(~thedawn@user/thedawn)
2022-01-02 19:34:37 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 19:34:37 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 19:34:37 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 19:35:37 +0100vysn(~vysn@user/vysn)
2022-01-02 19:37:25 +0100duuude(~user@user/duuude) (Ping timeout: 240 seconds)
2022-01-02 19:38:45 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk)
2022-01-02 19:39:09 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-02 19:39:53 +0100duuude(~user@user/duuude)
2022-01-02 19:42:09 +0100alx741(~alx741@157.100.93.160)
2022-01-02 19:42:16 +0100Sgeo(~Sgeo@user/sgeo)
2022-01-02 19:42:30 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-01-02 19:42:41 +0100eflister(~eflister@2601:1c0:5501:c150:e86d:7316:8592:8dd3) (Quit: Client closed)
2022-01-02 19:44:37 +0100duuude(~user@user/duuude) (Ping timeout: 240 seconds)
2022-01-02 19:44:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-01-02 19:45:07 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-01-02 19:46:19 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-01-02 19:46:22 +0100 <Gurkenglas> It seems possible to recover x from ($x)::(A->())->() for every particular A but not forall A. Does this phenomenon have a name?
2022-01-02 19:46:40 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 19:47:44 +0100duuude(~user@user/duuude)
2022-01-02 19:47:45 +0100fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-01-02 19:47:55 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 19:47:55 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 19:47:55 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 19:49:25 +0100 <phma> I found a document comparing the speed of some programming languages on the same problems. One was to find the smallest n such that sum(1/n)>20.
2022-01-02 19:50:37 +0100 <phma> The program added the numbers starting at 1/1, which I know is imprecise. So I started ghci and entered "sum (map (1/) (map fromInteger [-272400600 .. -1]))".
2022-01-02 19:50:57 +0100 <phma> The result was "Killed" and it threw me out to the shell prompt. Why?
2022-01-02 19:51:55 +0100 <Rembane> It sounds like the process was stopped by the out of memory killer
2022-01-02 19:52:24 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-01-02 19:52:56 +0100 <phma> But does it need to keep the whole list in memory?
2022-01-02 19:53:28 +0100lavaman(~lavaman@98.38.249.169)
2022-01-02 19:53:28 +0100 <EvanR> no that's not it
2022-01-02 19:53:41 +0100kaction(~kaction@pool-71-191-91-40.washdc.fios.verizon.net) (Ping timeout: 250 seconds)
2022-01-02 19:53:50 +0100 <EvanR> you probably got stuck with a non-strict sum
2022-01-02 19:54:20 +0100 <EvanR> try foldl' (+) 0 that instead
2022-01-02 19:55:45 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-01-02 19:55:49 +0100 <phma> Variable not in scope
2022-01-02 19:56:15 +0100ksqsf(~user@134.209.106.31)
2022-01-02 19:56:22 +0100 <phma> :: (Integer -> Integer -> Integer) -> Integer -> [Double] -> t
2022-01-02 19:56:36 +0100 <enikar> foldl' is in Data.Foldable
2022-01-02 19:57:06 +0100 <phma> now it's running
2022-01-02 19:57:16 +0100 <EvanR> I got slightly under -20
2022-01-02 19:57:52 +0100 <phma> the page says the answer is 272400600, but I have my doubts
2022-01-02 19:58:15 +0100 <EvanR> I mean this kind of demonstrates that?
2022-01-02 19:58:23 +0100 <phma> -20.00000000161496
2022-01-02 19:58:30 +0100 <EvanR> that's what I got!
2022-01-02 19:58:50 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2022-01-02 19:59:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 19:59:32 +0100 <EvanR> sum might have worked (and worked much faster) if you compiled this line of code...
2022-01-02 19:59:52 +0100 <phma> adding the other way gives 20.000000001618233
2022-01-02 19:59:58 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2022-01-02 20:00:20 +0100 <phma> foldl' (+) 0 (map (1/) (map fromInteger [1 .. 272400600]))
2022-01-02 20:01:10 +0100 <enikar> you can remove all map
2022-01-02 20:02:12 +0100 <phma> how?
2022-01-02 20:02:32 +0100 <xsperry> yeah ghc should work fine with sum, certainly with -O2, and probably with lower optimization settings
2022-01-02 20:03:04 +0100 <enikar> foldl' (\acc x -> acc + 1/(fromInteger x)) 0 [1 .. 272400600]
2022-01-02 20:03:17 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-01-02 20:03:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 20:03:43 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 20:03:43 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 20:03:51 +0100 <EvanR> > foldl' (\acc x -> acc + 1/x) 0 [1 .. 272400600]
2022-01-02 20:03:57 +0100 <lambdabot> mueval-core: Time limit exceeded
2022-01-02 20:04:13 +0100max22-(~maxime@2a01cb0883359800e29324577334a636.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2022-01-02 20:04:40 +0100alx741(~alx741@157.100.93.160)
2022-01-02 20:05:44 +0100 <phma> I know it would be faster compiled, I just wanted to know if, added from smallest to largest, it still exceeds 20.
2022-01-02 20:06:23 +0100 <EvanR> somehow that version is taking me even longer to ghci
2022-01-02 20:06:39 +0100 <EvanR> ok 20.000000001618233
2022-01-02 20:07:34 +0100 <EvanR> the negative version ought to be the same as [272400600, 272400599 .. 1]
2022-01-02 20:08:35 +0100 <phma> ah
2022-01-02 20:08:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-01-02 20:10:04 +0100machinedgod(~machinedg@24.105.81.50)
2022-01-02 20:10:17 +0100 <EvanR> 20.00000000161496
2022-01-02 20:12:38 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net)
2022-01-02 20:13:53 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-01-02 20:14:52 +0100 <EvanR> Gurkenglas, I wrote makeF :: forall a r . a -> (a -> r) -> r, makeF x = ($ x), and it seems to work for all a. Not sure how you recover anything setting r = ()
2022-01-02 20:16:43 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 268 seconds)
2022-01-02 20:17:38 +0100yauhsien(~yauhsien@61-231-19-17.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-01-02 20:19:31 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 20:19:37 +0100deadmarshal(~deadmarsh@95.38.115.228) (Ping timeout: 240 seconds)
2022-01-02 20:20:40 +0100 <Gurkenglas> EvanR, you can do recover :: ((Bool -> ()) -> ()) -> Bool; recover f = lub (seq (f (\case True -> (); False -> undefined)) True) (seq (f (\case False -> (); True -> undefined)) False)
2022-01-02 20:21:18 +0100 <EvanR> whoa
2022-01-02 20:21:20 +0100 <hpc> lub feels like cheating to me
2022-01-02 20:21:32 +0100 <monochrom> cunning or cheating, I don't know which
2022-01-02 20:21:39 +0100nhatanh02(~satori@123.24.172.30) (Ping timeout: 256 seconds)
2022-01-02 20:21:46 +0100 <Gurkenglas> That is: you recover the x from ($x) by running ($x2) on all x2 in parallel, and using that ($x) is monotonic
2022-01-02 20:22:09 +0100 <monochrom> But I did almost think of "\x -> trace x ()".
2022-01-02 20:22:21 +0100 <hpc> i thought of unsafeCoerce
2022-01-02 20:22:26 +0100 <monochrom> err traceShow, you get my point :)
2022-01-02 20:22:35 +0100 <EvanR> I thought of nothing :(
2022-01-02 20:22:48 +0100 <hpc> unsafeCoerce (makeF x unsafeCoerce) = x
2022-01-02 20:23:01 +0100 <Gurkenglas> hpc, lub doesn't feel like cheating to me because it doesn't actually let you write nonmonotonic functions
2022-01-02 20:24:32 +0100 <EvanR> I see why with can't work forall a
2022-01-02 20:24:43 +0100 <EvanR> I see why this can't work forall a
2022-01-02 20:25:53 +0100max22-(~maxime@2a01cb08833598000dfdedebd194573b.ipv6.abo.wanadoo.fr)
2022-01-02 20:26:04 +0100simendsjo(~user@84.211.91.241) (Read error: Connection reset by peer)
2022-01-02 20:27:48 +0100 <monochrom> Some kind of compactness may be involved.
2022-01-02 20:29:08 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-01-02 20:30:41 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-01-02 20:31:07 +0100ksqsf(~user@134.209.106.31)
2022-01-02 20:33:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 20:33:23 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving)
2022-01-02 20:33:55 +0100 <Gurkenglas> corollary: for any particular A you can go Functor f => (f () -> ()) -> f A -> A
2022-01-02 20:34:46 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-02 20:36:17 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 20:37:13 +0100alx741(~alx741@157.100.93.160)
2022-01-02 20:38:27 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 20:38:27 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 20:38:27 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 20:39:56 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 20:42:05 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 20:43:14 +0100 <Gurkenglas> :t \fuu fa -> recover (\au -> fuu (fmap au fa))
2022-01-02 20:43:15 +0100 <lambdabot> Functor f => (f () -> ()) -> f a -> a
2022-01-02 20:43:55 +0100 <EvanR> :t recover
2022-01-02 20:43:57 +0100 <lambdabot> ((a -> ()) -> ()) -> a
2022-01-02 20:46:27 +0100 <monochrom> > recover (const ())
2022-01-02 20:46:29 +0100 <lambdabot> *Exception: sorry, no lub
2022-01-02 20:46:45 +0100 <EvanR> lol
2022-01-02 20:47:04 +0100 <monochrom> How should I understand that?
2022-01-02 20:47:27 +0100 <EvanR> how would recover use lub to work for all a
2022-01-02 20:47:46 +0100 <EvanR> the Bool trick only works for certain types
2022-01-02 20:47:51 +0100 <monochrom> OK, just Bool:
2022-01-02 20:47:53 +0100 <Gurkenglas> one cant actually implement recover forall a afaic, and i cant do it for Bool because we dont have lub
2022-01-02 20:48:03 +0100 <monochrom> > recover (const () :: Bool -> ())
2022-01-02 20:48:04 +0100 <lambdabot> error:
2022-01-02 20:48:04 +0100 <lambdabot> • Couldn't match type ‘a -> ()’ with ‘Bool’
2022-01-02 20:48:04 +0100 <lambdabot> Expected type: (a -> ()) -> ()
2022-01-02 20:48:10 +0100 <monochrom> err
2022-01-02 20:48:17 +0100 <monochrom> > recover (const () :: (Bool -> ()) -> ())
2022-01-02 20:48:18 +0100 <lambdabot> *Exception: sorry, no lub
2022-01-02 20:52:16 +0100 <Gurkenglas> EvanR, is there a particular type it doesn't work for?
2022-01-02 20:52:57 +0100 <EvanR> well it seems you need to use case analysis on the ctors right
2022-01-02 20:53:01 +0100 <Gurkenglas> yep
2022-01-02 20:53:06 +0100duuude(~user@user/duuude) (Ping timeout: 268 seconds)
2022-01-02 20:53:18 +0100 <EvanR> so any type that doesn't export them, like Data.Map
2022-01-02 20:54:16 +0100stevenxl(~stevenxl@174.128.182.103) (Quit: leaving)
2022-01-02 20:54:55 +0100 <EvanR> case analysis doesn't work on lambdas (in haskell?)
2022-01-02 20:55:10 +0100 <Gurkenglas> you can still extract themap from ($themap) using lub, right? you just have to craft custom enumerators of the type
2022-01-02 20:55:25 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2022-01-02 20:55:50 +0100 <EvanR> ok so Map can be inspected to learn everything about it
2022-01-02 20:55:53 +0100 <Gurkenglas> does it not work on lambdas? you should be able to extract any f:Bool->Bool from ($f) i think
2022-01-02 20:56:05 +0100 <EvanR> since it's finite
2022-01-02 20:56:36 +0100 <Gurkenglas> you can also extract any us:[()] from ($us)
2022-01-02 20:57:05 +0100 <EvanR> some types hold identifying information that it's important for "no one to know", like IORef
2022-01-02 20:57:24 +0100 <EvanR> so how would you reconstruct that
2022-01-02 20:57:31 +0100 <Gurkenglas> if no one can know it you cant prove i didnt reconstruct the right one :3
2022-01-02 20:58:02 +0100 <EvanR> io programs could tell the diff
2022-01-02 20:58:55 +0100 <EvanR> what about Void
2022-01-02 20:59:13 +0100 <Gurkenglas> I sure can extract the x:Void from any ($x) :)
2022-01-02 20:59:24 +0100 <monochrom> What if I turn your lub idea around and recover (\f -> lub (f True) (f False))?
2022-01-02 20:59:44 +0100alx741(~alx741@157.100.93.160)
2022-01-02 20:59:52 +0100 <monochrom> lub () () = ()
2022-01-02 21:00:22 +0100 <monochrom> So, did I have True? did I have False? or did I have lub True False?
2022-01-02 21:01:13 +0100 <monochrom> "Yo dawg I heard you like lub so I put a lub in your lub..."
2022-01-02 21:02:18 +0100 <Gurkenglas> you get out lub True False, which you're not supposed to do to lub, it assumes that your values have a least upper bound
2022-01-02 21:02:41 +0100 <Gurkenglas> luckily (\f -> lub (f True) (f False)) does not have form ($x) ^^
2022-01-02 21:05:01 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100econo(uid147250@user/econo) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100kristjansson(sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100amk(~amk@109.255.169.126) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100ProofTechnique(sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:06:48 +0100lally(sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:09:53 +0100ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.7.5+deb4 - https://znc.in)
2022-01-02 21:15:23 +0100ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1)
2022-01-02 21:15:23 +0100Server+Cnt
2022-01-02 21:15:24 +0100gawen_(~gawen@user/gawen)
2022-01-02 21:15:25 +0100Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2022-01-02 21:15:30 +0100wolfshappen_(~waff@irc.furworks.de)
2022-01-02 21:15:31 +0100neurocyte4(~neurocyte@IP-185117068002.dynamic.medianet-world.de)
2022-01-02 21:15:32 +0100hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2022-01-02 21:15:34 +0100burnsidesLlama(~burnsides@dhcp168-013.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2022-01-02 21:15:34 +0100Kaipi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-01-02 21:15:35 +0100AlexNoo(~AlexNoo@94.233.241.107) (Read error: Connection reset by peer)
2022-01-02 21:15:35 +0100haasn(~nand@haasn.dev) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100remedan(~remedan@octo.cafe) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100dka_(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100biog(~user1@159.224.42.85) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100exarkun_(~exarkun@user/exarkun) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100opqdonut_(opqdonut@pseudo.fixme.fi) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100hgolden_(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100tv(~tv@user/tv) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100wallymathieu(uid533252@id-533252.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100cocreature(~moritz@2a03:b0c0:3:d0::c8:f001) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100Bartol(~Bartol@user/Bartol) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100JimL(~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100drdo(~drdo@144.172.69.89) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100forell(~forell@user/forell) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100perro(~perro@072-191-245-069.res.spectrum.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:35 +0100totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100smyds(~smyds@176.10.118.193) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100eruditass(uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100leah2(~leah@vuxu.org) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100Gurkenglas_(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100hyiltiz(~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100tafa(~tafa@user/tafa) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100AlexZenon(~alzenon@94.233.241.107) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100WzC(~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100res0nat0r0(~Fletch@dia.whatbox.ca) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100Techcable(~Techcable@168.235.93.147) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100shriekingnoise(~shrieking@186.137.144.80) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100YoungFrog(~youngfrog@2a02:a03f:c21b:f900:75de:a4d8:aac6:c5de) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100thebnq(~bnq@herrokitty.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100thaumavorio(~thaumavor@thaumavor.io) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100wolfshappen(~waff@irc.furworks.de) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100samhh(7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100justIrresolute(~justache@user/justache) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2022-01-02 21:15:36 +0100martin02(~silas@141.84.69.76) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100jeffz(~user@lambda.xen.prgmr.com) (Remote host closed the connection)
2022-01-02 21:15:37 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Read error: Connection reset by peer)
2022-01-02 21:15:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100Maxdaman1us(~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100ajb(~ajb@cupid.whatbox.ca) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100biberu(~biberu@user/biberu) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100Goodbye_Vincent(cyvahl@freakshells.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100acidsys(~LSD@2.lsd.systems) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100pepeiborra(sid443799@id-443799.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100hays(rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100landonf(landonf@mac68k.info) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100hugo(znc@verdigris.lysator.liu.se) (Read error: Connection reset by peer)
2022-01-02 21:15:37 +0100gawen(~gawen@user/gawen) (Remote host closed the connection)
2022-01-02 21:15:37 +0100Sgeo_(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100theproffesor(~theproffe@user/theproffesor) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100zer0bitz(~zer0bitz@196.244.192.57) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100sus(zero@user/zeromomentum) (Ping timeout: 240 seconds)
2022-01-02 21:15:37 +0100natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-01-02 21:15:38 +0100haasn`haasn
2022-01-02 21:15:38 +0100erisco_erisco
2022-01-02 21:15:38 +0100neurocyte4(~neurocyte@IP-185117068002.dynamic.medianet-world.de) (Changing host)
2022-01-02 21:15:38 +0100neurocyte4(~neurocyte@user/neurocyte)
2022-01-02 21:15:38 +0100koolazer(~koo@user/koolazer) (Ping timeout: 240 seconds)
2022-01-02 21:15:38 +0100SanchayanMaity_SanchayanMaity
2022-01-02 21:15:38 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2022-01-02 21:15:39 +0100biberu-biberu
2022-01-02 21:15:56 +0100[_][itchyjunk]
2022-01-02 21:15:57 +0100kenran(~kenran@2001:16b8:2b2c:e700:5566:4d6d:7b30:6bf3) (Ping timeout: 240 seconds)
2022-01-02 21:15:57 +0100thebnq(~bnq@herrokitty.com)
2022-01-02 21:15:58 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-01-02 21:15:59 +0100acowley_(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2022-01-02 21:16:00 +0100samhh(7569f027cf@2604:bf00:561:2000::e4)
2022-01-02 21:16:01 +0100__monty__(~toonn@user/toonn)
2022-01-02 21:16:01 +0100nhs(~nhs@136.49.226.20) (Client Quit)
2022-01-02 21:16:02 +0100sus(zero@user/zeromomentum)
2022-01-02 21:16:07 +0100JimL(~quassel@89-162-2-132.fiber.signal.no)
2022-01-02 21:16:08 +0100Techcable(~Techcable@168.235.93.147)
2022-01-02 21:16:08 +0100Erutuon_(~Erutuon@user/erutuon)
2022-01-02 21:16:13 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2022-01-02 21:16:15 +0100hays(rootvegeta@fsf/member/hays)
2022-01-02 21:16:17 +0100dextaa9(~DV@user/dextaa) (Ping timeout: 240 seconds)
2022-01-02 21:16:21 +0100gentauro(~gentauro@185.107.12.141)
2022-01-02 21:16:23 +0100leah2(~leah@vuxu.org)
2022-01-02 21:16:29 +0100gentauro(~gentauro@185.107.12.141) (Changing host)
2022-01-02 21:16:29 +0100gentauro(~gentauro@user/gentauro)
2022-01-02 21:16:29 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th)
2022-01-02 21:16:37 +0100YoungFrog(~youngfrog@2a02:a03f:c21b:f900:f484:3278:789d:d6a5)
2022-01-02 21:16:42 +0100werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-01-02 21:16:45 +0100wallymathieu(uid533252@id-533252.uxbridge.irccloud.com)
2022-01-02 21:16:46 +0100natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2022-01-02 21:16:47 +0100jzsinatra(~jzsinatra@88-114-238-31.elisa-laajakaista.fi)
2022-01-02 21:16:47 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-01-02 21:16:49 +0100otherwise(~otherwise@2601:602:880:90f0:bd12:9809:2b1e:ca22)
2022-01-02 21:16:49 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-01-02 21:16:54 +0100yahb(xsbot@178.219.36.155)
2022-01-02 21:16:55 +0100pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2022-01-02 21:16:57 +0100Maxdamantus(~Maxdamant@124.197.32.108)
2022-01-02 21:17:00 +0100yahb(xsbot@178.219.36.155) (Changing host)
2022-01-02 21:17:00 +0100yahb(xsbot@user/mniip/bot/yahb)
2022-01-02 21:17:01 +0100eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2022-01-02 21:17:03 +0100Maxdamantus(~Maxdamant@124.197.32.108) (Changing host)
2022-01-02 21:17:03 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2022-01-02 21:17:05 +0100Unode(~Unode@194.94.44.220)
2022-01-02 21:17:12 +0100tafa(~tafa@user/tafa)
2022-01-02 21:17:12 +0100srk-srk
2022-01-02 21:17:13 +0100lemonsni-(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split)
2022-01-02 21:17:14 +0100Erutuon(~Erutuon@user/erutuon) (*.net *.split)
2022-01-02 21:17:14 +0100alx741(~alx741@157.100.93.160) (*.net *.split)
2022-01-02 21:17:14 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (*.net *.split)
2022-01-02 21:17:14 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split)
2022-01-02 21:17:14 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2022-01-02 21:17:14 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2022-01-02 21:17:14 +0100Sgeo(~Sgeo@user/sgeo) (*.net *.split)
2022-01-02 21:17:14 +0100myme(~myme@40.51-175-185.customer.lyse.net) (*.net *.split)
2022-01-02 21:17:14 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (*.net *.split)
2022-01-02 21:17:14 +0100hexology(~hexology@user/hexology) (*.net *.split)
2022-01-02 21:17:14 +0100td_(~td@muedsl-82-207-238-078.citykom.de) (*.net *.split)
2022-01-02 21:17:14 +0100pragma-(~chaos@user/pragmatic-chaos) (*.net *.split)
2022-01-02 21:17:14 +0100cheater(~Username@user/cheater) (*.net *.split)
2022-01-02 21:17:14 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca) (*.net *.split)
2022-01-02 21:17:14 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2022-01-02 21:17:14 +0100drewolson(~drewolson@user/drewolson) (*.net *.split)
2022-01-02 21:17:14 +0100joo-_(~joo-_@fsf/member/joo--) (*.net *.split)
2022-01-02 21:17:14 +0100mcglk(~mcglk@131.191.49.120) (*.net *.split)
2022-01-02 21:17:14 +0100foul_owl(~kerry@97-126-11-68.tukw.qwest.net) (*.net *.split)
2022-01-02 21:17:14 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2022-01-02 21:17:14 +0100tomku(~tomku@user/tomku) (*.net *.split)
2022-01-02 21:17:14 +0100kmein(~weechat@user/kmein) (*.net *.split)
2022-01-02 21:17:14 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split)
2022-01-02 21:17:15 +0100xlei(~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (*.net *.split)
2022-01-02 21:17:15 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split)
2022-01-02 21:17:15 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2022-01-02 21:17:15 +0100dextaa(~DV@user/dextaa) (*.net *.split)
2022-01-02 21:17:15 +0100lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
2022-01-02 21:17:15 +0100dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split)
2022-01-02 21:17:15 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split)
2022-01-02 21:17:15 +0100Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2022-01-02 21:17:15 +0100maerwald(~maerwald@mail.hasufell.de) (*.net *.split)
2022-01-02 21:17:15 +0100Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net) (*.net *.split)
2022-01-02 21:17:15 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2022-01-02 21:17:15 +0100joeyh(~joeyh@kitenet.net) (*.net *.split)
2022-01-02 21:17:15 +0100Clint(~Clint@user/clint) (*.net *.split)
2022-01-02 21:17:15 +0100canta(~canta@user/canta) (*.net *.split)
2022-01-02 21:17:15 +0100PigDude(~PigDude@159.203.16.199) (*.net *.split)
2022-01-02 21:17:15 +0100hrdl(~hrdl@mail.hrdl.eu) (*.net *.split)
2022-01-02 21:17:15 +0100niko(~niko@libera/staff/niko) (*.net *.split)
2022-01-02 21:17:15 +0100nisstyre(~wes@user/nisstyre) (*.net *.split)
2022-01-02 21:17:15 +0100kenran(~kenran@2001:16b8:2b2c:e700:5566:4d6d:7b30:6bf3)
2022-01-02 21:17:17 +0100drewolson4drewolson
2022-01-02 21:17:18 +0100drdo(~drdo@144.172.69.89)
2022-01-02 21:17:18 +0100lambdap3lambdap
2022-01-02 21:17:18 +0100hyiltiz(~quassel@31.220.5.250)
2022-01-02 21:17:19 +0100_ht_(~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer)
2022-01-02 21:17:22 +0100martin02(~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1)
2022-01-02 21:17:26 +0100tomku(~tomku@068-112-105-122.res.spectrum.com)
2022-01-02 21:17:27 +0100cocreature(~moritz@2a03:b0c0:3:d0::c8:f001)
2022-01-02 21:17:27 +0100cheater(~Username@user/cheater)
2022-01-02 21:17:28 +0100tomku(~tomku@068-112-105-122.res.spectrum.com) (Changing host)
2022-01-02 21:17:28 +0100tomku(~tomku@user/tomku)
2022-01-02 21:17:29 +0100pieguy12-(~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca)
2022-01-02 21:17:31 +0100maerwald-(~maerwald@mail.hasufell.de)
2022-01-02 21:17:35 +0100Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-01-02 21:17:35 +0100maerwald_(~maerwald@mail.hasufell.de) (Read error: Connection reset by peer)
2022-01-02 21:17:37 +0100Sgeo__(~Sgeo@user/sgeo) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100Gurkenglas__(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100zer0bitz_(~zer0bitz@196.244.192.57) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100neurocyte4neurocyte
2022-01-02 21:17:37 +0100PigDude_(~PigDude@159.203.16.199) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100int-e(~noone@int-e.eu) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100biberu\(~biberu@user/biberu) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100ralu9(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100cheater1__(~Username@user/cheater) (Ping timeout: 256 seconds)
2022-01-02 21:17:37 +0100eL_Bart0-(eL_Bart0@dietunichtguten.org) (Ping timeout: 256 seconds)
2022-01-02 21:17:41 +0100acidsys(~LSD@2.lsd.systems)
2022-01-02 21:17:42 +0100tv(~tv@user/tv)
2022-01-02 21:17:47 +0100Goodbye_Vincent(cyvahl@freakshells.net)
2022-01-02 21:17:51 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2022-01-02 21:17:52 +0100nhs(~nhs@136.49.226.20)
2022-01-02 21:17:52 +0100monochrom(trebla@216.138.220.146)
2022-01-02 21:17:54 +0100hrdl(~hrdl@mail.hrdl.eu)
2022-01-02 21:17:56 +0100exarkun(~exarkun@user/exarkun)
2022-01-02 21:18:03 +0100totte(~totte@h-82-196-112-155.A166.priv.bahnhof.se)
2022-01-02 21:18:11 +0100Unode_(~Unode@194.94.44.220) (Ping timeout: 256 seconds)
2022-01-02 21:18:11 +0100x_kuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-01-02 21:18:12 +0100pieguy128_(~pieguy128@bas1-quebec14-67-70-102-17.dsl.bell.ca) (Ping timeout: 256 seconds)
2022-01-02 21:18:12 +0100oo_migue1(~pi@77.252.47.226) (Ping timeout: 256 seconds)
2022-01-02 21:18:14 +0100lambdabot(~lambdabot@silicon.int-e.eu)
2022-01-02 21:18:14 +0100lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2022-01-02 21:18:14 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2022-01-02 21:18:15 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2022-01-02 21:18:24 +0100int-e(~noone@int-e.eu)
2022-01-02 21:18:31 +0100flukiluke_flukiluke
2022-01-02 21:18:35 +0100mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2022-01-02 21:18:37 +0100 <juri_> ok, and that's a golden test implementation.
2022-01-02 21:18:49 +0100 <Gurkenglas> missed all since <EvanR> ⊥ (⊥,⊥) ((),⊥) (⊥,()) ((),())
2022-01-02 21:19:02 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11) (Ping timeout: 240 seconds)
2022-01-02 21:19:03 +0100unrooted(~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100jophish(~jophish@2001:470:69fc:105::670) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f) (Ping timeout: 250 seconds)
2022-01-02 21:19:03 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 250 seconds)
2022-01-02 21:19:06 +0100Nate[m]12(~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 245 seconds)
2022-01-02 21:19:06 +0100bb010g(~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 245 seconds)
2022-01-02 21:19:06 +0100shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77) (Ping timeout: 245 seconds)
2022-01-02 21:19:14 +0100dextaa(~DV@user/dextaa)
2022-01-02 21:19:15 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 250 seconds)
2022-01-02 21:19:15 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Ping timeout: 250 seconds)
2022-01-02 21:19:19 +0100geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2022-01-02 21:19:19 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2022-01-02 21:19:19 +0100raghavgururajan(ea769b8000@2604:bf00:561:2000::242)
2022-01-02 21:19:19 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2022-01-02 21:19:19 +0100Sgeo__(~Sgeo@ool-18b9875e.dyn.optonline.net)
2022-01-02 21:19:19 +0100res0nat0r0(~Fletch@dia.whatbox.ca)
2022-01-02 21:19:28 +0100raghavgururajan(ea769b8000@2604:bf00:561:2000::242) (Max SendQ exceeded)
2022-01-02 21:19:29 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-01-02 21:19:32 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (Ping timeout: 240 seconds)
2022-01-02 21:19:32 +0100Michal[m]1(~oomiguelm@2001:470:69fc:105::1:5ab0) (Ping timeout: 240 seconds)
2022-01-02 21:19:32 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 240 seconds)
2022-01-02 21:19:36 +0100raghavgururajan(ea769b8000@user/raghavgururajan)
2022-01-02 21:19:38 +0100df(~ben@justworks.xyz)
2022-01-02 21:19:42 +0100octeep[m](~octeepoct@2001:470:69fc:105::1:3dbf) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100sofviic[m](~sofviicma@2001:470:69fc:105::1:51fd) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8) (Ping timeout: 260 seconds)
2022-01-02 21:19:42 +0100soft(~soft@2001:470:69fc:105::c75) (Ping timeout: 260 seconds)
2022-01-02 21:19:53 +0100hexology-(~hexology@user/hexology) (Ping timeout: 256 seconds)
2022-01-02 21:19:55 +0100alex[m]1(~alexchete@2001:470:69fc:105::1:1001) (Ping timeout: 250 seconds)
2022-01-02 21:19:55 +0100finalti[m](~finaltima@2001:470:69fc:105::d909) (Ping timeout: 250 seconds)
2022-01-02 21:19:56 +0100Logio(em@kapsi.fi)
2022-01-02 21:19:56 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 252 seconds)
2022-01-02 21:20:00 +0100geekosaurGuest6899
2022-01-02 21:20:06 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2022-01-02 21:20:06 +0100oo_migue1(~pi@77.252.47.226)
2022-01-02 21:20:09 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2022-01-02 21:20:19 +0100 <Gurkenglas> @let recoverdiamond :: (( ((),()) -> () ) -> ()) -> ((),()); recoverdiamond f = (f fst, f snd)
2022-01-02 21:20:20 +0100 <lambdabot> Defined.
2022-01-02 21:20:21 +0100forell(~forell@user/forell)
2022-01-02 21:20:27 +0100wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com) (Ping timeout: 256 seconds)
2022-01-02 21:20:27 +0100Guest6899(~geekosaur@069-135-003-034.biz.spectrum.com) (Changing host)
2022-01-02 21:20:27 +0100Guest6899(~geekosaur@xmonad/geekosaur)
2022-01-02 21:20:36 +0100hexology(~hexology@user/hexology)
2022-01-02 21:20:37 +0100landonf(landonf@mac68k.info)
2022-01-02 21:20:48 +0100 <Gurkenglas> > recoverdiamond ($((), error "asd"))
2022-01-02 21:20:49 +0100 <lambdabot> ((),*Exception: asd
2022-01-02 21:20:52 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net)
2022-01-02 21:20:52 +0100Guest6899allbery_b
2022-01-02 21:20:53 +0100AlexZenon(~alzenon@94.233.241.107)
2022-01-02 21:20:57 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-01-02 21:21:02 +0100Bartol(~Bartol@user/Bartol)
2022-01-02 21:21:05 +0100justIrresolute(~justache@user/justache)
2022-01-02 21:21:07 +0100hugo(znc@verdigris.lysator.liu.se)
2022-01-02 21:21:09 +0100jjhoo(~jahakala@user/jjhoo)
2022-01-02 21:21:29 +0100kristjansson(sid126207@id-126207.tinside.irccloud.com)
2022-01-02 21:21:34 +0100simmsb(~simmsb@2001:470:69fc:105::1:55c3) (Ping timeout: 260 seconds)
2022-01-02 21:21:35 +0100sus(zero@user/zeromomentum) (Ping timeout: 256 seconds)
2022-01-02 21:21:35 +0100wolfshappen_(~waff@irc.furworks.de) (Ping timeout: 256 seconds)
2022-01-02 21:21:35 +0100greyrat_(~greyrat@ip202.ip-51-178-215.eu) (Ping timeout: 256 seconds)
2022-01-02 21:21:39 +0100schuelermine[m](~schuelerm@user/schuelermine) (Ping timeout: 250 seconds)
2022-01-02 21:21:45 +0100coolnickname(uid531864@user/coolnickname)
2022-01-02 21:21:51 +0100lally(sid388228@id-388228.uxbridge.irccloud.com)
2022-01-02 21:21:52 +0100joo-_(~joo-_@80-62-117-1-mobile.dk.customer.tdc.net)
2022-01-02 21:21:52 +0100joo-_(~joo-_@80-62-117-1-mobile.dk.customer.tdc.net) (Changing host)
2022-01-02 21:21:52 +0100joo-_(~joo-_@fsf/member/joo--)
2022-01-02 21:21:59 +0100ProofTechnique(sid79547@id-79547.ilkley.irccloud.com)
2022-01-02 21:22:03 +0100koolazer(~koo@user/koolazer)
2022-01-02 21:22:04 +0100wolfshappen(~waff@irc.furworks.de)
2022-01-02 21:22:15 +0100zaquest(~notzaques@5.130.79.72)
2022-01-02 21:22:30 +0100Clint(~Clint@user/clint)
2022-01-02 21:22:42 +0100greyrat(~greyrat@ip202.ip-51-178-215.eu)
2022-01-02 21:23:02 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100tripa[m](~tripamatr@2001:470:69fc:105::1:4f7e) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100bitonic(~bitonic@2001:470:69fc:105::1812) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 240 seconds)
2022-01-02 21:23:02 +0100psydroid(~psydroid@user/psydroid) (Ping timeout: 240 seconds)
2022-01-02 21:23:14 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Ping timeout: 252 seconds)
2022-01-02 21:23:20 +0100grabb0id[m](~alangmatr@2001:470:69fc:105::b489) (Ping timeout: 268 seconds)
2022-01-02 21:23:21 +0100juhp[m](~juhpmatri@2001:470:69fc:105::6e9) (Ping timeout: 268 seconds)
2022-01-02 21:23:21 +0100prrxddq[m](~prrxddqma@2001:470:69fc:105::1:4f72) (Ping timeout: 268 seconds)
2022-01-02 21:23:21 +0100Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 268 seconds)
2022-01-02 21:23:23 +0100cherryblossom[m](~cherryblo@2001:470:69fc:105::b789) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100kalxd[m]1(~kalxdmatr@2001:470:69fc:105::1:576e) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100Tisoxin(~ikosit@user/ikosit) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100kadoban(~kadoban@user/kadoban) (Ping timeout: 250 seconds)
2022-01-02 21:23:23 +0100 <Gurkenglas> @let recoverus :: ((Stream () -> ()) -> ()) -> Stream (); recoverus usuu = Cons (usuu (\(Cons x _) -> x)) (recoverus (usuu . (. (\(Cons _ xs) -> xs))))
2022-01-02 21:23:24 +0100 <lambdabot> Defined.
2022-01-02 21:23:24 +0100Taneb0Taneb
2022-01-02 21:23:39 +0100niko(~niko@libera/staff/niko)
2022-01-02 21:23:40 +0100pragma-(~chaos@user/pragmatic-chaos)
2022-01-02 21:23:41 +0100IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100quantum(~quantum@user/quantum/x-8556232) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100boxscape(~boxscape@user/boxscape) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100Deide(~deide@user/deide) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100james[m]12(~jamesnina@2001:470:69fc:105::1:4203) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42) (Ping timeout: 245 seconds)
2022-01-02 21:23:41 +0100aidy(~aidy@2001:470:69fc:105::c7b4) (Ping timeout: 245 seconds)
2022-01-02 21:23:47 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100pfurla-matrix(~pedrofurl@2001:470:69fc:105::1:51d7) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100xbreu(~xbreu@2001:470:69fc:105::1:5061) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100moats(~oats@user/oats) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100jinsun_(~jinsun@user/jinsun) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100carmysilna(~brightly-@2001:470:69fc:105::2190) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100AlainJourez[m](~sherekahn@2001:470:69fc:105::1:4a71) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100oak-(~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 252 seconds)
2022-01-02 21:23:47 +0100sm(~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
2022-01-02 21:23:53 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2022-01-02 21:23:54 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds)
2022-01-02 21:23:57 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 268 seconds)
2022-01-02 21:23:57 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 268 seconds)
2022-01-02 21:23:57 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 268 seconds)
2022-01-02 21:23:57 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (Ping timeout: 268 seconds)
2022-01-02 21:23:57 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Ping timeout: 268 seconds)
2022-01-02 21:23:57 +0100aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 268 seconds)
2022-01-02 21:23:59 +0100sus(zero@user/zeromomentum)
2022-01-02 21:24:00 +0100nisstyre(~wes@user/nisstyre)
2022-01-02 21:24:01 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100Arathorn(~arathorn@2001:470:69fc:105::1f) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100SridharRatnakum4(~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100yehoshuapw(~yehoshuap@2001:470:69fc:105::a5f) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 250 seconds)
2022-01-02 21:24:01 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 250 seconds)
2022-01-02 21:24:02 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (Ping timeout: 240 seconds)
2022-01-02 21:24:04 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2022-01-02 21:24:07 +0100opqdonut(opqdonut@pseudo.fixme.fi)
2022-01-02 21:24:20 +0100alx741(~alx741@157.100.93.160)
2022-01-02 21:24:20 +0100Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net)
2022-01-02 21:24:22 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 260 seconds)
2022-01-02 21:24:22 +0100siraben(~siraben@user/siraben) (Ping timeout: 260 seconds)
2022-01-02 21:24:22 +0100benjamin[m]1234(~benjaminm@2001:470:69fc:105::1:3f2f) (Ping timeout: 260 seconds)
2022-01-02 21:24:36 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 21:24:36 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 21:24:36 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 21:24:45 +0100kenran(~kenran@2001:16b8:2b2c:e700:5566:4d6d:7b30:6bf3) (Quit: WeeChat info:version)
2022-01-02 21:25:05 +0100fcc977(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 21:25:20 +0100 <Gurkenglas> > take 50 $ show $ recoverus ($fix (Cons ()))
2022-01-02 21:25:21 +0100 <lambdabot> "Cons () (Cons () (Cons () (Cons () (Cons () (Cons "
2022-01-02 21:25:24 +0100ksqsf(~user@134.209.106.31)
2022-01-02 21:25:38 +0100foul_owl(~kerry@97-126-11-68.tukw.qwest.net)
2022-01-02 21:25:53 +0100fcc977(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Remote host closed the connection)
2022-01-02 21:26:08 +0100fcc977(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 21:26:17 +0100PigDude(~PigDude@159.203.16.199)
2022-01-02 21:26:27 +0100fcc977(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Remote host closed the connection)
2022-01-02 21:26:43 +0100kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2022-01-02 21:26:45 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f)
2022-01-02 21:26:46 +0100unrooted(~unrooted@2001:470:69fc:105::a4a)
2022-01-02 21:26:46 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2022-01-02 21:26:47 +0100jophish(~jophish@2001:470:69fc:105::670)
2022-01-02 21:26:47 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2022-01-02 21:26:59 +0100Nate[m]12(~m52957mat@2001:470:69fc:105::1:591a)
2022-01-02 21:27:00 +0100shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77)
2022-01-02 21:27:02 +0100bb010g(~bb010g@2001:470:69fc:105::9a5)
2022-01-02 21:27:12 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-01-02 21:27:13 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2022-01-02 21:27:37 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2022-01-02 21:27:44 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2022-01-02 21:27:45 +0100Michal[m]1(~oomiguelm@2001:470:69fc:105::1:5ab0)
2022-01-02 21:27:47 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-01-02 21:27:51 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-01-02 21:27:52 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11)
2022-01-02 21:28:23 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
2022-01-02 21:28:59 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 21:29:12 +0100pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-01-02 21:29:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 21:29:28 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-01-02 21:30:03 +0100wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2022-01-02 21:30:05 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 256 seconds)
2022-01-02 21:37:08 +0100Neuromancer(~Neuromanc@user/neuromancer)
2022-01-02 21:37:33 +0100timCF(~timCF@m91-129-100-224.cust.tele2.ee)
2022-01-02 21:37:41 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-01-02 21:37:41 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-01-02 21:37:41 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 21:37:45 +0100xsperry(~xs@user/xsperry)
2022-01-02 21:38:31 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480::41)
2022-01-02 21:40:24 +0100shapr(~user@205.153.95.177)
2022-01-02 21:41:34 +0100allbery_bgeekosaur
2022-01-02 21:41:49 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-01-02 21:42:28 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-01-02 21:42:35 +0100pavonia(~user@user/siracusa)
2022-01-02 21:43:58 +0100leah2(~leah@vuxu.org) (Quit: trotz alledem!)
2022-01-02 21:44:06 +0100leah2(~leah@vuxu.org)
2022-01-02 21:45:16 +0100alx741(~alx741@157.100.93.160)
2022-01-02 21:45:29 +0100 <timCF> Hello! I have a strange thing I need in Haskell - seems like I do need mutex or something. I'm using service web api, and they do require strictly increasing nonce (unixtime) globally for all api calls. My program is parallel and doing a lot of things simultaniously, so seems like the easiest solution will be some stateful mutex shared with ReaderT to do api calls sequentially. Something like `bracket lock
2022-01-02 21:45:35 +0100 <timCF> unlock (genNonce >>= callApi)`. What will be the best idea for mutex? Just take/put `MVar ()` or something else?
2022-01-02 21:45:54 +0100 <EvanR> or put the generator in the MVar ?
2022-01-02 21:46:31 +0100 <EvanR> safer, put an IO action that returns a nonce in the MVar
2022-01-02 21:46:37 +0100 <geekosaur> o.O slap whoever came up with that, if it's actually specified as unixtime
2022-01-02 21:47:00 +0100 <monochrom> No. Take "microservice" seriously. Have a thread that serves requests for nounces.
2022-01-02 21:47:35 +0100 <EvanR> a TChan of nonces
2022-01-02 21:48:18 +0100 <EvanR> strictly increasing values for all api calls from all clients sounds... impossible
2022-01-02 21:48:22 +0100 <timCF> EvanR: well, it's just `getCurrentTime`, but maybe it's safer to keep latest nonce inside MVar to avoid possible duplication if requests are performed too fast
2022-01-02 21:48:35 +0100lisq(~quassel@lis.moe) (Quit: lisq)
2022-01-02 21:48:49 +0100lisq(~quassel@lis.moe)
2022-01-02 21:48:50 +0100 <EvanR> dunno that doesn't sound right
2022-01-02 21:49:00 +0100 <Rembane> Is it only unix time? You can't add a counter to it?
2022-01-02 21:49:21 +0100 <EvanR> what if the servers unix time doesn't match yours
2022-01-02 21:49:49 +0100 <monochrom> Hey, what if no one is checking anyway? >:)
2022-01-02 21:50:03 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 21:50:17 +0100 <EvanR> also this is not what nonce means, aiui
2022-01-02 21:50:29 +0100 <geekosaur> I want to bonk whoever came up with that with a copy of "falsehoods programmers believe about time"
2022-01-02 21:50:41 +0100 <monochrom> nounce is more nuanced <duck>
2022-01-02 21:50:42 +0100 <timCF> EvanR: TChan is kinda the same in this case, because values are disposable, there is no broadcast of data
2022-01-02 21:52:27 +0100 <timCF> geekosaur: they say the only requirement is "strictly increasing" and provide in all examples implementation with unixtime
2022-01-02 21:52:40 +0100 <timCF> but examples are in JS
2022-01-02 21:52:43 +0100 <Rembane> timCF: How long will it take before anyone notices if you just randomize a positive integer instead?
2022-01-02 21:52:44 +0100 <monochrom> "falsehoods programmers believe, period" would be even thicker and better for bonking, but I guess first we need someone to write it :)
2022-01-02 21:52:50 +0100 <timCF> so they don't have an issue with concurrency
2022-01-02 21:52:53 +0100 <Rembane> More bonk!
2022-01-02 21:53:24 +0100 <EvanR> you should use 0, -1, -2, -3, ... as your nonces just to mess with them
2022-01-02 21:53:47 +0100otherwise(~otherwise@2601:602:880:90f0:bd12:9809:2b1e:ca22) (Remote host closed the connection)
2022-01-02 21:54:45 +0100 <timCF> It's actually funny looking API. It's unrelated, but for example they use JSON but don't use concept of JSON object - everything is an array, or array or arrays
2022-01-02 21:54:58 +0100 <int-e> or 0,1,1,2,3,5,7,12 ... and check whether they notice the duplicate
2022-01-02 21:55:07 +0100 <int-e> uh
2022-01-02 21:55:10 +0100 <int-e> ...,8,13
2022-01-02 21:56:04 +0100 <monochrom> No no, 0,1,1,2,3,5,7,12 is great, check whether they notice the similarity and yet dissonance with fibonacci >:)
2022-01-02 21:56:23 +0100 <EvanR> anyway if you have multiple threads, it's pretty easy to arrange a monotonic counters so they can each take a new number and get one, in any order
2022-01-02 21:56:37 +0100 <EvanR> TVar Int
2022-01-02 21:57:01 +0100 <EvanR> just don't ever restart the program
2022-01-02 21:58:19 +0100 <geekosaur> ^ is what I'd probably do, tbh. seed it with unixtime so you mostly survive restarts, or save and restore it for certainty
2022-01-02 21:58:26 +0100 <timCF> I don't know will STM here actually help or not. Because I will need to perform IO while nonce "is locked" and unlock only after I will get response
2022-01-02 21:58:40 +0100 <timCF> Or some sort of web error
2022-01-02 21:58:45 +0100 <EvanR> you wouldn't lock this
2022-01-02 21:58:53 +0100 <geekosaur> you wouldn't need to lock it
2022-01-02 21:59:09 +0100 <geekosaur> once some thread gets the nonce, it has that nonce until it gets another one
2022-01-02 21:59:18 +0100 <geekosaur> and the next requestor gets a different one
2022-01-02 21:59:36 +0100phma_phma
2022-01-02 22:00:01 +0100 <timCF> But I can't allow request threads to perform requests independently, even if they do have different nonces
2022-01-02 22:00:07 +0100 <geekosaur> now, if there's also a requirement that requests not overlap, that's a different problem
2022-01-02 22:00:29 +0100 <timCF> Because order of how network and other server will handle requests is not defined
2022-01-02 22:00:43 +0100 <timCF> Until requestor gets response or error
2022-01-02 22:00:47 +0100nomeata(~nomeatama@2001:470:69fc:105::1:5ed4)
2022-01-02 22:00:53 +0100 <monochrom> Is this specification written to invite DoS attacks?
2022-01-02 22:01:07 +0100 <EvanR> the server can only handle 1 request at a time or?
2022-01-02 22:01:12 +0100 <monochrom> "Don't serve any other client until the present client replies."
2022-01-02 22:01:43 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-01-02 22:01:57 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f)
2022-01-02 22:02:07 +0100 <monochrom> Frankly this is what my C&Unix students want to do. The server is so much simpler.
2022-01-02 22:02:10 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2022-01-02 22:02:12 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-01-02 22:02:19 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2022-01-02 22:02:20 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-01-02 22:02:33 +0100sofviic[m](~sofviicma@2001:470:69fc:105::1:51fd)
2022-01-02 22:02:33 +0100octeep[m](~octeepoct@2001:470:69fc:105::1:3dbf)
2022-01-02 22:02:34 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405)
2022-01-02 22:02:34 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e)
2022-01-02 22:02:37 +0100soft(~soft@2001:470:69fc:105::c75)
2022-01-02 22:02:37 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-01-02 22:02:51 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585)
2022-01-02 22:02:52 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8)
2022-01-02 22:03:07 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2022-01-02 22:04:35 +0100 <monochrom> People complain about stop-the-world GC and yet embrace stop-the-world clients.
2022-01-02 22:04:56 +0100 <timCF> I it's some sort of replay attack protection, because having signed request data in headers by itself does not prevent it, but unique nonce which only increases kinda does
2022-01-02 22:05:10 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2022-01-02 22:05:21 +0100 <monochrom> That still doesn't imply stop-the-world.
2022-01-02 22:05:23 +0100 <timCF> In case where nonce is part of signed data of course
2022-01-02 22:05:24 +0100 <int-e> monochrom: you're number 93 in the queue, please hold the line!
2022-01-02 22:05:36 +0100 <geekosaur> mm, not unless they insist that every client globally is monotonically increasing
2022-01-02 22:05:45 +0100alex[m]11(~alexchete@2001:470:69fc:105::1:1001)
2022-01-02 22:05:57 +0100 <geekosaur> that is, every new client is guaranteed to use a nonce higher than any other client the server has ever seen
2022-01-02 22:06:08 +0100 <EvanR> preposterous
2022-01-02 22:06:10 +0100 <geekosaur> this still seems very broken
2022-01-02 22:07:14 +0100schuelermine[m](~schuelerm@user/schuelermine)
2022-01-02 22:07:47 +0100alx741(~alx741@157.100.93.160)
2022-01-02 22:08:01 +0100finalti[m](~finaltima@2001:470:69fc:105::d909)
2022-01-02 22:08:51 +0100zer0bitz__(~zer0bitz@196.244.192.57) (Read error: Connection reset by peer)
2022-01-02 22:10:37 +0100shapr(~user@205.153.95.177) (Ping timeout: 240 seconds)
2022-01-02 22:16:04 +0100Pickchea(~private@user/pickchea)
2022-01-02 22:16:22 +0100 <timCF> they literally say in docs to generate separate API keys in admin panel for the case where requests should be done simultaneously if it's needed, so I guess I'll just use MVar with combination of Snoyman's bracket from unliftio
2022-01-02 22:16:50 +0100 <[exa]> O_o
2022-01-02 22:16:59 +0100 <[exa]> what kind of server is that? (just curious)
2022-01-02 22:17:34 +0100shapr(~user@205.153.95.177)
2022-01-02 22:17:53 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 22:18:01 +0100 <timCF> I don't know exact technology used, but it's open docs for a famous bitcoin exchange bitfinex
2022-01-02 22:18:15 +0100 <timCF> https://docs.bitfinex.com/docs/requirements-and-limitations
2022-01-02 22:18:35 +0100Everything(~Everythin@37.115.210.35)
2022-01-02 22:18:52 +0100 <[exa]> anyway with this you're probably better off to make yourself a proxy that you can load with say 10 API keys that takes "normal" sane requests on one side, and produce "serialized" and virtualtimestamped requests on the other side
2022-01-02 22:19:25 +0100 <[exa]> oh my
2022-01-02 22:19:31 +0100ksqsf(~user@134.209.106.31)
2022-01-02 22:20:29 +0100 <monochrom> I think I speak for some of us when I say: There is following the spec, and then there is following only the externally refutable part of the spec so that you regain the freedom to do the right thing.
2022-01-02 22:20:47 +0100 <[exa]> ah the nonce there is an actual nonce, designed to prevent people from replaying requests
2022-01-02 22:20:50 +0100jlamothe(~jlamothe@198.251.61.229)
2022-01-02 22:21:17 +0100 <monochrom> Or at least regain simplicity.
2022-01-02 22:21:34 +0100 <[exa]> kinda makes me wonder where's TLS gone
2022-01-02 22:22:14 +0100 <geekosaur> probably think root certs are The Man
2022-01-02 22:22:41 +0100 <timCF> [exa]: yeah, without nonce as part of the signed message it's completely possible to ruin someone's day selling his bitcoins
2022-01-02 22:22:48 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) ()
2022-01-02 22:23:30 +0100 <EvanR> they should think about authentication xD
2022-01-02 22:24:34 +0100 <[exa]> oh my, they confuse HMACs with signatures
2022-01-02 22:24:37 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 256 seconds)
2022-01-02 22:24:38 +0100duuude(~user@user/duuude)
2022-01-02 22:24:55 +0100 <timCF> what's wrong with HMAC?
2022-01-02 22:25:16 +0100geekosaurgets popcorn
2022-01-02 22:25:17 +0100 <[exa]> no wait it's not a "signature"
2022-01-02 22:26:14 +0100[exa]closes that dirty page
2022-01-02 22:26:52 +0100 <timCF> hahah
2022-01-02 22:27:06 +0100 <[exa]> timCF: are you sending the request via http (ie NOT https?)
2022-01-02 22:28:05 +0100 <ProfSimm> Here's a problem. How do you represent an iterable unordered set, without actually risking the user becomes dependent on the iteration order?
2022-01-02 22:29:06 +0100 <geekosaur> I don't, because users gonna user no matter what
2022-01-02 22:29:10 +0100 <timCF> [exa]: no, https. But it does not change much. I'm not an expert on cryptography, but for my understanding or CA - idea is kinda broken anyway
2022-01-02 22:29:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2022-01-02 22:29:46 +0100 <[exa]> ProfSimm: make the implementation break the iteration order on slightest possibility
2022-01-02 22:29:49 +0100 <ProfSimm> geekosaur: if Haskell could allow non-deterministic output, it'd be possible every time you iterate the set, it has random order?
2022-01-02 22:29:50 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57)
2022-01-02 22:29:51 +0100moats(~oats@user/oats)
2022-01-02 22:30:03 +0100 <ProfSimm> [exa]: possibility of what?
2022-01-02 22:30:12 +0100sm(~sm@plaintextaccounting/sm)
2022-01-02 22:30:19 +0100 <geekosaur> there are (interpreted, mostly) languages which use hashmaps but every such map gets a permuted hash function such that it doesn't match any other hashmap
2022-01-02 22:30:27 +0100 <geekosaur> including across runs, when possible
2022-01-02 22:30:35 +0100simmsb(~simmsb@2001:470:69fc:105::1:55c3)
2022-01-02 22:31:06 +0100 <geekosaur> in theory you could also change it randomly on iteration. in Haskell this might be difficult
2022-01-02 22:31:13 +0100 <EvanR> ProfSimm, you can use advanced type fu to require any interpretation of the data be order independent. It's possible. And then a simple way out for a user is to always work on a sorted version of the set.
2022-01-02 22:31:15 +0100 <[exa]> ProfSimm: of breaking it. E.g. if you have a structure with a few pointers, just insert at any pointer that's at hand
2022-01-02 22:31:23 +0100 <EvanR> And then it's basically an ordered set
2022-01-02 22:31:49 +0100ouestbillie(~gallup@192-222-138-215.qc.cable.ebox.net)
2022-01-02 22:32:10 +0100 <EvanR> though arguably it's not pointless because the user must pick an ordering
2022-01-02 22:32:22 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2022-01-02 22:32:53 +0100 <[exa]> timCF: the CA idea is completely unbroken in this case, clients may authenticate the server (even manually without these damn cert authorities), they get a completely non-replayable connection from TLS for free, and that's it
2022-01-02 22:33:08 +0100 <EvanR> assuming TLS is not broken
2022-01-02 22:33:09 +0100 <ProfSimm> I actually wrote that down. It's not a bad idea to force it to be projected to ordered set without it having an inherent order
2022-01-02 22:34:21 +0100 <EvanR> having no inherent order but working on it in an ordered way just means you eliminate 1 fast branch (already in the order you want)
2022-01-02 22:34:35 +0100 <[exa]> timCF: the extra hmac layer there protects you against an adversary who can access your packet after TLS ends (say a frontend server/proxy) and before the processing begins (a https proxy), which is either dumb (if the boxes are identical) or fishy (if they don't even trust their own staff)
2022-01-02 22:34:48 +0100 <EvanR> like if Data.Text used a random encoding and forced anyone who used any encoding to reencode
2022-01-02 22:35:39 +0100 <[exa]> timCF: that said, the admins there need your secret key for verification, so technically they can as well create as many requests with increased nonces as they like
2022-01-02 22:36:15 +0100alx741(~alx741@157.100.93.160)
2022-01-02 22:36:19 +0100Bartol(~Bartol@user/Bartol) (Read error: Connection reset by peer)
2022-01-02 22:37:43 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) ()
2022-01-02 22:38:03 +0100 <[exa]> (correction: s/(a https proxy)/(a backend server)/ )
2022-01-02 22:38:13 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2022-01-02 22:38:37 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds)
2022-01-02 22:38:49 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Client Quit)
2022-01-02 22:39:00 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2022-01-02 22:39:28 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2022-01-02 22:39:40 +0100tenniscp25(~tenniscp2@cm-171-101-110-205.revip11.asianet.co.th) ()
2022-01-02 22:39:44 +0100 <timCF> [exa]: if one encrypted connection is kept alive for a several requests - technically they don't need nonce
2022-01-02 22:40:23 +0100 <timCF> but docs don't imply this in general case, for simplicity I guess
2022-01-02 22:40:40 +0100 <[exa]> added magicks, great. :D :D
2022-01-02 22:40:44 +0100 <EvanR> I didn't think you were supposed to be able to replay a request encrypted with TLS regardless
2022-01-02 22:40:52 +0100ouestbillie(~gallup@192-222-138-215.qc.cable.ebox.net) (Quit: Lost terminal)
2022-01-02 22:40:56 +0100 <EvanR> (assuming it wasn't broken)
2022-01-02 22:41:09 +0100 <timCF> EvanR: why not? Just man in the middle
2022-01-02 22:41:15 +0100ouestbillie(~gallup@192-222-138-215.qc.cable.ebox.net)
2022-01-02 22:41:34 +0100 <EvanR> that's one of the entire points of a cryptosystem like TLS
2022-01-02 22:41:55 +0100 <[exa]> you don't just mitm into TLS. :]
2022-01-02 22:42:03 +0100tolt(~weechat-h@li219-154.members.linode.com) (Quit: WeeChat 2.9)
2022-01-02 22:42:38 +0100 <EvanR> (apparently it was broken for several years and people worried about replaying old eavesdropped traffic)
2022-01-02 22:43:21 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Client Quit)
2022-01-02 22:44:11 +0100GiacomoC(~GiacomoC@host-87-17-240-110.retail.telecomitalia.it)
2022-01-02 22:46:11 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 22:47:29 +0100 <timCF> Yes encryption itself kinda should work. It's a bit another topic, but if you enter in a browser https://facebook.com - how you really sure it's real facebook, not fishing website? CA says your browser about that (as far as I know). If CA lies - mitm can intercept and see your data, but in case of signed and nonced - can not forge your data
2022-01-02 22:48:00 +0100econo_(uid147250@id-147250.tinside.irccloud.com) ()
2022-01-02 22:48:21 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2022-01-02 22:48:54 +0100simmsb(~simmsb@2001:470:69fc:105::1:55c3) (Read error: Connection reset by peer)
2022-01-02 22:48:54 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Read error: Connection reset by peer)
2022-01-02 22:48:54 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (Write error: Connection reset by peer)
2022-01-02 22:48:54 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e) (Write error: Connection reset by peer)
2022-01-02 22:48:54 +0100finalti[m](~finaltima@2001:470:69fc:105::d909) (Read error: Connection reset by peer)
2022-01-02 22:48:54 +0100moats(~oats@user/oats) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100sm(~sm@plaintextaccounting/sm) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100Michal[m]1(~oomiguelm@2001:470:69fc:105::1:5ab0) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100Nate[m]12(~m52957mat@2001:470:69fc:105::1:591a) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100sofviic[m](~sofviicma@2001:470:69fc:105::1:51fd) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100schuelermine[m](~schuelerm@user/schuelermine) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100soft(~soft@2001:470:69fc:105::c75) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100nomeata(~nomeatama@2001:470:69fc:105::1:5ed4) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100jophish(~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100alex[m]11(~alexchete@2001:470:69fc:105::1:1001) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100octeep[m](~octeepoct@2001:470:69fc:105::1:3dbf) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100bb010g(~bb010g@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100unrooted(~unrooted@2001:470:69fc:105::a4a) (Write error: Connection reset by peer)
2022-01-02 22:48:55 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585) (Read error: Connection reset by peer)
2022-01-02 22:48:55 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f) (Read error: Connection reset by peer)
2022-01-02 22:49:14 +0100 <EvanR> that's a whole nother topic from message integrity
2022-01-02 22:49:57 +0100 <int-e> ...bye matrix..
2022-01-02 22:49:58 +0100 <[exa]> timCF: CAs are a shortcut that do the key signing for you. You can go to facebooks and check the signature yourself (and tell your https client about that), which is in this financial case very adviseable. Your risk gets reduced from "there's a pretender on a network" to "I was talking to a pretender in person".
2022-01-02 22:50:16 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-01-02 22:50:19 +0100tolt(~weechat-h@li219-154.members.linode.com)
2022-01-02 22:50:22 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Client Quit)
2022-01-02 22:50:25 +0100acidjnk(~acidjnk@p200300d0c7271e70c580124c5fb62625.dip0.t-ipconnect.de)
2022-01-02 22:50:25 +0100acidjnk_new(~acidjnk@p200300d0c7271e70c580124c5fb62625.dip0.t-ipconnect.de)
2022-01-02 22:50:28 +0100tolt(~weechat-h@li219-154.members.linode.com) (Client Quit)
2022-01-02 22:50:51 +0100econo(uid147250@user/econo)
2022-01-02 22:51:25 +0100juhp[m](~juhpmatri@2001:470:69fc:105::6e9)
2022-01-02 22:51:45 +0100n3rdy1(~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293)
2022-01-02 22:51:47 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34) (Ping timeout: 252 seconds)
2022-01-02 22:51:54 +0100tolt(~weechat-h@li219-154.members.linode.com)
2022-01-02 22:52:15 +0100yahb(xsbot@user/mniip/bot/yahb) (Ping timeout: 256 seconds)
2022-01-02 22:53:35 +0100drewr(~drew@user/drewr)
2022-01-02 22:53:35 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-01-02 22:54:09 +0100mestre(~mestre@191.177.175.57)
2022-01-02 22:54:49 +0100 <timCF> [exa]: Yes, totally make sense. The same story with end to end encryption in messengers like telegram. User can start "secret" chat in one click, but his recepient will receive new secret chat with "some" secret key, which is never verified in person. So easily can be somebody else
2022-01-02 22:55:07 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2022-01-02 22:55:20 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2022-01-02 22:55:21 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2022-01-02 22:55:27 +0100peddie(~peddie@2001:470:69fc:105::25d)
2022-01-02 22:55:31 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-01-02 22:55:48 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2022-01-02 22:56:07 +0100bb010g(~bb010g@2001:470:69fc:105::9a5)
2022-01-02 22:56:07 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2022-01-02 22:56:07 +0100moats(~oats@user/oats)
2022-01-02 22:56:08 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2022-01-02 22:56:11 +0100 <timCF> I wish there was a messenger where people can add contacts only by scaning public keys of each other in person (through smartphone camera or something)
2022-01-02 22:56:22 +0100soft(~soft@2001:470:69fc:105::c75)
2022-01-02 22:56:32 +0100wroathe(~wroathe@user/wroathe)
2022-01-02 22:56:37 +0100 <geekosaur> there was at one point one which used NFC, iirc
2022-01-02 22:56:39 +0100oak-(~oakuniver@2001:470:69fc:105::fcd)
2022-01-02 22:56:39 +0100kadoban(~kadoban@user/kadoban)
2022-01-02 22:56:39 +0100bitonic(~bitonic@2001:470:69fc:105::1812)
2022-01-02 22:56:39 +0100Arathorn(~arathorn@2001:470:69fc:105::1f)
2022-01-02 22:56:39 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2022-01-02 22:56:39 +0100jophish(~jophish@2001:470:69fc:105::670)
2022-01-02 22:56:39 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2022-01-02 22:56:39 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2022-01-02 22:56:40 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2022-01-02 22:56:40 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2022-01-02 22:56:47 +0100 <geekosaur> tapped phones to transfer keys
2022-01-02 22:56:52 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8)
2022-01-02 22:56:52 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2022-01-02 22:56:52 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2022-01-02 22:56:59 +0100 <EvanR> what could go wrong lol
2022-01-02 22:57:01 +0100shapr(~user@205.153.95.177) (Ping timeout: 240 seconds)
2022-01-02 22:57:06 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda)
2022-01-02 22:57:06 +0100quantum(~quantum@user/quantum/x-8556232)
2022-01-02 22:57:17 +0100 <[exa]> apple had something like that for device pairing right?
2022-01-02 22:57:19 +0100Michal[m](~oomiguelm@2001:470:69fc:105::1:5ab0)
2022-01-02 22:57:19 +0100marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2022-01-02 22:57:19 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2022-01-02 22:57:19 +0100finalti[m](~finaltima@2001:470:69fc:105::d909)
2022-01-02 22:57:19 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2022-01-02 22:57:31 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1)
2022-01-02 22:57:31 +0100schuelermine[m](~schuelerm@user/schuelermine)
2022-01-02 22:57:31 +0100sm(~sm@plaintextaccounting/sm)
2022-01-02 22:57:36 +0100 <geekosaur> many bluetooth devices still use it for quick pairing
2022-01-02 22:57:38 +0100yahb(xsbot@user/mniip/bot/yahb)
2022-01-02 22:57:40 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-01-02 22:57:43 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f)
2022-01-02 22:57:43 +0100Deide(~deide@user/deide)
2022-01-02 22:57:43 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2022-01-02 22:57:43 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2022-01-02 22:57:48 +0100 <[exa]> EvanR: random security camera with no password on a public IP: *zooms in*
2022-01-02 22:57:55 +0100psydroid(~psydroid@user/psydroid)
2022-01-02 22:57:55 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e)
2022-01-02 22:57:55 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2022-01-02 22:57:55 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4)
2022-01-02 22:57:55 +0100fsckskye[m](~kmatrixth@2001:470:69fc:105::1:3b2f)
2022-01-02 22:57:55 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-01-02 22:57:56 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2022-01-02 22:57:56 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729)
2022-01-02 22:57:56 +0100Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2022-01-02 22:57:56 +0100siraben(~siraben@user/siraben)
2022-01-02 22:57:56 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036)
2022-01-02 22:57:56 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2022-01-02 22:57:56 +0100alex[m](~alexchete@2001:470:69fc:105::1:1001)
2022-01-02 22:57:56 +0100Tisoxin(~ikosit@user/ikosit)
2022-01-02 22:57:56 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-01-02 22:57:56 +0100carmysilna(~brightly-@2001:470:69fc:105::2190)
2022-01-02 22:57:56 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2022-01-02 22:57:56 +0100aidy(~aidy@2001:470:69fc:105::c7b4)
2022-01-02 22:57:56 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886)
2022-01-02 22:58:09 +0100TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42)
2022-01-02 22:58:21 +0100grabb0id[m](~alangmatr@2001:470:69fc:105::b489)
2022-01-02 22:58:21 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-01-02 22:58:21 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2022-01-02 22:58:21 +0100jmcantrell(~jmcantrel@user/jmcantrell)
2022-01-02 22:58:35 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2022-01-02 22:58:47 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405)
2022-01-02 22:58:51 +0100 <geekosaur> and not just apple, my android also supports it
2022-01-02 22:58:59 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2022-01-02 22:59:00 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da)
2022-01-02 22:59:00 +0100nomeata(~nomeatama@2001:470:69fc:105::1:5ed4)
2022-01-02 22:59:00 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2022-01-02 22:59:00 +0100jinsun_(~jinsun@user/jinsun)
2022-01-02 22:59:07 +0100 <EvanR> those random security cameras are now in people's homes
2022-01-02 22:59:15 +0100benjamin[m]1234(~benjaminm@2001:470:69fc:105::1:3f2f)
2022-01-02 22:59:15 +0100Heffalump[m](~hsenagmat@2001:470:69fc:105::e11)
2022-01-02 22:59:15 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585)
2022-01-02 22:59:16 +0100inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5)
2022-01-02 22:59:16 +0100yehoshuapw(~yehoshuap@2001:470:69fc:105::a5f)
2022-01-02 22:59:16 +0100tripa[m](~tripamatr@2001:470:69fc:105::1:4f7e)
2022-01-02 22:59:16 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2022-01-02 22:59:31 +0100xbreu(~xbreu@2001:470:69fc:105::1:5061)
2022-01-02 22:59:32 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2022-01-02 22:59:33 +0100 <EvanR> it's ok because your security provider is the only one who can access them
2022-01-02 22:59:46 +0100shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77)
2022-01-02 22:59:58 +0100IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9)
2022-01-02 23:00:02 +0100vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2022-01-02 23:00:12 +0100the_last_immorta(~thelastim@2001:470:69fc:105::1:4d57)
2022-01-02 23:00:12 +0100 <timCF> EvanR: is he the only one? :)
2022-01-02 23:00:21 +0100 <[exa]> timCF: anyway, the hmac scheme with nonces makes sense as a protection against ssl failures (like, if someone MITMs you, they still don't have the secret key) which is kinda reasonable because people really love curl --no-check-certificate :D
2022-01-02 23:00:26 +0100james[m]123(~jamesnina@2001:470:69fc:105::1:4203)
2022-01-02 23:00:26 +0100boxscape(~boxscape@user/boxscape)
2022-01-02 23:00:26 +0100SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2)
2022-01-02 23:00:36 +0100mestre(~mestre@191.177.175.57) (Quit: Lost terminal)
2022-01-02 23:00:38 +0100AlainJourez[m](~sherekahn@2001:470:69fc:105::1:4a71)
2022-01-02 23:00:50 +0100afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2022-01-02 23:01:02 +0100aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2022-01-02 23:01:16 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-01-02 23:01:18 +0100pfurla-matrix(~pedrofurl@2001:470:69fc:105::1:51d7)
2022-01-02 23:01:30 +0100sofviic[m](~sofviicma@2001:470:69fc:105::1:51fd)
2022-01-02 23:01:44 +0100simmsb(~simmsb@2001:470:69fc:105::1:55c3)
2022-01-02 23:01:52 +0100sprout(~quassel@2a02:a467:ccd6:1:48c8:920f:83dd:ae34)
2022-01-02 23:01:57 +0100cherryblossom[m](~cherryblo@2001:470:69fc:105::b789)
2022-01-02 23:02:12 +0100Nate[m]1(~m52957mat@2001:470:69fc:105::1:591a)
2022-01-02 23:02:24 +0100unrooted(~unrooted@2001:470:69fc:105::a4a)
2022-01-02 23:02:24 +0100jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2022-01-02 23:02:24 +0100kalxd[m](~kalxdmatr@2001:470:69fc:105::1:576e)
2022-01-02 23:03:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2022-01-02 23:03:19 +0100alx741(~alx741@157.100.93.160)
2022-01-02 23:04:34 +0100 <[exa]> timCF: still it would be SO MUCH better to just ask the server for session/request nonces, and send asymmetrically signed requests (no danger of losing keys on server data breach)
2022-01-02 23:06:41 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2022-01-02 23:06:57 +0100 <timCF> [exa]: yeah, once I've learned a bit of assymetric cryptogrtaphy - I was amazed how powerful it is, and at the same time disappointed because almost everybody is still using plain text passwords sent to servers..
2022-01-02 23:08:27 +0100shapr(~user@205.153.95.177)
2022-01-02 23:13:29 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:31 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:31 +0100siraben(~siraben@user/siraben) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:38 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:38 +0100ksqsf(~user@134.209.106.31)
2022-01-02 23:13:39 +0100juhp[m](~juhpmatri@2001:470:69fc:105::6e9) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:40 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:45 +0100kadoban(~kadoban@user/kadoban) (Quit: Client limit exceeded: 20000)
2022-01-02 23:13:57 +0100peddie(~peddie@2001:470:69fc:105::25d) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:03 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:11 +0100sm(~sm@plaintextaccounting/sm) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:11 +0100Arathorn(~arathorn@2001:470:69fc:105::1f) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:15 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:21 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:26 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:26 +0100bitonic(~bitonic@2001:470:69fc:105::1812) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:50 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 23:14:53 +0100Tisoxin(~ikosit@user/ikosit) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:57 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:57 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:57 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (Quit: Client limit exceeded: 20000)
2022-01-02 23:14:59 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:03 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:15 +0100jophish(~jophish@2001:470:69fc:105::670) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:17 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:20 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:26 +0100unrooted(~unrooted@2001:470:69fc:105::a4a) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:33 +0100boxscape(~boxscape@user/boxscape) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:45 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:46 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:54 +0100carmysilna(~brightly-@2001:470:69fc:105::2190) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:55 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Client limit exceeded: 20000)
2022-01-02 23:15:55 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2022-01-02 23:15:55 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2022-01-02 23:15:55 +0100bitonic(~bitonic@2001:470:69fc:105::1812)
2022-01-02 23:15:55 +0100kadoban(~kadoban@user/kadoban)
2022-01-02 23:15:55 +0100Arathorn(~arathorn@2001:470:69fc:105::1f)
2022-01-02 23:15:55 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2022-01-02 23:15:56 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2022-01-02 23:15:56 +0100Tisoxin(~ikosit@user/ikosit)
2022-01-02 23:15:56 +0100siraben(~siraben@user/siraben)
2022-01-02 23:15:56 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2022-01-02 23:15:59 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2022-01-02 23:16:02 +0100quantum(~quantum@user/quantum/x-8556232) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:07 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2022-01-02 23:16:08 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2022-01-02 23:16:08 +0100unrooted(~unrooted@2001:470:69fc:105::a4a)
2022-01-02 23:16:08 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2022-01-02 23:16:08 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da)
2022-01-02 23:16:09 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2022-01-02 23:16:09 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2022-01-02 23:16:09 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-01-02 23:16:09 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2022-01-02 23:16:09 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2022-01-02 23:16:09 +0100jophish(~jophish@2001:470:69fc:105::670)
2022-01-02 23:16:09 +0100peddie(~peddie@2001:470:69fc:105::25d)
2022-01-02 23:16:10 +0100carmysilna(~brightly-@2001:470:69fc:105::2190)
2022-01-02 23:16:10 +0100boxscape(~boxscape@user/boxscape)
2022-01-02 23:16:10 +0100Las[m](~lasmatrix@2001:470:69fc:105::74e)
2022-01-02 23:16:10 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2022-01-02 23:16:10 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-01-02 23:16:11 +0100sm(~sm@plaintextaccounting/sm)
2022-01-02 23:16:21 +0100Deide(~deide@user/deide) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:36 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:41 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:43 +0100jinsun_(~jinsun@user/jinsun) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:44 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:45 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Client limit exceeded: 20000)
2022-01-02 23:16:58 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Client limit exceeded: 20000)
2022-01-02 23:17:25 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Client limit exceeded: 20000)
2022-01-02 23:17:36 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886) (Quit: Client limit exceeded: 20000)
2022-01-02 23:17:49 +0100shapr(~user@205.153.95.177) (Ping timeout: 240 seconds)
2022-01-02 23:18:01 +0100alex[m](~alexchete@2001:470:69fc:105::1:1001) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:03 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:03 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:05 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:05 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:05 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:06 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:06 +0100nomeata(~nomeatama@2001:470:69fc:105::1:5ed4) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:18 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:18 +0100marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:20 +0100schuelermine[m](~schuelerm@user/schuelermine) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:21 +0100moats(~oats@user/oats) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:27 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 256 seconds)
2022-01-02 23:18:33 +0100Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Quit: Client limit exceeded: 20000)
2022-01-02 23:18:56 +0100pfurla-matrix(~pedrofurl@2001:470:69fc:105::1:51d7) (Quit: Client limit exceeded: 20000)
2022-01-02 23:19:35 +0100finalti[m](~finaltima@2001:470:69fc:105::d909) (Quit: Client limit exceeded: 20000)
2022-01-02 23:21:17 +0100GiacomoC(~GiacomoC@host-87-17-240-110.retail.telecomitalia.it) (Ping timeout: 256 seconds)
2022-01-02 23:28:22 +0100mmalter(~mmalter@88.126.10.237)
2022-01-02 23:28:39 +0100duuude(~user@user/duuude) (Ping timeout: 256 seconds)
2022-01-02 23:31:43 +0100ksqsf(~user@134.209.106.31)
2022-01-02 23:32:54 +0100alx741(~alx741@157.100.93.160)
2022-01-02 23:35:09 +0100AlexNoo_AlexNoo
2022-01-02 23:36:17 +0100ksqsf(~user@134.209.106.31) (Ping timeout: 240 seconds)
2022-01-02 23:37:08 +0100duuude(~user@user/duuude)
2022-01-02 23:37:47 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2022-01-02 23:48:16 +0100mmalter(~mmalter@88.126.10.237) (Quit: Lost terminal)
2022-01-02 23:49:03 +0100mmalter(~mmalter@88.126.10.237)
2022-01-02 23:49:45 +0100coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2022-01-02 23:55:26 +0100alx741(~alx741@157.100.93.160)
2022-01-02 23:58:44 +0100eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-01-02 23:58:45 +0100inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5) (Quit: Client limit exceeded: 20000)
2022-01-02 23:58:48 +0100sabbas(~sabbas@user/sabbas)
2022-01-02 23:59:04 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2022-01-02 23:59:47 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)