2025/05/14

Newest at the top

2025-05-14 17:07:49 +0200Ekho(~Ekho@user/ekho) (Remote host closed the connection)
2025-05-14 17:06:23 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-14 16:56:15 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 265 seconds)
2025-05-14 16:55:55 +0200chele(~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 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-14 16:50:58 +0200fp(~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 +0200acidjnk(~acidjnk@p200300d6e71c4f19e412b9b0af92c1b5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-05-14 16:32:09 +0200bitdex(~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 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp
2025-05-14 16:21:56 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-05-14 16:20:42 +0200fp(~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Ping timeout: 252 seconds)
2025-05-14 16:20:01 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-05-14 16:13:37 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-05-14 16:06:07 +0200CiaoSen(~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 +0200tomsmedingwill 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 +0200mceresa(~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 +0200hellwolfduck
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