| 2024-08-23 00:02:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 00:07:29 +0000 | <monochrom> | should also holds for proving convergence :) |
| 2024-08-23 00:09:12 +0000 | <monochrom> | More orthogonally, it is because Haskell is non-strict and so the domains of many types are very non-flat. |
| 2024-08-23 00:13:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:18:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-23 00:18:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 00:22:53 +0000 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 245 seconds) |
| 2024-08-23 00:23:06 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 00:26:18 +0000 | neuroevolutus | (~neuroevol@37.19.200.161) |
| 2024-08-23 00:26:55 +0000 | Square | (~Square@user/square) |
| 2024-08-23 00:27:42 +0000 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-23 00:27:48 +0000 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-23 00:29:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:34:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 00:35:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-23 00:36:47 +0000 | califax | (~califax@user/califx) |
| 2024-08-23 00:38:25 +0000 | neuroevolutus | (~neuroevol@37.19.200.161) (Ping timeout: 256 seconds) |
| 2024-08-23 00:38:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-23 00:44:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 00:44:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:49:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 01:00:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:04:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 01:15:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:19:00 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-08-23 01:20:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 01:28:14 +0000 | st_aldini | (~Thunderbi@2605:a601:a07c:a000:3236:4a12:708b:5d23) (Read error: Connection reset by peer) |
| 2024-08-23 01:29:14 +0000 | st_aldini | (~Thunderbi@136.48.22.91) |
| 2024-08-23 01:30:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:35:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 01:39:00 +0000 | d3adb5 | (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) |
| 2024-08-23 01:44:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2024-08-23 01:44:42 +0000 | bilegeek | (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) |
| 2024-08-23 01:46:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:49:32 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-23 01:50:43 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 01:50:43 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 01:50:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 01:50:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 01:55:09 +0000 | ZharMeny` | (~user@user/ZharMeny) (Quit: ") |
| 2024-08-23 02:01:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:06:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 02:11:09 +0000 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 2024-08-23 02:13:11 +0000 | td_ | (~td@i5387091B.versanet.de) |
| 2024-08-23 02:17:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:21:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 02:27:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Ping timeout: 276 seconds) |
| 2024-08-23 02:32:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:36:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-23 02:37:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 02:40:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) |
| 2024-08-23 02:48:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:52:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 02:57:22 +0000 | <haskellbridge> | <thirdofmay18081814goya> is there a small lazy functional language with semantics fully specified in some proof assistant/interactive theorem prover? |
| 2024-08-23 03:03:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:08:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 03:18:20 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-08-23 03:18:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-23 03:18:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:20:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-23 03:24:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 03:24:57 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-08-23 03:34:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:40:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 03:44:56 +0000 | aforemny | (~aforemny@2001:9e8:6cdc:4000:9adf:291d:87b7:5643) |
| 2024-08-23 03:45:57 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfb:6100:1f03:1efe:ee71:8e27) (Ping timeout: 248 seconds) |
| 2024-08-23 03:51:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:54:21 +0000 | son0p | (~ff@2800:e2:f80:ee7::a) (Ping timeout: 252 seconds) |
| 2024-08-23 03:56:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 04:04:08 +0000 | laravelnewbie | (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) |
| 2024-08-23 04:06:00 +0000 | laravelnewbie | (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) (Client Quit) |
| 2024-08-23 04:06:59 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 04:07:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:11:32 +0000 | bilegeek | (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) (Quit: Leaving) |
| 2024-08-23 04:11:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 04:11:40 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-23 04:11:55 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-23 04:21:17 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-23 04:21:45 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-08-23 04:22:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:26:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 04:37:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:42:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 04:53:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:53:47 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-08-23 04:57:54 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2024-08-23 04:58:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 05:08:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:09:17 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-23 05:13:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 05:14:38 +0000 | Cale | (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) (Remote host closed the connection) |
| 2024-08-23 05:14:57 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-23 05:15:06 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-23 05:15:12 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-23 05:20:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-08-23 05:24:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:24:31 +0000 | d3adb5 | (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) (Quit: WeeChat 4.4.1) |
| 2024-08-23 05:29:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-23 05:30:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-23 05:35:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 05:37:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:38:56 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-23 05:41:40 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 05:41:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 05:43:57 +0000 | neuroevolutus | (~neuroevol@206.217.206.115) |
| 2024-08-23 05:49:03 +0000 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya if you can't find any, combinatory logic (paired with any kind of bracket abstraction) can be given lazy semantics without much trouble |
| 2024-08-23 05:50:26 +0000 | <haskellbridge> | <Bowuigi> Oh also for proving/disproving divergence you can cheat in a limited number of cases using hylomorphisms and recursive coalgebras |
| 2024-08-23 05:52:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:54:15 +0000 | <haskellbridge> | <Bowuigi> Essentially, if you rewrite the function to check into "hylo alg coalg", alg requires all the subproblems to be solved and coalg generates infinite amounts of them, the function diverges |
| 2024-08-23 05:57:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 05:57:44 +0000 | <haskellbridge> | <Bowuigi> And if coalg happens to be a recursive coalgebra (for all algebras alg2, there exists an unique h such that "h = alg2 . fmap h . coalg") and alg is total, the function converges to a value (to know which one, just run it lol) |
| 2024-08-23 06:03:11 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-23 06:07:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:12:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 06:14:57 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-08-23 06:15:51 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2024-08-23 06:17:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-08-23 06:17:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 06:23:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:25:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-23 06:26:24 +0000 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-23 06:27:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 06:28:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:31:52 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-23 06:31:56 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 2024-08-23 06:42:01 +0000 | Square2 | (~Square4@user/square) |
| 2024-08-23 06:43:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 06:45:12 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-08-23 06:53:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:58:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 07:00:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Quit: xff0x) |
| 2024-08-23 07:03:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) |
| 2024-08-23 07:03:26 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 07:08:22 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb5769877611ebc3e7f6.dip0.t-ipconnect.de) |
| 2024-08-23 07:09:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:10:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) (Quit: xff0x) |
| 2024-08-23 07:14:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 07:17:13 +0000 | akegalj | (~akegalj@20-163.dsl.iskon.hr) |
| 2024-08-23 07:19:14 +0000 | vpan | (~vpan@212.117.1.172) |
| 2024-08-23 07:21:24 +0000 | <akegalj> | Hey. Cooworker asked me yesterday "Is `f . g $ a` always equal to `f $ g $ a`" and my intuition was yes via reasoning `(f . g) a = ((.) f g) a = (\x -> f (g x)) a = f (g a)` . Is this true? |
| 2024-08-23 07:21:56 +0000 | <akegalj> | Later he showed me a contraexample https://play.haskell.org/saved/wByKQ2fk |
| 2024-08-23 07:25:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:26:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) |
| 2024-08-23 07:26:51 +0000 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-08-23 07:29:38 +0000 | <haskellbridge> | <magic_rb> You got me, i thought theyre equivalent |
| 2024-08-23 07:30:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 07:31:46 +0000 | <lortabac> | GHC has a special rule for ($) to make it work with rank-n types |
| 2024-08-23 07:32:13 +0000 | <lortabac> | but not for (.) |
| 2024-08-23 07:32:41 +0000 | neuroevolutus | (~neuroevol@206.217.206.115) (Quit: Client closed) |
| 2024-08-23 07:32:55 +0000 | <c_wraith> | "works" if you turn on -XImpredicativeTypes with a sufficiently new GHC |
| 2024-08-23 07:33:03 +0000 | <c_wraith> | but the monad instance has a type error anyway |
| 2024-08-23 07:39:06 +0000 | <haskellbridge> | <magic_rb> So if i were to reimplement $ myself as $$$ it would break too? |
| 2024-08-23 07:41:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:41:25 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-08-23 07:41:46 +0000 | <lortabac> | yes you would get the same error |
| 2024-08-23 07:42:15 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-08-23 07:47:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 07:55:32 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-23 07:57:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:01:38 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 08:04:20 +0000 | <akegalj> | lortabac: is this rule defined in ghc or in stdlib? |
| 2024-08-23 08:04:43 +0000 | <lortabac> | it's in the compiler |
| 2024-08-23 08:04:50 +0000 | <akegalj> | ty |
| 2024-08-23 08:04:59 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) (Ping timeout: 260 seconds) |
| 2024-08-23 08:05:09 +0000 | ubert | (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-08-23 08:05:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 08:13:05 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 248 seconds) |
| 2024-08-23 08:13:40 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 08:14:14 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-08-23 08:15:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:17:27 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-23 08:18:48 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-23 08:19:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 08:20:14 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-23 08:21:25 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-23 08:24:11 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Ping timeout: 265 seconds) |
| 2024-08-23 08:28:59 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 08:29:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-23 08:30:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:33:41 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 08:35:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 08:38:03 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) |
| 2024-08-23 08:52:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:53:38 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-23 08:55:03 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 2024-08-23 08:55:04 +0000 | youthlic1 | youthlic |
| 2024-08-23 08:55:35 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 08:56:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 09:06:48 +0000 | <dminuoso> | akegalj: Its a rather silly hack to make something like `runST $ ...` possible. |
| 2024-08-23 09:07:05 +0000 | <dminuoso> | From old days before the new ImpredicativeTypes. |
| 2024-08-23 09:07:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:07:40 +0000 | <dminuoso> | (or not just "something like", but exactly that) |
| 2024-08-23 09:07:51 +0000 | <ncf> | that's not a counterexample. if both terms are not well-typed it doesn't make sense to ask whether they're equal |
| 2024-08-23 09:08:16 +0000 | <ncf> | (well-typed with the same type, i should add) |
| 2024-08-23 09:08:38 +0000 | <dminuoso> | ncf: I think it does make sense to ask the question. If one is well-typed and the other is not, then the question of equality is justified. |
| 2024-08-23 09:08:53 +0000 | <mauke> | don't need ImpredicativeTypes if you have BlockArguments |
| 2024-08-23 09:09:12 +0000 | <dminuoso> | Won't convince me to turn that extension on any time soon |
| 2024-08-23 09:09:20 +0000 | <dminuoso> | I want to keep my money. |
| 2024-08-23 09:11:03 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-23 09:11:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 09:12:17 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 2024-08-23 09:12:18 +0000 | youthlic1 | youthlic |
| 2024-08-23 09:16:13 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-23 09:18:55 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-23 09:22:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:25:14 +0000 | <danse-nr3> | err... technically just your currency |
| 2024-08-23 09:26:19 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-08-23 09:26:42 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-08-23 09:28:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 09:28:19 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-08-23 09:37:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:39:33 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 09:40:34 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) |
| 2024-08-23 09:42:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 09:44:11 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 09:48:03 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-23 09:48:44 +0000 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-08-23 09:51:29 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-23 09:52:19 +0000 | <jackdk> | Is there an extension which allows multiple BlockArguments to a function? We could call it BlockChainArguments |
| 2024-08-23 09:52:20 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 09:52:42 +0000 | <jackdk> | actually, ... maybe there are enough of those on the internet already |
| 2024-08-23 09:53:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:53:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 09:55:51 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-23 09:56:07 +0000 | <int-e> | why do you need another extension for that? |
| 2024-08-23 09:56:41 +0000 | <int-e> | https://paste.tomsmeding.com/289cQIzD |
| 2024-08-23 09:57:03 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-23 09:57:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 09:57:48 +0000 | <jackdk> | Mostly I'm just here to make the Haskell Ă— Blockchain joke |
| 2024-08-23 10:02:47 +0000 | <dminuoso> | Oh that's what brought you to libera? |
| 2024-08-23 10:04:26 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-23 10:04:59 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 10:08:36 +0000 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-23 10:08:41 +0000 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-23 10:08:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:13:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 10:14:14 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-23 10:24:32 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-08-23 10:25:22 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-08-23 10:29:12 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-08-23 10:30:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:35:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 10:49:04 +0000 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-23 10:49:44 +0000 | nek0 | (~nek0@user/nek0) |
| 2024-08-23 10:51:23 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-08-23 10:54:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:54:41 +0000 | MattByName | (~Matthew@user/MattByName) |
| 2024-08-23 10:57:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-23 10:57:43 +0000 | vishalpaudel | (~vishalpau@user/vishalpaudel) |
| 2024-08-23 10:57:46 +0000 | <vishalpaudel> | hello |
| 2024-08-23 10:58:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 11:03:57 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 11:06:39 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 246 seconds) |
| 2024-08-23 11:09:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:14:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 11:25:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:29:09 +0000 | <jackdk> | dminuoso: not really, I've been hanging since the last couple of years of freenode |
| 2024-08-23 11:29:32 +0000 | <jackdk> | But the joke spoke to me for some reason |
| 2024-08-23 11:29:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 11:36:06 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 11:39:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:44:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 11:46:21 +0000 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: thanks a lot for the comments! |
| 2024-08-23 11:46:39 +0000 | vishalpaudel | (~vishalpau@user/vishalpaudel) (Quit: Client closed) |
| 2024-08-23 11:47:20 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-23 11:48:46 +0000 | img | (~img@user/img) |
| 2024-08-23 11:51:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) |
| 2024-08-23 11:54:36 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-08-23 11:55:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:58:10 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-08-23 11:58:36 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-08-23 11:58:50 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-08-23 11:59:57 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-08-23 12:00:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 12:05:51 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-23 12:10:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:12:02 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 2024-08-23 12:15:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 12:20:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 12:26:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:26:34 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-23 12:30:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 12:33:11 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) () |
| 2024-08-23 12:34:46 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-08-23 12:35:45 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Client Quit) |
| 2024-08-23 12:36:31 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-23 12:40:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:44:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 12:45:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 12:48:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-08-23 12:54:39 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-23 12:55:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 12:56:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:01:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-23 13:03:51 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 13:05:03 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 13:07:58 +0000 | <lxsameer> | is it possible to disable dwarf on a project without recompiling ghc? |
| 2024-08-23 13:09:17 +0000 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-08-23 13:11:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:12:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 13:16:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 13:27:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:29:41 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 2024-08-23 13:31:32 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) |
| 2024-08-23 13:31:37 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-23 13:31:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-08-23 13:32:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-23 13:32:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 13:32:22 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-23 13:34:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) (Ping timeout: 246 seconds) |
| 2024-08-23 13:37:57 +0000 | son0p | (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) |
| 2024-08-23 13:41:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:46:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 13:52:31 +0000 | dans21526 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 13:52:49 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-08-23 13:54:33 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds) |
| 2024-08-23 13:55:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 13:57:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:01:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 14:01:51 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-08-23 14:02:22 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-23 14:12:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:17:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 14:20:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:22:45 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 14:22:45 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 14:22:45 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 14:24:52 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-23 14:25:40 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 14:25:40 +0000 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 14:25:40 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 14:26:52 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-23 14:29:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 14:40:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:46:01 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-23 14:47:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 14:56:01 +0000 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.3.2) |
| 2024-08-23 14:58:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:58:24 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2024-08-23 14:58:51 +0000 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-08-23 15:02:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 15:04:18 +0000 | dans21526 | (~danse-nr3@user/danse-nr3) (Ping timeout: 246 seconds) |
| 2024-08-23 15:06:28 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 15:08:57 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-23 15:13:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:17:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 15:26:33 +0000 | ZharMeny` | ZharMeny |
| 2024-08-23 15:28:03 +0000 | <Leary> | akegalj: It is indeed true. That doesn't imply, however, that if one term is well-typed then so is the other---that's a different question entirely. |
| 2024-08-23 15:29:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:33:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 15:37:08 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 15:40:33 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-23 15:41:14 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-23 15:44:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:46:51 +0000 | visilii | (~visilii@46.61.242.155) (Ping timeout: 252 seconds) |
| 2024-08-23 15:48:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 15:49:31 +0000 | visilii | (~visilii@46.61.242.155) |
| 2024-08-23 15:54:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-23 15:59:11 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-08-23 15:59:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:03:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 16:08:07 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-23 16:09:58 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-08-23 16:14:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:19:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 16:30:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:33:25 +0000 | akegalj | (~akegalj@20-163.dsl.iskon.hr) (Quit: leaving) |
| 2024-08-23 16:34:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 16:38:29 +0000 | orayn | (~orayn@user/orayn) |
| 2024-08-23 16:40:33 +0000 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 246 seconds) |
| 2024-08-23 16:44:27 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-23 16:45:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:50:14 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 16:50:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 16:51:48 +0000 | orayn | (~orayn@user/orayn) (Quit: Client closed) |
| 2024-08-23 17:00:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:02:35 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 17:02:44 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 2024-08-23 17:04:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 17:08:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 17:11:45 +0000 | son0p | (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) (Ping timeout: 248 seconds) |
| 2024-08-23 17:15:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:18:04 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-23 17:20:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-23 17:20:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 17:31:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:33:36 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-08-23 17:36:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 17:39:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-23 17:39:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 17:43:58 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) |
| 2024-08-23 17:46:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:50:06 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 17:50:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 17:52:32 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-23 17:52:49 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 17:57:33 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-08-23 17:57:33 +0000 | ChanServ | +v haskellbridge |
| 2024-08-23 17:59:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-23 18:00:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-23 18:01:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:01:50 +0000 | lxsameer | (lxsameer@Serene/lxsameer) |
| 2024-08-23 18:06:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 18:07:18 +0000 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2024-08-23 18:16:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:21:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 18:30:12 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-23 18:32:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:37:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 18:44:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 18:47:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:48:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-23 18:51:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 19:02:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:06:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 19:17:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:22:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 19:32:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 19:33:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:33:34 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 19:34:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-23 19:35:08 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 19:37:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 19:47:51 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:b08e:d5b0:bdeb:c7fe) (Remote host closed the connection) |
| 2024-08-23 19:48:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:48:15 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:87b2:9ddc:bdac:f1c8) |
| 2024-08-23 19:52:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 19:57:36 +0000 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 19:59:51 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2024-08-23 19:59:59 +0000 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-23 20:00:12 +0000 | <energizer> | does haskell have a library for making fancy tables like https://gt.rstudio.com/ |
| 2024-08-23 20:00:53 +0000 | lxsameer | (lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-23 20:01:16 +0000 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-23 20:03:09 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-23 20:03:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:07:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 20:12:44 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-23 20:13:35 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-08-23 20:17:50 +0000 | pavonia | (~user@user/siracusa) |
| 2024-08-23 20:18:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:23:20 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-23 20:23:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 20:23:30 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-23 20:26:35 +0000 | <haskellbridge> | <sm> I wish, that looks great |
| 2024-08-23 20:26:49 +0000 | <haskellbridge> | <sm> But check out tabular |
| 2024-08-23 20:29:10 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-23 20:32:02 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-08-23 20:32:37 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-23 20:33:22 +0000 | Guest53 | (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) |
| 2024-08-23 20:34:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:38:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 20:44:29 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2024-08-23 20:45:59 +0000 | Guest53 | (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-08-23 20:49:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:54:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 21:01:16 +0000 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-23 21:01:37 +0000 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-23 21:05:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:07:15 +0000 | <EvanR> | I can hear 10,000 web programmers screaming out at you energizer |
| 2024-08-23 21:07:24 +0000 | <EvanR> | "just use CSS" |
| 2024-08-23 21:08:35 +0000 | <energizer> | i feel like <table> is the way to make a table on the web, but i'm no expert |
| 2024-08-23 21:09:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 21:11:05 +0000 | <energizer> | but anyway the the library is backend-independent. you take the data structure and can render the table in html or latex or whatever |
| 2024-08-23 21:11:12 +0000 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) |
| 2024-08-23 21:12:14 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) |
| 2024-08-23 21:17:53 +0000 | bilegeek | (~bilegeek@2600:1008:b001:5ba2:7995:67a5:d5c1:d120) |
| 2024-08-23 21:20:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:20:58 +0000 | <EvanR> | making tables with <table> is so 1996 |
| 2024-08-23 21:25:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 21:28:43 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-08-23 21:30:31 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 21:36:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:38:10 +0000 | <RussetParrotBear> | All the cool kids these days make their tables with circular SVGs and an infinite series of lines... |
| 2024-08-23 21:38:28 +0000 | <RussetParrotBear> | Embedding tables gets difficult, I hear. |
| 2024-08-23 21:39:52 +0000 | orayn | (~orayn@user/orayn) |
| 2024-08-23 21:41:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 21:42:00 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-23 21:51:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:52:49 +0000 | son0p | (~ff@186.121.35.155) |
| 2024-08-23 21:53:24 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 21:54:26 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-23 21:54:34 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) |
| 2024-08-23 21:56:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 21:58:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 22:00:13 +0000 | orayn | (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 2024-08-23 22:00:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 22:04:10 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:bfcc:30bd:73be:b26e) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-08-23 22:04:30 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:50df:47c3:7ee2:39e8) |
| 2024-08-23 22:06:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:07:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-23 22:11:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 22:18:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-23 22:22:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:25:02 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-23 22:27:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 22:32:18 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 272 seconds) |
| 2024-08-23 22:33:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:35:16 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-23 22:38:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 22:39:52 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 2024-08-23 22:48:57 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-23 23:02:10 +0000 | sam113102 | (~sam@24.157.253.231) |
| 2024-08-23 23:03:10 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-08-23 23:03:11 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) |
| 2024-08-23 23:03:11 +0000 | ThePenguin7 | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-23 23:03:12 +0000 | fr33domlover9 | (~fr33domlo@towards.vision) |
| 2024-08-23 23:03:14 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2024-08-23 23:03:22 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) |
| 2024-08-23 23:03:56 +0000 | dumptruckman_ | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 2024-08-23 23:04:14 +0000 | RMSBach | (~guygastin@137.184.131.156) |
| 2024-08-23 23:04:15 +0000 | lockywolf_ | (~lockywolf@public.lockywolf.net) |
| 2024-08-23 23:04:16 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2024-08-23 23:04:20 +0000 | tomsmeding_ | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2024-08-23 23:04:37 +0000 | natto | (~natto@129.154.243.159) |
| 2024-08-23 23:04:47 +0000 | igemnace_ | (~igemnace@user/igemnace) |
| 2024-08-23 23:04:51 +0000 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-08-23 23:04:51 +0000 | fr33domlover | (~fr33domlo@towards.vision) (Quit: Ping timeout (120 seconds)) |
| 2024-08-23 23:04:51 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 2024-08-23 23:04:51 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2024-08-23 23:04:51 +0000 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 2024-08-23 23:04:51 +0000 | mrmr15533434631 | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2024-08-23 23:04:51 +0000 | shailangsa | (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) (Read error: Connection reset by peer) |
| 2024-08-23 23:04:51 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2024-08-23 23:04:51 +0000 | natto17 | (~natto@129.154.243.159) (Quit: a.) |
| 2024-08-23 23:04:51 +0000 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Remote host closed the connection) |
| 2024-08-23 23:04:51 +0000 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2024-08-23 23:04:51 +0000 | guygastineau | (~guygastin@137.184.131.156) (Quit: ZNC - https://znc.in) |
| 2024-08-23 23:04:51 +0000 | Ram-Z_ | (~Ram-Z@li1814-254.members.linode.com) (Remote host closed the connection) |
| 2024-08-23 23:04:51 +0000 | Vajb | (~Vajb@85-76-15-1-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2024-08-23 23:04:51 +0000 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-23 23:04:51 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-08-23 23:04:51 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-08-23 23:04:51 +0000 | wagle | (~wagle@quassel.wagle.io) (Quit: No Ping reply in 180 seconds.) |
| 2024-08-23 23:04:51 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-08-23 23:04:51 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-08-23 23:04:52 +0000 | fr33domlover9 | fr33domlover |
| 2024-08-23 23:04:52 +0000 | dumptruckman_ | dumptruckman |
| 2024-08-23 23:04:52 +0000 | ThePenguin7 | ThePenguin |
| 2024-08-23 23:04:53 +0000 | sam113102 | sam113101 |
| 2024-08-23 23:04:53 +0000 | Goodbye_Vincent1 | Goodbye_Vincent |
| 2024-08-23 23:04:53 +0000 | mrmr155334346318 | mrmr15533434631 |
| 2024-08-23 23:05:07 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-08-23 23:05:09 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Read error: Connection reset by peer) |
| 2024-08-23 23:05:30 +0000 | hueso | (~root@user/hueso) |
| 2024-08-23 23:05:33 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2024-08-23 23:05:40 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-08-23 23:05:45 +0000 | remmie | (ianremsen@tilde.team) |
| 2024-08-23 23:05:46 +0000 | ethantwardy | (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 2024-08-23 23:06:47 +0000 | ethantwardy | (user@user/ethantwardy) |
| 2024-08-23 23:06:51 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-23 23:09:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:13:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 23:16:00 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 272 seconds) |
| 2024-08-23 23:24:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:28:56 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-08-23 23:29:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 23:30:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 23:37:03 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb5769877611ebc3e7f6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-23 23:40:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:40:11 +0000 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Quit: CiaoSen) |
| 2024-08-23 23:44:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 23:47:16 +0000 | shailangsa_ | (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) |
| 2024-08-23 23:49:41 +0000 | son0p | (~ff@186.121.35.155) (Ping timeout: 244 seconds) |
| 2024-08-23 23:50:33 +0000 | <haskellbridge> | <thirdofmay18081814goya> + |
| 2024-08-23 23:50:50 +0000 | <haskellbridge> | <thirdofmay18081814goya> whoops not on nvim |
| 2024-08-23 23:55:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |