2025/01/31

Newest at the top

2025-01-31 15:44:10 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-01-31 15:42:17 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-31 15:39:38 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-31 15:39:21 +0100alp(~alp@2001:861:8ca0:4940:54fd:6cb8:585b:9cc) (Ping timeout: 252 seconds)
2025-01-31 15:36:49 +0100vektor(~vektor@IP-149249154134.pools.medianet-world.de) (Quit: Client closed)
2025-01-31 15:35:01 +0100alp(~alp@2001:861:8ca0:4940:54fd:6cb8:585b:9cc)
2025-01-31 15:34:38 +0100alp(~alp@2001:861:8ca0:4940:6044:ccfa:bd56:f4d9) (Remote host closed the connection)
2025-01-31 15:33:25 +0100p3n(~p3n@217.198.124.246) p3n
2025-01-31 15:31:44 +0100alexherbo2(~alexherbo@2a02-8440-3504-8116-8987-9b89-16c5-ba01.rev.sfr.net) alexherbo2
2025-01-31 15:29:06 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-31 15:27:33 +0100acidjnk_new3(~acidjnk@p200300d6e7283f83edaedff6126e1841.dip0.t-ipconnect.de)
2025-01-31 15:27:19 +0100acidjnk_new3(~acidjnk@p200300d6e7283f830c2bc91cde612e63.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-31 15:22:23 +0100alp(~alp@2001:861:8ca0:4940:6044:ccfa:bd56:f4d9)
2025-01-31 15:19:08 +0100alexherbo2(~alexherbo@2a02-8440-3504-8116-8987-9b89-16c5-ba01.rev.sfr.net) (Remote host closed the connection)
2025-01-31 15:14:19 +0100pavonia(~user@user/siracusa) siracusa
2025-01-31 15:12:17 +0100alp(~alp@2001:861:8ca0:4940:465c:30a2:2211:b30f) (Ping timeout: 252 seconds)
2025-01-31 15:04:18 +0100vektor(~vektor@IP-149249154134.pools.medianet-world.de)
2025-01-31 15:03:08 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-31 15:02:50 +0100alexherbo2(~alexherbo@2a02-8440-3504-8116-8987-9b89-16c5-ba01.rev.sfr.net) alexherbo2
2025-01-31 14:59:45 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-01-31 14:57:45 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-31 14:55:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-31 14:55:12 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2025-01-31 14:50:59 +0100weary-traveler(~user@user/user363627) user363627
2025-01-31 14:50:53 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-31 14:46:16 +0100hughjfch1(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-01-31 14:45:41 +0100hughjfch1(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-01-31 14:44:59 +0100johnjaye(~pi@syn-035-146-235-019.res.spectrum.com) johnjaye
2025-01-31 14:42:35 +0100johnjaye(~pi@syn-035-146-235-019.res.spectrum.com) (Read error: Connection reset by peer)
2025-01-31 14:36:48 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-31 14:35:19 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2025-01-31 14:32:24 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-01-31 14:31:52 +0100swamp_(~zmt00@user/zmt00) zmt00
2025-01-31 14:31:30 +0100 <haskellbridge> <sm> what about https://hackage.haskell.org/package/rapid-0.1.5.3/docs/Rapid.html
2025-01-31 14:31:14 +0100CiaoSen(~Jura@2a05:5800:263:8800:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2025-01-31 14:30:24 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
2025-01-31 14:29:52 +0100 <haskellbridge> <sm> or up enter, as you say
2025-01-31 14:29:15 +0100 <haskellbridge> <sm> it means I can just CTRL-p, enter after a change
2025-01-31 14:29:01 +0100alexherbo2(~alexherbo@2a02-8440-3504-8116-f81b-81aa-4344-3e67.rev.sfr.net) (Remote host closed the connection)
2025-01-31 14:28:25 +0100 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/sCYnuCtwPTknTRbDePLKlYOX/yxjBbcu9HSA (3 lines)
2025-01-31 14:28:25 +0100 <haskellbridge> <sm> kaol: you might like this small improvement in .ghci, I find it very useful:
2025-01-31 14:27:39 +0100 <haskellbridge> <sm> love it
2025-01-31 14:27:35 +0100 <haskellbridge> <sm> ghcid is a hack of the gods, then :)
2025-01-31 14:19:59 +0100AlexZenon_2AlexZenon
2025-01-31 14:17:44 +0100jespada(~jespada@2800:a4:2215:4d00:20a9:6cd:d7c4:a65f) jespada
2025-01-31 14:14:55 +0100jespada(~jespada@2800:a4:2213:dd00:8c24:32fa:8fb8:ea12) (Ping timeout: 244 seconds)
2025-01-31 14:09:02 +0100 <kaol> Give me something that integrates with the repl.
2025-01-31 14:08:23 +0100 <kaol> ghcid is the hack.
2025-01-31 14:08:13 +0100 <geekosaur> that sounds like a hacky way to reinvent ghcid/ghciwatch
2025-01-31 14:08:08 +0100 <kaol> No wait, up enter is only relevat if I use history.