Newest at the top
| 2026-04-29 22:18:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 22:17:47 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-29 22:16:50 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 248 seconds) |
| 2026-04-29 22:16:37 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-29 22:16:19 +0000 | yuuta | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-04-29 22:15:28 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-29 22:14:28 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 276 seconds) |
| 2026-04-29 22:14:06 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-04-29 22:12:50 +0000 | layline_ | (~layline@149.154.26.170) (Ping timeout: 252 seconds) |
| 2026-04-29 22:06:58 +0000 | divlamir_ | divlamir |
| 2026-04-29 22:06:34 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-04-29 22:06:01 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-29 22:04:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-29 22:03:55 +0000 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 264 seconds) |
| 2026-04-29 22:03:41 +0000 | <hadronized> | never heard of that |
| 2026-04-29 22:03:38 +0000 | <hadronized> | eqtype variables |
| 2026-04-29 22:02:55 +0000 | <int-e> | hadronized: "How to make ad-hoc polymorphism less ad hoc" https://doi.org/10.1145/75277.75283 would be canonical... the introduction says that having familiar arithmetic and equality were motivating starting points. |
| 2026-04-29 22:02:08 +0000 | AlexZenon_2 | (~alzenon@178.34.162.165) |
| 2026-04-29 22:00:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 21:58:31 +0000 | <TMA> | "what have the Romans ever done for us? |
| 2026-04-29 21:53:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-29 21:53:17 +0000 | <hadronized> | with my (yelling) internal voice stating that a ducked typed function is horrible, but besides the ergonomics and API-level contract, what do we solve with typeclasses? |
| 2026-04-29 21:53:17 +0000 | <hadronized> | is there a writeup somewhere about what kind of fundamental problem typeclasses solve? I’m designing my own language, and now that I linear types, a form of value dependency to implement borrowing, and a couple of other features that solve a concrete correctness problem (linearity for correct resource management; value dependency / borrowing for correct memory usage; etc.), I now wonder what typeclasses solve; I’m trying not to think |
| 2026-04-29 21:52:44 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-04-29 21:52:28 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2026-04-29 21:47:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 21:43:32 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-04-29 21:42:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 21:40:39 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-29 21:36:27 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 255 seconds) |
| 2026-04-29 21:32:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-29 21:32:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 21:31:16 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-29 21:31:16 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-29 21:31:16 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-29 21:30:59 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Remote host closed the connection) |
| 2026-04-29 21:28:07 +0000 | Comstar | (~Comstar@user/Comstar) (Ping timeout: 244 seconds) |
| 2026-04-29 21:27:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 21:26:36 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds) |
| 2026-04-29 21:23:35 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-29 21:16:20 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-04-29 21:16:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-29 21:16:06 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2026-04-29 21:12:33 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-29 21:11:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 21:11:10 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-29 21:08:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-29 21:07:25 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-29 21:06:42 +0000 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2026-04-29 21:06:16 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |