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