Newest at the top
| 2026-02-18 02:25:15 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:25:08 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:24:36 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.6.3) |
| 2026-02-18 02:22:24 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 245 seconds) |
| 2026-02-18 02:22:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 02:16:39 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:16:26 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:15:48 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 02:11:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 02:06:43 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 02:05:12 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:05:08 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:04:56 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-18 02:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:57:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 01:56:33 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2026-02-18 01:56:25 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Server closed connection) |
| 2026-02-18 01:54:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-18 01:53:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 01:48:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:48:14 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-18 01:46:36 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:46:23 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:41:27 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-02-18 01:41:05 +0100 | vgtw | (~vgtw@user/vgtw) (Server closed connection) |
| 2026-02-18 01:38:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 01:33:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:31:47 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 01:31:40 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:22:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 01:21:41 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 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:18:23 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 01:18:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:14:34 +0100 | <n0w0n> | ATS mentioned? |
| 2026-02-18 01:14:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2026-02-18 01:14:10 +0100 | <hadronized> | I placed the proof after, but that’s the same idea |
| 2026-02-18 01:14:03 +0100 | <hadronized> | val pf | ptr = malloc(sizeof<i32>); |
| 2026-02-18 01:13:44 +0100 | <hadronized> | I just reversed it, because ATS places the proof on the lhs |
| 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:11:47 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-18 01:08:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-18 01:08:50 +0100 | malte | (~malte@mal.tc) malte |
| 2026-02-18 01:07:54 +0100 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2026-02-18 01:07:39 +0100 | mmarusea1ph2 | (~mihai@mihai.page) (Server closed 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:05:55 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2026-02-18 01:02:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:01:20 +0100 | sus03 | (zero@user/zeromomentum) zeromomentum |
| 2026-02-18 01:01:05 +0100 | sus03 | (zero@user/zeromomentum) (Server closed connection) |