Home liberachat/#haskell: Logs Calendar

Logs on 2022-01-02 (liberachat/#haskell)

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

All times are in UTC on 2022-01-02.