IRCBrowse

2023/01/26

2023-01-26 00:01:36 +0100pavonia(~user@user/siracusa)
2023-01-26 00:03:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-01-26 00:05:55 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-01-26 00:06:55 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-01-26 00:10:29 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 00:10:47 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 00:11:40 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-01-26 00:16:42 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-26 00:20:03 +0100Guest75(~Guest75@178.141.149.12) (Ping timeout: 260 seconds)
2023-01-26 00:30:08 +0100sayola(~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2023-01-26 00:30:45 +0100sayola(~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de)
2023-01-26 00:32:03 +0100AlexZenon(~alzenon@178.34.160.228) (Ping timeout: 255 seconds)
2023-01-26 00:32:41 +0100Alex_test(~al_test@178.34.160.228) (Ping timeout: 256 seconds)
2023-01-26 00:35:34 +0100burakcank(burakcank@has.arrived.and.is.ready-to.party) (Killed (NickServ (GHOST command used by burakcank_!B438@free.znc.bg)))
2023-01-26 00:35:51 +0100burakcan-(burakcank@has.arrived.and.is.ready-to.party)
2023-01-26 00:36:30 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-01-26 00:37:36 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-01-26 00:39:31 +0100Alex_test(~al_test@178.34.160.228)
2023-01-26 00:40:05 +0100AlexZenon(~alzenon@178.34.160.228)
2023-01-26 00:40:19 +0100acidjnk(~acidjnk@p200300d6e715c43759e8b04853fbd72e.dip0.t-ipconnect.de)
2023-01-26 00:41:29 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 00:41:47 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 00:43:18 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-01-26 00:43:34 +0100jinsun(~jinsun@user/jinsun)
2023-01-26 00:45:34 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-01-26 00:45:45 +0100drewolson(~drewolson@user/drewolson) (Remote host closed the connection)
2023-01-26 00:45:49 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2023-01-26 00:45:57 +0100drewolson(~drewolson@user/drewolson)
2023-01-26 00:46:54 +0100ario(~ario@159.65.220.102) (Ping timeout: 255 seconds)
2023-01-26 00:46:59 +0100Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Ping timeout: 260 seconds)
2023-01-26 00:47:02 +0100ario(~ario@159.65.220.102)
2023-01-26 00:49:45 +0100Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-01-26 00:51:23 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-01-26 00:51:24 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 268 seconds)
2023-01-26 00:56:59 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 00:58:23 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 01:03:19 +0100michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2023-01-26 01:14:50 +0100kjak_(~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2023-01-26 01:16:38 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 01:20:17 +0100acidjnk(~acidjnk@p200300d6e715c43759e8b04853fbd72e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-01-26 01:20:33 +0100 <jle``> hi haskellers
2023-01-26 01:20:36 +0100 <jle``> how are yall today
2023-01-26 01:20:42 +0100 <jle``> how goes the haskelling
2023-01-26 01:21:07 +0100 <geekosaur> it goes
2023-01-26 01:21:19 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-01-26 01:21:31 +0100 <jle``> :)
2023-01-26 01:22:02 +0100 <geekosaur> I just filed https://github.com/haskell/haskell-language-server/issues/3466 asking for more control over HLS's import list handling
2023-01-26 01:23:32 +0100 <geekosaur> although now I wonder if I should file a ghc proposal to make an import list of `(_)` an explicit import of everything to silence import list warnings
2023-01-26 01:24:50 +0100 <sm> goes well [jle](https://matrix.to/#/@jle:libera.chat) , how about you
2023-01-26 01:24:54 +0100 <sm> yikes
2023-01-26 01:25:18 +0100 <sm> your ticks are breaking Element :)
2023-01-26 01:37:39 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 01:58:34 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2023-01-26 02:04:33 +0100eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2023-01-26 02:06:38 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-01-26 02:06:38 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-01-26 02:06:38 +0100wroathe(~wroathe@user/wroathe)
2023-01-26 02:11:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-01-26 02:13:05 +0100ddellacosta(~ddellacos@89.45.224.176)
2023-01-26 02:17:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-01-26 02:18:29 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2023-01-26 02:20:09 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-26 02:20:36 +0100 <geekosaur> on second thought I'm now preferring the idea of repurposing {-# COMPLETE #-} rather than a syntax change just to silence a warning
2023-01-26 02:22:19 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-01-26 02:22:21 +0100 <geekosaur> haven't written the proposal yet, am reviewing the proposal guidelines and taking notes on what I want to propose
2023-01-26 02:24:31 +0100anatta(~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2023-01-26 02:24:56 +0100talismanick(~talismani@2601:200:c181:4c40::1be2)
2023-01-26 02:25:21 +0100cheater_(~Username@user/cheater)
2023-01-26 02:26:59 +0100cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-01-26 02:27:07 +0100cheater_cheater
2023-01-26 02:27:09 +0100telser_(~quassel@user/telser) (Ping timeout: 256 seconds)
2023-01-26 02:27:37 +0100telser(~quassel@user/telser)
2023-01-26 02:28:17 +0100xff0x(~xff0x@2405:6580:b080:900:871a:e40b:4f89:8da5) (Ping timeout: 256 seconds)
2023-01-26 02:29:12 +0100anatta(~AdiIRC@94.191.136.8.mobile.tre.se)
2023-01-26 02:49:43 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds)
2023-01-26 02:51:22 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-01-26 02:57:42 +0100ddellacosta(~ddellacos@89.45.224.176) (Quit: WeeChat 3.7.1)
2023-01-26 03:00:42 +0100ddellacosta(~ddellacos@89.45.224.189)
2023-01-26 03:07:28 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-01-26 03:09:05 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2023-01-26 03:10:07 +0100CiaoSen(~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-01-26 03:13:24 +0100[Ristovski](~Ristovski@hellomouse/perf/ristovski) (Quit: 0)
2023-01-26 03:13:34 +0100Ristovsk-(~Ristovski@hellomouse/perf/ristovski)
2023-01-26 03:13:35 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-01-26 03:18:02 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-01-26 03:20:45 +0100anatta_(~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se)
2023-01-26 03:21:07 +0100anatta(~AdiIRC@94.191.136.8.mobile.tre.se) (Read error: Connection reset by peer)
2023-01-26 03:21:12 +0100anatta_anatta
2023-01-26 03:21:50 +0100dfip^(~dfip@c-24-30-76-89.hsd1.ga.comcast.net)
2023-01-26 03:23:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2023-01-26 03:45:11 +0100opticblast(~Thunderbi@secure-165.caltech.edu) (Ping timeout: 264 seconds)
2023-01-26 03:49:05 +0100razetime(~Thunderbi@117.193.7.5)
2023-01-26 03:56:35 +0100remedan(~remedan@ip-89-177-74-251.bb.vodafone.cz) (Ping timeout: 260 seconds)
2023-01-26 03:56:39 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-01-26 03:57:57 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-01-26 03:57:59 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-01-26 04:11:03 +0100jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection)
2023-01-26 04:11:59 +0100ubert(~Thunderbi@p548c9ce5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-01-26 04:13:15 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-01-26 04:13:43 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-01-26 04:13:56 +0100ubert(~Thunderbi@p548c879c.dip0.t-ipconnect.de)
2023-01-26 04:20:20 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-01-26 04:21:09 +0100gmg(~user@user/gehmehgeh)
2023-01-26 04:22:11 +0100ddellacosta(~ddellacos@89.45.224.189) (Ping timeout: 256 seconds)
2023-01-26 04:28:30 +0100ddellacosta(~ddellacos@143.244.47.83)
2023-01-26 04:29:29 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 260 seconds)
2023-01-26 04:38:55 +0100motherfsck(~motherfsc@user/motherfsck)
2023-01-26 04:44:43 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-01-26 04:44:43 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-01-26 04:44:43 +0100finn_elijaFinnElija
2023-01-26 04:47:27 +0100td_(~td@i53870930.versanet.de) (Ping timeout: 252 seconds)
2023-01-26 04:49:10 +0100td_(~td@i53870925.versanet.de)
2023-01-26 04:54:34 +0100thegeekinside(~thegeekin@189.180.66.244) (Ping timeout: 260 seconds)
2023-01-26 04:55:22 +0100slack1256(~slack1256@181.42.53.81)
2023-01-26 04:55:40 +0100Ristovsk-(~Ristovski@hellomouse/perf/ristovski) (Ping timeout: 252 seconds)
2023-01-26 04:56:14 +0100[Ristovski](~Ristovski@hellomouse/perf/ristovski)
2023-01-26 04:56:23 +0100 <anatta> i'm just making myself confused right now
2023-01-26 04:56:48 +0100 <anatta> is there a way to get an accumulating return value from State?
2023-01-26 04:57:13 +0100 <anatta> like instead of a getting [a] where [a] is the accumulated a:s from all previous iterations
2023-01-26 04:57:54 +0100 <anatta> (i guess that the state **is** an accumulated return value in itself)
2023-01-26 04:58:32 +0100 <anatta> (but then it seems difficult to read from it lazily?)
2023-01-26 04:59:02 +0100 <monochrom> You can always use "modify f". Now design an f that "accumulates". For example "modify (+ 1)".
2023-01-26 05:00:29 +0100 <anatta> yeah, but like
2023-01-26 05:00:47 +0100razetime(~Thunderbi@117.193.7.5) (Ping timeout: 264 seconds)
2023-01-26 05:01:01 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2023-01-26 05:01:03 +0100 <smol-hors> does learning haskell help with understanding maths
2023-01-26 05:01:18 +0100 <slack1256> smol-hors: yes.
2023-01-26 05:01:36 +0100 <monochrom> Depends on what you emphasize.
2023-01-26 05:02:10 +0100 <smol-hors> it's a vague question, sorry, but I guess my goals are a bit vague too :/
2023-01-26 05:02:35 +0100 <monochrom> And depends on which part of math.
2023-01-26 05:02:39 +0100 <smol-hors> yeah
2023-01-26 05:02:42 +0100 <anatta> let's say I have a Program :: State ProgramState (), and I want to log every action that's taken in the program as a [Action]
2023-01-26 05:02:58 +0100 <smol-hors> which parts of maths does it help?
2023-01-26 05:03:51 +0100 <anatta> and I'd ideally want to be able to still read that [Action] list when I do things like repeat p = p >> repeat p
2023-01-26 05:04:03 +0100 <smol-hors> I learned some hs about 10 years ago so it's not completely new to me
2023-01-26 05:04:19 +0100 <smol-hors> funny how time flies
2023-01-26 05:05:06 +0100 <slack1256> I teaching my nephew basic "functions" like line equation and quadratic equations. Sometimes we push code to ghci to see it compute stuff.
2023-01-26 05:05:14 +0100 <anatta> but I can't figure out how to do that, because if I put the action list inside the ProgramState, it's unclear to me how I get it out lazily
2023-01-26 05:05:20 +0100 <slack1256> At least on the pre highschool level it is useful.
2023-01-26 05:06:29 +0100 <slack1256> On first year of college, I did real analysis with sequences. If the sequence had a clear definition, I could create a lazy list and see it converge to a certain value haha.
2023-01-26 05:07:03 +0100 <smol-hors> :)
2023-01-26 05:07:10 +0100ddellacosta(~ddellacos@143.244.47.83) (Ping timeout: 260 seconds)
2023-01-26 05:08:02 +0100 <smol-hors> oh well, I'm gonna do it anyway, see where it takes me
2023-01-26 05:09:28 +0100 <smol-hors> I'm going to read haskell programming: from first principles to get started
2023-01-26 05:13:56 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-01-26 05:22:00 +0100bilegeek(~bilegeek@2600:1008:b03a:5d8:e873:86b7:1b31:ecf9)
2023-01-26 05:26:28 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2023-01-26 05:27:01 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2023-01-26 05:28:12 +0100 <jackdk> anatta: I would look to find some way of diffing `ProgramState`, and then using one of the streaming monad transformers (I prefer `streaming`) to interleave "emit state transition" with "execution step"
2023-01-26 05:30:40 +0100 <anatta> jackdk: hm, I'll look into that - it looks promising at least, thanks
2023-01-26 05:30:53 +0100ddellacosta(~ddellacos@89.45.224.20)
2023-01-26 05:35:59 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-26 05:39:34 +0100slack1256(~slack1256@181.42.53.81) (Remote host closed the connection)
2023-01-26 05:43:01 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-26 05:43:17 +0100razetime(~Thunderbi@117.193.7.5)
2023-01-26 05:46:58 +0100 <jackdk> anatta: altenartively, work with the stream of `Action` to build your state-based actions instead of trying to reconstruct ri
2023-01-26 05:54:22 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-01-26 06:06:50 +0100falafel(~falafel@2607:fb91:1449:aea0:2d5c:905a:8a52:3145)
2023-01-26 06:14:43 +0100motherfsck(~motherfsc@user/motherfsck)
2023-01-26 06:15:08 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-01-26 06:17:17 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-01-26 06:24:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-01-26 06:28:40 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-26 06:29:03 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 06:41:45 +0100barzo(~hd@31.223.41.44)
2023-01-26 06:49:30 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-26 06:53:12 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
2023-01-26 06:55:40 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-01-26 06:57:39 +0100 <sm> hey all. I'm a little confused. https://hackage.haskell.org/package/ansi-terminal-0.11.4/docs/System-Console-ANSI.html#v:getLayerC… gives me a RGB Word16. Clicking on RGB takes me to https://hackage.haskell.org/package/colour-2.3.6/docs/Data-Colour-RGBSpace-HSL.html and I'd like to use the lightness function there, but it only takes Fractional a, which Word16 isn't ? Where have I gone wrong ?
2023-01-26 06:59:30 +0100 <c_wraith> you haven't
2023-01-26 07:02:10 +0100 <sm> I think those RGB functions are only applicable to a certain kind of RGB a (with a Fractional a), and I need to convert my RGB to one of those ?
2023-01-26 07:03:02 +0100 <c_wraith> yeah, though that package definitely has a lot of code for dealing with linear vs perceptual color spaces
2023-01-26 07:03:44 +0100 <c_wraith> I'm assuming a Word16 representation is linear, but the RGB type explicitly says "unspecified"
2023-01-26 07:03:57 +0100 <c_wraith> So you're going to have to make some assumptions doing conversions
2023-01-26 07:04:53 +0100 <sm> I seem to be doing something they didn't intend
2023-01-26 07:04:55 +0100 <c_wraith> note that RGB has a Functor instance, so you can always hand-wave it away with some fmap
2023-01-26 07:05:15 +0100smchecking if terminal is dark or light, like a peasant
2023-01-26 07:06:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-01-26 07:06:39 +0100 <sm> I thought: I know, I'll use https://blog.plover.com/prog/haskell/numbers.html . But it makes navigating from Word16 to RealFrac look hilariously difficult :)
2023-01-26 07:06:47 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
2023-01-26 07:07:31 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-01-26 07:07:33 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-01-26 07:09:07 +0100 <sm> but it's not, is it. fromIntegral (1 :: Word16) :: Double
2023-01-26 07:09:09 +0100 <c_wraith> > let f x = fromIntegral x / (2**16 - 1) in fmap f [minBound :: Word16, maxBound]
2023-01-26 07:09:11 +0100 <lambdabot> [0.0,1.0]
2023-01-26 07:09:21 +0100 <c_wraith> it's just a call to fromIntegral
2023-01-26 07:09:29 +0100 <sm> awesome, thank you
2023-01-26 07:13:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-26 07:14:46 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2023-01-26 07:24:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-26 07:28:32 +0100bilegeek(~bilegeek@2600:1008:b03a:5d8:e873:86b7:1b31:ecf9) (Quit: Leaving)
2023-01-26 07:28:44 +0100falafel(~falafel@2607:fb91:1449:aea0:2d5c:905a:8a52:3145) (Ping timeout: 255 seconds)
2023-01-26 07:29:36 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-01-26 07:33:03 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-01-26 07:35:46 +0100biberu(~biberu@user/biberu)
2023-01-26 07:36:59 +0100mei(~mei@user/mei)
2023-01-26 07:38:44 +0100barzo(~hd@31.223.41.44) (Remote host closed the connection)
2023-01-26 07:39:02 +0100motherfsck(~motherfsc@user/motherfsck)
2023-01-26 07:39:08 +0100barzo(~hd@31.223.41.44)
2023-01-26 07:49:11 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-01-26 07:53:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-26 07:53:01 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 07:56:31 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-01-26 07:56:31 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-01-26 07:56:31 +0100finn_elijaFinnElija
2023-01-26 08:02:43 +0100jakalx(~jakalx@base.jakalx.net)
2023-01-26 08:11:47 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-01-26 08:18:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-26 08:19:05 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-01-26 08:30:07 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2023-01-26 08:30:30 +0100Guest7573(~Guest75@178.141.149.12)
2023-01-26 08:32:56 +0100mei(~mei@user/mei)
2023-01-26 08:39:09 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-01-26 08:43:21 +0100michalz(~michalz@185.246.207.215)
2023-01-26 08:48:29 +0100rs(~rs@p200300cf073db27a072022d691b77a2b.dip0.t-ipconnect.de)
2023-01-26 08:48:52 +0100rsGuest1333
2023-01-26 08:52:10 +0100dfip^(~dfip@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2023-01-26 08:53:17 +0100akegalj(~akegalj@93-137-55-143.adsl.net.t-com.hr)
2023-01-26 08:58:19 +0100mikoto-chan(~mikoto-ch@2001:999:600:25ea:eedb:be94:cd45:7d41)
2023-01-26 09:01:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-26 09:01:40 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:9227:6b9e:5c26:eb11)
2023-01-26 09:12:45 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 268 seconds)
2023-01-26 09:12:56 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Remote host closed the connection)
2023-01-26 09:14:26 +0100zeenk(~zeenk@2a02:2f04:a014:8700::7fe)
2023-01-26 09:19:05 +0100Guest1333(~rs@p200300cf073db27a072022d691b77a2b.dip0.t-ipconnect.de) (Quit: Client closed)
2023-01-26 09:25:20 +0100barzo(~hd@31.223.41.44) (Ping timeout: 246 seconds)
2023-01-26 09:26:05 +0100MajorBiscuit(~MajorBisc@c-001-032-042.client.tudelft.eduvpn.nl)
2023-01-26 09:27:57 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de)
2023-01-26 09:30:23 +0100fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7)
2023-01-26 09:30:53 +0100yoneda(~mike@193.206.102.122)
2023-01-26 09:34:48 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-01-26 09:37:03 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-01-26 09:39:55 +0100chele(~chele@user/chele)
2023-01-26 09:40:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-01-26 09:44:57 +0100coot(~coot@213.134.171.3)
2023-01-26 09:52:56 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-26 09:56:05 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-01-26 09:56:42 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32)
2023-01-26 09:59:11 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2023-01-26 09:59:46 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving)
2023-01-26 10:00:06 +0100pennychase[m](~pennychas@2001:470:69fc:105::1:3043) (Quit: You have been kicked for being idle)
2023-01-26 10:00:07 +0100HotFlame[m](~aerphanas@2001:470:69fc:105::2:e67c) (Quit: You have been kicked for being idle)
2023-01-26 10:01:03 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-01-26 10:02:17 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-01-26 10:02:34 +0100talismanick(~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 252 seconds)
2023-01-26 10:03:28 +0100int-index(~Vladislav@109-252-30-248.nat.spd-mgts.ru)
2023-01-26 10:05:40 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-01-26 10:13:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837)
2023-01-26 10:17:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Ping timeout: 252 seconds)
2023-01-26 10:27:20 +0100jludwig(~justin@li657-110.members.linode.com) (Ping timeout: 246 seconds)
2023-01-26 10:30:18 +0100jludwig(~justin@li657-110.members.linode.com)
2023-01-26 10:32:04 +0100use-value1(~Thunderbi@2a00:23c6:8a03:2f01:898b:2aa:c3c8:2561)
2023-01-26 10:32:20 +0100mikoto-chan(~mikoto-ch@2001:999:600:25ea:eedb:be94:cd45:7d41) (Ping timeout: 255 seconds)
2023-01-26 10:34:38 +0100use-value(~Thunderbi@2a00:23c6:8a03:2f01:6c1e:f171:b1ec:34de) (Ping timeout: 246 seconds)
2023-01-26 10:34:38 +0100use-value1use-value
2023-01-26 10:41:12 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-01-26 10:42:00 +0100img_(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-01-26 10:42:28 +0100img(~img@user/img)
2023-01-26 10:42:42 +0100img(~img@user/img) (Remote host closed the connection)
2023-01-26 10:45:50 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:9227:6b9e:5c26:eb11) (Ping timeout: 255 seconds)
2023-01-26 10:54:21 +0100mikoto-chan(~mikoto-ch@2001:999:600:25ea:eedb:be94:cd45:7d41)
2023-01-26 10:56:16 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2023-01-26 10:56:36 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 10:57:33 +0100mei(~mei@user/mei)
2023-01-26 11:03:57 +0100ccapndave(~ccapndave@mob-194-230-146-133.cgn.sunrise.net)
2023-01-26 11:08:01 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 11:08:07 +0100mei(~mei@user/mei)
2023-01-26 11:08:20 +0100mei(~mei@user/mei) (Client Quit)
2023-01-26 11:08:42 +0100theproffesor(~theproffe@user/theproffesor) (Ping timeout: 252 seconds)
2023-01-26 11:09:48 +0100arkeet(arkeet@moriya.ca) (Ping timeout: 252 seconds)
2023-01-26 11:11:41 +0100arkeet(arkeet@moriya.ca)
2023-01-26 11:12:16 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds)
2023-01-26 11:24:11 +0100ubert1(~Thunderbi@2a02:8109:abc0:6434:ed98:ba46:736b:d019)
2023-01-26 11:26:07 +0100arkeet(arkeet@moriya.ca) (Ping timeout: 248 seconds)
2023-01-26 11:26:18 +0100arkeet(arkeet@moriya.ca)
2023-01-26 11:28:25 +0100coot(~coot@213.134.171.3) (Quit: coot)
2023-01-26 11:30:23 +0100ccapndave(~ccapndave@mob-194-230-146-133.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-01-26 11:30:57 +0100ccapndave(~ccapndave@mob-194-230-146-133.cgn.sunrise.net)
2023-01-26 11:31:04 +0100mikoto-chan(~mikoto-ch@2001:999:600:25ea:eedb:be94:cd45:7d41) (Ping timeout: 252 seconds)
2023-01-26 11:44:11 +0100img(~img@user/img)
2023-01-26 11:45:42 +0100ccapndave(~ccapndave@mob-194-230-146-133.cgn.sunrise.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-01-26 11:46:27 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-01-26 11:50:23 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de)
2023-01-26 11:50:57 +0100mei(~mei@user/mei)
2023-01-26 11:53:36 +0100mmhat(~mmh@p200300f1c7123c2eee086bfffe095315.dip0.t-ipconnect.de)
2023-01-26 11:53:40 +0100mmhat(~mmh@p200300f1c7123c2eee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-01-26 11:56:14 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-01-26 11:56:31 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 11:56:45 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-01-26 12:01:09 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-01-26 12:01:23 +0100Guest20(~Guest20@2402:3a80:164f:c3b4:1902:f4d:2a89:637f)
2023-01-26 12:02:32 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-01-26 12:02:37 +0100Guest20(~Guest20@2402:3a80:164f:c3b4:1902:f4d:2a89:637f) ()
2023-01-26 12:06:01 +0100mei(~mei@user/mei)
2023-01-26 12:08:04 +0100xff0x(~xff0x@2405:6580:b080:900:407:77dd:ca7b:53b8)
2023-01-26 12:19:18 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-01-26 12:19:30 +0100int-index(~Vladislav@109-252-30-248.nat.spd-mgts.ru) (Quit: Konversation terminated!)
2023-01-26 12:50:24 +0100cheater_(~Username@user/cheater)
2023-01-26 12:52:19 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-01-26 12:52:21 +0100cheater_cheater
2023-01-26 12:53:01 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-01-26 12:54:14 +0100 <Profpatsch> I have an enum data Foo = A | B deriving (Enum, Bounded)
2023-01-26 12:54:36 +0100 <Profpatsch> and a function distinguish :: X -> (Foo, X)
2023-01-26 12:55:23 +0100 <Profpatsch> Is it possible do construct a way that forces the user of (Foo, X) to case-match on Foo before looking at X?
2023-01-26 12:55:34 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-01-26 12:55:57 +0100 <Profpatsch> So basically turning data Foo = A | B into data Foo a = A a | B a without adding the type argument to every case of Foo
2023-01-26 13:08:41 +0100akegalj(~akegalj@93-137-55-143.adsl.net.t-com.hr) (Ping timeout: 252 seconds)
2023-01-26 13:12:31 +0100razetime(~Thunderbi@117.193.7.5) (Remote host closed the connection)
2023-01-26 13:14:26 +0100 <opqdonut> well you could use `distinguish :: X -> (Foo -> X)` instead
2023-01-26 13:14:53 +0100 <opqdonut> err, no
2023-01-26 13:15:30 +0100 <opqdonut> I had a thought about using an eliminator function to stand in for the pattern match but now I can't formulate that into code
2023-01-26 13:15:47 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 264 seconds)
2023-01-26 13:16:13 +0100 <geekosaur> I thought about that too, but also can't come up with a sensible implementation
2023-01-26 13:16:34 +0100 <geekosaur> I don't think it can be done without putting the value under the constructor
2023-01-26 13:17:11 +0100 <opqdonut> yeah the natural encoding is something like `destructure :: (Foo,X) -> (Foo -> X -> a) -> a`
2023-01-26 13:17:29 +0100 <opqdonut> but one can just ignore the Foo argument
2023-01-26 13:17:39 +0100 <mauke> custom pattern shenanigans?
2023-01-26 13:17:43 +0100 <jackdk> Linear arrows?
2023-01-26 13:17:47 +0100 <mauke> but what's the point? you could always write a function to undo it and give you a plain (Foo, X)
2023-01-26 13:17:49 +0100 <geekosaur> that was what I ran into, yeh
2023-01-26 13:18:03 +0100 <opqdonut> mauke: yeah
2023-01-26 13:18:28 +0100 <opqdonut> instead of a function, one could use something like `Map Foo (X -> a)`
2023-01-26 13:18:29 +0100 <jackdk> Make a Foo a GADT and use dependent-sum?
2023-01-26 13:18:58 +0100 <opqdonut> it's equivalent to (Foo,X) still, but it kinda directs the user towards handling the cases separately
2023-01-26 13:20:06 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 13:21:44 +0100 <geekosaur> thre more machinery like this you involve, though, the more inviting the simpler encoding (A a | B a) becomes
2023-01-26 13:22:58 +0100elevenkb(~elevenkb@105.184.125.233)
2023-01-26 13:23:36 +0100cheater_(~Username@user/cheater)
2023-01-26 13:25:35 +0100cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-01-26 13:25:42 +0100cheater_cheater
2023-01-26 13:26:05 +0100theproffesor(~theproffe@2601:282:8800:3f30::5a24)
2023-01-26 13:26:05 +0100theproffesor(~theproffe@2601:282:8800:3f30::5a24) (Changing host)
2023-01-26 13:26:05 +0100theproffesor(~theproffe@user/theproffesor)
2023-01-26 13:35:49 +0100 <Profpatsch> opqdonut: yeah that’s what I noticed as well :)
2023-01-26 13:36:13 +0100 <Profpatsch> I think that’s really a feature that only makes sense in a dependently typed lang
2023-01-26 13:36:53 +0100eruditass(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-01-26 13:36:55 +0100akegalj_(~akegalj@89-164-101-255.dsl.iskon.hr)
2023-01-26 13:37:33 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-01-26 13:42:48 +0100 <opqdonut> Profpatsch: even in a dependently typed language though it'd be easy to map `DependentPair Foo X -> (Foo,X)`
2023-01-26 13:43:01 +0100 <opqdonut> or if Foos are magical, then just (Int,X) :)
2023-01-26 13:43:46 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:603a:e3be:5b68:d931)
2023-01-26 13:49:54 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-01-26 13:51:00 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
2023-01-26 13:56:16 +0100elevenkb(~elevenkb@105.184.125.233) (Quit: Client closed)
2023-01-26 13:58:34 +0100 <Profpatsch> yeah right
2023-01-26 13:58:37 +0100 <Profpatsch> makes sense
2023-01-26 13:58:53 +0100AlexZenon(~alzenon@178.34.160.228) (Quit: ;-)
2023-01-26 13:59:18 +0100Alex_test(~al_test@178.34.160.228) (Quit: ;-)
2023-01-26 13:59:50 +0100AlexNoo(~AlexNoo@178.34.160.228) (Quit: Leaving)
2023-01-26 14:10:10 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-01-26 14:10:36 +0100briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl)
2023-01-26 14:12:25 +0100AlexZenon(~alzenon@178.34.160.228)
2023-01-26 14:12:32 +0100AlexNoo(~AlexNoo@178.34.160.228)
2023-01-26 14:14:20 +0100Alex_test(~al_test@178.34.160.228)
2023-01-26 14:16:15 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-01-26 14:17:07 +0100Guest7573(~Guest75@178.141.149.12) (Quit: Client closed)
2023-01-26 14:19:52 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Read error: Connection reset by peer)
2023-01-26 14:24:55 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-01-26 14:26:55 +0100CiaoSen(~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-01-26 14:27:15 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-01-26 14:35:12 +0100 <ncf> Profpatsch: are you looking for `seq`?
2023-01-26 14:35:55 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-01-26 14:36:42 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de)
2023-01-26 14:40:10 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Remote host closed the connection)
2023-01-26 14:41:10 +0100kuttenbrunzer(~kuttenbru@2a02:8108:8b80:1d48:c9ac:aed1:1972:6efc)
2023-01-26 14:42:39 +0100kalj(~kalj@78-71-20-170-no193.tbcn.telia.com)
2023-01-26 14:55:05 +0100yrlnry(~yrlnry@2600:4040:738e:5400:85d2:5b54:72c6:ed3e) (Remote host closed the connection)
2023-01-26 14:55:52 +0100yrlnry(~yrlnry@pool-108-36-173-41.phlapa.fios.verizon.net)
2023-01-26 14:56:11 +0100kurbus(~kurbus@user/kurbus)
2023-01-26 14:59:35 +0100Vajb(~Vajb@2001:999:505:948d:ba9e:dbca:9a0a:eac6) (Ping timeout: 246 seconds)
2023-01-26 14:59:40 +0100elevenkb(~elevenkb@105.184.125.233)
2023-01-26 15:02:49 +0100Vajb(~Vajb@2001:999:78d:2e9:849a:685f:b9a9:7ce)
2023-01-26 15:04:49 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-01-26 15:05:13 +0100elevenkb(~elevenkb@105.184.125.233) (Quit: Client closed)
2023-01-26 15:06:41 +0100kritzefitz(~kritzefit@debian/kritzefitz)
2023-01-26 15:07:09 +0100fjMSX(~hypni2p@89-179-32-81.broadband.corbina.ru)
2023-01-26 15:08:06 +0100elevenkb(~elevenkb@105.184.125.233)
2023-01-26 15:08:53 +0100 <maerwald> tomsmeding: /home/tom/.ghcup/ghc/9.4.4/lib/ghc-9.4.4/bin/./ghc-9.4.4: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by /home/tom/.ghcup/ghc/9.4.4/lib/ghc-9.4.4/bin/../lib/x86_64-linux-ghc-9.4.4/libHSrts-1.0.2_thr-ghc9.4.4.so)
2023-01-26 15:08:54 +0100elevenkb(~elevenkb@105.184.125.233) (Client Quit)
2023-01-26 15:08:57 +0100 <maerwald> whoopsie
2023-01-26 15:09:10 +0100 <maerwald> you successfully hit the bindist bug
2023-01-26 15:09:14 +0100 <maerwald> good job
2023-01-26 15:13:43 +0100kuttenbrunzer(~kuttenbru@2a02:8108:8b80:1d48:c9ac:aed1:1972:6efc) (Read error: Connection reset by peer)
2023-01-26 15:14:11 +0100 <Profpatsch> ncf: no, I don’t think so :)
2023-01-26 15:14:18 +0100thegeekinside(~thegeekin@189.180.66.244)
2023-01-26 15:17:58 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837)
2023-01-26 15:22:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Ping timeout: 248 seconds)
2023-01-26 15:24:31 +0100Vajb(~Vajb@2001:999:78d:2e9:849a:685f:b9a9:7ce) (Ping timeout: 248 seconds)
2023-01-26 15:24:48 +0100Vajb(~Vajb@2001:999:78d:2e9:849a:685f:b9a9:7ce)
2023-01-26 15:27:11 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-01-26 15:28:53 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-01-26 15:29:19 +0100Vajb(~Vajb@2001:999:78d:2e9:849a:685f:b9a9:7ce) (Ping timeout: 248 seconds)
2023-01-26 15:31:18 +0100Vajb(~Vajb@2001:999:485:99a8:a400:385f:4bfd:3551)
2023-01-26 15:34:15 +0100elevenkb(~elevenkb@105.184.125.233)
2023-01-26 15:35:35 +0100jero98772(~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
2023-01-26 15:36:45 +0100mikoto-chan(~mikoto-ch@2001:999:580:c1ac:9f86:1848:2c1a:9615)
2023-01-26 15:36:58 +0100acidjnk(~acidjnk@p200300d6e715c43750648f04d27cf9d2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-01-26 15:37:15 +0100kalj(~kalj@78-71-20-170-no193.tbcn.telia.com) (Quit: Client closed)
2023-01-26 15:55:53 +0100Lycurgus(~juan@user/Lycurgus)
2023-01-26 15:56:17 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 246 seconds)
2023-01-26 15:56:21 +0100Vajb(~Vajb@2001:999:485:99a8:a400:385f:4bfd:3551) (Ping timeout: 256 seconds)
2023-01-26 15:56:30 +0100Vajb(~Vajb@2001:999:600:3a81:19e6:3344:f922:255d)
2023-01-26 15:59:37 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-01-26 15:59:55 +0100elevenkb(~elevenkb@105.184.125.233) (Quit: Client closed)
2023-01-26 16:01:52 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-01-26 16:06:03 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-01-26 16:07:22 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-01-26 16:07:56 +0100teo(~teo@user/teo)
2023-01-26 16:10:22 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-01-26 16:13:57 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-01-26 16:17:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-01-26 16:21:09 +0100phma_(phma@2001:5b0:210d:1698:3951:e640:aa91:215e)
2023-01-26 16:22:33 +0100kurbus(~kurbus@user/kurbus) (Ping timeout: 260 seconds)
2023-01-26 16:24:41 +0100phma(~phma@2001:5b0:210d:1698:e52:a359:3461:7a25) (Ping timeout: 256 seconds)
2023-01-26 16:25:24 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-01-26 16:26:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-01-26 16:32:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-01-26 16:34:17 +0100Sgeo(~Sgeo@user/sgeo)
2023-01-26 16:40:29 +0100cheater(~Username@user/cheater)
2023-01-26 16:52:15 +0100motherfsck(~motherfsc@user/motherfsck)
2023-01-26 17:06:05 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:603a:e3be:5b68:d931) (Quit: WeeChat 2.8)
2023-01-26 17:11:17 +0100mechap(~mechap@user/mechap)
2023-01-26 17:11:48 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-26 17:12:15 +0100mechap(~mechap@user/mechap)
2023-01-26 17:12:46 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-26 17:13:21 +0100mechap(~mechap@user/mechap)
2023-01-26 17:13:27 +0100mei(~mei@user/mei) (Quit: mei)
2023-01-26 17:13:54 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-26 17:14:21 +0100mechap(~mechap@user/mechap)
2023-01-26 17:14:56 +0100kurbus(~kurbus@user/kurbus)
2023-01-26 17:15:03 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-26 17:15:30 +0100mechap(~mechap@user/mechap)
2023-01-26 17:16:01 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-01-26 17:16:07 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-01-26 17:17:57 +0100mechap(~mechap@user/mechap)
2023-01-26 17:24:10 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-01-26 17:28:37 +0100Jadesheit[m]Jadeitits[m]
2023-01-26 17:33:18 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-01-26 17:35:30 +0100MajorBiscuit(~MajorBisc@c-001-032-042.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6)
2023-01-26 17:37:48 +0100merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2023-01-26 17:38:33 +0100Vajb(~Vajb@2001:999:600:3a81:19e6:3344:f922:255d) (Ping timeout: 252 seconds)
2023-01-26 17:39:07 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2023-01-26 17:39:44 +0100Vajb(~Vajb@2001:999:781:3d0b:6a74:ce1:6f21:dc8a)
2023-01-26 17:41:25 +0100adarsh-sgh(~adarsh-sg@2409:4056:e35:e61d:7920:8854:9363:db50)
2023-01-26 17:44:49 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-01-26 17:46:33 +0100kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection)
2023-01-26 17:50:04 +0100ddellacosta(~ddellacos@89.45.224.20) (Ping timeout: 252 seconds)
2023-01-26 17:52:11 +0100ddellacosta(~ddellacos@143.244.47.70)
2023-01-26 17:52:25 +0100razetime(~Thunderbi@117.193.7.5)
2023-01-26 17:52:37 +0100acidjnk(~acidjnk@p54ad56b7.dip0.t-ipconnect.de)
2023-01-26 17:53:06 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-01-26 17:54:14 +0100mikoto-chan(~mikoto-ch@2001:999:580:c1ac:9f86:1848:2c1a:9615) (Ping timeout: 246 seconds)
2023-01-26 17:55:19 +0100opticblast(~Thunderbi@secure-165.caltech.edu)
2023-01-26 18:01:09 +0100ubert1(~Thunderbi@2a02:8109:abc0:6434:ed98:ba46:736b:d019) (Quit: ubert1)
2023-01-26 18:03:14 +0100adarsh-sgh(~adarsh-sg@2409:4056:e35:e61d:7920:8854:9363:db50) (Quit: Client closed)
2023-01-26 18:03:59 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-01-26 18:04:00 +0100Vajb(~Vajb@2001:999:781:3d0b:6a74:ce1:6f21:dc8a) (Ping timeout: 248 seconds)
2023-01-26 18:04:16 +0100Vajb(~Vajb@2001:999:781:3d0b:6a74:ce1:6f21:dc8a)
2023-01-26 18:09:32 +0100cheater_(~Username@user/cheater)
2023-01-26 18:10:02 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837)
2023-01-26 18:10:04 +0100econo(uid147250@user/econo)
2023-01-26 18:10:35 +0100razetime(~Thunderbi@117.193.7.5) (Quit: See You Space Cowboy)
2023-01-26 18:12:04 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-01-26 18:12:07 +0100cheater_cheater
2023-01-26 18:12:59 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-01-26 18:15:47 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-01-26 18:20:11 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-01-26 18:22:07 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2023-01-26 18:24:16 +0100Vajb(~Vajb@2001:999:781:3d0b:6a74:ce1:6f21:dc8a) (Ping timeout: 248 seconds)
2023-01-26 18:24:30 +0100Vajb(~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686)
2023-01-26 18:32:47 +0100vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2023-01-26 18:41:00 +0100 <tomsmeding> maerwald: lol oops
2023-01-26 18:41:18 +0100 <tomsmeding> Sorry for being uninformed, what should I do
2023-01-26 18:41:37 +0100 <tomsmeding> Is that version just borked or is there a fix?
2023-01-26 18:45:44 +0100Luj(~Luj@2a01:e0a:5f9:9681:a800:fa55:60bb:e167) (Quit: The Lounge - https://thelounge.chat)
2023-01-26 18:46:20 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-01-26 18:46:42 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Client Quit)
2023-01-26 18:47:16 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-01-26 18:48:04 +0100 <tomsmeding> maerwald: oh no I don't think I hit any particular bug, it's just my incompetence in remembering that upgrading ghcs on my playground setup is annoyhing
2023-01-26 18:48:06 +0100 <tomsmeding> *annoying
2023-01-26 18:48:52 +0100Guest75(~Guest75@178.141.149.12)
2023-01-26 18:49:43 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Client Quit)
2023-01-26 18:50:37 +0100 <tomsmeding> fixed
2023-01-26 18:51:59 +0100Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-01-26 18:52:24 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-01-26 18:54:41 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-01-26 18:57:01 +0100teo(~teo@user/teo) (Ping timeout: 252 seconds)
2023-01-26 19:03:49 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de)
2023-01-26 19:07:57 +0100yoneda(~mike@193.206.102.122) (Quit: leaving)
2023-01-26 19:09:00 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2023-01-26 19:11:07 +0100mei(~mei@user/mei)
2023-01-26 19:14:30 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-01-26 19:19:27 +0100zeenk(~zeenk@2a02:2f04:a014:8700::7fe) (Quit: Konversation terminated!)
2023-01-26 19:20:31 +0100elkcl(~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru) (Remote host closed the connection)
2023-01-26 19:21:19 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 19:25:35 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds)
2023-01-26 19:27:21 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 19:29:11 +0100tabemann_(~tabemann@2600:1700:7990:24e0:2b1c:a4e:d843:5301) (Ping timeout: 255 seconds)
2023-01-26 19:36:40 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 19:39:49 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-01-26 19:41:37 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-01-26 19:43:16 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 19:47:25 +0100briandaed(~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection)
2023-01-26 19:52:51 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Remote host closed the connection)
2023-01-26 19:53:43 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-01-26 19:54:22 +0100cheater_(~Username@user/cheater)
2023-01-26 19:54:32 +0100califax(~califax@user/califx)
2023-01-26 19:56:32 +0100CiaoSen(~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-01-26 19:58:08 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2023-01-26 19:58:09 +0100cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-01-26 19:58:18 +0100cheater_cheater
2023-01-26 20:05:07 +0100trev(~trev@user/trev)
2023-01-26 20:05:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-01-26 20:07:31 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 20:08:59 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 20:10:40 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 20:12:48 +0100turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2023-01-26 20:12:52 +0100jonathanx(~jonathan@h-178-174-176-109.a357.priv.bahnhof.se)
2023-01-26 20:14:48 +0100turlando(~turlando@user/turlando)
2023-01-26 20:14:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837)
2023-01-26 20:15:50 +0100califax_(~califax@user/califx)
2023-01-26 20:15:50 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-01-26 20:16:05 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-01-26 20:17:03 +0100califax_califax
2023-01-26 20:17:47 +0100jonathanx(~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 20:23:46 +0100kenran(~user@user/kenran)
2023-01-26 20:26:09 +0100cheater_(~Username@user/cheater)
2023-01-26 20:29:04 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-01-26 20:29:04 +0100cheater_cheater
2023-01-26 20:37:49 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-01-26 20:38:31 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 20:38:31 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit)
2023-01-26 20:39:10 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 20:43:52 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
2023-01-26 20:44:55 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 20:45:13 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-26 20:46:48 +0100turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2023-01-26 20:50:43 +0100turlando(~turlando@user/turlando)
2023-01-26 20:52:11 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-01-26 20:53:08 +0100Jules43(~Jules@097-086-248-173.res.spectrum.com)
2023-01-26 20:53:59 +0100oldfashionedcowanothercow
2023-01-26 20:54:09 +0100 <Jules43> How does Haskell select the type to use in such a case as the following? https://pastebin.com/raw/iYpaP3Nm Is this special cased for Double/Float, or is there something more general going on?
2023-01-26 20:54:39 +0100 <mauke> defaulting
2023-01-26 20:54:46 +0100anothercowoldfashionedcow
2023-01-26 20:54:53 +0100turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2023-01-26 20:55:19 +0100 <mauke> https://kseo.github.io/posts/2017-01-04-type-defaulting-in-haskell.html
2023-01-26 20:56:26 +0100 <Jules43> Thanks!
2023-01-26 20:56:43 +0100turlando(~turlando@user/turlando)
2023-01-26 21:00:16 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-26 21:06:51 +0100cheater_(~Username@user/cheater)
2023-01-26 21:08:01 +0100cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-01-26 21:08:06 +0100cheater_cheater
2023-01-26 21:08:44 +0100califax(~califax@user/califx) (Ping timeout: 255 seconds)
2023-01-26 21:09:27 +0100CiaoSen(~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-01-26 21:13:07 +0100Jules43(~Jules@097-086-248-173.res.spectrum.com) (Quit: Client closed)
2023-01-26 21:15:12 +0100califax(~califax@user/califx)
2023-01-26 21:17:27 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-01-26 21:21:26 +0100kurbus(~kurbus@user/kurbus)
2023-01-26 21:23:17 +0100talismanick(~talismani@168.150.110.64)
2023-01-26 21:23:30 +0100pavonia(~user@user/siracusa)
2023-01-26 21:24:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Remote host closed the connection)
2023-01-26 21:28:07 +0100thyriaen(~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1)
2023-01-26 21:31:14 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 21:31:54 +0100enthropy(~enthropy@66.7.90.250)
2023-01-26 21:33:15 +0100akegalj_(~akegalj@89-164-101-255.dsl.iskon.hr) (Ping timeout: 248 seconds)
2023-01-26 21:33:20 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze)
2023-01-26 21:33:38 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-26 21:35:33 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2023-01-26 21:36:47 +0100emanuele6(~emanuele6@user/emanuele6)
2023-01-26 21:36:59 +0100emanuele6(~emanuele6@user/emanuele6) (WeeChat 3.8)
2023-01-26 21:37:11 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 21:37:17 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit)
2023-01-26 21:37:20 +0100avicenzi(~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 248 seconds)
2023-01-26 21:38:07 +0100kurbus(~kurbus@user/kurbus) (Quit: Client closed)
2023-01-26 21:39:39 +0100mcglk_(~mcglk@2601:600:9f7f:e300:997b:556a:42cb:8050) (Quit: (zzz))
2023-01-26 21:43:49 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-01-26 21:45:20 +0100 <enthropy> how do you debug inline-c code? I'm getting a segfault and when I run it in gdb all I have is inline_c_DearImGui_Raw_24
2023-01-26 21:46:28 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2023-01-26 21:49:05 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-01-26 21:49:11 +0100mcglk(~mcglk@c-73-193-4-170.hsd1.wa.comcast.net)
2023-01-26 21:49:39 +0100califax(~califax@user/califx)
2023-01-26 21:52:09 +0100 <monochrom> I haven't debugged inline-c code. But any code at all that I debug, I put a lot of debugging prints to check my assumptions.
2023-01-26 21:52:11 +0100akegalj_(~akegalj@89-164-101-255.dsl.iskon.hr)
2023-01-26 21:53:02 +0100 <enthropy> I changed the 24th [C.exp| |] in the file DearImGui/Raw.hs to not dereference when null and the problem went away.
2023-01-26 21:53:19 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-01-26 21:55:19 +0100talismanick(~talismani@168.150.110.64) (Remote host closed the connection)
2023-01-26 21:55:39 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-01-26 21:55:53 +0100mechap(~mechap@user/mechap)
2023-01-26 21:56:15 +0100talismanick(~talismani@168.150.110.64)
2023-01-26 21:57:19 +0100rawles(~x@user/rawles)
2023-01-26 21:57:48 +0100mechap(~mechap@user/mechap) (Client Quit)
2023-01-26 22:01:32 +0100tabemann(~tabemann@2600:1700:7990:24e0:72f6:649:24db:f080)
2023-01-26 22:03:26 +0100Lycurgus(~juan@user/Lycurgus)
2023-01-26 22:04:27 +0100mc47(~mc47@xmonad/TheMC47)
2023-01-26 22:04:32 +0100akegalj_(~akegalj@89-164-101-255.dsl.iskon.hr) (Quit: leaving)
2023-01-26 22:04:50 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-01-26 22:05:03 +0100elevenkb(~elevenkb@105.184.125.233)
2023-01-26 22:05:15 +0100mei(~mei@user/mei)
2023-01-26 22:06:42 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 22:08:23 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-01-26 22:10:55 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
2023-01-26 22:13:15 +0100talismanick(~talismani@168.150.110.64) (Ping timeout: 248 seconds)
2023-01-26 22:13:29 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-01-26 22:24:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837)
2023-01-26 22:25:03 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 22:29:27 +0100freeside(~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
2023-01-26 22:29:28 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Ping timeout: 252 seconds)
2023-01-26 22:32:38 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Remote host closed the connection)
2023-01-26 22:32:57 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-26 22:35:28 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Remote host closed the connection)
2023-01-26 22:35:46 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2023-01-26 22:41:33 +0100mei(~mei@user/mei) (Remote host closed the connection)
2023-01-26 22:42:24 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2023-01-26 22:43:50 +0100mei(~mei@user/mei)
2023-01-26 22:43:51 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-01-26 22:48:15 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-01-26 22:48:52 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2023-01-26 22:52:06 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-01-26 22:52:46 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-01-26 22:55:35 +0100freeside(~mengwong@103.252.202.170)
2023-01-26 22:56:58 +0100simendsjo(~user@78-72-230-58-no2730.tbcn.telia.com)
2023-01-26 23:00:07 +0100orcus(~orcus@user/brprice) (Ping timeout: 252 seconds)
2023-01-26 23:00:20 +0100Guest|58(~Guest|58@64.251.81.14)
2023-01-26 23:00:45 +0100Guest|58(~Guest|58@64.251.81.14) (Client Quit)
2023-01-26 23:00:49 +0100dispater-(~dispater@user/brprice) (Ping timeout: 252 seconds)
2023-01-26 23:01:40 +0100brprice(~brprice@user/brprice) (Ping timeout: 260 seconds)
2023-01-26 23:07:28 +0100simendsjo(~user@78-72-230-58-no2730.tbcn.telia.com) (Ping timeout: 248 seconds)
2023-01-26 23:07:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-01-26 23:11:26 +0100dispater(~dispater@user/brprice)
2023-01-26 23:11:59 +0100orcus(~orcus@user/brprice)
2023-01-26 23:13:03 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-01-26 23:14:02 +0100Guest75(~Guest75@178.141.149.12) (Quit: Client closed)
2023-01-26 23:14:06 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-01-26 23:17:06 +0100maerwald(~maerwald@user/maerwald) (Quit: gone)
2023-01-26 23:17:15 +0100mcglk(~mcglk@c-73-193-4-170.hsd1.wa.comcast.net) (Quit: (zzz))
2023-01-26 23:18:49 +0100mcglk(~mcglk@2601:600:9f7f:e300:997b:556a:42cb:8050)
2023-01-26 23:18:55 +0100maerwald(~maerwald@mail.hasufell.de)
2023-01-26 23:19:19 +0100ncf(~n@monade.li) (Ping timeout: 265 seconds)
2023-01-26 23:20:00 +0100ncf(~n@monade.li)
2023-01-26 23:20:17 +0100acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 265 seconds)
2023-01-26 23:23:08 +0100enthropy(~enthropy@66.7.90.250) (Ping timeout: 260 seconds)
2023-01-26 23:27:14 +0100jinsun__(~jinsun@user/jinsun)
2023-01-26 23:27:14 +0100jinsun(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2023-01-26 23:27:14 +0100jinsun__jinsun
2023-01-26 23:30:25 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-01-26 23:30:27 +0100Guest75(~Guest75@178.141.149.12)
2023-01-26 23:32:00 +0100CiaoSen(~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-01-26 23:34:23 +0100rawles(~x@user/rawles) ()
2023-01-26 23:35:47 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-01-26 23:36:44 +0100zeenk(~zeenk@2a02:2f04:a014:8700::7fe)
2023-01-26 23:38:21 +0100cheater_(~Username@user/cheater)
2023-01-26 23:38:59 +0100acidsys(~crameleon@openSUSE/member/crameleon)
2023-01-26 23:40:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2023-01-26 23:40:31 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-01-26 23:40:36 +0100cheater_cheater
2023-01-26 23:42:00 +0100Guest75(~Guest75@178.141.149.12) (Quit: Client closed)
2023-01-26 23:43:07 +0100elevenkb(~elevenkb@105.184.125.233) (Quit: Client closed)
2023-01-26 23:44:07 +0100Inst(~Inst@2601:6c4:4081:54f0:dc48:1108:b41f:ce7b) (Ping timeout: 252 seconds)
2023-01-26 23:50:16 +0100troydm(~troydm@user/troydm) (Ping timeout: 252 seconds)
2023-01-26 23:52:03 +0100fserucas(~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 260 seconds)
2023-01-26 23:55:45 +0100michalz(~michalz@185.246.207.215) (Remote host closed the connection)
2023-01-26 23:57:20 +0100larrythecow(~Rahul_San@user/oldfashionedcow)