Logs on 2023-08-25 (liberachat/#haskell)
| 00:00:00 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:00:00 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:00:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:01:51 | → | burugu joins (~burugu@26.236.68.37.rev.sfr.net) |
| 00:03:22 | × | burugu quits (~burugu@26.236.68.37.rev.sfr.net) (Client Quit) |
| 00:08:00 | × | ulysses4ever quits (~artem@73.145.240.45) (Ping timeout: 245 seconds) |
| 00:14:11 | → | ulysses4ever joins (~artem@c-73-161-21-73.hsd1.mi.comcast.net) |
| 00:16:48 | → | artem joins (~artem@73.145.240.184) |
| 00:16:49 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 00:18:37 | × | ulysses4ever quits (~artem@c-73-161-21-73.hsd1.mi.comcast.net) (Ping timeout: 250 seconds) |
| 00:22:00 | → | TonyStone joins (~TonyStone@74.76.57.186) |
| 00:41:07 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 00:41:15 | × | mikoto-chan quits (~mikoto-ch@85-76-17-199-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 01:05:36 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:06:34 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@142.147.89.222) |
| 01:10:05 | <Jeanne-Kamikaze> | Is there any ongoing effort to generalize the standard Prelude a bit? For example, '(*) :: Num a => a -> a -> a' falls short the moment you try to do things like vector-scalar product. One can then define their own (*), but then everywhere that's used, it seems like you need to import Prelude hiding (*), possibly import qualified Prelude as P, not to mention the boilerplate required to then make 1 * 2 work again nicely with the custom (*). |
| 01:10:05 | <Jeanne-Kamikaze> | This stuff is lacking ergonomics a bit. |
| 01:10:50 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:08 | <Jeanne-Kamikaze> | I came across this package, for example, but it doesn't really solve the ergonomics: https://hackage.haskell.org/package/numeric-prelude |
| 01:12:09 | <geekosaur> | nobody can agree on an alternative, and nobody wants to risk breaking old code, so nothing is moving |
| 01:12:43 | <geekosaur> | and it's not clear that Haskell's type system is flexible enough to give you decent ergonomics for generalized mathematical operators anyway |
| 01:12:46 | <Jeanne-Kamikaze> | Who is nobody and why can't they agree? Isn't this basically math/algebra? |
| 01:12:52 | <dolio> | The version that works for vector-scalar products is likely to be more annoying for a lot of common cases. |
| 01:12:52 | <Jeanne-Kamikaze> | Ah. |
| 01:17:24 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:23:50 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:26:34 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 01:28:49 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 01:35:46 | → | ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 01:38:13 | × | artem quits (~artem@73.145.240.184) (Read error: Connection reset by peer) |
| 01:42:09 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 01:47:35 | × | xff0x quits (~xff0x@2405:6580:b080:900:37fd:a033:abd0:1c4f) (Ping timeout: 245 seconds) |
| 01:52:23 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 01:53:53 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 01:55:38 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 01:59:29 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 02:04:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 02:09:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b0af:12c3:5882:8983) |
| 02:13:27 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds) |
| 02:14:26 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 02:14:50 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 02:16:48 | → | artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 02:16:48 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 02:17:37 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:19:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:20:32 | → | bilegeek joins (~bilegeek@2600:1008:b0a0:eed9:97a8:fa44:700c:9e12) |
| 02:20:33 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 02:20:57 | <dsal> | Num kind of sucks, but breaking it into a class per operation might not be as pleasant to use. |
| 02:21:17 | <dsal> | Jeanne-Kamikaze: You can always build your own for your project. We do that at work. It doesn't make anything better, IMO. |
| 02:21:35 | <c_wraith> | breaking up Num wouldn't really be enough anyway. |
| 02:22:15 | <dolio> | You need to make it a 3-parameter type class, probably with no fundeps. |
| 02:22:21 | <monochrom> | Embarassingly I don't know of an Aesop tale for that. |
| 02:22:35 | × | falafel quits (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 245 seconds) |
| 02:23:02 | <c_wraith> | at that point you have operations that do whatever the hell and you need type annotations everywhere. |
| 02:23:14 | <dolio> | Or maybe it can have fundeps, but it'd be delicate how that works. |
| 02:23:15 | <Jeanne-Kamikaze> | 3-parameter type class is indeed what I was trying now. |
| 02:23:33 | <Jeanne-Kamikaze> | Not sure how long it'll take before I give up, but it's a fun exploration. |
| 02:24:15 | <dolio> | It probably can't work without fundeps, because you'd need to resolve things with explicit type applications. |
| 02:24:26 | <monochrom> | Isabel/HOL has a bunch of type classes for groups, rings, fields, etc, all the math abstract algebra usual suspects. |
| 02:24:44 | <monochrom> | But Isabel/HOL is a theorem proving system, not a programming system. |
| 02:25:00 | <dolio> | Does it actually have type classes? |
| 02:25:03 | → | danza__ joins (~francesco@151.47.132.41) |
| 02:25:14 | <monochrom> | Yes. |
| 02:25:16 | <Jeanne-Kamikaze> | Oh, heh, the wiki describes exactly what I was going through. https://wiki.haskell.org/Functional_dependencies |
| 02:25:30 | <dsal> | What's wrong with fundeps? |
| 02:26:16 | <Jeanne-Kamikaze> | They are non-standard, I guess. Looks great to me, though. |
| 02:26:55 | <dsal> | "standard" is a weird term. heh |
| 02:26:56 | × | jabuxas quits (~jabuxas@user/jabuxas) (Quit: Leaving.) |
| 02:27:14 | <Jeanne-Kamikaze> | So the Isabel/HOL order of things does not fit into the Haskell type system, or what exactly is the problem? |
| 02:27:15 | <dsal> | {-# LANGUAGE * #-} |
| 02:27:21 | <monochrom> | fundep kills one generalization you may need. |
| 02:27:33 | × | danza_ quits (~francesco@151.43.233.134) (Read error: Connection reset by peer) |
| 02:27:39 | <Jeanne-Kamikaze> | What does that mean? |
| 02:28:17 | <dolio> | Nothing's wrong with them. But I'm uncertain whether the person who wants vector-scalar multiplication won't conflict with another person's desires that are ruled out by functional dependencies. |
| 02:29:16 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 244 seconds) |
| 02:29:28 | <monochrom> | More like, users of theorem provers and users of programming languages have incompatible priorities. |
| 02:29:47 | <monochrom> | or even s/users/community/ |
| 02:30:36 | <EvanR> | scalar * vector is not ergonomic enough either, it should be like math: scalar vector |
| 02:31:15 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:31:21 | <EvanR> | the thing I'm using most at the moment should be juxta syntax |
| 02:32:11 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 02:33:15 | <geekosaur> | \x2062 |
| 02:33:58 | <dsal> | Invisible Times |
| 02:34:17 | <dsal> | Sounds like high school. |
| 02:34:17 | <EvanR> | the whitespace operator is ad hoc polymorphic and passed in for you doubly invislble |
| 02:34:20 | <monochrom> | Sounds like a great newspaper. >:D |
| 02:34:49 | <geekosaur> | sold with a lemon so you can read it? 😛 |
| 02:35:05 | <monochrom> | haha |
| 02:35:17 | <dolio> | Even most theorem prover users I'm familiar with don't think their situation is ideal. |
| 02:39:34 | <[Leary]> | Jeanne-Kamikaze: We can perhaps represent mathematical structures, but attempting to copy the ad hoc syntax overloading of mathematics would only lead to tragedy. (*) from Num is a ring product, or---cutting away the ring---/monoidal combination/. Vector/scalar product is a vector space operation, or---cutting away the space---a /group action/. These are entirely different concepts. You can smirk and say "but every monoidal operation is trivially a m |
| 02:39:34 | <[Leary]> | onoid action!" but in reality you'll want different typeclasses with different method names, and the latter doesn't actually support a fundep, so it'll be a pain to use. |
| 02:49:35 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:49:35 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:49:35 | finn_elija | is now known as FinnElija |
| 02:50:17 | × | td_ quits (~td@i53870920.versanet.de) (Ping timeout: 250 seconds) |
| 02:52:09 | → | td_ joins (~td@i53870909.versanet.de) |
| 02:58:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:05:16 | <Jeanne-Kamikaze> | Hmm, I see. I am starting to see why it gets complicated. |
| 03:16:00 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 03:18:53 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 03:20:27 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.222) (Quit: Leaving) |
| 03:20:46 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:30:57 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 03:33:02 | → | razetime joins (~quassel@117.254.37.231) |
| 03:33:37 | → | aforemny_ joins (~aforemny@2001:9e8:6cc5:4600:f76a:14d4:532c:f16e) |
| 03:34:08 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 03:34:30 | × | aforemny quits (~aforemny@2001:9e8:6ce0:5800:a750:a56:88c2:71f2) (Ping timeout: 246 seconds) |
| 03:35:36 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 03:35:36 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 03:37:15 | × | artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 03:37:21 | → | ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 03:40:54 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:52:13 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 03:54:15 | × | bilegeek quits (~bilegeek@2600:1008:b0a0:eed9:97a8:fa44:700c:9e12) (Quit: Leaving) |
| 03:54:19 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 03:54:50 | → | dibblego joins (~dibblego@116.255.1.151) |
| 03:54:51 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 03:54:51 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:55:51 | → | vglfr joins (~vglfr@188.239.201.89) |
| 03:56:56 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 04:05:00 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 04:06:14 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:06:14 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:06:14 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:06:57 | × | razetime quits (~quassel@117.254.37.231) (Ping timeout: 252 seconds) |
| 04:10:12 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:12:08 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:15:51 | × | thegeekinside quits (~thegeekin@189.128.149.137) (Ping timeout: 245 seconds) |
| 04:32:02 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 04:32:21 | × | td_ quits (~td@i53870909.versanet.de) (Ping timeout: 260 seconds) |
| 04:37:32 | × | vglfr quits (~vglfr@188.239.201.89) (Ping timeout: 248 seconds) |
| 04:37:54 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 04:40:20 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 04:40:29 | → | vglfr joins (~vglfr@217.65.137.203) |
| 04:50:47 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 04:51:57 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 04:54:44 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 04:55:49 | → | vglfr joins (~vglfr@217.65.137.203) |
| 04:59:31 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 05:00:07 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 05:03:56 | → | td_ joins (~td@i5387093A.versanet.de) |
| 05:07:38 | × | dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 05:08:40 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:57a0:c461:5e89:7cbf) |
| 05:08:41 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 05:08:50 | → | vglfr joins (~vglfr@217.65.137.203) |
| 05:09:16 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 05:09:24 | → | vglfr joins (~vglfr@217.65.137.203) |
| 05:10:14 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 05:10:28 | → | vglfr joins (~vglfr@217.65.137.203) |
| 05:10:36 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 05:15:00 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:57a0:c461:5e89:7cbf) (Ping timeout: 256 seconds) |
| 05:15:47 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:57a0:c461:5e89:7cbf) |
| 05:16:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.0.4) |
| 05:18:02 | → | vglfr joins (~vglfr@217.65.137.203) |
| 05:19:38 | × | ft quits (~ft@80.141.182.88) (Quit: leaving) |
| 05:21:46 | <kaol> | I'm kind of wishing that all functions that return Bool would instead use Bounded a and minBound and maxBound in place of False and True. |
| 05:22:14 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:26:20 | × | deviance quits (~deviance@bcdcac82.skybroadband.com) (Ping timeout: 256 seconds) |
| 05:27:07 | <dsal> | Heh. That sounds worse. |
| 05:28:25 | <kaol> | Yeah, probably a bad idea. If I want it it's easy enough to just plug some Bounded a => Bool -> a in between. |
| 05:30:33 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 05:31:54 | → | renegade joins (~renegade@bcdcac82.skybroadband.com) |
| 05:32:04 | → | vglfr joins (~vglfr@217.65.137.203) |
| 05:32:42 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:36:30 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 05:36:57 | <dsal> | :t == minBound |
| 05:36:58 | <lambdabot> | error: parse error on input ‘==’ |
| 05:37:04 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 05:37:04 | <dsal> | :t (== minBound) |
| 05:37:05 | <lambdabot> | (Eq a, Bounded a) => a -> Bool |
| 05:37:20 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 05:37:48 | <kaol> | :t bool minBound maxBound |
| 05:37:49 | <lambdabot> | Bounded a => Bool -> a |
| 05:38:07 | <dsal> | That's the other direction. But what if a is Int and I give you 3? |
| 05:40:08 | <kaol> | That's not a pattern I'd need in this particular code at least. |
| 05:42:01 | <dsal> | I'm not a big fan of incomplete patterns. |
| 05:42:13 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:43:05 | <kaol> | It's very common to see code implement only Show without bothering with Read. |
| 05:43:55 | <dsal> | I don't understand how that's related. |
| 05:45:28 | <kaol> | I don't have a use for any Bounded a => a -> Bool in my code and I don't see how asking for one follows from doing Bounded a => Bool -> a. |
| 05:45:45 | <dsal> | Oh. Yeah, that's easy, then. |
| 05:45:49 | <kaol> | It was just a silly musing anyway. |
| 05:47:31 | <kaol> | I'm just writing some parsing code and turning conditions to Bools and Enums and some other data structures. It's a bit tedious. |
| 05:47:42 | × | dsrt^ quits (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 05:47:47 | → | Nixkernal joins (~Nixkernal@178.193.4.119) |
| 05:48:21 | <dsal> | Huh. I don't run into bools all that much on parsers, I don't think. Maybe I do. |
| 05:49:20 | <glguy> | Maybe paste some code and someone can recommend a better solution than using Enum |
| 05:49:25 | <kaol> | Like match with "IF NOT EXISTS" and run it through fmap isJust . optional (try ...) or some such. |
| 05:52:03 | × | Nixkernal quits (~Nixkernal@178.193.4.119) (Remote host closed the connection) |
| 05:52:05 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:53:18 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 05:54:15 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 05:59:06 | × | jmcantrell quits (~weechat@user/jmcantrell) (Client Quit) |
| 05:59:58 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 06:00:25 | → | razetime joins (~quassel@117.254.37.231) |
| 06:01:09 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 06:04:08 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 06:04:40 | → | todi joins (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 06:04:49 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 06:05:57 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 06:06:22 | → | vglfr joins (~vglfr@217.65.137.203) |
| 06:06:24 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 06:06:50 | → | vglfr joins (~vglfr@217.65.137.203) |
| 06:08:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:09:33 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:11:47 | → | CiaoSen joins (~Jura@2a05:5800:280:b400:664b:f0ff:fe37:9ef) |
| 06:14:16 | → | acidjnk joins (~acidjnk@p200300d6e7072f9674bc765042e24c26.dip0.t-ipconnect.de) |
| 06:14:26 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 06:22:16 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 06:23:29 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection) |
| 06:23:46 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 06:24:12 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 06:25:01 | → | danza_ joins (~francesco@151.43.250.230) |
| 06:25:16 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 06:25:32 | × | danza__ quits (~francesco@151.47.132.41) (Read error: Connection reset by peer) |
| 06:27:33 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 06:28:52 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 06:29:30 | → | michalz joins (~michalz@185.246.207.221) |
| 06:30:27 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 06:30:32 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:34:32 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 06:34:47 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 06:39:09 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:39:31 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 245 seconds) |
| 06:43:47 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:44:30 | × | yaroot quits (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 06:44:48 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 06:50:31 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:50:32 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Ping timeout: 240 seconds) |
| 06:51:21 | → | oo_miguel joins (~Thunderbi@78.11.179.96) |
| 06:53:44 | → | cfricke joins (~cfricke@user/cfricke) |
| 06:54:07 | → | vglfr joins (~vglfr@217.65.137.203) |
| 06:57:47 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e05d:f26:3642:d8c2) |
| 06:59:57 | → | yaroot joins (~yaroot@118.1.53.221) |
| 07:00:28 | × | vglfr quits (~vglfr@217.65.137.203) (Ping timeout: 248 seconds) |
| 07:00:48 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 07:10:36 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:12:02 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Ping timeout: 246 seconds) |
| 07:12:40 | → | vglfr joins (~vglfr@217.65.137.203) |
| 07:13:10 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 07:14:27 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds) |
| 07:14:27 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 07:14:41 | → | vglfr joins (~vglfr@217.65.137.203) |
| 07:16:21 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:16:21 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 07:18:30 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 07:19:19 | → | vglfr joins (~vglfr@217.65.137.203) |
| 07:20:57 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 07:20:57 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:26:03 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 07:27:10 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:28:48 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 07:29:03 | → | mima joins (~mmh@aftr-62-216-211-40.dynamic.mnet-online.de) |
| 07:31:24 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:35:32 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 07:36:19 | → | mmhat joins (~mmh@p200300f1c7042765ee086bfffe095315.dip0.t-ipconnect.de) |
| 07:38:01 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 07:39:15 | × | vglfr quits (~vglfr@217.65.137.203) (Ping timeout: 252 seconds) |
| 07:39:20 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:44:05 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 07:44:14 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 07:45:36 | → | fendor joins (~fendor@2a02:8388:1640:be00:af83:ade1:cd40:fe7a) |
| 07:51:40 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 07:54:02 | × | td_ quits (~td@i5387093A.versanet.de) (Ping timeout: 246 seconds) |
| 07:55:54 | → | td_ joins (~td@i5387093C.versanet.de) |
| 07:59:07 | × | hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 245 seconds) |
| 08:00:38 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 08:00:44 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:01:29 | → | hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net) |
| 08:02:10 | × | razetime quits (~quassel@117.254.37.231) (Ping timeout: 245 seconds) |
| 08:02:21 | × | CiaoSen quits (~Jura@2a05:5800:280:b400:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 08:02:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:04:51 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:12:15 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 08:14:20 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 08:26:52 | → | __monty__ joins (~toonn@user/toonn) |
| 08:26:55 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 08:27:00 | → | razetime joins (~quassel@117.254.37.231) |
| 08:27:20 | → | __monty__ joins (~toonn@user/toonn) |
| 08:30:48 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:33:57 | → | gmg joins (~user@user/gehmehgeh) |
| 08:46:29 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 08:47:13 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:48:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b0af:12c3:5882:8983) (Remote host closed the connection) |
| 08:50:00 | mal1 | is now known as lieven |
| 08:50:12 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 252 seconds) |
| 08:50:20 | × | danza_ quits (~francesco@151.43.250.230) (Ping timeout: 256 seconds) |
| 08:51:56 | → | danse-nr3 joins (~francesco@151.43.250.230) |
| 08:52:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:54:03 | × | mima quits (~mmh@aftr-62-216-211-40.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 08:58:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:58:53 | <albet70> | is there a function can take b out of A b? |
| 08:59:11 | <albet70> | f (A b) = b |
| 08:59:22 | <albet70> | like f (Just 3) == 3 |
| 09:00:32 | <Rembane> | albet70: If you create a functor instance for ... no there isn't. You've provided the function. |
| 09:00:45 | <ncf> | data T = A { getA :: Int } |
| 09:01:03 | <ncf> | be careful: this will be partial if there are other constructors (without a getA field) |
| 09:01:13 | <Rembane> | albet70: Or extract from Comonad |
| 09:02:35 | × | paddymahoney quits (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 09:05:30 | × | son0p quits (~ff@191.104.6.44) (Ping timeout: 245 seconds) |
| 09:05:39 | <albet70> | f (Right 3) == 3 |
| 09:06:51 | <albet70> | f (MultiPart []) == [] |
| 09:07:40 | <albet70> | why this data constructor can not be a variable? |
| 09:08:33 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 09:09:13 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:09:33 | → | kenran joins (~user@user/kenran) |
| 09:10:48 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 09:15:31 | × | stefan-_ quits (~cri@42dots.de) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 09:16:07 | → | stefan-_ joins (~cri@42dots.de) |
| 09:16:53 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 09:17:19 | → | paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 09:18:40 | <ncf> | what type would it have? |
| 09:20:06 | <albet70> | A b, what type b would have? |
| 09:20:59 | <ncf> | i take it you want to define something like f :: t a -> a; f (c a) = a , where c is some sort of generic, first-class, one-argument constructor of type a -> t a |
| 09:21:13 | <ncf> | consider what should happen if you call f at t ~ ((->) Int) |
| 09:21:25 | <ncf> | (f :: (Int -> a) -> a) |
| 09:22:50 | <danse-nr3> | b could be a list a maybe, or anything else. In fact, also your example `f (Just 3) == 3` does not safely exist |
| 09:24:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 09:24:47 | <danse-nr3> | i think you see the A in (A b) too much as a container, which is generally not |
| 09:26:10 | <danse-nr3> | but you can define a `Pickable` (or some other name) class to make that a thing |
| 09:27:10 | <danse-nr3> | and then would not be able to define a Pickable instance for ((->) Int) |
| 09:28:05 | → | tromp joins (~textual@92.110.219.57) |
| 09:28:08 | <ncf> | well, you could decide to always pick the index 42, but that is not very principled |
| 09:28:12 | <danse-nr3> | whereas for `data L a = L [a]` the instance could have `pick (L l) = head l` |
| 09:28:40 | <ncf> | (on the other hand, if you take Sum Int then there is a Comonad instance where extract :: (Sum Int -> a) -> a picks out the value at 0) |
| 09:28:52 | <danse-nr3> | yeah, as ncf writes, writing a class you will realise which instances make sense for you and which not |
| 09:29:07 | × | mmhat quits (~mmh@p200300f1c7042765ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 09:30:45 | <albet70> | would that lens can do something for this? |
| 09:30:57 | <danse-nr3> | yeah go for the buzzword, and good luck |
| 09:32:55 | <ncf> | maybe you could be more specific about the actual thing you want to do with such a function |
| 09:33:41 | <albet70> | yes, I'd like to get [] out of MultiPart [] |
| 09:33:49 | → | sm joins (~sm@plaintextaccounting/sm) |
| 09:33:54 | <albet70> | so I can run traverse on [] |
| 09:34:26 | <danse-nr3> | f (Multipart l) = l? |
| 09:35:01 | <albet70> | danse-nr3 , yes, I did that too, I just wonder if there's a general way |
| 09:35:10 | <ncf> | libraries usually define such trivial getters themselves, but multipart doesn't seem to |
| 09:35:41 | <albet70> | yes |
| 09:36:00 | <ncf> | you could open a pull request |
| 09:36:05 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 09:36:33 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 244 seconds) |
| 09:36:47 | <ncf> | data MultiPart = MultiPart { getMultiPart :: [BodyPart] } |
| 09:37:12 | <danse-nr3> | in this sense i think you are right in thinking of lenses, as you can create them automatically, but there is additional complexity. We were talking about the lib here yesterday, it is not precisely a lightweight one |
| 09:37:44 | <danse-nr3> | (them = several type of accessor functions) |
| 09:38:14 | <ncf> | Data.Data.Lens has template but that is nuking a mosquito |
| 09:38:23 | <danse-nr3> | yeah |
| 09:41:24 | <danse-nr3> | thinking about it, maybe that can also be done with generics. I guess there could be a generic class that adds an accessor to singleton constructor. It would probably return a Maybe though, for all other kind of constructors. Not the worst abstraction ever |
| 09:43:26 | <danse-nr3> | all those `getMultiPart`, `unMultipart` etcetera become annoying and meaningless. It would be handy to have an `unwrap` to apply to all cases. Ops, it would have horrible ergonomics at type-check. You can always use it, never know whether it will work |
| 09:44:34 | <danse-nr3> | i do not know whether a generic derivable can throw errors when it decides that a type is not an instance |
| 09:46:31 | <danse-nr3> | (compile time errors) |
| 09:49:22 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b0af:12c3:5882:8983) |
| 09:53:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b0af:12c3:5882:8983) (Ping timeout: 246 seconds) |
| 09:54:46 | → | mima joins (~mmh@dhcp-138-246-3-237.dynamic.eduroam.mwn.de) |
| 09:58:25 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 250 seconds) |
| 09:58:57 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 09:59:04 | × | driib quits (~driib@176.57.184.141) (Quit: The Lounge - https://thelounge.chat) |
| 09:59:39 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 10:01:38 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 10:05:04 | <kronicmage> | generic optics seems like the solution here |
| 10:06:11 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 10:06:50 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 10:06:58 | <kronicmage> | Data.Generics.Wrapped gives you wrappedIso which lets you use `over` and such |
| 10:07:25 | × | mima quits (~mmh@dhcp-138-246-3-237.dynamic.eduroam.mwn.de) (Ping timeout: 246 seconds) |
| 10:08:45 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 10:12:04 | → | titibandit joins (~titibandi@user/titibandit) |
| 10:12:11 | <danse-nr3> | this one https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Wrapped.html right? Yes, it seems to do what we were talking about, the approach is still more complex than most usecases though. There could be a simple `Wrapped` class to be distributed standalone or somewhere in base. But can it produce a type-check error when the type is not derivable? |
| 10:13:38 | × | kenran quits (~user@user/kenran) (Ping timeout: 256 seconds) |
| 10:14:54 | <danse-nr3> | an `iso` is more than i was thinking about. I was just thinking of `unwrap :: W a -> a`, as albet70's original question |
| 10:17:41 | <danse-nr3> | other oops. What was i thinking about? A singleton type is not parametric |
| 10:19:00 | <danse-nr3> | indeed also albet70's MultiPart is not a type, it is a constructor |
| 10:23:40 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 10:24:52 | → | danse-nr3_ joins (~francesco@151.57.68.242) |
| 10:27:36 | × | danse-nr3 quits (~francesco@151.43.250.230) (Ping timeout: 260 seconds) |
| 10:29:13 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 10:30:44 | → | artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 10:30:44 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 10:31:24 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 10:33:15 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 10:33:42 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 10:35:11 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3) |
| 10:47:17 | × | danse-nr3_ quits (~francesco@151.57.68.242) (Ping timeout: 246 seconds) |
| 10:48:17 | → | danse-nr3_ joins (~francesco@151.57.68.242) |
| 10:48:54 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 10:50:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c533:a387:9f57:1069) |
| 10:51:42 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 10:52:57 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:53:31 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 10:54:40 | × | danse-nr3_ quits (~francesco@151.57.68.242) (Ping timeout: 246 seconds) |
| 10:55:22 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c533:a387:9f57:1069) (Ping timeout: 246 seconds) |
| 11:03:12 | → | Pickchea joins (~private@user/pickchea) |
| 11:03:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:05:46 | → | danse-nr3_ joins (~francesco@151.57.68.242) |
| 11:06:46 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:10:14 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:13:12 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 252 seconds) |
| 11:14:11 | → | son0p joins (~ff@152.203.98.110) |
| 11:15:30 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 11:18:05 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:19:48 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 11:20:32 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 11:22:48 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 11:24:54 | <tomsmeding> | is there a way to make ghcup not delete the temporary install directory when installation fails |
| 11:24:59 | <tomsmeding> | ghc installation, that is |
| 11:26:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:27:08 | × | actioninja quits (~actioninj@user/actioninja) (Read error: Connection reset by peer) |
| 11:27:44 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 11:28:43 | → | actioninja joins (~actioninj@user/actioninja) |
| 11:33:00 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 11:36:20 | <tomsmeding> | (relatedly, please linux, when you can't load a .so because one of its dependencies cannot be loaded, don't say "No such file or directory", tell me WHICH dependency is missing) |
| 11:37:14 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 11:38:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:38:32 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 11:40:02 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 11:41:12 | → | briandaed joins (~briandaed@185.234.210.211) |
| 11:44:18 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:45:57 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::260e) |
| 11:46:33 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::260e) (Client Quit) |
| 11:47:55 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:50:11 | <hpc> | but how can it tell you what file it is if it doesn't exist? :P |
| 11:59:50 | <tomsmeding> | hpc: well it can tell me what name it's looking for at the very least :p |
| 12:00:57 | <hpc> | that's like asking windows to contact your system administrator :P |
| 12:04:46 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 12:05:48 | → | kenran joins (~user@user/kenran) |
| 12:07:50 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 12:13:56 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 12:16:11 | <tomsmeding> | hpc: is it? |
| 12:16:22 | tomsmeding | cannot tell if serious or facetious :p |
| 12:16:32 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 12:17:51 | → | titibandit joins (~titibandi@user/titibandit) |
| 12:18:41 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 12:25:34 | → | xff0x joins (~xff0x@2405:6580:b080:900:52e4:e06e:5b2b:5859) |
| 12:26:03 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 12:26:25 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:27:55 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:28:02 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 12:28:27 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:29:31 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 246 seconds) |
| 12:31:33 | → | td_ joins (~td@i5387090E.versanet.de) |
| 12:39:14 | <lortabac> | is there an equivalent of 'first' for Bitraversable? |
| 12:40:42 | <lortabac> | :t \f -> bitraverse f id |
| 12:40:43 | <lambdabot> | error: |
| 12:40:43 | <lambdabot> | • Variable not in scope: bitraverse :: t -> (a0 -> a0) -> t1 |
| 12:40:43 | <lambdabot> | • Perhaps you meant one of these: |
| 12:45:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:47:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:48:21 | × | kjak quits (~kjak@pool-108-28-157-148.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 12:48:31 | <danse-nr3_> | :i Bitraversable |
| 12:49:23 | × | danse-nr3_ quits (~francesco@151.57.68.242) (Remote host closed the connection) |
| 12:49:46 | → | danse-nr3_ joins (~francesco@151.57.68.242) |
| 12:50:48 | → | ulysses4ever joins (~artem@73.145.240.35) |
| 12:50:53 | <danse-nr3_> | i am a bit confused. I found a Bitraversable that has to be a Bifunctor, so it has `first` https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Bitraversable.html#t:Bitraversable |
| 12:52:26 | <[Leary]> | @let import Data.Bifunctor |
| 12:52:28 | <lambdabot> | Defined. |
| 12:52:37 | <[Leary]> | :t \f -> bitraverse f pure |
| 12:52:38 | <lambdabot> | error: |
| 12:52:38 | <lambdabot> | • Variable not in scope: bitraverse :: t -> (a0 -> f0 a0) -> t1 |
| 12:52:38 | <lambdabot> | • Perhaps you meant one of these: |
| 12:52:50 | <[Leary]> | @let import Data.Bitraversable |
| 12:52:51 | <lambdabot> | Defined. |
| 12:52:54 | <[Leary]> | :t \f -> bitraverse f pure |
| 12:52:55 | <lambdabot> | (Bitraversable t, Applicative f) => (a -> f c) -> t a d -> f (t c d) |
| 12:53:05 | <[Leary]> | (oops) |
| 12:53:51 | × | artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 12:53:55 | <lortabac> | strange that nobody thought of including this function |
| 12:54:21 | × | razetime quits (~quassel@117.254.37.231) (Remote host closed the connection) |
| 12:54:24 | <lortabac> | it's probably a more common use case than bitraverse |
| 12:55:08 | × | ulysses4ever quits (~artem@73.145.240.35) (Ping timeout: 256 seconds) |
| 12:58:50 | × | drewjose quits (~drewjose@223.178.84.241) (Read error: Connection reset by peer) |
| 13:02:20 | → | ulysses4ever joins (~artem@73.145.240.35) |
| 13:02:33 | → | drewjose joins (~drewjose@223.178.84.241) |
| 13:04:42 | × | ulysses4ever quits (~artem@73.145.240.35) (Read error: Connection reset by peer) |
| 13:09:31 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 13:09:59 | → | Pickchea joins (~private@user/pickchea) |
| 13:11:22 | <danse-nr3_> | :t bitraverse |
| 13:11:22 | <lambdabot> | (Bitraversable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f (t c d) |
| 13:12:03 | <danse-nr3_> | :t traverse |
| 13:12:04 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 13:12:16 | <danse-nr3_> | :t traverse . first |
| 13:12:17 | <lambdabot> | error: |
| 13:12:17 | <lambdabot> | Ambiguous occurrence ‘first’ |
| 13:12:17 | <lambdabot> | It could refer to |
| 13:13:37 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 13:17:54 | <erisco> | fendor, great job on the vscode language server. It just handled and upgrade automatically and continued working! Might have been the first time I didn't have to fiddle with Haskell tooling for 30 minutes before I could start working :) |
| 13:19:40 | <fendor> | erisco, happy to heart that! |
| 13:19:51 | <fendor> | *hear |
| 13:20:16 | <erisco> | I don't know Lei Zhu's handle but let them know too |
| 13:22:30 | <fendor> | will do, I am not sure they are on irc |
| 13:29:32 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds) |
| 13:29:53 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 250 seconds) |
| 13:30:57 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 13:32:22 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection) |
| 13:32:55 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:35:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:35:18 | → | ulysses4ever joins (~artem@2607:fb91:2f88:c150:f474:e3f8:9806:671) |
| 13:35:26 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Ping timeout: 260 seconds) |
| 13:35:46 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 13:36:15 | <fendor> | I let Lei Zhu know :) |
| 13:46:11 | → | ft joins (~ft@p508db658.dip0.t-ipconnect.de) |
| 13:46:44 | → | ystael joins (~ystael@user/ystael) |
| 13:48:01 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 13:49:19 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 13:52:15 | → | artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 13:53:28 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 13:53:31 | → | mima joins (~mmh@dhcp-138-246-3-237.dynamic.eduroam.mwn.de) |
| 13:55:56 | × | ulysses4ever quits (~artem@2607:fb91:2f88:c150:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
| 13:56:09 | → | Functionalley joins (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 13:56:38 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:56:53 | → | kenran joins (~user@user/kenran) |
| 13:58:02 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:58:58 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 13:58:59 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 14:03:56 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:05:53 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 14:05:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 14:05:56 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 14:05:56 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 14:06:21 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 14:06:22 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:06:23 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 14:06:26 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:06:32 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:09:50 | × | briandaed quits (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 14:10:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:10:22 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 14:13:04 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 14:17:37 | → | thegeekinside joins (~thegeekin@189.128.149.137) |
| 14:18:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 14:19:26 | × | actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 14:19:31 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 14:20:45 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 14:22:58 | → | actioninja joins (~actioninj@user/actioninja) |
| 14:25:18 | → | danse-nr3__ joins (~francesco@151.35.245.137) |
| 14:25:18 | <erisco> | I feel like I must be doing something wrong when I add a dependency with stack. With other tools, like npm or yarn, you run a command and it adds the dependency to your package file for you. Is it really with stack that you have to edit the package file manually? |
| 14:25:29 | × | danse-nr3_ quits (~francesco@151.57.68.242) (Read error: Connection reset by peer) |
| 14:27:49 | <geekosaur> | yes |
| 14:28:51 | <Hecate> | erisco: yes, at current time this is the case in Haskell |
| 14:29:13 | <Hecate> | for both Stack & Cabal, although for the latter this restriction is going away due to ongoing work |
| 14:29:32 | <erisco> | My current method is to stack install package then watch the output for the version, then add that version to my package file |
| 14:30:15 | <geekosaur> | https://github.com/commercialhaskell/stack/issues/5429 |
| 14:33:04 | <yushyin> | frankly, i do not understand the motivation and see no problem in editing a config file |
| 14:33:18 | <dolio> | Same. |
| 14:33:23 | → | Buggys joins (Buggys@buggy.shelltalk.net) |
| 14:35:03 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 14:36:36 | <erisco> | I think one issue is that other package managers have an "add" command, so it will be unusual for many to have that absent. Another is that it becomes two steps to get a package installed. One to edit the config and two to run a stack command to download / install it |
| 14:37:15 | <danse-nr3__> | yeah it is just a nice handy feature, but we do not have it at the moment |
| 14:37:45 | <dolio> | They're not package managers. They're build tools. And the command you have to run is 'build my project'. |
| 14:37:53 | <probie> | That second step happens "for free" when you try to build your code |
| 14:38:27 | <dolio> | Which you would have to run anyway with the other tool, after the irrelevant, separate step of, 'download this thing I'm going to need for some reason.' |
| 14:40:53 | <tomsmeding> | erisco: if you're using stack, why do you care about package versions in the first place? Or are you talking about non-stackage packages? |
| 14:40:55 | <erisco> | Well, I don't think the current solution should go away. There are some benefits to supporting the flow that many (probably most) developers would be used to |
| 14:41:23 | <erisco> | tomsmeding, when I edit the config file, there is a version range I need to fill in. Is that not the case? |
| 14:41:33 | × | Functionalley quits (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!) |
| 14:41:43 | <tomsmeding> | erisco: which config file? stack.yaml, package.yaml or <project>.cabal? |
| 14:41:49 | <erisco> | package.yaml |
| 14:42:13 | → | Functionalley joins (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 14:42:20 | <tomsmeding> | erisco: you can just put the package without a version range there |
| 14:43:05 | <erisco> | thanks! that is much handier |
| 14:43:09 | <tomsmeding> | assuming, that is, your stack.yaml contains 'resolver:' followed by some stackage release like lts-* or nightly-* |
| 14:43:33 | <probie> | With JS/TS it's not quite the same, since it's adding one or more entries to package-lock.json. With stack or cabal that version lock file doesn't exist (or at least doesn't normally unless one runs `cabal freeze`) |
| 14:43:35 | <tomsmeding> | it's just going to take the version in that stackage release anyhow, and if that doesn't correspond with your version range it'll just fail |
| 14:43:48 | <tomsmeding> | probie: this is a stack/stackage specific thing |
| 14:44:16 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 14:44:18 | <tomsmeding> | with cabal, you do have to add version ranges, because otherwise cabal just freeranges and takes the newest from hackage if that's compatible with your other dependencies, or some older version if not |
| 14:44:49 | <tomsmeding> | with stack, you know that the dependencies that are not in extra-deps: in stack.yaml come from one consistent package set that you upgrade in one go by upping the resolver |
| 14:45:13 | <tomsmeding> | https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07 |
| 14:48:33 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:53:00 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e05d:f26:3642:d8c2) (Ping timeout: 245 seconds) |
| 14:53:59 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c533:a387:9f57:1069) |
| 14:54:09 | → | Inst joins (~liamzy@2601:6c4:4085:6d50::d7b3) |
| 14:54:16 | <Inst> | hi, ummm, could I ask for a bit of help with Crypton? |
| 14:54:25 | <Inst> | How do you cast the Block Word8 type to ByteString? |
| 14:54:35 | <Inst> | I mean, I can just Show then BS.pack, but, ummm |
| 14:55:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:57:30 | <dolio> | Is it the same as cryptonite? There's a kind of convoluted process using some stuff from other libraries. |
| 14:58:00 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c533:a387:9f57:1069) (Ping timeout: 245 seconds) |
| 14:58:00 | <Inst> | groan, crypton is the forked version of cryptonite |
| 14:58:05 | <Inst> | apparently it broke Hackage when it got forked |
| 14:58:55 | <dolio> | I think you need `convert` from Data.ByteArray in the `memory` package. |
| 15:00:04 | <dolio> | Which works as long as Block is a ByteArrayAccess, because bytestrings are ByteArrays or something. |
| 15:01:02 | <Inst> | somehow i understand why Chris Martin and Julie Moronuki chose a different hashing library in their tutorial |
| 15:01:30 | <Inst> | i'm doing hashWith SHA256 |
| 15:03:07 | → | ripspin joins (~chatzilla@1.145.164.136) |
| 15:05:00 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c533:a387:9f57:1069) |
| 15:05:29 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 15:05:40 | <dolio> | Yeah, well. I'm not exactly sure what other options there are. |
| 15:05:41 | → | sm joins (~sm@plaintextaccounting/sm) |
| 15:06:56 | → | notzmv joins (~zmv@user/notzmv) |
| 15:07:28 | <dolio> | It's kind of designed around its own ecosystem written by the same original author, which is why it takes extra effort to use with the usual types that almost everyone else uses. |
| 15:07:28 | ← | Functionalley parts (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Konversation terminated!) |
| 15:08:59 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.3) |
| 15:10:21 | <dolio> | Although I don't know if I'd want it to use ByteString by default anyway. |
| 15:12:01 | × | ripspin quits (~chatzilla@1.145.164.136) (Remote host closed the connection) |
| 15:12:07 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:17:00 | <Inst> | ehhh, what i'm trying to do is to write to and read from disk |
| 15:19:36 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:25:06 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 15:26:26 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 246 seconds) |
| 15:27:10 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:28:36 | × | thegeekinside quits (~thegeekin@189.128.149.137) (Ping timeout: 260 seconds) |
| 15:44:25 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 15:45:26 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 245 seconds) |
| 15:58:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:00:33 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 16:02:35 | → | Achylles joins (~Achylles_@45.182.57.15) |
| 16:04:30 | × | jabuxas quits (~jabuxas@user/jabuxas) (Client Quit) |
| 16:08:15 | × | zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 16:15:31 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 16:18:57 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:20:05 | → | akegalj joins (~akegalj@174-157.dsl.iskon.hr) |
| 16:20:39 | ← | akegalj parts (~akegalj@174-157.dsl.iskon.hr) () |
| 16:20:45 | → | akegalj joins (~akegalj@174-157.dsl.iskon.hr) |
| 16:22:35 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 16:23:26 | → | vglfr joins (~vglfr@217.65.137.203) |
| 16:26:51 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 16:26:51 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 16:27:22 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 16:29:52 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 16:30:00 | → | vglfr joins (~vglfr@217.65.137.203) |
| 16:31:06 | × | danse-nr3__ quits (~francesco@151.35.245.137) (Ping timeout: 252 seconds) |
| 16:33:46 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 16:34:02 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 16:34:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:34:36 | × | dontdieych_ quits (~alarm@132.226.169.184) (Ping timeout: 245 seconds) |
| 16:34:58 | → | thegeekinside joins (~thegeekin@189.128.149.137) |
| 16:37:18 | → | dontdieych_ joins (~alarm@132.226.169.184) |
| 16:38:36 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Read error: Connection reset by peer) |
| 16:38:48 | → | vglfr joins (~vglfr@217.65.137.203) |
| 16:45:01 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 16:45:34 | → | vglfr joins (~vglfr@217.65.137.203) |
| 16:45:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:48:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:49:41 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:50:46 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) |
| 16:53:33 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 16:53:59 | → | johnw joins (~johnw@69.62.242.138) |
| 16:56:52 | × | vglfr quits (~vglfr@217.65.137.203) (Read error: Connection reset by peer) |
| 16:57:55 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) |
| 16:58:08 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) (Remote host closed the connection) |
| 16:58:26 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) |
| 16:59:26 | → | hackager joins (~hackager@069-135-003-034.biz.spectrum.com) |
| 17:00:02 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:00:18 | × | hackager quits (~hackager@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 17:04:14 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:358c:870d:dbc4:1561) (Ping timeout: 246 seconds) |
| 17:04:52 | → | vglfr joins (~vglfr@188.239.201.89) |
| 17:08:36 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 17:08:48 | → | hackager joins (~hackager@069-135-003-034.biz.spectrum.com) |
| 17:09:31 | → | danza joins (~francesco@151.35.245.137) |
| 17:11:28 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:11:35 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 17:12:57 | → | tromp joins (~textual@92.110.219.57) |
| 17:17:33 | × | oo_miguel quits (~Thunderbi@78.11.179.96) (Quit: oo_miguel) |
| 17:18:01 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 17:27:55 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:29:01 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 17:42:57 | → | sidy joins (~sidy@user/sidy) |
| 17:46:06 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 17:49:23 | → | driib joins (~driib@176.57.184.141) |
| 17:57:58 | → | ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 17:57:58 | × | artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 17:58:38 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) (Remote host closed the connection) |
| 17:58:56 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) |
| 17:59:06 | × | todi quits (~todi@p4fd1a580.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:59:11 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 17:59:11 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 17:59:11 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 17:59:39 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 17:59:43 | dobblego | is now known as dibblego |
| 18:00:34 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 18:01:08 | → | sm joins (~sm@plaintextaccounting/sm) |
| 18:02:58 | <hackager> | <geekosaur> okay, I have a matterbridge gatewaying with #haskell IRC now, so this room should actually be useful again |
| 18:04:28 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
| 18:05:28 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 18:05:51 | <int-e> | hmm "this room" |
| 18:07:05 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 18:07:09 | <geekosaur> | I sent that from #haskell-irc:matrix.org and it was relayed by matterbridge |
| 18:07:20 | <geekosaur> | matrix calls them "rooms" |
| 18:08:01 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:08:20 | <geekosaur> | discussion here/in #haskell-ops was a bit more than a month ago, I plumbed the room with the channel, then about a week later they shut down the bridge |
| 18:10:06 | EvanR | wonders who is listening on the other end |
| 18:10:25 | <hackager> | <mauke> It me |
| 18:10:47 | <EvanR> | is there a mirror universe version of you all? |
| 18:10:48 | <geekosaur> | only a few people since it didn't exist for long enough before they dropped the bridge. I'm about to reannounce it in the main haskell room on matrix |
| 18:11:11 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 18:11:24 | <hackager> | <mauke> Holy crap, 266 members |
| 18:11:57 | × | Inst quits (~liamzy@2601:6c4:4085:6d50::d7b3) (Ping timeout: 248 seconds) |
| 18:12:34 | <mauke> | can you lambdabot from the matrix side? |
| 18:13:15 | → | todi joins (~todi@p4fd1a580.dip0.t-ipconnect.de) |
| 18:13:39 | <int-e> | the way it looks, no |
| 18:13:43 | <EvanR> | lambdabot will have to enter the matrix |
| 18:15:47 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 18:16:34 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:16:35 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:16:35 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:19:10 | × | shapr quits (~user@2600:1700:c640:3100:25dc:ef75:520:fb9d) (Remote host closed the connection) |
| 18:20:21 | <juri_> | eew. |
| 18:21:34 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 18:21:45 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 18:22:14 | <geekosaur> | lambdabot would have to be taught to recognize messages from the gateway bot |
| 18:22:39 | <geekosaur> | there are other ways to do gatewaying but they all require me to run my own homeserver and I'm not sure how well that would work |
| 18:23:01 | <geekosaur> | as it is, any media or oversize messages will be lost because I can't usefully run a webserver for them to be pastebinned to |
| 18:25:01 | → | danza_ joins (~francesco@151.57.233.135) |
| 18:25:34 | × | danza quits (~francesco@151.35.245.137) (Read error: Connection reset by peer) |
| 18:25:43 | × | Achylles quits (~Achylles_@45.182.57.15) (Remote host closed the connection) |
| 18:28:21 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 18:28:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 18:30:01 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 18:31:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 18:36:39 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:41:27 | → | titibandit joins (~titibandi@user/titibandit) |
| 18:50:53 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:53:44 | → | titiband1t joins (~titibandi@user/titibandit) |
| 18:55:36 | × | billchenchina quits (~billchenc@103.152.35.21) (Quit: Leaving) |
| 18:59:20 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 19:01:13 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
| 19:01:34 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 19:02:36 | → | qqq joins (~qqq@92.43.167.61) |
| 19:05:48 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 19:06:36 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 19:07:05 | × | titiband1t quits (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 19:07:18 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 19:07:25 | × | vglfr quits (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 19:08:10 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 19:08:24 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 19:10:28 | → | coot joins (~coot@89.69.206.216) |
| 19:10:38 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 19:12:24 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 19:13:24 | → | titibandit joins (~titibandi@user/titibandit) |
| 19:15:34 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 19:21:22 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:21:45 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 19:26:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 19:28:27 | → | titibandit joins (~titibandi@user/titibandit) |
| 19:30:34 | × | jabuxas quits (~jabuxas@user/jabuxas) (Quit: Leaving.) |
| 19:30:46 | → | Pickchea joins (~private@user/pickchea) |
| 19:35:09 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection) |
| 19:35:24 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 19:40:32 | × | mima quits (~mmh@dhcp-138-246-3-237.dynamic.eduroam.mwn.de) (Ping timeout: 240 seconds) |
| 19:41:24 | × | raym quits (~ray@user/raym) (Ping timeout: 246 seconds) |
| 19:43:21 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 245 seconds) |
| 19:43:32 | → | raym joins (~ray@user/raym) |
| 19:43:49 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 19:46:54 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 19:47:26 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 19:49:06 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 252 seconds) |
| 19:55:24 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3) |
| 19:58:38 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) (Remote host closed the connection) |
| 19:58:58 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) |
| 20:00:09 | ladyfriday | is now known as mrmonday |
| 20:00:47 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 20:01:39 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 20:07:02 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 20:07:07 | × | coot quits (~coot@89.69.206.216) (Quit: coot) |
| 20:08:36 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 20:10:46 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 20:11:41 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:12:15 | → | johnw joins (~johnw@69.62.242.138) |
| 20:19:27 | × | akegalj quits (~akegalj@174-157.dsl.iskon.hr) (Quit: leaving) |
| 20:20:50 | × | Qudit quits (~user@user/Qudit) (Remote host closed the connection) |
| 20:20:56 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 20:23:32 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:26:15 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 20:27:48 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:29:38 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) (Remote host closed the connection) |
| 20:29:56 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) |
| 20:31:52 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 20:32:05 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:32:18 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 20:33:43 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 20:33:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 20:33:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:34:23 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 20:34:56 | → | pavonia joins (~user@user/siracusa) |
| 20:35:52 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 20:36:09 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:bebd:303d:a621:e278) (Ping timeout: 258 seconds) |
| 20:37:12 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 20:38:01 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:38:32 | → | k3ut0i joins (~keutoi@223.230.26.106) |
| 20:38:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 20:39:55 | → | mima joins (~mmh@aftr-62-216-211-126.dynamic.mnet-online.de) |
| 20:45:05 | × | thegeekinside quits (~thegeekin@189.128.149.137) (Ping timeout: 245 seconds) |
| 20:47:57 | → | andrei_n joins (~andrei.n@2a02:a03f:c0bc:8400:9cf5:6e0f:1aa4:dec0) |
| 20:49:00 | → | artem joins (~artem@73.145.241.223) |
| 20:49:58 | × | fendor quits (~fendor@2a02:8388:1640:be00:af83:ade1:cd40:fe7a) (Remote host closed the connection) |
| 20:52:15 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 246 seconds) |
| 21:00:46 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 21:01:12 | × | kimiamania600 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:38 | → | kimiamania600 joins (~65804703@user/kimiamania) |
| 21:01:55 | → | ulysses4ever joins (~artem@73.145.241.223) |
| 21:02:26 | × | artem quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:05:11 | → | artem joins (~artem@73.145.241.223) |
| 21:05:11 | × | ulysses4ever quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:06:05 | → | ulysses4ever joins (~artem@2607:fb91:2f91:cac5:f474:e3f8:9806:671) |
| 21:06:21 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:09:03 | × | artem quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:12:41 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 21:12:57 | × | ulysses4ever quits (~artem@2607:fb91:2f91:cac5:f474:e3f8:9806:671) (Ping timeout: 258 seconds) |
| 21:13:56 | → | ulysses4ever joins (~artem@73.145.241.223) |
| 21:17:49 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 21:18:26 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 21:18:57 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:22:49 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:24:25 | × | glguy quits (g@libera/staff-emeritus/glguy) (Changing host) |
| 21:24:25 | → | glguy joins (g@libera/staff/glguy) |
| 21:24:25 | × | g quits (g@libera/staff-emeritus/glguy) (Changing host) |
| 21:24:25 | → | g joins (g@libera/staff/glguy) |
| 21:25:43 | × | titibandit quits (~titibandi@user/titibandit) (Quit: leaving) |
| 21:25:46 | → | lena64t joins (~lena64t@gateway/tor-sasl/hck) |
| 21:27:33 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:27:35 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 21:35:13 | × | glguy quits (g@libera/staff/glguy) (Quit: Quit) |
| 21:35:39 | → | glguy joins (g@libera/staff/glguy) |
| 21:37:57 | × | ulysses4ever quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:38:03 | → | artem joins (~artem@73.145.241.223) |
| 21:38:10 | × | glguy quits (g@libera/staff/glguy) (Client Quit) |
| 21:38:33 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 21:38:45 | → | TheCoffeMaker_ joins (~TheCoffeM@190.245.118.219) |
| 21:39:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:40:22 | → | glguy joins (g@libera/staff/glguy) |
| 21:41:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:44:29 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:46:25 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:46:33 | × | titibandit quits (~titibandi@user/titibandit) (Client Quit) |
| 21:46:55 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:47:30 | × | andrei_n quits (~andrei.n@2a02:a03f:c0bc:8400:9cf5:6e0f:1aa4:dec0) (Quit: Leaving) |
| 21:48:04 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 21:48:04 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 21:48:04 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 21:48:06 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 21:48:22 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 21:48:48 | dobblego | is now known as dibblego |
| 21:48:53 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 21:50:23 | × | artem quits (~artem@73.145.241.223) (Ping timeout: 250 seconds) |
| 21:51:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:53:10 | → | ulysses4ever joins (~artem@73.145.241.223) |
| 21:54:00 | → | artem joins (~artem@73.145.241.223) |
| 21:54:08 | × | ulysses4ever quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:56:03 | → | ulysses4ever joins (~artem@73.145.241.223) |
| 21:56:03 | × | artem quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:56:24 | → | thegeekinside joins (~thegeekin@189.128.149.137) |
| 21:57:28 | × | titibandit quits (~titibandi@user/titibandit) (Quit: leaving) |
| 21:57:45 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:57:55 | × | ulysses4ever quits (~artem@73.145.241.223) (Read error: Connection reset by peer) |
| 21:59:11 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 22:00:27 | × | glguy quits (g@libera/staff/glguy) (Quit: Quit) |
| 22:00:29 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 22:01:11 | → | glguy joins (g@libera/staff/glguy) |
| 22:01:47 | × | lena64t quits (~lena64t@gateway/tor-sasl/hck) (Remote host closed the connection) |
| 22:05:28 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 22:05:30 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 22:05:30 | → | g joins (g@libera/staff/glguy) |
| 22:05:40 | → | titiband1t joins (~titibandi@user/titibandit) |
| 22:05:55 | × | titiband1t quits (~titibandi@user/titibandit) (Client Quit) |
| 22:06:32 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 22:06:34 | → | g joins (g@libera/staff/glguy) |
| 22:06:37 | × | forell quits (~forell@user/forell) (Ping timeout: 248 seconds) |
| 22:08:12 | → | lena64t joins (~lena64t@gateway/tor-sasl/hck) |
| 22:09:21 | → | forell joins (~forell@user/forell) |
| 22:11:38 | → | ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 22:13:21 | × | thegeekinside quits (~thegeekin@189.128.149.137) (Ping timeout: 245 seconds) |
| 22:16:35 | → | fendor joins (~fendor@2a02:8388:1640:be00:af83:ade1:cd40:fe7a) |
| 22:18:12 | → | notzmv joins (~zmv@user/notzmv) |
| 22:18:24 | × | g quits (g@libera/staff/glguy) (Ping timeout: 606 seconds) |
| 22:18:28 | → | g joins (g@libera/staff/glguy) |
| 22:24:54 | × | danza_ quits (~francesco@151.57.233.135) (Read error: Connection reset by peer) |
| 22:25:01 | → | danza_ joins (~francesco@151.47.231.153) |
| 22:25:01 | × | fendor quits (~fendor@2a02:8388:1640:be00:af83:ade1:cd40:fe7a) (Remote host closed the connection) |
| 22:26:28 | → | thegeekinside joins (~thegeekin@189.128.149.137) |
| 22:30:42 | [_] | is now known as [itchyjunk] |
| 22:37:34 | → | shapr joins (~user@2600:1700:c640:3100:ffa9:4f64:3f6e:7248) |
| 22:39:58 | → | sm joins (~sm@plaintextaccounting/sm) |
| 22:40:29 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 22:51:04 | × | jabuxas quits (~jabuxas@user/jabuxas) (Quit: Leaving.) |
| 22:59:31 | × | acidjnk quits (~acidjnk@p200300d6e7072f9674bc765042e24c26.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:00:15 | × | sidy quits (~sidy@user/sidy) (Read error: Connection reset by peer) |
| 23:10:19 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 23:11:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:13:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:19:34 | → | mikoto-chan joins (~mikoto-ch@85-76-148-20-nat.elisa-mobile.fi) |
| 23:19:43 | × | hackager quits (~hackager@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 23:20:05 | → | hackager joins (~hackager@069-135-003-034.biz.spectrum.com) |
| 23:20:42 | × | hackager quits (~hackager@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 23:21:02 | → | hackager joins (~hackager@069-135-003-034.biz.spectrum.com) |
| 23:23:32 | → | dsrt^ joins (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 23:31:14 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 23:31:41 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 23:31:41 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 23:31:41 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 23:42:06 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 23:44:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 23:44:40 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::5235) |
| 23:46:02 | → | dibblego joins (~dibblego@116.255.1.151) |
| 23:46:02 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 23:46:02 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 23:47:40 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:50:53 | × | td_ quits (~td@i5387090E.versanet.de) (Ping timeout: 246 seconds) |
| 23:51:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
All times are in UTC on 2023-08-25.