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