Newest at the top
| 2025-12-05 22:18:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 22:13:41 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 22:08:40 +0100 | <Wygulmage> | class instance. |
| 2025-12-05 22:08:39 +0100 | <Wygulmage> | Is it possible to use a rewrite rule on a class-generic function for one instance that has a constraint? For example an instance `Ord a => C (Set a)` and a function `delete` constrained by `C` but not `Ord a`. I want to rewrite `delete` (of the correct type) to `Data.Set.delete`, but the rule can't seem to pull in the `Ord` constraint from the |
| 2025-12-05 22:07:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-05 22:05:10 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-05 22:04:16 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-12-05 22:03:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 22:00:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-05 21:52:26 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-05 21:52:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 21:47:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 21:43:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 21:40:33 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 21:40:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 21:39:30 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-12-05 21:38:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 21:38:30 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-05 21:33:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-05 21:30:27 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-05 21:28:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 21:22:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 21:11:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 21:10:45 +0100 | annamalai | (~annamalai@157.32.217.168) annamalai |
| 2025-12-05 21:10:18 +0100 | annamalai | (~annamalai@117.246.252.114) (Ping timeout: 256 seconds) |
| 2025-12-05 21:09:44 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) mulk |
| 2025-12-05 21:08:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-05 21:07:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 21:06:33 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-05 21:06:29 +0100 | myme | (~myme@2a01:799:d5e:5f00:b47a:83fd:4eab:92be) myme |
| 2025-12-05 21:06:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-05 21:05:14 +0100 | <[exa]> | and a veeeeeery wide lower lever |
| 2025-12-05 21:05:10 +0100 | myme | (~myme@2a01:799:d5e:5f00:a10a:6bc:6be7:9209) (Ping timeout: 244 seconds) |
| 2025-12-05 21:04:38 +0100 | <[exa]> | yeah afaik the usual rope structures kinda look like B-trees, with size annotations to allow fast seeks |
| 2025-12-05 21:03:37 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-05 21:03:00 +0100 | <EvanR> | then you open a giant file with no newlines and it freezes the computer |
| 2025-12-05 21:02:24 +0100 | <EvanR> | it seems like a text editor could get away with an ordered set of lines, and the lines are packed? for most usecases |
| 2025-12-05 21:01:15 +0100 | AlexNoo | (~AlexNoo@85.174.183.177) |
| 2025-12-05 21:01:07 +0100 | <c_wraith> | I mean, you probably want some kind of B-Tree or something |
| 2025-12-05 21:01:04 +0100 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-12-05 21:00:53 +0100 | AlexNoo | (~AlexNoo@85.174.183.177) (Read error: Connection reset by peer) |
| 2025-12-05 20:53:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 20:47:30 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 20:47:17 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 20:46:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-05 20:46:10 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-12-05 20:38:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 20:37:28 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 20:37:15 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 20:33:32 +0100 | acidjnk | (~acidjnk@p200300d6e717191679d48b614f527e93.dip0.t-ipconnect.de) acidjnk |