Home liberachat/#haskell: Logs Calendar

Logs on 2023-12-24 (liberachat/#haskell)

00:01:20 steew joins (~steew@user/steew)
00:04:25 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
00:09:41 <exarkun> guess I should read the fgl paper
00:13:54 × falafel_ quits (~falafel@173-245-203-52.iad.as54203.net) (Ping timeout: 260 seconds)
00:14:02 jmorris joins (uid604645@id-604645.hampstead.irccloud.com)
00:15:43 L29Ah joins (~L29Ah@wikipedia/L29Ah)
00:17:37 jb3 joins (~jb3@2a03:4000:57:b16:a4be:28ff:fe49:f0a1)
00:18:42 × jb3 quits (~jb3@2a03:4000:57:b16:a4be:28ff:fe49:f0a1) (Quit: ZNC Restarting)
00:19:14 jb3 joins (~jb3@2a03:4000:57:b16:a4be:28ff:fe49:f0a1)
00:25:51 <monochrom> But fgl doesn't build cyclic values for graphs. Not in the sense of "zs = 0 : zs".
00:29:45 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
00:34:46 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
00:36:55 APic joins (apic@apic.name)
00:37:07 × Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.)
00:37:40 Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
00:38:36 <EvanR> it's not clear that zs = 0 : zs is finitely traversable
00:38:38 × Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Client Quit)
00:39:42 <EvanR> is zeros ++ [1] finitely traversable
00:40:58 mxs joins (~mxs@user/mxs)
00:41:18 <ski> `zs = 0 : zs' is clearly equivalent to `zs = 0 : ys where ys = 0 : zs'. should `mapM f' on a similar cyclic structure, with some kind of support for not getting into non-termination when traversing, invoke `f' once or twice ? should `f' be required to be idempotent, somehow ?
00:41:42 <geekosaur> I'm not sure you can safely detect even simple cyclic values in Haskell, you'd need reallyUnsafePtrEquality# which is reallyUnsafe for a reason
00:41:57 <ski> yes
00:42:58 <ski> you can use it as an optimization, to get a shortcut. but really you should give the same result (including bottoms), if you're given two equivalent values which doesn't compare as the same value in the representation
00:45:26 <ski> with traversing a cyclic structure, one could imagine a monotonically increasing output, with a fixed point iteration to get a stable result. e.g. determining which nodes are accessible from other nodes in a graph, or say liveness analysis
00:45:35 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bd66:57bc:8aed:5e26) (Remote host closed the connection)
00:47:24 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
00:47:30 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
00:49:52 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
00:51:49 <ski> of course, you could work with a monad `M' (having `MonadFix M'), with `newIdent :: a -> M (Ident a)',`extractIdent :: Ident a -> a', with `Eq (Ident a)', for having explicit identity of nodes in your cyclic structure, so `mfix \zs -> newIdent (Cons 0 zs)' would yield a result (given say `type List f a = f (Cell f a); data Cell f a = Nil | Cons a (List f a)') of type `List Ident Integer', that compares
00:51:55 <ski> inequal to the one generated by `mfix \zs -> do ys <- newIdent (Cons 0 zs); newIdent (Cons 0 ys)'
00:52:12 emmanuelux joins (~emmanuelu@user/emmanuelux)
00:53:23 × elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 264 seconds)
00:55:24 <ski> .. but if you're going to use actual normal cyclic structures, not something like `Ident' above, then the two definitions of `zs' ought to be indistinguishable, from the POV of the language (so not including debugging)
00:56:06 <[Leary]> Relevant: <https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing>, where he uses `propriocept :: (Unique -> a) -> a` to (unsafely) make sharing observable.
00:59:47 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
01:01:07 emmanuelux joins (~emmanuelu@user/emmanuelux)
01:01:49 TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com)
01:02:11 <ski> yea, `propriocept :: (Unique -> a) -> a' looks similar/reminiscent to `newCyclicIORef :: (IORef a -> a) -> IO (IORef a)' (translated into Haskell terms from `:- pred new_cyclic_mutvar((func(generic_mutvar(T,S)) = T)::in,generic_mutvar(T,S)::out,S::di,S::uo) is det <= store(S).') in Mercury, <https://www.mercurylang.org/information/doc-latest/mercury_library/store.html>
01:02:32 LispTyro joins (~pepsi@129.159.85.69)
01:02:33 × califax quits (~califax@user/califx) (Remote host closed the connection)
01:02:55 emmanuelux_ joins (~emmanuelu@user/emmanuelux)
01:02:59 <ski> (though that one avoids the `unsafePerformIO', since the result is in `IO')
01:03:01 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
01:03:08 elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
01:03:38 bilegeek joins (~bilegeek@2600:1008:b06f:8c1a:8ca9:6352:45f7:7dd7)
01:04:01 califax joins (~califax@user/califx)
01:05:35 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
01:05:52 <ski> "The fix (sic!) is to make sure that the recursive call is using the parser we are currently defining, which we can easily do with a local definition" -- yea, this breaks equational reasoning :(
01:08:41 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
01:08:58 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
01:14:18 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
01:15:43 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:17:19 × tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds)
01:18:44 tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
01:29:09 igemnace joins (~ian@user/igemnace)
01:34:37 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
01:35:06 rovaughn joins (~rovaughn@2a09:bac3:a627:6e::b:28d)
01:35:26 kotrcka joins (~user@92.63.48.18)
01:42:05 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
01:46:31 × rovaughn quits (~rovaughn@2a09:bac3:a627:6e::b:28d) (Quit: Client closed)
01:46:45 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
01:47:00 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
01:47:07 × tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds)
01:49:03 tessier joins (~treed@ip72-197-145-89.sd.sd.cox.net)
01:56:15 dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
01:56:32 × alexherbo2 quits (~alexherbo@2a02-8440-3240-b2fd-f530-3e50-7734-7ced.rev.sfr.net) (Ping timeout: 250 seconds)
02:28:25 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
02:45:52 × Pozyomka quits (~pyon@user/pyon) (Ping timeout: 246 seconds)
02:54:10 igemnace joins (~ian@user/igemnace)
03:04:04 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
03:14:35 igemnace joins (~ian@user/igemnace)
03:16:34 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:21:05 pavonia joins (~user@user/siracusa)
03:21:07 tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
03:28:31 Pozyomka joins (~pyon@user/pyon)
03:33:54 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
03:35:23 × td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 264 seconds)
03:37:14 td_ joins (~td@i5387092A.versanet.de)
03:38:03 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
03:39:07 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
03:51:35 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
03:56:19 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:56:19 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:56:19 finn_elija is now known as FinnElija
04:05:46 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
04:13:45 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
04:19:22 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
04:19:40 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
04:24:20 aforemny_ joins (~aforemny@2001:9e8:6cce:a00:568e:ce0e:4e77:a064)
04:25:31 × aforemny quits (~aforemny@i59F516C5.versanet.de) (Ping timeout: 255 seconds)
04:26:15 × raym quits (~ray@user/raym) (Ping timeout: 252 seconds)
04:48:38 azimut joins (~azimut@gateway/tor-sasl/azimut)
04:51:04 × jargon quits (~jargon@15.sub-174-205-161.myvzw.com) (Remote host closed the connection)
04:56:49 [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
05:00:47 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
05:13:13 raym joins (~ray@user/raym)
06:04:29 lisbeths_ joins (uid135845@id-135845.lymington.irccloud.com)
06:10:20 × kotrcka quits (~user@92.63.48.18) (Remote host closed the connection)
06:15:43 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
06:16:00 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
06:18:55 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
06:21:03 trev joins (~trev@user/trev)
06:23:03 pastly joins (~pastly@gateway/tor-sasl/pastly)
06:36:26 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
06:36:51 pastly joins (~pastly@gateway/tor-sasl/pastly)
06:47:33 <Inst> i currently have a retry function that threaddelays for 5 seconds before retrying
06:47:56 <Inst> it's written as print SomeException >> threadDelay 5_000_000 >> call the catcher again
06:48:07 <Inst> I get the feeling this is causing space leaks, any possible alternatives?
06:49:58 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
06:50:17 rvalue joins (~rvalue@user/rvalue)
06:52:27 × not_reserved quits (~not_reser@154.16.157.96) (Quit: Client closed)
07:06:43 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
07:09:28 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer)
07:09:42 Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
07:09:53 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
07:13:46 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
07:17:02 × qqq quits (~qqq@92.43.167.61) (Ping timeout: 256 seconds)
07:17:31 takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:22:31 <monochrom> Do you already know of the considerations listed in my https://www.vex.net/~trebla/haskell/exception-tutorial.xhtml#catch ? Especially the 3rd one.
07:23:22 acidjnk joins (~acidjnk@p200300d6e72b9399a8c5bc149f28ceae.dip0.t-ipconnect.de)
07:25:47 × tv quits (~tv@user/tv) (Ping timeout: 264 seconds)
07:26:19 <Inst> No, but thanks for being helpful despite differences we've had in the past.
07:28:03 <Inst> I'm enjoying getting free education from your alma without any admissions requirements. :)
07:28:13 <Inst> /s/alma/employer
07:38:42 tv joins (~tv@user/tv)
07:39:06 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
07:41:40 xdminsy joins (~xdminsy@117.147.71.169)
07:48:05 johnw joins (~johnw@69.62.242.138)
07:54:14 inedia joins (~irc@2602:2da:0:80:5054:ff:fe3c:8d93)
07:58:56 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:59:16 fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
08:05:23 × majestic quits (~majestic@176.254.244.83) (Ping timeout: 264 seconds)
08:06:31 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
08:06:58 pastly joins (~pastly@gateway/tor-sasl/pastly)
08:09:03 chillxmas joins (~chillxmas@176.254.244.83)
08:09:09 Fallon joins (sid630121@id-630121.helmsley.irccloud.com)
08:12:16 <Fallon> https://porn.jules-aubert.info/humble_bundle
08:12:17 <Fallon> https://porn.jules-aubert.info/the_manga_guides
08:14:21 × Fallon quits (sid630121@id-630121.helmsley.irccloud.com) ()
08:15:49 <haskellbridge> 15<J​ade> geekosaur / @mods
08:16:01 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
08:21:25 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
08:21:46 qqq joins (~qqq@92.43.167.61)
08:21:48 mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
08:30:10 notzmv joins (~zmv@user/notzmv)
08:38:50 <haskellbridge> 05<i​rregularsphere> these bots exist on IRC?
08:50:19 waldo joins (~waldo@user/waldo)
08:50:30 <haskellbridge> 05<i​rregularsphere> so i (for some reason) sorted uno cards
08:50:51 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
08:50:53 <haskellbridge> 05<i​rregularsphere> i discovered that you can amalgamate the `ascending` and `descending` procedure into one
08:50:55 <haskellbridge> 05<i​rregularsphere> https://play-haskell.tomsmeding.com/saved/3MtsSQ2S
08:51:05 <haskellbridge> 05<i​rregularsphere> can anyone benchmark this? :P
08:51:17 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
08:51:20 <haskellbridge> 05<i​rregularsphere> also compare with `sort`
08:51:26 <haskellbridge> 05<i​rregularsphere> or `sortBy`
08:51:43 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:58:32 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:03:56 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
09:11:35 × bilegeek quits (~bilegeek@2600:1008:b06f:8c1a:8ca9:6352:45f7:7dd7) (Quit: Leaving)
09:15:38 jmdaemon joins (~jmdaemon@user/jmdaemon)
09:19:59 × waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds)
09:24:06 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds)
09:34:35 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
09:49:27 Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
09:53:54 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
09:58:07 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
10:01:10 pwug joins (~pwug@user/pwug)
10:01:19 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
10:02:12 euleritian joins (~euleritia@82.113.99.13)
10:04:01 sawilagar joins (~sawilagar@user/sawilagar)
10:15:58 × ft quits (~ft@p3e9bcf0d.dip0.t-ipconnect.de) (Quit: leaving)
10:26:03 × euleritian quits (~euleritia@82.113.99.13) (Read error: Connection reset by peer)
10:26:20 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
10:27:52 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
10:31:29 × xdminsy quits (~xdminsy@117.147.71.169) (Read error: Connection reset by peer)
10:39:09 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
10:41:14 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
10:42:34 × pwug quits (~pwug@user/pwug) (Quit: Leaving)
10:45:21 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
10:45:40 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
10:48:16 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
10:50:35 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
10:53:01 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds)
10:55:41 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
10:57:56 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
10:58:29 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 240 seconds)
10:59:07 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
11:00:35 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
11:01:09 × manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds)
11:02:16 manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck)
11:04:34 × oxide quits (~lambda@user/oxide) (Remote host closed the connection)
11:05:03 oxide joins (~lambda@user/oxide)
11:06:00 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
11:13:27 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
11:18:57 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
11:23:23 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:35:16 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
11:37:51 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
11:41:18 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
11:41:30 euleritian joins (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de)
11:50:32 × emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
11:50:40 × euleritian quits (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
11:50:59 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
12:01:32 misterfish joins (~misterfis@84.53.85.146)
12:07:05 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
12:12:23 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
12:14:40 dagit joins (~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
12:23:10 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
12:23:14 Guestuwu joins (~Guestuwu@dy67qf31pwk5bl4h8yyby-4.rev.dnainternet.fi)
12:24:48 img joins (~img@user/img)
12:30:41 wootehfoot joins (~wootehfoo@user/wootehfoot)
12:38:19 waldo joins (~waldo@user/waldo)
12:44:00 × lisbeths_ quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
12:46:31 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
12:47:58 euleritian joins (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de)
12:48:41 × euleritian quits (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
12:48:57 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
12:51:04 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
12:53:07 × mikess quits (~sam@user/mikess) (Ping timeout: 276 seconds)
12:56:30 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:57:05 alexherbo2 joins (~alexherbo@56.37.22.93.rev.sfr.net)
13:05:04 igemnace joins (~ian@user/igemnace)
13:05:33 TMRWFRVR joins (~TMRWFRVR@s01068c763f5800b1.vc.shawcable.net)
13:17:31 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
13:19:18 wootehfoot joins (~wootehfoo@user/wootehfoot)
13:21:11 × TMRWFRVR quits (~TMRWFRVR@s01068c763f5800b1.vc.shawcable.net) (Ping timeout: 245 seconds)
13:32:10 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
13:32:53 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
13:44:05 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
13:44:56 euleritian joins (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de)
13:48:06 TMRWFRVR joins (~TMRWFRVR@S01068c763f5800b1.vc.shawcable.net)
13:52:57 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
13:55:31 × elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 276 seconds)
13:56:02 × euleritian quits (~euleritia@dynamic-046-114-227-135.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
13:57:07 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:00:59 × alexherbo2 quits (~alexherbo@56.37.22.93.rev.sfr.net) (Remote host closed the connection)
14:01:57 alexherbo2 joins (~alexherbo@2a02-8440-3340-bd90-7d49-a321-1654-ce35.rev.sfr.net)
14:05:18 elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
14:09:49 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
14:10:21 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
14:10:58 euleritian joins (~euleritia@dynamic-046-114-181-240.46.114.pool.telefonica.de)
14:11:17 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
14:17:58 × jle` quits (~jle`@2603-8001-3b02-84d4-f978-47bf-a33f-1cc7.res6.spectrum.com) (Quit: WeeChat 3.8)
14:19:58 waldo joins (~waldo@user/waldo)
14:32:22 × Guestuwu quits (~Guestuwu@dy67qf31pwk5bl4h8yyby-4.rev.dnainternet.fi) (Quit: Client closed)
14:35:57 × euleritian quits (~euleritia@dynamic-046-114-181-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
14:36:15 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:38:33 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
14:38:56 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:40:53 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
14:41:10 euleritian joins (~euleritia@dynamic-046-114-181-240.46.114.pool.telefonica.de)
14:41:37 × son0p quits (~ff@181.136.122.143) (Ping timeout: 246 seconds)
14:44:07 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
14:44:07 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
14:44:07 azimut_ joins (~azimut@gateway/tor-sasl/azimut)
14:44:32 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
14:44:55 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
14:45:43 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
14:46:07 × chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
14:46:48 chiselfuse joins (~chiselfus@user/chiselfuse)
14:47:46 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
14:50:50 × azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
14:51:14 azimut joins (~azimut@gateway/tor-sasl/azimut)
14:51:22 pastly joins (~pastly@gateway/tor-sasl/pastly)
14:51:26 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
14:52:50 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
14:53:17 pastly joins (~pastly@gateway/tor-sasl/pastly)
14:56:10 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
14:56:39 pastly joins (~pastly@gateway/tor-sasl/pastly)
14:59:26 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 256 seconds)
15:00:21 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
15:03:43 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
15:04:30 pastly joins (~pastly@gateway/tor-sasl/pastly)
15:11:57 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
15:13:04 waldo joins (~waldo@user/waldo)
15:15:07 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
15:17:22 × waldo quits (~waldo@user/waldo) (Ping timeout: 260 seconds)
15:20:40 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
15:26:28 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
15:26:57 ChaiTRex joins (~ChaiTRex@user/chaitrex)
15:27:50 × TMRWFRVR quits (~TMRWFRVR@S01068c763f5800b1.vc.shawcable.net) (Ping timeout: 268 seconds)
15:29:37 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
15:31:36 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
15:39:35 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
15:39:59 azimut joins (~azimut@gateway/tor-sasl/azimut)
16:00:55 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
16:02:20 × TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving)
16:02:20 × alexherbo2 quits (~alexherbo@2a02-8440-3340-bd90-7d49-a321-1654-ce35.rev.sfr.net) (Remote host closed the connection)
16:02:34 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
16:04:13 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
16:04:23 Chai-T-Rex joins (~ChaiTRex@user/chaitrex)
16:04:55 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
16:04:55 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
16:05:36 pastly joins (~pastly@gateway/tor-sasl/pastly)
16:08:33 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
16:09:18 tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
16:10:16 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Remote host closed the connection)
16:11:37 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:13:46 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
16:15:29 rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca)
16:16:52 igemnace joins (~ian@user/igemnace)
16:18:20 sawilagar joins (~sawilagar@user/sawilagar)
16:19:31 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
16:20:41 waldo joins (~waldo@user/waldo)
16:22:17 TMRWFRVR joins (~TMRWFRVR@S01068c763f5800b1.vc.shawcable.net)
16:22:38 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
16:22:50 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
16:25:45 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
16:26:20 alexherbo2 joins (~alexherbo@2a02-8440-3340-bd90-7d49-a321-1654-ce35.rev.sfr.net)
16:28:41 × waldo quits (~waldo@user/waldo) (Ping timeout: 245 seconds)
16:34:26 × TMRWFRVR quits (~TMRWFRVR@S01068c763f5800b1.vc.shawcable.net) (Ping timeout: 252 seconds)
16:42:34 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-34-67-70-201-226.dsl.bell.ca) (Ping timeout: 276 seconds)
16:50:15 son0p joins (~ff@181.136.122.143)
16:50:42 × euleritian quits (~euleritia@dynamic-046-114-181-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
16:50:54 euleritian joins (~euleritia@p200300d40f2c2a0088d134f864909032.dip0.t-ipconnect.de)
16:57:22 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
16:57:54 gdown joins (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net)
17:00:46 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
17:00:50 chomwitt joins (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
17:03:27 L29Ah joins (~L29Ah@wikipedia/L29Ah)
17:09:57 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:17:16 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
17:40:24 waldo joins (~waldo@user/waldo)
17:47:32 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
17:55:16 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:56:13 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
17:58:55 × Me-me quits (~me-me@user/me-me) (Remote host closed the connection)
18:01:20 × elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
18:01:33 Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d)
18:04:37 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 246 seconds)
18:09:46 elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
18:09:50 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
18:11:17 × waldo quits (~waldo@user/waldo) (Ping timeout: 240 seconds)
18:12:35 waldo joins (~waldo@user/waldo)
18:17:01 × waldo quits (~waldo@user/waldo) (Ping timeout: 245 seconds)
18:19:24 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
18:23:35 waldo joins (~waldo@user/waldo)
18:23:41 ft joins (~ft@mue-88-130-104-085.dsl.tropolys.de)
18:30:06 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:31:45 myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
18:33:12 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
18:39:31 L29Ah joins (~L29Ah@wikipedia/L29Ah)
18:45:00 mikess joins (~sam@user/mikess)
18:51:57 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
18:52:40 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
18:56:27 × trev quits (~trev@user/trev) (Quit: trev)
19:08:55 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
19:16:40 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
19:21:39 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
19:31:15 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:31:47 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:39:31 notzmv joins (~zmv@user/notzmv)
19:43:08 × euleritian quits (~euleritia@p200300d40f2c2a0088d134f864909032.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
19:45:25 euleritian joins (~euleritia@p200300d40f2c2a005c1eff70d91800bb.dip0.t-ipconnect.de)
19:48:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:57:40 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:59:40 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
19:59:55 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
20:03:46 tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
20:10:26 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
20:13:49 × alexherbo2 quits (~alexherbo@2a02-8440-3340-bd90-7d49-a321-1654-ce35.rev.sfr.net) (Remote host closed the connection)
20:14:57 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
20:18:54 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
20:36:51 × waldo quits (~waldo@user/waldo) (Quit: waldo)
20:44:35 × zeka quits (~zeka@2600:1700:2121:180:b0f4:ebbe:6b0b:46b1) (Remote host closed the connection)
20:46:36 zeka joins (~zeka@2600:1700:2121:180:3560:92ba:5300:c7ab)
20:52:56 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
20:59:54 × gdown quits (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Ping timeout: 268 seconds)
21:02:29 araujo joins (~araujo@216.73.163.190)
21:04:42 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
21:26:07 × euleritian quits (~euleritia@p200300d40f2c2a005c1eff70d91800bb.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
21:27:43 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
21:47:23 × araujo quits (~araujo@216.73.163.190) (Ping timeout: 256 seconds)
21:48:04 dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
21:52:45 Sgeo joins (~Sgeo@user/sgeo)
21:54:02 × micro quits (~micro@user/micro) (Ping timeout: 260 seconds)
21:57:14 micro joins (~micro@user/micro)
22:20:23 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
22:24:21 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:26:52 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
22:32:41 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
22:40:07 xdminsy joins (~xdminsy@117.147.71.169)
22:40:46 × oxide quits (~lambda@user/oxide) (Ping timeout: 246 seconds)
22:53:55 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:02:13 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich)
23:02:47 peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
23:05:46 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 245 seconds)
23:07:59 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
23:17:07 × chillxmas quits (~chillxmas@176.254.244.83) (Ping timeout: 276 seconds)
23:18:22 nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
23:18:37 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
23:23:46 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
23:26:08 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7) (Remote host closed the connection)
23:29:33 notzmv joins (~zmv@user/notzmv)
23:34:50 × acidjnk quits (~acidjnk@p200300d6e72b9399a8c5bc149f28ceae.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
23:45:01 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:58c1:2533:b464:a7)
23:49:45 euleritian joins (~euleritia@p200300d40f2c2a009c193cdcc0621a84.dip0.t-ipconnect.de)
23:53:31 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 276 seconds)

All times are in UTC on 2023-12-24.