Newest at the top
2025-05-14 17:07:49 +0200 | Ekho | (~Ekho@user/ekho) (Remote host closed the connection) |
2025-05-14 17:06:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-05-14 16:56:15 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
2025-05-14 16:55:55 +0200 | chele | (~chele@user/chele) chele |
2025-05-14 16:54:08 +0200 | <yin> | is there any way we can parameterize data constructors on pattern matches? |
2025-05-14 16:51:44 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-05-14 16:50:58 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 276 seconds) |
2025-05-14 16:46:08 +0200 | <EvanR> | compilation times |
2025-05-14 16:42:39 +0200 | <EvanR> | well QQ is cool and all but |
2025-05-14 16:38:42 +0200 | <sprout> | certified |
2025-05-14 16:38:19 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f19e412b9b0af92c1b5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-05-14 16:32:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-05-14 16:31:25 +0200 | <hellwolf> | am I crazy? |
2025-05-14 16:31:17 +0200 | <hellwolf> | actually TH is a pleasant to work with with QuasiQuotes |
2025-05-14 16:30:29 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp |
2025-05-14 16:21:56 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-05-14 16:20:42 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 252 seconds) |
2025-05-14 16:20:01 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
2025-05-14 16:13:37 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-05-14 16:06:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-05-14 16:06:06 +0200 | <yin> | fair point |
2025-05-14 16:06:04 +0200 | <int-e> | sorry, I should stop too, this isn't going anywhere and IANAL |
2025-05-14 16:05:55 +0200 | <int-e> | ... |
2025-05-14 16:05:44 +0200 | <int-e> | so? |
2025-05-14 16:05:27 +0200 | <yin> | not with certainty |
2025-05-14 16:04:46 +0200 | <int-e> | yin: Ask a lawyer. But IP adresses can be used to link online activities. |
2025-05-14 16:04:28 +0200 | tomsmeding | will leave the gdpr discussion for what it is and wait for a takedown request, if it ever comes (I hope not) |
2025-05-14 16:04:12 +0200 | <hellwolf> | int-e: classic. |
2025-05-14 16:04:01 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
2025-05-14 16:03:42 +0200 | <yin> | does an IP adress by itself (with no other PII associated with it) constitute PII? |
2025-05-14 16:03:00 +0200 | <int-e> | hellwolf: or rabbit? https://www.brainonfire.net/blog/2022/04/11/what-is-parser-mismatch/attach/Kaninchen_und_Ente.svg |
2025-05-14 16:02:06 +0200 | <tomsmeding> | don't drown in TH |
2025-05-14 16:02:01 +0200 | hellwolf | duck |
2025-05-14 16:01:46 +0200 | <hellwolf> | makeLenses |
2025-05-14 16:01:46 +0200 | <yin> | thirParty :: a |
2025-05-14 16:01:43 +0200 | <hellwolf> | alright, gonna learn how to write a similar thing to MkLenses |
2025-05-14 16:00:34 +0200 | <tomsmeding> | Warning: no definition given for methods: personalData, controller |
2025-05-14 16:00:11 +0200 | <yin> | instance GDPR IrcBrowse where legitimateInterest = undefined |
2025-05-14 16:00:07 +0200 | <int-e> | "this is inconvenient" isn't enough. |
2025-05-14 15:59:50 +0200 | <int-e> | yin: a clear-cut legitimate interest would be "we need to keep a record of your payment info and purchase record for 5 years to comply with anti money laundering laws" |
2025-05-14 15:58:50 +0200 | <EvanR> | ya |
2025-05-14 15:58:45 +0200 | <tomsmeding> | > This is widely considered a misfeature |
2025-05-14 15:58:38 +0200 | <tomsmeding> | EvanR: don't |
2025-05-14 15:58:34 +0200 | <tomsmeding> | lol |
2025-05-14 15:58:33 +0200 | <EvanR> | oh I didn't even know you could do that |
2025-05-14 15:58:31 +0200 | <hellwolf> | Sorry, GADTSyntax |
2025-05-14 15:58:27 +0200 | <hellwolf> | if you are a hip Haskellers like GDPRSyntax |
2025-05-14 15:58:18 +0200 | <hellwolf> | data Anyways where MkAnyways :: forall a. Hypothetical a => Anyways |
2025-05-14 15:58:11 +0200 | <tomsmeding> | EvanR: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/datatype_contexts.html#extension-Da… |
2025-05-14 15:57:58 +0200 | <tomsmeding> | it's a context on the constructor |