Newest at the top
| 2025-03-05 20:17:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-05 20:16:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-05 20:16:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-03-05 20:16:12 +0100 | bilegeek__ | (~bilegeek@2600:1008:b06f:f975:a471:7a4:18e0:46c) (Ping timeout: 276 seconds) |
| 2025-03-05 20:14:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-03-05 20:14:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2025-03-05 20:14:09 +0100 | bilegeek_ | (~bilegeek@2600:1008:b09d:26e1:5113:f5a5:f05a:228d) (Ping timeout: 260 seconds) |
| 2025-03-05 20:13:36 +0100 | jespada | (~jespada@r186-48-57-94.dialup.adsl.anteldata.net.uy) jespada |
| 2025-03-05 20:12:03 +0100 | bilegeek | (~bilegeek@2600:1008:b050:b561:2843:58a0:b048:fc36) (Ping timeout: 245 seconds) |
| 2025-03-05 20:11:19 +0100 | bilegeek__ | (~bilegeek@2600:1008:b06f:f975:a471:7a4:18e0:46c) bilegeek |
| 2025-03-05 20:09:39 +0100 | bilegeek_ | (~bilegeek@2600:1008:b09d:26e1:5113:f5a5:f05a:228d) bilegeek |
| 2025-03-05 20:08:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-05 20:07:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-05 20:03:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-05 20:02:39 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-05 19:55:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-05 19:55:00 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-03-05 19:49:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) |
| 2025-03-05 19:49:13 +0100 | Googulator | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-05 19:48:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-03-05 19:47:49 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:42eb:c7e6:6d02:7a65) (Quit: ubert) |
| 2025-03-05 19:46:43 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-03-05 19:41:30 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:e1d3:88d5:3ff2:2f10) fun-safe-math |
| 2025-03-05 19:40:15 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:26d6:a094:aa3b:66cd) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-05 19:39:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-05 19:39:11 +0100 | jespada | (~jespada@2800:a4:22da:e400:b167:8181:c13f:cb54) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-05 19:38:15 +0100 | Googulator | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) |
| 2025-03-05 19:37:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-05 19:37:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-05 19:35:43 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-03-05 19:33:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-05 19:28:14 +0100 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-03-05 19:27:01 +0100 | bilegeek | (~bilegeek@2600:1008:b050:b561:2843:58a0:b048:fc36) bilegeek |
| 2025-03-05 19:21:04 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2025-03-05 19:20:55 +0100 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-03-05 19:15:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-05 19:13:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-05 19:12:21 +0100 | fp | (~Thunderbi@89-27-29-68.bb.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-03-05 19:11:31 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-03-05 18:59:14 +0100 | <tomsmeding> | (a more charitable take is that this is an implementation paper that assumes you already know how slicing works in principle -- which is fair) |
| 2025-03-05 18:56:10 +0100 | <tomsmeding> | but I have a rough idea from the discussion here and that's good enough for me now |
| 2025-03-05 18:55:59 +0100 | <tomsmeding> | that paper looks more technical, especially in presentation (guys, you don't explain something by first giving 200 definitions), than I'm willing to read right now :) |
| 2025-03-05 18:55:25 +0100 | <tomsmeding> | right |
| 2025-03-05 18:55:17 +0100 | <dminuoso> | To the point that this could even be a guided process |
| 2025-03-05 18:55:04 +0100 | <dminuoso> | So if we take the usual approach of "add type signatures to constrain the type checker", the type error slicers would tell you *precisely* the places that actually would have any impact on that process. |
| 2025-03-05 18:54:20 +0100 | <davean> | You can pick a location you can make more minimal changes in terms of code to bring into alignment |
| 2025-03-05 18:53:57 +0100 | <dminuoso> | It may also relate to some SML implementations, I am not sure. |
| 2025-03-05 18:53:56 +0100 | <davean> | The error is them not matching |
| 2025-03-05 18:53:35 +0100 | <tomsmeding> | anyway this is arguing semantics |
| 2025-03-05 18:53:33 +0100 | <davean> | The actual error is both places |