Newest at the top
| 2026-04-25 17:38:39 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 272 seconds) |
| 2026-04-25 17:33:31 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-25 17:31:59 +0000 | pipgirl | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 2026-04-25 17:29:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-25 17:22:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 17:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 17:17:40 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-25 17:17:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2026-04-25 17:17:02 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-25 17:12:27 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-04-25 17:11:46 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-25 17:11:29 +0000 | bkani | (~bkani@user/bkani) (Remote host closed the connection) |
| 2026-04-25 17:08:15 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 272 seconds) |
| 2026-04-25 17:07:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-25 17:01:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 16:58:48 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-25 16:58:17 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-25 16:57:18 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-25 16:52:42 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-04-25 16:52:28 +0000 | gf31 | (~gf3@user/gf3) gf3 |
| 2026-04-25 16:51:16 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-04-25 16:50:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-25 16:47:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-25 16:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 16:34:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-25 16:32:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-25 16:32:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b126:fd53:cf84:2645) (Changing host) |
| 2026-04-25 16:32:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b126:fd53:cf84:2645) |
| 2026-04-25 16:30:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 16:24:54 +0000 | gf31 | (~gf3@user/gf3) (Quit: bye bye bye) |
| 2026-04-25 16:20:35 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-25 16:20:09 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-25 16:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 16:15:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 16:07:49 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-04-25 16:03:09 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-25 16:01:05 +0000 | <monochrom> | raincomplex: I teach that in ideal cases for polymorphic functions, parametricity (free theorems) decreases the number of necessary test cases. Suppose I wrote f :: a -> [a]. While the type alone doesn't tell you everything, add one test case and together they do. If testing discovers f () = [(), ()], then you know f x = [x, x] for all x, so for example you don't need to re-test with f 4. |
| 2026-04-25 15:57:45 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-25 15:55:29 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-04-25 15:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-25 15:47:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-25 15:44:08 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-25 15:44:00 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Quit: Leaving) |
| 2026-04-25 15:42:40 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 245 seconds) |
| 2026-04-25 15:37:59 +0000 | pipgirl | (~nick@c-76-152-12-168.hsd1.ma.comcast.net) |
| 2026-04-25 15:36:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-25 15:33:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-25 15:31:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |