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