Newest at the top
| 2026-06-10 06:50:28 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-10 06:50:10 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-10 06:50:03 +0000 | <hc> | Is there a way to express that in pure haskell? |
| 2026-06-10 06:49:57 +0000 | <hc> | Hello, I've got a type theory kind of question... Suppose I want to implement a HashMap k v in haskell, then add Show to it. However, some vs may not implement Show. Just in those cases, I want to number then values, just use v0...vn instead of showing the real value |
| 2026-06-10 06:49:46 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-10 06:49:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-06-10 06:47:58 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-10 06:45:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-10 06:45:22 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2026-06-10 06:43:56 +0000 | constxd | (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2026-06-10 06:43:20 +0000 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2026-06-10 06:42:51 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 252 seconds) |
| 2026-06-10 06:42:41 +0000 | Jacqueline__ | (uid751191@id-751191.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-10 06:41:22 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-06-10 06:41:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 06:38:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-10 06:38:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-10 06:32:54 +0000 | RSBach | RMSBach |
| 2026-06-10 06:32:30 +0000 | RSBach | (~RMSBach@24.210.2.24) RMSBach |
| 2026-06-10 06:32:17 +0000 | RMSBach | (~RMSBach@24.210.2.24) (Read error: Connection reset by peer) |
| 2026-06-10 06:31:58 +0000 | tt12316070197800 | tt1231607019780 |
| 2026-06-10 06:31:58 +0000 | tt1231607019780 | (~tt1231@75.185.104.199) (Read error: Connection reset by peer) |
| 2026-06-10 06:31:27 +0000 | tt12316070197800 | (~tt1231@75.185.104.199) tt1231 |
| 2026-06-10 06:30:20 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-10 06:30:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-10 06:30:09 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-10 06:29:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-10 06:29:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Broken pipe) |
| 2026-06-10 06:29:11 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-10 06:29:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-10 06:28:31 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Quit: Ping timeout (120 seconds)) |
| 2026-06-10 06:27:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-10 06:27:19 +0000 | hc | (~hc@mail.hce.li) hc |
| 2026-06-10 06:22:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-10 06:22:12 +0000 | tt12316070197804 | tt1231607019780 |
| 2026-06-10 06:22:12 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 246 seconds) |
| 2026-06-10 06:20:33 +0000 | tt12316070197804 | (~tt1231@75.185.104.199) tt1231 |
| 2026-06-10 06:19:43 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-10 06:19:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-10 06:19:22 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-10 06:15:30 +0000 | fed-kaczynski_ | fed-kaczynski |
| 2026-06-10 06:13:45 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-10 06:12:55 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) (Ping timeout: 264 seconds) |
| 2026-06-10 06:12:39 +0000 | fed-kaczynski_ | (~fed-kaczy@user/fed-kaczynski) fed-kaczynski |
| 2026-06-10 06:07:21 +0000 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2026-06-10 06:07:18 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-10 06:07:00 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-10 05:50:02 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-10 05:49:46 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-10 05:45:55 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |