2026/03/12

Newest at the top

2026-03-12 22:43:48 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-03-12 22:40:01 +0100 <aka_dude> Can't find though
2026-03-12 22:39:56 +0100 <aka_dude> I implemented a type family for that but hoped there is something in base for that
2026-03-12 22:37:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-12 22:37:46 +0100 <aka_dude> How to concatenate to lists on type level?
2026-03-12 22:32:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 22:28:37 +0100remedan(~remedan@78-80-95-79.customers.tmcz.cz) remedan
2026-03-12 22:28:14 +0100oskarw(~user@user/oskarw) (Remote host closed the connection)
2026-03-12 22:26:34 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds)
2026-03-12 22:21:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-12 22:17:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 22:16:16 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 22:09:23 +0100chewybread(~chewybrea@user/chewybread) chewybread
2026-03-12 22:09:23 +0100chewybread(~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) (Changing host)
2026-03-12 22:09:23 +0100chewybread(~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170)
2026-03-12 22:06:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 22:03:38 +0100 <jreicher> gentauro: what's the protocol (and server?) architecture?
2026-03-12 22:02:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 22:02:00 +0100 <sm> so you know what to do :-)
2026-03-12 22:01:36 +0100chewybread(~chewybrea@user/chewybread) (Ping timeout: 264 seconds)
2026-03-12 21:57:06 +0100chewybread(~chewybrea@user/chewybread) chewybread
2026-03-12 21:57:06 +0100chewybread(~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) (Changing host)
2026-03-12 21:57:06 +0100chewybread(~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170)
2026-03-12 21:51:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-12 21:47:13 +0100pavonia(~user@user/siracusa) siracusa
2026-03-12 21:46:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 21:45:38 +0100AlexNoo__(~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
2026-03-12 21:44:34 +0100AlexNoo_(~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
2026-03-12 21:44:02 +0100AlexNoo(~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
2026-03-12 21:42:54 +0100 <gentauro> yeah. AGPLv3.0
2026-03-12 21:42:17 +0100chewybread(~chewybrea@user/chewybread) (Ping timeout: 248 seconds)
2026-03-12 21:41:07 +0100AlexNoo__(~AlexNoo@5.139.232.240)
2026-03-12 21:40:23 +0100AlexNoo_(~AlexNoo@5.139.232.240)
2026-03-12 21:39:38 +0100AlexNoo(~AlexNoo@5.139.232.240)
2026-03-12 21:38:11 +0100 <haskellbridge> <sm> is it open source ?
2026-03-12 21:36:16 +0100 <gentauro> now that's saD
2026-03-12 21:36:10 +0100 <gentauro> probably the best chat app (non IRC based) and written in Haskell, with a terminal CLI, is not gonna invest anymore effort into the terminal CLI :(
2026-03-12 21:35:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 21:35:26 +0100gentauro«Hello, the CLI version is only intended for developer use right now, we do not plan to improve its usability much for regular users, the GUI desktop app is focused on regular users. Thank you for the suggestion» -- SimpleX Chat
2026-03-12 21:33:53 +0100 <gentauro> I'm stuck in a terminal with black background and greenish/limeish foreground. I don't understand the fuzz :-\
2026-03-12 21:31:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 21:26:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-03-12 21:21:15 +0100 <geekosaur> there's also this business of unis asserting ownership of other uni's web namespaces because they're better known or w/e
2026-03-12 21:20:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 21:18:54 +0100 <ski> similar to many large applications or GUI systems or web sites changing, "just because", presumably to justify having interface designers or somesuch ?
2026-03-12 21:14:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 21:13:38 +0100 <gentauro> :(
2026-03-12 21:13:29 +0100 <gentauro> ski: every now and then uni's change their websistes and all papers linking are gone
2026-03-12 21:09:21 +0100Square(~Square@user/square) Square
2026-03-12 21:09:19 +0100akegalj(~akegalj@141-138-62-190.dsl.iskon.hr) (Quit: leaving)