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