Logs on 2025-11-17 (liberachat/#haskell)
| 00:02:12 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 00:03:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:06:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:11:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:17:05 | → | mange joins (~mange@user/mange) |
| 00:22:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:29:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:32:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 00:39:15 | → | pterobul joins (~Thunderbi@user/pterobul) |
| 00:40:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:41:08 | → | itaipu joins (~itaipu@168.121.97.28) |
| 00:42:41 | × | pterobul quits (~Thunderbi@user/pterobul) (Quit: pterobul) |
| 00:45:13 | → | pterobul joins (~Thunderbi@user/pterobul) |
| 00:45:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:46:33 | × | xff0x quits (~xff0x@2405:6580:b080:900:7550:dcbe:aa36:f649) (Ping timeout: 250 seconds) |
| 00:51:14 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 00:56:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:01:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:07:09 | × | sindu quits (~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 01:08:22 | → | itaipu joins (~itaipu@168.121.97.28) |
| 01:12:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:12:15 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 01:16:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:23:29 | × | pterobul quits (~Thunderbi@user/pterobul) (Quit: pterobul) |
| 01:27:32 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 01:27:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:30:40 | × | acidjnk quits (~acidjnk@p200300d6e7171947d86447954ea3c074.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:32:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:40:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:43:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:46:33 | → | martin joins (~martin@181.169.204.250) |
| 01:47:19 | <martin> | hola |
| 01:47:31 | <martin> | alguien habla español? |
| 01:48:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:50:32 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:52:31 | × | martin quits (~martin@181.169.204.250) (Ping timeout: 240 seconds) |
| 01:54:12 | × | otto_s quits (~user@p5b04423e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:54:24 | <geekosaur> | @tell martin there's a #haskell-es, although it doesn't look like it's getting much use currently |
| 01:54:24 | <lambdabot> | Consider it noted. |
| 01:55:17 | <geekosaur> | @tell martin existe #haskell-es, aunque parece que actualmente no se está usando mucho |
| 01:55:17 | <lambdabot> | Consider it noted. |
| 01:55:37 | <geekosaur> | …my Spanish isn't quite up to that, sadly |
| 01:55:38 | × | synchromesh quits (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) (Read error: Connection reset by peer) |
| 01:55:57 | → | otto_s joins (~user@p5de2f6bf.dip0.t-ipconnect.de) |
| 01:57:05 | → | synchromesh joins (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) |
| 01:57:18 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 01:59:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:57 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:01:10 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 02:04:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:05:55 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 02:06:18 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 02:06:24 | → | myxokephale joins (~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) |
| 02:09:20 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 02:09:27 | × | myxos quits (~myxos@2001:579:8380:f20:abb:2847:db49:d417) (Ping timeout: 252 seconds) |
| 02:15:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:19:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:30:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:35:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:37:50 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 02:38:08 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 02:46:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:57:40 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 255 seconds) |
| 03:02:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:02:57 | → | trickard__ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 03:04:49 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 03:09:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:11:32 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 03:15:40 | × | bggd quits (~bgg@2a01:e0a:819:1510:c9b2:3583:8eb1:f3ee) (Remote host closed the connection) |
| 03:20:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:24:34 | × | td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 256 seconds) |
| 03:25:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:26:28 | → | td_ joins (~td@i53870917.versanet.de) |
| 03:29:20 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 03:32:45 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 03:36:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:40:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:51:01 | <haskellbridge> | <slack1256> Computaciones monadicas con estructura aplicativo |
| 03:51:30 | <haskellbridge> | <slack1256> Los teoremas de punto fijo |
| 03:51:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:52:54 | <haskellbridge> | <slack1256> Imaginaos si jaskell usará clase en vez de class o si usará lambdala en vez de lambda jajaa |
| 03:56:00 | <geekosaur> | they left some time ago, that's why I used @tell |
| 03:56:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:07:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:10:40 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 04:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:22:10 | → | mange joins (~mange@user/mange) |
| 04:23:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:24:21 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 04:26:14 | → | vardhan joins (~vardhan@122.172.80.68) |
| 04:26:55 | → | sansk joins (~sansk@user/sansk) |
| 04:28:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:31:10 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 04:31:28 | → | olivial joins (~benjaminl@user/benjaminl) |
| 04:39:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:35 | × | sansk quits (~sansk@user/sansk) (Quit: WeeChat 4.7.1) |
| 04:45:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:51:46 | × | qqe quits (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 04:56:48 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 04:57:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:57:25 | → | qqe joins (~qqq@185.54.21.140) |
| 04:59:19 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 05:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:02:42 | → | bggd joins (~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1) |
| 05:03:07 | → | gorignak joins (~gorignak@user/gorignak) |
| 05:12:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:13 | trickard__ | is now known as trickard |
| 05:18:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:18:58 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 05:27:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 05:38:11 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:39:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 05:40:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:41:33 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 05:43:13 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 05:44:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:46:29 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 05:48:24 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 05:50:02 | → | Nachtgespenst_ joins (~user@user/siracusa) |
| 05:50:08 | → | poscat0x04 joins (~poscat@user/poscat) |
| 05:50:24 | → | tomsmeding_ joins (~tomsmedin@user/tomsmeding) |
| 05:51:28 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 05:51:36 | → | AlexZenon_2 joins (~alzenon@178.34.151.158) |
| 05:51:54 | → | haskellbridge_ joins (~hackager@96.28.224.214) |
| 05:51:54 | ChanServ | sets mode +v haskellbridge_ |
| 05:52:32 | → | raym_ joins (~ray@user/raym) |
| 05:53:01 | → | td__ joins (~td@i53870917.versanet.de) |
| 05:53:22 | → | int-e_ joins (~noone@int-e.eu) |
| 05:53:25 | → | lbseale_ joins (~quassel@user/ep1ctetus) |
| 05:53:36 | → | op_4_ joins (~tslil@2a01:4f8:c0c:7952::1) |
| 05:55:29 | → | kaankeskin2 joins (~kaankeski@user/kaankeskin) |
| 05:55:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:56:07 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 05:56:40 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:56:40 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 256 seconds) |
| 05:56:41 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 05:56:41 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 05:56:41 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Ping timeout: 256 seconds) |
| 05:56:41 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 256 seconds) |
| 05:56:41 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 256 seconds) |
| 05:56:41 | × | kaankeskin quits (~kaankeski@user/kaankeskin) (Ping timeout: 256 seconds) |
| 05:56:41 | × | raym quits (~ray@user/raym) (Ping timeout: 256 seconds) |
| 05:56:41 | × | annamalai quits (~annamalai@157.33.231.224) (Ping timeout: 256 seconds) |
| 05:56:41 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 05:56:41 | × | tomsmeding quits (~tomsmedin@user/tomsmeding) (Ping timeout: 256 seconds) |
| 05:56:41 | × | Nachtgespenst quits (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 05:56:41 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 05:56:41 | × | int-e quits (~noone@int-e.eu) (Ping timeout: 256 seconds) |
| 05:56:41 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Ping timeout: 256 seconds) |
| 05:56:41 | × | AlexZenon quits (~alzenon@178.34.151.158) (Ping timeout: 256 seconds) |
| 05:56:41 | × | FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 256 seconds) |
| 05:56:41 | kaankeskin2 | is now known as kaankeskin |
| 05:56:43 | op_4_ | is now known as op_4 |
| 05:56:47 | haskellbridge_ | is now known as haskellbridge |
| 05:57:20 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 05:57:20 | ChanServ | sets mode +v yahb2 |
| 05:58:57 | → | FANTOM joins (~fantom@212.228.181.156) |
| 06:00:41 | → | pabs3 joins (~pabs3@user/pabs3) |
| 06:00:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:04:38 | × | synchromesh quits (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 06:05:44 | → | synchromesh joins (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) |
| 06:10:32 | × | tt1231 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Read error: Connection reset by peer) |
| 06:10:37 | → | tt12316 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 06:11:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:13:47 | × | cyphase quits (~cyphase@user/cyphase) (Remote host closed the connection) |
| 06:14:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 06:14:22 | → | michalz joins (~michalz@185.246.207.203) |
| 06:16:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:16:27 | → | cyphase joins (~cyphase@user/cyphase) |
| 06:26:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:28:13 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 06:33:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:44:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:49:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 07:00:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:24 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 07:06:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:08:35 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:10:18 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 07:16:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:21:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:31:17 | → | jreicher joins (~user@user/jreicher) |
| 07:32:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:34:32 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 07:37:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:42:39 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:43:14 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 07:44:02 | → | annamalai joins (~annamalai@157.33.228.129) |
| 07:46:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 07:48:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:52:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:55:34 | × | annamalai quits (~annamalai@157.33.228.129) (Ping timeout: 255 seconds) |
| 08:03:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:06:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:10:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:13:07 | × | bggd quits (~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1) (Remote host closed the connection) |
| 08:15:51 | → | annamalai joins (~annamalai@157.33.234.145) |
| 08:20:33 | × | annamalai quits (~annamalai@157.33.234.145) (Ping timeout: 260 seconds) |
| 08:21:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:22:39 | → | annamalai joins (~annamalai@2405:204:9017:58f8::4c5:e8a5) |
| 08:26:21 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:26:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:31:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 08:37:09 | → | notzmv joins (~umar@user/notzmv) |
| 08:37:52 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 08:40:16 | → | kuribas joins (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) |
| 08:42:30 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 08:43:06 | → | chele joins (~chele@user/chele) |
| 08:50:35 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 08:54:28 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:11:40 | → | merijn joins (~merijn@77.242.116.146) |
| 09:14:06 | → | dmj` joins (uid72307@id-72307.hampstead.irccloud.com) |
| 09:14:55 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:15:09 | → | dmj`_ joins (uid72307@id-72307.hampstead.irccloud.com) |
| 09:16:44 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 09:16:45 | → | __monty__ joins (~toonn@user/toonn) |
| 09:26:14 | <haskellbridge> | <zoil> byorgey: jhrcek was asking for you in the haskell channel |
| 09:27:16 | <haskellbridge> | <zoil> btw i had a criticism of the years of game playing that formed monologuing. and, as phil is jewish, has, by the actions of non jews, created a significant ruction in time. |
| 09:27:40 | <haskellbridge> | <zoil> the censorship is feverpitch, and the language has been completely hijacked by a maligning group |
| 09:27:40 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 09:28:04 | <haskellbridge> | <zoil> i wrote this language with turing. and reality is teetering on the brink |
| 09:28:16 | <haskellbridge> | <zoil> retrospectively, the lies seem unforgivable. |
| 09:28:44 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 09:28:54 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 09:28:54 | → | gustrb joins (~gustrb@user/gustrb) |
| 09:29:33 | × | gustrb quits (~gustrb@user/gustrb) (Remote host closed the connection) |
| 09:29:42 | <c_wraith> | @where mods |
| 09:29:42 | <lambdabot> | I know nothing about mods. |
| 09:29:52 | <c_wraith> | bah, I can't remember it |
| 09:30:05 | <c_wraith> | @where ops |
| 09:30:05 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 09:36:41 | → | martin joins (~martin@181.169.204.250) |
| 09:37:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 09:38:55 | tomsmeding_ | is now known as tomsmeding |
| 09:45:12 | → | Taneb joins (~username@host-79-43-26-190.retail.telecomitalia.it) |
| 09:45:33 | → | merijn joins (~merijn@77.242.116.146) |
| 09:46:30 | → | acidjnk joins (~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) |
| 09:50:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:02:14 | → | merijn joins (~merijn@77.242.116.146) |
| 10:05:15 | × | Vajb quits (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 10:05:59 | → | Vajb joins (~Vajb@n5ges64xxne6jwy5ufr-1.v6.elisa-mobile.fi) |
| 10:06:41 | → | myxos joins (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) |
| 10:07:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 10:09:16 | × | myxokephale quits (~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) (Ping timeout: 246 seconds) |
| 10:10:31 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 10:15:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 10:19:06 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 10:21:14 | → | merijn joins (~merijn@77.242.116.146) |
| 10:25:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 10:35:47 | <jreicher> | Would IRC mods be able to help with something coming across the bridge? |
| 10:38:04 | → | merijn joins (~merijn@77.242.116.146) |
| 10:42:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 10:53:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:55:46 | → | merijn joins (~merijn@77.242.116.146) |
| 10:56:17 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 10:58:48 | Nachtgespenst_ | is now known as Nachtgespenst |
| 11:00:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:02:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 11:06:42 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 11:12:27 | → | merijn joins (~merijn@77.242.116.146) |
| 11:12:58 | × | AlexZenon_2 quits (~alzenon@178.34.151.158) (Ping timeout: 246 seconds) |
| 11:13:17 | × | AlexNoo quits (~AlexNoo@178.34.151.158) (Ping timeout: 244 seconds) |
| 11:17:37 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 11:17:51 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 11:19:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 11:23:43 | → | xff0x joins (~xff0x@2405:6580:b080:900:fb28:6c11:a653:72c4) |
| 11:23:46 | × | dmj` quits (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:23:46 | × | dmj`_ quits (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:24:37 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 11:25:47 | × | annamalai quits (~annamalai@2405:204:9017:58f8::4c5:e8a5) (Ping timeout: 244 seconds) |
| 11:27:34 | → | gustrb joins (~gustrb@191.243.134.87) |
| 11:27:45 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 11:27:45 | → | gustrb joins (~gustrb@user/gustrb) |
| 11:32:47 | → | merijn joins (~merijn@77.242.116.146) |
| 11:34:29 | int-e_ | is now known as int-e |
| 11:40:39 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 11:41:12 | → | deptype joins (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) |
| 11:52:33 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:52:47 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 11:53:42 | → | Everything joins (~Everythin@88.155.1.132) |
| 11:54:26 | → | fp joins (~Thunderbi@130.233.70.206) |
| 11:55:05 | × | fp quits (~Thunderbi@130.233.70.206) (Client Quit) |
| 11:55:26 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 11:55:41 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:03:44 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 12:08:55 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 12:09:11 | → | trickard__ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 12:29:08 | trickard__ | is now known as trickard |
| 12:30:01 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:32:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:32:48 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 12:33:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 12:34:25 | → | merijn joins (~merijn@77.242.116.146) |
| 12:34:35 | × | martin quits (~martin@181.169.204.250) (Quit: WeeChat 4.6.3) |
| 12:35:45 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 245 seconds) |
| 12:36:27 | × | Taneb quits (~username@host-79-43-26-190.retail.telecomitalia.it) (Ping timeout: 252 seconds) |
| 12:37:43 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 255 seconds) |
| 12:41:21 | → | annamalai joins (~annamalai@157.33.248.131) |
| 12:42:16 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 12:42:31 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 12:44:04 | → | Taneb joins (~username@host-79-43-26-190.retail.telecomitalia.it) |
| 12:44:10 | × | vardhan quits (~vardhan@122.172.80.68) (Ping timeout: 256 seconds) |
| 12:45:28 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Client Quit) |
| 12:45:59 | → | Googulator78 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 12:47:29 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 12:48:57 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 12:49:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 12:55:20 | → | Square2 joins (~Square4@user/square) |
| 12:56:01 | → | Googulator67 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 12:56:12 | × | Googulator78 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 12:56:21 | × | annamalai quits (~annamalai@157.33.248.131) (Remote host closed the connection) |
| 12:56:40 | → | annamalai joins (~annamalai@157.33.248.131) |
| 13:02:50 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 13:03:06 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 13:03:20 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:05:28 | × | Googulator67 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:05:41 | → | Googulator67 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:14:29 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 13:16:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 13:17:38 | → | trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 13:20:36 | → | vardhan joins (~vardhan@122.172.80.68) |
| 13:21:09 | Googulator67 | is now known as Googulator |
| 13:21:24 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 13:26:45 | → | AlexNoo joins (~AlexNoo@178.34.151.158) |
| 13:28:29 | → | AlexZenon joins (~alzenon@178.34.151.158) |
| 13:30:40 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:30:43 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:35:44 | × | Googulator15 quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:35:49 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:38:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:43:10 | × | __monty__ quits (~toonn@user/toonn) (Quit: Lost terminal) |
| 13:44:46 | → | __monty__ joins (~toonn@user/toonn) |
| 13:44:46 | × | Core6681 quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 13:44:48 | → | Zemy joins (~Zemy@2600:100c:b0a9:8436:9ce1:72ff:fe03:126e) |
| 13:45:22 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 13:45:25 | Googulator57 | is now known as Googulator |
| 13:45:42 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:45:57 | → | Googulator joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:46:15 | × | Zemy quits (~Zemy@2600:100c:b0a9:8436:9ce1:72ff:fe03:126e) (Read error: Connection reset by peer) |
| 13:46:44 | → | Zemy joins (~Zemy@72.178.108.235) |
| 13:46:44 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 13:53:09 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 13:53:28 | → | Googulator joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 13:55:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 13:56:25 | × | mulk quits (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 13:56:41 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 13:59:17 | → | pounce joins (8a023a9e4a@user/cute/pounce) |
| 13:59:47 | <pounce> | hey all, i installed ghc through ghcup on fedora aarch64, and every time it runs it gives a bunch of linker errors (even though it runs correctly) |
| 14:00:03 | <pounce> | these are the errors: https://paste.sr.ht/~pounce/70a7d0a909d75aeada3dcc4db77b8673c43291f1 |
| 14:00:48 | <pounce> | I've installed all ncurses libraries and ncurses compat libraries. In particular it seems like ghc wants to libtinfo5, but it keeps requesting libtinfo6 for some reason |
| 14:00:56 | <haskellbridge> | <maerwald> Those are warnings |
| 14:01:02 | <haskellbridge> | <maerwald> Not errors |
| 14:01:13 | <pounce> | ok, I would appreciate help getting rid of the warnings |
| 14:02:48 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:06:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) |
| 14:10:40 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 14:10:46 | → | Googulator32 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 14:17:25 | Googulator32 | is now known as Googulator |
| 14:19:42 | <haskellbridge> | <Morj> Added to my list of arguments to get rid of ncurses in ghc |
| 14:29:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:29:53 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:30:07 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 14:49:22 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 14:51:41 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 14:58:46 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 15:06:24 | × | Taneb quits (~username@host-79-43-26-190.retail.telecomitalia.it) (Ping timeout: 244 seconds) |
| 15:18:19 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 15:28:59 | OWS | is now known as Shark8 |
| 15:35:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 15:36:01 | → | merijn joins (~merijn@77.242.116.146) |
| 15:36:46 | <Square2> | pounce, why not use cabal? I imagine 99% of haskell users do |
| 15:37:00 | <pounce> | i use cabal? |
| 15:37:05 | <Square2> | oh ok |
| 15:37:18 | <pounce> | cabal calls ghc... |
| 15:38:04 | <Square2> | your paste hinted on direct use of ghc to me. |
| 15:38:20 | <pounce> | it's an example of the output of anything that calls ghc |
| 15:38:30 | <pounce> | im specifically writing agda, which does call ghc directly |
| 15:38:42 | <pounce> | but also using cabal or stack or anything else has the same effect |
| 15:38:50 | <Square2> | okok |
| 15:41:34 | <merijn> | Those look like linker errors to me |
| 15:41:38 | <Square2> | A quick googling seems to yield a bunch of results that are not tied to ghc/haskell. |
| 15:41:39 | × | vardhan quits (~vardhan@122.172.80.68) (Ping timeout: 265 seconds) |
| 15:41:45 | <pounce> | merijn: yes, they are |
| 15:42:04 | <merijn> | Sounds like the libtinfo shipping with your fedora might just be borked? |
| 15:42:22 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 15:43:14 | <pounce> | the only thing i can gather is it might be missing VERDEF |
| 15:44:11 | <pounce> | but idk how to fix this :/ it's repo managed |
| 15:44:38 | <Square2> | missing libtinfo-dev? |
| 15:46:28 | <pounce> | i have ncurses-devel and ncurses-libs and ncurses-compat-libs |
| 15:47:02 | <pounce> | which is where the libtinfo.so.6 mentioned comes from |
| 16:01:33 | <Clint> | presumably you could just rebuild ghc against your libtinfo and it would be happy |
| 16:05:10 | <pounce> | Clint: ghc was built against libtinfo on this machine |
| 16:05:23 | <pounce> | ghc isn't from the repo |
| 16:07:26 | <Clint> | so haskeline and terminfo require versioned symbols and libtinfo has those symbol versions and it's still complaining? |
| 16:09:08 | <tomsmeding> | is it possible to #include a header file using CPP from a _different_ package? |
| 16:09:34 | <merijn> | tomsmeding: "It Depends (TM)" |
| 16:09:48 | <merijn> | tomsmeding: cabal explicitly supports installing header files in a findable location |
| 16:09:58 | <merijn> | What that location is, is distro-dependent |
| 16:10:03 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) |
| 16:10:42 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 16:10:45 | → | Googulator48 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 16:10:45 | <merijn> | I guess that also depends whether you mean including it in C or including it in Haskell code, I suppose |
| 16:10:50 | Googulator48 | is now known as Googulator |
| 16:10:54 | <merijn> | In short: What are you trying to do? |
| 16:11:25 | <tomsmeding> | merijn: I'm trying to write a new function on `vector` vectors that works with their fusion system |
| 16:11:51 | <tomsmeding> | and they have a little header file (include/vector.h) that defines PHASE_FUSED as [1], and then they write {-# INLINE PHASE_FUSED foo #-} |
| 16:12:13 | <tomsmeding> | to be robust against future changes of that header file, I'd ideally like to be able to use their macro definition |
| 16:13:50 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 16:14:43 | <merijn> | tomsmeding: https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#pkg-field-install-includes |
| 16:14:45 | <tomsmeding> | (concretely: the fromListN on vectors just ignores additional elements in the list and returns a shorter vector if the list was too short; I think that's boneheaded behaviour and want an error to be thrown instead) |
| 16:15:03 | <pounce> | Clint: well, libtinfo might not have those versions. but im not an expert on linkers so im not sure |
| 16:15:23 | <pounce> | if i do readelf -e /lib64/libtinfo.so.6 | grep VER the library has VERSYM and VERNEED but not VERDEF |
| 16:15:35 | <merijn> | tomsmeding: That behaviour is because those functions seem like they're intended to be use with OverloadedList? |
| 16:15:44 | <merijn> | tomsmeding: Which doesn't support any kind of error flow |
| 16:16:14 | <tomsmeding> | possible, but I want a checked fromListN and I can't have that now, because doing a length check before calling V.fromListN forces the entire list and breaks all streaming |
| 16:16:40 | <tomsmeding> | so I believe my only option is writing a fromListNChecked that does almost the same as fromListN but not quite |
| 16:16:51 | <merijn> | tomsmeding: At any rate, the answer is basically IFF they include it in install-includes you can, else you're hosed |
| 16:17:00 | <tomsmeding> | makes sense, thanks! |
| 16:17:19 | <lucabtz> | how do you connect a matrix account to a IRC one? |
| 16:17:39 | <merijn> | lucabtz: You don't, afaik? |
| 16:17:53 | <tomsmeding> | merijn: it has an install-includes!!!!!! |
| 16:17:59 | <tomsmeding> | I cannot believe my luck |
| 16:18:01 | <lucabtz> | idk because some people on the bridge in matrix have a proper name |
| 16:18:04 | <merijn> | tomsmeding: :) |
| 16:18:10 | <lucabtz> | while mine looks weird |
| 16:18:21 | <lucabtz> | i thought there is a way to have that |
| 16:18:37 | <tomsmeding> | lucabtz: do you mean speaking with a proper irc nick instead of via haskellbridge? |
| 16:18:48 | <lucabtz> | tomsmeding yeah |
| 16:19:09 | <tomsmeding> | I think you can only achieve that with a proper bridge plugin on a matrix server, and public servers don't tend to run those because of abuse potential |
| 16:19:17 | <tomsmeding> | you can do it with a self-hosted matrix server |
| 16:19:29 | <lucabtz> | oh i see |
| 16:19:35 | <lucabtz> | thx |
| 16:19:40 | <tomsmeding> | matrix.org used to have one of those with libera.chat, but there were complaints about spam and they stopped offering that |
| 16:19:42 | <lucabtz> | sorry for the slight off topic |
| 16:20:42 | → | Googulator21 joins (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 16:20:46 | × | Googulator quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 16:21:02 | Googulator21 | is now known as Googulator |
| 16:23:05 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:25:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:25:52 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 16:25:54 | → | Googulator89 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 16:27:54 | Googulator89 | is now known as Googulator |
| 16:28:08 | → | Zemy joins (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 16:29:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 16:30:03 | × | vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 16:31:15 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 16:31:26 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) (Ping timeout: 265 seconds) |
| 16:31:28 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 16:31:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:34:06 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) |
| 16:34:53 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 16:35:30 | → | Core7738 joins (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 16:36:29 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) (Read error: Connection reset by peer) |
| 16:36:29 | → | Core3185 joins (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) |
| 16:36:48 | × | Zemy quits (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 252 seconds) |
| 16:39:44 | × | Core7738 quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 240 seconds) |
| 16:40:19 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:40:34 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 16:43:44 | trickard_ | is now known as trickard |
| 17:12:13 | → | Zemy joins (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 17:14:15 | <hololeap> | what was the thing where you can give it a type signature and it gives you back a function/one-liner? |
| 17:15:08 | <hololeap> | (trying to remember the canonical way to do [a -> b] -> a -> [b]) |
| 17:15:25 | × | Core3185 quits (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) (Ping timeout: 250 seconds) |
| 17:15:46 | → | Zemy_ joins (~Zemy@mobile-107-80-206-104.mycingular.net) |
| 17:16:50 | <hololeap> | I guess (\a -> fmap ($ a)) |
| 17:17:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 17:18:31 | × | Zemy quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 240 seconds) |
| 17:20:28 | <geekosaur> | djinn but it doesn't handle recursive types iirc? |
| 17:20:50 | <geekosaur> | @djinn [a -> b] -> a -> [b]) |
| 17:20:50 | <lambdabot> | Cannot parse command |
| 17:21:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 17:21:33 | <hololeap> | thanks, I couldn't remember what it was called. I can install it locally :) |
| 17:22:27 | → | Zemy joins (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) |
| 17:24:39 | × | Zemy_ quits (~Zemy@mobile-107-80-206-104.mycingular.net) (Ping timeout: 252 seconds) |
| 17:28:06 | <haskellbridge> | <doc> hololeap: i think that signature can be satisfied with just sequenceA or sequence |
| 17:28:28 | <yin> | How can I have an idea of the current state of Yampa? |
| 17:28:39 | <yin> | still a goto choice for FRP? |
| 17:33:34 | → | Square3 joins (~Square@user/square) |
| 17:34:18 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 17:36:34 | × | Square2 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 17:37:35 | × | qqe quits (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 17:38:40 | × | annamalai quits (~annamalai@157.33.248.131) (Ping timeout: 245 seconds) |
| 17:47:03 | → | olivial joins (~benjaminl@user/benjaminl) |
| 17:48:52 | <hololeap> | yin: check the repo for recent commits |
| 17:49:40 | × | Vajb quits (~Vajb@n5ges64xxne6jwy5ufr-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 17:50:20 | → | Vajb joins (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) |
| 17:50:40 | <hololeap> | kind of concerning that they only test up to ghc 8.10, though: https://app.travis-ci.com/github/ivanperez-keera/Yampa/builds/274379953/config |
| 17:50:40 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 17:52:35 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:52:49 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 17:54:05 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 17:54:25 | × | Vajb quits (~Vajb@n5ft3n7r297yp3xh401-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 17:56:02 | <geekosaur> | didn't they make a new release within the past couple months? |
| 17:57:09 | <geekosaur> | hm, apparently not |
| 17:57:35 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:57:58 | → | Vajb joins (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) |
| 17:58:01 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 18:02:00 | × | Vajb quits (~Vajb@n60et6bw8o0r9fxdjbq-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 18:02:42 | → | Vajb joins (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) |
| 18:06:38 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 18:06:43 | × | Vajb quits (~Vajb@n4dgb69h6dkio9s4tuj-1.v6.elisa-mobile.fi) (Ping timeout: 244 seconds) |
| 18:06:51 | → | myxokephale joins (~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) |
| 18:09:18 | × | myxos quits (~myxos@2001:579:8380:f20:e6ab:8ef0:3a0a:e59c) (Ping timeout: 244 seconds) |
| 18:12:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:14:44 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:19:30 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 18:19:31 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 18:20:39 | × | Zemy quits (~Zemy@2600:100c:b0a9:8436:20e2:f5ff:fea2:5e88) (Read error: Connection reset by peer) |
| 18:21:03 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 18:21:04 | → | Zemy joins (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) |
| 18:21:28 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:21:37 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 18:21:56 | → | Vajb joins (~Vajb@n6jd7kwb4e2quheg6tf-1.v6.elisa-mobile.fi) |
| 18:22:31 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:22:48 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 18:23:43 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 18:25:13 | × | Zemy quits (~Zemy@2600:100c:b0a9:8436:7017:6dff:fea3:f591) (Ping timeout: 246 seconds) |
| 18:25:21 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 18:26:34 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 18:30:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:32:26 | × | kuribas quits (~user@2a02-1810-2825-6000-2c81-b9d0-3939-7889.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:33:19 | <yin> | hololeap: common pattern i use is `f <*> pure x` |
| 18:33:43 | <yin> | or rather `fs <*> pure x` |
| 18:33:52 | <yin> | where fs :: [a -> b] |
| 18:36:34 | trickard_ | is now known as trickard |
| 18:36:43 | <hololeap> | ye |
| 18:38:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 18:49:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:56:56 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 18:57:17 | Xe_ | is now known as Xe |
| 18:57:41 | → | Nachtgespenst joins (~user@user/siracusa) |
| 19:03:32 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 19:06:18 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 260 seconds) |
| 19:11:29 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 19:15:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:15:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:a876:2676:366b:2d63) (Read error: Connection reset by peer) |
| 19:16:23 | <monochrom> | Wait, there is a law about fs <*> pure x. |
| 19:18:37 | <monochrom> | = (\f -> f x) <*> fs |
| 19:19:00 | <monochrom> | err, (\f -> f x) <$> fs |
| 19:20:01 | <hololeap> | there's also this thing from lens: (??) :: Functor f => f (a -> b) -> a -> f b |
| 19:20:16 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 19:21:07 | × | Jackneill_ quits (~Jackneill@188-143-82-72.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 19:22:12 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 19:22:21 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:24:02 | × | deptype quits (~deptype@2406:b400:3a:73c2:8e9e:5030:da68:3cf) (Quit: Leaving) |
| 19:25:15 | × | adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
| 19:25:30 | → | adamCS joins (~adamCS@70.19.85.77) |
| 19:27:37 | → | weary-traveler joins (~user@user/user363627) |
| 19:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:35:15 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 19:35:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:45:43 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:46:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:51:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:58:04 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 19:58:08 | → | fp1 joins (~Thunderbi@159-255-247-115.bb.dnainternet.fi) |
| 20:00:22 | × | jmcantrell quits (~weechat@user/jmcantrell) (Client Quit) |
| 20:02:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:08:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:16:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:17:55 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:19:46 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 20:20:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:31:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:34:54 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:35:08 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 20:35:25 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 20:35:43 | × | synchromesh quits (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer) |
| 20:36:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:37:23 | → | synchromesh joins (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) |
| 20:38:25 | × | Everything quits (~Everythin@88.155.1.132) (Quit: Lost terminal) |
| 20:45:08 | <jackdk> | And if you don't want to pull that in (I'm usually depending on it anyway), it's `fmap ($ f)`, I think |
| 20:47:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:49:28 | trickard_ | is now known as trickard |
| 20:52:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:57:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:03:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:08:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:15:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 21:17:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:28:23 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 21:29:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:30:50 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 21:33:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:33:47 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 21:37:52 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:38:42 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:38:46 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 21:40:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:40:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 21:41:51 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 21:42:21 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 21:47:11 | → | Dhark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 21:50:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:50:19 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 21:53:43 | × | jangerma1 quits (~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:55:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:01:12 | → | Square2 joins (~Square4@user/square) |
| 22:02:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:03:46 | × | Square3 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 22:06:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:06:26 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 22:10:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:15:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 22:16:47 | × | fp1 quits (~Thunderbi@159-255-247-115.bb.dnainternet.fi) (Quit: fp1) |
| 22:18:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:23:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 22:31:50 | → | sindu joins (~sindu@77.19.134.151.tmi.telenormobil.no) |
| 22:34:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:35:11 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 22:38:43 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:39:07 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:39:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:40:02 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:40:14 | → | trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 22:48:48 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:49:07 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:52:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:54:28 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:57:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:08:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 23:08:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:14:24 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:14:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:23:35 | × | auri_ quits (~auri@fsf/member/auri) () |
| 23:24:47 | → | auri joins (~auri@fsf/member/auri) |
| 23:26:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:30:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:31:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:34:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 23:34:52 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 23:42:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:00 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:42:09 | → | Zemy joins (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) |
| 23:42:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 23:43:06 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 23:44:56 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 23:46:36 | × | Zemy quits (~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) (Ping timeout: 256 seconds) |
| 23:47:08 | → | Zemy joins (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) |
| 23:47:08 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:47:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:47:20 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:47:33 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 23:47:43 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 23:48:30 | × | Zemy quits (~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) (Read error: Connection reset by peer) |
| 23:49:39 | → | Zemy joins (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) |
| 23:49:39 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:50:13 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 23:50:14 | × | Zemy quits (~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) (Read error: Connection reset by peer) |
| 23:50:51 | → | Zemy joins (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) |
| 23:50:51 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 23:51:26 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 23:53:47 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 23:55:06 | × | Zemy quits (~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) (Ping timeout: 256 seconds) |
| 23:56:43 | → | bggd joins (~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549) |
| 23:58:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-11-17.