Logs on 2024-10-23 (liberachat/#haskell)
| 00:05:48 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:07:03 | → | TonyStone31 joins (~TonyStone@user/TonyStone) |
| 00:07:32 | × | TonyStone31 quits (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 00:09:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:13:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 00:19:22 | → | hgolden_ joins (~hgolden@169.150.203.36) |
| 00:21:44 | × | hgolden__ quits (~hgolden@23.162.40.110) (Ping timeout: 255 seconds) |
| 00:22:42 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 00:24:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:29:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:34:26 | × | xff0x quits (~xff0x@2405:6580:b080:900:61f:49ca:1cad:ed6) (Ping timeout: 265 seconds) |
| 00:35:43 | × | airscape quits (~airscape@2.219.56.221) (Quit: Connection error?!) |
| 00:37:37 | → | remedan_ joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 00:37:50 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 00:40:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:45:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 00:47:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 00:55:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:57:43 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 01:00:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:00:22 | nitrix-or-treat | is now known as nitrix-or-treats |
| 01:09:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 01:10:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:17:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 01:19:11 | → | Square joins (~Square@user/square) |
| 01:22:09 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 01:24:21 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 01:26:12 | × | yin quits (~z@user/zero) (Ping timeout: 246 seconds) |
| 01:26:23 | → | zero joins (~z@user/zero) |
| 01:28:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:32:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:32:21 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:33:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:33:43 | → | anpad joins (~pandeyan@user/anpad) |
| 01:34:47 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 01:44:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:47:51 | × | comonad quits (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 01:48:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:59:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:04:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:08:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:11:27 | × | jove_ quits (~quassel@user/jove) (Ping timeout: 252 seconds) |
| 02:13:51 | → | dontdieych2 joins (~a@user/dontdieych2) |
| 02:14:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:16:20 | <dontdieych2> | Looking for something like ghci prompt theme. Prefer colorful and informative one. https://github.com/IlanCosman/tide/blob/assets/images/flexible.png |
| 02:16:28 | <dontdieych2> | Thanks for any sharing |
| 02:19:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 02:19:44 | <Axman6> | Have you looked at https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#ghci-cmd-:set%20prompt? |
| 02:23:12 | × | identity quits (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 02:29:08 | <Axman6> | Looks like :set prompt-function is particularly useful |
| 02:29:26 | <geekosaur> | I think they're looking for themes others have come up with, as opposed to how to write one from scratch? |
| 02:30:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:32:12 | → | jove joins (~quassel@user/jove) |
| 02:32:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 02:33:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:35:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:40:52 | × | td_ quits (~td@i53870910.versanet.de) (Ping timeout: 252 seconds) |
| 02:42:41 | → | td_ joins (~td@i53870909.versanet.de) |
| 02:45:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:52:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:02:46 | → | rosco joins (~rosco@60.53.7.10) |
| 03:03:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:08:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:15:17 | <Axman6> | I assume so too, but I've never seen anyone do anything more fancy than changing the prompt to a lambda and removing the loaded modules |
| 03:18:53 | → | alp joins (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) |
| 03:19:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:21:10 | <Axman6> | Knowing a thing or two about terminal colours would let you make pretty themes |
| 03:23:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:27:43 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:33:01 | <geekosaur> | I've seen a few, but yeh what you mention is most common ime |
| 03:34:21 | <geekosaur> | I personally don't spend enough time in ghci to care; I just pop in to test something and then exit. (largely because it's usually `cabal repl` instead of raw ghci, in a project or with specific dependencies in scope) |
| 03:34:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:39:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:49:53 | → | hgolden__ joins (~hgolden@static-198-44-129-83.cust.tzulo.com) |
| 03:49:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:52:29 | × | hgolden_ quits (~hgolden@169.150.203.36) (Ping timeout: 260 seconds) |
| 03:54:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:57:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:59:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 04:04:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:05:11 | <dontdieych2> | Axman6: geekosau: ok, should go for lambda mark. cannot find premade theme things. |
| 04:06:12 | × | alp quits (~alp@2001:861:e3d6:8f80:1068:2132:b192:21de) (Remote host closed the connection) |
| 04:08:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:12:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 04:23:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:24:17 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 04:26:26 | × | kilolympus quits (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Remote host closed the connection) |
| 04:30:01 | → | kilolympus joins (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) |
| 04:30:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 04:32:05 | <Axman6> | you should go with whatever you like the look of, this is an aesthetic question, not a technical one |
| 04:38:15 | → | michalz joins (~michalz@185.246.207.215) |
| 04:39:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:40:54 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:46:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:50:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 04:57:51 | × | simendsjo quits (~user@84.211.91.108) (Ping timeout: 265 seconds) |
| 05:03:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:05:38 | → | cyphase joins (~cyphase@user/cyphase) |
| 05:07:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:18:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:23:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:24:52 | → | hgolden_ joins (~hgolden@23.162.40.28) |
| 05:27:20 | × | hgolden__ quits (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 05:27:50 | → | comonad joins (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 05:30:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:34:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:38:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 05:38:48 | → | Square2 joins (~Square4@user/square) |
| 05:39:49 | → | jinsun joins (~jinsun@user/jinsun) |
| 05:41:38 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 05:44:54 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 05:49:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:52:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 05:52:54 | × | araujo quits (~araujo@216.73.163.122) (Ping timeout: 276 seconds) |
| 05:53:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:04:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:12:24 | × | synchromesh quits (~john@139.180.95.1) (Quit: WeeChat 4.0.5) |
| 06:13:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 06:14:28 | → | alphazone joins (~alphazone@2.219.56.221) |
| 06:15:49 | alphazone | is now known as lb |
| 06:22:53 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 06:23:13 | → | euleritian joins (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) |
| 06:24:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:36:27 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 06:41:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:42:56 | → | synchromesh joins (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) |
| 06:45:21 | → | synchrom1 joins (~john@139.180.95.1) |
| 06:47:15 | × | synchromesh quits (~john@2406:5a00:24b4:a600:fd24:ba9f:475d:6a37) (Ping timeout: 244 seconds) |
| 06:53:16 | <dontdieych2> | is there equivalent of `stack haddock` (that make index.html of all dependencies of current package) using `cabal`? |
| 06:53:51 | <dontdieych2> | ❯ du -sh ~/.cabal ~/.stack/ |
| 06:53:53 | <dontdieych2> | 4.5G /home/a/.cabal |
| 06:53:54 | <dontdieych2> | 8.8G /home/a/.stack |
| 06:54:07 | <dontdieych2> | wanna remove ~/.stack |
| 06:54:32 | <dontdieych2> | only reason keep stack is `stack haddock` |
| 06:54:58 | <sclv> | you can add a haddock flag to your default cabal config and it will haddock every built library |
| 06:55:17 | <sclv> | it doesn’t provide an easy to browse global index iirc tho |
| 06:55:22 | <dontdieych2> | ye but I need top level index.html |
| 06:55:27 | <dontdieych2> | exactly |
| 06:55:45 | <sclv> | you can write your own script to generate that as a stopgap |
| 06:57:45 | <dontdieych2> | thanks |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:35 | → | caconym joins (~caconym@user/caconym) |
| 07:02:23 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb33a5f4f8eeae667408.dip0.t-ipconnect.de) |
| 07:10:12 | → | merijn joins (~merijn@77.242.116.146) |
| 07:13:44 | <haskellbridge> | <sm> dontdieych2: you could clean up a bit |
| 07:14:06 | × | euleritian quits (~euleritia@dynamic-176-006-138-197.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 07:14:40 | → | euleritian joins (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) |
| 07:14:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 07:15:19 | → | ubert joins (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) |
| 07:16:48 | → | CiaoSen joins (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) |
| 07:22:38 | → | merijn joins (~merijn@77.242.116.146) |
| 07:35:30 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 07:40:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:40:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 07:42:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:45:15 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 07:47:56 | <tomsmeding> | dontdieych2: https://github.com/treblacy/hasdoc |
| 07:50:40 | → | srazkvt joins (~sarah@user/srazkvt) |
| 07:54:06 | × | euleritian quits (~euleritia@dynamic-176-006-129-237.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 07:54:36 | → | euleritian joins (~euleritia@176.2.79.59) |
| 07:59:14 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 07:59:32 | <famubu> | Is there a way to find the space used |
| 07:59:37 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 07:59:40 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 07:59:42 | <famubu> | needed to store a value in ahsekll? |
| 07:59:59 | <famubu> | I had been trying to use https://hackage.haskell.org/package/heapsize-0.3.0.1/docs/HeapSize.html#v:recursiveSize |
| 08:00:13 | <famubu> | But couldn't figure out how to print a value of `Heapsize Int` |
| 08:00:46 | <haskellbridge> | <sm> maybe https://hackage.haskell.org/package/weigh ? |
| 08:01:22 | <c_wraith> | famubu: why wouldn't you use closureSize? |
| 08:01:50 | <c_wraith> | Oh, because it's not recursive. |
| 08:01:52 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 08:02:06 | <c_wraith> | well, then, you'd have to use runHeapSize |
| 08:05:13 | × | kilolympus quits (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) (Quit: See you later! :)) |
| 08:06:09 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 08:06:34 | <dontdieych2> | haskellbridge: how? |
| 08:06:45 | <dontdieych2> | tomsmeding: thanks, it's working properly |
| 08:07:11 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:07:26 | <dontdieych2> | haskellbridge: how? " dontdieych2: you could clean up a bit " |
| 08:09:39 | <mauke> | the person speaking is actually sm |
| 08:09:47 | <mauke> | haskellbridge is just a bridge bot |
| 08:11:07 | <c_wraith> | > runHeapsize 30 $ recursiveSizeNF [1..10] -- Just 87 |
| 08:11:09 | <lambdabot> | error: |
| 08:11:09 | <lambdabot> | Variable not in scope: runHeapsize :: t1 -> t0 -> terror: |
| 08:11:09 | <lambdabot> | Variable not in scope: recursiveSizeNF :: [a0] -> t0 |
| 08:11:17 | <c_wraith> | oops, shouldn't have used > |
| 08:11:18 | <c_wraith> | anyway |
| 08:11:36 | <c_wraith> | use runHeapSize. That's what it's there for. |
| 08:11:41 | <c_wraith> | err, runHeapsize |
| 08:11:56 | <c_wraith> | though beware of its first parameter. It isn't documented, and it probably should have been |
| 08:12:05 | <haskellbridge> | <sm> oh. dontdieych2, https://hackage.haskell.org/package/stack-clean-old or ncdu are good |
| 08:12:16 | <c_wraith> | it's the initial size of the hash table it uses to prevent looping |
| 08:14:00 | <famubu> | c_wraith: Thanks. That made it. |
| 08:14:11 | <famubu> | yeah I too had been wondering what that argument was. |
| 08:14:27 | <famubu> | hadn't looked at source |
| 08:14:40 | <famubu> | (not that I would understand much anyway..) |
| 08:15:36 | <c_wraith> | runHeapsize will return Nothing if the GC runs during it |
| 08:16:03 | <dontdieych2> | haskellbridge: thanks |
| 08:16:08 | <c_wraith> | so making the initial hash table large enough is a way to minimize the chances of that |
| 08:17:14 | <c_wraith> | ideally you'd set it to the number of pointers that will be traversed. in practice, if you already knew that you probably wouldn't be using it |
| 08:17:46 | <haskellbridge> | <sm> holy sh%* I have 95G in mine... joke's on me 😆 |
| 08:18:52 | <haskellbridge> | <sm> 106G |
| 08:20:38 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 08:22:11 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:22:45 | × | euleritian quits (~euleritia@176.2.79.59) (Ping timeout: 248 seconds) |
| 08:23:03 | → | euleritian joins (~euleritia@176.2.79.59) |
| 08:23:23 | <haskellbridge> | <sm> .rustup: 1.6G; .cargo: 2.9G |
| 08:24:07 | <haskellbridge> | <sm> .cache/ghcide: 2.8G; .ghc-wasm: 3.8G |
| 08:24:28 | <haskellbridge> | <sm> .local/bin, mostly a bunch of fat haskell executables: 4.2G |
| 08:24:48 | <haskellbridge> | <sm> .ghcup: 16G. 2G each for the last 7 ghc versions and another 2G for hls |
| 08:26:45 | <haskellbridge> | <sm> .cabal: 23.6G - packages for ~15 ghc versions, averaging ~1.5G each, plus 1G for the hackage index |
| 08:27:17 | × | euleritian quits (~euleritia@176.2.79.59) (Ping timeout: 255 seconds) |
| 08:27:39 | → | euleritian joins (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) |
| 08:28:27 | <haskellbridge> | <maerwald> now add nix and another 500 GB |
| 08:29:58 | <haskellbridge> | <sm> and finally: .stack, 106G. 2.4G for setup-exe-cache; 2.7G for pantry; 6.7G for three old ghc versions from before I switched to ghcup; and.. 94G of stack snapshot packages, spread across ~200 obscure directories under snapshots. |
| 08:30:44 | <haskellbridge> | <sm> I should clean up, but that's pretty bad. Compared to other languages, we look lazy |
| 08:31:18 | <haskellbridge> | <sm> I mean, it's not a fair comparison because I use a ton of haskell versions and don't build much with the others. But I know they'll be smaller. |
| 08:33:44 | × | eugenrh quits (~eugenrh@user/eugenrh) (Quit: WeeChat 3.7.1) |
| 08:35:33 | <haskellbridge> | <sm> cough, present company excepted |
| 08:35:51 | × | ft quits (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:36:59 | <haskellbridge> | <sm> ghcup tui is a big improvement, it gathers things in one place, you can see and delete easily |
| 08:44:04 | <haskellbridge> | <sm> cleaned up a little too hard.. never mind |
| 08:45:55 | <haskellbridge> | <sm> I guess packages (and big caches like ghcide's, haskell-wasm's etc) are the big thing not managed by ghcup |
| 08:47:43 | <haskellbridge> | <maerwald> those things are hard to manage correctly and deletion of files is always a dangerous thing to do automatically |
| 08:48:13 | <xelxebar> | Trying to understand Catamorphism laws: https://wiki.haskell.org/Catamorphisms#Laws |
| 08:48:59 | <xelxebar> | Rather, I grok the definition of catamorphism in Haskell and also grok the cat theory definition. |
| 08:49:21 | <xelxebar> | However, it's not entirely clear to me where the laws come from. |
| 08:49:47 | <xelxebar> | I mean, cata-refl from above is pretty much Lambek's Theorem: https://ncatlab.org/nlab/show/initial+algebra+of+an+endofunctor#LambeksTheorem |
| 08:50:40 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 08:50:43 | <xelxebar> | Are the cata laws essentially what guarantee its uniqueness? |
| 08:50:53 | → | fmira joins (~user@user/fmira) |
| 08:51:23 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 08:51:50 | → | fmira joins (~user@user/fmira) |
| 08:52:38 | <xelxebar> | More generally, if I'm reading about cats, what should I be thinking about to come up with similar laws on my own? |
| 08:53:18 | <xelxebar> | I'd like to *derive* the cata-* ones from the initial morphism definition. |
| 08:53:53 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:55:07 | <Leary> | xelxebar: The first two should follow directly from the definition. The third one is a free theorem. Not sure about the last. |
| 08:55:21 | <Leary> | @free cata :: (F a -> a) -> FixF -> a |
| 08:55:21 | <lambdabot> | f . g = h . $map_F f => f . cata g = cata h |
| 08:57:53 | × | euleritian quits (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 08:58:19 | → | euleritian joins (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) |
| 09:00:43 | <xelxebar> | Leary: Yeah, they're each straightforward in isolation, but together do they imply the standard def? |
| 09:02:24 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 09:02:44 | <xelxebar> | Even more, if you only knew the category theory def, how do you go about figuring out the necessary laws? |
| 09:02:50 | → | fmira joins (~user@user/fmira) |
| 09:04:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:05:05 | × | euleritian quits (~euleritia@dynamic-176-004-248-165.176.4.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 09:05:50 | → | euleritian joins (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) |
| 09:13:53 | <Leary> | The line of questioning might need to be made more precise---I rather suspect the type signature alone already determines `cata`, and these properties follow. I'm not really sure why they're being called laws. I guess if you start with the properties alone in an untyped calculus, then `cata-cancel` alone gives you a definition for `cata`: just compose `outF` on the right. |
| 09:17:41 | × | ridcully quits (~ridcully@p57b52138.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 09:18:48 | <Leary> | As for how you'd arive at these properties, it's a matter of mathematical taste. There's no real methodology other than to ask "what properties do I want?" Here's my view: identity and composition laws are bread and butter; that's cata-refl and cata-compose. I think cata-fusion is what cat theorists might call a /naturality/ condition; it arises from not wanting `cata` to care about what we're folding down to. cata-cancel is the only one that actually r |
| 09:18:49 | <Leary> | elates directly to the structure of a fixpoint; it essentially arises from the same logic that gives you an implementation for `cata`. |
| 09:21:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:28:02 | × | euleritian quits (~euleritia@dynamic-176-006-134-024.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 09:28:32 | → | euleritian joins (~euleritia@176.7.156.149) |
| 09:37:31 | → | aforemny joins (~aforemny@2001:9e8:6cf3:ad00:f9bd:7d15:f62e:4b46) |
| 09:37:48 | → | JamesMowery42 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 09:38:43 | × | JamesMowery4 quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 245 seconds) |
| 09:38:47 | JamesMowery42 | is now known as JamesMowery4 |
| 09:41:13 | × | euleritian quits (~euleritia@176.7.156.149) (Ping timeout: 245 seconds) |
| 09:41:46 | → | euleritian joins (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
| 09:47:27 | → | __monty__ joins (~toonn@user/toonn) |
| 09:52:17 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 09:53:45 | → | __monty__ joins (~toonn@user/toonn) |
| 09:54:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 09:54:54 | → | merijn joins (~merijn@77.242.116.146) |
| 09:57:57 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 09:58:30 | → | ridcully joins (~ridcully@p508acf65.dip0.t-ipconnect.de) |
| 10:02:44 | × | euleritian quits (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:03:01 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:03:04 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) |
| 10:07:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:08:53 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 10:09:43 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 10:10:56 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 10:11:18 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 10:13:12 | <ash3en> | hi, can i avoid dependencies of a library if I just don't use functions that need e.g. template haskell in the library? so my program is free of template haskell as a dependency? |
| 10:15:52 | <haskellbridge> | <magic_rb> ash3en: Without forking the library, no afaik |
| 10:16:31 | <ash3en> | ok, dependencies are going wild, so i'm asking |
| 10:16:51 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 10:17:37 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-c9e9-77ca-ca4e-516d.rev.sfr.net) (Remote host closed the connection) |
| 10:18:40 | <Leary> | ash3en: If your package is an executable, you can vendor a cut-down version of the dependency. You could also submit a PR to the dep splitting out the parts that need the transitive dep into a public sublibrary, so people who don't want to depend on it can avoid doing so. |
| 10:19:20 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 10:19:41 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 10:20:07 | → | merijn joins (~merijn@77.242.116.146) |
| 10:20:22 | <ash3en> | thank you :) |
| 10:20:39 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 10:20:59 | → | euleritian joins (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
| 10:22:03 | × | Square2 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 10:24:08 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 10:24:09 | <ash3en> | I do ask myself why template haskell is everywhere btw. even with Data.Text, TH is a direct dependency. that seems not too elegant to me, since TH is very ambiguous to say at least afaik. |
| 10:24:22 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 10:26:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:27:22 | → | morsinichi joins (~morsinich@61.4.97.157) |
| 10:33:50 | <tomsmeding> | template-haskell is a boot library: it's installed with GHC. So it doesn't incur a download or build for your users |
| 10:34:01 | <tomsmeding> | ash3en: so I wouldn't worry about that particular dependency :) |
| 10:34:36 | → | merijn joins (~merijn@77.242.116.146) |
| 10:34:42 | <tomsmeding> | (as is 'text', by the way, but text is reinstallable as far as I know (meaning that you can build a different version from hackage and use that), whereas template-haskell is bound to the compiler) |
| 10:36:39 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 10:41:28 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 10:41:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:42:07 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 10:42:22 | <ash3en> | ah thank you again :) |
| 10:45:13 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:45:30 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 10:47:25 | × | CiaoSen quits (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 10:51:06 | → | merijn joins (~merijn@77.242.116.146) |
| 10:55:32 | → | JamesMowery45 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 10:57:03 | × | JamesMowery4 quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 245 seconds) |
| 10:57:04 | JamesMowery45 | is now known as JamesMowery4 |
| 10:57:24 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 10:58:09 | × | morsinichi quits (~morsinich@61.4.97.157) (Quit: morsinichi) |
| 11:01:09 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 11:03:20 | → | merijn joins (~merijn@77.242.116.146) |
| 11:04:36 | <mauke> | what do you mean by TH being ambiguous? |
| 11:07:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 11:11:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) |
| 11:15:52 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 11:18:43 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 11:20:13 | × | dontdieych2 quits (~a@user/dontdieych2) (Quit: Konversation terminated!) |
| 11:23:24 | → | Digit joins (~user@user/digit) |
| 11:23:55 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) |
| 11:30:17 | → | merijn joins (~merijn@77.242.116.146) |
| 11:34:31 | → | CiaoSen joins (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) |
| 11:36:11 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 11:43:50 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 11:45:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:00:40 | → | Everything joins (~Everythin@178-133-61-155.mobile.vf-ua.net) |
| 12:05:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 12:06:15 | × | CiaoSen quits (~Jura@2a05:5800:2d7:c100:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 12:18:11 | → | merijn joins (~merijn@77.242.116.146) |
| 12:23:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 12:26:36 | → | Square2 joins (~Square4@user/square) |
| 12:26:54 | → | weary-traveler joins (~user@user/user363627) |
| 12:28:39 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 12:31:51 | <ash3en> | I mean it is controversial in some discussions I read. I can't form an opinion based on TH itself, since I am not that advanced. but it seems to go against some principles such as simplicity and lightweight, if I understand the criticisms -- and it is probably a topic that comes up quite frequently, so I shouldn't have started anything in this direction here |
| 12:31:58 | <ash3en> | since I am not too firm with it |
| 12:33:21 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 12:36:01 | → | merijn joins (~merijn@77.242.116.146) |
| 12:40:17 | <Square2> | Anyone got got some ideas on Java <-> Haskell interop, where the Java process acts like a client? Important aspect would be to have a domain model from Haskell easily replicated on java (for type constructs that work in java?). Seems like most fast-to-parse binary communication protocols focus on protocol changes, which there will have be none in this use case. |
| 12:40:23 | <Square2> | -got* |
| 12:40:51 | <Square2> | replicated in* |
| 12:41:48 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 12:41:58 | <Square2> | will be none* (sorry for sloppy writing) |
| 12:46:52 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 12:53:01 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 12:53:21 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) |
| 12:54:11 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 12:54:12 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 12:54:34 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 12:54:56 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 12:57:09 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 12:58:22 | → | Square joins (~Square@user/square) |
| 12:59:01 | × | sawilagar quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 12:59:25 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 13:00:35 | → | adamCS_ joins (~adamCS@71.167.235.212) |
| 13:00:43 | × | adamCS quits (~adamCS@71.167.235.212) (Ping timeout: 264 seconds) |
| 13:00:47 | adamCS_ | is now known as adamCS |
| 13:01:41 | × | Square2 quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 13:04:10 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 13:06:48 | → | gmg joins (~user@user/gehmehgeh) |
| 13:11:32 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:12:16 | → | gmg joins (~user@user/gehmehgeh) |
| 13:13:36 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 13:15:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:17:55 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 13:18:28 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 13:18:59 | → | gorignak joins (~gorignak@user/gorignak) |
| 13:21:22 | × | gorignak quits (~gorignak@user/gorignak) (Client Quit) |
| 13:21:53 | → | gorignak joins (~gorignak@user/gorignak) |
| 13:25:10 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 13:26:52 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 13:29:34 | × | tt123109783243 quits (~tt1231@syn-075-185-104-199.res.spectrum.com) (Ping timeout: 260 seconds) |
| 13:29:56 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 13:31:06 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 13:31:20 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:35:37 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 13:42:12 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 13:43:51 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 13:44:22 | → | gorignak joins (~gorignak@user/gorignak) |
| 13:44:31 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 13:48:18 | × | ubert quits (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 13:53:42 | × | mari-estel quits (~mari-este@user/mari-estel) (Quit: on the move) |
| 13:55:51 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 14:05:04 | → | identity joins (~identity@user/ZharMeny) |
| 14:10:14 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 14:14:37 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 14:19:29 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds) |
| 14:23:28 | → | dibblego joins (~dibblego@116.255.1.119) |
| 14:23:28 | × | dibblego quits (~dibblego@116.255.1.119) (Changing host) |
| 14:23:28 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 14:29:43 | <merijn> | Square2: "which there will be none of" <- well, that's a lie |
| 14:30:29 | <merijn> | Experience says that 100% of people who think "I don't need to think about protocol changes" come to rue that thought later :p |
| 14:30:46 | <merijn> | I've made that mistake, like, 5 times by now. Never again xD |
| 14:32:18 | × | caubert quits (~caubert@user/caubert) (Quit: WeeChat 4.3.3) |
| 14:32:36 | → | caubert joins (~caubert@user/caubert) |
| 14:33:38 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 14:37:54 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 14:39:07 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb33a5f4f8eeae667408.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 14:48:02 | × | caubert quits (~caubert@user/caubert) (Quit: WeeChat 4.4.2) |
| 14:48:18 | → | caubert joins (~caubert@user/caubert) |
| 14:54:22 | → | hgolden__ joins (~hgolden@146.70.174.37) |
| 14:57:07 | × | hgolden_ quits (~hgolden@23.162.40.28) (Ping timeout: 264 seconds) |
| 14:59:14 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb3315984098f5118deb.dip0.t-ipconnect.de) |
| 15:00:45 | × | euleritian quits (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:00:56 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 15:01:03 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:02:02 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 15:04:06 | → | Guest36 joins (~Guest36@217.218.145.186) |
| 15:04:18 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 15:05:03 | × | Everything quits (~Everythin@178-133-61-155.mobile.vf-ua.net) (Quit: leaving) |
| 15:06:44 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 15:07:06 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 15:09:51 | × | rosco quits (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 15:19:54 | <Square> | merijn, the apps will always be deployed as one docker image together. It's essentially an attempt to move one module of an app to Haskell, because of features not available in java. |
| 15:21:32 | <Square> | ...and same pattern will be repeated in 10-20 apps. Cumbersome sure, but we really need parts in haskell it seems. |
| 15:22:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:27:20 | × | Guest36 quits (~Guest36@217.218.145.186) (Quit: Client closed) |
| 15:34:54 | → | comerijn joins (~merijn@77.242.116.146) |
| 15:35:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 15:38:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:39:18 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 15:41:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 15:41:47 | → | euleritian joins (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
| 15:48:16 | → | EvanR joins (~EvanR@user/evanr) |
| 15:51:21 | → | athan joins (~athan@syn-173-042-095-241.biz.spectrum.com) |
| 15:54:53 | × | athan quits (~athan@syn-173-042-095-241.biz.spectrum.com) (Client Quit) |
| 15:55:25 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 15:56:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:08:01 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 16:08:01 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 16:08:21 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) |
| 16:15:30 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:18:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:19:59 | <tomsmeding> | @tell ash3en TH can indeed go against some principles of simplicity in haskell, but if it does then a whole lot of things do -- thinks like DataKinds, TypeFamilies, GHC Generics, LinearTypes, RankNTypes, and perhaps even GADTs. Similarly, from the perspective of a Haskell programmer for whom these things are natural, things like unboxed data types can be "against simplicity" of the language. GHC |
| 16:19:59 | <lambdabot> | Consider it noted. |
| 16:20:01 | <tomsmeding> | Haskell has many extensions, quite a few of which make the language larger and more complicated. TH is one of them, but if you reject TH _on this premise_, then you'll need to reject a large part of the language with it. |
| 16:20:09 | <tomsmeding> | @tell ash3en Haskell has many extensions, quite a few of which make the language larger and more complicated. TH is one of them, but if you reject TH _on this premise_, then you'll need to reject a large part of the language with it. |
| 16:20:09 | <lambdabot> | Consider it noted. |
| 16:20:23 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:20:31 | → | ash3en joins (~Thunderbi@89.56.61.137) |
| 16:20:47 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 16:22:41 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 16:23:01 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) |
| 16:25:21 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 16:25:31 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 16:26:37 | → | spew joins (~spew@201.141.99.170) |
| 16:27:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:28:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:30:30 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 16:43:04 | × | AlexZenon quits (~alzenon@178.34.162.25) (Ping timeout: 260 seconds) |
| 16:46:28 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 16:50:24 | → | AlexZenon joins (~alzenon@178.34.162.25) |
| 16:50:36 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 16:55:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:55:22 | × | AlexZenon quits (~alzenon@178.34.162.25) (Ping timeout: 244 seconds) |
| 16:57:46 | × | euleritian quits (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 16:58:40 | → | euleritian joins (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) |
| 16:58:41 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 16:59:03 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 17:08:40 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 17:10:14 | → | andrei joins (~andrei@dhcp-128-189-227-162.ubcsecure.wireless.ubc.ca) |
| 17:10:37 | andrei | is now known as Guest6050 |
| 17:11:26 | → | AlexZenon joins (~alzenon@178.34.162.25) |
| 17:14:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:17:57 | → | morsinichi joins (~morsinich@49.228.14.161) |
| 17:19:57 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 17:28:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:35:17 | × | ash3en quits (~Thunderbi@89.56.61.137) (Ping timeout: 248 seconds) |
| 17:35:56 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:36:06 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 17:38:50 | <mauke> | <merijn> Experience says that 100% of people who think "I don't need to think about protocol changes" come to rue that thought later :p <- I guess I'm an exception |
| 17:40:13 | × | euleritian quits (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:40:30 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:40:31 | <mauke> | I wrote and ran an IRC bot with a decoupled storage back end. the communication protocol was simple (and highly suboptimal), but I never really needed to change it |
| 17:41:02 | <mauke> | even when the storage implementation changed from acid-state to SQLite |
| 17:42:39 | <EvanR> | idris 1 used a S-expression based protocol. Later instead of changing the protocol they changed the backend to lisp xD |
| 17:43:00 | <mauke> | haha |
| 17:47:43 | → | ash3en joins (~Thunderbi@89.56.61.137) |
| 17:47:46 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 17:52:39 | → | ft joins (~ft@p4fc2a216.dip0.t-ipconnect.de) |
| 17:57:07 | × | Guest6050 quits (~andrei@dhcp-128-189-227-162.ubcsecure.wireless.ubc.ca) (Ping timeout: 264 seconds) |
| 18:00:32 | → | andrei joins (~andrei@dhcp-128-189-227-162.ubcsecure.wireless.ubc.ca) |
| 18:00:56 | andrei | is now known as Guest1407 |
| 18:02:28 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 18:02:54 | × | ash3en quits (~Thunderbi@89.56.61.137) (Quit: ash3en) |
| 18:10:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 18:10:34 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 18:10:58 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 18:14:04 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 18:14:24 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 18:14:42 | → | monochrom joins (trebla@216.138.220.146) |
| 18:27:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:27:58 | × | califax quits (~califax@user/califx) (Read error: Connection reset by peer) |
| 18:27:59 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 18:27:59 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:28:13 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:28:21 | → | califax joins (~califax@user/califx) |
| 18:28:45 | → | gmg joins (~user@user/gehmehgeh) |
| 18:32:17 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 18:33:45 | × | KicksonButt quits (~quassel@187.21.174.221) (Ping timeout: 252 seconds) |
| 18:37:54 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:42:37 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 18:42:46 | → | euleritian joins (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) |
| 18:43:40 | → | simendsjo joins (~user@84.211.91.108) |
| 18:51:21 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 18:53:23 | × | euleritian quits (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:53:25 | → | jinsun joins (~jinsun@user/jinsun) |
| 18:53:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 18:53:50 | → | euleritian joins (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) |
| 18:55:23 | × | euleritian quits (~euleritia@dynamic-176-004-245-192.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:55:40 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:37 | → | caconym joins (~caconym@user/caconym) |
| 19:03:42 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 19:08:51 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 19:15:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 19:16:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 19:20:01 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 19:22:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:22:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:25:11 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 19:29:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:30:06 | → | Everything joins (~Everythin@178-133-129-110.mobile.vf-ua.net) |
| 19:31:21 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:34:57 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:35:13 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 19:37:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 19:37:28 | ljdarj1 | is now known as ljdarj |
| 19:37:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:42:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:45:33 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 276 seconds) |
| 19:50:22 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 19:50:41 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) |
| 19:53:17 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 19:53:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:58:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:00:36 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:05:37 | × | simendsjo quits (~user@84.211.91.108) (Remote host closed the connection) |
| 20:09:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:10:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:14:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:25:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:26:24 | × | morsinichi quits (~morsinich@49.228.14.161) (Ping timeout: 252 seconds) |
| 20:28:12 | <EvanR> | can I get away with this https://paste.tomsmeding.com/TA6noxT0 |
| 20:28:36 | <EvanR> | probably not |
| 20:30:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:34:46 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:38:49 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 20:39:13 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 20:40:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:41:01 | <EvanR> | https://paste.tomsmeding.com/Gx29wJNl |
| 20:42:41 | <int-e> | . o O ( 0-0 0-0-0 ) |
| 20:43:59 | × | Guest1407 quits (~andrei@dhcp-128-189-227-162.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
| 20:44:19 | × | jcarpenter2 quits (~lol@96.78.87.197) (Quit: Leaving) |
| 20:44:31 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b9c0:6d01:fe2b:de0:d441) |
| 20:44:58 | → | pavonia joins (~user@user/siracusa) |
| 20:45:34 | <EvanR> | that's... gonna have to be at a higher layer |
| 20:45:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:46:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:47:52 | <EvanR> | I realize if (Int,Int) was a Num I could've just used + |
| 20:48:21 | <EvanR> | @src Complex |
| 20:48:22 | <lambdabot> | data (RealFloat a) => Complex a = !a :+ !a |
| 20:48:52 | <int-e> | instance RealFloat a => Num (Complex a) |
| 20:49:18 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 20:50:21 | <int-e> | (the constraint on the data type is gone, but that still doesn't make it usable for your case) |
| 20:51:33 | <EvanR> | lambdabot has old news? smh |
| 20:52:28 | <int-e> | I wanted Gaussian integers recently so I copied half of the Data.Complex module and changed the Num instance to error on abs and signum... it felt dirty. |
| 20:53:01 | <EvanR> | gaussian integers? |
| 20:53:22 | <int-e> | complex numbers with integer real and imaginary parts |
| 20:54:33 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 20:56:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:58:28 | <int-e> | (Gauss was the first to study them in depth, from a number theoretic perspective: https://en.wikipedia.org/wiki/Gaussian_integer#Historical_background ) |
| 21:01:38 | <EvanR> | mind blown |
| 21:03:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:12:32 | → | aforemny_ joins (~aforemny@2001:9e8:6cfd:4f00:a308:87bf:ccc5:4223) |
| 21:13:18 | × | aforemny quits (~aforemny@2001:9e8:6cf3:ad00:f9bd:7d15:f62e:4b46) (Ping timeout: 245 seconds) |
| 21:14:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:19:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:24:22 | <EvanR> | usually when you play chess on the computer you initiate a castle by moving the king into a square 2 squares away, which is presented as one of the squares to move to |
| 21:24:42 | <EvanR> | but it's really an oddball move because it really is moving 2 pieces |
| 21:24:59 | <EvanR> | so on that front it seems to be this whole other thing |
| 21:26:35 | <EvanR> | and unlike en passant you can't (always) tell just by looking at the board whether moving the king 2 to the right or left is valid or invalid |
| 21:27:30 | <EvanR> | shoot en passant also requires knowing the last turn |
| 21:28:01 | <EvanR> | that's it switching to checkers |
| 21:30:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:35:01 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 21:35:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:35:36 | × | Everything quits (~Everythin@178-133-129-110.mobile.vf-ua.net) (Quit: leaving) |
| 21:35:52 | → | Everything joins (~Everythin@178-133-129-110.mobile.vf-ua.net) |
| 21:37:36 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 21:46:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:49:06 | → | andrei joins (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) |
| 21:49:29 | andrei | is now known as Guest256 |
| 21:50:06 | <monochrom> | :( |
| 21:50:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:50:08 | <monochrom> | :) |
| 21:50:35 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 21:50:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 21:50:56 | ljdarj1 | is now known as ljdarj |
| 21:51:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:54:22 | → | gioyik_ joins (~gioyik@gateway/tor-sasl/gioyik) |
| 21:54:57 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 21:57:26 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
| 21:58:10 | × | Guest256 quits (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) (Ping timeout: 248 seconds) |
| 22:02:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:06:19 | × | gioyik_ quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2) |
| 22:06:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:09:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:11:48 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:15:09 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:15:53 | <Everything> | :| |
| 22:16:26 | × | Everything quits (~Everythin@178-133-129-110.mobile.vf-ua.net) (Quit: leaving) |
| 22:17:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:24:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 22:25:55 | × | vglfr quits (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds) |
| 22:26:20 | → | vglfr joins (~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) |
| 22:28:11 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 22:32:17 | → | andrei joins (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) |
| 22:32:41 | andrei | is now known as Guest8438 |
| 22:33:04 | × | vglfr quits (~vglfr@2607:fb90:eaaf:c94:ac39:c397:e371:f5a4) (Ping timeout: 260 seconds) |
| 22:33:16 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:33:25 | → | vglfr joins (~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) |
| 22:35:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:39:45 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 22:41:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:42:28 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb3315984098f5118deb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:42:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:42:34 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 22:43:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:47:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:53:21 | × | myme quits (~myme@2a01:799:d5c:5f00:3450:111a:e305:e38a) (Ping timeout: 252 seconds) |
| 22:55:23 | → | myme joins (~myme@2a01:799:d5c:5f00:e607:4386:5207:22da) |
| 22:58:07 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 22:58:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:03:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:04:02 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:06:33 | × | xff0x quits (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) (Ping timeout: 252 seconds) |
| 23:13:42 | × | vglfr quits (~vglfr@2607:fb91:148f:4ec9:ad2:e57:50bf:b120) (Read error: Connection reset by peer) |
| 23:14:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:17:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:4e61:3b0b:e25d:c6d4) |
| 23:18:28 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:19:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:19:56 | → | dolio joins (~dolio@130.44.140.168) |
| 23:20:17 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 23:20:56 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
| 23:21:27 | → | alexherbo2 joins (~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) |
| 23:21:53 | × | Guest8438 quits (~andrei@dhcp-128-189-230-146.ubcsecure.wireless.ubc.ca) (Read error: Connection reset by peer) |
| 23:22:02 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 23:23:24 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 23:24:23 | → | dolio joins (~dolio@130.44.140.168) |
| 23:25:00 | × | alexherbo2 quits (~alexherbo@2a02-8440-310b-6bee-dd6e-5f46-eaaa-ac25.rev.sfr.net) (Remote host closed the connection) |
| 23:30:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:33:40 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 23:34:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:35:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 23:36:17 | → | troojg joins (~troojg@user/troojg) |
| 23:38:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:39:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:40:36 | → | TotoMP joins (~TotoMP@190.194.22.21) |
| 23:42:08 | × | TotoMP quits (~TotoMP@190.194.22.21) (Client Quit) |
| 23:43:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:54:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:59:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
All times are in UTC on 2024-10-23.