Newest at the top
| 2026-04-30 09:24:45 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2026-04-30 09:19:59 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 252 seconds) |
| 2026-04-30 09:17:06 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 09:15:54 +0000 | <ski> | (also for compile-time-scheduled-deallocation when you're dropping the reference, you also want uniqueness) |
| 2026-04-30 09:14:49 +0000 | <ski> | for update-in-place optimization of destroy-and-make-new-version, you want a unique reference, not having been duplicated in the past |
| 2026-04-30 09:13:28 +0000 | <ski> | it unique. with linearity, you're forbidden from duplicating the reference in the future, but it might still have been duplicated in the past, before the linearity constraint was imposed on it |
| 2026-04-30 09:13:22 +0000 | <ski> | hadronized : "now that I linear types, a form of value dependency to implement borrowing","linearity for correct resource management; value dependency / borrowing for correct memory usage" -- it sounds like possibly you're having some form of uniqueness, not linearity. with uniqueness, you know noone has duplicated the reference in the past, but you still can, in the future, if you're not required to return |
| 2026-04-30 09:12:05 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 09:09:44 +0000 | <ski> | type class resolution also lack backtracking. and the cut relies heavily on ordering (of clauses, of disjunctions, and conjunctions, and when unifications are performed), while Haskell type class and instance declarations are supposed to be order independent |
| 2026-04-30 09:00:19 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 08:56:06 +0000 | tok | (~user@user/tok) tok |
| 2026-04-30 08:54:07 +0000 | Square | (~Square4@user/square) Square |
| 2026-04-30 08:52:20 +0000 | Googulator | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-30 08:50:41 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-04-30 08:49:16 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:46:21 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-04-30 08:45:48 +0000 | berberman | (~berberman@user/berberman) (Client Quit) |
| 2026-04-30 08:44:31 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-04-30 08:43:47 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 08:40:18 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 08:38:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 08:37:31 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 08:35:26 +0000 | myme | (~myme@2a01:799:d5e:5f00:3407:abcf:7e59:2ab6) myme |
| 2026-04-30 08:34:24 +0000 | myme | (~myme@2a01:799:d5e:5f00:35e0:fff9:f0bb:6422) (Ping timeout: 246 seconds) |
| 2026-04-30 08:34:03 +0000 | xff0x | (~xff0x@om126254252124.33.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2026-04-30 08:33:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:32:54 +0000 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-04-30 08:32:14 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:25:55 +0000 | xff0x | (~xff0x@om126254252124.33.openmobile.ne.jp) |
| 2026-04-30 08:24:13 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds) |
| 2026-04-30 08:23:28 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-04-30 08:22:59 +0000 | bwe49895 | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2026-04-30 08:21:53 +0000 | acidjnk | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 08:21:48 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 08:20:16 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 276 seconds) |
| 2026-04-30 08:20:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 08:15:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:15:04 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:13:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 08:10:26 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 08:06:34 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-30 08:06:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 08:05:28 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 08:02:24 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 07:57:34 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 07:56:58 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 248 seconds) |
| 2026-04-30 07:55:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 07:54:44 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-30 07:53:39 +0000 | synchromesh | (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 245 seconds) |
| 2026-04-30 07:52:57 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |