Newest at the top
| 2023-09-28 13:23:35 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-09-28 13:22:48 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-09-28 13:22:11 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-09-28 13:21:12 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-28 13:20:35 +0200 | danse-nr3_ | (~francesco@151.35.222.149) (Ping timeout: 255 seconds) |
| 2023-09-28 13:16:25 +0200 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2023-09-28 13:15:58 +0200 | hseg | (~gesh@77.137.68.224) |
| 2023-09-28 13:13:23 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 2023-09-28 13:11:34 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 2023-09-28 13:05:53 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-09-28 13:03:51 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-09-28 13:03:10 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-09-28 12:56:40 +0200 | cpressey | (~cpressey@host-92-10-148-184.as13285.net) |
| 2023-09-28 12:54:16 +0200 | privacy | (~privacy@user/privacy) (Remote host closed the connection) |
| 2023-09-28 12:50:41 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-28 12:49:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-28 12:35:12 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-28 12:34:54 +0200 | aforemny_ | aforemny |
| 2023-09-28 12:31:58 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-28 12:22:30 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-28 12:21:30 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-28 12:17:35 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-09-28 12:16:06 +0200 | CiaoSen | (~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 2023-09-28 12:03:42 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-28 12:00:54 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds) |
| 2023-09-28 11:57:02 +0200 | califax | (~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 +0200 | subhuman | (~user@user/subhuman) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2023-09-28 11:54:36 +0200 | subhuman | (~user@user/subhuman) |
| 2023-09-28 11:52:43 +0200 | <haskellbridge> | <tewuzij> What would deriving do? |
| 2023-09-28 11:46:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-28 11:32:58 +0200 | Sgeo | (~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 +0200 | nate2 | (~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 +0200 | danse-nr3_ | (~francesco@151.35.222.149) |
| 2023-09-28 11:17:35 +0200 | danse-nr3_ | (~francesco@151.35.222.149) (Remote host closed the connection) |
| 2023-09-28 11:17:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-28 11:15:03 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-28 11:03:11 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-28 10:52:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 2023-09-28 10:46:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-28 10:43:16 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-28 10:42:49 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-28 10:42:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-09-28 10:40:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-09-28 10:40:31 +0200 | TheCoffeMaker_ | (~TheCoffeM@201.235.1.143) (Ping timeout: 252 seconds) |
| 2023-09-28 10:40:06 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |