2024-10-25 00:03:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 00:03:08 +0200 | <justsomeguy> | Haskell error messages can be gnarly, sometimes, when there's a lot of polymorphism. |
2024-10-25 00:06:09 +0200 | vglfr | (~vglfr@2607:fb90:eab7:5356:ac39:c397:6933:1a7b) (Ping timeout: 246 seconds) |
2024-10-25 00:06:21 +0200 | <zero> | just found out that you can have uninitiated record fields. ugh |
2024-10-25 00:06:35 +0200 | <haskellbridge> | <sm> yes.. you get good at pattern-matching / distilling them |
2024-10-25 00:06:44 +0200 | <EvanR> | there should be a warning for that |
2024-10-25 00:06:49 +0200 | <haskellbridge> | <sm> +(error messages) |
2024-10-25 00:07:00 +0200 | <EvanR> | constructing a record without defining all the fields |
2024-10-25 00:07:11 +0200 | <zero> | there is a warning message |
2024-10-25 00:07:13 +0200 | <haskellbridge> | <sm> * youwill |
2024-10-25 00:07:18 +0200 | <zero> | imo it should be an error |
2024-10-25 00:07:18 +0200 | <haskellbridge> | <sm> * you will |
2024-10-25 00:07:27 +0200 | <EvanR> | you can set warnings = errors xD |
2024-10-25 00:07:35 +0200 | <haskellbridge> | <sm> yes, that's what -Werror is for |
2024-10-25 00:08:02 +0200 | <EvanR> | but since any given value may be an undefined or an infinite loop, it still doesn't fully save you |
2024-10-25 00:08:24 +0200 | <EvanR> | strict fields in the record will make it easier to notice sooner |
2024-10-25 00:08:54 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2024-10-25 00:09:25 +0200 | <monochrom> | uninited fields = initialized to undefined |
2024-10-25 00:10:47 +0200 | <EvanR> | [1, let x = x in x, 4, 8, 16] |
2024-10-25 00:10:47 +0200 | vglfr | (~vglfr@2607:fb91:845:141a:ad2:e57:b1d0:dd1d) vglfr |
2024-10-25 00:10:53 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
2024-10-25 00:11:04 +0200 | <EvanR> | can I haz warning |
2024-10-25 00:11:26 +0200 | <sm> | oops sorry for edits |
2024-10-25 00:12:25 +0200 | <EvanR> | IRC returns you to a jane austen-like time where you had to write out your whole message with no typos and perfect grammar the first time |
2024-10-25 00:12:55 +0200 | sm | (~znc@plaintextaccounting/sm) () |
2024-10-25 00:13:54 +0200 | <monochrom> | Clearly, I only simulate to write perfectly the first time by proofreading and editing multiple times before I press enter. :) |
2024-10-25 00:14:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 00:15:04 +0200 | <EvanR> | nobody got time for that |
2024-10-25 00:16:51 +0200 | sm | (~znc@plaintextaccounting/sm) sm |
2024-10-25 00:17:17 +0200 | <sm> | I'll try that again: |
2024-10-25 00:17:20 +0200 | <sm> | I admire your vision EvanR, I shall try to keep it in mind. |
2024-10-25 00:17:30 +0200 | <zero> | enter keys should require higher actuation force than the others |
2024-10-25 00:17:47 +0200 | <EvanR> | they should require a license |
2024-10-25 00:18:03 +0200 | <int-e> | EvanR: don't give the manufacturers ideas |
2024-10-25 00:18:13 +0200 | <zero> | [ ] I have read and agree to the terms of pressing this key. |
2024-10-25 00:18:58 +0200 | <EvanR> | keyboard not detected. Press any key to continue |
2024-10-25 00:19:10 +0200 | <int-e> | EvanR: though it'll probably be structured differently; you get the return key for free but enabling backspace will require a subscription |
2024-10-25 00:19:13 +0200 | <zero> | _Select all squares with *traffic lights*_ |
2024-10-25 00:19:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-25 00:20:24 +0200 | <zero> | "Before pressing this key: Have you considered a donation? [ ] 5$ [ ] 10$ [ ] 20$ (other options) |
2024-10-25 00:20:31 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-25 00:20:51 +0200 | <tomsmeding> | the keys will have small embedded LEDs that make crude pictures, and you should press the keys that look like traffic lights |
2024-10-25 00:21:43 +0200 | <zero> | You have reached your daily limit for the Enter key. Please wait XX seconds. TIRED OF WAITING? CLICK [HERE] FOR ENTER PREMIUM* |
2024-10-25 00:23:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2024-10-25 00:23:48 +0200 | ljdarj1 | ljdarj |
2024-10-25 00:24:23 +0200 | <EvanR> | probably something that will be on phones first |
2024-10-25 00:26:23 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-25 00:29:56 +0200 | <geekosaur> | to be shortly followed by apps that will defeat it |
2024-10-25 00:30:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 00:30:41 +0200 | <Rembane> | The circle of life |
2024-10-25 00:30:59 +0200 | <zero> | create the problem, sell the solution |
2024-10-25 00:32:01 +0200 | <zero> | this message brought to you by NordVPN |
2024-10-25 00:32:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2024-10-25 00:35:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 00:36:49 +0200 | vglfr | (~vglfr@2607:fb91:845:141a:ad2:e57:b1d0:dd1d) (Read error: Connection reset by peer) |
2024-10-25 00:41:37 +0200 | <monochrom> | haha |
2024-10-25 00:45:38 +0200 | <zero> | i also just found out that you can't use lazy annotations without StrictData :( |
2024-10-25 00:45:39 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-25 00:45:51 +0200 | <zero> | that's a shame |
2024-10-25 00:46:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 00:50:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 00:51:07 +0200 | Everything | (~Everythin@178-133-200-119.mobile.vf-ua.net) (Quit: leaving) |
2024-10-25 00:52:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-25 00:58:28 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-10-25 01:01:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 01:03:26 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
2024-10-25 01:04:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-25 01:04:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 01:06:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 01:08:33 +0200 | <zero> | help |
2024-10-25 01:08:43 +0200 | <zero> | i have the following line: |
2024-10-25 01:08:44 +0200 | <zero> | quotRem x y = join bimap toEnum $ on quotRem fromEnum x y |
2024-10-25 01:09:39 +0200 | <zero> | why does eta reducing this to |
2024-10-25 01:09:49 +0200 | <zero> | quotRem = join bimap toEnum . on quotRem fromEnum |
2024-10-25 01:10:04 +0200 | <dibblego> | those two expressions are not equivalent |
2024-10-25 01:10:34 +0200 | <zero> | cause a type mismatch in bimap? |
2024-10-25 01:11:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) (Ping timeout: 244 seconds) |
2024-10-25 01:11:45 +0200 | <zero> | dibblego: they're not? |
2024-10-25 01:12:08 +0200 | <Leary> | `\f g x -> f (g x)` and `\f g x y -> f (g x y)` are not the same. You want the latter and are using the former. |
2024-10-25 01:12:12 +0200 | <dibblego> | quotRem x = join bimap toEnum . on quotRem fromEnum x |
2024-10-25 01:12:25 +0200 | <dibblego> | quotRem = (join bimap toEnum .) . on quotRem fromEnum |
2024-10-25 01:12:33 +0200 | <dibblego> | -- (done without a type checker) |
2024-10-25 01:12:58 +0200 | <int-e> | :t (.)(.)(.) |
2024-10-25 01:12:59 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
2024-10-25 01:13:09 +0200 | <zero> | i see it now. ty |
2024-10-25 01:17:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-10-25 01:17:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 01:17:41 +0200 | euleritian | (~euleritia@dynamic-176-006-128-175.176.6.pool.telefonica.de) |
2024-10-25 01:18:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) |
2024-10-25 01:20:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
2024-10-25 01:22:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 01:25:15 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-25 01:28:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 01:32:52 +0200 | sojuro | (~sojuro@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
2024-10-25 01:32:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 01:34:50 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-10-25 01:41:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-25 01:44:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 01:46:47 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2024-10-25 01:48:07 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
2024-10-25 01:50:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-25 01:52:47 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-10-25 01:59:05 +0200 | rkazak | (~rkazak@173.195.77.203) |
2024-10-25 02:02:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 02:02:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-25 02:06:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 02:08:32 +0200 | hgolden__ | (~hgolden@23.162.40.28) hgolden |
2024-10-25 02:11:19 +0200 | hgolden_ | (~hgolden@146.70.173.229) (Ping timeout: 260 seconds) |
2024-10-25 02:13:18 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2024-10-25 02:14:00 +0200 | rkazak | (~rkazak@173.195.77.203) (Ping timeout: 252 seconds) |
2024-10-25 02:15:24 +0200 | euleritian | (~euleritia@dynamic-176-006-128-175.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-25 02:15:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 02:17:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 02:24:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-25 02:26:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 02:31:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-25 02:32:56 +0200 | zero | yin |
2024-10-25 02:36:49 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-25 02:42:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 02:42:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-25 02:47:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-25 02:56:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-25 02:58:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 03:01:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) (Ping timeout: 245 seconds) |
2024-10-25 03:02:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 03:04:08 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2024-10-25 03:15:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 03:20:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-25 03:24:41 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2024-10-25 03:28:54 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 260 seconds) |
2024-10-25 03:31:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 03:35:11 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-10-25 03:36:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-25 03:43:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-25 03:47:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 03:51:42 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-25 03:51:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-25 03:56:31 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-25 03:59:17 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-10-25 04:00:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-25 04:02:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 04:07:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 04:09:01 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-25 04:10:27 +0200 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 246 seconds) |
2024-10-25 04:14:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
2024-10-25 04:17:14 +0200 | alphazone | (~alphazone@2.219.56.221) |
2024-10-25 04:18:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 04:19:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-25 04:22:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-10-25 04:22:54 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2024-10-25 04:23:43 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-25 04:23:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-25 04:24:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-10-25 04:25:18 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-10-25 04:26:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-25 04:27:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 04:31:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-25 04:36:46 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:6d01:fe2b:de0:d441) (Read error: Connection reset by peer) |
2024-10-25 04:38:28 +0200 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
2024-10-25 04:40:11 +0200 | td_ | (~td@i5387090F.versanet.de) |
2024-10-25 04:40:50 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-25 04:42:24 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
2024-10-25 04:43:05 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-10-25 04:44:07 +0200 | terrorjack4 | (~terrorjac@static.48.15.202.116.clients.your-server.de) terrorjack |
2024-10-25 04:44:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 04:48:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-25 04:50:27 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 4.4.2) |
2024-10-25 04:59:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 05:04:11 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-10-25 05:04:48 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2024-10-25 05:04:48 +0200 | ChanServ | +v haskellbridge |
2024-10-25 05:06:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-25 05:09:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
2024-10-25 05:10:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2024-10-25 05:11:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-25 05:11:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-10-25 05:11:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2024-10-25 05:13:25 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-10-25 05:14:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 05:16:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 05:18:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-25 05:19:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 05:20:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
2024-10-25 05:20:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-25 05:21:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 05:21:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 05:22:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-25 05:23:08 +0200 | hgolden | (~hgolden@169.150.203.23) hgolden |
2024-10-25 05:24:59 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 260 seconds) |
2024-10-25 05:26:09 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2024-10-25 05:27:04 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2024-10-25 05:27:09 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-25 05:32:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 05:37:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 05:39:41 +0200 | spew | (~spew@185.153.177.94) (Quit: good night) |
2024-10-25 05:48:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 05:55:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-25 05:58:15 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
2024-10-25 05:58:36 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-10-25 06:06:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 06:11:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-25 06:22:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 06:27:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-25 06:28:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 06:32:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-25 06:33:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 06:38:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-25 06:42:04 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
2024-10-25 06:42:19 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2024-10-25 06:42:56 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2024-10-25 06:42:57 +0200 | EvanR_ | (~EvanR@user/evanr) EvanR |
2024-10-25 06:43:33 +0200 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 248 seconds) |
2024-10-25 06:43:33 +0200 | Techcable | (sid534393@user/Techcable) (Ping timeout: 248 seconds) |
2024-10-25 06:43:55 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 264 seconds) |
2024-10-25 06:44:13 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
2024-10-25 06:44:16 +0200 | Me-me | (~me-me@user/me-me) (Read error: Connection reset by peer) |
2024-10-25 06:44:26 +0200 | Wstfgl0 | Me-me |
2024-10-25 06:44:26 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
2024-10-25 06:44:27 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 246 seconds) |
2024-10-25 06:44:31 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 264 seconds) |
2024-10-25 06:44:37 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
2024-10-25 06:45:37 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
2024-10-25 06:45:38 +0200 | bw | (sid2730@user/betawaffle) betawaffle |
2024-10-25 06:45:40 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
2024-10-25 06:45:42 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
2024-10-25 06:45:44 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
2024-10-25 06:46:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-25 06:47:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
2024-10-25 06:47:33 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
2024-10-25 06:47:37 +0200 | jackdk | (sid373013@cssa/jackdk) jackdk |
2024-10-25 06:47:53 +0200 | Techcable | (sid534393@user/Techcable) Techcable |
2024-10-25 06:48:05 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
2024-10-25 06:49:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 06:51:49 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2024-10-25 06:53:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 06:55:52 +0200 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
2024-10-25 06:56:19 +0200 | artu | (~artu@li90-184.members.linode.com) artu |
2024-10-25 06:56:43 +0200 | hgolden | (~hgolden@169.150.203.23) (Quit: Leaving) |
2024-10-25 06:56:57 +0200 | hgolden | (~hgolden@169.150.203.23) hgolden |
2024-10-25 07:02:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-25 07:03:57 +0200 | euleritian | (~euleritia@176.6.128.48) |
2024-10-25 07:05:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 07:06:31 +0200 | artu | (~artu@li90-184.members.linode.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
2024-10-25 07:08:36 +0200 | artu | (~artu@li90-184.members.linode.com) artu |
2024-10-25 07:10:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-25 07:12:06 +0200 | michalz | (~michalz@185.246.207.193) |
2024-10-25 07:14:32 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
2024-10-25 07:15:54 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-10-25 07:16:12 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-10-25 07:17:19 +0200 | hgolden_ | (~hgolden@146.70.172.37) hgolden |
2024-10-25 07:17:20 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-10-25 07:18:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
2024-10-25 07:19:48 +0200 | hgolden | (~hgolden@169.150.203.23) (Ping timeout: 246 seconds) |
2024-10-25 07:20:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 07:21:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-25 07:25:19 +0200 | euleritian | (~euleritia@176.6.128.48) (Ping timeout: 264 seconds) |
2024-10-25 07:25:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 07:26:00 +0200 | euleritian | (~euleritia@dynamic-176-006-135-172.176.6.pool.telefonica.de) |
2024-10-25 07:27:31 +0200 | euleritian | (~euleritia@dynamic-176-006-135-172.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-25 07:27:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 07:29:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-25 07:38:34 +0200 | Square | (~Square@user/square) Square |
2024-10-25 07:38:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-25 07:39:10 +0200 | euleritian | (~euleritia@dynamic-176-006-135-172.176.6.pool.telefonica.de) |
2024-10-25 07:39:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-25 07:43:20 +0200 | hgolden__ | (~hgolden@23.162.40.110) hgolden |
2024-10-25 07:44:33 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-10-25 07:45:57 +0200 | hgolden_ | (~hgolden@146.70.172.37) (Ping timeout: 248 seconds) |
2024-10-25 07:49:22 +0200 | alp | (~alp@2001:861:e3d6:8f80:34d6:624f:71bd:319b) |
2024-10-25 07:51:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 07:52:31 +0200 | <cheater> | int-e: ah, the Total Recall operator |
2024-10-25 07:56:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-25 08:03:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-25 08:06:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 08:08:01 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
2024-10-25 08:11:13 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
2024-10-25 08:11:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-25 08:14:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-25 08:18:59 +0200 | euleritian | (~euleritia@dynamic-176-006-135-172.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-10-25 08:20:06 +0200 | euleritian | (~euleritia@dynamic-176-002-146-178.176.2.pool.telefonica.de) |
2024-10-25 08:22:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 08:22:52 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
2024-10-25 08:25:29 +0200 | <carbolymer> | lol |
2024-10-25 08:27:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-25 08:30:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 08:31:14 +0200 | CiaoSen | (~Jura@2a05:5800:470:a00:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-25 08:32:13 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-25 08:34:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-25 08:35:18 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-25 08:43:44 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
2024-10-25 08:46:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 08:51:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-25 08:54:33 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-25 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-25 09:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-25 09:01:20 +0200 | euleritian | (~euleritia@dynamic-176-002-146-178.176.2.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-25 09:01:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 09:02:09 +0200 | euleritian | (~euleritia@176.2.1.182) |
2024-10-25 09:07:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-25 09:08:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 09:13:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-25 09:23:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb03d1a45ef603fb56e9.dip0.t-ipconnect.de) acidjnk |
2024-10-25 09:24:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 09:25:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-10-25 09:29:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-25 09:29:52 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-25 09:30:08 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-10-25 09:31:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-25 09:41:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2024-10-25 09:43:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-25 09:45:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-25 09:51:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-25 09:52:51 +0200 | chele | (~chele@user/chele) chele |
2024-10-25 09:56:01 +0200 | euleritian | (~euleritia@176.2.1.182) (Ping timeout: 248 seconds) |
2024-10-25 09:57:14 +0200 | euleritian | (~euleritia@dynamic-176-006-139-122.176.6.pool.telefonica.de) |
2024-10-25 10:09:40 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-10-25 10:12:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-25 10:20:47 +0200 | euleritian | (~euleritia@dynamic-176-006-139-122.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-25 10:21:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 10:32:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-25 10:38:31 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 264 seconds) |
2024-10-25 10:47:15 +0200 | <tomsmeding> | :t fmap fmap fmap |
2024-10-25 10:47:16 +0200 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-10-25 10:47:45 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-25 10:49:54 +0200 | son0p | (~ff@190.69.120.100) (Ping timeout: 252 seconds) |
2024-10-25 10:51:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2024-10-25 10:59:33 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
2024-10-25 11:24:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-25 11:25:45 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
2024-10-25 11:29:05 +0200 | <ash3en> | does ghc use happy/alex as parser and lexing mechanisms? |
2024-10-25 11:31:23 +0200 | <tomsmeding> | ash3en: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Parser/Lexer.x https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Parser.y |
2024-10-25 11:32:08 +0200 | <ash3en> | tomsmeding: thank you for the links as well as the TH explanations I just saw |
2024-10-25 11:32:26 +0200 | <tomsmeding> | :) |
2024-10-25 11:32:49 +0200 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-10-25 11:34:13 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 248 seconds) |
2024-10-25 11:36:32 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-10-25 11:37:37 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
2024-10-25 11:38:17 +0200 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 252 seconds) |
2024-10-25 11:38:47 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-25 11:40:31 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit) |
2024-10-25 11:41:59 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-25 11:44:49 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2024-10-25 11:47:12 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
2024-10-25 11:48:31 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2024-10-25 11:53:16 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-10-25 11:54:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-25 11:55:04 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3768:4546:4853:a163) |
2024-10-25 11:56:45 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3768:4546:4853:a163) (Remote host closed the connection) |
2024-10-25 11:57:02 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3d9:9a29:a310:5aa4) |
2024-10-25 11:57:56 +0200 | alp | (~alp@2001:861:e3d6:8f80:34d6:624f:71bd:319b) (Ping timeout: 272 seconds) |
2024-10-25 11:59:45 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-10-25 12:00:22 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-10-25 12:05:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-25 12:06:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-25 12:11:19 +0200 | hgolden_ | (~hgolden@169.150.203.10) hgolden |
2024-10-25 12:14:04 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 260 seconds) |
2024-10-25 12:15:32 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-25 12:20:22 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |