2024/09/20

Newest at the top

2024-09-20 14:11:09 +0200Blasius_(~Blasius@2.219.56.221) (Ping timeout: 260 seconds)
2024-09-20 14:10:34 +0200chiselfu1echiselfuse
2024-09-20 14:05:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 14:00:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 14:00:23 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-20 13:58:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 13:55:51 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
2024-09-20 13:52:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-20 13:46:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 13:42:35 +0200Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-09-20 13:32:54 +0200morb(~morb@108.41.100.120) (Ping timeout: 252 seconds)
2024-09-20 13:29:50 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 13:24:25 +0200morb(~morb@108.41.100.120)
2024-09-20 13:19:31 +0200bliminse(~bliminse@user/bliminse)
2024-09-20 13:14:53 +0200 <Inst> or am i wrong here?
2024-09-20 13:13:01 +0200 <Inst> . and >=> also has the wrong fixity, i think, but you can't really fix it without losing laziness
2024-09-20 13:12:34 +0200 <Inst> well, not really, but whereas >> can be optimized, it's harder to optimize a >>= chain
2024-09-20 13:08:30 +0200 <Inst> tbh it can't be avoided due to laziness
2024-09-20 13:08:24 +0200 <Inst> term >>= foo >>= bar starts stacking space
2024-09-20 13:08:04 +0200 <Inst> come to think of it, does >>= leak?
2024-09-20 13:07:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-20 13:06:56 +0200potato44(uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-20 13:06:48 +0200flounders(~flounders@173.246.214.210)
2024-09-20 13:04:49 +0200flounders_(~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds)
2024-09-20 13:04:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-20 13:02:02 +0200arahael(~arahael@user/arahael)
2024-09-20 12:58:13 +0200greenflower(~greenflow@14.99.164.82) (Quit: Client closed)
2024-09-20 12:58:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-20 12:56:34 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 12:52:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-20 12:48:55 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-09-20 12:46:00 +0200 <eugenrh> ( I've used the online tool croppdf.com . Easy and good. do NOT know if it's safe, too )
2024-09-20 12:41:36 +0200mari-estel(~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Ping timeout: 265 seconds)
2024-09-20 12:41:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-20 12:40:39 +0200CiaoSen(~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2024-09-20 12:35:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 12:29:42 +0200bliminse(~bliminse@user/bliminse)
2024-09-20 12:28:58 +0200bliminse_(~bliminse@user/bliminse) (Quit: leaving)
2024-09-20 12:26:03 +0200 <eugenrh> no, this small and old ereader doesn't render properly the htmls and probably any epub based on it. I think I'll try to give the pdf another chance by finding a way to crop its huge margins, first..
2024-09-20 12:09:41 +0200arahael(~arahael@user/arahael) (Remote host closed the connection)
2024-09-20 12:05:03 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-20 12:02:42 +0200sourcetarius(~sourcetar@user/sourcetarius)
2024-09-20 12:00:45 +0200 <eugenrh> I've managed to used wget.. now trying to make an epub..
2024-09-20 12:00:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-20 11:59:58 +0200 <tomsmeding> yeah wget seems like the way to go :p
2024-09-20 11:56:10 +0200driib318(~driib@vmi931078.contaboserver.net)
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)