| 2023-08-15 00:01:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 00:02:36 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-15 00:07:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-15 00:08:48 +0200 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) |
| 2023-08-15 00:14:45 +0200 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) (Ping timeout: 246 seconds) |
| 2023-08-15 00:15:03 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 244 seconds) |
| 2023-08-15 00:17:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-15 00:17:54 +0200 | addem | (~addem@2600:1700:1066:2a10:a33a:7c2b:ec25:5e91) (Remote host closed the connection) |
| 2023-08-15 00:18:22 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-15 00:18:46 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-15 00:24:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-15 00:24:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-15 00:28:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f6508304e8b1fb6082f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-15 00:28:47 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2023-08-15 00:28:56 +0200 | yaroot | (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) |
| 2023-08-15 00:33:03 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-15 00:35:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-08-15 00:35:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-15 00:36:53 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-15 00:38:06 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-08-15 00:40:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 248 seconds) |
| 2023-08-15 00:46:26 +0200 | <kayvank> | help with the ghc flag `-Wmissing-import-lists` please. I like to use the flag in my cabal file, however, I still like to use the short hand `import X (MyContstructro (..))`. Is that possible? |
| 2023-08-15 00:49:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-08-15 00:50:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 00:54:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 00:54:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 00:54:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 00:55:41 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-08-15 00:55:59 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-15 00:57:23 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 00:57:42 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2023-08-15 00:58:17 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-15 00:59:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) |
| 2023-08-15 00:59:15 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-08-15 00:59:36 +0200 | onebitboy | (~onebitboy@user/onebitboy) () |
| 2023-08-15 00:59:44 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-15 01:02:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 01:03:51 +0200 | <wroathe> | Isn't there a default instance for lists in base that has liftA2 (:) already defined as a binary operator? |
| 2023-08-15 01:04:17 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-15 01:04:46 +0200 | <wroathe> | It's been a long time since I haskelled and I seem to have forgotten everything. I'm looking for something that does f a -> f [a] -> f [a] for me |
| 2023-08-15 01:05:31 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-15 01:05:31 +0200 | mauke_ | mauke |
| 2023-08-15 01:05:59 +0200 | <wroathe> | Oh I'm being dumb. <$> gets me there |
| 2023-08-15 01:06:12 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 01:06:26 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-15 01:07:13 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-15 01:14:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-15 01:15:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-15 01:16:33 +0200 | arahael | (~arahael@1.145.118.211) |
| 2023-08-15 01:17:30 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 01:18:06 +0200 | <int-e> | :t liftA2 (:) |
| 2023-08-15 01:18:07 +0200 | <lambdabot> | Applicative f => f a -> f [a] -> f [a] |
| 2023-08-15 01:19:09 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 246 seconds) |
| 2023-08-15 01:25:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-15 01:25:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-15 01:33:48 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-15 01:33:59 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-08-15 01:37:41 +0200 | jargon | (~jargon@184.101.68.177) |
| 2023-08-15 01:38:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: uppdatterar) |
| 2023-08-15 01:38:35 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-15 01:38:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-15 01:39:22 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-15 01:46:05 +0200 | <probie> | Perhaps slightly off-topic, but in https://hackage.haskell.org/package/categories-1.0.7/docs/Control-Category-Cartesian-Closed.html there's an associated type for `CCC` which is `Exp`. I'm struggling to think of categories where `Exp k` is not going to be `k` |
| 2023-08-15 01:46:20 +0200 | <probie> | does anyone know of a simple example where `Exp k` won't just be `k`? |
| 2023-08-15 01:48:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 01:51:13 +0200 | quidnunc | (~user@70.31.194.28) |
| 2023-08-15 01:54:41 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-08-15 01:54:42 +0200 | <EvanR> | that it would always be k is mixing levels right |
| 2023-08-15 01:55:10 +0200 | <EvanR> | k is a haskell type constructor while exponential object constructor is supposed to give something in the category |
| 2023-08-15 01:56:09 +0200 | <probie> | So, for `(->)`, `type Exp (->) = (->)` |
| 2023-08-15 01:56:17 +0200 | arahael | (~arahael@1.145.118.211) (Ping timeout: 260 seconds) |
| 2023-08-15 01:56:29 +0200 | <EvanR> | yeah that's the standard case of mixing levels |
| 2023-08-15 01:56:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 01:56:47 +0200 | <EvanR> | it barely makes sense xD |
| 2023-08-15 01:58:24 +0200 | <quidnunc> | I'm trying to do the haskelling exercises and am on Syntax5.hs which asks you to implement a function called sumPairProducts that sums all pairs of products of 6 variables. The preamble gives a similar example for 3 variables using a where clause that defines each pair. For 3 variables there are only 3 pairs. For 6 variables there are 15 pairs. This seems extremely onerous compared to previous questions. Am I missing something? |
| 2023-08-15 01:58:24 +0200 | <quidnunc> | https://github.com/MondayMorningHaskell/haskellings/blob/master/exercises/syntax/Syntax5.hs |
| 2023-08-15 01:59:49 +0200 | <Axman6> | Anyone know of a haskell library which makes dealing with bitwise data easy? I want something like 'binary' at the bit level, like erlang's bit parsing syntax; for example I want to be able to extract (say) an Int from 5 bits then another from the next 5 bits (and also the reverse, this is a 5 bit number, append it to the end of the result) |
| 2023-08-15 02:00:13 +0200 | <Axman6> | quidnunc: I'm not familiar with the exercises, what tipics have you covered so far? |
| 2023-08-15 02:02:43 +0200 | <int-e> | "bitstream" sounds promising. |
| 2023-08-15 02:03:07 +0200 | <Axman6> | one way to complete that exercise might be to compute the products of every number with every number passed in, then sum those, and subtract each number multiplied by itself (a little wasteful but the code will be concise). Have you been introduced to applicatives or monads, particularly with regards to lists? |
| 2023-08-15 02:03:38 +0200 | <Axman6> | int-e: indeed it does, thanks |
| 2023-08-15 02:03:50 +0200 | <int-e> | (maybe there's a separate support package that provides arbitrary-width `FiniteBits` instances?) |
| 2023-08-15 02:04:05 +0200 | <quidnunc> | Axman6: Not much, just patterns, guards, case |
| 2023-08-15 02:04:48 +0200 | <quidnunc> | Axman6: Each file usually explains everything you need |
| 2023-08-15 02:05:14 +0200 | <quidnunc> | Axman6: No applicatives or monads |
| 2023-08-15 02:05:49 +0200 | <Axman6> | quidnunc: can you use sumProducts repeatedly? |
| 2023-08-15 02:05:50 +0200 | <EvanR> | I'm guessing list of Bool isn't going to cut it xD |
| 2023-08-15 02:06:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-15 02:06:05 +0200 | <Axman6> | EvanR: it could for a proof of concept |
| 2023-08-15 02:06:22 +0200 | califax | (~califax@user/califx) |
| 2023-08-15 02:06:49 +0200 | <probie> | I think this one is meant to be a bit onerous to ensure you use `where` instead of writing one really long line. That said, remember that `a * b + a * c + a * d + a * e = a * (b + c + d + e)` |
| 2023-08-15 02:06:50 +0200 | <quidnunc> | Axman6: It's not defined outside of a comment so I don't think so |
| 2023-08-15 02:07:23 +0200 | <EvanR> | ah yes the Num laws |
| 2023-08-15 02:07:39 +0200 | <quidnunc> | probie: thanks |
| 2023-08-15 02:07:54 +0200 | <Axman6> | yeah it could be designed to make you feel the pain of not being able to use lists :) |
| 2023-08-15 02:09:09 +0200 | <Axman6> | > let sumProductasFromTheFuture xs = sum (listA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [1,2,3,4] |
| 2023-08-15 02:09:10 +0200 | <lambdabot> | error: |
| 2023-08-15 02:09:10 +0200 | <lambdabot> | • Variable not in scope: |
| 2023-08-15 02:09:10 +0200 | <lambdabot> | listA2 :: (a0 -> a0 -> a0) -> [a1] -> [a1] -> t0 a1 |
| 2023-08-15 02:09:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 02:09:19 +0200 | <Axman6> | > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [1,2,3,4] |
| 2023-08-15 02:09:20 +0200 | <lambdabot> | 70 |
| 2023-08-15 02:09:58 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 02:09:59 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 02:09:59 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 02:09:59 +0200 | <Axman6> | > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [a,b,c] :: Expr] |
| 2023-08-15 02:10:00 +0200 | <lambdabot> | <hint>:1:129: error: parse error on input ‘]’ |
| 2023-08-15 02:10:03 +0200 | <Axman6> | > let sumProductasFromTheFuture xs = sum (liftA2 (*) xs xs) - sum (map (join (*)) xs) in sumProductasFromTheFuture [a,b,c] :: Expr |
| 2023-08-15 02:10:05 +0200 | <lambdabot> | 0 + a * a + a * b + a * c + b * a + b * b + b * c + c * a + c * b + c * c - ... |
| 2023-08-15 02:10:27 +0200 | <Axman6> | ... yeah that's probably right >_> |
| 2023-08-15 02:10:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-15 02:10:34 +0200 | dobblego | dibblego |
| 2023-08-15 02:11:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-15 02:12:52 +0200 | <Axman6> | I kinda wish Expr had an explicit brackets function for explicitly wrapping an expression |
| 2023-08-15 02:16:36 +0200 | <Axman6> | quidnunc: based on the comments in badSum, I think you are probably supposed to try and pull out commen sub expressions like probie said, and get used to definitions referring to each other. |
| 2023-08-15 02:17:39 +0200 | <Axman6> | seems like you could have something pretty efficient by first computing the sum of all the numbers then having several expressions of the form xProd = x * (totalNum - x) |
| 2023-08-15 02:17:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-15 02:18:19 +0200 | <Axman6> | (totalSum* is what I meant to call that imaginary variable) |
| 2023-08-15 02:19:46 +0200 | <quidnunc> | Axman6: probie was right, it's not too bad if you just remember to use distributive property http://ix.io/4DuB/haskell |
| 2023-08-15 02:21:17 +0200 | <Axman6> | oh right, my idea would double count the pairs. yeah looks pretty clean. Generally I wouldn't indent things that far, just indent the where bt 2/4 spaces, and then definitions by the same amount again |
| 2023-08-15 02:22:23 +0200 | <Axman6> | (Or for true pro level industrial haskell, stick the "where" at the end of the first line: foo x = y + z where\n y = ...\n z = ... - gotta conserve those lines of code!) |
| 2023-08-15 02:23:07 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-15 02:24:22 +0200 | <probie> | I think the most common I see is 2+2 (where indented 2, following lines indented 2 more). It's interesting because I see that in both code which is otherwise using 2 space indentation and which is using 4 space indentation |
| 2023-08-15 02:25:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-08-15 02:25:32 +0200 | <Axman6> | yeah, I believe my last job did that |
| 2023-08-15 02:28:22 +0200 | <Axman6> | int-e: packages that use unicode syntax make mildly angry, Bitstream α => (β -> Bool -> β) -> β -> α -> β shouldn't be any harder to read than Bitstream a => (b -> Bool -> b) -> b -> a -> b, but it definitely is |
| 2023-08-15 02:29:32 +0200 | <geekosaur> | I don't find it so, but I may use more Unicode than you do |
| 2023-08-15 02:30:09 +0200 | <int-e> | Axman6: it's mostly internal, with a few unicode aliases for functions that also have ASCII names |
| 2023-08-15 02:30:32 +0200 | <Axman6> | It's just unnecessary, it rarely, if ever, adds any clarity to the code. |
| 2023-08-15 02:30:44 +0200 | <probie> | Life hack - instead of α and β use p and р |
| 2023-08-15 02:31:02 +0200 | <Axman6> | :look_of_disapproval: |
| 2023-08-15 02:31:09 +0200 | <int-e> | I don't particularly like it, but it's not a reason for not using a package as long as I don't have to type Unicode myself. |
| 2023-08-15 02:31:19 +0200 | <EvanR> | it might also be a font thing because your alpha looks pretty much like an a here |
| 2023-08-15 02:31:49 +0200 | <int-e> | probie: aww, one of them was ASCII |
| 2023-08-15 02:31:53 +0200 | <EvanR> | geekosaur is now known as greekosaur |
| 2023-08-15 02:32:10 +0200 | <geekosaur> | heh |
| 2023-08-15 02:32:38 +0200 | <Axman6> | no, it wouldn't stop me using it, it just annoys me - use an editor that makes things look fancy on your own machine instead of making everyone else (one of the reasons I use Fira Code - I like the ligatures but wouldn't want to force the ones available in unicode on others)) |
| 2023-08-15 02:33:07 +0200 | <probie> | Axman6: Personally, I'm a slight fan of Greek letters for type variables, and Latin letters for "value" variables, but not enough to use them in code other people have to look at |
| 2023-08-15 02:33:55 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-15 02:34:27 +0200 | <Axman6> | I can see how that would be helpful, and would probably be all for it if it was the norm in the community (having a type level a and a value level a, which has type a, sure can be confusing to beginners) |
| 2023-08-15 02:34:44 +0200 | int-e | gives probie a lꙮꙮk |
| 2023-08-15 02:35:25 +0200 | ft | (~ft@i59F54793.versanet.de) (Ping timeout: 240 seconds) |
| 2023-08-15 02:35:57 +0200 | <Axman6> | int-e: whatever that was broke my terminal/glirc |
| 2023-08-15 02:36:30 +0200 | <jackdk> | Axman6: https://en.wikipedia.org/wiki/Multiocular_O |
| 2023-08-15 02:36:37 +0200 | <int-e> | tꙬ bad. |
| 2023-08-15 02:36:38 +0200 | <geekosaur> | terminal probably |
| 2023-08-15 02:36:39 +0200 | <glguy> | Axman6: https://ibb.co/10fbSCt |
| 2023-08-15 02:36:56 +0200 | <glguy> | Axman6: My terminal+glirc survived it |
| 2023-08-15 02:37:13 +0200 | ft | (~ft@i59F54AB3.versanet.de) |
| 2023-08-15 02:37:23 +0200 | <int-e> | my terminal can't show it, actually |
| 2023-08-15 02:37:29 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 246 seconds) |
| 2023-08-15 02:37:34 +0200 | <int-e> | (well not with the font it's using anyway) |
| 2023-08-15 02:37:47 +0200 | <probie> | What I really want, is for the Prelude to export `∘` as `.`. That's the one "unicode" function I want, because `.` is already being used for other things |
| 2023-08-15 02:38:13 +0200 | <dsal> | `.` is used for too many things and some of them are kind of gross. |
| 2023-08-15 02:38:29 +0200 | <Axman6> | glguy: https://ibb.co/wszP43C note the missing * after "ftx" (when I wrote my comment, the star was pushed past the l in "lk") |
| 2023-08-15 02:38:35 +0200 | <geekosaur> | hexchat was fine |
| 2023-08-15 02:38:38 +0200 | <Axman6> | probably a macos terminal or tmux issue |
| 2023-08-15 02:39:16 +0200 | <geekosaur> | I think tmux needs an option to do unicode correctly? |
| 2023-08-15 02:39:27 +0200 | <Axman6> | possibly... |
| 2023-08-15 02:39:43 +0200 | <int-e> | Axman6: I mainly did it because it's a cyrillic letter (though archaic and obscure), like р |
| 2023-08-15 02:39:47 +0200 | <glguy> | int-e: could you do it one last time? |
| 2023-08-15 02:40:06 +0200 | <geekosaur> | tmux -u |
| 2023-08-15 02:40:16 +0200 | <geekosaur> | I don't know what that equates to in tmux.conf |
| 2023-08-15 02:40:17 +0200 | <int-e> | Ꙫ |
| 2023-08-15 02:40:30 +0200 | <Axman6> | https://askubuntu.com/questions/410048/utf-8-character-not-showing-properly-in-tmux seems to have answers |
| 2023-08-15 02:40:35 +0200 | <glguy> | OK, it works in iTerm2 and Terminal.app, so tmux is a good place to look next |
| 2023-08-15 02:40:39 +0200 | leon_on9527 | (~yoyofreem@117.39.32.218) |
| 2023-08-15 02:41:14 +0200 | <Axman6> | brb then |
| 2023-08-15 02:41:20 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2023-08-15 02:41:43 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2023-08-15 02:42:11 +0200 | <geekosaur> | here's lꙮꙮking at you |
| 2023-08-15 02:42:30 +0200 | <int-e> | @where look |
| 2023-08-15 02:42:30 +0200 | <lambdabot> | I know nothing about look. |
| 2023-08-15 02:42:42 +0200 | <int-e> | @where+ look lꙮꙮk |
| 2023-08-15 02:42:42 +0200 | <lambdabot> | Done. |
| 2023-08-15 02:42:48 +0200 | <Axman6> | I have returned, from the future! |
| 2023-08-15 02:42:50 +0200 | <Axman6> | wow, things are even more broken now, amazing |
| 2023-08-15 02:42:55 +0200 | <geekosaur> | ow |
| 2023-08-15 02:42:59 +0200 | <int-e> | glguy: there, now you don't need me anymore |
| 2023-08-15 02:43:09 +0200 | <glguy> | int-e: Aww, that's not true! |
| 2023-08-15 02:43:09 +0200 | <Axman6> | https://ibb.co/CKPWdhk |
| 2023-08-15 02:43:13 +0200 | yoyofreeman | (~yoyofreem@117.39.35.76) (Ping timeout: 252 seconds) |
| 2023-08-15 02:44:09 +0200 | <int-e> | Axman6: that's not *too* bad |
| 2023-08-15 02:44:23 +0200 | <int-e> | Axman6: just missing characters and a messed up length calculation |
| 2023-08-15 02:44:47 +0200 | <geekosaur> | makes me wonder about your font, but I forget how that works on OS X |
| 2023-08-15 02:45:06 +0200 | <Axman6> | Nah it's kinda bad XD https://ibb.co/2cjQ3Bm |
| 2023-08-15 02:45:11 +0200 | <geekosaur> | on Linux it'd be either direct font support or fallback fonts; I think it's supported directly in mine |
| 2023-08-15 02:45:30 +0200 | <jackdk> | Axman6: sounds like you'd better switch off macOS to get better font rendering `:trollface:` |
| 2023-08-15 02:45:31 +0200 | <glguy> | Whatever that's doing, it breaks my test program that uses ncurses 6.4 |
| 2023-08-15 02:45:33 +0200 | <int-e> | Axman6: But it's good to know that you've retur ed, fr m the future. |
| 2023-08-15 02:45:52 +0200 | <int-e> | Axman6: (don't worry, those were spaces) |
| 2023-08-15 02:46:05 +0200 | <Axman6> | There were no typos (surprisingly) in that |
| 2023-08-15 02:46:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 02:47:16 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-15 02:47:16 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-15 02:47:16 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-15 02:49:29 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2023-08-15 02:50:15 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2023-08-15 02:51:19 +0200 | <Axman6> | @where look |
| 2023-08-15 02:51:19 +0200 | <lambdabot> | lꙮꙮk |
| 2023-08-15 02:51:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 02:52:33 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 2023-08-15 02:52:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-15 02:52:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-15 02:52:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-15 02:53:29 +0200 | <Axman6> | yeah still borked |
| 2023-08-15 02:53:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 02:55:11 +0200 | <glguy> | Axman6: https://ibb.co/z5d1kB2 |
| 2023-08-15 02:56:58 +0200 | <Axman6> | https://ibb.co/Kbz9N5f |
| 2023-08-15 02:57:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-15 02:58:03 +0200 | <Axman6> | (This is probably a better discussion for #glirc, though I'm also ok with the brokenness and to blame it on macOS) |
| 2023-08-15 02:58:10 +0200 | <int-e> | > let ι ∷ ꙮ → ꙮ; ι 𐦂 = 𐦂 in text [ι '🨈'] -- let's break some more terminals |
| 2023-08-15 02:58:11 +0200 | <lambdabot> | 🨈 |
| 2023-08-15 02:58:28 +0200 | <Axman6> | >:( |
| 2023-08-15 02:58:31 +0200 | <glguy> | Axman6: I don't think it's glirc's fault, though I'm happy to chat about it there |
| 2023-08-15 02:58:46 +0200 | <glguy> | that stuff is working in glirc in iterm2, terminal.app, and inside tmux inside iterm2 |
| 2023-08-15 02:59:31 +0200 | <int-e> | there's a good chance that it breaks somewhere because there's an RTL character in there. |
| 2023-08-15 02:59:43 +0200 | <int-e> | (twice) |
| 2023-08-15 03:00:20 +0200 | <Axman6> | my setup is Termina.app -> ssh -> freebsd -> tmux -> glirc, so many places things could go wrong (with some zsh's on both sizes of the connection) |
| 2023-08-15 03:00:48 +0200 | <glguy> | neat, I didn't know it ran on freebsd |
| 2023-08-15 03:01:09 +0200 | <Axman6> | yeah, has been working for years |
| 2023-08-15 03:01:34 +0200 | <Axman6> | I generally assume any haskell stuff will work on unix environments and I'm rarely wrong |
| 2023-08-15 03:11:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-15 03:13:20 +0200 | razetime | (~quassel@117.254.37.206) |
| 2023-08-15 03:14:23 +0200 | <EvanR> | somewhat surprised hexchat displayed all that |
| 2023-08-15 03:17:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-15 03:23:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-15 03:26:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1eaf:1036:66fe:e11a) (Ping timeout: 246 seconds) |
| 2023-08-15 03:27:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-15 03:32:29 +0200 | <dsal> | I'm not in hexchat, but ꙮ kind of looks like a hexagon to me, so maybe I am. |
| 2023-08-15 03:40:21 +0200 | <int-e> | it's scarier when you zoom in |
| 2023-08-15 03:43:56 +0200 | <probie> | Be not afraid |
| 2023-08-15 03:50:48 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 03:50:49 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 03:52:16 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Quit: leaving) |
| 2023-08-15 04:00:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-08-15 04:01:00 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-15 04:06:12 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-15 04:11:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-15 04:12:43 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-15 04:17:15 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-15 04:17:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-15 04:20:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 04:21:41 +0200 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) |
| 2023-08-15 04:21:45 +0200 | sososasa | (~textual@2600:1700:1e00:25a0:3c8c:3e69:dbb1:5575) |
| 2023-08-15 04:25:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-15 04:25:48 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-15 04:26:38 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-15 04:28:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-15 04:33:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 04:33:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 04:33:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 04:34:20 +0200 | razetime | (~quassel@117.254.37.206) (Ping timeout: 248 seconds) |
| 2023-08-15 04:34:36 +0200 | razetime | (~quassel@117.254.37.237) |
| 2023-08-15 04:38:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-15 04:39:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-15 04:40:44 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-15 04:43:25 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-15 04:43:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection) |
| 2023-08-15 04:43:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-15 04:43:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 04:43:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 04:43:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 04:48:32 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 04:49:12 +0200 | razetime | (~quassel@117.254.37.237) (Ping timeout: 252 seconds) |
| 2023-08-15 04:49:47 +0200 | razetime | (~quassel@117.254.37.38) |
| 2023-08-15 04:51:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds) |
| 2023-08-15 04:52:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-15 04:52:26 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-15 04:52:26 +0200 | finn_elija | FinnElija |
| 2023-08-15 04:52:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 04:54:59 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2023-08-15 04:57:08 +0200 | tom__ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-08-15 04:57:34 +0200 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-15 04:59:31 +0200 | sososasa | (~textual@2600:1700:1e00:25a0:3c8c:3e69:dbb1:5575) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-15 04:59:36 +0200 | td_ | (~td@i53870938.versanet.de) |
| 2023-08-15 04:59:47 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-08-15 05:00:00 +0200 | sososasa | (~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) |
| 2023-08-15 05:00:19 +0200 | sososasa | (~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) (Client Quit) |
| 2023-08-15 05:12:39 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:700:57fe:b2bd:4720:3f78) |
| 2023-08-15 05:14:02 +0200 | aforemny | (~aforemny@2001:9e8:6cee:a000:122d:82c7:4388:6f2e) (Ping timeout: 260 seconds) |
| 2023-08-15 05:17:55 +0200 | micro | (~micro@user/micro) (Ping timeout: 240 seconds) |
| 2023-08-15 05:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-15 05:19:43 +0200 | micro | (~micro@user/micro) |
| 2023-08-15 05:22:20 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 248 seconds) |
| 2023-08-15 05:22:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-15 05:24:20 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-15 05:24:42 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-15 05:37:41 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 05:37:41 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 05:38:41 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 05:38:41 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 05:55:32 +0200 | razetime | (~quassel@117.254.37.38) (Ping timeout: 256 seconds) |
| 2023-08-15 05:56:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-08-15 06:02:06 +0200 | ddellacosta | (~ddellacos@146.70.171.254) (Ping timeout: 245 seconds) |
| 2023-08-15 06:02:20 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2023-08-15 06:03:37 +0200 | <Axman6> | random C question: if you have void f(...);, void g(...);, is it legal to say f(...) { ... if(thing) return g(...); ...}? or would you need to use if(thing) { g(..); return; } to avoid needing the else for the !thing path |
| 2023-08-15 06:03:51 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-15 06:04:12 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-08-15 06:04:28 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 248 seconds) |
| 2023-08-15 06:05:36 +0200 | <monochrom> | return g(...) is not legal. |
| 2023-08-15 06:05:57 +0200 | <Axman6> | yeah, that was my question really |
| 2023-08-15 06:07:33 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-15 06:11:23 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 06:11:23 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 06:11:45 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-15 06:17:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-15 06:19:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-15 06:22:40 +0200 | <Axman6> | monochrom: is `g(..), return;` legal? |
| 2023-08-15 06:24:23 +0200 | ddellacosta | (~ddellacos@146.70.165.219) |
| 2023-08-15 06:24:44 +0200 | <glguy> | If only there was a way to know :-S |
| 2023-08-15 06:25:29 +0200 | <Axman6> | Yeah i wasn't sure Icould write a valid C file faster than I could get an answer here, I've always been impressed by how much #haskell knows about C |
| 2023-08-15 06:36:10 +0200 | trev | (~trev@user/trev) |
| 2023-08-15 06:36:54 +0200 | razetime | (~quassel@117.254.37.234) |
| 2023-08-15 06:36:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-15 06:37:17 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-15 06:40:26 +0200 | trev | (~trev@user/trev) (Ping timeout: 245 seconds) |
| 2023-08-15 06:56:20 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) (Ping timeout: 245 seconds) |
| 2023-08-15 07:01:31 +0200 | <Inst> | you know you're a sadsack when: you're benchmarking how long it takes for GHCup to deploy a Haskell toolchain on Windows |
| 2023-08-15 07:01:39 +0200 | <Inst> | current estimate: 13 minutes on a 2017 Xeon mobile |
| 2023-08-15 07:03:30 +0200 | fryguybob | (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 2023-08-15 07:05:55 +0200 | <monochrom> | I think I already said that it was illegal. |
| 2023-08-15 07:07:18 +0200 | <glguy> | <source>:3:10: error: expected expression before 'return' |
| 2023-08-15 07:07:18 +0200 | <glguy> | 3 | g(), return; |
| 2023-08-15 07:07:46 +0200 | <monochrom> | Err nevermind. |
| 2023-08-15 07:08:04 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-08-15 07:08:06 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-08-15 07:08:10 +0200 | allbery_b | geekosaur |
| 2023-08-15 07:10:53 +0200 | <monochrom> | I have a feeling that "g(..), return;" with a comma in the middle was a typo. |
| 2023-08-15 07:11:33 +0200 | <Inst> | cool, only takes 9 minutes, seems to be mostly connection limited |
| 2023-08-15 07:11:44 +0200 | <monochrom> | But in case it was not, comma separates expressions, and return is not an expression. |
| 2023-08-15 07:13:14 +0200 | razetime | (~quassel@117.254.37.234) (Remote host closed the connection) |
| 2023-08-15 07:15:22 +0200 | razetime | (~quassel@117.254.37.234) |
| 2023-08-15 07:34:29 +0200 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2023-08-15 07:34:57 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-08-15 07:35:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-08-15 07:36:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-15 07:39:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-15 07:39:51 +0200 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2023-08-15 07:40:17 +0200 | bollu | (~bollu@159.65.151.13) |
| 2023-08-15 07:42:11 +0200 | <glguy> | Maybe: g(), ({ return; }); using gcc's statement expressions |
| 2023-08-15 07:43:50 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-08-15 07:50:41 +0200 | <Axman6> | monochrom: no, I mean the comma operator |
| 2023-08-15 07:50:44 +0200 | <Axman6> | meant* |
| 2023-08-15 07:56:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-15 07:59:20 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2023-08-15 07:59:55 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2023-08-15 08:04:56 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2023-08-15 08:07:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-15 08:07:53 +0200 | robobub | (uid248673@2a03:5180:f:5::3:cb61) |
| 2023-08-15 08:09:59 +0200 | CiaoSen | (~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) |
| 2023-08-15 08:10:18 +0200 | jinsl | (~jinsl@2408:8207:2552:f8f0:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 2023-08-15 08:14:22 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::e) (Ping timeout: 256 seconds) |
| 2023-08-15 08:15:40 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-15 08:16:26 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-15 08:19:31 +0200 | Square2 | (~Square4@user/square) |
| 2023-08-15 08:20:44 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-15 08:22:36 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-08-15 08:25:20 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-15 08:25:22 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-15 08:32:11 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 08:36:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 08:38:11 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-15 08:42:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-15 08:43:33 +0200 | ft | (~ft@i59F54AB3.versanet.de) (Quit: leaving) |
| 2023-08-15 08:45:38 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 08:45:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 08:45:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 08:50:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-15 08:55:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:fc5e:9ab9:469c:9878) |
| 2023-08-15 08:56:19 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-15 08:56:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-15 08:57:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-15 08:58:13 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Read error: Connection reset by peer) |
| 2023-08-15 08:59:39 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 09:05:22 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
| 2023-08-15 09:05:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-08-15 09:09:19 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 09:09:19 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 09:09:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-08-15 09:09:42 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 09:09:42 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 09:09:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 09:10:18 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 09:10:18 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 09:10:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 2023-08-15 09:13:15 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 09:16:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-15 09:16:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-15 09:20:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-15 09:22:03 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-15 09:22:37 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 09:22:37 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 09:22:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 09:22:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-15 09:25:14 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-15 09:27:20 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2023-08-15 09:27:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-15 09:29:52 +0200 | bgs | (~bgs@212.85.160.171) |
| 2023-08-15 09:31:36 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 09:31:39 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 09:32:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-15 09:41:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 09:45:51 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-15 09:47:02 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-08-15 09:48:10 +0200 | <tomsmeding> | Axman6: the comma operator is an operator, and takes two expressions; 'return' is a statement, not an expression |
| 2023-08-15 09:48:13 +0200 | <tomsmeding> | you're not in haskell :p |
| 2023-08-15 09:49:01 +0200 | <tomsmeding> | (though you are in #haskell) |
| 2023-08-15 09:52:15 +0200 | <mauke> | Axman6: return g(...) might be legal in C++ code if the return type is templated |
| 2023-08-15 09:52:37 +0200 | <mauke> | (also, 'return' is an expression in perl :-) |
| 2023-08-15 09:52:50 +0200 | chele | (~chele@user/chele) |
| 2023-08-15 09:54:45 +0200 | razetime | (~quassel@117.254.37.234) (Ping timeout: 244 seconds) |
| 2023-08-15 09:55:34 +0200 | razetime | (~quassel@117.254.36.186) |
| 2023-08-15 09:58:05 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-15 09:58:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-08-15 09:58:50 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-15 10:00:30 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2023-08-15 10:01:08 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-15 10:02:54 +0200 | nick3 | (~nick@2600:8807:9084:7800:25b7:dc96:70fc:a2ae) (Ping timeout: 246 seconds) |
| 2023-08-15 10:04:38 +0200 | leah2 | (~leah@2001:1410:200:eea::1) |
| 2023-08-15 10:07:41 +0200 | remexre | (~remexre@user/remexre) |
| 2023-08-15 10:12:10 +0200 | razetime | (~quassel@117.254.36.186) (Ping timeout: 250 seconds) |
| 2023-08-15 10:12:43 +0200 | razetime | (~quassel@117.254.37.141) |
| 2023-08-15 10:14:32 +0200 | trev | (~trev@user/trev) |
| 2023-08-15 10:15:40 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 10:17:22 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
| 2023-08-15 10:18:50 +0200 | trev | (~trev@user/trev) (Ping timeout: 252 seconds) |
| 2023-08-15 10:20:00 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-08-15 10:25:43 +0200 | paulpaul1076 | (~textual@95-26-12-138.broadband.corbina.ru) |
| 2023-08-15 10:31:01 +0200 | <Inst> | please, please kill me |
| 2023-08-15 10:31:37 +0200 | <Inst> | spent all day writing my tutorial, then all of a sudden, something goes wrong with the freaking library i'm using, or its dependency tree, etc etc etc |
| 2023-08-15 10:32:52 +0200 | <Inst> | https://media.discordapp.net/attachments/968989726633779215/1140925986603540500/image.png?width=80… |
| 2023-08-15 10:34:16 +0200 | ubert | (~Thunderbi@178.165.166.188.wireless.dyn.drei.com) |
| 2023-08-15 10:35:26 +0200 | razetime | (~quassel@117.254.37.141) (Ping timeout: 245 seconds) |
| 2023-08-15 10:36:49 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 10:36:49 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 10:38:47 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 10:38:47 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 10:40:24 +0200 | <tomsmeding> | Inst: would be a bit unfair to kill you for something that's probably not your fault, wouldn't it? :) |
| 2023-08-15 10:40:44 +0200 | ubert | (~Thunderbi@178.165.166.188.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2023-08-15 10:40:50 +0200 | <Inst> | i nuked ghcup to get a fresh install and try to completely guide through the installatino process |
| 2023-08-15 10:41:00 +0200 | <Inst> | i'm not sure if i screwed up somewhere, or if ghcup is already setting path environment variables correctly |
| 2023-08-15 10:41:13 +0200 | <Inst> | Haskell on Windows, if you're doing ANYTHING off the beaten path, is complete freaking torture |
| 2023-08-15 10:41:29 +0200 | <[exa]> | s/Haskell/anything/ |
| 2023-08-15 10:41:48 +0200 | <Inst> | windows run electron apps perfectly well |
| 2023-08-15 10:42:04 +0200 | <[exa]> | Inst: because they basically pack their own operating system :D |
| 2023-08-15 10:42:04 +0200 | <Inst> | can we just stop supporting windows or something? |
| 2023-08-15 10:42:17 +0200 | <[exa]> | <3 |
| 2023-08-15 10:42:32 +0200 | <[exa]> | anyway you're not using WSL2? |
| 2023-08-15 10:42:42 +0200 | <Inst> | i'm writing this tutorial, and i'm guessing half of the content is based on walking users through how to install Haskell on Windows and get the library toolchain working |
| 2023-08-15 10:42:43 +0200 | <[exa]> | I didn't think that it's such a torture with WSL2 |
| 2023-08-15 10:43:28 +0200 | <Inst> | maybe, but can i build the app outside? |
| 2023-08-15 10:43:53 +0200 | <Inst> | it's just a freaking simple tic tac toe app, i'm fairly close to deciding, scscrew it, go learn gi-gtk and do it in gi-gtk instead |
| 2023-08-15 10:44:01 +0200 | <[exa]> | ah you want to do GUI stuff, I see |
| 2023-08-15 10:44:16 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-08-15 10:44:16 +0200 | <Inst> | the moment i ghcup nuked, it stopped working |
| 2023-08-15 10:44:42 +0200 | <Inst> | it doesn't even run out of the box because GHC windows toolchain doesn't support stack protector |
| 2023-08-15 10:46:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-15 10:46:55 +0200 | <Inst> | it was working 2 weeks ago, now it won't run because something has gone wrong with its linkage to harfbuzz |
| 2023-08-15 10:47:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 10:52:47 +0200 | <tomsmeding> | which has a beautiful name |
| 2023-08-15 10:55:15 +0200 | razetime | (~quassel@117.254.37.75) |
| 2023-08-15 10:59:25 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2023-08-15 11:00:26 +0200 | razetime_ | (~quassel@117.254.36.109) |
| 2023-08-15 11:00:32 +0200 | razetime | (~quassel@117.254.37.75) (Ping timeout: 260 seconds) |
| 2023-08-15 11:01:21 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 11:01:31 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 11:06:28 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-15 11:09:24 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-15 11:14:07 +0200 | CiaoSen | (~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-15 11:14:32 +0200 | razetime_ | (~quassel@117.254.36.109) (Ping timeout: 260 seconds) |
| 2023-08-15 11:14:38 +0200 | razetime | (~quassel@117.254.36.255) |
| 2023-08-15 11:17:03 +0200 | <Inst> | no, issue with truetype, tbh, i'm guessing it's probably an issue with windows breaking it on their side |
| 2023-08-15 11:17:35 +0200 | <Inst> | i hit a system update recently, possibly might have broken truetype, but until stack protector support comes online on GHC windows toolchain (I'm told this will take a loooooong time) |
| 2023-08-15 11:18:32 +0200 | phma | (phma@2001:5b0:215a:8e08:ce2c:b247:8837:d81a) (Read error: Connection reset by peer) |
| 2023-08-15 11:22:44 +0200 | phma | (~phma@2001:5b0:2144:1f78:3563:b591:d7dd:84e3) |
| 2023-08-15 11:24:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-15 11:25:55 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-15 11:26:22 +0200 | <Maxdamantus> | freetype is the non-Windows implementation of truetype (and opentype, which is slightly more relevant to the error), so I imagine it wouldn't be Windows itself breaking that. |
| 2023-08-15 11:26:33 +0200 | <Maxdamantus> | (not that I have any experience using Haskell on Windows) |
| 2023-08-15 11:28:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-15 11:28:48 +0200 | <Maxdamantus> | Seems like not only a Windows issue: https://bugs.archlinux.org/task/71680 |
| 2023-08-15 11:31:24 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2023-08-15 11:31:48 +0200 | <Maxdamantus> | Yeah, so presumably it's just using an old version of HarfBuzz and a new version of Freetype. |
| 2023-08-15 11:32:29 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2023-08-15 11:35:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Remote host closed the connection) |
| 2023-08-15 11:40:05 +0200 | razetime | (~quassel@117.254.36.255) (Ping timeout: 245 seconds) |
| 2023-08-15 11:40:51 +0200 | razetime | (~quassel@117.254.37.16) |
| 2023-08-15 11:44:45 +0200 | Square2 | Square |
| 2023-08-15 11:45:27 +0200 | leon_on9527 | (~yoyofreem@117.39.32.218) (Quit: Leaving) |
| 2023-08-15 11:45:44 +0200 | robobub | (uid248673@2a03:5180:f:5::3:cb61) (Quit: Connection closed for inactivity) |
| 2023-08-15 11:46:21 +0200 | yoyofreeman | (~yoyofreem@117.39.32.218) |
| 2023-08-15 11:46:23 +0200 | yoyofreeman | (~yoyofreem@117.39.32.218) (Max SendQ exceeded) |
| 2023-08-15 11:48:15 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) |
| 2023-08-15 11:48:25 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-15 11:49:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 11:50:16 +0200 | razetime | (~quassel@117.254.37.16) (Ping timeout: 256 seconds) |
| 2023-08-15 11:50:34 +0200 | razetime | (~quassel@117.254.36.174) |
| 2023-08-15 11:50:58 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 11:50:58 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 11:51:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 11:52:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 11:54:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-15 11:55:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-08-15 11:55:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 11:56:04 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-15 11:58:34 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-15 11:58:37 +0200 | razetime | (~quassel@117.254.36.174) (Ping timeout: 246 seconds) |
| 2023-08-15 11:58:45 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-15 11:59:14 +0200 | razetime | (~quassel@117.254.37.124) |
| 2023-08-15 12:01:25 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 12:02:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-15 12:07:51 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-15 12:09:47 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:11:09 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:11:22 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:11:51 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:12:31 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2023-08-15 12:12:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-15 12:13:17 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:15:57 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:16:47 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:24:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-15 12:25:18 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 12:28:22 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2023-08-15 12:29:18 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 12:29:42 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:34:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-15 12:34:28 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-15 12:35:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) |
| 2023-08-15 12:40:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 246 seconds) |
| 2023-08-15 12:43:10 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-08-15 12:49:03 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:49:22 +0200 | razetime | (~quassel@117.254.37.124) (Ping timeout: 246 seconds) |
| 2023-08-15 12:49:47 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:50:17 +0200 | razetime | (~quassel@117.254.36.229) |
| 2023-08-15 12:50:33 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:51:37 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 12:57:58 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 12:58:58 +0200 | danza | (~francesco@151.46.219.132) |
| 2023-08-15 13:00:28 +0200 | danza | (~francesco@151.46.219.132) (Remote host closed the connection) |
| 2023-08-15 13:07:20 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-08-15 13:07:26 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) |
| 2023-08-15 13:09:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 13:16:04 +0200 | CiaoSen | (~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) |
| 2023-08-15 13:17:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-15 13:22:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-08-15 13:28:05 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:c9ba:9410:6c9c:4630) (Read error: Connection reset by peer) |
| 2023-08-15 13:29:58 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-15 13:37:48 +0200 | razetime | (~quassel@117.254.36.229) (Ping timeout: 248 seconds) |
| 2023-08-15 13:38:07 +0200 | razetime | (~quassel@117.254.36.237) |
| 2023-08-15 13:40:54 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-15 13:44:01 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 13:44:02 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 13:45:16 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-15 13:46:05 +0200 | ft | (~ft@p4fc2a6f5.dip0.t-ipconnect.de) |
| 2023-08-15 13:48:20 +0200 | ph88 | (~ph88@91.64.60.212) |
| 2023-08-15 13:48:42 +0200 | artem | (~artem@38.42.227.237) (Ping timeout: 256 seconds) |
| 2023-08-15 13:48:52 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 13:52:22 +0200 | razetime | (~quassel@117.254.36.237) (Ping timeout: 246 seconds) |
| 2023-08-15 13:52:52 +0200 | razetime | (~quassel@117.254.37.218) |
| 2023-08-15 13:56:22 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) |
| 2023-08-15 13:59:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-15 13:59:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 14:05:05 +0200 | razetime | (~quassel@117.254.37.218) (Ping timeout: 245 seconds) |
| 2023-08-15 14:05:27 +0200 | razetime | (~quassel@117.254.36.125) |
| 2023-08-15 14:05:59 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: leaving) |
| 2023-08-15 14:06:10 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 14:06:27 +0200 | titibandit | (~titibandi@user/titibandit) (Client Quit) |
| 2023-08-15 14:06:37 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2023-08-15 14:06:38 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 14:10:07 +0200 | razetime | (~quassel@117.254.36.125) (Ping timeout: 260 seconds) |
| 2023-08-15 14:10:09 +0200 | razetime_ | (~quassel@117.254.37.35) |
| 2023-08-15 14:11:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 14:16:28 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2023-08-15 14:17:07 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-15 14:17:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 14:19:24 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-15 14:19:52 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 256 seconds) |
| 2023-08-15 14:19:56 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) (Ping timeout: 246 seconds) |
| 2023-08-15 14:21:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 14:22:01 +0200 | <exarkun> | Anyone mind looking over my first hackage package release (candidate) and pointing out anything glaringly dumb I did? https://hackage.haskell.org/package/tahoe-chk-0.1.0.1/candidate |
| 2023-08-15 14:23:12 +0200 | <jackdk> | If you want to test how your haddocks look, you can run `cabal haddock --haddock-for-hackage` and then `cabal upload -d -u <hackage user> /path/to/doc/tarball.tar.gz |
| 2023-08-15 14:23:47 +0200 | <exarkun> | ah, that sounds like a good idea, thanks |
| 2023-08-15 14:25:28 +0200 | danza | (~francesco@151.37.229.69) |
| 2023-08-15 14:27:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-15 14:34:46 +0200 | ph88 | (~ph88@91.64.60.212) (Ping timeout: 252 seconds) |
| 2023-08-15 14:36:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 14:37:00 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-15 14:37:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 14:38:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 14:38:50 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) |
| 2023-08-15 14:39:16 +0200 | razetime_ | (~quassel@117.254.37.35) (Ping timeout: 260 seconds) |
| 2023-08-15 14:39:19 +0200 | razetime | (~quassel@117.254.36.60) |
| 2023-08-15 14:39:52 +0200 | sagax | (~sagax_nb@user/sagax) (Quit: Konversation terminated!) |
| 2023-08-15 14:42:39 +0200 | <Inst> | grrr |
| 2023-08-15 14:43:02 +0200 | <Inst> | sdl2 on Windows has 2 years to live unless GHC devs fix stack protector support |
| 2023-08-15 14:43:25 +0200 | <Inst> | well, i can't drink anymore because my liver is fubared, but I can always drown my sorrows with Arch |
| 2023-08-15 14:47:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-08-15 14:51:02 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-15 14:56:57 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 14:57:28 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 15:01:48 +0200 | <int-e> | this is the kind of complaint that should come with a ticket (I looked and didn't find one) |
| 2023-08-15 15:02:15 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-15 15:03:00 +0200 | <int-e> | hmm, maybe https://gitlab.haskell.org/ghc/ghc/-/issues/22999 |
| 2023-08-15 15:03:08 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 248 seconds) |
| 2023-08-15 15:03:51 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-15 15:03:58 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 15:10:51 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2023-08-15 15:11:38 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-15 15:12:59 +0200 | <Inst> | Yeah, I contacted Tamar Christina with it and he put it up. I've been considering whether or not to post a probable timeline of when the last working SDL2 goes down, but I'm blaming it for why monomer isn't working, i.e, if I do it again, I need to get contemporary msys2 packages to get it to work. |
| 2023-08-15 15:13:14 +0200 | <Inst> | In either case, I'm just annoyed, but thanks to Kindaro I came up with a useful project idea. |
| 2023-08-15 15:13:46 +0200 | <Inst> | Shouldn't be that hard, it can replace my monomer project in the cookbook |
| 2023-08-15 15:14:15 +0200 | <Inst> | Short answer: Change.org doesn't get anywhere because people don't pledge money or time for demands. :) |
| 2023-08-15 15:15:07 +0200 | <int-e> | ? |
| 2023-08-15 15:16:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 15:17:00 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2023-08-15 15:20:59 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-15 15:20:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-15 15:20:59 +0200 | finn_elija | FinnElija |
| 2023-08-15 15:25:44 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-08-15 15:27:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-15 15:31:29 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 15:35:05 +0200 | <[exa]> | Inst: that's kindof universal property of changes, right? |
| 2023-08-15 15:37:30 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 15:39:19 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-08-15 15:44:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 4.0.2) |
| 2023-08-15 15:45:40 +0200 | <Inst> | https://discourse.haskell.org/t/maintaining-haskell-programs/7166/37 |
| 2023-08-15 15:45:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 15:46:54 +0200 | <Inst> | can do it for more than Haskell, and I already have a domain name in sight; it's really cheap |
| 2023-08-15 15:47:16 +0200 | <Inst> | I've had this interest in "fixing" FOSS because FOSS is outrageously slow, as well as new modes of economic organization. |
| 2023-08-15 15:47:25 +0200 | <exarkun> | wooo blockchain |
| 2023-08-15 15:49:09 +0200 | <Inst> | I'm interested in Haier's usage of blockchain to create and enforce internal contracts within their microenterprise network. |
| 2023-08-15 15:50:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-15 15:53:30 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 15:53:30 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 15:54:21 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 15:54:22 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 15:55:08 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-15 15:55:08 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 15:55:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-15 15:57:00 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2023-08-15 15:57:31 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-15 16:01:36 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-15 16:01:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 16:02:23 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 16:02:45 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-15 16:03:28 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-15 16:03:28 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-15 16:03:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-15 16:03:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 16:05:32 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-15 16:07:57 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-08-15 16:10:28 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-15 16:13:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 16:16:18 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-15 16:18:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-15 16:19:17 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 16:19:25 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) (Read error: Connection reset by peer) |
| 2023-08-15 16:20:01 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-15 16:20:12 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-15 16:23:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-08-15 16:23:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-08-15 16:24:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-08-15 16:25:40 +0200 | CiaoSen | (~Jura@2a05:5800:2ad:5100:664b:f0ff:fe37:9ef) (Ping timeout: 256 seconds) |
| 2023-08-15 16:32:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-15 16:32:30 +0200 | razetime | (~quassel@117.254.36.60) (Remote host closed the connection) |
| 2023-08-15 16:33:40 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-15 16:33:40 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-08-15 16:34:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:fc5e:9ab9:469c:9878) (Quit: WeeChat 2.8) |
| 2023-08-15 16:34:18 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2023-08-15 16:34:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-15 16:35:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 16:40:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-15 16:44:48 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-15 16:45:00 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Read error: Connection reset by peer) |
| 2023-08-15 16:46:49 +0200 | nckx | (nckx@libera/staff/owl/nckx) |
| 2023-08-15 16:47:17 +0200 | <albet70> | :t liftM2 |
| 2023-08-15 16:47:18 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r |
| 2023-08-15 16:50:40 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) |
| 2023-08-15 16:51:55 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection) |
| 2023-08-15 16:53:46 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 244 seconds) |
| 2023-08-15 16:56:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:01:00 +0200 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2023-08-15 17:01:57 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-08-15 17:02:33 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) |
| 2023-08-15 17:02:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 17:03:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 17:05:24 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 17:05:24 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-15 17:08:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:09:09 +0200 | nick3 | (~nick@2600:100d:b109:3579:4d49:ddfc:8cbb:8d72) |
| 2023-08-15 17:12:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-15 17:13:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 17:14:37 +0200 | nick3 | (~nick@2600:100d:b109:3579:4d49:ddfc:8cbb:8d72) (Ping timeout: 258 seconds) |
| 2023-08-15 17:15:27 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-15 17:18:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:18:46 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-15 17:19:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-15 17:19:22 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-15 17:23:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:24:53 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-15 17:26:11 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-15 17:26:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 17:27:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-15 17:30:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-15 17:31:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:32:11 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 17:33:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 17:33:33 +0200 | danza | (~francesco@151.37.229.69) (Ping timeout: 246 seconds) |
| 2023-08-15 17:35:40 +0200 | <ncf> | i keep seeing equality constraints that are obviously yoneda'ble, as in `instance i ~ j => Indexable i (Indexed j)` or `instance (c ~ d) => Each (Map c a) (Map d b) a b`. what's the point of this? |
| 2023-08-15 17:36:17 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) (Ping timeout: 246 seconds) |
| 2023-08-15 17:36:29 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-08-15 17:36:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-08-15 17:37:33 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 17:37:50 +0200 | <ncf> | lyxia: i feel like you know |
| 2023-08-15 17:38:14 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-15 17:39:59 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 17:41:11 +0200 | danza | (~francesco@151.43.224.132) |
| 2023-08-15 17:42:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-15 17:49:28 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2023-08-15 17:50:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) |
| 2023-08-15 17:51:16 +0200 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-08-15 17:52:27 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-08-15 17:52:42 +0200 | safinaskar | (~quassel@212.73.77.98) |
| 2023-08-15 17:52:49 +0200 | <safinaskar> | how to compile this? https://godbolt.org/z/hqvoMroqf |
| 2023-08-15 17:53:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) |
| 2023-08-15 17:53:05 +0200 | <safinaskar> | i. e. how to pass lambda as argument to type constructor? |
| 2023-08-15 17:56:53 +0200 | <int-e> | I think you just don't. |
| 2023-08-15 17:56:54 +0200 | <geekosaur> | type level doesn't have lambdas |
| 2023-08-15 17:57:33 +0200 | <safinaskar> | lambda here has type "Int -> Int" |
| 2023-08-15 17:57:42 +0200 | <safinaskar> | i. e. this is usual lambda on data values |
| 2023-08-15 17:58:16 +0200 | <safinaskar> | is there a way to switch to term syntax? Maybe "Y '(\x -> x)"? |
| 2023-08-15 17:58:33 +0200 | <geekosaur> | haskell is not dependently typed, at least not yet |
| 2023-08-15 17:58:40 +0200 | <geekosaur> | you cannot use term syntax in types |
| 2023-08-15 17:59:05 +0200 | <int-e> | you can't demote terms to types either |
| 2023-08-15 17:59:14 +0200 | <safinaskar> | i heard i can use apostroph (') to switch to term syntax. is this true? |
| 2023-08-15 17:59:18 +0200 | <EvanR> | you can make an identity type family |
| 2023-08-15 17:59:24 +0200 | <EvanR> | but not pass it to Y |
| 2023-08-15 18:00:19 +0200 | <geekosaur> | it is not true. you can promote constructors with a tick |
| 2023-08-15 18:00:22 +0200 | <safinaskar> | geekosaur: int-e: i remember you here in 2015. so all this time you sit here and answer question? thanks a lot for all this job!!! |
| 2023-08-15 18:00:29 +0200 | <geekosaur> | you cannot generally switch to term syntax |
| 2023-08-15 18:00:36 +0200 | <safinaskar> | *questions |
| 2023-08-15 18:01:06 +0200 | <dolio> | You don't need dependent types to have lambda expressions in types. But putting them in there tends to make type inference undecidable. |
| 2023-08-15 18:01:21 +0200 | <int-e> | geekosaur: but that's a lie, isn't it... the whole data type gets embedded into the type level, pretty much totally separate from the one at the value type. |
| 2023-08-15 18:01:23 +0200 | <geekosaur> | there are a few type families for type level operations, e.g. you cna add type level numbers with the + type family |
| 2023-08-15 18:01:39 +0200 | <int-e> | just sharing names |
| 2023-08-15 18:02:12 +0200 | <int-e> | in particular, you can't use term-level definitions using that type at the type level; you have to use type families isntead |
| 2023-08-15 18:03:14 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-08-15 18:03:20 +0200 | <int-e> | Oh well. At least that's my mental model of these things. |
| 2023-08-15 18:03:54 +0200 | <dolio> | The term and type level have kind of fundamentally different behaviors in Haskell, so it's not super obvious how just lifting up any term level definition to the type level would work. |
| 2023-08-15 18:06:00 +0200 | <geekosaur> | int-e: "promoted" is what ghc calls it, so you risk confusion if you don't use the same language, even if it's not quite true |
| 2023-08-15 18:06:12 +0200 | <int-e> | There's a benefit to this clear cut: type erasure will always work (with the understanding that class instance evidence can still be values) |
| 2023-08-15 18:06:48 +0200 | <int-e> | geekosaur: of course they do :-P |
| 2023-08-15 18:07:59 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-15 18:08:10 +0200 | <int-e> | (this is essentially the same quibble as the one I have with reify/reflect) |
| 2023-08-15 18:11:33 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 18:11:37 +0200 | <int-e> | And "they" are of course type theorists who've never seen a real value in their whole life. I may have some issues to work out... |
| 2023-08-15 18:15:40 +0200 | <EvanR> | so vulkans lack ethics and type theorists lack value? |
| 2023-08-15 18:17:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-15 18:18:49 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) (Remote host closed the connection) |
| 2023-08-15 18:19:33 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) |
| 2023-08-15 18:20:54 +0200 | ulysses4ever | (~artem@2607:fb91:2d97:853f:f474:e3f8:9806:671) |
| 2023-08-15 18:21:09 +0200 | <lyxia> | ncf: you mean this? https://chrisdone.com/posts/haskell-constraint-trick/ |
| 2023-08-15 18:22:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 18:22:37 +0200 | <ncf> | oh my yes |
| 2023-08-15 18:22:40 +0200 | <ncf> | thank |
| 2023-08-15 18:23:02 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 18:24:30 +0200 | sm_ | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-08-15 18:25:51 +0200 | Luke96 | (~Luke@2600:387:f:6812::7) |
| 2023-08-15 18:26:19 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) (Remote host closed the connection) |
| 2023-08-15 18:27:17 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) |
| 2023-08-15 18:28:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 18:29:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-15 18:30:01 +0200 | <int-e> | EvanR: hah it took me until now to realize which vulkans you mean. |
| 2023-08-15 18:30:12 +0200 | Square2 | (~Square@user/square) |
| 2023-08-15 18:31:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-15 18:31:16 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-15 18:31:18 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-15 18:31:51 +0200 | <EvanR> | yeah that's not how it's spelled in star trek |
| 2023-08-15 18:32:34 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Client Quit) |
| 2023-08-15 18:32:39 +0200 | <Square2> | Are there any publicly available nix binary caches for haskell tooling and packages available. The publish builds once a year at least |
| 2023-08-15 18:32:59 +0200 | <Square2> | That publish |
| 2023-08-15 18:35:15 +0200 | Luke96 | (~Luke@2600:387:f:6812::7) (Quit: Client closed) |
| 2023-08-15 18:35:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 18:35:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 18:35:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 18:35:30 +0200 | Luke22 | (~Luke@2600:387:f:6812::7) |
| 2023-08-15 18:35:38 +0200 | Luke22 | (~Luke@2600:387:f:6812::7) (Client Quit) |
| 2023-08-15 18:35:47 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 245 seconds) |
| 2023-08-15 18:37:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-15 18:38:06 +0200 | nick3 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-15 18:39:06 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-15 18:40:19 +0200 | trev | (~trev@user/trev) |
| 2023-08-15 18:40:50 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) (Remote host closed the connection) |
| 2023-08-15 18:41:29 +0200 | yoyofreeman | (~yoyofreem@47.254.237.126) |
| 2023-08-15 18:42:26 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-15 18:42:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 18:44:40 +0200 | trev | (~trev@user/trev) (Ping timeout: 245 seconds) |
| 2023-08-15 18:45:23 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-15 18:45:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 18:46:58 +0200 | sososasa | (~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) |
| 2023-08-15 18:47:03 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 18:52:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-08-15 18:53:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 18:53:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 18:53:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 18:53:26 +0200 | trev | (~trev@user/trev) |
| 2023-08-15 18:55:22 +0200 | trev | (~trev@user/trev) (Read error: Connection reset by peer) |
| 2023-08-15 18:55:46 +0200 | trev | (~trev@user/trev) |
| 2023-08-15 18:56:30 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds) |
| 2023-08-15 19:00:30 +0200 | sososasa | (~textual@108-210-178-55.lightspeed.tukrga.sbcglobal.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-15 19:06:13 +0200 | <ncf> | cache.nixos.org |
| 2023-08-15 19:06:42 +0200 | bratwurst | (~blaadsfa@S010610561191f5d6.lb.shawcable.net) |
| 2023-08-15 19:07:05 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-15 19:08:54 +0200 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-15 19:10:52 +0200 | exarkun | (~exarkun@user/exarkun) (Excess Flood) |
| 2023-08-15 19:11:12 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-15 19:11:46 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2023-08-15 19:15:33 +0200 | <Square2> | ncf, thanks |
| 2023-08-15 19:18:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-15 19:25:30 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-15 19:29:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-15 19:30:26 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 19:30:26 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 19:30:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 19:30:55 +0200 | danza | (~francesco@151.43.224.132) (Ping timeout: 245 seconds) |
| 2023-08-15 19:35:52 +0200 | bratwurst | (~blaadsfa@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 2023-08-15 19:36:24 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-15 19:40:01 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-15 19:41:14 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-15 19:41:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 19:45:56 +0200 | danza | (~francesco@151.43.224.132) |
| 2023-08-15 19:46:13 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-15 19:53:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-15 19:53:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-15 19:54:32 +0200 | ICRainbow | (~quassel@129.152.29.236) |
| 2023-08-15 19:55:03 +0200 | ICRainbow | (~quassel@129.152.29.236) (Client Quit) |
| 2023-08-15 19:55:29 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2023-08-15 19:55:58 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Remote host closed the connection) |
| 2023-08-15 19:58:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 19:58:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 19:58:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 20:01:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 20:01:58 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-15 20:02:48 +0200 | safinaskar | (~quassel@212.73.77.98) () |
| 2023-08-15 20:06:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 20:08:27 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-15 20:16:18 +0200 | danza | (~francesco@151.43.224.132) (Ping timeout: 246 seconds) |
| 2023-08-15 20:16:28 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-15 20:20:04 +0200 | ICRainbow | (~quassel@129.152.29.236) |
| 2023-08-15 20:20:42 +0200 | ICRainbow | (~quassel@129.152.29.236) () |
| 2023-08-15 20:21:06 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-15 20:27:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 20:28:44 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-15 20:36:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-15 20:38:00 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds) |
| 2023-08-15 20:38:03 +0200 | tzh | (~tzh@24.21.73.154) |
| 2023-08-15 20:39:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-15 20:42:09 +0200 | rhemsta0 | (~rhemsta0@2001:4451:114d:8500:24bf:8c6a:d958:4b8a) |
| 2023-08-15 20:46:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-15 20:49:03 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 20:49:03 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 20:49:03 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 20:52:14 +0200 | tromp | (~textual@92.110.219.57) |
| 2023-08-15 20:52:28 +0200 | rhemsta0 | (~rhemsta0@2001:4451:114d:8500:24bf:8c6a:d958:4b8a) (Quit: Client closed) |
| 2023-08-15 20:58:13 +0200 | michalz | (~michalz@185.246.207.193) |
| 2023-08-15 20:58:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-08-15 20:58:18 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-15 21:00:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Remote host closed the connection) |
| 2023-08-15 21:02:03 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-15 21:06:24 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 21:06:24 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 21:06:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 21:06:57 +0200 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 21:08:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 21:13:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-08-15 21:14:08 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) |
| 2023-08-15 21:15:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-15 21:17:35 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2023-08-15 21:19:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-15 21:20:00 +0200 | jle` | (~jle`@23.240.75.236) |
| 2023-08-15 21:20:32 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 21:20:32 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 21:20:32 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 21:21:03 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-08-15 21:23:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-15 21:23:47 +0200 | machinedgod | (~machinedg@198.53.218.113) |
| 2023-08-15 21:25:32 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-08-15 21:29:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-15 21:30:33 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 21:30:34 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 21:30:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 21:35:30 +0200 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2023-08-15 21:36:26 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-15 21:36:32 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-08-15 21:39:15 +0200 | oats | (~thomas@user/oats) |
| 2023-08-15 21:39:50 +0200 | oats | schmoats |
| 2023-08-15 21:42:25 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-15 21:46:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-15 21:50:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-15 21:51:24 +0200 | <erisco> | I haven't touched Haskell in a few years. We've got dependent types now, right? |
| 2023-08-15 21:51:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 21:51:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 21:51:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 21:52:25 +0200 | <dolio> | No. |
| 2023-08-15 21:52:29 +0200 | danza | (~francesco@151.47.107.62) |
| 2023-08-15 21:52:59 +0200 | <erisco> | Drat. I did nothing and it still isn't here! |
| 2023-08-15 21:53:38 +0200 | <dolio> | Just use Idris. |
| 2023-08-15 21:54:08 +0200 | <erisco> | well now I don't know if it is Idris or Idris 2 or what's going on |
| 2023-08-15 21:54:13 +0200 | <bratwurst> | i couldn't get chez to build on my machine sadly |
| 2023-08-15 21:54:20 +0200 | <dolio> | Or agda2hs. |
| 2023-08-15 21:54:39 +0200 | <bratwurst> | it's idris2 but it uses chez scheme now |
| 2023-08-15 21:55:09 +0200 | <dolio> | Doesn't even idris2 have lots of backends already? |
| 2023-08-15 21:55:14 +0200 | <bratwurst> | building chez sucked up every bit of memory and swap on my machine and locked it up |
| 2023-08-15 21:55:22 +0200 | <bratwurst> | no idea how to diagnose the problem |
| 2023-08-15 21:55:45 +0200 | <erisco> | open case, look for any empty dimm slots, fill those slots |
| 2023-08-15 21:57:46 +0200 | <bratwurst> | oh wait, im on a chromebook now, i could use 'apt' |
| 2023-08-15 21:57:56 +0200 | <bratwurst> | and there it is yay! |
| 2023-08-15 21:58:42 +0200 | <bratwurst> | i lost my main laptop to hard drive failure |
| 2023-08-15 21:59:03 +0200 | ulysses4ever | (~artem@2607:fb91:2d97:853f:f474:e3f8:9806:671) (Ping timeout: 258 seconds) |
| 2023-08-15 22:00:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-08-15 22:01:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) |
| 2023-08-15 22:01:47 +0200 | TonyStone | (~TonyStone@74.76.57.186) |
| 2023-08-15 22:01:50 +0200 | TonyStone | (~TonyStone@74.76.57.186) (Remote host closed the connection) |
| 2023-08-15 22:03:21 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2023-08-15 22:06:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 248 seconds) |
| 2023-08-15 22:08:50 +0200 | danza | (~francesco@151.47.107.62) (Ping timeout: 245 seconds) |
| 2023-08-15 22:09:30 +0200 | vglfr | (~vglfr@188.239.201.89) (Ping timeout: 246 seconds) |
| 2023-08-15 22:10:38 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) |
| 2023-08-15 22:11:15 +0200 | <_d0t> | ohai! Question about Servant and context handlers. Can context handlers perform effectful computations in a custom monad with effects propagating into api handlers? Say, a context handler modifies the state in StateT and an api handler then uses those changes. |
| 2023-08-15 22:13:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-15 22:14:02 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-15 22:15:18 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 256 seconds) |
| 2023-08-15 22:16:40 +0200 | <_d0t> | I suppose this isn't so, but I'm a bit hopeful someone can prove me wrong. |
| 2023-08-15 22:16:43 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-15 22:17:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 22:20:23 +0200 | fbytez | (~uid@user/fbytez) (Quit: byte byte) |
| 2023-08-15 22:22:00 +0200 | fbytez | (~uid@user/fbytez) |
| 2023-08-15 22:22:01 +0200 | <EvanR> | erisco, I'm curious what you want to do with dependent types |
| 2023-08-15 22:23:22 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 252 seconds) |
| 2023-08-15 22:23:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-15 22:23:53 +0200 | <erisco> | I am interested to see what the Haskell flavour of them will be. I usually just mess around with silly stuff |
| 2023-08-15 22:24:07 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) |
| 2023-08-15 22:24:19 +0200 | <EvanR> | there's at least 1 paper on dependent haskell and how it looks and works |
| 2023-08-15 22:24:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-15 22:24:32 +0200 | <EvanR> | from a few years back now |
| 2023-08-15 22:27:25 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-15 22:28:00 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-15 22:28:35 +0200 | <EvanR> | now I can't find it |
| 2023-08-15 22:30:32 +0200 | <geekosaur> | you thinking of eisenberg's thesis? |
| 2023-08-15 22:30:45 +0200 | <geekosaur> | https://www.cis.upenn.edu/~sweirich/papers/eisenberg-thesis.pdf |
| 2023-08-15 22:31:10 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 256 seconds) |
| 2023-08-15 22:32:09 +0200 | <EvanR> | well, I look at that paper and it doesn't match the corrupted memory of whatever I was trying to think of |
| 2023-08-15 22:32:25 +0200 | <EvanR> | maybe I was looking at an early draft |
| 2023-08-15 22:32:47 +0200 | <monochrom> | There were other papers too. |
| 2023-08-15 22:36:01 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-15 22:39:12 +0200 | ulysses4ever | (~artem@50.216.106.11) |
| 2023-08-15 22:39:16 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0::8d44) (Remote host closed the connection) |
| 2023-08-15 22:40:22 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-08-15 22:40:25 +0200 | ulysses4ever | (~artem@50.216.106.11) (Read error: Connection reset by peer) |
| 2023-08-15 22:41:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-15 22:44:16 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-15 22:45:57 +0200 | Abreu | (~Abreu@143.107.225.16) |
| 2023-08-15 22:46:02 +0200 | <Abreu> | Heya. |
| 2023-08-15 22:46:34 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-15 22:47:25 +0200 | <g> | hi |
| 2023-08-15 22:47:46 +0200 | <mauke> | https://www.youtube.com/watch?v=lnCai9GYJ9k |
| 2023-08-15 22:48:34 +0200 | <Abreu> | Nice. *:D |
| 2023-08-15 22:48:37 +0200 | <EvanR> | what does lnCai9GYJ9k go to |
| 2023-08-15 22:48:50 +0200 | <EvanR> | other than ads |
| 2023-08-15 22:49:20 +0200 | <mauke> | Super Hey Ya! (remastered) |
| 2023-08-15 22:50:07 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) |
| 2023-08-15 22:51:42 +0200 | <g> | mauke: this is some weird stuff |
| 2023-08-15 22:52:38 +0200 | ulysses4ever | (~artem@50.216.106.3) |
| 2023-08-15 22:53:08 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-15 22:54:46 +0200 | artem | (~artem@50.216.106.4) |
| 2023-08-15 22:54:46 +0200 | ulysses4ever | (~artem@50.216.106.3) (Read error: Connection reset by peer) |
| 2023-08-15 22:55:20 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-15 22:59:12 +0200 | artem | (~artem@50.216.106.4) (Ping timeout: 260 seconds) |
| 2023-08-15 23:01:03 +0200 | bgs | (~bgs@212.85.160.171) (Remote host closed the connection) |
| 2023-08-15 23:01:39 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-15 23:01:42 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-15 23:02:33 +0200 | son0p | (~ff@181.32.134.99) (Ping timeout: 246 seconds) |
| 2023-08-15 23:05:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-08-15 23:06:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-15 23:06:30 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-15 23:07:51 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3) |
| 2023-08-15 23:14:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-15 23:17:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-15 23:17:58 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-08-15 23:22:10 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-08-15 23:24:15 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 23:24:15 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 23:24:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 23:28:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-15 23:30:43 +0200 | natto | (~natto@140.238.225.67) |
| 2023-08-15 23:31:50 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2023-08-15 23:33:25 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-15 23:33:25 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-15 23:33:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-15 23:44:59 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-15 23:45:29 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) (Quit: Konversation terminated!) |
| 2023-08-15 23:49:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-15 23:52:13 +0200 | machinedgod | (~machinedg@198.53.218.113) (Ping timeout: 248 seconds) |
| 2023-08-15 23:55:01 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-15 23:55:01 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-15 23:55:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
