2024/08/04

2024-08-04 00:14:55 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-08-04 00:49:06 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-08-04 00:49:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-08-04 00:54:51 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 252 seconds)
2024-08-04 00:55:02 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-08-04 00:58:09 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-04 01:13:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 01:14:45 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-08-04 01:20:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 01:21:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-08-04 01:24:15 +0200acidjnk(~acidjnk@p200300d6e72cfb63e89b46515bef4b7e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-08-04 01:31:58 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2024-08-04 01:57:43 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-08-04 02:02:52 +0200Midjak(~MarciZ@82.66.147.146)
2024-08-04 02:04:29 +0200 <Inst> is anyone using linear haskell?
2024-08-04 02:05:17 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-08-04 02:07:07 +0200rozenglass(~rednight@static.9.0.76.144.clients.your-server.de) ()
2024-08-04 02:10:55 +0200gentauro(~gentauro@user/gentauro)
2024-08-04 02:17:33 +0200ZharMeny(~user@user/ZharMeny) (Quit: segmentation fault (core dumped))
2024-08-04 02:24:18 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-08-04 02:27:59 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-08-04 02:43:20 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-08-04 02:43:41 +0200euleritian(~euleritia@dynamic-176-006-139-027.176.6.pool.telefonica.de)
2024-08-04 02:46:02 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-08-04 02:46:15 +0200tomku(~tomku@user/tomku)
2024-08-04 02:48:52 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-08-04 02:49:12 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-08-04 02:56:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 02:56:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-08-04 03:00:37 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 248 seconds)
2024-08-04 03:06:11 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-04 03:09:55 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: Lost terminal)
2024-08-04 03:11:32 +0200ft(~ft@p3e9bc4e7.dip0.t-ipconnect.de)
2024-08-04 03:22:02 +0200krei-se(~krei-se@p5085de4b.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-08-04 03:23:57 +0200krei-se(~krei-se@p5085d225.dip0.t-ipconnect.de)
2024-08-04 03:24:49 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-08-04 03:29:22 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-08-04 03:52:33 +0200skyesoss1(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-04 03:54:29 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 248 seconds)
2024-08-04 03:54:29 +0200skyesoss1skyesoss
2024-08-04 03:56:40 +0200 <Inst> in linear haskell
2024-08-04 03:57:05 +0200 <Inst> do you have to use dup2 (or a corresponding function) every time you want to run a conditional?
2024-08-04 03:57:55 +0200 <Inst> and then reuse the value evaluated via the conditional?
2024-08-04 03:59:35 +0200Square(~Square@user/square)
2024-08-04 04:05:02 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-08-04 04:05:32 +0200op_4(~tslil@user/op-4/x-9116473)
2024-08-04 04:06:56 +0200 <Inst> okay, 100% worth it
2024-08-04 04:07:07 +0200 <Inst> actually i should try again with strict
2024-08-04 04:11:19 +0200 <Inst> so, i had an accum param loop over 100 billion iterations
2024-08-04 04:12:18 +0200 <Inst> just foo !term | term == 100_000_000 = term | otherwise = foo (term + 1)
2024-08-04 04:12:48 +0200 <Inst> on linear haskell, took 28 seconds, with -XLinearTypes on, but with multiplicity many, the thing crashed my console
2024-08-04 04:14:17 +0200 <Inst> retrying without lineartypes...
2024-08-04 04:17:17 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:2121:19d8:d2a8:bab2)
2024-08-04 04:24:39 +0200td_(~td@i5387092B.versanet.de) (Ping timeout: 252 seconds)
2024-08-04 04:25:02 +0200 <Inst> ehhh, seems as though linear haskell is imposing a performance penalty, ugh
2024-08-04 04:26:34 +0200td_(~td@i5387091B.versanet.de)
2024-08-04 04:30:32 +0200abyxq(~abyxq@user/abyxq) (Ping timeout: 252 seconds)
2024-08-04 04:32:13 +0200abyxq(~abyxq@p5b340392.dip0.t-ipconnect.de)
2024-08-04 04:36:26 +0200nunggu(~q@user/nunggu) (Remote host closed the connection)
2024-08-04 04:39:08 +0200fun-safe-math(~fun-safe-@24.21.106.247) (Ping timeout: 245 seconds)
2024-08-04 04:43:37 +0200 <hololeap> I'm getting some odd test failures for crypton on a certain machine. I've been poking around and it seems like there's something crashing at a low level before tasty can display a proper error message: https://bpa.st/JBIQ
2024-08-04 04:44:30 +0200 <hololeap> what are some debugging options I can pass so that I can see _everything_ that the program is doing? or is this possible?
2024-08-04 04:51:11 +0200 <hololeap> ah, I see now that the test suite is segfaulting
2024-08-04 04:51:36 +0200 <c_wraith> you can run it in gdb to get additional info
2024-08-04 04:52:06 +0200 <c_wraith> the native code shows up in gdb the way you'd expect native code to
2024-08-04 04:52:55 +0200 <Inst> is there an easy / better way to do conditionals in linear haskell?
2024-08-04 04:55:30 +0200 <hololeap> Thread 1 "test-crypton" received signal SIGSEGV, Segmentation fault.
2024-08-04 04:55:36 +0200 <hololeap> 0x00007ffff68a89eb in crypton_decaf_448_precomputed_scalarmul () from /var/tmp/portage/dev-haskell/crypton-0.34/work/crypton-0.34/dist/build/libHScrypton-0.34-8uX0arO7yLMcECvDI93BC-ghc9.4.8.so
2024-08-04 05:03:48 +0200 <geekosaur> you may need to figure out how to build crypton with debug symbols
2024-08-04 05:04:50 +0200 <geekosaur> https://hackage.haskell.org/package/crypton-1.0.0/src/cbits/decaf/ed448goldilocks/decaf.c look for API_NS(precomputed_scalarmul)
2024-08-04 05:05:12 +0200 <hololeap> thanks geekosaur, I also found this: https://github.com/kazu-yamamoto/crypton/blob/main/cbits/decaf/include/decaf/point_448.h#L460
2024-08-04 05:06:00 +0200 <geekosaur> right, that's just the ANSI C declaration of the function I pointed you to
2024-08-04 05:06:18 +0200 <geekosaur> (declaration, not definition)
2024-08-04 05:08:29 +0200aforemny_(~aforemny@2001:9e8:6ce4:3600:74c:8890:60ce:f920)
2024-08-04 05:09:02 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-08-04 05:09:29 +0200aforemny(~aforemny@2001:9e8:6cc3:4e00:388d:4a0d:d109:70a9) (Ping timeout: 265 seconds)
2024-08-04 05:09:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2024-08-04 05:10:25 +0200Lord_of_Life_Lord_of_Life
2024-08-04 05:17:10 +0200 <geekosaur> (https://github.com/kazu-yamamoto/crypton/blob/main/cbits/decaf/ed448goldilocks/decaf.c#L1007 is the definition in the source tree instead of on Hackage)
2024-08-04 05:22:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-04 05:25:25 +0200 <hololeap> I'm not so good at this :p
2024-08-04 05:26:38 +0200 <hololeap> I added --gcc-option=-ggdb to configure, then ran the test suite manually with gdb and this is the stack trace: https://bpa.st/HRWA
2024-08-04 05:28:10 +0200euleritian(~euleritia@dynamic-176-006-139-027.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-04 05:28:20 +0200euleritian(~euleritia@77.22.252.56)
2024-08-04 05:30:30 +0200nunggu(~q@user/nunggu)
2024-08-04 05:30:46 +0200 <geekosaur> it's missing the debug information still. something may be stripping it (iirc Cabal defaults to that, for example, need --disable-executable-stripping)
2024-08-04 05:35:57 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-08-04 05:43:23 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:2121:19d8:d2a8:bab2) (Quit: Leaving)
2024-08-04 05:43:58 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-04 05:51:21 +0200 <hololeap> I stripped down the configure flags that gentoo passes, and now it's not segfaulting. I'm bisecting the flags to see which one is creating the segfault
2024-08-04 05:59:12 +0200zlqrvx(~zlqrvx@user/zlqrvx) (Ping timeout: 244 seconds)
2024-08-04 06:01:04 +0200zlqrvx(~zlqrvx@user/zlqrvx)
2024-08-04 06:09:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-08-04 06:10:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-04 06:22:00 +0200tabaqui(~root@87.200.123.114) (Ping timeout: 252 seconds)
2024-08-04 06:33:11 +0200 <Inst> forget it, I have a friend who does a lot of stuff with linear haskell, I'll just go ask him, I hope it's not the case that linear haskell ruins Haskell conditionals, although it's probable :(
2024-08-04 06:35:05 +0200 <hololeap> Inst, I think you need to give an example of what you're having trouble with
2024-08-04 06:36:34 +0200 <Inst> this is where I am right now
2024-08-04 06:36:35 +0200 <Inst> https://paste.tomsmeding.com/NnCh99ud
2024-08-04 06:37:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-08-04 06:38:16 +0200 <Inst> should be a >= -1
2024-08-04 06:38:25 +0200 <Inst> or True / otherwise
2024-08-04 06:38:39 +0200 <Inst> I have it working now by using a manual if then else
2024-08-04 06:39:00 +0200 <Inst> also, %1 annotation within a where scope doesn't seem to work
2024-08-04 06:39:18 +0200 <Inst> i'm probably better off just waiting for my LH friend
2024-08-04 06:39:20 +0200 <hololeap> what error is it giving you
2024-08-04 06:39:47 +0200 <Inst> https://paste.tomsmeding.com/pW1ZpJP4
2024-08-04 06:40:12 +0200 <Inst> I guess XLinearType is experimental
2024-08-04 06:40:24 +0200 <Inst> and kvetching about it means little, it's rejecting view patterns if I try to Ur something
2024-08-04 06:40:32 +0200 <Inst> (move -> Ur b)
2024-08-04 06:43:40 +0200 <hololeap> I barely know anything about this, but you're duplicating the Int that is passed into rec... isn't that what linear types is supposed to prevent you from doing?
2024-08-04 06:55:02 +0200 <Inst> the problem I'm facing right now is that it seems that if I run a conditional on a numeric literal (uses Eq), it counts as a use
2024-08-04 06:55:45 +0200 <Inst> since the boolean producer is a function
2024-08-04 06:57:18 +0200 <hololeap> that may be true. I think you would have to be very careful about what needs to be linear. it seems like a very heavy restriction to be using without a real need to
2024-08-04 06:59:04 +0200 <Inst> thanks for the help, Hololeap
2024-08-04 06:59:17 +0200 <Inst> hololeap: I'm just practicing, it's a fun Haskell feature that has a lot of promise
2024-08-04 06:59:38 +0200 <Inst> and it's a fun excuse to tear apart libraries and rewrite it as linear Haskell and take credit for the rewrite :3
2024-08-04 07:00:31 +0200 <hololeap> you could look at the source for linear-base for some examples: https://github.com/tweag/linear-base
2024-08-04 07:00:53 +0200 <Inst> by the way, tomsmeding, I don't have the capability to do anything, but how much do you think it'd cost to retrofit accelerate?
2024-08-04 07:01:13 +0200 <Inst> yeah i'm using it right now
2024-08-04 07:01:14 +0200 <Inst> https://hackage.haskell.org/package/linear-base
2024-08-04 07:03:53 +0200 <hololeap> I see a lot of pattern matching in there but so far no if-then-else or comparisons, so linear types may just not allow it
2024-08-04 07:07:49 +0200 <Inst> i mean my code is working now, but the idea of having te go jump through hoops I don't understand is painful
2024-08-04 07:08:17 +0200 <Inst> https://paste.tomsmeding.com/mJ9YR21O
2024-08-04 07:08:23 +0200skyesoss1(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-04 07:08:25 +0200 <hololeap> hm, the filter function in Data.Linear.List seems to need a Dupable restriction
2024-08-04 07:08:40 +0200 <hololeap> https://github.com/tweag/linear-base/blob/16795c74588d013bbb2d4cd7954fd129b8ad2c46/src/Data/Unrest…
2024-08-04 07:09:02 +0200 <Inst> that's a smart move
2024-08-04 07:09:39 +0200 <Inst> lol dup = dup2
2024-08-04 07:10:46 +0200 <Inst> also superfluous lambdacase
2024-08-04 07:11:14 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
2024-08-04 07:11:15 +0200skyesoss1skyesoss
2024-08-04 07:14:43 +0200 <Inst> cool, that works, and cleans up a lot
2024-08-04 07:14:53 +0200 <hololeap> https://github.com/tweag/linear-base/blob/master/src/Data/Replicator/Linear/Internal/ReplicationSt…
2024-08-04 07:14:59 +0200 <hololeap> this hurts my brain
2024-08-04 07:15:07 +0200 <Inst> it'll compile if on case dup input of...
2024-08-04 07:20:30 +0200 <Inst> yeah tbh that's why I was complaining about conditionals
2024-08-04 07:21:01 +0200 <Inst> it implicitly indicates you'd have to use dup or move (which produces a value in thhe newtype (Ur a), which means unrestricted, to allow running multiple conditionals
2024-08-04 07:21:42 +0200 <Inst> if you're using Dup
2024-08-04 07:21:42 +0200 <hololeap> it seems like they had to implement quite a bit to get it work
2024-08-04 07:22:11 +0200 <Inst> I have a friend who's done projects in linear haskell, maybe he'll have a nice workaround?
2024-08-04 07:24:20 +0200 <hololeap> hopefully
2024-08-04 07:32:52 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss)
2024-08-04 07:33:12 +0200 <hololeap> geekosaur: I narrowed down the configure option that is causing the problem to --ghc-option=-optc-march=znver2
2024-08-04 07:33:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-04 07:33:33 +0200 <hololeap> which explains why I only hit the segfault on this system
2024-08-04 07:34:14 +0200 <hololeap> also, the correct configure option to add debugging symbols is --ghc-option=-optc-ggdb
2024-08-04 07:35:07 +0200 <hololeap> which gives this as the stack trace: https://bpa.st/3FKA
2024-08-04 07:38:26 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-04 07:41:49 +0200rosco(~rosco@175.136.158.234)
2024-08-04 08:17:11 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-08-04 08:17:43 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-08-04 08:22:20 +0200hayk(~hayk@141.136.90.108)
2024-08-04 08:32:09 +0200hayk(~hayk@141.136.90.108) (Quit: hayk)
2024-08-04 08:35:45 +0200Igloo(~ian@matrix.chaos.earth.li) (Ping timeout: 246 seconds)
2024-08-04 08:37:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 08:43:14 +0200 <geekosaur> that's somewhat odd; arch issues would normally toss SIGILL, not a segfault
2024-08-04 08:48:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 08:53:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 09:03:00 +0200tt1231097832(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-08-04 09:07:23 +0200michalz(~michalz@185.246.207.203)
2024-08-04 09:10:06 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-08-04 09:15:32 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-08-04 09:21:17 +0200euphores(~SASL_euph@user/euphores)
2024-08-04 09:21:33 +0200 <Inst> to an extent, though, linear haskell being stingy with conditionals isn't necessarily a bad thing
2024-08-04 09:21:44 +0200 <Inst> conditionals screw with vectorization
2024-08-04 09:40:35 +0200acidjnk(~acidjnk@p200300d6e72cfb11143f363222ce679a.dip0.t-ipconnect.de)
2024-08-04 09:49:00 +0200target_i(~target_i@user/target-i/x-6023099)
2024-08-04 09:54:47 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-04 10:12:34 +0200Unhammer(~Unhammer@user/unhammer)
2024-08-04 10:13:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 10:16:57 +0200 <Unhammer> Is there a way to make a wrapper to override implicit params?
2024-08-04 10:18:33 +0200 <Unhammer> Say I have a bunch of helper functions of type (?c :: C) => … and I'm in some `outer :: (?c :: C) => … ` and I want to call `helper` with overridden ?c, I can do that with `let ?c = override ?c in helper`
2024-08-04 10:19:15 +0200 <Unhammer> but I haven't been able to make a `withOverride func = let ?c = override ?c in func`
2024-08-04 10:19:57 +0200madhavanmiui(~madhavanm@2409:40f4:3052:d7e2:8000::)
2024-08-04 10:20:05 +0200 <Unhammer> since when I call it like `outer = withOverride helper` it seems the ?c is already bound to helper in the outer call and the override has no effect(?)
2024-08-04 10:20:51 +0200madhavanmiui(~madhavanm@2409:40f4:3052:d7e2:8000::) (Client Quit)
2024-08-04 10:22:26 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-04 10:31:54 +0200Ellenor(ellenor@invictus.wa.us.umbrellix.net) (Remote host closed the connection)
2024-08-04 10:35:11 +0200nunggu(~q@user/nunggu) (Ping timeout: 260 seconds)
2024-08-04 10:36:06 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-08-04 10:36:14 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de)
2024-08-04 10:47:05 +0200Ellenor(~Ellenor@invictus.wa.us.umbrellix.net)
2024-08-04 10:52:54 +0200tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2024-08-04 10:54:02 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-08-04 10:57:55 +0200hljhcjwzzh(~anton@m90-131-37-252.cust.tele2.lt)
2024-08-04 10:58:03 +0200hljhcjwzzh(~anton@m90-131-37-252.cust.tele2.lt) (Client Quit)
2024-08-04 10:58:39 +0200jamesonsteve(~anton@m90-131-37-252.cust.tele2.lt)
2024-08-04 10:58:56 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 265 seconds)
2024-08-04 11:03:21 +0200tomboy64(~tomboy64@user/tomboy64)
2024-08-04 11:13:58 +0200 <mauke> > let helper = show ?c in helper
2024-08-04 11:13:59 +0200 <lambdabot> mueval-core: internal error: PAP object (0x420060e5d8) entered!
2024-08-04 11:13:59 +0200 <lambdabot> (GHC version 8.10.2 for x86_64_unknown_linux)
2024-08-04 11:13:59 +0200 <lambdabot> Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
2024-08-04 11:14:14 +0200 <mauke> > let helper = show ?c in let ?c = 42 in helper
2024-08-04 11:14:15 +0200 <lambdabot> error:
2024-08-04 11:14:15 +0200 <lambdabot> • Couldn't match expected type ‘p’
2024-08-04 11:14:15 +0200 <lambdabot> with actual type ‘forall a. (Show a, ?c::a) => String’
2024-08-04 11:15:25 +0200 <mauke> > let helper = show ?c in let ?c = 42 in helper :: String
2024-08-04 11:15:26 +0200 <lambdabot> "42"
2024-08-04 11:18:16 +0200 <mauke> > let withOverride :: a -> ((?c :: a) => String) -> String; withOverride x f = let ?c = x in f; helper = show ?c in withOverride 42 helper
2024-08-04 11:18:18 +0200 <lambdabot> "42"
2024-08-04 11:18:50 +0200sawilagar(~sawilagar@user/sawilagar)
2024-08-04 11:19:12 +0200 <int-e> :t let helper = show ?c in let ?c = 42 in helper
2024-08-04 11:19:13 +0200 <lambdabot> error:
2024-08-04 11:19:13 +0200 <lambdabot> • Couldn't match expected type ‘p’
2024-08-04 11:19:13 +0200 <lambdabot> with actual type ‘forall a. (Show a, ?c::a) => String’
2024-08-04 11:19:28 +0200 <int-e> % :t let helper = show ?c in let ?c = 42 in helper
2024-08-04 11:19:28 +0200 <yahb2> <interactive>:1:29: error: parse error on input ‘?’
2024-08-04 11:19:41 +0200 <int-e> % :set -XImplicitParams
2024-08-04 11:19:41 +0200 <yahb2> <no output>
2024-08-04 11:19:44 +0200 <int-e> % :t let helper = show ?c in let ?c = 42 in helper
2024-08-04 11:19:44 +0200 <yahb2> let helper = show ?c in let ?c = 42 in helper :: [Char]
2024-08-04 11:20:20 +0200nunggu(~q@user/nunggu)
2024-08-04 11:20:38 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-08-04 11:20:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-08-04 11:20:42 +0200 <int-e> not sure what the difference is here...
2024-08-04 11:21:01 +0200 <int-e> Why does yahb say [Char] instead of String?
2024-08-04 11:21:02 +0200califax(~califax@user/califx)
2024-08-04 11:21:21 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-08-04 11:31:55 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-08-04 11:44:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 11:51:10 +0200gmg(~user@user/gehmehgeh)
2024-08-04 11:58:54 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-04 12:08:05 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-08-04 12:08:21 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-08-04 12:29:30 +0200malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2024-08-04 12:37:45 +0200jamesonsteve(~anton@m90-131-37-252.cust.tele2.lt) (Quit: Lost terminal)
2024-08-04 12:38:41 +0200malte(~malte@mal.tc)
2024-08-04 12:39:23 +0200alexherbo2(~alexherbo@2a02-8440-3101-1cec-f599-701d-a92e-be42.rev.sfr.net)
2024-08-04 12:49:09 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de) (Ping timeout: 276 seconds)
2024-08-04 12:49:50 +0200malte(~malte@mal.tc) (Read error: Connection reset by peer)
2024-08-04 12:50:52 +0200 <Inst> hololeap: got an answer, you're not supposed to use conditionals with linear types!
2024-08-04 12:51:19 +0200 <Inst> but my interlocutor didn't see the same opportunity for interleaving SIMD and vectorization with linear types :(
2024-08-04 12:57:07 +0200kspalaiologos(~kspalaiol@user/kspalaiologos)
2024-08-04 13:00:57 +0200malte(~malte@mal.tc)
2024-08-04 13:00:59 +0200ss4(~wootehfoo@user/wootehfoot)
2024-08-04 13:03:18 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
2024-08-04 13:05:39 +0200kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2024-08-04 13:35:33 +0200ZharMeny(~user@user/ZharMeny)
2024-08-04 13:38:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 13:44:18 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de)
2024-08-04 13:49:07 +0200__monty__(~toonn@user/toonn)
2024-08-04 13:53:13 +0200 <Unhammer> Aha, the (?c :: a) in the type signature for the 'f' arg of withOverride was the missing piece, without that it doesn't get overridden.
2024-08-04 13:53:16 +0200 <Unhammer> thanks mauke
2024-08-04 13:53:48 +0200 <Inst> I did comment that linear types looks like an eDSL for vectorized instructions, but maybe I said something stupid again :(
2024-08-04 13:54:23 +0200 <Inst> apparently someone put in GHC primops for x86 SIMD, though
2024-08-04 14:03:03 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-08-04 14:03:20 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-08-04 14:13:45 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-04 14:19:24 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-08-04 14:20:19 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de)
2024-08-04 14:24:29 +0200CalimeroTeknik(~calimero@ctkarch.org) (Changing host)
2024-08-04 14:24:29 +0200CalimeroTeknik(~calimero@user/calimeroteknik)
2024-08-04 14:29:29 +0200tomku(~tomku@user/tomku)
2024-08-04 14:33:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 14:37:44 +0200newlight(~newlight@115.64.113.180)
2024-08-04 14:37:55 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 264 seconds)
2024-08-04 14:38:15 +0200TMA(tma@twin.jikos.cz)
2024-08-04 14:44:35 +0200 <probie> % :showi language
2024-08-04 14:44:36 +0200 <yahb2> base language is: GHC2021 ; with the following modifiers: ; -XExtendedDefaultRules ; -XImplicitParams ; -XNoMonomorphismRestriction
2024-08-04 14:46:12 +0200alexherbo2(~alexherbo@2a02-8440-3101-1cec-f599-701d-a92e-be42.rev.sfr.net) (Remote host closed the connection)
2024-08-04 14:46:53 +0200td_(~td@i5387091B.versanet.de) (Ping timeout: 252 seconds)
2024-08-04 14:47:47 +0200newlight(~newlight@115.64.113.180) (Quit: Leaving)
2024-08-04 14:48:23 +0200CiaoSen(~Jura@2a05:5800:2e8:6700:e6b9:7aff:fe80:3d03)
2024-08-04 14:48:52 +0200td_(~td@83.135.9.0)
2024-08-04 14:50:35 +0200AlexZenon(~alzenon@94.233.241.125) (Quit: ;-)
2024-08-04 14:51:10 +0200AlexNoo(~AlexNoo@94.233.241.125) (Quit: Leaving)
2024-08-04 14:54:33 +0200elevenkb(ab07dcdb5a@2a03:6000:1812:100::13ac) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-08-04 15:02:32 +0200td_(~td@83.135.9.0) (Ping timeout: 265 seconds)
2024-08-04 15:04:15 +0200td_(~td@i53870913.versanet.de)
2024-08-04 15:04:35 +0200AlexNoo(~AlexNoo@94.233.241.125)
2024-08-04 15:15:33 +0200td_(~td@i53870913.versanet.de) (Ping timeout: 248 seconds)
2024-08-04 15:17:35 +0200td_(~td@i5387092C.versanet.de)
2024-08-04 15:24:37 +0200AlexZenon(~alzenon@94.233.241.125)
2024-08-04 15:36:46 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-08-04 15:38:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-04 15:43:14 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-04 15:50:20 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 252 seconds)
2024-08-04 15:52:21 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-08-04 15:53:05 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-08-04 15:54:22 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-08-04 15:55:55 +0200 <hololeap> Inst: good to know
2024-08-04 15:57:15 +0200td_(~td@i53870906.versanet.de)
2024-08-04 16:01:09 +0200tomku(~tomku@user/tomku)
2024-08-04 16:02:39 +0200td_(~td@i53870906.versanet.de) (Ping timeout: 260 seconds)
2024-08-04 16:04:29 +0200td_(~td@i5387091C.versanet.de)
2024-08-04 16:06:52 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-04 16:07:10 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-04 16:08:52 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds)
2024-08-04 16:11:59 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds)
2024-08-04 16:14:41 +0200nunggu(~q@user/nunggu) (Ping timeout: 260 seconds)
2024-08-04 16:16:47 +0200nunggu(~q@user/nunggu)
2024-08-04 16:21:36 +0200Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-08-04 16:36:07 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-04 16:51:41 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-08-04 16:53:31 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-04 16:58:47 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-08-04 16:59:06 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de)
2024-08-04 17:15:23 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 245 seconds)
2024-08-04 17:19:26 +0200Midjak(~MarciZ@82.66.147.146)
2024-08-04 17:22:33 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-04 17:24:38 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-04 17:25:58 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-1807-b937-9aae-1432.rev.sfr.net)
2024-08-04 17:28:15 +0200tomboy64(~tomboy64@user/tomboy64)
2024-08-04 17:35:40 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds)
2024-08-04 17:45:26 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-08-04 17:46:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-04 17:54:12 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-04 17:55:12 +0200rvalue-(~rvalue@user/rvalue)
2024-08-04 17:56:24 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2024-08-04 17:57:07 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-08-04 17:57:59 +0200CiaoSen(~Jura@2a05:5800:2e8:6700:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds)
2024-08-04 17:59:03 +0200Igloo(~ian@matrix.chaos.earth.li)
2024-08-04 17:59:24 +0200rvalue-rvalue
2024-08-04 18:05:53 +0200Igloo(~ian@matrix.chaos.earth.li) (Remote host closed the connection)
2024-08-04 18:08:01 +0200Igloo(~ian@matrix.chaos.earth.li)
2024-08-04 18:10:03 +0200tabaqui(~root@87.200.123.114)
2024-08-04 18:18:41 +0200Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2024-08-04 18:21:06 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-08-04 18:23:14 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-08-04 18:24:27 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de)
2024-08-04 18:32:46 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-08-04 18:34:06 +0200skyesoss(~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net)
2024-08-04 18:35:05 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-08-04 18:36:10 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:734e:5ccb:59d2:1a67)
2024-08-04 18:41:31 +0200tabemann_(~tabemann@2600:1700:7990:24e0:c35:f6c5:f5d8:bf3)
2024-08-04 18:41:54 +0200natto17(~natto@129.154.243.159)
2024-08-04 18:42:28 +0200Katarushisu17(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2024-08-04 18:42:52 +0200incertia_(~incertia@209.122.137.252)
2024-08-04 18:43:10 +0200dumptruckman_(~dumptruck@69-164-210-35.ip.linodeusercontent.com)
2024-08-04 18:43:48 +0200Ranhir(~Ranhir@157.97.53.139)
2024-08-04 18:43:58 +0200Putonlalla1(~Putonlall@it-cyan.it.jyu.fi)
2024-08-04 18:44:16 +0200Digitteknohippie(~user@user/digit)
2024-08-04 18:44:28 +0200spenat_(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se)
2024-08-04 18:44:33 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 248 seconds)
2024-08-04 18:44:40 +0200Teacup_(~teacup@user/teacup)
2024-08-04 18:44:44 +0200abyxq_(~abyxq@p5b340392.dip0.t-ipconnect.de)
2024-08-04 18:45:07 +0200absence_(torgeihe@hildring.pvv.ntnu.no)
2024-08-04 18:45:08 +0200barthand1(barth@triton.blinkenshell.org)
2024-08-04 18:45:11 +0200Patternm1ster(~georg@vmi1645272.contaboserver.net)
2024-08-04 18:45:30 +0200lbseale_(~quassel@user/ep1ctetus)
2024-08-04 18:45:53 +0200guygastineau(~guygastin@137.184.131.156)
2024-08-04 18:47:47 +0200zlqrvx(~zlqrvx@user/zlqrvx) (*.net *.split)
2024-08-04 18:47:47 +0200abyxq(~abyxq@p5b340392.dip0.t-ipconnect.de) (*.net *.split)
2024-08-04 18:47:47 +0200andreas808(andreas303@is.drunk.and.ready-to.party) (*.net *.split)
2024-08-04 18:47:47 +0200myme(~myme@2a01:799:d5c:5f00:b876:d810:9446:b40b) (*.net *.split)
2024-08-04 18:47:47 +0200xff0x(~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516) (*.net *.split)
2024-08-04 18:47:47 +0200Digit(~user@user/digit) (*.net *.split)
2024-08-04 18:47:47 +0200samhh_(7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
2024-08-04 18:47:47 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
2024-08-04 18:47:47 +0200itaipu(~itaipu@168.121.98.135) (*.net *.split)
2024-08-04 18:47:47 +0200s4msung(u4jHfpaUni@user/s4msung) (*.net *.split)
2024-08-04 18:47:47 +0200pkal(~pkal@2a01:4f8:1c1b:a321::) (*.net *.split)
2024-08-04 18:47:47 +0200noctux(~noctux@user/noctux) (*.net *.split)
2024-08-04 18:47:47 +0200barthandelous01(barth@triton.blinkenshell.org) (*.net *.split)
2024-08-04 18:47:47 +0200lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2024-08-04 18:47:47 +0200ouroboros(~ouroboros@user/ouroboros) (*.net *.split)
2024-08-04 18:47:47 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split)
2024-08-04 18:47:47 +0200Katarushisu1(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split)
2024-08-04 18:47:47 +0200vulpine(xfnw@user/meow/xfnw) (*.net *.split)
2024-08-04 18:47:47 +0200hook54321(sid149355@user/hook54321) (*.net *.split)
2024-08-04 18:47:47 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (*.net *.split)
2024-08-04 18:47:47 +0200bionade24(~quassel@2a03:4000:33:45b::1) (*.net *.split)
2024-08-04 18:47:47 +0200_0xa(~user@user/0xa/x-3134607) (*.net *.split)
2024-08-04 18:47:47 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split)
2024-08-04 18:47:47 +0200incertia(~incertia@209.122.137.252) (*.net *.split)
2024-08-04 18:47:47 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2024-08-04 18:47:47 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2024-08-04 18:47:47 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split)
2024-08-04 18:47:47 +0200mrmonday(~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (*.net *.split)
2024-08-04 18:47:47 +0200SanchayanMaity(sid478177@2a03:5180:f:4::7:4be1) (*.net *.split)
2024-08-04 18:47:47 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2024-08-04 18:47:47 +0200meooow(~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split)
2024-08-04 18:47:47 +0200taktoa[c](sid282096@2a03:5180:f::4:4df0) (*.net *.split)
2024-08-04 18:47:47 +0200edm(sid147314@2a03:5180:f:4::2:3f72) (*.net *.split)
2024-08-04 18:47:47 +0200Kamuela(sid111576@2a03:5180:f::1:b3d8) (*.net *.split)
2024-08-04 18:47:47 +0200caasih(sid13241@2a03:5180:f:3::33b9) (*.net *.split)
2024-08-04 18:47:47 +0200natto(~natto@129.154.243.159) (*.net *.split)
2024-08-04 18:47:47 +0200JSharp(sid4580@user/JSharp) (*.net *.split)
2024-08-04 18:47:47 +0200absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2024-08-04 18:47:48 +0200andjjj23(~irc@107.170.228.47) (*.net *.split)
2024-08-04 18:47:48 +0200Flow(~none@gentoo/developer/flow) (*.net *.split)
2024-08-04 18:47:48 +0200sajith(~sajith@user/sajith) (*.net *.split)
2024-08-04 18:47:48 +0200RMSBach(~guygastin@137.184.131.156) (*.net *.split)
2024-08-04 18:47:48 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2024-08-04 18:47:48 +0200Patternmaster(~georg@user/Patternmaster) (*.net *.split)
2024-08-04 18:47:48 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
2024-08-04 18:47:51 +0200Katarushisu17Katarushisu1
2024-08-04 18:47:51 +0200dumptruckman_dumptruckman
2024-08-04 18:47:58 +0200incertia_incertia
2024-08-04 18:48:06 +0200samhh030AACUAK
2024-08-04 18:48:07 +0200zlqrvx(~zlqrvx@user/zlqrvx)
2024-08-04 18:48:07 +0200andreas808(andreas303@is.drunk.and.ready-to.party)
2024-08-04 18:48:07 +0200myme(~myme@2a01:799:d5c:5f00:b876:d810:9446:b40b)
2024-08-04 18:48:07 +0200xff0x(~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516)
2024-08-04 18:48:07 +0200samhh(7569f027cf@2a03:6000:1812:100::e4)
2024-08-04 18:48:07 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-08-04 18:48:07 +0200s4msung(u4jHfpaUni@user/s4msung)
2024-08-04 18:48:07 +0200pkal(~pkal@2a01:4f8:1c1b:a321::)
2024-08-04 18:48:07 +0200ouroboros(~ouroboros@user/ouroboros)
2024-08-04 18:48:07 +0200vulpine(xfnw@user/meow/xfnw)
2024-08-04 18:48:07 +0200hook54321(sid149355@user/hook54321)
2024-08-04 18:48:07 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg)
2024-08-04 18:48:07 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-08-04 18:48:07 +0200_0xa(~user@user/0xa/x-3134607)
2024-08-04 18:48:07 +0200mrmonday(~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15)
2024-08-04 18:48:07 +0200SanchayanMaity(sid478177@2a03:5180:f:4::7:4be1)
2024-08-04 18:48:07 +0200meooow(~meooow@2400:6180:100:d0::ad9:e001)
2024-08-04 18:48:07 +0200taktoa[c](sid282096@2a03:5180:f::4:4df0)
2024-08-04 18:48:07 +0200edm(sid147314@2a03:5180:f:4::2:3f72)
2024-08-04 18:48:07 +0200Kamuela(sid111576@2a03:5180:f::1:b3d8)
2024-08-04 18:48:07 +0200caasih(sid13241@2a03:5180:f:3::33b9)
2024-08-04 18:48:07 +0200JSharp(sid4580@user/JSharp)
2024-08-04 18:48:07 +0200Flow(~none@gentoo/developer/flow)
2024-08-04 18:48:07 +0200sajith(~sajith@user/sajith)
2024-08-04 18:48:07 +0200Philonous(~Philonous@user/philonous)
2024-08-04 18:48:22 +0200noctux(~noctux@user/noctux)
2024-08-04 18:48:32 +0200itaipu(~itaipu@168.121.98.135)
2024-08-04 18:48:34 +0200andreas808(andreas303@is.drunk.and.ready-to.party) (Max SendQ exceeded)
2024-08-04 18:48:51 +0200andreas303(andreas303@is.drunk.and.ready-to.party)
2024-08-04 18:49:02 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-08-04 18:52:07 +0200hook54321(sid149355@user/hook54321) (Ping timeout: 265 seconds)
2024-08-04 18:52:57 +0200abyxq_(~abyxq@p5b340392.dip0.t-ipconnect.de) (Quit: leaving)
2024-08-04 18:55:30 +0200hook54321(sid149355@user/hook54321)
2024-08-04 18:56:19 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se)
2024-08-04 18:56:19 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host)
2024-08-04 18:56:19 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2024-08-04 18:56:32 +0200Ekho-(~Ekho@user/ekho)
2024-08-04 18:57:05 +0200andjjj23(~irc@107.170.228.47)
2024-08-04 18:57:42 +0200TMA(tma@twin.jikos.cz)
2024-08-04 19:01:23 +0200rosco(~rosco@175.136.158.234) (Remote host closed the connection)
2024-08-04 19:02:03 +0200euleritian(~euleritia@dynamic-176-006-138-217.176.6.pool.telefonica.de) (Ping timeout: 245 seconds)
2024-08-04 19:02:10 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-08-04 19:02:41 +0200euleritian(~euleritia@dynamic-176-006-147-174.176.6.pool.telefonica.de)
2024-08-04 19:02:57 +0200euleritian(~euleritia@dynamic-176-006-147-174.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-04 19:03:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-04 19:04:10 +0200DigitteknohippieDigit
2024-08-04 19:10:29 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-08-04 19:12:44 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-08-04 19:21:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 19:27:28 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0)
2024-08-04 19:46:12 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-08-04 19:47:11 +0200falafel(~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 252 seconds)
2024-08-04 19:48:35 +0200EvanR(~EvanR@user/evanr)
2024-08-04 19:53:01 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-08-04 19:56:53 +0200ystael(~ystael@user/ystael)
2024-08-04 20:01:22 +0200Sgeo(~Sgeo@user/sgeo)
2024-08-04 20:02:58 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:734e:5ccb:59d2:1a67) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-08-04 20:04:12 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-08-04 20:07:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-08-04 20:08:28 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2024-08-04 20:14:23 +0200YaShhhh(~YaShhhh@202.43.120.232)
2024-08-04 20:18:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 20:19:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2024-08-04 20:19:10 +0200euleritian(~euleritia@dynamic-176-006-147-174.176.6.pool.telefonica.de)
2024-08-04 20:23:47 +0200euleritian(~euleritia@dynamic-176-006-147-174.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-08-04 20:24:05 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-08-04 20:26:51 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-08-04 20:27:58 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-1807-b937-9aae-1432.rev.sfr.net) (Remote host closed the connection)
2024-08-04 20:29:04 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-95f5-941e-56ad-2cb1.rev.sfr.net)
2024-08-04 20:29:04 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2024-08-04 20:32:42 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-95f5-941e-56ad-2cb1.rev.sfr.net) (Remote host closed the connection)
2024-08-04 20:39:45 +0200Achylles(~Achylles@45.182.57.82)
2024-08-04 20:43:07 +0200YaShhhh(~YaShhhh@202.43.120.232) (Quit: Client closed)
2024-08-04 20:46:51 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-04 20:48:58 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-08-04 20:49:19 +0200alexherbo2(~alexherbo@199.39.22.93.rev.sfr.net)
2024-08-04 20:50:45 +0200sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2024-08-04 20:51:26 +0200alexherbo2(~alexherbo@199.39.22.93.rev.sfr.net) (Remote host closed the connection)
2024-08-04 20:51:42 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-c9ca-933e-f7b8-da32.rev.sfr.net)
2024-08-04 20:53:43 +0200sawilagar(~sawilagar@user/sawilagar)
2024-08-04 20:58:57 +0200terrorjack(~terrorjac@static.163.82.63.178.clients.your-server.de)
2024-08-04 21:02:19 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-c9ca-933e-f7b8-da32.rev.sfr.net) (Remote host closed the connection)
2024-08-04 21:03:08 +0200alexherbo2(~alexherbo@199.39.22.93.rev.sfr.net)
2024-08-04 21:08:32 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 255 seconds)
2024-08-04 21:13:06 +0200sawilagar(~sawilagar@user/sawilagar) (Read error: Connection reset by peer)
2024-08-04 21:13:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 21:13:34 +0200sawilagar(~sawilagar@user/sawilagar)
2024-08-04 21:16:27 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-08-04 21:17:06 +0200sawilagar(~sawilagar@user/sawilagar)
2024-08-04 21:18:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-04 21:20:47 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-08-04 21:22:08 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-04 21:41:07 +0200ystael(~ystael@user/ystael)
2024-08-04 21:43:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-08-04 21:52:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: pillow time)
2024-08-04 21:52:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-04 22:26:07 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-08-04 22:32:52 +0200alexherbo2(~alexherbo@199.39.22.93.rev.sfr.net) (Remote host closed the connection)
2024-08-04 22:34:13 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-5909-00c8-7e02-dfe5.rev.sfr.net)
2024-08-04 22:34:27 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:40f:34b2:83e3:2019)
2024-08-04 22:37:50 +0200alexherbo2(~alexherbo@2a02-8440-3414-99ee-5909-00c8-7e02-dfe5.rev.sfr.net) (Remote host closed the connection)
2024-08-04 22:46:44 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2024-08-04 23:02:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-04 23:03:43 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2024-08-04 23:03:57 +0200tomku(~tomku@user/tomku)
2024-08-04 23:16:17 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2024-08-04 23:21:31 +0200um(k2jyp15ed5@jail.mp2.macomnet.net)
2024-08-04 23:25:13 +0200pavonia(~user@user/siracusa)
2024-08-04 23:27:16 +0200Achylles(~Achylles@45.182.57.82) (Quit: Leaving)
2024-08-04 23:28:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-08-04 23:28:44 +0200um(k2jyp15ed5@jail.mp2.macomnet.net) ()
2024-08-04 23:37:08 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-08-04 23:38:11 +0200nnm-(nnm-@play.hard.go.pro.and.dont.be.a.noob.cx)
2024-08-04 23:44:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-04 23:47:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-08-04 23:57:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)