2026/02/18

2026-02-18 00:01:05 +0000sus03(zero@user/zeromomentum) (Server closed connection)
2026-02-18 00:01:20 +0000sus03(zero@user/zeromomentum) zeromomentum
2026-02-18 00:02:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 00:05:55 +0000malte(~malte@mal.tc) (Remote host closed the connection)
2026-02-18 00:07:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 00:07:39 +0000mmarusea1ph2(~mihai@mihai.page) (Server closed connection)
2026-02-18 00:07:54 +0000mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2026-02-18 00:08:50 +0000malte(~malte@mal.tc) malte
2026-02-18 00:08:50 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds)
2026-02-18 00:11:47 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-02-18 00:13:31 +0000 <hadronized> tomsmeding: > is that | a sum type; not really, it’s more the ATS syntax for dependent pairs
2026-02-18 00:13:44 +0000 <hadronized> I just reversed it, because ATS places the proof on the lhs
2026-02-18 00:14:03 +0000 <hadronized> val pf | ptr = malloc(sizeof<i32>);
2026-02-18 00:14:10 +0000 <hadronized> I placed the proof after, but that’s the same idea
2026-02-18 00:14:28 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2026-02-18 00:14:34 +0000 <n0w0n> ATS mentioned?
2026-02-18 00:18:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 00:18:23 +0000Googulator90(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 00:18:43 +0000Googulator84(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 00:21:41 +0000j1n37(~j1n37@user/j1n37) j1n37
2026-02-18 00:22:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 00:31:40 +0000Googulator7(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 00:31:47 +0000Googulator90(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 00:33:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 00:38:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 00:41:05 +0000vgtw(~vgtw@user/vgtw) (Server closed connection)
2026-02-18 00:41:27 +0000vgtw(~vgtw@user/vgtw) vgtw
2026-02-18 00:46:23 +0000Googulator38(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 00:46:36 +0000Googulator7(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 00:48:14 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 245 seconds)
2026-02-18 00:48:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 00:53:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 00:54:43 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-18 00:56:25 +0000Buliarous(~gypsydang@46.232.210.139) (Server closed connection)
2026-02-18 00:56:33 +0000Buliarous(~gypsydang@46.232.210.139) Buliarous
2026-02-18 00:57:26 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-18 01:04:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 01:04:56 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-18 01:05:08 +0000Googulator38(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 01:05:12 +0000Googulator61(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 01:06:43 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-18 01:11:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 01:15:48 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-02-18 01:16:26 +0000Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 01:16:39 +0000Googulator61(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 01:22:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 01:22:24 +0000divya(divya@140.238.251.170) (Ping timeout: 245 seconds)
2026-02-18 01:24:36 +0000n0w0n(~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.6.3)
2026-02-18 01:25:08 +0000Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 01:25:15 +0000Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 01:26:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 01:42:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 01:43:08 +0000Googulator83(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 01:43:26 +0000Googulator86(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 01:47:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 01:47:39 +0000simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Server closed connection)
2026-02-18 01:48:02 +0000simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2026-02-18 01:48:39 +0000Googulator83(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 01:48:45 +0000Googulator92(~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde)
2026-02-18 01:52:38 +0000Googulator21(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 01:52:45 +0000Googulator92(~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) (Client Quit)
2026-02-18 01:55:59 +0000polykernel_(~polykerne@user/polykernel) polykernel
2026-02-18 01:56:19 +0000c_wraith(~c_wraith@adjoint.us) (Server closed connection)
2026-02-18 01:56:34 +0000c_wraith(~c_wraith@adjoint.us) c_wraith
2026-02-18 01:56:59 +0000noctux(~noctux@user/noctux) (Server closed connection)
2026-02-18 01:57:09 +0000noctux(~noctux@user/noctux) noctux
2026-02-18 01:57:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 01:57:44 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 252 seconds)
2026-02-18 01:57:44 +0000polykernel_polykernel
2026-02-18 02:01:23 +0000Googulator91(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 02:01:50 +0000Googulator21(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 02:02:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-18 02:04:39 +0000Googulator26(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 02:04:42 +0000Googulator91(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-18 02:07:01 +0000Googulator26(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit)
2026-02-18 02:07:17 +0000Googulator26(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 02:07:45 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-18 02:13:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 02:17:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 02:20:33 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-18 02:21:12 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-18 02:21:29 +0000Googulator26(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 02:21:30 +0000Googulator1(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 02:21:47 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-18 02:25:25 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-18 02:27:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-18 02:28:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 02:29:39 +0000cess11(~pns@2a01:4f9:6b:5499::2) (Server closed connection)
2026-02-18 02:30:00 +0000pns(~pns@2a01:4f9:6b:5499::2)
2026-02-18 02:33:05 +0000acro(~acro@user/acro) (Server closed connection)
2026-02-18 02:33:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 02:33:52 +0000acro(~acro@user/acro) acro
2026-02-18 02:39:20 +0000Googulator15(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 02:39:45 +0000Googulator1(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 02:43:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 02:48:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 02:54:52 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-18 02:59:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 02:59:26 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2026-02-18 03:06:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 03:10:36 +0000td_(~td@i53870928.versanet.de) (Ping timeout: 264 seconds)
2026-02-18 03:12:05 +0000td_(~td@i5387090B.versanet.de) td_
2026-02-18 03:15:05 +0000gentauro(~gentauro@user/gentauro) (Server closed connection)
2026-02-18 03:15:15 +0000gentauro(~gentauro@user/gentauro) gentauro
2026-02-18 03:20:36 +0000Googulator15(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 03:20:43 +0000Googulator83(~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde)
2026-02-18 03:22:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 03:23:16 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-02-18 03:27:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 03:29:15 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2026-02-18 03:31:14 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-18 03:32:25 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Server closed connection)
2026-02-18 03:35:11 +0000rekahsoft(~rekahsoft@76.67.111.168) (Read error: Connection reset by peer)
2026-02-18 03:36:50 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2026-02-18 03:37:43 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2026-02-18 03:38:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 03:38:38 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-18 03:40:45 +0000spew(~spew@user/spew) spew
2026-02-18 03:43:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 03:50:18 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-02-18 03:53:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 03:54:52 +0000sp1ff(~user@2601:1c2:4701:7850::8cd) (Read error: Connection reset by peer)
2026-02-18 03:55:05 +0000sp1ff(~user@2601:1c2:4701:7850::8cd) sp1ff
2026-02-18 03:57:22 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 246 seconds)
2026-02-18 03:58:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 04:09:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 04:09:04 +0000sp1ff(~user@2601:1c2:4701:7850::8cd) (Read error: Connection reset by peer)
2026-02-18 04:09:17 +0000sp1ff(~user@2601:1c2:4701:7850::8cd) sp1ff
2026-02-18 04:13:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 04:17:48 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-02-18 04:18:25 +0000xerox(~edi@user/edi) (Server closed connection)
2026-02-18 04:18:34 +0000xerox(~edi@user/edi) edi
2026-02-18 04:19:09 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-18 04:19:35 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-18 04:24:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 04:27:05 +0000Googulator33(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 04:27:38 +0000Googulator83(~Googulato@2a01:36d:106:499d:6164:ec92:51a0:9cde) (Quit: Client closed)
2026-02-18 04:28:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 04:31:31 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2026-02-18 04:31:45 +0000connrs(~connrs@user/connrs) (Server closed connection)
2026-02-18 04:31:52 +0000connrs(~connrs@user/connrs) connrs
2026-02-18 04:32:16 +0000divya(divya@140.238.251.170) divya
2026-02-18 04:36:19 +0000eL_Bart0(eL_Bart02@dietunichtguten.org) (Server closed connection)
2026-02-18 04:36:32 +0000eL_Bart0(eL_Bart02@dietunichtguten.org)
2026-02-18 04:39:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 04:40:08 +0000housemate(~housemate@202.7.248.67) housemate
2026-02-18 04:45:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 04:49:25 +0000Googulator56(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 04:49:47 +0000Googulator33(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 04:55:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 05:00:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 05:08:12 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2026-02-18 05:08:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 05:10:25 +0000davean(~davean@davean.sciesnet.net) (Server closed connection)
2026-02-18 05:10:43 +0000davean(~davean@davean.sciesnet.net) davean
2026-02-18 05:13:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 05:14:35 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-18 05:19:27 +0000emaczen(~user@user/emaczen) (Ping timeout: 265 seconds)
2026-02-18 05:23:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 05:28:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-18 05:39:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 05:39:36 +0000mange(~mange@user/mange) (Remote host closed the connection)
2026-02-18 05:44:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 05:51:45 +0000emergence(emergence@vm0.max-p.me) (Server closed connection)
2026-02-18 05:51:54 +0000Googulator56(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed)
2026-02-18 05:51:57 +0000emergence(emergence@vm0.max-p.me) emergence
2026-02-18 05:52:04 +0000Googulator56(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu)
2026-02-18 05:54:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 05:55:24 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-02-18 05:56:14 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-18 05:58:55 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds)
2026-02-18 05:59:40 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2026-02-18 06:00:57 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-18 06:01:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-18 06:07:35 +0000Axman6(~Axman6@user/axman6) Axman6
2026-02-18 06:09:37 +0000merijn(~merijn@62.45.136.136) merijn
2026-02-18 06:09:48 +0000tomku(~tomku@user/tomku) (Ping timeout: 256 seconds)
2026-02-18 06:14:04 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 265 seconds)
2026-02-18 06:15:49 +0000koolazer(~koo@user/koolazer) (Read error: Connection reset by peer)
2026-02-18 06:18:23 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-18 06:20:05 +0000Square3(~Square@user/square) Square
2026-02-18 06:23:23 +0000Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2026-02-18 06:24:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 06:27:17 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-18 06:28:31 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63
2026-02-18 06:29:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-18 06:29:36 +0000haritz(~hrtz@user/haritz) (Remote host closed the connection)
2026-02-18 06:40:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 06:44:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-18 06:51:14 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-02-18 06:51:56 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-18 06:55:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 06:58:33 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-18 07:00:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 07:03:49 +0000oskarw(~user@user/oskarw) oskarw
2026-02-18 07:10:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 07:13:15 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Quit: Client closed)
2026-02-18 07:15:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 07:25:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 07:26:02 +0000trampi(~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat)
2026-02-18 07:26:36 +0000trampi(~trampi@mx.trampusch.info) trampi
2026-02-18 07:26:38 +0000trampi(~trampi@mx.trampusch.info) (Client Quit)
2026-02-18 07:32:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 07:35:45 +0000Square3(~Square@user/square) (Ping timeout: 265 seconds)
2026-02-18 07:36:25 +0000tomku(~tomku@user/tomku) tomku
2026-02-18 07:39:06 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-18 07:40:24 +0000Alex_delenda_est(~al_test@85.174.183.241) (Read error: Connection reset by peer)
2026-02-18 07:40:24 +0000AlexNoo(~AlexNoo@85.174.183.241) (Read error: Connection reset by peer)
2026-02-18 07:40:24 +0000AlexZenon(~alzenon@85.174.183.241) (Read error: Connection reset by peer)
2026-02-18 07:41:07 +0000AlexNoo(~AlexNoo@85.174.181.228)
2026-02-18 07:42:31 +0000trampi(~trampi@mx.trampusch.info) trampi
2026-02-18 07:43:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 07:44:24 +0000rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2026-02-18 07:44:56 +0000rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-18 07:46:25 +0000p3n(~p3n@217.198.124.246) (Server closed connection)
2026-02-18 07:46:40 +0000p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2026-02-18 07:46:58 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-18 07:48:13 +0000AlexZenon(~alzenon@85.174.181.228)
2026-02-18 07:48:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 07:54:54 +0000chele(~chele@user/chele) chele
2026-02-18 07:57:54 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-18 07:58:00 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds)
2026-02-18 07:59:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 08:01:04 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de)
2026-02-18 08:04:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 08:04:02 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds)
2026-02-18 08:04:10 +0000haetsal(~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.)
2026-02-18 08:05:23 +0000haetsal(~quassel@221.138.168.192)
2026-02-18 08:07:24 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-02-18 08:08:11 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-02-18 08:08:59 +0000omnifunctor(~omnifunct@user/semifunctor) (Server closed connection)
2026-02-18 08:09:13 +0000omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2026-02-18 08:12:25 +0000monochrom(trebla@216.138.220.146) (Server closed connection)
2026-02-18 08:13:14 +0000monochrom(trebla@216.138.220.146) monochrom
2026-02-18 08:15:58 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63
2026-02-18 08:16:01 +0000slomp(~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 246 seconds)
2026-02-18 08:16:16 +0000slomp(~slomp@47-158-212-88.lsan.ca.frontiernet.net)
2026-02-18 08:22:18 +0000rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2026-02-18 08:22:35 +0000rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-18 08:26:48 +0000KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-18 08:30:51 +0000KindFoxo(~KindFoxo@user/KindoFoxo) (Remote host closed the connection)
2026-02-18 08:32:46 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-18 08:36:18 +0000prdak(~Thunderbi@user/prdak) (Quit: prdak)
2026-02-18 08:41:33 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-18 08:42:19 +0000rncwnd(~quassel@2a01:4f8:221:27c6::1) (Server closed connection)
2026-02-18 08:42:32 +0000rncwnd(~quassel@2a01:4f8:221:27c6::1)
2026-02-18 08:47:03 +0000merijn(~merijn@77.242.116.146) merijn
2026-02-18 09:05:00 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-18 09:13:29 +0000__monty__(~toonn@user/toonn) toonn
2026-02-18 09:22:48 +0000NixClaw(~NixClaw@user/NixClaw) (Remote host closed the connection)
2026-02-18 09:23:05 +0000Pixi(~Pixi@user/pixi) (Server closed connection)
2026-02-18 09:23:31 +0000Pixi(~Pixi@user/pixi) Pixi
2026-02-18 09:23:53 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-02-18 09:23:53 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-02-18 09:23:53 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-18 09:24:11 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-18 09:24:13 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-18 09:24:33 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-18 09:26:52 +0000Alex_delenda_est(~al_test@85.174.181.228)
2026-02-18 09:31:00 +0000housemate(~housemate@202.7.248.67) (Ping timeout: 264 seconds)
2026-02-18 09:33:08 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds)
2026-02-18 09:47:07 +0000fp(~Thunderbi@130.233.70.214) fp
2026-02-18 10:02:19 +0000dolio(~dolio@130.44.140.168) (Server closed connection)
2026-02-18 10:04:47 +0000dolio(~dolio@130.44.140.168) dolio
2026-02-18 10:06:41 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-02-18 10:18:56 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-02-18 10:26:48 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-18 10:26:58 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-02-18 10:33:13 +0000uowou(~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net)
2026-02-18 10:39:32 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2026-02-18 11:04:48 +0000 <gentauro> hadronized: which proof tool are you using?
2026-02-18 11:05:30 +0000xff0x(~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae)
2026-02-18 11:06:02 +0000srazkvt(~sarah@user/srazkvt) (Read error: Connection reset by peer)
2026-02-18 11:19:47 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds)
2026-02-18 11:24:25 +0000int-e(~noone@int-e.eu) (Server closed connection)
2026-02-18 11:24:35 +0000int-e(~noone@int-e.eu) int-e
2026-02-18 11:31:45 +0000cjay(~cjay@nerdbox.nerd2nerd.org) (Server closed connection)
2026-02-18 11:31:55 +0000cjay(~cjay@nerdbox.nerd2nerd.org) cjay
2026-02-18 11:36:25 +0000LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Server closed connection)
2026-02-18 11:36:43 +0000LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-18 11:41:05 +0000Flow(~none@gentoo/developer/flow) (Server closed connection)
2026-02-18 11:41:44 +0000Flow(~none@gentoo/developer/flow) flow
2026-02-18 11:44:23 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-18 11:44:23 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-18 11:44:23 +0000haritz(~hrtz@user/haritz) haritz
2026-02-18 11:48:46 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 11:52:59 +0000krei-se(~krei-se@p5dea1d59.dip0.t-ipconnect.de) (Server closed connection)
2026-02-18 11:53:21 +0000krei-se(~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) krei-se
2026-02-18 11:56:59 +0000myme(~myme@2a01:799:d5e:5f00:1efd:1fab:dfd5:7518) (Server closed connection)
2026-02-18 11:57:23 +0000myme(~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) myme
2026-02-18 12:06:36 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-02-18 12:10:44 +0000fp(~Thunderbi@130.233.70.214) (Ping timeout: 245 seconds)
2026-02-18 12:14:56 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds)
2026-02-18 12:16:36 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-02-18 12:20:02 +0000fp(~Thunderbi@130.233.70.214) fp
2026-02-18 12:22:36 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-18 12:22:36 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-18 12:22:36 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-02-18 12:22:36 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-18 12:22:36 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-02-18 12:22:50 +0000califax(~califax@user/califx) califx
2026-02-18 12:22:52 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-18 12:22:55 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-18 12:22:57 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-18 12:23:03 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-18 12:25:39 +0000mulk(~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection)
2026-02-18 12:26:29 +0000mulk(~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk
2026-02-18 12:41:06 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-18 12:41:19 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds)
2026-02-18 12:43:24 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-02-18 12:43:56 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 12:45:55 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-18 12:55:07 +0000weary-traveler(~user@user/user363627) user363627
2026-02-18 12:55:24 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-02-18 13:13:39 +0000remedan(~remedan@78-80-95-79.customers.tmcz.cz) (Server closed connection)
2026-02-18 13:14:40 +0000remedan(~remedan@78-80-95-79.customers.tmcz.cz) remedan
2026-02-18 13:23:36 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-18 13:23:58 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-18 13:27:12 +0000tremon(~tremon@83.80.159.219) tremon
2026-02-18 13:29:41 +0000uowou(~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.7.1)
2026-02-18 13:29:45 +0000michalz(~michalz@185.246.207.200)
2026-02-18 13:33:14 +0000skum(~skum@user/skum) (Quit: WeeChat 4.8.1)
2026-02-18 13:44:11 +0000skum(~skum@user/skum) skum
2026-02-18 13:44:30 +0000crazazy(crazazy@tilde.town) crazazy
2026-02-18 13:46:59 +0000skinkitten(~skinkitte@user/skinkitten) skinkitten
2026-02-18 14:05:19 +0000chr55(57a0c161b0@user/chr55) (Ping timeout: 245 seconds)
2026-02-18 14:05:19 +0000samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds)
2026-02-18 14:05:45 +0000xdej(~xdej@quatramaran.salle-s.org) (Server closed connection)
2026-02-18 14:05:56 +0000xdej(~xdej@quatramaran.salle-s.org)
2026-02-18 14:09:49 +0000chr55(57a0c161b0@user/chr55) chr55
2026-02-18 14:09:49 +0000bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2026-02-18 14:09:50 +0000samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2026-02-18 14:09:53 +0000lukec(9dfd4d094e@2a03:6000:1812:100::10e)
2026-02-18 14:17:04 +0000rekahsoft(~rekahsoft@76.67.111.168) rekahsoft
2026-02-18 14:31:19 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-18 14:40:54 +0000jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net)
2026-02-18 14:51:19 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2026-02-18 14:57:20 +0000haveo_(~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2)
2026-02-18 14:58:35 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2026-02-18 15:01:37 +0000poscat(~poscat@user/poscat) poscat
2026-02-18 15:06:15 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de)
2026-02-18 15:14:29 +0000emaczen(~user@user/emaczen) emaczen
2026-02-18 15:15:39 +0000skinkitten(~skinkitte@user/skinkitten) (Quit: Client closed)
2026-02-18 15:19:11 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63
2026-02-18 15:19:49 +0000rembo10_(~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-18 15:22:03 +0000rembo10(~rembo10@main.remulis.com) rembo10
2026-02-18 15:32:19 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 265 seconds)
2026-02-18 15:32:44 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-02-18 15:37:39 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection)
2026-02-18 15:38:19 +0000Guest53(~Guest99@143.110.247.45)
2026-02-18 15:41:13 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 15:44:14 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-02-18 15:45:24 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-02-18 15:45:29 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-02-18 15:46:00 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-18 15:57:12 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 16:00:26 +0000Guest53(~Guest99@143.110.247.45) (Quit: Client closed)
2026-02-18 16:08:19 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2026-02-18 16:13:01 +0000Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds)
2026-02-18 16:19:41 +0000fp(~Thunderbi@130.233.70.214) (Ping timeout: 265 seconds)
2026-02-18 16:21:30 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-02-18 16:22:18 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-18 16:22:37 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-18 16:25:58 +0000califax_(~califax@user/califx) califx
2026-02-18 16:27:33 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-18 16:28:22 +0000wickedjargon(~user@24.244.23.133) wickedjargon
2026-02-18 16:29:40 +0000califax(~califax@user/califx) (Ping timeout: 252 seconds)
2026-02-18 16:29:41 +0000califax_califax
2026-02-18 16:43:36 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2026-02-18 16:43:58 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-18 16:44:59 +0000raincomplex(~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-02-18 16:47:46 +0000raincomplex(~rain@user/raincomplex) raincomplex
2026-02-18 16:54:25 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2026-02-18 16:55:00 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-18 17:01:57 +0000stilgart(~Christoph@2001:41d0:2:8673::42) stilgart
2026-02-18 17:06:34 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 17:07:51 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-18 17:08:06 +0000haveo(~weechat@pacamara.iuwt.fr) haveo
2026-02-18 17:08:10 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-18 17:10:44 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de)
2026-02-18 17:11:01 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2026-02-18 17:11:03 +0000haveo(~weechat@pacamara.iuwt.fr) (Client Quit)
2026-02-18 17:12:54 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-02-18 17:20:54 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-18 17:22:37 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2026-02-18 17:24:54 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2026-02-18 17:31:44 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2026-02-18 17:42:20 +0000Googulator56Googulator
2026-02-18 17:43:30 +0000n0w0n(~john@user/n0w0n) n0w0n
2026-02-18 17:52:37 +0000michalz(~michalz@185.246.207.200) (Ping timeout: 250 seconds)
2026-02-18 17:52:45 +0000michalz_(~michalz@185.246.207.205)
2026-02-18 17:54:29 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-02-18 18:01:01 +0000gAy_Dragon(A_D@libera/staff/dragon) (*.net *.split)
2026-02-18 18:01:16 +0000A_Dragon(A_D@libera/staff/dragon) ad
2026-02-18 18:01:31 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-18 18:03:49 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de)
2026-02-18 18:04:19 +0000dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-18 18:05:48 +0000weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2026-02-18 18:09:47 +0000dolio(~dolio@130.44.140.168) dolio
2026-02-18 18:17:34 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Quit: leaving)
2026-02-18 18:17:37 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds)
2026-02-18 18:18:05 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-02-18 18:18:21 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit)
2026-02-18 18:18:48 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-02-18 18:22:02 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit)
2026-02-18 18:22:31 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-02-18 18:23:35 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Client Quit)
2026-02-18 18:24:30 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2026-02-18 18:29:22 +0000tessier_(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2026-02-18 18:30:35 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 252 seconds)
2026-02-18 18:37:34 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2026-02-18 18:38:18 +0000oskarw(~user@user/oskarw) (Remote host closed the connection)
2026-02-18 18:38:39 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-02-18 18:41:03 +0000oskarw(~user@user/oskarw) oskarw
2026-02-18 18:41:59 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-02-18 18:43:30 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-02-18 18:47:05 +0000Square3(~Square@user/square) Square
2026-02-18 18:49:27 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-02-18 18:55:31 +0000aaronm04(~user@user/aaronm04) (Server closed connection)
2026-02-18 18:55:35 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-18 18:55:50 +0000aaronm04(~user@user/aaronm04) aaronm04
2026-02-18 18:59:39 +0000nonzen_(~nonzen@user/nonzen) (Server closed connection)
2026-02-18 18:59:55 +0000nonzen(~nonzen@user/nonzen) nonzen
2026-02-18 19:00:51 +0000loonycyborg(~loonycybo@wesnoth/developer/loonycyborg) (Server closed connection)
2026-02-18 19:01:03 +0000loonycyborg(~loonycybo@wesnoth/developer/loonycyborg) loonycyborg
2026-02-18 19:01:31 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection)
2026-02-18 19:01:39 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2026-02-18 19:02:05 +0000AlexNoo(~AlexNoo@85.174.181.228) (Read error: Connection reset by peer)
2026-02-18 19:10:46 +0000sus03(zero@user/zeromomentum) (Quit: Ping timeout (120 seconds))
2026-02-18 19:10:58 +0000sus03(zero@user/zeromomentum) zeromomentum
2026-02-18 19:14:12 +0000lantti(~lantti@xcalibur.cc.tut.fi) (Ping timeout: 264 seconds)
2026-02-18 19:14:44 +0000lantti(~lantti@xcalibur.cc.tut.fi)
2026-02-18 19:14:59 +0000liskin(~liskin@xmonad/liskin) (Server closed connection)
2026-02-18 19:15:18 +0000liskin(~liskin@xmonad/liskin) Liskni_si
2026-02-18 19:15:31 +0000jmct(sid160793@id-160793.tinside.irccloud.com) (Server closed connection)
2026-02-18 19:15:41 +0000jmct(sid160793@id-160793.tinside.irccloud.com)
2026-02-18 19:24:24 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-02-18 19:24:25 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-18 19:24:25 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-18 19:24:35 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-18 19:24:37 +0000califax(~califax@user/califx) califx
2026-02-18 19:24:47 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-18 19:39:46 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 19:45:09 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 269 seconds)
2026-02-18 19:45:42 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-18 19:46:41 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2026-02-18 19:48:35 +0000Lord_of_Life_Lord_of_Life
2026-02-18 19:56:59 +0000n0w0n(~john@user/n0w0n) (Quit: WeeChat 4.6.3)
2026-02-18 19:57:26 +0000A_DragongAy_Dragon
2026-02-18 19:59:29 +0000Jackneill(~Jackneill@94-21-15-238.pool.digikabel.hu) (Quit: Leaving)
2026-02-18 20:08:17 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 20:12:11 +0000mikko(~mikko@user/mikko) (Server closed connection)
2026-02-18 20:12:34 +0000mikko(~mikko@user/mikko) mikko
2026-02-18 20:22:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 20:22:19 +0000PHO`(~pho@akari.cielonegro.org) (Server closed connection)
2026-02-18 20:22:19 +0000oskarw(~user@user/oskarw) (Ping timeout: 265 seconds)
2026-02-18 20:22:34 +0000PHO`(~pho@akari.cielonegro.org) PHO`
2026-02-18 20:26:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 20:29:36 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2026-02-18 20:30:35 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-02-18 20:32:59 +0000fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) (Server closed connection)
2026-02-18 20:33:19 +0000fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) fernando-basso
2026-02-18 20:34:04 +0000pavonia(~user@ip5f5bf469.dynamic.kabel-deutschland.de)
2026-02-18 20:34:27 +0000pavoniaGuest1439
2026-02-18 20:35:44 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-18 20:36:25 +0000polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2026-02-18 20:36:45 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-02-18 20:37:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 20:38:42 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2026-02-18 20:39:17 +0000Guest1439(~user@ip5f5bf469.dynamic.kabel-deutschland.de) (Changing host)
2026-02-18 20:39:17 +0000Guest1439(~user@user/siracusa) siracusa
2026-02-18 20:39:28 +0000Guest1439pavonia
2026-02-18 20:39:35 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-02-18 20:42:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 20:46:02 +0000Googulator72(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-18 20:49:57 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-18 20:50:25 +0000Googulator(~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds)
2026-02-18 20:51:02 +0000oskarw(~user@user/oskarw) oskarw
2026-02-18 20:51:16 +0000larsivi(~larsivi@user/larsivi) (Quit: WeeChat 4.8.1)
2026-02-18 20:51:55 +0000dpk(~dpk@jains.nonceword.org) (Quit: .)
2026-02-18 20:52:07 +0000dpk(~dpk@jains.nonceword.org)
2026-02-18 20:53:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 20:55:02 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-18 20:55:23 +0000spew(~spew@user/spew) spew
2026-02-18 20:57:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 20:58:55 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2026-02-18 20:59:54 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-02-18 21:01:49 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit)
2026-02-18 21:02:46 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-02-18 21:04:22 +0000jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2026-02-18 21:06:19 +0000astroanax(~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Server closed connection)
2026-02-18 21:06:42 +0000astroanax(~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) astroanax
2026-02-18 21:08:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 21:08:26 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-02-18 21:09:39 +0000wickedjargon(~user@24.244.23.133) (Remote host closed the connection)
2026-02-18 21:10:08 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1)
2026-02-18 21:10:59 +0000h2t(~h2t@user/h2t) (Server closed connection)
2026-02-18 21:11:14 +0000h2t(~h2t@user/h2t) h2t
2026-02-18 21:11:19 +0000gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2026-02-18 21:12:12 +0000Square2(~Square4@user/square) Square
2026-02-18 21:12:19 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection)
2026-02-18 21:12:32 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2026-02-18 21:12:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 21:14:09 +0000 <EvanR> hmm haskell-bridge is currently not in haskell-game, have we been cut off
2026-02-18 21:15:02 +0000Square3(~Square@user/square) (Ping timeout: 252 seconds)
2026-02-18 21:15:10 +0000int-e(~noone@int-e.eu) (Quit: Reconnecting)
2026-02-18 21:15:19 +0000int-e(~noone@int-e.eu) int-e
2026-02-18 21:18:32 +0000 <geekosaur> yes, you upgraded to room version 12 but I'm stuck at an older synapse that doesn't support it until I can migrate postgres (requires a newer version) or switch to something else (currently planned but don't know when it'll happen)
2026-02-18 21:19:00 +0000 <geekosaur> well, someone upgraded it
2026-02-18 21:19:25 +0000 <EvanR> that explains why no one answered me like weeks ago xD
2026-02-18 21:19:31 +0000Fangs(sid141280@id-141280.hampstead.irccloud.com) (Server closed connection)
2026-02-18 21:19:45 +0000Fangs(sid141280@id-141280.hampstead.irccloud.com) Fangs
2026-02-18 21:21:20 +0000 <geekosaur> I have access to a machine that will let me run matrix-appservice-irc (bidirectional puppeting, with ops' permission) but it'll be a fairly significant project to set it up and switch the bridge over
2026-02-18 21:23:08 +0000 <haskellbridge> <sm> ah sorry EvanR. It was discussed on jan 22 ("bridge is gone for now. Let us know if it gets lonely :)")
2026-02-18 21:23:36 +0000 <EvanR> probably not worth it!
2026-02-18 21:23:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 21:24:47 +0000 <haskellbridge> <sm> come to the matrix side ? more game dev chat there recently
2026-02-18 21:25:35 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-18 21:26:16 +0000 <EvanR> one day maybe
2026-02-18 21:26:27 +0000 <EvanR> people on discord are talking about it as an alternative to discord for reasons
2026-02-18 21:27:17 +0000 <haskellbridge> <sm> that's right, there's a visible wave of new users right now
2026-02-18 21:28:12 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-02-18 21:28:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 21:31:37 +0000 <haskellbridge> <sm> (the last such was when freenode's owner went all insane-super-villain - remember that one ? chat has been a bit boring since)
2026-02-18 21:33:03 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-02-18 21:34:12 +0000 <EvanR> wasn't it more like, freenode's parent company was suddenly bought out by insane-super-villain and before the week was out libera
2026-02-18 21:35:12 +0000 <EvanR> bargain bin lex luthor though not particularly formidable
2026-02-18 21:36:13 +0000 <haskellbridge> <sm> that's right
2026-02-18 21:36:36 +0000 <haskellbridge> <sm> we were lucky it wasn't a really smart supervillain
2026-02-18 21:39:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 21:39:39 +0000JSharp(sid4580@user/JSharp) (Server closed connection)
2026-02-18 21:40:01 +0000JSharp(sid4580@user/JSharp) JSharp
2026-02-18 21:43:39 +0000unlucy(sid572875@user/unlucy) (Server closed connection)
2026-02-18 21:44:11 +0000unlucy(sid572875@user/unlucy) unlucy
2026-02-18 21:45:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 21:48:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2026-02-18 21:50:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-18 21:57:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 21:57:49 +0000yin(~zero@user/zero) (Ping timeout: 245 seconds)
2026-02-18 21:59:49 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-02-18 22:00:02 +0000califax(~califax@user/califx) califx
2026-02-18 22:02:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 22:04:05 +0000yin(~zero@user/zero) zero
2026-02-18 22:07:23 +0000michalz_(~michalz@185.246.207.205) (Remote host closed the connection)
2026-02-18 22:07:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2026-02-18 22:09:31 +0000meejah(~meejah@rutas.meejah.ca) (Server closed connection)
2026-02-18 22:09:39 +0000feetwind(~mike@user/feetwind) (Server closed connection)
2026-02-18 22:09:40 +0000meejah(~meejah@rutas.meejah.ca) meejah
2026-02-18 22:09:59 +0000feetwind(~mike@user/feetwind) feetwind
2026-02-18 22:12:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 22:17:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 22:21:26 +0000mange(~mange@user/mange) mange
2026-02-18 22:23:38 +0000oskarw(~user@user/oskarw) (Ping timeout: 268 seconds)
2026-02-18 22:23:40 +0000fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-02-18 22:27:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 22:30:11 +0000dminuoso(~weechat@user/dminuoso) (Server closed connection)
2026-02-18 22:30:36 +0000dminuoso(~weechat@user/dminuoso) dminuoso
2026-02-18 22:30:41 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2026-02-18 22:31:34 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-18 22:32:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 22:40:21 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-18 22:43:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 22:48:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 22:51:19 +0000yin(~zero@user/zero) (Ping timeout: 264 seconds)
2026-02-18 22:52:11 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-18 22:52:19 +0000jjhoo(~jahakala@user/jjhoo) (Server closed connection)
2026-02-18 22:52:31 +0000AlexNoo(~AlexNoo@85.174.181.228)
2026-02-18 22:52:35 +0000jjhoo(~jahakala@user/jjhoo) jjhoo
2026-02-18 22:56:38 +0000 <__monty__> Freenode didn't change hands, it was already owned by them for a while IIRC. Policies changed and the ops weren't having it.
2026-02-18 22:57:01 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-18 22:58:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 23:03:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-18 23:04:42 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-18 23:14:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 23:16:36 +0000yin(~zero@user/zero) zero
2026-02-18 23:18:43 +0000jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net)
2026-02-18 23:19:03 +0000 <EvanR> yes my account was inaccurate
2026-02-18 23:19:33 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-02-18 23:20:14 +0000 <Clint> your timeline was inaccurate
2026-02-18 23:21:07 +0000yin(~zero@user/zero) (Ping timeout: 246 seconds)
2026-02-18 23:21:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-18 23:30:19 +0000rubin55(sid666180@id-666180.ilkley.irccloud.com) (Server closed connection)
2026-02-18 23:30:34 +0000rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2026-02-18 23:32:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 23:32:15 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-18 23:33:43 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-02-18 23:34:19 +0000___(~o@user/offon) (Server closed connection)
2026-02-18 23:34:30 +0000_\_(~o@user/offon) offon
2026-02-18 23:35:22 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2026-02-18 23:35:27 +0000chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-18 23:36:59 +0000tromp(~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-18 23:37:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 23:38:19 +0000farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection)
2026-02-18 23:38:39 +0000farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn
2026-02-18 23:47:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 23:50:59 +0000Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 250 seconds)
2026-02-18 23:52:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-18 23:52:50 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-18 23:54:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-18 23:59:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)