2023/09/28

Newest at the top

2023-09-28 12:35:12 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk)
2023-09-28 12:34:54 +0200aforemny_aforemny
2023-09-28 12:31:58 +0200__monty__(~toonn@user/toonn)
2023-09-28 12:22:30 +0200jinsun(~jinsun@user/jinsun)
2023-09-28 12:21:30 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-09-28 12:17:35 +0200Simikando(~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds)
2023-09-28 12:16:06 +0200CiaoSen(~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds)
2023-09-28 12:03:42 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-09-28 12:00:54 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds)
2023-09-28 11:57:02 +0200califax(~califax@user/califx)
2023-09-28 11:56:43 +0200 <danse-nr3_> they refer to what i asked some hours ago tewuzij: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1094038#trid1094038
2023-09-28 11:55:09 +0200subhuman(~user@user/subhuman) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2023-09-28 11:54:36 +0200subhuman(~user@user/subhuman)
2023-09-28 11:52:43 +0200 <haskellbridge> <t​ewuzij> What would deriving do?
2023-09-28 11:46:05 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-09-28 11:32:58 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-09-28 11:30:15 +0200 <dminuoso> Typeclasses are the Haskell way of implicit coercions.
2023-09-28 11:29:22 +0200 <dminuoso> Changing types will compile but alter the behavior, which runs opposite of all the type safety we tend to embrace in Haskell.
2023-09-28 11:29:03 +0200 <dminuoso> Indeed, this is one of those downsides of typeclass based de-/serialization approaches.
2023-09-28 11:22:41 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-09-28 11:18:38 +0200 <lyxia> danse-nr3_: "don't use deriving" is a possible solution there
2023-09-28 11:17:55 +0200danse-nr3_(~francesco@151.35.222.149)
2023-09-28 11:17:35 +0200danse-nr3_(~francesco@151.35.222.149) (Remote host closed the connection)
2023-09-28 11:17:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-09-28 11:15:03 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
2023-09-28 11:03:11 +0200notzmv(~zmv@user/notzmv)
2023-09-28 10:52:16 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6)
2023-09-28 10:46:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-09-28 10:43:16 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-09-28 10:42:49 +0200sm(~sm@plaintextaccounting/sm)
2023-09-28 10:42:46 +0200gehmehgeh(~user@user/gehmehgeh)
2023-09-28 10:40:53 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-09-28 10:40:31 +0200TheCoffeMaker_(~TheCoffeM@201.235.1.143) (Ping timeout: 252 seconds)
2023-09-28 10:40:06 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2023-09-28 10:38:24 +0200hiyori(~hiyori@user/hiyori) (Quit: Client closed)
2023-09-28 10:38:01 +0200solution(~solution@94-21-82-218.pool.digikabel.hu)
2023-09-28 10:36:12 +0200solution(~solution@92-249-141-207.pool.digikabel.hu) (K-Lined)
2023-09-28 10:34:23 +0200renpose(~renpose@user/renpose)
2023-09-28 10:32:55 +0200aku(~aku@65.108.245.241)
2023-09-28 10:32:47 +0200aku(~aku@65.108.245.241) (Ping timeout: 258 seconds)
2023-09-28 10:31:10 +0200jinsun(~jinsun@user/jinsun)
2023-09-28 10:30:55 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-09-28 10:30:42 +0200privacy(~privacy@user/privacy)
2023-09-28 10:25:21 +0200codedmart(~codedmart@li335-49.members.linode.com)
2023-09-28 10:25:04 +0200codedmart(~codedmart@li335-49.members.linode.com) (Ping timeout: 245 seconds)
2023-09-28 10:22:44 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-09-28 10:18:46 +0200phma(phma@2001:5b0:211b:87c8:28d4:e22f:2ee:7f96)
2023-09-28 10:18:19 +0200euleritian(~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
2023-09-28 10:15:23 +0200todi(~todi@p4fd1a856.dip0.t-ipconnect.de)
2023-09-28 10:14:49 +0200cfricke(~cfricke@user/cfricke)