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