| 2026-02-18 00:03:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-18 00:03:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 00:03:31 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 00:04:36 +0100 | humasect_ | humasect |
| 2026-02-18 00:05:09 +0100 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) (Quit: WeeChat 4.8.1) |
| 2026-02-18 00:05:45 +0100 | cstml | (~cstml@user/cstml) (Server closed connection) |
| 2026-02-18 00:07:21 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-18 00:07:33 +0100 | cstml | (~cstml@user/cstml) cstml |
| 2026-02-18 00:14:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 00:15:11 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 00:15:14 +0100 | Googulator10 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 00:17:58 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-18 00:18:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 00:26:39 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2026-02-18 00:27:22 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-18 00:29:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 00:32:23 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-18 00:34:43 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-18 00:34:55 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-18 00:36:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 00:36:56 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-02-18 00:39:11 +0100 | Square3 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-02-18 00:45:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-18 00:47:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 00:48:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) (Ping timeout: 245 seconds) |
| 2026-02-18 00:49:00 +0100 | malte | (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2026-02-18 00:51:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-18 00:51:18 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2026-02-18 00:51:24 +0100 | malte | (~malte@mal.tc) malte |
| 2026-02-18 00:51:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 00:56:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 00:56:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-18 00:56:51 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 01:01:05 +0100 | sus03 | (zero@user/zeromomentum) (Server closed connection) |
| 2026-02-18 01:01:20 +0100 | sus03 | (zero@user/zeromomentum) zeromomentum |
| 2026-02-18 01:02:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:05:55 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2026-02-18 01:07:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 01:07:39 +0100 | mmarusea1ph2 | (~mihai@mihai.page) (Server closed connection) |
| 2026-02-18 01:07:54 +0100 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2026-02-18 01:08:50 +0100 | malte | (~malte@mal.tc) malte |
| 2026-02-18 01:08:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-18 01:11:47 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-18 01:13:31 +0100 | <hadronized> | tomsmeding: > is that | a sum type; not really, it’s more the ATS syntax for dependent pairs |
| 2026-02-18 01:13:44 +0100 | <hadronized> | I just reversed it, because ATS places the proof on the lhs |
| 2026-02-18 01:14:03 +0100 | <hadronized> | val pf | ptr = malloc(sizeof<i32>); |
| 2026-02-18 01:14:10 +0100 | <hadronized> | I placed the proof after, but that’s the same idea |
| 2026-02-18 01:14:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2026-02-18 01:14:34 +0100 | <n0w0n> | ATS mentioned? |
| 2026-02-18 01:18:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:18:23 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:18:43 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:21:41 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-02-18 01:22:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 01:31:40 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:31:47 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |