| 2023-08-16 00:01:12 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-16 00:01:22 +0000 | <int-e> | (while modern CPP will happily append with ## and use the resulting macro name without any weird tricks) |
| 2023-08-16 00:02:51 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 258 seconds) |
| 2023-08-16 00:02:51 +0000 | mauke_ | mauke |
| 2023-08-16 00:07:13 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 00:07:52 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-08-16 00:10:57 +0000 | troydm | (~troydm@user/troydm) |
| 2023-08-16 00:12:32 +0000 | <EvanR> | any idea waht's going on all of a sudden here https://paste.tomsmeding.com/SQMnEwCW |
| 2023-08-16 00:12:58 +0000 | <EvanR> | did a cosmic ray hit my kernel |
| 2023-08-16 00:13:12 +0000 | <geekosaur> | an update did, I think? |
| 2023-08-16 00:13:19 +0000 | <EvanR> | alright |
| 2023-08-16 00:13:30 +0000 | <EvanR> | turning it off and on again |
| 2023-08-16 00:13:40 +0000 | <geekosaur> | https://discourse.haskell.org/t/facing-mmap-4096-bytes-at-nil-cannot-allocate-memory-youre-not-alo… |
| 2023-08-16 00:15:12 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-16 00:15:59 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-08-16 00:16:28 +0000 | <int-e> | that "old" bug! |
| 2023-08-16 00:17:23 +0000 | EvanR | (~EvanR@user/evanr) |
| 2023-08-16 00:18:05 +0000 | <int-e> | oh and the thread confuses me with int-index. so common |
| 2023-08-16 00:18:46 +0000 | <EvanR> | that's unfortunate, still happens. Though occasionally I can make it to writing 2*pi and getting an answer before it core dumps |
| 2023-08-16 00:19:10 +0000 | <geekosaur> | what version of ghc/ghci? |
| 2023-08-16 00:19:34 +0000 | <EvanR> | 9.2.5 apparently |
| 2023-08-16 00:19:41 +0000 | <geekosaur> | use 9.4 or 9.6 |
| 2023-08-16 00:19:55 +0000 | <geekosaur> | this really does sound like the kernel bug in that url |
| 2023-08-16 00:20:01 +0000 | <int-e> | which quite accidentally fixes this; it's really a kernel bug |
| 2023-08-16 00:20:06 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-16 00:20:25 +0000 | <int-e> | but ghc changed how exactly it mmaps low addresses between 9.2 and 9.4. |
| 2023-08-16 00:20:36 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-16 00:20:52 +0000 | <int-e> | (I'll trust geekosaur on those versions) |
| 2023-08-16 00:20:56 +0000 | <EvanR> | this is why I hate updating my system |
| 2023-08-16 00:21:11 +0000 | <EvanR> | previous kernel worked |
| 2023-08-16 00:21:17 +0000 | <geekosaur> | yep |
| 2023-08-16 00:21:26 +0000 | <EvanR> | big numbers not always better |
| 2023-08-16 00:21:35 +0000 | <geekosaur> | your turn for that kernel bug |
| 2023-08-16 00:23:15 +0000 | <Axman6> | The many-headed hydra of mmap returns |
| 2023-08-16 00:23:53 +0000 | <EvanR> | 9.6 now successfully computes 2*pi |
| 2023-08-16 00:23:57 +0000 | <EvanR> | great |
| 2023-08-16 00:25:24 +0000 | <Axman6> | Phew, about time, now to head to hackernews to announce the production rediness of Haskell! |
| 2023-08-16 00:26:07 +0000 | <int-e> | Axman6: it was nice knowing you |
| 2023-08-16 00:26:23 +0000 | <Axman6> | Success successfully unavoided |
| 2023-08-16 00:26:57 +0000 | <EvanR> | if the office watercooler were running haskell + linux, and this auto-update happened, we'd be dead in the water... |
| 2023-08-16 00:27:26 +0000 | <Axman6> | Or at least next to it |
| 2023-08-16 00:27:35 +0000 | <int-e> | @quote production |
| 2023-08-16 00:27:35 +0000 | <lambdabot> | scodil says: dcoutts: rad. i'm actually using gtk2hs quite a bit now. its one of those deals where I'm writing prototype software for people who aren't really paying for it, so it will end up being |
| 2023-08-16 00:27:36 +0000 | <lambdabot> | the production software, so you'll probably be getting emails in 5 years asking "what is haskell and how do I install it?" |
| 2023-08-16 00:29:13 +0000 | <Axman6> | There's still some Haskell I wrote like 8 years ago running in production for the Austraslian Government. It should probably be updated, but I'm not sure anyone knows how now |
| 2023-08-16 00:29:47 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 00:29:59 +0000 | <probie> | Was that at IP Australia? |
| 2023-08-16 00:30:18 +0000 | <Axman6> | NICTA(/CSIRO Data61) |
| 2023-08-16 00:30:51 +0000 | <probie> | That makes more sense |
| 2023-08-16 00:32:42 +0000 | <Axman6> | it's providing data to nationalmap.gov.au, good luck finding it |
| 2023-08-16 00:34:00 +0000 | <hpc> | Axman6: that's so close to a https://en.wikipedia.org/wiki/Omission_of_New_Zealand_from_maps joke :D |
| 2023-08-16 00:35:07 +0000 | <Axman6> | We (claimed) to have some good conversations with the NZ team doing a similar thing to that project, if they actually existed |
| 2023-08-16 00:36:16 +0000 | <Axman6> | "NZ Exists" => "We had interesting conversatons with them" |
| 2023-08-16 00:37:31 +0000 | <hpc> | it's important that the conversations are interesting |
| 2023-08-16 00:37:34 +0000 | <hpc> | otherwise the math doesn't work out |
| 2023-08-16 00:39:38 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-16 00:42:56 +0000 | <Axman6> | Or in the AU/NZ case, maths |
| 2023-08-16 00:48:21 +0000 | razetime | (~quassel@117.254.37.166) |
| 2023-08-16 00:49:20 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-16 00:49:20 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-16 00:49:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 00:54:17 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 00:58:32 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 00:59:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-08-16 00:59:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 01:00:48 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2023-08-16 01:02:04 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-08-16 01:03:00 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 01:03:59 +0000 | mud | (~mud@user/kadoban) |
| 2023-08-16 01:08:00 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 01:09:58 +0000 | razetime | (~quassel@117.254.37.166) (Ping timeout: 256 seconds) |
| 2023-08-16 01:10:26 +0000 | razetime | (~quassel@117.254.36.34) |
| 2023-08-16 01:11:27 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-16 01:12:04 +0000 | hyvoid1 | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-16 01:15:05 +0000 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 245 seconds) |
| 2023-08-16 01:15:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-16 01:17:35 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-16 01:21:50 +0000 | systemhalted | (~systemhal@130.51.137.77) |
| 2023-08-16 01:23:52 +0000 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2023-08-16 01:23:55 +0000 | <Axman6> | % type b <- a = a -> b |
| 2023-08-16 01:23:56 +0000 | <yahb2> | <interactive>:87:8: error: ; parse error on input ‘<-’ ; Perhaps this statement should be within a 'do' block? |
| 2023-08-16 01:24:12 +0000 | <Axman6> | % type (<-) b a = a -> b |
| 2023-08-16 01:24:13 +0000 | <yahb2> | <interactive>:89:7: error: ; parse error on input ‘<-’ ; Perhaps this statement should be within a 'do' block? |
| 2023-08-16 01:24:15 +0000 | <Axman6> | :( |
| 2023-08-16 01:24:29 +0000 | <geekosaur> | <- is syntax, not an operator |
| 2023-08-16 01:26:34 +0000 | <Axman6> | It's a bit of a shame, would be nice to have that instead of Op; newtype (<-) b a = Op (a -> b) |
| 2023-08-16 01:38:49 +0000 | <int-e> | :<- would work |
| 2023-08-16 01:40:11 +0000 | <geekosaur> | % type b <-- a = a -> b |
| 2023-08-16 01:40:11 +0000 | <yahb2> | <no output> |
| 2023-08-16 01:45:25 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 01:53:46 +0000 | institor | (~root@user/institor) |
| 2023-08-16 01:57:02 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-16 01:58:19 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-16 01:59:39 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 02:00:14 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Client Quit) |
| 2023-08-16 02:02:33 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 02:06:25 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-08-16 02:12:24 +0000 | davros1 | (~davros2@host86-183-29-229.range86-183.btcentralplus.com) |
| 2023-08-16 02:14:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) (Ping timeout: 246 seconds) |
| 2023-08-16 02:15:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 02:16:44 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-16 02:23:31 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 244 seconds) |
| 2023-08-16 02:25:13 +0000 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-16 02:27:01 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-08-16 02:31:24 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 02:31:24 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-16 02:31:24 +0000 | finn_elija | FinnElija |
| 2023-08-16 02:36:49 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 02:41:09 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-16 02:42:38 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 02:46:16 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-16 02:49:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-16 02:55:17 +0000 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-16 02:57:19 +0000 | td_ | (~td@83.135.9.0) |
| 2023-08-16 03:00:19 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-16 03:02:53 +0000 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) |
| 2023-08-16 03:03:11 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 260 seconds) |
| 2023-08-16 03:05:50 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 03:10:04 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 248 seconds) |
| 2023-08-16 03:10:22 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 03:11:22 +0000 | aforemny | (~aforemny@2001:9e8:6cc3:8300:6085:e4aa:6e93:e8c8) |
| 2023-08-16 03:11:48 +0000 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-16 03:12:09 +0000 | aforemny_ | (~aforemny@2001:9e8:6cd8:700:57fe:b2bd:4720:3f78) (Ping timeout: 246 seconds) |
| 2023-08-16 03:12:16 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 03:15:42 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2023-08-16 03:16:08 +0000 | nick3 | (~nick@98.186.194.1) |
| 2023-08-16 03:16:22 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-08-16 03:16:38 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) |
| 2023-08-16 03:16:38 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-08-16 03:19:10 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-16 03:26:20 +0000 | ft | (~ft@p4fc2a6f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-16 03:28:08 +0000 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) |
| 2023-08-16 03:38:12 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 03:46:08 +0000 | reklack | (~reklack@2600:1700:3560:e20:efde:5cce:ebe6:66c7) |
| 2023-08-16 03:54:39 +0000 | ddellacosta | (~ddellacos@146.70.165.219) (Ping timeout: 246 seconds) |
| 2023-08-16 03:56:16 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 260 seconds) |
| 2023-08-16 04:00:36 +0000 | razetime | (~quassel@117.254.36.34) (Ping timeout: 246 seconds) |
| 2023-08-16 04:06:35 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 04:07:05 +0000 | ddellacosta | (~ddellacos@146.70.166.155) |
| 2023-08-16 04:08:20 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-16 04:10:00 +0000 | lanefoxwood | (~lane@2407:7000:8c67:cf00:ed62:6c37:b506:fe87) |
| 2023-08-16 04:10:37 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-08-16 04:11:33 +0000 | vglfr | (~vglfr@188.239.201.89) |
| 2023-08-16 04:15:08 +0000 | <reklack> | any other learners here? |
| 2023-08-16 04:15:54 +0000 | <glguy> | reklack: yeah, lots |
| 2023-08-16 04:16:32 +0000 | Square2 | (~Square@user/square) |
| 2023-08-16 04:17:17 +0000 | nick4 | (~nick@98.186.194.1) |
| 2023-08-16 04:17:36 +0000 | <glguy> | activity varies widely over the day, but if there's something you're curious about, ask a question and hang out for a while to give people a chance to reply |
| 2023-08-16 04:19:37 +0000 | nick3 | (~nick@98.186.194.1) (Ping timeout: 260 seconds) |
| 2023-08-16 04:26:51 +0000 | reklack | (~reklack@2600:1700:3560:e20:efde:5cce:ebe6:66c7) (Leaving) |
| 2023-08-16 04:27:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-08-16 04:27:43 +0000 | <glguy> | learning complete |
| 2023-08-16 04:29:46 +0000 | lanefoxwood | (~lane@2407:7000:8c67:cf00:ed62:6c37:b506:fe87) () |
| 2023-08-16 04:30:29 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-16 04:34:34 +0000 | <davros1> | Havent touched haskell in ages but did dabble with it. I have clicked into this room again because elsewhere someone is suggesting I learn "category theory" |
| 2023-08-16 04:35:09 +0000 | <davros1> | I use rust these days (still close to c++ but gets some of the appeal of haskell mashed into it) |
| 2023-08-16 04:35:34 +0000 | <glguy> | Why are they suggesting that? What do they think it means? |
| 2023-08-16 04:37:28 +0000 | <glguy> | Haskell is pretty great, but maybe not because if category theory :) |
| 2023-08-16 04:44:08 +0000 | razetime | (~quassel@117.254.36.34) |
| 2023-08-16 04:46:21 +0000 | <Axman6> | There are parts of CT that I have learned over the years, but none of it really (to my knowledge at least) affects my haskell writing day to day |
| 2023-08-16 04:47:25 +0000 | <davros1> | What they say is "category theory will inform us how to make the languages we need that we dont yet have" |
| 2023-08-16 04:47:39 +0000 | <davros1> | Basically its a PL & AI researcher. |
| 2023-08-16 04:48:17 +0000 | <Axman6> | You might enjoy Conal Elliot's talk(s) on compiling to categories, that's the most compelling use I've seen |
| 2023-08-16 04:50:10 +0000 | <Axman6> | I haven't seen this particular instance, but https://www.youtube.com/watch?v=SVRYcrhRCes is probably relevant |
| 2023-08-16 04:50:41 +0000 | <Axman6> | This is the version of the talk I was at https://www.youtube.com/watch?v=vzLK_xE9Zy8&t=1s |
| 2023-08-16 04:52:50 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 04:54:30 +0000 | <probie> | or, if like me, you dislike watching videos - here's the relevant paper http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf |
| 2023-08-16 04:54:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-16 04:58:02 +0000 | <Axman6> | Conal has such a calming way of presenting it's worth the video IMO (The podcast he did for tyoe theory for all was one of the most zen things I've ever heard, birds chirping in the background) |
| 2023-08-16 04:58:11 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-16 04:58:11 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-16 04:58:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 05:13:18 +0000 | <monochrom> | Other reasons to learn category theory: https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf https://math.mit.edu/~dspivak/informatics/ https://applied-compositional-thinking.engineering/ https://www.nasa.gov/sites/default/files/atoms/files/mssrc_uah_nasa_30-09-2018.pdf |
| 2023-08-16 05:14:59 +0000 | <monochrom> | at which point you don't learn category theory for coding, you learn it for thinking at all. |
| 2023-08-16 05:15:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 05:15:55 +0000 | <dolio> | Yeah, that's more the point. |
| 2023-08-16 05:16:54 +0000 | nick1 | (~nick@98.186.194.1) |
| 2023-08-16 05:18:23 +0000 | nick4 | (~nick@98.186.194.1) (Read error: Connection reset by peer) |
| 2023-08-16 05:18:48 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 05:19:57 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-16 05:29:36 +0000 | ddellacosta | (~ddellacos@146.70.166.155) (Ping timeout: 260 seconds) |
| 2023-08-16 05:31:53 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-16 05:33:30 +0000 | ecraven | (ecraven@user/nex) (Bye) |
| 2023-08-16 05:36:53 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-16 05:38:36 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 05:38:57 +0000 | <davros1> | Thanks for the above links |
| 2023-08-16 05:39:19 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 05:40:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 05:44:16 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer) |
| 2023-08-16 05:45:04 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 05:45:39 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-08-16 05:47:17 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-16 05:49:15 +0000 | <sm> | Axman6: +1 |
| 2023-08-16 05:52:15 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-16 05:53:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 05:55:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-16 06:00:33 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 06:04:04 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 256 seconds) |
| 2023-08-16 06:07:31 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-08-16 06:09:07 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 06:16:43 +0000 | nick1 | (~nick@98.186.194.1) (Read error: Connection reset by peer) |
| 2023-08-16 06:17:44 +0000 | nick1 | (~nick@98.186.194.1) |
| 2023-08-16 06:18:01 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 06:24:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-16 06:24:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-16 06:24:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 06:29:49 +0000 | jargon | (~jargon@184.101.68.177) (Remote host closed the connection) |
| 2023-08-16 06:29:57 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-16 06:30:34 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-08-16 06:30:50 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 06:31:37 +0000 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) (Quit: Connection closed for inactivity) |
| 2023-08-16 06:34:30 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-16 06:35:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 06:38:20 +0000 | Square | (~Square4@user/square) |
| 2023-08-16 06:39:37 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 06:41:28 +0000 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2023-08-16 06:43:13 +0000 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2023-08-16 06:44:17 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-16 06:50:30 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-16 06:50:46 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 06:53:17 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-16 06:56:57 +0000 | acidjnk | (~acidjnk@p200300d6e7072f2928df64d2cdd56b4a.dip0.t-ipconnect.de) |
| 2023-08-16 07:00:28 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 07:04:43 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 07:07:04 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-16 07:07:32 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2023-08-16 07:09:59 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-08-16 07:11:19 +0000 | chele | (~chele@user/chele) |
| 2023-08-16 07:13:16 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-16 07:13:28 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-08-16 07:13:36 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 07:14:05 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 07:14:06 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 07:14:06 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 07:14:06 +0000 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) |
| 2023-08-16 07:16:57 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-16 07:17:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 07:18:29 +0000 | nick3 | (~nick@98.186.194.1) |
| 2023-08-16 07:21:02 +0000 | nick1 | (~nick@98.186.194.1) (Ping timeout: 260 seconds) |
| 2023-08-16 07:22:30 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 07:28:33 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-16 07:34:59 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 07:37:03 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c91:8e1f:44b4:3bde) |
| 2023-08-16 07:52:21 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 07:53:07 +0000 | razetime | (~quassel@117.254.36.34) (Ping timeout: 260 seconds) |
| 2023-08-16 07:53:17 +0000 | razetime | (~quassel@117.254.37.233) |
| 2023-08-16 07:55:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-16 07:56:10 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-16 07:56:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 07:57:53 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 07:57:53 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 07:57:53 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 07:58:38 +0000 | <Square> | Are there means to say alias "do" and "<-" or provide syntactic sugar all by yourself? |
| 2023-08-16 07:58:57 +0000 | <lyxia> | Square: RebindableSyntax? |
| 2023-08-16 07:59:11 +0000 | <Square> | ok, Ill check that out |
| 2023-08-16 07:59:36 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 08:00:42 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-08-16 08:00:43 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) |
| 2023-08-16 08:01:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-16 08:01:35 +0000 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2023-08-16 08:02:03 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 08:04:58 +0000 | danza | (~francesco@151.19.252.170) |
| 2023-08-16 08:07:00 +0000 | razetime | (~quassel@117.254.37.233) (Ping timeout: 246 seconds) |
| 2023-08-16 08:07:49 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-16 08:09:44 +0000 | danza | (~francesco@151.19.252.170) (Read error: Connection reset by peer) |
| 2023-08-16 08:09:56 +0000 | natto | (~natto@129.154.243.159) |
| 2023-08-16 08:11:42 +0000 | <tomsmeding> | Square: also check QualifiedDo |
| 2023-08-16 08:11:56 +0000 | <tomsmeding> | lighter-weight option if that's enough for you |
| 2023-08-16 08:12:07 +0000 | razetime | (~quassel@117.254.36.15) |
| 2023-08-16 08:12:08 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-16 08:12:25 +0000 | <Square> | Ok, Ill check that out. Some googling seems to hint you need to roll your own ghc preprocessor |
| 2023-08-16 08:14:00 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-16 08:14:20 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 08:14:49 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 08:17:27 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-08-16 08:18:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-16 08:18:25 +0000 | nick4 | (~nick@98.186.194.1) |
| 2023-08-16 08:20:26 +0000 | nick3 | (~nick@98.186.194.1) (Ping timeout: 245 seconds) |
| 2023-08-16 08:20:55 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 08:22:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 08:22:52 +0000 | nick4 | (~nick@98.186.194.1) (Ping timeout: 240 seconds) |
| 2023-08-16 08:26:45 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) (Remote host closed the connection) |
| 2023-08-16 08:27:08 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) |
| 2023-08-16 08:29:37 +0000 | <dminuoso> | Square: Depending on what you do, just implementing Monad in itself is also an option. Consider something like free monads as well. |
| 2023-08-16 08:29:47 +0000 | <dminuoso> | Or freer monads. |
| 2023-08-16 08:30:10 +0000 | <dminuoso> | In some sense the Monad abstraction in itself *is* the reprogrammable <- |
| 2023-08-16 08:33:04 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-16 08:33:04 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 08:33:04 +0000 | finn_elija | FinnElija |
| 2023-08-16 08:35:31 +0000 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 08:38:46 +0000 | razetime | (~quassel@117.254.36.15) (Ping timeout: 245 seconds) |
| 2023-08-16 08:39:06 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 08:39:42 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-16 08:40:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 08:42:24 +0000 | danse-nr3 | (~francesco@151.37.171.29) |
| 2023-08-16 08:47:13 +0000 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-16 08:48:00 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 08:50:09 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 08:51:44 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2023-08-16 08:55:15 +0000 | natto | (~natto@129.154.243.159) (Quit: a.) |
| 2023-08-16 08:55:41 +0000 | natto | (~natto@129.154.243.159) |
| 2023-08-16 08:56:06 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-16 08:56:54 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 08:57:29 +0000 | razetime | (~quassel@117.254.36.107) |
| 2023-08-16 08:59:00 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-16 08:59:56 +0000 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-16 09:01:06 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-08-16 09:02:18 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-16 09:07:26 +0000 | <lortabac> | is there a particular reason why ghcup still recommends GHC 9.2? |
| 2023-08-16 09:13:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) |
| 2023-08-16 09:13:45 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) (Quit: Konversation terminated!) |
| 2023-08-16 09:16:55 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 09:17:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) (Ping timeout: 248 seconds) |
| 2023-08-16 09:21:45 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-16 09:27:10 +0000 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-16 09:27:24 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-16 09:27:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 09:32:10 +0000 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 09:35:12 +0000 | nick1 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 09:38:02 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2023-08-16 09:40:47 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-16 09:46:25 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-16 09:46:25 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-16 09:46:25 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 09:46:26 +0000 | tzh | (~tzh@24.21.73.154) (Quit: zzz) |
| 2023-08-16 09:52:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 09:55:24 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-16 09:55:42 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 09:55:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-16 09:56:44 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-16 09:57:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 10:02:45 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-16 10:05:49 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-16 10:07:10 +0000 | APic | (apic@apic.name) (Quit: Lost terminal) |
| 2023-08-16 10:13:08 +0000 | razetime | (~quassel@117.254.36.107) (Ping timeout: 252 seconds) |
| 2023-08-16 10:13:10 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 244 seconds) |
| 2023-08-16 10:13:10 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-16 10:13:42 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-16 10:14:11 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-16 10:15:38 +0000 | APic | (apic@apic.name) |
| 2023-08-16 10:20:23 +0000 | phma | (~phma@2001:5b0:2144:1f78:3563:b591:d7dd:84e3) (Read error: Connection reset by peer) |
| 2023-08-16 10:21:33 +0000 | phma | (phma@2001:5b0:212a:b868:31d2:882f:e731:39e9) |
| 2023-08-16 10:29:29 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-16 10:32:56 +0000 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 10:35:52 +0000 | nick3 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 10:38:48 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-08-16 10:41:44 +0000 | vpan | (~vpan@mail.elitnet.lt) (Ping timeout: 252 seconds) |
| 2023-08-16 10:56:24 +0000 | joeyh_ | (~joeyh@kitenet.net) |
| 2023-08-16 10:57:17 +0000 | jil`` | (~user@vps-15050500.vps.ovh.net) |
| 2023-08-16 10:57:21 +0000 | megaTherion_ | (~therion@unix.io) |
| 2023-08-16 10:57:27 +0000 | mxs_ | (~mxs@user/mxs) |
| 2023-08-16 10:57:36 +0000 | Me-me | (~me-me@user/me-me) (Killed (NickServ (GHOST command used by Wstfgl0!~me-me@2602:ff16:3:0:1:dc:beef:d00d))) |
| 2023-08-16 10:57:44 +0000 | gaze____ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2023-08-16 10:57:58 +0000 | davetapley_ | (sid666@2a03:5180:f:5::29a) |
| 2023-08-16 10:58:00 +0000 | Me-me | (~me-me@user/me-me) |
| 2023-08-16 10:59:45 +0000 | NiKaN_ | (sid385034@2a03:5180:f:1::5:e00a) |
| 2023-08-16 11:00:59 +0000 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-08-16 11:05:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 11:05:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | schmoats | (~thomas@user/oats) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | actioninja6302 | (~actioninj@user/actioninja) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | telser | (~quassel@user/telser) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | g | (~glguy@libera/staff-emeritus/glguy) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | kimiamania60 | (~65804703@user/kimiamania) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | phileasfogg | (~phileasfo@user/phileasfogg) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | Nikopol | (nikopol@user/astrorigin) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | nullsh | (nullsh@user/nexeq) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | ncf | (~n@monade.li) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | AmyMalik | (ellenor@callbox.trd.is) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | extor | (~extor@ns3018124.ip-149-202-82.eu) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | hueso | (~root@user/hueso) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2023-08-16 11:05:29 +0000 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2023-08-16 11:05:30 +0000 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2023-08-16 11:05:30 +0000 | jil` | (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
| 2023-08-16 11:05:30 +0000 | mmarusea1ph2 | (~mihai@mihai.page) (*.net *.split) |
| 2023-08-16 11:05:30 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2023-08-16 11:05:30 +0000 | davetapley_ | davetapley |
| 2023-08-16 11:05:30 +0000 | mxs_ | mxs |
| 2023-08-16 11:05:32 +0000 | gaze____ | gaze___ |
| 2023-08-16 11:05:33 +0000 | whatsupdoc_ | whatsupdoc |
| 2023-08-16 11:05:36 +0000 | NiKaN_ | NiKaN |
| 2023-08-16 11:05:52 +0000 | <fendor> | lortabac, because maerwald considers it to be recommended version :P |
| 2023-08-16 11:06:00 +0000 | ncf | (~n@monade.li) |
| 2023-08-16 11:06:01 +0000 | <fendor> | *the recommended version |
| 2023-08-16 11:06:56 +0000 | <lortabac> | I mean, is there a reason or did he just forget to update the recommended version in ghcup? |
| 2023-08-16 11:07:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-16 11:07:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-16 11:07:34 +0000 | schmoats | (~thomas@user/oats) |
| 2023-08-16 11:07:34 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-16 11:07:34 +0000 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-16 11:07:34 +0000 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-16 11:07:34 +0000 | telser | (~quassel@user/telser) |
| 2023-08-16 11:07:34 +0000 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) |
| 2023-08-16 11:07:34 +0000 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 11:07:34 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 11:07:34 +0000 | phileasfogg | (~phileasfo@user/phileasfogg) |
| 2023-08-16 11:07:34 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2023-08-16 11:07:34 +0000 | Nikopol | (nikopol@user/astrorigin) |
| 2023-08-16 11:07:34 +0000 | nullsh | (nullsh@user/nexeq) |
| 2023-08-16 11:07:34 +0000 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) |
| 2023-08-16 11:07:34 +0000 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
| 2023-08-16 11:07:34 +0000 | hueso | (~root@user/hueso) |
| 2023-08-16 11:07:34 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-08-16 11:07:34 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-08-16 11:07:34 +0000 | Athas | (athas@sigkill.dk) |
| 2023-08-16 11:07:34 +0000 | mmarusea1ph2 | (~mihai@mihai.page) |
| 2023-08-16 11:07:34 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-08-16 11:07:39 +0000 | kimiamania60 | (~65804703@user/kimiamania) (Max SendQ exceeded) |
| 2023-08-16 11:07:39 +0000 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) (Max SendQ exceeded) |
| 2023-08-16 11:07:51 +0000 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 11:07:56 +0000 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) |
| 2023-08-16 11:09:58 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 11:12:58 +0000 | <fendor> | lortabac, well, you don't recommend the latest major version because these usually have some bug at the beginning |
| 2023-08-16 11:13:11 +0000 | <fendor> | then tooling and ecosystem support is a thing |
| 2023-08-16 11:13:24 +0000 | <fendor> | like, do most major framework work with that particular ghc version. |
| 2023-08-16 11:14:55 +0000 | tromp | (~textual@92.110.219.57) |
| 2023-08-16 11:20:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:28c9:18b1:9a03:fe67) |
| 2023-08-16 11:20:53 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-16 11:22:10 +0000 | acidjnk | (~acidjnk@p200300d6e7072f2928df64d2cdd56b4a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-16 11:23:02 +0000 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) |
| 2023-08-16 11:23:06 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::45ac) |
| 2023-08-16 11:24:49 +0000 | AmyMalik | (ellenor@callbox.trd.is) |
| 2023-08-16 11:29:52 +0000 | feetwind | (~mike@user/feetwind) (Quit: WeeChat 3.1) |
| 2023-08-16 11:33:36 +0000 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 11:35:48 +0000 | nick4 | (~nick@98.186.194.96) (Ping timeout: 246 seconds) |
| 2023-08-16 11:36:59 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 11:37:07 +0000 | vpan | (~vpan@mail.elitnet.lt) (Client Quit) |
| 2023-08-16 11:37:21 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 11:37:22 +0000 | vpan | Guest9491 |
| 2023-08-16 11:37:29 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 11:37:42 +0000 | Guest9491 | (~vpan@mail.elitnet.lt) (Client Quit) |
| 2023-08-16 11:38:20 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-16 11:39:07 +0000 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 11:39:30 +0000 | vpan | Guest398 |
| 2023-08-16 11:40:52 +0000 | Guest398 | vpan |
| 2023-08-16 11:44:13 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 11:44:54 +0000 | danse-nr3 | (~francesco@151.37.171.29) (Read error: Connection reset by peer) |
| 2023-08-16 11:47:02 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2023-08-16 11:47:39 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 11:49:30 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 11:51:54 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2023-08-16 11:53:24 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 12:02:01 +0000 | danse-nr3 | (~francesco@151.57.234.145) |
| 2023-08-16 12:03:04 +0000 | absence_ | absence |
| 2023-08-16 12:06:11 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::45ac) (Remote host closed the connection) |
| 2023-08-16 12:06:22 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-16 12:09:52 +0000 | <absence> | if the operating system says my haskell program uses several hundred MB "dirty" memory, but the GHC heap profiler only reports a few MB, does that mean most of the memory is allocated by C libraries called through FFI? |
| 2023-08-16 12:10:59 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-16 12:13:25 +0000 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 12:15:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) |
| 2023-08-16 12:20:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) (Ping timeout: 246 seconds) |
| 2023-08-16 12:21:12 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-08-16 12:21:24 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-16 12:22:37 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 12:25:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-16 12:26:49 +0000 | <exarkun> | How do I have `cabal haddock` build docs with links to targets in dependencies? `cabal haddock --haddock-for-hackage` just tells me that it didn't find documentation for dependencies so it won't generate links to them. I don't have to `cabal haddock <each of those packages>` manually do I? |
| 2023-08-16 12:34:25 +0000 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 12:36:48 +0000 | nick1 | (~nick@98.186.194.96) (Ping timeout: 244 seconds) |
| 2023-08-16 12:38:01 +0000 | danse-nr3 | (~francesco@151.57.234.145) (Ping timeout: 258 seconds) |
| 2023-08-16 12:38:28 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 12:42:02 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-16 12:42:31 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 12:42:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-08-16 12:44:57 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 12:45:08 +0000 | danse-nr3 | (~francesco@151.57.234.145) |
| 2023-08-16 12:45:19 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6b99:6245:cbff:fe9f:48b1) |
| 2023-08-16 12:46:56 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 12:47:33 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 12:50:15 +0000 | AlexZenon | (~alzenon@178.34.161.177) (Quit: ;-) |
| 2023-08-16 12:50:35 +0000 | Alex_test | (~al_test@178.34.161.177) (Quit: ;-) |
| 2023-08-16 12:50:35 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 12:51:07 +0000 | AlexNoo | (~AlexNoo@178.34.161.177) (Quit: Leaving) |
| 2023-08-16 12:51:37 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 12:54:27 +0000 | phma | (phma@2001:5b0:212a:b868:31d2:882f:e731:39e9) (Read error: Connection reset by peer) |
| 2023-08-16 12:54:46 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 12:55:26 +0000 | phma | (~phma@host-67-44-208-132.hnremote.net) |
| 2023-08-16 12:56:21 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Client Quit) |
| 2023-08-16 12:56:40 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-16 12:58:40 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-08-16 13:03:56 +0000 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-16 13:09:52 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 13:14:32 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 13:15:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-08-16 13:15:09 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-16 13:15:21 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-16 13:15:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 13:15:47 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 13:15:56 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-16 13:16:03 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-16 13:17:20 +0000 | Guest74 | (~Guest74@cst-prg-39-107.cust.vodafone.cz) |
| 2023-08-16 13:18:25 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 13:19:57 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 13:20:04 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-16 13:20:20 +0000 | AlexZenon | (~alzenon@178.34.161.177) |
| 2023-08-16 13:20:31 +0000 | AlexNoo | (~AlexNoo@178.34.161.177) |
| 2023-08-16 13:20:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 13:21:37 +0000 | Guest74 | (~Guest74@cst-prg-39-107.cust.vodafone.cz) (Quit: Client closed) |
| 2023-08-16 13:21:46 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-16 13:23:03 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-16 13:26:19 +0000 | Alex_test | (~al_test@178.34.161.177) |
| 2023-08-16 13:28:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-16 13:34:10 +0000 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 13:35:24 +0000 | migas | (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 2023-08-16 13:35:58 +0000 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 13:36:03 +0000 | migas | (~migas@62.138.8.62) |
| 2023-08-16 13:36:37 +0000 | nick3 | (~nick@98.186.194.96) (Ping timeout: 245 seconds) |
| 2023-08-16 13:38:26 +0000 | nick4 | (~nick@98.186.194.96) (Ping timeout: 250 seconds) |
| 2023-08-16 13:38:42 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) |
| 2023-08-16 13:38:50 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Quit: WeeChat 4.0.3) |
| 2023-08-16 13:39:29 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-16 13:45:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 13:46:22 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 13:50:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 13:52:57 +0000 | <hippoid> | I'm looking at the source code for the `any` function in base https://hackage.haskell.org/package/base-4.18.0.0/docs/src/Data.Foldable.html#any, and see unfamiliar "#." in the code. What are those #. ? |
| 2023-08-16 13:54:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 13:55:37 +0000 | <ncf> | you can click them https://hackage.haskell.org/package/base-4.18.0.0/docs/src/Data.Functor.Utils.html#%23. |
| 2023-08-16 13:55:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 13:59:35 +0000 | <hippoid> | ncf: thanks |
| 2023-08-16 14:04:00 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 14:05:34 +0000 | ystael | (~ystael@user/ystael) |
| 2023-08-16 14:08:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-16 14:10:38 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-16 14:12:47 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-16 14:15:45 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 14:17:48 +0000 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
| 2023-08-16 14:18:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 14:19:48 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 14:25:00 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-16 14:27:23 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-16 14:32:37 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-16 14:32:52 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-16 14:34:24 +0000 | Achylles | (~Achylles_@45.182.57.121) |
| 2023-08-16 14:34:52 +0000 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 14:35:38 +0000 | nick1 | (~nick@98.186.194.96) (Read error: Connection reset by peer) |
| 2023-08-16 14:38:12 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 14:46:35 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 14:49:33 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 14:49:44 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c91:8e1f:44b4:3bde) (Quit: WeeChat 2.8) |
| 2023-08-16 14:53:47 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 14:53:53 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 14:53:55 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 14:57:06 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-08-16 14:58:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 14:59:42 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-16 15:04:58 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 15:06:07 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 15:08:42 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-16 15:09:40 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 15:10:24 +0000 | phma | (~phma@host-67-44-208-132.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-16 15:10:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 15:11:45 +0000 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) |
| 2023-08-16 15:12:34 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-16 15:18:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c463:2a1:afdf:1815) |
| 2023-08-16 15:19:40 +0000 | <tomsmeding> | absence: could it be that the program _used_ several hundred MB, but freed it in the haskell heap in the meantime (but the RTS didn't return the pages yet)? (just a guess) |
| 2023-08-16 15:20:27 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 15:23:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c463:2a1:afdf:1815) (Ping timeout: 248 seconds) |
| 2023-08-16 15:24:35 +0000 | econo_ | (uid147250@2a03:5180:f::2:3f32) |
| 2023-08-16 15:27:32 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-08-16 15:29:16 +0000 | son0p | (~ff@181.32.134.99) (Ping timeout: 248 seconds) |
| 2023-08-16 15:29:28 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 15:34:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-16 15:35:09 +0000 | nick3 | (~nick@98.186.194.96) (Read error: Connection reset by peer) |
| 2023-08-16 15:35:27 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-16 15:36:01 +0000 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 15:36:17 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2023-08-16 15:38:47 +0000 | son0p | (~ff@181.32.134.99) |
| 2023-08-16 15:41:00 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-16 15:41:26 +0000 | kralle2 | (~snuckls@p4fd1a580.dip0.t-ipconnect.de) |
| 2023-08-16 15:42:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 15:42:50 +0000 | TMA | (tma@twin.jikos.cz) |
| 2023-08-16 15:47:27 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 15:53:02 +0000 | danse-nr3 | (~francesco@151.57.234.145) (Ping timeout: 252 seconds) |
| 2023-08-16 15:58:07 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 15:58:17 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 16:04:25 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 16:10:10 +0000 | kralle2 | todi |
| 2023-08-16 16:12:48 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 16:13:58 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 16:14:54 +0000 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-16 16:16:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 16:19:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 16:24:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 16:26:45 +0000 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 16:27:14 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 2023-08-16 16:30:56 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-16 16:31:39 +0000 | kritzefitz_ | kritzefitz |
| 2023-08-16 16:35:11 +0000 | Achylles | (~Achylles_@45.182.57.121) (Remote host closed the connection) |
| 2023-08-16 16:36:04 +0000 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 16:38:22 +0000 | razetime | (~quassel@117.254.36.237) |
| 2023-08-16 16:38:41 +0000 | nick3 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 16:40:37 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 16:43:15 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-16 16:47:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 16:51:05 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 16:52:36 +0000 | arahael | (~arahael@119.18.1.27) |
| 2023-08-16 16:54:03 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 16:54:29 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 16:54:36 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-08-16 16:55:35 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 16:56:21 +0000 | danse-nr3 | (~francesco@151.57.58.233) |
| 2023-08-16 16:57:16 +0000 | arahael | (~arahael@119.18.1.27) (Ping timeout: 248 seconds) |
| 2023-08-16 16:58:42 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 17:00:16 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 17:03:08 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 17:03:50 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 17:06:37 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-16 17:07:30 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 17:07:32 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-16 17:09:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 17:09:50 +0000 | razetime | (~quassel@117.254.36.237) (Remote host closed the connection) |
| 2023-08-16 17:11:15 +0000 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 17:12:26 +0000 | simikando | Simikando |
| 2023-08-16 17:13:33 +0000 | acidjnk | (~acidjnk@p200300d6e7072f293dac0765791dcab4.dip0.t-ipconnect.de) |
| 2023-08-16 17:14:02 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-16 17:14:16 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-16 17:14:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
| 2023-08-16 17:14:24 +0000 | nick4 | (~nick@98.186.194.96) (Ping timeout: 246 seconds) |
| 2023-08-16 17:14:33 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-16 17:15:22 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 17:17:46 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 17:19:03 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-16 17:19:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 17:21:15 +0000 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 246 seconds) |
| 2023-08-16 17:23:14 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-08-16 17:23:37 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 17:24:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-16 17:26:10 +0000 | mauke | (~mauke@user/mauke) |
| 2023-08-16 17:26:52 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 17:30:02 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-16 17:32:00 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-08-16 17:32:09 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-16 17:36:32 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 17:40:49 +0000 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 17:40:50 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-08-16 17:42:13 +0000 | megaTherion_ | megaTherion |
| 2023-08-16 17:44:48 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-16 17:47:05 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-16 17:50:07 +0000 | dcoutts | (~duncan@188.164.224.156) (Remote host closed the connection) |
| 2023-08-16 17:50:29 +0000 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 17:52:04 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-16 18:01:20 +0000 | arahael | (~arahael@119.18.1.27) |
| 2023-08-16 18:06:04 +0000 | arahael | (~arahael@119.18.1.27) (Ping timeout: 248 seconds) |
| 2023-08-16 18:12:52 +0000 | danse-nr3 | (~francesco@151.57.58.233) (Ping timeout: 245 seconds) |
| 2023-08-16 18:16:06 +0000 | dcoutts | (~duncan@188.164.224.156) (Ping timeout: 260 seconds) |
| 2023-08-16 18:17:52 +0000 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-16 18:19:38 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-16 18:20:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 18:21:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 18:27:19 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 18:28:45 +0000 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 18:29:53 +0000 | g | (~glguy@libera/staff-emeritus/glguy) (Remote host closed the connection) |
| 2023-08-16 18:30:01 +0000 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-16 18:34:49 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-16 18:35:57 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 18:36:22 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-16 18:37:27 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 18:40:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 18:45:56 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 19:08:49 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 19:09:11 +0000 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-16 19:13:51 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 19:17:48 +0000 | son0p | (~ff@181.32.134.99) (Ping timeout: 246 seconds) |
| 2023-08-16 19:25:47 +0000 | actioninja63026 | (~actioninj@user/actioninja) |
| 2023-08-16 19:27:02 +0000 | actioninja6302 | (~actioninj@user/actioninja) (Ping timeout: 245 seconds) |
| 2023-08-16 19:27:02 +0000 | actioninja63026 | actioninja6302 |
| 2023-08-16 19:36:15 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 19:37:44 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 19:39:59 +0000 | danza | (~francesco@151.57.58.233) |
| 2023-08-16 19:40:58 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 19:41:20 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 19:42:15 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 19:44:50 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-16 19:48:20 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-16 19:48:49 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 19:50:05 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 19:50:42 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 19:51:19 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 19:51:50 +0000 | danza_ | (~francesco@151.37.229.122) |
| 2023-08-16 19:52:04 +0000 | danza | (~francesco@151.57.58.233) (Read error: Connection reset by peer) |
| 2023-08-16 19:53:24 +0000 | danse-nr3 | (~francesco@151.37.229.122) |
| 2023-08-16 19:54:42 +0000 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) |
| 2023-08-16 19:56:15 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-16 19:56:42 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 19:57:32 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) |
| 2023-08-16 19:57:52 +0000 | danse-nr3 | (~francesco@151.37.229.122) (Ping timeout: 245 seconds) |
| 2023-08-16 20:00:56 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 20:01:39 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-16 20:06:07 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-16 20:10:12 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 20:10:31 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 20:10:40 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 256 seconds) |
| 2023-08-16 20:12:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 20:13:32 +0000 | biberu | (~biberu@user/biberu) |
| 2023-08-16 20:14:39 +0000 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-16 20:15:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 20:17:15 +0000 | slack1256 | (~slack1256@186.11.73.140) |
| 2023-08-16 20:22:31 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-16 20:27:34 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) (Remote host closed the connection) |
| 2023-08-16 20:28:21 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) |
| 2023-08-16 20:34:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 20:35:01 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-08-16 20:37:09 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 20:37:33 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 20:37:43 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 20:43:01 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 20:45:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 20:47:45 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 20:53:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-08-16 20:57:12 +0000 | kimiamania60 | (~65804703@user/kimiamania) (Ping timeout: 240 seconds) |
| 2023-08-16 21:08:32 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-16 21:10:56 +0000 | slac28156 | (~slack1256@181.203.38.129) |
| 2023-08-16 21:12:52 +0000 | slack1256 | (~slack1256@186.11.73.140) (Ping timeout: 245 seconds) |
| 2023-08-16 21:14:01 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 21:15:18 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-16 21:16:14 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 21:18:35 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 21:21:16 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 21:21:49 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-08-16 21:26:04 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-08-16 21:27:56 +0000 | son0p | (~ff@191.104.6.44) |
| 2023-08-16 21:28:32 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-08-16 21:30:52 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-16 21:31:51 +0000 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 21:32:21 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 21:40:24 +0000 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 21:43:53 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 21:47:11 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 21:47:14 +0000 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) (Read error: Connection reset by peer) |
| 2023-08-16 21:47:39 +0000 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) |
| 2023-08-16 21:48:50 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 21:49:56 +0000 | <dsal> | I keep feeling like I want to make a function like `Applicative t => Bool -> t ()` where, e.g., `True` is `pure ()` and `False` is… something else. Is there a sensible way to write something like this with just an Applicative constraint? |
| 2023-08-16 21:51:02 +0000 | <dsal> | This kind of stuff exists in Monad, but not Applicative. Seems weird. |
| 2023-08-16 21:51:48 +0000 | <dsal> | Oh, I guess that's what Alternative is. |
| 2023-08-16 21:51:55 +0000 | <dsal> | I'm looking for like, ApplicativeZero or something. heh |
| 2023-08-16 21:52:41 +0000 | <exarkun> | sounds close to `when` |
| 2023-08-16 21:53:00 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:453f:7161:f0bd:5ace) (Remote host closed the connection) |
| 2023-08-16 21:53:21 +0000 | travisb_ | (~tabemann@2600:1700:7990:24e0:8106:70ee:7ed9:7eae) |
| 2023-08-16 21:54:11 +0000 | <mauke> | :t unless |
| 2023-08-16 21:54:12 +0000 | <lambdabot> | Applicative f => Bool -> f () -> f () |
| 2023-08-16 21:54:23 +0000 | <probie> | :t guard |
| 2023-08-16 21:54:24 +0000 | <lambdabot> | Alternative f => Bool -> f () |
| 2023-08-16 21:54:40 +0000 | <dsal> | I guess `()` muddied the example there a bit. |
| 2023-08-16 21:54:52 +0000 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-08-16 21:55:09 +0000 | <dsal> | I want `A -> Maybe B`, but for stuff other than `Maybe`. |
| 2023-08-16 21:55:15 +0000 | <dsal> | Alternative seems to be the right answer. |
| 2023-08-16 21:55:30 +0000 | <monochrom> | Yeah Alternative. False -> empty |
| 2023-08-16 21:56:01 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 21:56:02 +0000 | <monochrom> | I don't think the community has needed a "pure and empty, nothing else" class yet. :) |
| 2023-08-16 21:56:08 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-08-16 21:56:53 +0000 | <dsal> | Yeah, I don't actually need `*>` here. More evidence that a class should have, at most, one method. |
| 2023-08-16 21:57:46 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 256 seconds) |
| 2023-08-16 21:59:40 +0000 | Guest5653 | (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |
| 2023-08-16 22:01:10 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2023-08-16 22:03:45 +0000 | <probie> | I'd weaken that to "one unique method". I'm happy for `Ord` to have both `compare` and `<=`, since it's still defining "one thing", but allows common cases to be optimised |
| 2023-08-16 22:04:06 +0000 | dcoutts | (~duncan@188.164.224.156) (Ping timeout: 244 seconds) |
| 2023-08-16 22:05:59 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 22:08:09 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-16 22:10:42 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 22:11:22 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-16 22:11:37 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:6b99:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-08-16 22:13:16 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 22:24:02 +0000 | <EvanR> | monochrom, apparently rust has embraced the equivalent of a Default typeclass. Which we have but no one is excited with. I wonder what we're missing |
| 2023-08-16 22:24:15 +0000 | <EvanR> | maybe I should look for a pure empty class |
| 2023-08-16 22:25:17 +0000 | <davean> | EvanR: what do you mean? They're used fairly widely. The problem is you can't really generalize on them, you have to deal with them as a special case every time. |
| 2023-08-16 22:25:42 +0000 | <geekosaur> | xmonad uses Default all over the place. it's already caused some bugs |
| 2023-08-16 22:25:45 +0000 | <davean> | You may not even realize when they're used because they're always a special case, inherently. |
| 2023-08-16 22:26:41 +0000 | <geekosaur> | (https://github.com/xmonad/xmonad/issues/293) |
| 2023-08-16 22:26:44 +0000 | tabaqui | (~root@88.238.15.186) (Ping timeout: 246 seconds) |
| 2023-08-16 22:26:48 +0000 | <EvanR> | hmm. Well by my limited reading of Default trait in rust it's like for picking zero for numbers and filling in zero in all the fields of a struct |
| 2023-08-16 22:27:09 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 22:27:16 +0000 | <EvanR> | which I wouldn't imagine is helpful or warranted a lot of the time |
| 2023-08-16 22:27:58 +0000 | <davean> | EvanR: what zero means isn't well defined across locations |
| 2023-08-16 22:28:00 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 22:28:18 +0000 | <glguy> | If people stuck to Default meaning "zero" and only implemented it for types where it was obvious what zero meant, that'd be fine |
| 2023-08-16 22:28:22 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 22:28:28 +0000 | <geekosaur> | "zero" isn't determined by type, but by context |
| 2023-08-16 22:28:39 +0000 | <glguy> | but peolpe like to get clever and put like just general purpose default settings in the Default instances |
| 2023-08-16 22:28:43 +0000 | <davean> | There isn't even just one zero |
| 2023-08-16 22:29:00 +0000 | <davean> | Zero is in a context |
| 2023-08-16 22:29:23 +0000 | <EvanR> | there is one "all zero bits" float, which is fine xD |
| 2023-08-16 22:29:46 +0000 | <EvanR> | better than corrupted memory |
| 2023-08-16 22:29:47 +0000 | <davean> | EvanR: you say that ... |
| 2023-08-16 22:30:05 +0000 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-16 22:30:30 +0000 | <davean> | EvanR: IEEE 754 added interchange formats but ... |
| 2023-08-16 22:34:07 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-08-16 22:34:31 +0000 | <monochrom> | EvanR: But do the Rust people have a trait that has both default and error? >:) |
| 2023-08-16 22:35:14 +0000 | <EvanR> | like, a bottom value? |
| 2023-08-16 22:35:38 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 22:36:09 +0000 | <EvanR> | u32 adjoin ⊥ |
| 2023-08-16 22:36:36 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-16 22:36:50 +0000 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 2023-08-16 22:37:00 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-16 22:37:15 +0000 | <monochrom> | I am more lax than 5 years ago about type classes. I am OK with Default, but I suspect that most use cases should have no trouble going all the way of Monoid. |
| 2023-08-16 22:38:23 +0000 | <int-e> | monophily |
| 2023-08-16 22:38:52 +0000 | <monochrom> | The other angle and cautionary tale is that someone in the PHP community actually noticed and raised hell about their time type having the default value of 0 which never makes sense. |
| 2023-08-16 22:38:58 +0000 | <davean> | monochrom: monoid says which zero, which helps a lot. |
| 2023-08-16 22:39:12 +0000 | <davean> | monochrom: whats wrong with time 0? |
| 2023-08-16 22:39:22 +0000 | tabaqui | (~root@88.238.9.97) |
| 2023-08-16 22:39:41 +0000 | <monochrom> | 0 of that time type means an arbitrarily chosen point of time such as 1970 Jan 1 etc etc |
| 2023-08-16 22:39:46 +0000 | slac28156 | (~slack1256@181.203.38.129) (Read error: Connection reset by peer) |
| 2023-08-16 22:39:58 +0000 | <davean> | monochrom: yes, exactly. |
| 2023-08-16 22:40:16 +0000 | acidjnk | (~acidjnk@p200300d6e7072f293dac0765791dcab4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-16 22:41:35 +0000 | <monochrom> | Another way to see it is from a friend who taught a math class for paramedics and noticed the problem with this question: A patient's body temperature was 98F yesterday, 99F today, what's the percentage increase? |
| 2023-08-16 22:41:37 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 22:42:23 +0000 | <davean> | monochrom: I hate converting F to K |
| 2023-08-16 22:42:55 +0000 | g | (~glguy@libera/staff-emeritus/glguy) (Remote host closed the connection) |
| 2023-08-16 22:42:59 +0000 | <monochrom> | Oh the textbook model answer was "(99 - 98) / 98". That's the problem. |
| 2023-08-16 22:43:00 +0000 | <davean> | And pelase don't mention Rankine |
| 2023-08-16 22:43:02 +0000 | Guest7433 | (~glguy@2601:1c0:4c02:8d80::3) |
| 2023-08-16 22:43:25 +0000 | <davean> | oh well, uh thats ... special. But having an origion makes sense. |
| 2023-08-16 22:43:26 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 22:43:26 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 22:43:26 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 22:43:57 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-16 22:43:58 +0000 | dobblego | dibblego |
| 2023-08-16 22:44:13 +0000 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 22:44:39 +0000 | Guest7433 | (~glguy@2601:1c0:4c02:8d80::3) (Remote host closed the connection) |
| 2023-08-16 22:44:47 +0000 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-16 22:45:22 +0000 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 2023-08-16 22:45:57 +0000 | <davean> | monochrom: why would they even ask that question? |
| 2023-08-16 22:46:05 +0000 | <davean> | I'm unclear what the relivency is |
| 2023-08-16 22:46:42 +0000 | <monochrom> | 9th-rate textbook authors adhering to the religion of "must make a word problem". |
| 2023-08-16 22:46:46 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 22:46:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-16 22:47:22 +0000 | <monochrom> | The lesson is supposed to be just calculating percentage increase/decrease. |
| 2023-08-16 22:47:44 +0000 | <monochrom> | The XY problem is then "the students are paramedics so let's dress it up in terms of body temperature" |
| 2023-08-16 22:48:28 +0000 | <monochrom> | You know what, generally everything that goes wrong can be traced back to religions and XY problems. |
| 2023-08-16 22:48:41 +0000 | <davean> | anyway its 2e-3 |
| 2023-08-16 22:48:48 +0000 | <davean> | if you wanted to know |
| 2023-08-16 22:50:41 +0000 | <monochrom> | If you think that fibonacci are factorial are poor examples for teaching recursion, you have no idea how bad real education out there is. >:) |
| 2023-08-16 22:50:46 +0000 | <davean> | I assume the questions required the correct significant figures |
| 2023-08-16 22:53:10 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-16 22:53:33 +0000 | <hpc> | ironically, it was the chain rule for derivatives that made recursion fully intuitive for me, because of lazy textbookiness |
| 2023-08-16 22:54:10 +0000 | <hpc> | i wanted to just get through computing all these stupid derivatives already, and all that repetition and motivation meant if i saw that the chain rule was recursion, i would get done faster |
| 2023-08-16 22:54:47 +0000 | <monochrom> | Did you turn it into dynamic programming? :) |
| 2023-08-16 22:54:57 +0000 | <davean> | Hum, I think I was comfortable with recursion over a decade before I got to calculous |
| 2023-08-16 22:55:16 +0000 | <glguy> | calculus + fabulous |
| 2023-08-16 22:55:37 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-16 22:55:45 +0000 | <hpc> | davean: eh, there are degrees of comfortable |
| 2023-08-16 22:56:09 +0000 | <hpc> | i could handle recursion for a while before, but in that sort of first year physics "electrons are both particles and waves" way |
| 2023-08-16 22:56:29 +0000 | <hpc> | that was where i could really do new stuff with it |
| 2023-08-16 22:58:43 +0000 | <hpc> | or maybe a better way to put it is, that was where i started to see it everywhere and not just on a computer |
| 2023-08-16 23:01:25 +0000 | <davean> | Yah I was comfortable with recursion long before I ever saw a computer. |
| 2023-08-16 23:01:41 +0000 | <davean> | computers came fairly late in life for me. |
| 2023-08-16 23:02:02 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 23:02:06 +0000 | <hpc> | ah |
| 2023-08-16 23:02:28 +0000 | <davean> | I expect the first recursion I ever did was for angle splitting for wood working when I was about 5 |
| 2023-08-16 23:02:57 +0000 | <EvanR> | wait Rankine would have made that question easier |
| 2023-08-16 23:03:34 +0000 | <davean> | EvanR: yah, I converted the temp to ranking and did 1/(rankine(98). I just hated that I did. |
| 2023-08-16 23:03:56 +0000 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) (Quit: Konversation terminated!) |
| 2023-08-16 23:04:10 +0000 | <EvanR> | but the correct answer is obviously to convert to kelvins just out of spite |
| 2023-08-16 23:04:28 +0000 | <davean> | I'd have lost accuracy if I did that |
| 2023-08-16 23:04:38 +0000 | <davean> | I was easier to get right via rankine |
| 2023-08-16 23:06:45 +0000 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 23:09:33 +0000 | <dolio> | You two are failing the easy math course. |
| 2023-08-16 23:09:52 +0000 | <dolio> | Just like Richard Feynman. |
| 2023-08-16 23:10:13 +0000 | <davean> | Thanks for making me feel like a losser |
| 2023-08-16 23:12:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-16 23:12:28 +0000 | <ncf> | "i could handle recursion for a while" |
| 2023-08-16 23:13:27 +0000 | <int-e> | hmmm, then I learned about tail recursion and now I can handle recursion forever |
| 2023-08-16 23:13:35 +0000 | <int-e> | :t forever |
| 2023-08-16 23:13:36 +0000 | <lambdabot> | Applicative f => f a -> f b |
| 2023-08-16 23:14:00 +0000 | <EvanR> | guarded unsafeCoerce |
| 2023-08-16 23:14:05 +0000 | <int-e> | (which, for many f, isn't tail recursive) |
| 2023-08-16 23:14:11 +0000 | <int-e> | :t coerce |
| 2023-08-16 23:14:12 +0000 | <lambdabot> | error: |
| 2023-08-16 23:14:12 +0000 | <lambdabot> | • Variable not in scope: coerce |
| 2023-08-16 23:14:12 +0000 | <lambdabot> | • Perhaps you meant ‘coerced’ (imported from Control.Lens) |
| 2023-08-16 23:14:18 +0000 | <int-e> | :t Data.Coerce.coerce |
| 2023-08-16 23:14:19 +0000 | <lambdabot> | Coercible a b => a -> b |
| 2023-08-16 23:17:34 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-16 23:30:47 +0000 | arahael | (~arahael@119.18.1.27) |
| 2023-08-16 23:32:16 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-16 23:32:16 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-16 23:32:16 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 23:38:25 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 23:39:13 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 23:41:02 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 23:43:41 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-08-16 23:51:51 +0000 | danza__ | (~francesco@151.37.230.143) |
| 2023-08-16 23:54:30 +0000 | danza_ | (~francesco@151.37.229.122) (Ping timeout: 256 seconds) |
| 2023-08-16 23:59:08 +0000 | arahael | (~arahael@119.18.1.27) (Ping timeout: 248 seconds) |