2025-04-07 00:00:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-04-07 00:00:46 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-07 00:03:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 00:04:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-07 00:07:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-04-07 00:07:24 +0200 | ljdarj1 | ljdarj |
2025-04-07 00:11:02 +0200 | <hellwolf> | here you go: https://github.com/hellwolf/haskell-examples/blob/master/2025-04-07-nfa-unboxed-linearity/nfa-perf… will share to discourse tomorrow with a few more details. feedback welcome. |
2025-04-07 00:13:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 00:16:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-04-07 00:18:20 +0200 | Guest90 | (~Guest90@76.78.179.109) (Quit: Client closed) |
2025-04-07 00:19:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-07 00:29:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 00:39:01 +0200 | <|cos|> | koala_man: understandable! i wasn't really expecting it to be possible. the wine-idea is a creative approach! |
2025-04-07 00:39:07 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
2025-04-07 00:45:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2025-04-07 00:52:52 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 00:57:29 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
2025-04-07 00:58:30 +0200 | <|cos|> | koala_man: unless there are other ways to run wine on haiku than winebox, i guess that's a non-starter. it sure looks like a cool project, but it appears to be fully graphical with no concept of a console. it would be tricky to connect shellcheck to vim through such a component. |
2025-04-07 01:00:07 +0200 | <EvanR> | what appears to be fully graphical wit hno concept of a console? winebox? spellcheck? |
2025-04-07 01:02:28 +0200 | jespada | (~jespada@r179-25-205-222.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
2025-04-07 01:03:13 +0200 | <|cos|> | i see nothing in the documentation of winebox to connect a console |
2025-04-07 01:05:34 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-07 01:06:19 +0200 | jespada | (~jespada@r179-25-210-114.dialup.adsl.anteldata.net.uy) jespada |
2025-04-07 01:11:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-07 01:13:20 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-07 01:15:08 +0200 | <geekosaur> | windows doesn't have the concept of connecting an external console, so I wouldn't expect one |
2025-04-07 01:16:36 +0200 | <geekosaur> | the closest you get is RDP, which would be running as a service inside of winebox (and would only be available if you were running actual windows inside of it, which is possible with linux wine but I have no idea about winebox) |
2025-04-07 01:18:09 +0200 | <EvanR> | wine ought to be able to run a console only windows program |
2025-04-07 01:18:20 +0200 | <EvanR> | dunno about winebox |
2025-04-07 01:19:45 +0200 | <geekosaur> | well, wine doesn't come with a console, but you can install windows inside of it and use cmd.exe and probably powershell |
2025-04-07 01:20:07 +0200 | <geekosaur> | or install msys2 and use mintty |
2025-04-07 01:22:41 +0200 | <geekosaur> | but "winebox" suggests to me it's more complex than that (wine on most platforms translates win32 calls to native ones, but this sounds like it runs them in a separate environment of some kind) |
2025-04-07 01:22:59 +0200 | <geekosaur> | so a lot will depend on the nature of that environment |
2025-04-07 01:23:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
2025-04-07 01:25:08 +0200 | <EvanR> | what is this program "wineconsole" |
2025-04-07 01:29:57 +0200 | <monochrom> | Yikes, installing windows inside wine... That breaks my mind. :) |
2025-04-07 01:30:25 +0200 | <monochrom> | I need more wine to understand that. >:) |
2025-04-07 01:30:34 +0200 | <geekosaur> | it shouldn't. wine just emulates the win32 api, it provides none of the commands or services |
2025-04-07 01:30:49 +0200 | <geekosaur> | so for many things you need to install windows in it to get them |
2025-04-07 01:33:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 01:34:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 01:34:50 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 01:35:11 +0200 | <EvanR> | wouldn't a windows program that writes to stdout, suitably "translated", be outputting to your terminal as normal |
2025-04-07 01:36:13 +0200 | <EvanR> | I could try it using a random EXE from the internet but I might get hacked! |
2025-04-07 01:37:29 +0200 | <geekosaur> | oddly enough, that "suitably translated" turns out to be surprisingly hard under windows |
2025-04-07 01:38:37 +0200 | <geekosaur> | the runtime "manufactures" a cmd.exe and hooks it somehow to your program. I'm a bit weak on the details |
2025-04-07 01:39:13 +0200 | <geekosaur> | and when it does so it usually turns off gui calls for some reason |
2025-04-07 01:39:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-07 01:41:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-04-07 01:42:25 +0200 | sh1n | (~sh1n@2800:2134:583f:e223:7b49:e90d:6522:419d) (Remote host closed the connection) |
2025-04-07 01:43:35 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 01:44:29 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) hgolden |
2025-04-07 01:45:08 +0200 | remexre | (~remexre@user/remexre) remexre |
2025-04-07 01:47:09 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Ping timeout: 260 seconds) |
2025-04-07 01:48:31 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) |
2025-04-07 01:48:34 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-04-07 01:50:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 01:55:21 +0200 | msa | (msa@msa.planetofnix.com) (Quit: Still trying to figure out how bouncers work.) |
2025-04-07 01:57:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-07 02:01:06 +0200 | <EvanR> | sometimes the lack of "apply f n number of times" function comes up, since it's missing from the standard library. So I came across this thing in a paper |
2025-04-07 02:01:11 +0200 | <EvanR> | :t let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num |
2025-04-07 02:01:11 +0200 | <lambdabot> | (Eq t1, Num t1) => t1 -> (t2 -> t2) -> t2 -> t2 |
2025-04-07 02:01:40 +0200 | <EvanR> | which produces church numerals from a number |
2025-04-07 02:02:44 +0200 | jespada | (~jespada@r179-25-210-114.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-04-07 02:03:31 +0200 | <EvanR> | that the type is that simple was apparently an achievement (at some point in history) because church's own type system rendered the numerals all in different bigger and bigger types |
2025-04-07 02:06:44 +0200 | <EvanR> | I'm not sure if using this thing literally for "apply f n number of times" in haskell would be smart or dumb |
2025-04-07 02:17:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-07 02:17:50 +0200 | <EvanR> | > let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num 10.0 "" ("Ha"++) |
2025-04-07 02:17:51 +0200 | <lambdabot> | error: |
2025-04-07 02:17:51 +0200 | <lambdabot> | • Couldn't match expected type ‘([Char] -> [Char]) |
2025-04-07 02:17:51 +0200 | <lambdabot> | -> [Char] -> [Char]’ |
2025-04-07 02:18:17 +0200 | <EvanR> | > let num 0 = \f -> \x -> x; num n = \f -> \x -> f (num (n - 1) f x) in num 10.0 ("Ha"++) "" |
2025-04-07 02:18:19 +0200 | <lambdabot> | "HaHaHaHaHaHaHaHaHaHa" |
2025-04-07 02:18:48 +0200 | <EvanR> | that was lucky |
2025-04-07 02:19:20 +0200 | <haskellbridge> | <Bowuigi> Any way to call mkfifo without the FFI? Can't find it on hoogle |
2025-04-07 02:23:59 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1484a8b96e5b185115.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-07 02:25:09 +0200 | <haskellbridge> | <Bowuigi> Found it, it's "createNamedPipe" on System.Posix.Files on the unix package |
2025-04-07 02:34:31 +0200 | msa | (msa@msa.planetofnix.com) |
2025-04-07 02:36:26 +0200 | <monochrom> | EvanR: Would you accept "num n f x = appEndo (stimesMonoid n (Endo f)) x" ? |
2025-04-07 02:39:51 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-04-07 02:42:46 +0200 | <monochrom> | Oh! Now I see why they called it "num". What you said. :) |
2025-04-07 02:43:24 +0200 | <monochrom> | instance Num (Endo a) where bwhahahaha |
2025-04-07 02:43:54 +0200 | <monochrom> | Oooohhhh I can put that for a tutorial exercise! |
2025-04-07 02:53:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2d8c:c4f2:3458:8ce1) (Ping timeout: 246 seconds) |
2025-04-07 02:57:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-07 03:01:09 +0200 | otto_s | (~user@p5de2fb60.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-04-07 03:02:55 +0200 | otto_s | (~user@p5de2f09d.dip0.t-ipconnect.de) |
2025-04-07 03:04:09 +0200 | <EvanR> | yeah going through Endo is a bit verbose |
2025-04-07 03:05:26 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 252 seconds) |
2025-04-07 03:08:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 03:12:46 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) (Ping timeout: 272 seconds) |
2025-04-07 03:13:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 03:24:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 03:32:56 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-04-07 03:39:38 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-04-07 03:40:10 +0200 | <EvanR> | hindley 1969 contains two interpretations of applying types to combinators, the second of which "the alternative system" makes it easier to give a set theoretic interpretation to the combinators. Saying in the first system it's not so clear what the set theoretic meaning of applying K combinator to itself is |
2025-04-07 03:41:21 +0200 | <EvanR> | The Principal Type-Scheme of an Object in Combinatory Logic |
2025-04-07 03:42:24 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-04-07 03:54:34 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 252 seconds) |
2025-04-07 04:05:09 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-04-07 04:09:08 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
2025-04-07 04:13:39 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
2025-04-07 04:16:26 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-04-07 04:18:05 +0200 | igemnace | (~igemnace@user/igemnace) igemnace |
2025-04-07 04:18:38 +0200 | <haskellbridge> | <thirdofmay18081814goya> when people talk about phantom types, they're talking exactly about GADTs right? |
2025-04-07 04:19:34 +0200 | <monochrom> | Does "data Proxy a = Proxy" count as phantom type? Does it count as GADTs? |
2025-04-07 04:20:28 +0200 | <Leary> | monochrom: I think you want `Endo (Endo a)`, though that's still not polymorphic enough for some operations. |
2025-04-07 04:22:34 +0200 | <haskellbridge> | <dmjio> thirdofmay18081814goya: No |
2025-04-07 04:22:50 +0200 | <monochrom> | Oh! |
2025-04-07 04:24:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm ok right ty all for comments, and strictly speaking, a type being a phantom type is not a type-theoretical property but an implementation detail of how syntax gets typechecked, right? |
2025-04-07 04:24:44 +0200 | <haskellbridge> | <thirdofmay18081814goya> or how a type gets inferred for a piece of syntax |
2025-04-07 04:26:37 +0200 | <geekosaur> | no. a phantom type is one that doesn't occur in the value |
2025-04-07 04:26:47 +0200 | <geekosaur> | it only affects typing |
2025-04-07 04:27:52 +0200 | <geekosaur> | so in `data Maybe a = Nothing | Just a`, `a` is phantom in `Nothing` |
2025-04-07 04:28:15 +0200 | <haskellbridge> | <thirdofmay18081814goya> ok I see that makes sense, ty! |
2025-04-07 04:31:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 04:37:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:d5a9:8f67:3cb9:6399) hgolden |
2025-04-07 04:42:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 04:46:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-07 04:46:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-04-07 04:57:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-04-07 04:58:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 05:10:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2025-04-07 05:12:24 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
2025-04-07 05:43:16 +0200 | michalz | (~michalz@185.246.207.222) |
2025-04-07 05:46:58 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-04-07 05:48:02 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-04-07 06:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-07 06:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 06:14:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-07 06:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-07 06:27:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 06:32:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 06:42:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2025-04-07 06:43:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 06:43:41 +0200 | <Axman6> | thirdofmay18081814goya: newtype Tagged t a = Tagged a -- t is a phantom type, there are no values of type t in a value of type Tagged t a, but the types Tagged Bool Int and Tagged String Int are different (so you couldn't use Eq to check if the a values were the same, for example). |
2025-04-07 06:44:37 +0200 | <Axman6> | they allow you to add some extra type information for the compiler to check for you but it won't exist at runtime. |
2025-04-07 06:45:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-04-07 06:48:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-07 06:50:27 +0200 | adamCS | (~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-04-07 06:50:31 +0200 | Guest2 | (~Guest2@2406:b400:b4:1391:acdf:3bba:fba7:e00a) |
2025-04-07 06:50:53 +0200 | adamCS | (~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) adamCS |
2025-04-07 06:57:06 +0200 | Guest2 | (~Guest2@2406:b400:b4:1391:acdf:3bba:fba7:e00a) (Quit: Client closed) |
2025-04-07 07:10:24 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-07 07:12:04 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-04-07 07:30:23 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 245 seconds) |
2025-04-07 07:35:04 +0200 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
2025-04-07 07:43:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
2025-04-07 07:43:49 +0200 | jmcantrell_ | jmcantrell |
2025-04-07 07:47:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-07 07:53:28 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-04-07 07:59:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 08:01:05 +0200 | Guest2 | (~Guest2@49.204.7.12) |
2025-04-07 08:01:51 +0200 | Guest2 | (~Guest2@49.204.7.12) (Client Quit) |
2025-04-07 08:06:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-07 08:07:16 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2025-04-07 08:09:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-04-07 08:18:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 08:19:27 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 08:30:48 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-04-07 08:32:38 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-07 08:33:36 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 08:40:12 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2025-04-07 08:46:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-07 08:49:47 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-07 08:57:10 +0200 | |cos| | (~libera@loza.netizen.se) (WeeChat 4.4.2) |
2025-04-07 08:58:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-07 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-07 09:00:46 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1484a8b96e5b185115.dip0.t-ipconnect.de) |
2025-04-07 09:01:29 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-07 09:05:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c) |
2025-04-07 09:06:32 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 09:07:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-07 09:11:03 +0200 | vidisha | (~vidisha@117.222.95.178) |
2025-04-07 09:13:18 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-04-07 09:13:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-04-07 09:17:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-07 09:17:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2025-04-07 09:18:40 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-07 09:21:18 +0200 | adamCS | (~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) (Ping timeout: 268 seconds) |
2025-04-07 09:22:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-04-07 09:23:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-04-07 09:25:11 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 09:25:59 +0200 | vidisha | (~vidisha@117.222.95.178) (Quit: Client closed) |
2025-04-07 09:27:30 +0200 | rawles | (~rawles@user/rawles) (Quit: -) |
2025-04-07 09:29:42 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
2025-04-07 09:30:37 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-07 09:37:04 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-04-07 09:38:34 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-04-07 09:42:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-07 09:47:59 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-07 09:54:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-04-07 09:58:50 +0200 | XZDX | (~xzdx@user/XZDX) (Remote host closed the connection) |
2025-04-07 09:59:07 +0200 | <haskellbridge> | <thirdofmay18081814goya> ah helpful example, ty! |
2025-04-07 10:20:13 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
2025-04-07 10:20:18 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-04-07 10:20:35 +0200 | chele | (~chele@user/chele) chele |
2025-04-07 10:21:12 +0200 | comerijn | (~merijn@77.242.116.146) merijn |