2024/09/20

Newest at the top

2024-09-20 11:55:32 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-09-20 11:48:55 +0200euleritian(~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-20 11:48:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)
2024-09-20 11:47:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-20 11:47:41 +0200greenflower(~greenflow@14.99.164.82)
2024-09-20 11:42:01 +0200euleritian(~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de)
2024-09-20 11:38:49 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-20 11:36:08 +0200benjaminl(~benjaminl@user/benjaminl)
2024-09-20 11:35:53 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-09-20 11:31:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 11:31:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-20 11:29:42 +0200euleritian(~euleritia@176.2.2.66) (Ping timeout: 246 seconds)
2024-09-20 11:26:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 11:26:44 +0200gmg(~user@user/gehmehgeh)
2024-09-20 11:25:17 +0200 <mari-estel> maybe pandoc can translate the tek directly
2024-09-20 11:24:48 +0200 <eugenrh> I;m only using a small device right now and can't install tex & frineds to generate from source
2024-09-20 11:23:23 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-20 11:23:19 +0200 <eugenrh> yes, before web scaping I thought about asking for an archive... maybe I've missed some place when looking
2024-09-20 11:22:56 +0200 <mari-estel> from the source opqdonut linked you can generate the HTML. Seems latek and pandoc understands that
2024-09-20 11:21:55 +0200 <Lears> Perhaps `wget -r https://www.haskell.org/onlinereport/` would do?
2024-09-20 11:21:14 +0200 <eugenrh> there is just the source, not the html files.. No releases...
2024-09-20 11:20:40 +0200 <opqdonut> https://github.com/haskell/haskell-report does this help?
2024-09-20 11:20:29 +0200 <mari-estel> most epub readers are somewhat comfy also for PDFs
2024-09-20 11:20:03 +0200AlexNoo__AlexNoo
2024-09-20 11:19:40 +0200 <mari-estel> yeah of course, but considering the age of the document i thought it could be an acceptable compromise
2024-09-20 11:19:32 +0200AlexNooAlexNoo__
2024-09-20 11:18:56 +0200 <arahael> eugenrh: PDF usually doesn't have reflow support, which is what people usually want if they're asking for epub.
2024-09-20 11:18:37 +0200 <mari-estel> not what i meant
2024-09-20 11:18:17 +0200 <eugenrh> pandoc says it can't convert from pdf
2024-09-20 11:18:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 11:17:39 +0200 <mari-estel> huh isn't there a PDF version available?
2024-09-20 11:16:34 +0200 <eugenrh> Hi, I couldn't find Haskell 2010 report in epub format, so I want to try using pandoc to convert it using its html version. But I couldn't find any html zip of it.. yet. Where can I find a html archive of the report?
2024-09-20 11:14:37 +0200euleritian(~euleritia@176.2.2.66)
2024-09-20 11:13:42 +0200AlexNoo_AlexNoo
2024-09-20 11:13:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 11:12:12 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds)
2024-09-20 11:10:44 +0200euleritian(~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) (Ping timeout: 265 seconds)
2024-09-20 11:08:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 11:08:01 +0200greenflower(~greenflow@14.99.164.82) (Quit: Client closed)
2024-09-20 11:06:13 +0200arahael(~arahael@user/arahael)
2024-09-20 11:02:53 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-09-20 11:00:00 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds)
2024-09-20 10:57:57 +0200potato44(uid421314@id-421314.lymington.irccloud.com)
2024-09-20 10:53:29 +0200ash3en(~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en)
2024-09-20 10:53:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-20 10:47:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 10:46:59 +0200acidjnk_new(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-09-20 10:46:57 +0200acidjnk_new(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de)
2024-09-20 10:46:37 +0200euleritian(~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de)
2024-09-20 10:41:44 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)