| 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) |
| 2026-02-18 01:33:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:38:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 01:41:05 +0100 | vgtw | (~vgtw@user/vgtw) (Server closed connection) |
| 2026-02-18 01:41:27 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-02-18 01:46:23 +0100 | Googulator38 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 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:48:14 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-18 01:48:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 01:53:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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:56:25 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Server closed connection) |
| 2026-02-18 01:56:33 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2026-02-18 01:57:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 02:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 02:04:56 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 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:05:12 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:06:43 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-18 02:11:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 02:15:48 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 02:16:26 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 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:22:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 02:22:24 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 245 seconds) |
| 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:25:08 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:25:15 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:26:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 02:42:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 02:43:08 +0100 | Googulator83 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:43:26 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:47:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 02:47:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Server closed connection) |
| 2026-02-18 02:48:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-02-18 02:48:39 +0100 | Googulator83 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 02:48:45 +0100 | Googulator92 | (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) |
| 2026-02-18 02:52:38 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 02:52:45 +0100 | Googulator92 | (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) (Client Quit) |
| 2026-02-18 02:55:59 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 02:56:19 +0100 | c_wraith | (~c_wraith@adjoint.us) (Server closed connection) |
| 2026-02-18 02:56:34 +0100 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2026-02-18 02:56:59 +0100 | noctux | (~noctux@user/noctux) (Server closed connection) |
| 2026-02-18 02:57:09 +0100 | noctux | (~noctux@user/noctux) noctux |