Newest at the top
2024-10-04 11:17:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-10-04 11:17:00 +0200 | califax | (~califax@user/califx) califx |
2024-10-04 11:16:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 11:14:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-10-04 11:14:04 +0200 | dontdieych2 | (~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 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-04 11:10:19 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 252 seconds) |
2024-10-04 11:09:15 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2024-10-04 11:07:51 +0200 | hsw_ | (~hsw@112-104-139-62.adsl.dynamic.seed.net.tw) hsw |
2024-10-04 11:07:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 11:06:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-04 11:03:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-04 11:03:08 +0200 | Inst | (~Inst@user/Inst) Inst |
2024-10-04 11:02:44 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-10-04 11:02:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-10-04 11:01:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:58:09 +0200 | CiaoSen | (~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 +0200 | ash3en | (~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 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-04 10:50:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 10:49:06 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-04 10:48:50 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
2024-10-04 10:48:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-04 10:46:03 +0200 | merijn | (~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 +0200 | vanishingideal | (~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 |
2024-10-04 10:38:44 +0200 | <Inst> | and performance |
2024-10-04 10:38:29 +0200 | <Inst> | in relation to HTML libraries |
2024-10-04 10:38:14 +0200 | <tomsmeding> | Inst: ... was I talking about monoids? |
2024-10-04 10:37:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-10-04 10:35:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-10-04 10:35:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-04 10:30:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 10:29:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |