2025/05/25

Newest at the top

2025-05-25 03:21:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 03:20:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 03:18:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 03:15:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 03:15:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 03:13:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-25 03:09:42 +0200Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-05-25 03:09:42 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-25 03:08:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 03:08:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 03:07:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 03:07:32 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-05-25 03:05:32 +0200mud(~mud@user/kadoban) kadoban
2025-05-25 03:01:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 03:01:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:59:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-25 02:56:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-25 02:56:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:56:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:53:45 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-25 02:52:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 02:51:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:50:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:44:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:44:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:44:06 +0200 <EvanR> oof
2025-05-25 02:41:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:40:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-25 02:40:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:38:28 +0200euouae(~euouae@user/euouae) ()
2025-05-25 02:38:27 +0200 <euouae> why is LSP so stupid man what do I need to do. geez. "failed to start/restart" again and again for nonsense. have to restart the entire editor
2025-05-25 02:36:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 02:36:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:36:04 +0200tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Client Quit)
2025-05-25 02:35:27 +0200tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-25 02:32:25 +0200 <euouae> yeah it makes sense
2025-05-25 02:30:35 +0200 <EvanR> having different types at different positions is asking for trouble
2025-05-25 02:30:13 +0200 <EvanR> in the simplest menu or dag, your elements you pick from are of 1 type
2025-05-25 02:29:44 +0200 <euouae> the menu is a DAG, I'm modeling it with some types. I'm wondering what the right approach is (perhaps... I should use Data.Graph?)
2025-05-25 02:29:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-25 02:29:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:29:10 +0200 <euouae> This is an example application
2025-05-25 02:29:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:28:42 +0200 <EvanR> you're trying to select what from a menu ultimately
2025-05-25 02:27:54 +0200 <EvanR> deleting the subject matter makes it hard to understand the issue
2025-05-25 02:27:43 +0200 <euouae> What?
2025-05-25 02:27:38 +0200 <EvanR> jeez...
2025-05-25 02:27:32 +0200 <euouae> and a menu selection Foo: 1) Bar 2) Baz and then afterwards expands to Bar: 1) Bar1 2) Bar2 and so on
2025-05-25 02:27:04 +0200 <euouae> EvanR: I deleted it. Imagine `data Foo = Bar Bars | Baz Bazs` and `data Bars = Bar1 | Bar2` and `data Bazs = Baz1 | Baz2 | Baz3`