| 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 |
| 2026-02-18 09:15:58 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-18 09:16:01 +0100 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 246 seconds) |
| 2026-02-18 09:16:16 +0100 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-02-18 09:22:18 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-18 09:22:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-18 09:26:48 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-18 09:30:51 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-18 09:32:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-18 09:36:18 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-02-18 09:41:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-18 09:42:19 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Server closed connection) |
| 2026-02-18 09:42:32 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2026-02-18 09:47:03 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-18 10:05:00 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-18 10:13:29 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-18 10:22:48 +0100 | NixClaw | (~NixClaw@user/NixClaw) (Remote host closed the connection) |
| 2026-02-18 10:23:05 +0100 | Pixi | (~Pixi@user/pixi) (Server closed connection) |
| 2026-02-18 10:23:31 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-02-18 10:23:53 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-18 10:23:53 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-18 10:23:53 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 10:24:11 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 10:24:13 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-18 10:24:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-18 10:26:52 +0100 | Alex_delenda_est | (~al_test@85.174.181.228) |
| 2026-02-18 10:31:00 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-18 10:33:08 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-18 10:47:07 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-18 11:02:19 +0100 | dolio | (~dolio@130.44.140.168) (Server closed connection) |
| 2026-02-18 11:04:47 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-02-18 11:06:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-18 11:18:56 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-02-18 11:26:48 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-18 11:26:58 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-18 11:33:13 +0100 | uowou | (~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-18 11:39:32 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-18 12:04:48 +0100 | <gentauro> | hadronized: which proof tool are you using? |
| 2026-02-18 12:05:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae) |
| 2026-02-18 12:06:02 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-18 12:19:47 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-18 12:24:25 +0100 | int-e | (~noone@int-e.eu) (Server closed connection) |
| 2026-02-18 12:24:35 +0100 | int-e | (~noone@int-e.eu) int-e |
| 2026-02-18 12:31:45 +0100 | cjay | (~cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 2026-02-18 12:31:55 +0100 | cjay | (~cjay@nerdbox.nerd2nerd.org) cjay |
| 2026-02-18 12:36:25 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Server closed connection) |
| 2026-02-18 12:36:43 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-18 12:41:05 +0100 | Flow | (~none@gentoo/developer/flow) (Server closed connection) |
| 2026-02-18 12:41:44 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-18 12:48:46 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 12:52:59 +0100 | krei-se | (~krei-se@p5dea1d59.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-18 12:53:21 +0100 | krei-se | (~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) krei-se |
| 2026-02-18 12:56:59 +0100 | myme | (~myme@2a01:799:d5e:5f00:1efd:1fab:dfd5:7518) (Server closed connection) |
| 2026-02-18 12:57:23 +0100 | myme | (~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) myme |
| 2026-02-18 13:06:36 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-18 13:10:44 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 245 seconds) |
| 2026-02-18 13:14:56 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2026-02-18 13:16:36 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-02-18 13:20:02 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-18 13:22:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-18 13:22:36 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 13:22:36 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-18 13:22:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-18 13:22:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-18 13:22:50 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-18 13:22:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-18 13:22:55 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 13:22:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-18 13:23:03 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-18 13:25:39 +0100 | mulk | (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-18 13:26:29 +0100 | mulk | (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk |
| 2026-02-18 13:41:06 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-18 13:41:19 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds) |
| 2026-02-18 13:43:24 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-02-18 13:43:56 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 13:45:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-18 13:55:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-18 13:55:24 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 14:13:39 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Server closed connection) |
| 2026-02-18 14:14:40 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-18 14:23:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-18 14:23:58 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-18 14:27:12 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-18 14:29:41 +0100 | uowou | (~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.7.1) |
| 2026-02-18 14:29:45 +0100 | michalz | (~michalz@185.246.207.200) |
| 2026-02-18 14:33:14 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-02-18 14:44:11 +0100 | skum | (~skum@user/skum) skum |
| 2026-02-18 14:44:30 +0100 | crazazy | (crazazy@tilde.town) crazazy |
| 2026-02-18 14:46:59 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-18 15:05:19 +0100 | chr55 | (57a0c161b0@user/chr55) (Ping timeout: 245 seconds) |
| 2026-02-18 15:05:19 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds) |
| 2026-02-18 15:05:45 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-18 15:05:56 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-18 15:09:49 +0100 | chr55 | (57a0c161b0@user/chr55) chr55 |
| 2026-02-18 15:09:49 +0100 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2026-02-18 15:09:50 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-02-18 15:09:53 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2026-02-18 15:17:04 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-18 15:31:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-18 15:40:54 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-18 15:51:19 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2026-02-18 15:57:20 +0100 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2026-02-18 15:58:35 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-18 16:01:37 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-18 16:06:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-18 16:14:29 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-18 16:15:39 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-18 16:19:11 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-18 16:19:49 +0100 | rembo10_ | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-18 16:22:03 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2026-02-18 16:32:19 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 265 seconds) |
| 2026-02-18 16:32:44 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 16:37:39 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2026-02-18 16:38:19 +0100 | Guest53 | (~Guest99@143.110.247.45) |
| 2026-02-18 16:41:13 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 16:44:14 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-18 16:45:24 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-18 16:45:29 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-02-18 16:46:00 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-18 16:57:12 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 17:00:26 +0100 | Guest53 | (~Guest99@143.110.247.45) (Quit: Client closed) |
| 2026-02-18 17:08:19 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2026-02-18 17:13:01 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-18 17:19:41 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 265 seconds) |
| 2026-02-18 17:21:30 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-18 17:22:18 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 17:22:37 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 17:25:58 +0100 | califax_ | (~califax@user/califx) califx |
| 2026-02-18 17:27:33 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-18 17:28:22 +0100 | wickedjargon | (~user@24.244.23.133) wickedjargon |
| 2026-02-18 17:29:40 +0100 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2026-02-18 17:29:41 +0100 | califax_ | califax |
| 2026-02-18 17:43:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-18 17:43:58 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-18 17:44:59 +0100 | raincomplex | (~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-02-18 17:47:46 +0100 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-02-18 17:54:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2026-02-18 17:55:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-18 18:01:57 +0100 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
| 2026-02-18 18:06:34 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 18:07:51 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 18:08:06 +0100 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2026-02-18 18:08:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 18:10:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-18 18:11:01 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2026-02-18 18:11:03 +0100 | haveo | (~weechat@pacamara.iuwt.fr) (Client Quit) |
| 2026-02-18 18:12:54 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-02-18 18:20:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-18 18:22:37 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-18 18:24:54 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2026-02-18 18:31:44 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-02-18 18:42:20 +0100 | Googulator56 | Googulator |
| 2026-02-18 18:43:30 +0100 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-02-18 18:52:37 +0100 | michalz | (~michalz@185.246.207.200) (Ping timeout: 250 seconds) |
| 2026-02-18 18:52:45 +0100 | michalz_ | (~michalz@185.246.207.205) |
| 2026-02-18 18:54:29 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-18 19:01:01 +0100 | gAy_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2026-02-18 19:01:16 +0100 | A_Dragon | (A_D@libera/staff/dragon) ad |
| 2026-02-18 19:01:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-18 19:03:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-18 19:04:19 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-18 19:05:48 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2026-02-18 19:09:47 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-02-18 19:17:34 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Quit: leaving) |
| 2026-02-18 19:17:37 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-18 19:18:05 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-02-18 19:18:21 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit) |
| 2026-02-18 19:18:48 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-02-18 19:22:02 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit) |
| 2026-02-18 19:22:31 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-02-18 19:23:35 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit) |
| 2026-02-18 19:24:30 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-02-18 19:29:22 +0100 | tessier_ | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2026-02-18 19:30:35 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 252 seconds) |
| 2026-02-18 19:37:34 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-02-18 19:38:18 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-02-18 19:38:39 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-02-18 19:41:03 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-18 19:41:59 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-18 19:43:30 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-02-18 19:47:05 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-18 19:49:27 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-18 19:55:31 +0100 | aaronm04 | (~user@user/aaronm04) (Server closed connection) |
| 2026-02-18 19:55:35 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-18 19:55:50 +0100 | aaronm04 | (~user@user/aaronm04) aaronm04 |
| 2026-02-18 19:59:39 +0100 | nonzen_ | (~nonzen@user/nonzen) (Server closed connection) |
| 2026-02-18 19:59:55 +0100 | nonzen | (~nonzen@user/nonzen) nonzen |
| 2026-02-18 20:00:51 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (Server closed connection) |
| 2026-02-18 20:01:03 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) loonycyborg |
| 2026-02-18 20:01:31 +0100 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2026-02-18 20:01:39 +0100 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2026-02-18 20:02:05 +0100 | AlexNoo | (~AlexNoo@85.174.181.228) (Read error: Connection reset by peer) |
| 2026-02-18 20:10:46 +0100 | sus03 | (zero@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 2026-02-18 20:10:58 +0100 | sus03 | (zero@user/zeromomentum) zeromomentum |
| 2026-02-18 20:14:12 +0100 | lantti | (~lantti@xcalibur.cc.tut.fi) (Ping timeout: 264 seconds) |
| 2026-02-18 20:14:44 +0100 | lantti | (~lantti@xcalibur.cc.tut.fi) |
| 2026-02-18 20:14:59 +0100 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
| 2026-02-18 20:15:18 +0100 | liskin | (~liskin@xmonad/liskin) Liskni_si |
| 2026-02-18 20:15:31 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2026-02-18 20:15:41 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2026-02-18 20:24:24 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-18 20:24:25 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 20:24:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-18 20:24:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-18 20:24:37 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-18 20:24:47 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 20:39:46 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 20:45:09 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 269 seconds) |
| 2026-02-18 20:45:42 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-18 20:46:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2026-02-18 20:48:35 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-18 20:56:59 +0100 | n0w0n | (~john@user/n0w0n) (Quit: WeeChat 4.6.3) |
| 2026-02-18 20:57:26 +0100 | A_Dragon | gAy_Dragon |
| 2026-02-18 20:59:29 +0100 | Jackneill | (~Jackneill@94-21-15-238.pool.digikabel.hu) (Quit: Leaving) |
| 2026-02-18 21:08:17 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 21:12:11 +0100 | mikko | (~mikko@user/mikko) (Server closed connection) |
| 2026-02-18 21:12:34 +0100 | mikko | (~mikko@user/mikko) mikko |
| 2026-02-18 21:22:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 21:22:19 +0100 | PHO` | (~pho@akari.cielonegro.org) (Server closed connection) |
| 2026-02-18 21:22:19 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 265 seconds) |
| 2026-02-18 21:22:34 +0100 | PHO` | (~pho@akari.cielonegro.org) PHO` |
| 2026-02-18 21:26:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-18 21:29:36 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-18 21:30:35 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-02-18 21:32:59 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (Server closed connection) |
| 2026-02-18 21:33:19 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2026-02-18 21:34:04 +0100 | pavonia | (~user@ip5f5bf469.dynamic.kabel-deutschland.de) |
| 2026-02-18 21:34:27 +0100 | pavonia | Guest1439 |
| 2026-02-18 21:35:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-18 21:36:25 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-18 21:36:45 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-18 21:37:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 21:38:42 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-18 21:39:17 +0100 | Guest1439 | (~user@ip5f5bf469.dynamic.kabel-deutschland.de) (Changing host) |
| 2026-02-18 21:39:17 +0100 | Guest1439 | (~user@user/siracusa) siracusa |
| 2026-02-18 21:39:28 +0100 | Guest1439 | pavonia |
| 2026-02-18 21:39:35 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-02-18 21:42:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-18 21:46:02 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-18 21:49:57 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-18 21:50:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-18 21:51:02 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-18 21:51:16 +0100 | larsivi | (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 2026-02-18 21:51:55 +0100 | dpk | (~dpk@jains.nonceword.org) (Quit: .) |
| 2026-02-18 21:52:07 +0100 | dpk | (~dpk@jains.nonceword.org) |
| 2026-02-18 21:53:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-18 21:55:02 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-18 21:55:23 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-18 21:57:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-18 21:58:55 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-18 21:59:54 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-02-18 22:01:49 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |