2026/02/10

Newest at the top

2026-02-10 13:16:18 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-10 13:13:06 +0100fp(~Thunderbi@130.233.70.214) fp
2026-02-10 13:02:34 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2026-02-10 12:59:20 +0100ceridwen15(~ceridwen1@175.32.209.194) (Remote host closed the connection)
2026-02-10 12:57:01 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-02-10 12:36:19 +0100ceridwen15(~ceridwen1@175.32.209.194)
2026-02-10 12:34:46 +0100__monty__(~toonn@user/toonn) toonn
2026-02-10 12:32:35 +0100KindFoxo(~KindFoxo@user/KindoFoxo) KindoFoxo
2026-02-10 12:28:17 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-10 12:27:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-02-10 12:27:37 +0100AlexZenon(~alzenon@178.34.161.177)
2026-02-10 12:17:19 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-10 12:11:33 +0100xff0x(~xff0x@2405:6580:b080:900:7d41:27bc:b6ea:ca52)
2026-02-10 12:08:53 +0100 <tomsmeding> you'll need to watch the directory that contains the file; this sounds weird, but makes sense if you realise that editors typically _replace_ the file on writing rather than updating its contents
2026-02-10 12:07:19 +0100 <tomsmeding> bwe: likely https://hackage.haskell.org/package/fsnotify
2026-02-10 12:06:24 +0100trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2026-02-10 12:06:10 +0100trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-10 12:04:31 +0100 <bwe> Hi and good morning! What's the easiest way to watch a (dhall) file for changes from within a Haskell program (so I can reload its content into an IORef)?
2026-02-10 11:54:50 +0100AlexNoo(~AlexNoo@178.34.161.177)
2026-02-10 11:45:47 +0100ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2026-02-10 11:45:29 +0100ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
2026-02-10 11:45:29 +0100AlexNoo__(~AlexNoo@178.34.161.177) (Ping timeout: 260 seconds)
2026-02-10 11:44:54 +0100AlexNoo_(~AlexNoo@178.34.161.177) (Ping timeout: 260 seconds)
2026-02-10 11:43:27 +0100AlexNoo(~AlexNoo@85.174.182.86) (Ping timeout: 250 seconds)
2026-02-10 11:43:11 +0100Googulator33(~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu)
2026-02-10 11:43:08 +0100Googulator(~Googulato@2a01-036d-0106-216f-e9c4-b0ef-4e86-2425.pool6.digikabel.hu) (Quit: Client closed)
2026-02-10 11:42:54 +0100AlexZenon(~alzenon@85.174.182.86) (Ping timeout: 252 seconds)
2026-02-10 11:40:55 +0100AlexNoo__(~AlexNoo@178.34.161.177)
2026-02-10 11:40:09 +0100AlexNoo_(~AlexNoo@178.34.161.177)
2026-02-10 11:37:51 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-02-10 11:27:54 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed)
2026-02-10 11:24:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-10 11:10:45 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2026-02-10 11:03:29 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-10 10:53:13 +0100prdak1prdak
2026-02-10 10:50:52 +0100prdak1(~Thunderbi@user/prdak) prdak
2026-02-10 10:50:46 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-10 10:47:39 +0100acidjnk(~acidjnk@p200300d6e700e589bc3447690a0a9402.dip0.t-ipconnect.de) acidjnk
2026-02-10 10:47:05 +0100Googulator39Googulator
2026-02-10 10:42:10 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-10 10:33:17 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed)
2026-02-10 10:25:22 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-10 10:20:44 +0100chele(~chele@user/chele) chele
2026-02-10 10:20:40 +0100img(~img@user/img) img
2026-02-10 10:19:25 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-10 10:12:19 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds)
2026-02-10 10:10:58 +0100oskarw(~user@user/oskarw) oskarw
2026-02-10 10:10:11 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Client Quit)
2026-02-10 10:05:38 +0100Enrico63(~Enrico63@host-79-22-157-220.retail.telecomitalia.it) Enrico63
2026-02-10 10:01:19 +0100merijn(~merijn@77.242.116.146) merijn