2024/10/04

Newest at the top

2024-10-04 11:24:17 +0200califax(~califax@user/califx) califx
2024-10-04 11:22:31 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-04 11:21:36 +0200califax(~califax@user/califx) califx
2024-10-04 11:20:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-04 11:20:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-04 11:20:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-04 11:19:46 +0200 <tomsmeding> cheers :)
2024-10-04 11:19:39 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-04 11:17:41 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-10-04 11:17:00 +0200califax(~califax@user/califx) califx
2024-10-04 11:16:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-04 11:14:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-04 11:14:04 +0200dontdieych2(~a@user/dontdieych2) (Quit: WeeChat 4.4.2)
2024-10-04 11:12:29 +0200 <Inst> thanks for being helpful, though, tomsmeding
2024-10-04 11:11:15 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-04 11:10:19 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 252 seconds)
2024-10-04 11:09:15 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-10-04 11:07:51 +0200hsw_(~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) hsw
2024-10-04 11:07:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-04 11:06:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-04 11:03:08 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-04 11:03:08 +0200Inst(~Inst@user/Inst) Inst
2024-10-04 11:02:44 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-04 11:02:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2024-10-04 11:01:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-04 10:58:09 +0200CiaoSen(~Jura@2a05:5800:20b:200:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-04 10:57:16 +0200 <Inst> it's just an exercise for manually memoizing
2024-10-04 10:56:23 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-10-04 10:56:22 +0200 <tomsmeding> if you hardcode those, things will speed up enormously
2024-10-04 10:56:13 +0200 <tomsmeding> Inst: perhaps not what you wanted, but this section https://en.wikipedia.org/wiki/Ackermann_function#Table_of_values lists formulas for small m and arbitrary n
2024-10-04 10:56:07 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-04 10:50:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-04 10:49:06 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw
2024-10-04 10:48:50 +0200hsw_(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving)
2024-10-04 10:48:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-10-04 10:46:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-04 10:45:25 +0200 <tomsmeding> python integers are bigints
2024-10-04 10:45:23 +0200 <Inst> before trying to redo it with vector
2024-10-04 10:45:11 +0200 <Inst> so i must have screwed up somewhere, I just want to see how far I can get with map
2024-10-04 10:45:03 +0200 <Inst> i'm psised because python, besides likely overflowing the integer, is doing it in under 20 seconds
2024-10-04 10:44:29 +0200 <tomsmeding> sounds like a state monad
2024-10-04 10:44:26 +0200 <Inst> and i'm point-freeing it all
2024-10-04 10:44:06 +0200 <Inst> all of the functions are returning a tuple of a value and a new cache (Map Integer (Map Integer Integer))
2024-10-04 10:43:40 +0200 <Inst> i'm currently trying to rewrite everything in point free, i.e, i screwed up the recursion because the memoized version is nightmarish
2024-10-04 10:42:19 +0200 <tomsmeding> Inst: about that stack overflow, I see that there's a call A(m, A(m+1, n)); does it help if you seq that A(m+1, n) call before calling into A(m, _)?
2024-10-04 10:40:23 +0200 <tomsmeding> I'm fairly sure I didn't have any kind of parallelisation in mind, in any case
2024-10-04 10:40:05 +0200 <Inst> "yet another HTML library"
2024-10-04 10:39:29 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-10-04 10:39:04 +0200 <tomsmeding> was this about association direction?
2024-10-04 10:38:57 +0200 <tomsmeding> I forget lol