Newest at the top
| 2024-10-27 22:23:50 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) Everything |
| 2024-10-27 22:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-27 22:16:26 +0100 | vglfr | (~vglfr@2607:fb91:836:4cfb:ad2:e57:b394:3d9a) vglfr |
| 2024-10-27 22:15:43 +0100 | vglfr | (~vglfr@2607:fb90:eabb:971:ac39:c397:4eb4:a9a0) (Ping timeout: 264 seconds) |
| 2024-10-27 22:15:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-27 22:11:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
| 2024-10-27 22:10:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
| 2024-10-27 22:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-27 22:08:47 +0100 | vglfr | (~vglfr@2607:fb90:eabb:971:ac39:c397:4eb4:a9a0) vglfr |
| 2024-10-27 22:08:14 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 255 seconds) |
| 2024-10-27 22:06:10 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
| 2024-10-27 22:05:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-27 21:55:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-27 21:55:06 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
| 2024-10-27 21:52:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-27 21:51:53 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-27 21:51:24 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-27 21:50:57 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-10-27 21:50:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
| 2024-10-27 21:47:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-27 21:45:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
| 2024-10-27 21:45:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-27 21:34:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-27 21:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-27 21:30:00 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
| 2024-10-27 21:27:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
| 2024-10-27 21:27:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-27 21:26:08 +0100 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Quit: Lost terminal) |
| 2024-10-27 21:25:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-10-27 21:24:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-27 21:23:56 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
| 2024-10-27 21:21:47 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-135.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2024-10-27 21:19:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-27 21:18:37 +0100 | swistak | (~swistak@185.21.216.141) |
| 2024-10-27 21:18:19 +0100 | swistak- | (~swistak@185.21.216.141) (Ping timeout: 260 seconds) |
| 2024-10-27 21:14:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-27 21:13:05 +0100 | <tomsmeding> | I guess there's still the possibility of writing insertion sort, but that's not necessarily easier than the proper linear solution |
| 2024-10-27 21:12:53 +0100 | ljdarj1 | ljdarj |
| 2024-10-27 21:12:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-10-27 21:12:37 +0100 | <tomsmeding> | ah :) |
| 2024-10-27 21:12:18 +0100 | <monochrom> | Oh haha this was more fun. The question already defined "sort xs = unwrap (foldMap sing xs)". So the door was closed. |
| 2024-10-27 21:10:04 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-27 21:06:01 +0100 | <monochrom> | I forgot. Let me check the marking scheme I wrote. |
| 2024-10-27 21:05:50 +0100 | <Rembane> | Just gotta have the right sorting function! |
| 2024-10-27 21:05:26 +0100 | <int-e> | (because of how sort is implemented) |
| 2024-10-27 21:05:26 +0100 | <tomsmeding> | cute :) |
| 2024-10-27 21:05:15 +0100 | <tomsmeding> | yes |
| 2024-10-27 21:05:12 +0100 | <int-e> | tomsmeding: the irony there is... if a and b are sorted, that'll be O(n) |
| 2024-10-27 21:05:04 +0100 | <tomsmeding> | I guess that's actually linear with Haskell's sort function |
| 2024-10-27 21:04:49 +0100 | <tomsmeding> | (such as: \a b -> sort (a ++ b)) |