| 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 |
| 2026-02-18 02:57:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 02:57:44 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 252 seconds) |
| 2026-02-18 02:57:44 +0100 | polykernel_ | polykernel |
| 2026-02-18 03:01:23 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 03:01:50 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 03:02:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-18 03:04:39 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 03:04:42 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-18 03:07:01 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-18 03:07:17 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 03:07:45 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-18 03:13:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 03:17:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 03:20:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 03:21:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-18 03:21:29 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 03:21:30 +0100 | Googulator1 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 03:21:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 03:25:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-18 03:27:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 03:28:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 03:29:39 +0100 | cess11 | (~pns@2a01:4f9:6b:5499::2) (Server closed connection) |
| 2026-02-18 03:30:00 +0100 | pns | (~pns@2a01:4f9:6b:5499::2) |
| 2026-02-18 03:33:05 +0100 | acro | (~acro@user/acro) (Server closed connection) |
| 2026-02-18 03:33:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 03:33:52 +0100 | acro | (~acro@user/acro) acro |
| 2026-02-18 03:39:20 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 03:39:45 +0100 | Googulator1 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 03:43:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 03:48:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 03:54:52 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-18 03:59:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 03:59:26 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-18 04:06:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 04:10:36 +0100 | td_ | (~td@i53870928.versanet.de) (Ping timeout: 264 seconds) |
| 2026-02-18 04:12:05 +0100 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2026-02-18 04:15:05 +0100 | gentauro | (~gentauro@user/gentauro) (Server closed connection) |
| 2026-02-18 04:15:15 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-02-18 04:20:36 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 04:20:43 +0100 | Googulator83 | (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) |
| 2026-02-18 04:22:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 04:23:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-18 04:27:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 04:29:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-02-18 04:31:14 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-18 04:32:25 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Server closed connection) |
| 2026-02-18 04:35:11 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Read error: Connection reset by peer) |
| 2026-02-18 04:36:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-02-18 04:37:43 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2026-02-18 04:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 04:38:38 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-18 04:40:45 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-18 04:43:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 04:50:18 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-18 04:53:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 04:54:52 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) (Read error: Connection reset by peer) |
| 2026-02-18 04:55:05 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-18 04:57:22 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 246 seconds) |
| 2026-02-18 04:58:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 05:09:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 05:09:04 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) (Read error: Connection reset by peer) |
| 2026-02-18 05:09:17 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-18 05:13:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 05:17:48 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-18 05:18:25 +0100 | xerox | (~edi@user/edi) (Server closed connection) |
| 2026-02-18 05:18:34 +0100 | xerox | (~edi@user/edi) edi |
| 2026-02-18 05:19:09 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-18 05:19:35 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-18 05:24:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 05:27:05 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 05:27:38 +0100 | Googulator83 | (~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) (Quit: Client closed) |
| 2026-02-18 05:28:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 05:31:31 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2026-02-18 05:31:45 +0100 | connrs | (~connrs@user/connrs) (Server closed connection) |
| 2026-02-18 05:31:52 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2026-02-18 05:32:16 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-18 05:36:19 +0100 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) (Server closed connection) |
| 2026-02-18 05:36:32 +0100 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) |
| 2026-02-18 05:39:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 05:40:08 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-18 05:45:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 05:49:25 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 05:49:47 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 05:55:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 06:00:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 06:08:12 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2026-02-18 06:08:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 06:10:25 +0100 | davean | (~davean@davean.sciesnet.net) (Server closed connection) |
| 2026-02-18 06:10:43 +0100 | davean | (~davean@davean.sciesnet.net) davean |
| 2026-02-18 06:13:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 06:14:35 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-18 06:19:27 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 265 seconds) |
| 2026-02-18 06:23:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 06:28:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-18 06:39:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 06:39:36 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2026-02-18 06:44:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 06:51:45 +0100 | emergence | (emergence@vm0.max-p.me) (Server closed connection) |
| 2026-02-18 06:51:54 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-18 06:51:57 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2026-02-18 06:52:04 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-18 06:54:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 06:55:24 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-18 06:56:14 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-18 06:58:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2026-02-18 06:59:40 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-02-18 07:00:57 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-18 07:01:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-18 07:07:35 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-02-18 07:09:37 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-18 07:09:48 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2026-02-18 07:14:04 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-02-18 07:15:49 +0100 | koolazer | (~koo@user/koolazer) (Read error: Connection reset by peer) |
| 2026-02-18 07:18:23 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-18 07:20:05 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-18 07:23:23 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2026-02-18 07:24:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 07:27:17 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-18 07:28:31 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-18 07:29:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-18 07:29:36 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-18 07:40:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 07:44:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-18 07:51:14 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-18 07:51:56 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-18 07:55:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 07:58:33 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-18 08:00:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-18 08:03:49 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-18 08:10:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 08:13:15 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-18 08:15:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 08:25:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 08:26:02 +0100 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-18 08:26:36 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-02-18 08:26:38 +0100 | trampi | (~trampi@mx.trampusch.info) (Client Quit) |
| 2026-02-18 08:32:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 08:35:45 +0100 | Square3 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-02-18 08:36:25 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2026-02-18 08:39:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-18 08:40:24 +0100 | Alex_delenda_est | (~al_test@85.174.183.241) (Read error: Connection reset by peer) |
| 2026-02-18 08:40:24 +0100 | AlexNoo | (~AlexNoo@85.174.183.241) (Read error: Connection reset by peer) |
| 2026-02-18 08:40:24 +0100 | AlexZenon | (~alzenon@85.174.183.241) (Read error: Connection reset by peer) |
| 2026-02-18 08:41:07 +0100 | AlexNoo | (~AlexNoo@85.174.181.228) |
| 2026-02-18 08:42:31 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-02-18 08:43:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 08:44:24 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-18 08:44:56 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-18 08:46:25 +0100 | p3n | (~p3n@217.198.124.246) (Server closed connection) |
| 2026-02-18 08:46:40 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-02-18 08:46:58 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-18 08:48:13 +0100 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-18 08:48:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 08:54:54 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-18 08:57:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-18 08:58:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 2026-02-18 08:59:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 09:01:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-18 09:04:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 09:04:02 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2026-02-18 09:04:10 +0100 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2026-02-18 09:05:23 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2026-02-18 09:07:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-02-18 09:08:11 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-18 09:08:59 +0100 | omnifunctor | (~omnifunct@user/semifunctor) (Server closed connection) |
| 2026-02-18 09:09:13 +0100 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2026-02-18 09:12:25 +0100 | monochrom | (trebla@216.138.220.146) (Server closed connection) |
| 2026-02-18 09:13:14 +0100 | monochrom | (trebla@216.138.220.146) monochrom |