Logs on 2026-02-07 (liberachat/#haskell)
| 00:04:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:14:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:21:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:29:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 00:30:05 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 00:32:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:36:10 | → | attlin joins (~user@user/attlin) |
| 00:37:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:48:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:53:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:59:17 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:04:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:05:55 | × | otto_s quits (~user@p5de2f5d3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 01:07:56 | → | otto_s joins (~user@p4ff2781c.dip0.t-ipconnect.de) |
| 01:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:15:49 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 01:18:56 | → | poscat joins (~poscat@user/poscat) |
| 01:20:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:25:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:26:44 | → | omidmash5 joins (~omidmash@user/omidmash) |
| 01:28:48 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 252 seconds) |
| 01:28:48 | omidmash5 | is now known as omidmash |
| 01:33:09 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:33:24 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 01:36:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:41:14 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 01:41:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:49:31 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Ping timeout: 264 seconds) |
| 01:52:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:02:58 | × | otto_s quits (~user@p4ff2781c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 02:03:40 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 02:03:52 | → | housemate joins (~housemate@202.7.248.67) |
| 02:04:12 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 02:04:52 | → | otto_s joins (~user@p4ff27c45.dip0.t-ipconnect.de) |
| 02:06:01 | DetourNe- | is now known as DetourNetworkUK |
| 02:10:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:10:26 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 02:10:52 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 02:15:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:26:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:27:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 02:28:07 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:28:08 | jmcantrell_ | is now known as jmcantrell |
| 02:28:20 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 02:31:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:41:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:43:03 | × | CryptLab quits (~NSA@146.70.45.234) (Ping timeout: 252 seconds) |
| 02:46:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:49:03 | × | acidjnk_new quits (~acidjnk@p200300d6e700e53558ec37d0ab0c0527.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 02:54:55 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 245 seconds) |
| 02:55:11 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 02:56:08 | → | wickedjargon joins (~user@2605:8d80:5430:47f5:ff7a:a2e4:faa6:fd33) |
| 02:57:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:59:02 | → | omidmash joins (~omidmash@user/omidmash) |
| 03:00:00 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 03:01:26 | → | attlin joins (~user@user/attlin) |
| 03:02:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:12:56 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 03:13:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:18:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:29:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:30:17 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 03:31:15 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 03:32:34 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 03:32:52 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:37:16 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 03:38:54 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 03:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:48:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 03:51:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:55:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:06:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:07:07 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) () |
| 04:11:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 04:15:26 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 04:22:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:27:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:35:42 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 04:36:27 | trickard_ | is now known as trickard |
| 04:38:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:43:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:54:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:58:11 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:58:25 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 04:59:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:10:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:14:31 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 05:16:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:17:54 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Write error: error:80000068:system library::Connection reset by peer) |
| 05:17:58 | → | DetourNe- joins (DetourNetw@user/DetourNetworkUK) |
| 05:20:14 | DetourNe- | is now known as DetourNetworkUK |
| 05:22:42 | → | sp1ff joins (~user@2601:1c2:4701:7850::1844) |
| 05:28:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:28:48 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 05:33:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:34:18 | × | jreicher quits (~joelr@user/jreicher) (Quit: Beer) |
| 05:35:02 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 05:36:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:36:27 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 05:37:35 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 05:39:38 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 260 seconds) |
| 05:41:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:41:19 | → | omidmash joins (~omidmash@user/omidmash) |
| 05:42:23 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 05:50:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:7c22:9ec1:997b:ecff) (Ping timeout: 256 seconds) |
| 05:52:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:53:30 | → | jreicher joins (~joelr@user/jreicher) |
| 05:56:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:07:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:12:21 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 06:12:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:13:02 | → | xff0x joins (~xff0x@2405:6580:b080:900:831e:127e:d5c1:2052) |
| 06:18:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 06:23:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:28:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:37:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:40:18 | → | pabs3 joins (~pabs3@user/pabs3) |
| 06:42:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:42:57 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:45:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 06:47:01 | × | wickedjargon quits (~user@2605:8d80:5430:47f5:ff7a:a2e4:faa6:fd33) (Remote host closed the connection) |
| 06:48:42 | → | wickedjargon joins (~user@72.143.232.86) |
| 06:53:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:55:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 07:00:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:06:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 07:11:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:15:39 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 07:16:06 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 07:16:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 07:17:47 | trickard_ | is now known as trickard |
| 07:23:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:27:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:28:40 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 07:29:00 | × | cyphase quits (~cyphase@user/cyphase) (Remote host closed the connection) |
| 07:31:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:38:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:42:34 | → | oskarw joins (~user@user/oskarw) |
| 07:43:01 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:43:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:49:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 07:51:10 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 07:53:49 | × | divlamir quits (~divlamir@user/divlamir) (Write error: error:80000068:system library::Connection reset by peer) |
| 07:54:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 07:54:36 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 07:54:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:56:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 08:01:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:02:44 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 08:04:17 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 08:06:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:11:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:16:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:20:55 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 08:27:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:30:59 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:31:13 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 08:32:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:39:15 | trickard_ | is now known as trickard |
| 08:39:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:39:38 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 08:40:27 | → | pabs3 joins (~pabs3@user/pabs3) |
| 08:41:45 | → | emmanuelux joins (~em@user/emmanuelux) |
| 08:46:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:48:26 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 08:48:45 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 08:57:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:02:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:10:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:12:25 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:12:39 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:13:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:14:46 | × | wickedjargon quits (~user@72.143.232.86) (Ping timeout: 265 seconds) |
| 09:17:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:25:01 | × | hsw quits (~hsw@106.104.102.45) (Quit: Leaving) |
| 09:26:13 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:28:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:29:30 | → | hsw joins (~hsw@106.104.102.45) |
| 09:33:15 | × | Inline quits (~User@2a02:908:1246:26e0:807:305f:2053:3810) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 09:34:44 | → | Inline joins (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) |
| 09:34:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 09:35:02 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:35:15 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:40:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:43:19 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 09:45:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 09:56:00 | <gentauro> | I'm wondering how this (very Lisp'y) https://en.wikipedia.org/wiki/Z3_Theorem_Prover#Examples become like this https://github.com/IagoAbal/haskell-z3?tab=readme-ov-file#example |
| 09:56:09 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:56:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:56:21 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 09:57:40 | <jreicher> | What do you mean? Lisp is not great for stuff like this. |
| 10:01:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:02:33 | <probie> | gentauro: There's very little lispy-ness in the SMTLIB2 format. It might as well be JSON, YAML or something entirely bespoke |
| 10:03:12 | <probie> | They just chose S-expressions, because "everyone" in AI at the time was familiar with them |
| 10:03:52 | <probie> | The Z3 monad is really just a codegen monad |
| 10:04:53 | <jreicher> | Yes I think that's probably my point too. sexpr != lisp despite what everyone thinks |
| 10:05:58 | <jreicher> | I think the defining characteristic of Lisp is "no code, everything is data" which is why it gets confused with the presentation of sexprs |
| 10:07:33 | <jreicher> | Codegen helps muddy the waters even further. |
| 10:09:04 | trickard_ | is now known as trickard |
| 10:12:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:12:58 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 10:16:42 | <gentauro> | `mkFreshIntVar` <- Hungarian notation for the win? Nah |
| 10:17:59 | gentauro | feels like: `AbstractAnimalThatLivesInWaterAndHasGillsAndFins.class` |
| 10:18:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:19:55 | → | AlexNoo_ joins (~AlexNoo@85.174.182.86) |
| 10:20:41 | → | AlexNoo__ joins (~AlexNoo@85.174.182.86) |
| 10:21:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 10:22:46 | <probie> | gentauro: What's wrong with it? |
| 10:22:50 | × | AlexZenon quits (~alzenon@85.174.181.199) (Ping timeout: 245 seconds) |
| 10:23:22 | <probie> | `Fresh` promises no name collisions, `Int` tells you the type, and `Var` tells you that it's a variable |
| 10:23:28 | × | AlexNoo quits (~AlexNoo@85.174.181.199) (Ping timeout: 246 seconds) |
| 10:23:38 | × | Alex_delenda_est quits (~al_test@85.174.181.199) (Ping timeout: 256 seconds) |
| 10:24:19 | × | AlexNoo_ quits (~AlexNoo@85.174.182.86) (Ping timeout: 260 seconds) |
| 10:24:42 | → | AlexNoo joins (~AlexNoo@85.174.182.86) |
| 10:25:03 | <gentauro> | probie: to verbose (at least for me) |
| 10:25:06 | <jreicher> | gentauro: "Hungarian notation"? |
| 10:25:20 | <jreicher> | Oh, I think I know what you mean |
| 10:25:29 | × | AlexNoo__ quits (~AlexNoo@85.174.182.86) (Ping timeout: 260 seconds) |
| 10:26:27 | <probie> | gentauro: how would you shrink it, short of abbreviating things. You need to convey 4 things; "it's new", "the name can't be anything already generated", "it's an int" and "it's a var"? |
| 10:27:06 | <probie> | I guess you could have have a `make` function which takes various kinds of records as arguments, but in practice that's not ergonomic, and it also deviates heavily from the C API, which is why most of the documentation you'll find online is |
| 10:28:16 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:28:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:30:21 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 10:30:48 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 10:31:17 | <probie> | I mean you certainly could do something like `do { name <- freshName "q1"; mkVar intType name }`, but I don't think you really gain much |
| 10:31:40 | → | p3n joins (~p3n@217.198.124.246) |
| 10:33:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 10:33:57 | → | AlexZenon joins (~alzenon@85.174.182.86) |
| 10:35:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:37:00 | <int-e> | probie: Well, in the Z3 API, generating fresh names is tied to function declarations, https://z3prover.github.io/api/html/group__capi.html#ga76d673b3b3f53c1044fd59621b1b8b68 (nice anchor I'm sure it's very stable) |
| 10:37:24 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:37:35 | <gentauro> | probie: I tried to use Code Quotations and Computation Expressions in F# and I end up with this -> https://paste.tomsmeding.com/bi5MGjco |
| 10:37:37 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 10:37:45 | <int-e> | (managing your own names is probably suboptimal) |
| 10:37:54 | <gentauro> | very succint |
| 10:38:07 | × | AlexZenon quits (~alzenon@85.174.182.86) (Ping timeout: 240 seconds) |
| 10:38:50 | gentauro | I want to remove the string variables and just rely on the languages value binding |
| 10:40:09 | <gentauro> | but I guess if we can do something like that in OCaml for .NET, we should probably be able to mimic that in Haskell right? |
| 10:40:14 | gentauro | less is more |
| 10:41:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:42:00 | × | qqq quits (~qqq@185.54.22.56) (Quit: Lost terminal) |
| 10:42:27 | <jreicher> | int-e: I'm not familiar with Z3, but is the generation of fresh names a crappy implementation of capture-avoiding substitution? |
| 10:42:51 | → | AlexZenon joins (~alzenon@85.174.182.86) |
| 10:45:22 | <int-e> | No, there's no substitution taking place. There's a global namespace. But users may want to generate auxiliary variables without clashing with other auxiliary variables, so as a convenience, fresh name generation is provided by the SMT solver. (At no real cost; the SMT solver will need that functionality internally anyway.) |
| 10:46:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 10:46:35 | <int-e> | Oh also I think terms are first-order, so there are no binders that could capture variables. |
| 10:48:33 | <int-e> | jreicher: So basically, it's a different flavor of name clashes than variable capture. |
| 10:57:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:58:24 | <ski> | i suppose sometimes you'd like to generate fresh variables (perhaps in a loop, or in a recursive computation) .. |
| 10:58:53 | <ski> | .. presumable that F# binding can do that, as well ? |
| 11:02:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:03:07 | <ski> | (depending on what one'd want to do ?) i think one could possibly do that kind of thing, in MetaML or MetaOCaml, with their quasiquoted code expressions. one'd need to introduce local (quoted) binders for them, though. and, i guess, might need to either resort to dynamically typed code expressions (which at least MetaML provides, i forget about MetaOcaml), or else to dependent typing (which neither of them |
| 11:03:13 | <ski> | provides) |
| 11:04:22 | <ski> | (.. in some cases, one might be able to get away with generating something like `\[a,b,c,...,z] -> ...' for an indefinite number of elements in the list pattern, but still keep the simple static types) |
| 11:09:26 | ski | was reading, recently, about a (rather restricted, in various ways) dependently typed functional language (Delphin, meant as a different approach to the logic programming approach Twelf to LF terms) for doing computation over LF (Logical Framework) terms, typically used to represent HOAS (that you can *pattern-match* on !) |
| 11:12:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:13:30 | <ski> | if you match on and do recursion on an LF term like `app (lam x\ lam f\ f x) (lam f\ lam x\ f x x)' (representing `(\x. \f. f x) (\f. \x. f x x)', where `app : expr (A -> B) -> (expr A -> expr B)' and `lam : (expr A -> expr B) -> expr (A -> B)'), you'll need to step inside the binders, traversing open terms |
| 11:16:07 | <ski> | so, `x',`f',`f',`x' (four different variables, the language automatically ensures no clashes, capture-free substitution) here will, in the local contexts, act as new temporary data constructors for the expression data type (with `app' and `lam' as the *only* global data constructors, in this example of pure lambda calculus) |
| 11:17:32 | <ski> | in the case of logic programming (Twelf), you'll be dynamically (similar to dynamic scope, being the operational interpretation of implicational logic programming goals here) adding clauses to your recursive traversal predicates, as you step under the binders |
| 11:17:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:19:19 | <ski> | in the case of the functional programming (Delphin), they choose to instead allow you to add patterns for "parameters" of (LF) types, in your `case'-`of' expressions (and then you'd often also pass some kind of accumulating substitution function, or similar, to the traversal function, initializing it to the empty function at the top call) |
| 11:19:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:22:25 | × | _JusSx_ quits (~jussx@78.210.148.66) (Ping timeout: 245 seconds) |
| 11:23:24 | <ski> | (ooc, they also had effectively a monad, in the language, for computations which will result in a value term of an LF type. the type `<T>' is short for `T * unit', which is short for `exists _ : T. unit'. in `T * U', `U' is not allowed to be an LF type, but `T' is. the reason is that they want all expressions of LF type to not have any computational (Delphin-level) subexpressions, only an LF-term, with some |
| 11:23:30 | <ski> | schematic variables to fill in with other LF terms) |
| 11:24:11 | → | _JusSx_ joins (~jussx@78.211.193.248) |
| 11:28:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:32:37 | <ski> | one of the interesting things you can do in Twelf, is to encode a proof as a relation. to actually check that the proof is valid, you then need to check that for each possible input for some designated input parameters to the relation/predicate, there is a related output asssigned to the output parameter(s), such that the (dependently typed) relation holds. from a logic programming standpoint, this is a |
| 11:32:43 | <ski> | mode&determinism declaration on the predicate (if you will, ensuring that the relation is functional) |
| 11:33:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 11:34:27 | <ski> | so, the system has facilities to do this (meta-proof) checking of modes, in order to ensure that the predicate whose definition encodes your proof actually proves the intended thing (e.g. that if an (object-language) term has some type, and you reduce the term one step, then it still has that type) |
| 11:35:26 | <ski> | it also has facilities to be able to state such theorems, and let a theorem-prover (in the language implementation) search for a proof (and realize it as a recursive predicate) |
| 11:42:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:44:18 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 11:46:32 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 11:47:06 | <ski> | one of the reasons they stated for developing Delphin (rather than Twelf), was a claim of having trouble with some kinda of higher-order programming. afaict, what they mean by this is not lack of support for higher-order predicates, per se, but rather lack of adequate support for the static mode&determinism *checking* (which is optional (from a computational standpoint), but essential for when you want to do |
| 11:47:13 | <ski> | said above (meta-)proof checking) |
| 11:47:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:49:25 | <ski> | the issue being limitations in reasoning about local parameters (data constructors), and local assumptions, for the mode-checking. and, perhaps, also some limitations in doing (effectively) anonymous predicates, e.g. extending an accumulator predicate parameter -- and associated reasoning about mode for such higher-order predicates |
| 11:50:36 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 11:50:53 | <ski> | .. i can't keep from feeling like there ought to be a way to address those concerns more directly .. rather than resorting to going to a different (functional) computational model. Twelf is the only dependently typed logic programming language i'm aware of, and it would seem to be a shame to not further develop that |
| 11:53:45 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:55:07 | <ski> | (i was recently starting to formulate (optimized) CPS-transformation, first in lambdaProlog (which also has matching on HOAS, but not dependent types), then trying to do it in Twelf, for comparision .. ran out of steam, after a while, fighting with it to accept some parts, though) |
| 11:58:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:00:30 | → | __monty__ joins (~toonn@user/toonn) |
| 12:05:22 | → | jreicher joins (~joelr@user/jreicher) |
| 12:06:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:06:07 | × | jreicher quits (~joelr@user/jreicher) (Remote host closed the connection) |
| 12:06:59 | → | jreicher joins (~joelr@user/jreicher) |
| 12:17:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:23:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:26:10 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:30:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 12:31:41 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 12:32:25 | → | comonad joins (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 12:32:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:35:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:37:14 | → | Pozyomka joins (~pyon@user/pyon) |
| 12:40:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:43:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:44:23 | <mesaoptimizer> | jreicher: I am on #emacs but never read it |
| 12:45:19 | × | comonad quits (~comonad@pd9e072e5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 12:46:17 | <mesaoptimizer> | gentauro: I'm trying to patch microhs / mcabal using Gemini 3 Pro to be able to build `http-conduit`, and I must say, I'm not impressed |
| 12:47:55 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 12:48:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:48:39 | <mesaoptimizer> | int-e: recommended reading to understand SMT solvers? |
| 12:56:14 | → | Square2 joins (~Square@user/square) |
| 12:59:08 | trickard_ | is now known as trickard |
| 12:59:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:00:58 | → | comonad joins (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 13:03:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:11:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 13:14:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:15:14 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 13:15:39 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 13:18:31 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 13:19:04 | <[exa]> | mesaoptimizer: might be way easier to just fix the error than try to explain it to a mechanical parrot |
| 13:20:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 13:20:39 | × | yin quits (~zero@user/zero) (Read error: Connection reset by peer) |
| 13:20:49 | → | yin joins (~zero@user/zero) |
| 13:27:48 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 13:30:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:32:23 | → | qqq joins (~qqq@185.54.22.56) |
| 13:35:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 13:37:52 | <mesaoptimizer> | [exa]: no, its a test. I'd write Haskell code by hand if I was doing something I cared about. microhs is... I think its an uphill battle to build a compiler and package manager that serves as a minimal GHC replacement |
| 13:39:03 | <mesaoptimizer> | I mean, it is great for teaching people! easy to set up on any OS, very tiny |
| 13:39:38 | → | juri_ joins (~juri@84.19.175.187) |
| 13:40:16 | <mesaoptimizer> | But I am pessimistic of an ecosystem of packages that makes it viable otherwise. |
| 13:41:44 | <mesaoptimizer> | on that note, koka is very interesting, even if it seems like development has frozen for it. |
| 13:42:57 | <mesaoptimizer> | algebraic effects is what we'd ideally have had in Haskell since the beginning (yes, one can use libs like bluefin now, I'm aware) |
| 13:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:49:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 13:54:31 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 13:58:14 | × | juri_ quits (~juri@84.19.175.187) (Ping timeout: 244 seconds) |
| 13:58:53 | <[exa]> | mesaoptimizer: I have microhs in production :) |
| 13:59:27 | <[exa]> | it's not supposed to be a replacement |
| 13:59:53 | → | juri_ joins (~juri@212.86.45.136) |
| 13:59:53 | × | juri_ quits (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 14:00:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:01:57 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 14:02:22 | <__monty__> | For what sort of use case? |
| 14:04:47 | <[exa]> | mesaoptimizer: a commandline tool on a mildly embedded system; turned out compiling for it by ghc was just overkill |
| 14:04:55 | <[exa]> | oh __monty__ ^^ |
| 14:05:03 | <[exa]> | (mis-highlight, sorry) |
| 14:05:20 | <__monty__> | Mildly like embedded Linux? |
| 14:06:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 14:06:59 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:07:32 | <[exa]> | not embedded per se, just a small linux on a mips board |
| 14:08:01 | <__monty__> | And compiled locally to avoid cross complications? |
| 14:08:01 | <[exa]> | needed a few tweaks to the compiler too but it just kinda works |
| 14:08:41 | <[exa]> | nah I essentially produce the microhs' combinator blob on a normal computer and then cross-gcc it for mipsbe |
| 14:09:56 | <[exa]> | spoiler: many manual tweaks :D |
| 14:10:59 | <__monty__> | Oh, is it about the size of the GHC runtime then? |
| 14:12:11 | <[exa]> | the board is mikrotik rb433... I guess I could force ghc to cross-compile for it but I don't even know how to start |
| 14:12:43 | <[exa]> | with microhs you can just hammer it because it's simple... which is the main microhs point I guess |
| 14:17:10 | <davean> | [exa]: Why that board? |
| 14:17:35 | <[exa]> | I had it here from ye olden times |
| 14:17:48 | <davean> | That is quite the olden times |
| 14:17:51 | <[exa]> | yeah |
| 14:17:55 | <[exa]> | 2012? |
| 14:18:10 | <davean> | That recent? |
| 14:18:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:18:14 | <[exa]> | I was with a local ISP back then |
| 14:18:51 | <davean> | I'm pretty sure that went EoL before 2010 ... |
| 14:19:24 | <davean> | Either way, impressively old HW |
| 14:19:54 | → | emaczen joins (~user@user/emaczen) |
| 14:20:12 | <davean> | What are you using it for? |
| 14:20:26 | <[exa]> | wifi at home :D |
| 14:20:44 | <davean> | ... you are murdering your wifi |
| 14:21:37 | <davean> | If thats fast enough for you! I mean I'm sorry for any neigbors you have :-p |
| 14:22:24 | <davean> | Man, you're really ok with 100Mbps peak? |
| 14:22:52 | <[exa]> | yeah |
| 14:23:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:23:17 | <davean> | Well as long as you don't have too many neigbors :) |
| 14:23:32 | <davean> | so much stuff I do doesn't even work at that speed |
| 14:25:17 | <[exa]> | it's a pretty much normal wifi, you have to limit the transmit power as with other routers |
| 14:27:25 | <davean> | Partially depends on what card you have in it, but not really? Most wifi has actually data rates massively faster than the HW limits of that. If you're also using an old wifi card its not normal in how much of the spectrum it occupies (hence the neigbor comment_ |
| 14:27:46 | <davean> | (since an old wifi card will slow down everything within a decently large radius_ |
| 14:29:09 | <davean> | even 2009 era wifi moves more than 100Mbps |
| 14:29:14 | <davean> | in real world conditions |
| 14:29:50 | <[exa]> | yeah like, the 802.11n is from 2010-ish no? |
| 14:30:00 | <davean> | 2009 |
| 14:30:06 | → | juri_ joins (~juri@212.86.45.136) |
| 14:30:16 | × | juri_ quits (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 14:30:28 | <davean> | So like the 100Mbps ethernet on that would probably be 1/4th of what the wifi its self can handle. |
| 14:30:40 | <davean> | Which is fine if the radio spectrum is free, and you don't want more |
| 14:31:37 | <davean> | Wifi 6E is where things get a lot better |
| 14:32:00 | <davean> | Before that its mostly just faster means less time talking, means less collisions |
| 14:33:26 | <davean> | Back when you were getting your device I was moving everything to 10GbE though! |
| 14:33:48 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:9ee1:e472:fae2:1b2f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:33:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:34:06 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 14:37:38 | <davean> | I'm glad you were able to get haskell to run on it - what are you using haskell for on it? |
| 14:38:39 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 14:39:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:41:49 | <[exa]> | davean: commandline thingy for generating scripts that then manage some other stuff |
| 14:41:54 | × | aha-engine quits (~aha-engin@85-220-13-76.dsl.dynamic.simnet.is) (Quit: aha-engine) |
| 14:43:23 | <davean> | ah so it runs once. |
| 14:45:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:45:39 | → | juri_ joins (~juri@84.19.175.187) |
| 14:47:19 | <[exa]> | yeah good question, how does microhs actually work for longer-running stuff? |
| 14:48:15 | <davean> | Don't know! Haven't used it! |
| 14:48:20 | <davean> | I was curious! |
| 14:48:41 | <[exa]> | as in, the memory leaks are gonna look completely differently there than in ghc, right :D |
| 14:48:50 | <davean> | Why would there be memory leaks? |
| 14:49:00 | <davean> | I don't know of any memory leaks with GHC ... |
| 14:49:36 | <[exa]> | these https://wiki.haskell.org/index.php?title=Memory_leak |
| 14:50:03 | <[exa]> | not an actual leak, more like "unnecessary reference to a megablob doesn't just force itself away" |
| 14:50:15 | <davean> | Oh thsoe should look about the same? |
| 14:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:50:57 | <davean> | I mean those aren't mistakes, they're directly requested things to happen |
| 14:51:01 | <davean> | if they don't happen you're not haskell. |
| 14:51:15 | <davean> | Those are the features that make haskell work |
| 14:51:27 | <davean> | They're just people missusing the features |
| 14:52:06 | <davean> | a few of them aren't strictly required, in that there are multiple valid evaluations |
| 14:55:08 | <[exa]> | yeah I mean, these are the things that hurt most for long-running haskell |
| 15:01:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:06:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 15:08:49 | → | oskarw` joins (~user@user/oskarw) |
| 15:09:48 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 256 seconds) |
| 15:12:38 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 15:13:25 | → | trickard joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 15:16:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 15:16:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:17:55 | × | emmanuelux quits (~em@user/emmanuelux) (Client Quit) |
| 15:21:24 | → | emmanuelux joins (~em@user/emmanuelux) |
| 15:21:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 15:22:08 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:23:35 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 15:24:19 | × | emmanuelux quits (~em@user/emmanuelux) (Client Quit) |
| 15:25:22 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:26:26 | → | emmanuelux joins (~em@user/emmanuelux) |
| 15:27:24 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:27:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:33:49 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 15:34:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 15:41:29 | × | qqq quits (~qqq@185.54.22.56) (Remote host closed the connection) |
| 15:45:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:47:32 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 15:48:21 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 15:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:51:38 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 15:53:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 15:54:40 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 15:56:15 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 15:57:08 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 15:57:50 | → | emmanuelux joins (~em@user/emmanuelux) |
| 15:59:40 | × | raincomplex quits (~rain@user/raincomplex) (Read error: Connection reset by peer) |
| 16:01:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:02:35 | → | raincomplex joins (~rain@user/raincomplex) |
| 16:03:28 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 16:03:31 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 16:04:39 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 16:05:54 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 16:06:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 16:07:07 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
| 16:07:12 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 16:09:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:09:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 16:09:34 | → | emmanuelux joins (~em@user/emmanuelux) |
| 16:14:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:15:07 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 16:17:19 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:23:22 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 16:24:30 | jmcantrell_ | is now known as jmcantrell |
| 16:25:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 16:39:01 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 16:41:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:42:48 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 16:43:03 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 16:43:05 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 16:46:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:53:35 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:54:01 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 16:54:13 | → | Guest930 joins (~Guest930@res404s-128-61-105-38.res.gatech.edu) |
| 16:54:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:56:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:04:39 | × | rensenwxre quits (~fwam@user/fwam) (Quit: chee to) |
| 17:05:03 | → | rensenwxre joins (~fwam@user/fwam) |
| 17:08:14 | → | hakutaku joins (~textual@user/hakutaku) |
| 17:13:21 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:13:35 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 17:24:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:25:33 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 17:28:11 | × | Guest930 quits (~Guest930@res404s-128-61-105-38.res.gatech.edu) (Quit: Client closed) |
| 17:29:39 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 18:05:07 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 18:09:38 | <EvanR> | cool: if you have some throw away code that will run forever until you press control C, you can wrap it in bracket or finally to do cleanup... and it works |
| 18:09:43 | <EvanR> | at least in the main thread |
| 18:09:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:16:35 | → | oskarw joins (~user@user/oskarw) |
| 18:17:51 | <c_wraith> | as long as you only hit ctrl-c once, and as long as the main thread was doing something interruptable |
| 18:19:46 | <c_wraith> | the default sigint handler uses throwTo the first time, so the thread needs to be able to receive an async exception. If you hit it again, it just kills the process under the theory that if you hit ctrl-c twice in a row it's because it didn't quite rapidly enough the first time |
| 18:20:05 | <c_wraith> | *quit rapidly enough |
| 18:21:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:26:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:31:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:36:09 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 18:36:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:38:07 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 18:38:24 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 18:38:31 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 18:39:03 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 18:47:02 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:47:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:47:50 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 18:49:52 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 18:51:51 | × | oskarw` quits (~user@user/oskarw) (Remote host closed the connection) |
| 18:51:51 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 18:52:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:53:11 | → | emmanuelux joins (~em@user/emmanuelux) |
| 18:55:27 | → | Guest56 joins (~Guest24@p200300e79f0fa700e8dfc6dd7b899e40.dip0.t-ipconnect.de) |
| 18:56:37 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 19:01:26 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:6338:623e:d542:d175) |
| 19:02:19 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 19:02:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:04:58 | → | emmanuelux joins (~em@user/emmanuelux) |
| 19:07:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 19:15:25 | trickard_ | is now known as trickard |
| 19:18:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:23:12 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 19:23:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:23:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 19:24:39 | × | Guest56 quits (~Guest24@p200300e79f0fa700e8dfc6dd7b899e40.dip0.t-ipconnect.de) (Quit: Client closed) |
| 19:25:00 | → | Enrico63 joins (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) |
| 19:32:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:34:13 | × | st_aldini quits (~Thunderbi@136.48.46.187) (Ping timeout: 264 seconds) |
| 19:37:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:38:18 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:43:12 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:44:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 19:44:34 | × | Enrico63 quits (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 19:44:34 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:45:23 | → | chaseabagg joins (~chaseabag@user/chaseabagg) |
| 19:46:50 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:48:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:52:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:04:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:04:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Ping timeout: 252 seconds) |
| 20:05:25 | × | attlin quits (~user@user/attlin) (Quit: Leaving) |
| 20:05:35 | → | attlin joins (~user@2602:fa59:9:1fe::1) |
| 20:05:35 | × | attlin quits (~user@2602:fa59:9:1fe::1) (Changing host) |
| 20:05:35 | → | attlin joins (~user@user/attlin) |
| 20:09:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:19:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:24:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:35:04 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 20:35:11 | × | chaseabagg quits (~chaseabag@user/chaseabagg) (Quit: Client closed) |
| 20:35:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:42:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:45:39 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 20:48:13 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 255 seconds) |
| 20:48:13 | polykernel_ | is now known as polykernel |
| 20:53:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:58:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:02:19 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 244 seconds) |
| 21:02:39 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 21:05:10 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 21:09:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:12:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:14:09 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 21:14:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:22:45 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 21:25:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:26:55 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 255 seconds) |
| 21:30:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:41:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:42:56 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:43:10 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 21:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:45:55 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 21:48:34 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 21:48:34 | polykernel_ | is now known as polykernel |
| 21:48:49 | → | attlin_ joins (~user@2602:fa59:9:ad6::1) |
| 21:49:26 | × | attlin quits (~user@user/attlin) (Ping timeout: 244 seconds) |
| 21:49:26 | attlin_ | is now known as attlin |
| 21:49:27 | × | attlin quits (~user@2602:fa59:9:ad6::1) (Changing host) |
| 21:49:27 | → | attlin joins (~user@user/attlin) |
| 21:54:03 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 21:56:15 | × | FANTOM quits (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 21:56:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:56:56 | <EvanR> | am I tripping. The docs for stateTVar says "like modifyTVar'" implying that it evaluates the new state before writing it back to the var. But upon inspection of the code, it does not |
| 21:58:03 | <EvanR> | (good thing I double checked xD) |
| 21:58:52 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 21:59:34 | → | pavonia joins (~user@user/siracusa) |
| 21:59:49 | <EvanR> | n <- stateTVar tv (\g -> (g, g+1)) -- now tv holds a (possibly even bigger) thunk |
| 22:01:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:03:36 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:03:49 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 22:05:19 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 22:09:51 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 22:10:17 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 22:10:44 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 22:10:54 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 22:11:13 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 22:12:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:14:45 | → | FANTOM joins (~fantom@87.75.185.177) |
| 22:16:57 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 22:17:11 | → | tomku joins (~tomku@user/tomku) |
| 22:17:50 | → | Square2 joins (~Square@user/square) |
| 22:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:24:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 22:30:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:35:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:42:13 | × | Inline quits (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) (Ping timeout: 260 seconds) |
| 22:46:32 | <int-e> | EvanR: True, but you do have a lever to make it as strict as you want, something that stateTVar doesn't have: (\g -> (,) g $! g+1) |
| 22:47:15 | × | Hafydd quits (~Hafydd@user/hafydd) (Quit: WeeChat 4.8.1) |
| 22:47:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:51:02 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 22:52:07 | trickard_ | is now known as trickard |
| 22:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:53:11 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 23:00:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:03:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:09:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:10:05 | <EvanR> | seems like a documentation bug |
| 23:10:29 | <EvanR> | of 1 extraneous apostrophe |
| 23:11:34 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 23:12:48 | → | img joins (~img@user/img) |
| 23:13:04 | × | CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in) |
| 23:13:09 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 23:13:26 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 23:14:01 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 23:18:19 | × | _JusSx_ quits (~jussx@78.211.193.248) (Ping timeout: 264 seconds) |
| 23:19:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:19:43 | → | _JusSx_ joins (~jussx@37.161.78.248) |
| 23:21:18 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 244 seconds) |
| 23:24:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:26:45 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 23:27:05 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 23:30:05 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 23:30:29 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 23:35:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:40:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:43:01 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 23:44:16 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 23:47:14 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 23:47:38 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 23:49:16 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 23:51:26 | → | merijn joins (~merijn@62.45.136.136) |
| 23:56:01 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
All times are in UTC on 2026-02-07.